您的位置: 专家智库 > >

国家自然科学基金(60573080)

作品数:11 被引量:50H指数:4
相关作者:薛锦云石海鹤石海鹏郑宇军游珍更多>>
相关机构:江西师范大学中国科学院软件研究所中国科学院研究生院更多>>
发文基金:国家自然科学基金江西省自然科学基金江西师范大学青年成长基金更多>>
相关领域:自动化与计算机技术机械工程兵器科学与技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇机械工程
  • 1篇兵器科学与技...

主题

  • 5篇形式化
  • 3篇形式化方法
  • 3篇形式化开发
  • 3篇PAR方法
  • 2篇递归
  • 2篇递归算法
  • 2篇循环不变式
  • 2篇非递归
  • 2篇非递归算法
  • 2篇PAR
  • 2篇AGENT
  • 1篇弹道
  • 1篇定理证明
  • 1篇定理证明器
  • 1篇形式化验证
  • 1篇自动化
  • 1篇精化
  • 1篇决策支持
  • 1篇决策支持系统
  • 1篇规约

机构

  • 8篇江西师范大学
  • 4篇中国科学院软...
  • 1篇江西农业大学
  • 1篇中国科学院研...

作者

  • 7篇薛锦云
  • 5篇石海鹤
  • 4篇石海鹏
  • 2篇郑宇军
  • 1篇游珍
  • 1篇陈艳琼
  • 1篇万剑怡
  • 1篇万韵
  • 1篇杨乐
  • 1篇于程远
  • 1篇李海英

传媒

  • 2篇计算机应用研...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇武汉理工大学...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇计算机与现代...
  • 1篇微计算机信息
  • 1篇计算机科学
  • 1篇Defenc...

年份

  • 3篇2009
  • 2篇2008
  • 3篇2007
  • 3篇2006
11 条 记 录,以下是 1-10
排序方式:
一种形式化开发非递归算法的方法被引量:4
2007年
提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。
石海鹤石海鹏薛锦云
关键词:形式化方法非递归PAR循环不变式
算法程序变换研究与进展被引量:4
2007年
开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
石海鹤石海鹏郑宇军薛锦云
关键词:自动化形式化方法
基于Multi-Agent的装备保障决策支持系统
2006年
现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动态控制,并给出了一个应用该系统进行保障规划问题求解的实例.系统采用基于Agent构件的分布式体系结构,高层Agent可由低层Agent组装而成.系统顶层使用了7类Agent,其中Decision-Maker和Solver进一步采用了基于Multi-Agent的A-Team框架来实现保障任务控制和问题求解,有效地提高了问题求解的效率和可靠性.
郑宇军李海英薛锦云
关键词:决策支持系统AGENT
面向PAR平台的测试用例生成技术研究被引量:3
2009年
测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计了一种基于路径的测试用例自动生成算法,并在PAR平台的转换工具中应用实施,科学合理的测试用例设计为PAR平台转换工具测试的进行提供基础,测试达到了预期目的。
杨乐薛锦云万韵
关键词:PAR平台PAR方法测试用例
形式化开发Hanoi塔问题非递归算法被引量:5
2007年
使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
石海鹤石海鹏薛锦云
关键词:HANOI塔问题非递归PAR方法循环不变式
General-Service Ballistic Computer Programming Based on B-Method
2006年
郑宇军张子丘王金全薛锦云
关键词:抽象机精化弹道程序设计
基于Isabelle定理证明器算法程序的形式化验证被引量:9
2009年
形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法。该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值。
游珍薛锦云
关键词:形式化验证PAR方法定理证明器
形式化方法Designware及其规约精化机理被引量:1
2008年
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
石海鹤石海鹏薛锦云
关键词:高可信
基于模式的并行编程环境中任务队列模式的研究与实现被引量:1
2008年
并行程序的设计是并行计算的难点之一。本文在基于模式的并行编程方法的基础上,对一种典型的并行计算与通信模式-任务队列模式进行了深入的研究,并在基于模式的并行编程环境中对该模式进行了实现。本文将通过两个典型的应用实例说明在基于模式的并行编程环境中使用任务队列模式进行问题的并行求解与并行程序开发的过程,并从实现效率和可编程性方面对使用任务队列模式的并行程序和传统的MPI/PVM实现的并行程序进行了分析与比较。
于程远万剑怡陈艳琼
关键词:并行编程模式
An Intelligent MMRP Constraint Programming System被引量:1
2006年
In this paper,an intelligent constraint programming system for manufacturing material resource planning (MMRP) was presented.It is aimed to tackling large,particularly combinatorial,problems during the MMRP process,which increasingly involves complex sets of objectives and constraints in today’s industrial manufacturing.The system consists of a do- main-specific architecture,an algorithm library,and a pre-defined solution library,based on which intelligent agents can effi- ciently construct MMRP problem specifications,select suitable algorithms to solve problems,and evolve a population of solutions to- wards a Pareto-optimal frontier.Our system significantly improves the efficiency,effectiveness,and reliability of MMRP prob- lem solving.
ZHENG Yujun~(1.2) WANG kan~3 YANG Junwei~3 1.Systems Engineering Institute of Engineer Equipment,Beijing 100093,China 2.Institute of Software,Chinese Academy of Sciences,Beijing 100080,China 3.Academy of Armored Force Engineering,Beijing 100072,China
关键词:RESOURCECONSTRAINTPROGRAMMINGAGENTSOLVING
共2页<12>
聚类工具0