- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
形式化方法在装备保障决策支持系统中的应用.PDF
维普资讯
第 19卷 第4期 装 甲兵工程学院学报 Vo1.19No.4
2005年 l2月 JournalofAcademy ofArmoredForceEn~ineeri Dec.2005
形式化方法在装备保障决策支持系统中的应用
张子丘 郑宇军 王 侃
(1.装 甲兵工程学院,北京 100072;2.武器装备论证研究中心,北京 100034i3.工程装备系统工程研究所,北京 100093)
摘 要:为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别
是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备
保障整体效能的提升。
关 键 词:形式化方法;装备保障:决策支持系统
中图分类号:TP3l1.1 文献标识码:A
文 章 编号:l672.1497(2005)04—0013-04
明来保证程序的正确性。形式化方法的出发点是
0 引言
数学逻辑方法,它是公理方法发展的高级形态,
软件形式化方法是指从精确的数学语义出发 也是实现软件 自动化的重要基础。
来开发计算机软件的严格方法,被誉为是克服 “软 1946年,ACM (美国计算机协会)在成立之
件危机”、提高软件可靠性的革命性途径。上世纪 初对计算机学科的发展做出了前瞻性的预测,认
9O年代以来,形式化方法的研究受到了美、英、 为形式化方法将是计算机基础 问题的6个基本研
法等国的军方高度重视,如美军早在 1996年的项 究发展方向之一。广义上说,软件开发过程中所
目指南中,就将形式化方法作为重点研究方向。 使用的具有精确数学语义的方法都可称为形式化
目前我军在各类军用软件系统的设计过程中,基 方法。现有的形式化方法主要以Floyd的归纳断
本是依靠软件容错、强化测试等手段来提高可靠 言法 ”和Hoare的公理系统 作为程序正确性的
性,真正自觉采用形式化方法来指导软件开发的 基础,其一般开发过程为:采用ADT (抽象数据
却是少之又少。 类型)、前后置断言、循环不变式等机制 对程
装备保障决策支持系统主要用于对现阶段装 序规约进行严格定义,而后 自项向下对规约进行
备保障数据库中大量的运行数据和其它可用的外 逐步求精,最终得到可执行代码。早期的形式化
部情报数据进行快速在线综合分析,使装备保障 方法主要停留在简单程序和学术研究的层面上,
内外的数据源转化为管理决策信息 “。建立装备 难 以推广应用:现有的研究开始注重于对大型系
保障决策支持系统,实现平时和战时装备保障数 统和软件开发全过程的支持,代表性的有B方法
据的规划、加工、存储与分析,为装备指挥决策 、 净室软件工程 、SPECWARE系列工具 等。
提供支撑,是实现装备保障现代化的需要 拉。系 当前Microsoft正在为其.NET平台研制一种新的
统的可靠性、效率和智能化水平,都将对决策的 开发语言SPEC#,在该语言中可以定义形式化的
效果产生重要影响。在装备保障智能决策支持的 方法契约和类契约 ,这也表明形式化方法已得
开发过程中引入形式化方法,能够实现部分开发 到主流软件厂商的重视。
过程的自动化,并有助于从根本上提高软件系统
2 系统体系结构设计
的质量,进而提高我军装备保障工作的整体水平。
您可能关注的文档
- 弓场本多研究室.ppt
- 弯掠组合翼型叶片轴流风机.PDF
- 强市场中的弱参与一个公民社会的考察路径-社会学研究.PDF
- 循环微小RNA作为脓毒症生物标志物的研究进展-中华危重病急救医学.PDF
- 微小RNA与鼻咽癌的相关性研究进展-海南医学.PDF
- 微生态制剂生命周期评价标准-上海医药行业协会.doc
- 微细电火花线切割加工装置及应用-中国科技论文在线.PDF
- 快捷门禁控制器-BoschSecurity.PDF
- 快速入门单片机汇编编程.doc
- 快速入门指南-Alto-Shaam.PDF
- 人教版八年级下册数学《矩形》平行四边形说课教学课件.pptx
- 人教版八年级下册数学《实际问题与反比例函数》反比例函数教学说课研讨课件复习.pptx
- 人教版八年级上册数学《整式的乘法》整式的乘法与因式分解教学说课研讨课件复习(第3课时整式的除法).pptx
- 人教版八年级下册数学《勾股定理》PPT研讨课件.pptx
- 人教版八年级下册数学《变量与函数》一次函数复习教学课件说课.pptx
- 人教版八年级下册数学《变量与函数》一次函数教学说课(第2课时函数).pptx
- 人教版八年级下册数学《变量与函数》一次函数说课教学复习课件.pptx
- 人教版八年级下册数学《二次根式的乘除》二次根式复习说课教学课件.pptx
- 人教版八年级下册数学《二次根式的乘除》二次根式教学说课研讨课件复习.pptx
- 人教版八年级下册数学《勾股定理》教学说课(第2课时勾股定理的应用).pptx
文档评论(0)