PAR方法

作品数：43被引量：93H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云石海鹤游珍揭安全杨晨更多>>
相关机构：江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室郑州大学更多>>
相关期刊：《计算机与数字工程》《计算机与现代化》《计算机工程与应用》《湘潭师范学院学报（自然科学版）》更多>>
相关基金：国家自然科学基金江西省自然科学基金国家重点基础研究发展计划国际科技合作与交流专项项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
生物序列比对动态规划算法的统一形式化构造与Isabelle验证
《计算机研究与发展》2025年第1期119-131,共13页石海鹤 蓝孙文 刘日明 石海鹏 王岚 钟林辉 
国家自然科学基金项目(62062039)。
序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,...
关键词：序列比对 PAR方法 形式构造 Isabelle定理证明器 
新型Action泛型机制在PAR平台中的实现和应用研究
《江西师范大学学报（自然科学版）》2020年第6期633-638,共6页汪雄 薛锦云 刘震伟 
国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究(160329)资助项目.
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参...
关键词：APLA语言 泛型 PAR方法 PAR平台 
基于VR技术程序开发设计方法简化研究
《电子技术与软件工程》2020年第13期53-54,共2页李传志 
本文为实现虚拟现实程序开发的有效简化,借助PAR平台和PAR方法,总结出一种虚拟现实程序开发的新方法。
关键词：程序开发 虚拟现实 VR技术 PAR方法 简化 
PAR平台中并发分布式事务处理机制及其应用研究被引量：2
《江西师范大学学报（自然科学版）》2019年第6期649-654,共6页刘震伟 薛锦云 夏鲸 汪雄 
国家自然科学基金重大国际合作(61020106009);国家自然科学基金面上课题(61272075,61472167);国家自然科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究课题(160329)资助项目
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在...
关键词：PAR方法 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服务 多媒体数据库技术 
基于构件的若干图算法开发和生成被引量：1
《江西师范大学学报（自然科学版）》2016年第6期635-639,共5页鄢梦恬 石海鹤 
国家自然科学基金(61363013;61662035);江西省自然科学基金(20142BAB217026;20151BAB207015)资助项目
软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度...
关键词：图算法生成 构件 生成式程序设计 PAR方法 
带迭代算子的APLA-JAVA程序转换实验系统的研究探讨
《电子技术与软件工程》2014年第22期83-84,共2页申加华 
为了提高软件的工作效率以及运行的稳定性,克服计算机运行过程中软件运用的问题,尤其是针对APLA-JAVA的转换问题计算机界已经进行了长期的争论和研究,但是仍没有达到理想的效果。通过设计一个转换系统,将正确的APLA程序进行转换,获得JAV...
关键词：PAR方法 迭代算子 APLA语言 程序转换 
形式化PAR方法及其算法程序规约精化机理被引量：1
《江西科技学院学报》2014年第3期53-57,共5页苏昭 
江西科技学院自然科学基金项目“基于项目反应理论的成人高考数学模块化训练系统的研制”(NO.XYKJ2011012);江西科技学院协同创新基金项目“面向车联网的智能交通最短路径算法的优化及其应用研究”(NO.xtcx201318)
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展...
关键词：形式化PAR方法 规约精化 算法程序 
Radl算法到Apla程序的生成系统被引量：10
《计算机研究与发展》2014年第4期856-864,共9页谢武平 薛锦云 
国家自然科学基金项目(60573080;60273092);国家自然科学基金重大国际(地区)合作研究项目(61020106009)
算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进...
关键词：PAR方法 Radl算法 程序生成 算法推导 生成规则 
基于PAR的软件服务外包开发过程应用研究
《计算机与现代化》2013年第11期169-173,共5页吴刚 薛锦云 
国家自然科学基金资助项目(60773054);国家自然科学基金重大国际合作研究项目(61020106009)
软件外包中开发效率低、可靠性差的问题一直存在。PAR(Partition and Recur)方法及高可靠软件开发平台PAR平台,在提高软件开发效率和可靠性方面能够发挥很好的作用。本文将PAR方法和PAR平台应用于外包软件开发过程,使用PAR平台成功研发...
关键词：PAR方法 PAR平台 软件外包 开发效率 可靠性 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部