PAR平台

作品数：15被引量：53H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云王昌晶杨晨游珍石海鹤更多>>
相关机构：江西师范大学武汉大学江西省高性能计算技术重点实验室中国科学院软件研究所更多>>
相关期刊：《电脑知识与技术》《计算机研究与发展》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金江西省自然科学基金江西师范大学青年成长基金江西省高等学校教学改革研究课题更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
二叉树排序非递归算法推导及形式化证明被引量：6
《江西师范大学学报（自然科学版）》2020年第6期625-632,共8页左正康 方越 黄箐 廖云燕 王渊 王昌晶 
国家自然科学基金(61862033,61762049,61902162);江西省自然科学基金(20202BABL202026,2020BABL202025,20202BAB202015);国家留学基金(202008360094)资助项目.
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变...
关键词：二叉树类非递归算法 循环不变式 PAR平台 Dijkstra-Gries标准程序证明法 非线性数据结构 
新型Action泛型机制在PAR平台中的实现和应用研究
《江西师范大学学报（自然科学版）》2020年第6期633-638,共6页汪雄 薛锦云 刘震伟 
国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究(160329)资助项目.
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参...
关键词：APLA语言 泛型 PAR方法 PAR平台 
多序列比对算法族的形式化设计与生成被引量：3
《计算机工程与科学》2020年第8期1383-1392,共10页张旭初 石海鹤 
国家自然科学基金(61662035,61762049,61862033)。
多序列比对问题是生物信息学研究的重要部分,是解决物种进化关系、基因组序列分析等问题的基础。多序列比对算法具有很高的专用性,不同的算法适用于不同的研究环境。目前常用的多序列比对软件是在生物信息学理论指导下利用多个子算法装...
关键词：多序列比对算法 特征模型 产生式编程 算法构件 PAR平台 
PAR平台中并发分布式事务处理机制及其应用研究被引量：2
《江西师范大学学报（自然科学版）》2019年第6期649-654,共6页刘震伟 薛锦云 夏鲸 汪雄 
国家自然科学基金重大国际合作(61020106009);国家自然科学基金面上课题(61272075,61472167);国家自然科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究课题(160329)资助项目
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在...
关键词：PAR方法 PAR平台 事务处理 分布式事务 
虚拟现实软件系统开发方法研究被引量：13
《计算机工程与科学》2019年第11期1968-1975,共8页周哲泓 薛锦云 黄捷文 
国家自然科学基金重大国际合作研究项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041,61662036)
虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得...
关键词：虚拟现实 PAR平台 程序自动生成 C#语言 
基于动态规划的双序列比对算法构件设计与实现被引量：5
《计算机研究与发展》2019年第9期1907-1917,共11页石海鹤 周卫星 
国家自然科学基金项目(61662035,61762049,61862033)~~
双序列比对算法是生物信息学中的一个关键算法,广泛应用于序列相似性分析以及基因组序列数据库搜索.现有研究主要针对特定应用问题优化和使用相对应比对算法,缺乏高抽象层算法框架的细致研究,在一定程度上导致了序列比对算法的冗余性以...
关键词：双序列比对算法 动态规划 特征模型 构件交互模型 PAR平台 
基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现被引量：3
《江西师范大学学报（自然科学版）》2018年第3期291-297,共7页熊小舟 薛锦云 
国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金项目(61462041,61662036); 国家自然基金重大国家(地区)合作交流项目(61020106009); 江西省教育厅科学技术研究(160329)资助项目
设计并实现了一个PAR方法的在线自学系统.利用Web服务(Web Service)和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、算法设计语言Radl、抽象程序设计语言Apla以及设计和推导算法程序的方法学形象生动地呈现给学习者.最...
关键词：PAR方法 PAR平台 WEB服务 多媒体数据库技术 
PAR平台中若干软件构件形式化验证技术研究被引量：8
《计算机工程与科学》2018年第2期268-274,共7页胡启敏 薛锦云 游珍 程着 
国家自然科学基金(61462041;61472167;61662036);江西省自然科学基金(20171BAB202008);江西省教育厅科技项目(160329)
PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保...
关键词：软件构件 形式语义 定理证明 PAR平台 循环不变式 
Transaction在PAR平台中的实现方法及应用研究被引量：4
《计算机与数字工程》2015年第10期1884-1890,共7页朱小征 薛锦云 徐华珍 
国家自然科学基金重大国际合作研究项目"若干软件新技术及其在PAR平台中的实验研究"(编号:61020106009);国家自然科学基金面上项目:高可靠软件建模语言及模型自动转换方法研究(编号:61272075);国家自然科学基金面上项目:新概念循环不变式及其自动探测技术研究(编号:61472167)资助
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型...
关键词：事务处理 异常处理 PAR平台 模型驱动的软件架构 
PAR平台数据库查询优化方案被引量：1
《计算机与现代化》2013年第11期58-60,共3页汤沁 薛锦云 
国家自然科学基金资助项目(60773054);国家自然科学基金重大国际合作研究项目(61020106009)
数据库系统的查询优化技术是提高数据库系统效率的重要技术。当今Java和C++等主流程序设计语言依靠SQL语句,造成数据库系统中查询复杂、繁琐、效率低下、可靠性得不到保证等。针对上述问题,在PAR(Partition And Recur)平台数据库关系代...
关键词：查询优化 关系代数 PAR平台 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部