位置：成果数据库 > 期刊 > 期刊详情页
面向装备联勤保障的约束程序设计框架
  • ISSN号：0469-5097
  • 期刊名称：《南京大学学报：自然科学版》
  • 时间：0
  • 分类：TP311.1[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：工程装备系统工程研究所,北京,100093, 中国科学院软件研究所,北京,100080, 江西师范大学计算机信息工程学院,南昌,330027 工程装备系统工程研究所,北京,100093 中国科学院软件研究所,北京,100080, 江西师范大学计算机信息工程学院,南昌,330027
  • 相关基金：国家自然科学基金(60273092),科技部973重大基础研究前期专项(2003CCA02800)
作者： 郑宇军, 王连来, 薛锦云
关键词： 联勤, 约束程序设计, 规约, 问题求解
中文摘要：

提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解.

同期刊论文项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目期刊论文
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《南京大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:南京大学
  • 主编：龚昌德
  • 地址：南京汉口路22号南京大学（自然科学版）编辑部
  • 邮编：210093
  • 邮箱：xbnse@netra.nju.edu.cn
  • 电话：025-83592704
  • 国际标准刊号：ISSN：0469-5097
  • 国内统一刊号：ISSN：32-1169/N
  • 邮发代号:28-25
  • 获奖情况:
  • 中国自然科学核心期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9316