国家自然科学基金(60773054)

作品数：23被引量：70H指数：4
导出分析报告
相关作者：薛锦云万剑怡郑宇军李晖杨晨更多>>
相关机构：江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室中国科学院研究生院更多>>
相关期刊：《科学技术与工程》《武汉大学学报（理学版）》《计算机集成制造系统》《计算机应用研究》更多>>
相关主题：PAR方法形式化推导PAR平台形式化方法形式化开发更多>>
相关领域：自动化与计算机技术电子电信社会学经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
PAR平台数据库查询优化方案被引量：1
《计算机与现代化》2013年第11期58-60,共3页汤沁 薛锦云 
国家自然科学基金资助项目(60773054);国家自然科学基金重大国际合作研究项目(61020106009)
数据库系统的查询优化技术是提高数据库系统效率的重要技术。当今Java和C++等主流程序设计语言依靠SQL语句,造成数据库系统中查询复杂、繁琐、效率低下、可靠性得不到保证等。针对上述问题,在PAR(Partition And Recur)平台数据库关系代...
关键词：查询优化 关系代数 PAR平台 
基于PAR的软件服务外包开发过程应用研究
《计算机与现代化》2013年第11期169-173,共5页吴刚 薛锦云 
国家自然科学基金资助项目(60773054);国家自然科学基金重大国际合作研究项目(61020106009)
软件外包中开发效率低、可靠性差的问题一直存在。PAR(Partition and Recur)方法及高可靠软件开发平台PAR平台,在提高软件开发效率和可靠性方面能够发挥很好的作用。本文将PAR方法和PAR平台应用于外包软件开发过程,使用PAR平台成功研发...
关键词：PAR方法 PAR平台 软件外包 开发效率 可靠性 
基于MSET的框架变化点实例化模式挖掘
《计算机工程》2011年第6期46-48,共3页钟林辉 李晖 邓华锋 徐静 
国家自然科学基金资助项目(60773054);江西省自然科学基金资助项目(2009GQS0053;2008GQS0047);江西省教育厅科技基金资助项目(GJJ09140;GJJ09457)
目前的面向对象框架存在规模大、使用复杂、文档含糊、不够准确等问题,给使用者带来一定的难度。针对上述问题,提出最大相同共享边子树的概念,将多个应用程序中的框架变化点实例化代码抽象成实例化关系树,基于最大相同共享边子树(MSET)...
关键词：面向对象框架 实例化模式 最大相同共享边子树 
基于范畴计算的多目标语言程序生成架构被引量：1
《计算机科学》2011年第4期185-187,共3页王金全 郑宇军 
国家自然科学基金(60773054)资助
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,...
关键词：范畴论 程序生成 函子 模型变换 
装备维修规划的多目标优化模型和求解算法被引量：2
《计算机集成制造系统》2010年第10期2174-2180,共7页张子丘 郑宇军 
国家自然科学基金资助项目(60773054)~~
为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次...
关键词：装备 维修规划 多目标优化 禁忌搜索 任务能力 
循环不变式开发技术研究被引量：5
《计算机工程与科学》2010年第9期84-88,94,共6页万松松 薛锦云 谢武平 
国家自然科学基金资助项目(60773054);国家973计划资助项目(2003CCA02800);科技部国际科技合作项目(2008DFA11940)
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也...
关键词：循环不变式 PAR方法 高可靠性软件 谓词抽象 
基于扩展的构件依赖关系图聚类的体系结构重构策略研究被引量：5
《计算机应用研究》2010年第8期2987-2990,共4页钟林辉 姚昕凡 徐静 李晖 
国家自然科学基金资助项目(60773054);江西省自然科学基金资助项目(2009GQS0053;2008GQS0047);江西省教育厅科技项目(GJJ09140;GJJ09457);江西师范大学2007博士启动基金资助项目
通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了扩展的构件依赖关系图的概念,将软件体系结构的逻辑依赖关系以及演化历史中蕴涵的演化依赖关系纳入到统一的表示中。进一步提出了基于扩展的构件依...
关键词：软件演化 演化信息 软件体系结构 软件重构 
三个经典数学问题的形式化开发被引量：2
《计算机与现代化》2010年第8期1-4,共4页杨晨 薛锦云 苏昭 
国家自然科学基金资助项目(60773054);科技部合作项目(2008DFA11940)
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台...
关键词：PAR方法 PAR平台 形式化推导 
形式化方法在高中算法教学中的应用研究被引量：3
《计算机与现代化》2010年第7期87-92,共6页苏昭 薛锦云 杨晨 
国家自然科学基金资助项目(60773054);科技部国际合作项目(2008DFA11940)
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介...
关键词：可信软件 形式化方法 PAR方法 
变量施肥决策的多目标优化模型与算法被引量：1
《中国科学：信息科学》2010年第S1期244-252,共9页郑宇军 宋琴 赵福宽 
国家自然科学基金(批准号:60773054);科技部国际科技合作项目(批准号:2008DFA11940);北京市属市管高等学校人才强教计划(批准号:PHR200907136)资助项目
变量决策模型和优化算法是精准农业变量作业处方生成的核心环节.文中建立了一个综合考虑作物产量、质量、能源消耗、环境影响等多个指标的变量施肥多目标优化模型,提出了一种求解此类问题的高效禁忌搜索算法,从产量最大化的初始施肥方...
关键词：精准农业 变量施肥 多目标优化 禁忌搜索 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部