国家自然科学基金(60273092)

作品数：42被引量：211H指数：7
导出分析报告
相关作者：薛锦云揭安全化志章胡启敏杨庆红更多>>
相关机构：江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室南昌大学更多>>
相关期刊：《湘潭师范学院学报（自然科学版）》《江西师范大学学报（自然科学版）》《微电子学与计算机》《计算机应用研究》更多>>
相关主题：形式化方法PAR方法程序设计并发形式化推导更多>>
相关领域：自动化与计算机技术文化科学兵器科学与技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
树非递归遍历统一的新解法及其形式证明被引量：1
《江西师范大学学报（自然科学版）》2010年第2期123-127,共5页化志章 杨庆红 揭安全 
国家"973"前期预研项目(2003CCA02800);国家自然科学基金(60273092);江西省自然基金(2008GQS0056);江西省教育厅科技项目(GJJ09142)资助
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义...
关键词：树遍历 非递归算法 循环不变式 
基于方面构件模型及其组装与实现被引量：1
《计算机技术与发展》2009年第4期160-162,165,共4页谢武平 薛锦云 万松松 
国家自然科学基金项目(60273092);科技部973重大基础研究发展前期专项资助项目(2003CCA02800)
将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中...
关键词：面向方面编程 构件组装 关注点 
基于嵌入式平台的并发虚拟机研究被引量：1
《微计算机信息》2008年第23期88-90,共3页揭安全 化志章 杜大威 薛锦云 
国家自然科学基金资助项目:基于PAR方法的算法设计形式化与自动化研究(60273092)
并发程序对提高应用系统的处理能力具有重要作用,基于嵌入式平台的并发程序开发尚无统一的工具支持。本文提出了一种基于嵌入式平台的并发虚拟机(CVM)设计思想,并采用标准C实现了一个CVM模型。研究表明,它可以支持嵌入式平台中的并发程...
关键词：嵌入式平台 并发 虚拟机 CVM 
基于Smart Client的远程教学系统的研究被引量：2
《计算机技术与发展》2008年第7期160-162,166,共4页刘宇翔 薛锦云 康亮 
国家自然科学基金资助项目(60273092)
针对当前远程教学平台实际应用中存在的系统功能有限、性能低下等缺陷,探讨了.NET智能客户端技术的特点及其优越性,提出了基于智能客户端的远程教学系统的多层次模型设计方案,并对该模型实现的关键技术进行了探讨。智能客户端能够实现...
关键词：智能客户端 远程教学系统 自动更新 离线应用 
基于PAR方法的管理信息系统需求建模研究
《湘潭师范学院学报（自然科学版）》2008年第2期43-45,共3页李英龙 施炜 
国家自然科学基金(60273092)
采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索。
关键词：MIS PAR 形式化方法 需求模型 Radl 
算法及其时间复杂度可同步形式化推导的方法被引量：3
《计算机应用研究》2008年第3期681-683,共3页王昌晶 薛锦云 
国家自然科学基金资助项目(60273092);国家“973”计划资助项目(2003CCA02800);江西省2004年教学改革课题基金资助项目;江西师范大学2005年青年成长基金资助项目
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一...
关键词：分划递推方法 形式化推导 时间复杂度 递归方程式 
基于Spring框架的轻量级J2EE架构与应用被引量：67
《计算机工程与应用》2008年第5期115-118,133,共5页胡启敏 薛锦云 钟林辉 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2003CCA02800);江西师大青年成长基金资助
合理的J2EE架构设计方案对J2EE应用系统的开发至关重要。Spring框架包含依赖注入方式的构件组装机制、统一的事务和日志管理服务等,为搭建轻量级的J2EE架构提供了有力的支持。介绍Spring框架的体系结构,将基于Spring框架的J2EE架构与其...
关键词：SPRING框架 J2EE 依赖注入 轻量级 
Hanoi塔非递归算法的形式化推导和正确性验证被引量：5
《计算机研究与发展》2008年第z1期143-147,共5页游珍 薛锦云 
国家自然科学基金项目(60273092)
关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法...
关键词：HANOI塔 PAR方法 循环不变式 非递归算法 Dijkstra最弱前置谓词法 
若干算法程序的形式化推导与生成技术研究被引量：7
《计算机研究与发展》2008年第z1期148-153,共6页胡启敏 薛锦云 
国家自然科学基金项目(60273092);国家“九七三”重点基础研究发展规划基金项目(2003CCA02800);江西师范大学青年成长基金项目(1323)
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于...
关键词：PAR方法 形式化推导 算法程序 递推关系 
基于软件体系结构的可复用构件模型被引量：14
《计算机应用研究》2008年第1期120-122,128,共4页吕明琪 薛锦云 胡启敏 
国家自然科学基金资助项目(60273092)
在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用。
关键词：软件复用 软件构件 软件体系结构 构件模型 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部