|
|||||
|
|
| 形式化方法在装备保障决策支持系统中的应用 | |
| 引用本文： | 张子丘,郑宇军,王侃.形式化方法在装备保障决策支持系统中的应用[J].装甲兵工程学院学报,2005,19(4):13-16. |
| 作者姓名： | 张子丘 郑宇军 王侃 |
| 作者单位： | 1. 装甲兵工程学院,北京,100072;武器装备论证研究中心,北京,100034 2. 工程装备系统工程研究所,北京,100093 3. 装甲兵工程学院,北京,100072 |
| 摘 要： | 为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升. |
| 关 键 词： | 形式化方法 装备保障 决策支持系统 |
| 文章编号： | 1672-1497(2005)04-0013-04 |
| 修稿时间： | 2005年5月31日 |
Application of Formal Methods in DSS for Equipment Support |
|
| ZHANG Zi-qiu,ZHENG Yu-jun,WANG Kan.Application of Formal Methods in DSS for Equipment Support[J].Journal of Armored Force Engineering Institute,2005,19(4):13-16. | |
| Authors: | ZHANG Zi-qiu ZHENG Yu-jun WANG Kan |
| Abstract: | To improve the total quality of Decision Support System (DSS) for Equipment Support, formal methods are used in system design and components development, especially in the design and implementation of key algorithms. As a result, the software reliability, reusability, as well as efficiency of problem solving are increased tremendously, which is helpful in improving the total efficiency of equipment support. |
| Keywords: | formal methods equipment support DSS (Decision Support System) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |