中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文
学科主题: 计算机软件
题名:
基于PAR的高可信装备保障算法推演
作者: 郑宇军
答辩日期: 2009
导师: 薛锦云
授予单位: 中国科学院研究生院
授予地点: 北京
学位: 硕士
关键词: PAR 方法,装备保障,组合优化,算法形式化推演
其他题名: Formal Calculation of Highly-Dependable Materiel Support Algorithms Based on PAR
摘要: 算法被誉为计算的“灵魂”(spirit of computing),算法程序的可靠性和正确性对软件系统的可信度起着至关重要的作用。动态规划、贪心、分支限界等传统的算法设计策略缺乏有效的选择标准,一些算法形式化开发方法和工具的应用水平和范围也很有限,因此算法的可靠性已成为高可信软件系统的一个主要瓶颈。 作为军事运筹学的一个重要分支,装备保障计算主要研究军事活动中装备领域的决策优化问题,保障计算软件特别是算法的可靠性在很大程度上决定了装备保障的效率乃至军事行动的成败。利用形式化软件工程的研究成果、特别是引入算法程序的形式化开发方法,对我军通用装备保障领域中的大量算法类问题进行有效求解,有利于优化保障结构、统筹保障资源、整合保障力量、提高保障时效,促进装备整体战斗力水平的提升。 本文以高可信软件开发方法PAR为基础,面向装备保障计算的领域需求,提出了一类离散最优化问题(discrete optimization problem, DOP)的结构模型和算法推演技术,并成功推演了一系列典型的装备保障算法。本论文的主要创新性贡献如下: (1)定义了DOP的结构模型,提出了基于单点结构(Singleton)的问题分划递推策略,进而通过PAR算法推演生成问题的高效求解算法,涵盖了多种传统算法设计策略,显著提高了算法程序设计的机械化水平。 (2)提出了描述DOP分划递推过程的问题简约图(problem reduction graph, PRG)模型,并针对典型DOP结构推演得到了一组PRG构造算法模式,其中每个算法模式都涵盖了满足特定代数结构性质的一大类具体问题。 (3)阐述了PAR算法推演的范畴模型,为算法设计和重用提供了抽象而有效的方法指导。 (4)对我军通用装备保障领域具有代表性的48个问题进行了形式化的算法推演,构建了领域算法库。 (5)在PAR平台的基础上设计了装备保障算法开发平台的原型COPALM,支持DOP算法推演和重用,进而提高了相关应用软件的开发效率。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/647
Appears in Collections:计算机科学国家重点实验室 _学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
Zheng_MSA(final).pdf(1390KB)----限制开放 联系获取全文

Recommended Citation:
郑宇军. 基于PAR的高可信装备保障算法推演[D]. 北京. 中国科学院研究生院. 2009-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[郑宇军]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[郑宇军]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace