期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向装备联勤保障的约束程序设计框架 被引量：2

A Constraint Programming Framework for Integrated Materiel Logistic Support
下载PDF
导出
摘要 提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解.
作者 郑宇军 王连来 薛锦云
机构地区 工程装备系统工程研究所 中国科学院软件研究所 江西师范大学计算机信息工程学院
出处 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期30-34,共5页 Journal of Nanjing University（Natural Science）
基金 国家自然科学基金(60273092),科技部973重大基础研究前期专项(2003CCA02800)
关键词 联勤 约束程序设计 规约 问题求解
分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1[2]Bistarelli S. Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Sciences, 2004, 2 962: 1～ 20.
  • 2[3]Baptiste P, Pape C L, Nuijten W. ConstraintBased Scheduling. Boston: Kluwer Academic Publishers, 2001, 1～8.
  • 3[5]Xue J Y. A Unified Approach for Developing Efficient Algorithmic Programs. Journal of Computer Science & Technology, 1997, 12: 103～118.
  • 4[6]Smith D R. Toward a Classification Approach to Design. Kutter W, Pierantonio A. Proceedings of 5th International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Sciences, Springer-Verlag, 1996,1 101: 62～84.
  • 5[7]Pepper P, Smith D R. A High-level Derivation of Global Search Algorithms (with Constraint Propagation). Science of Computer Programming, Special Issue on FMTA (Formal Methods: Theory and Applications), 1996, 28: 247～271.
  • 6[8]Zheng Y J, Xue J Y. MISCE: A Semi-Automatic Development Environment for Logistic Information Systems. Proceedings of 2005 IEEE International Conference on Service Operations and Logistics,and Informatics, Beijing, 2005.

同被引文献14

  • 1张子丘 ,郑宇军 ,王侃 .形式化方法在装备保障决策支持系统中的应用[J].装甲兵工程学院学报,2005,19(4):13-16. 被引量：2
  • 2[7]张子丘. 装备技术保障概论[M].北京:军事科学出版社,2001. 33-41.
  • 3[4]M T Brazier,C M Jonker,J Treur.Principles of component-based design of intelligent agents[J].Data Knowledge Engineering,2002,41(1):1-27
  • 4[7]S N Talukdar,L Baerentzen,A Gove,et al.Asynchronous Teams:Cooperation schemes for autonomous agents[J].Journal of Heuristics,1998,4(4):295-321
  • 5[8]Zheng Yujun,Xue Jinyun,Liu Weibo.Object-oriented specification composition and refinement via category theoretic computations[G].In:J Y Cai,S B Cooper,A Li,eds.Theory and Applications of Models of Computation (TAMC'06),Lecture Notes in Computer Science 3959.Berlin:Springer-Verlag,2006.601-610
  • 6[9]M T Brazier,C M Jonker,J Treur.Dynamics and control in component-based agent models[J].International Journal of Intelligent Systems,2002,17(11):1007-1047
  • 7[3]N Skarmeas,K L Clark.Component based agent construction[J].International Journal on Artificial Intelligence Tools,1999,11(1):139-163
  • 8石海鹤,薛锦云.基于PAR的算法形式化开发[J].计算机学报,2009,32(5):982-991. 被引量：28
  • 9苏昭,薛锦云,杨晨.形式化方法在高中算法教学中的应用研究[J].计算机与现代化,2010(7):87-92. 被引量：3
  • 10彭俊松,黄丽华,薛华成.BPR决策支持系统分布式求解模型的研究[J].管理科学学报,1999,2(4):44-52. 被引量：2

引证文献2

二级引证文献1

南京大学学报（自然科学版）
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部