装甲兵工程学院学报
裝甲兵工程學院學報
장갑병공정학원학보
JOURNAL OF ARMORED FORCE ENGINEERING INSTITUTE
2005年
4期
13-16
,共4页
形式化方法%装备保障%决策支持系统
形式化方法%裝備保障%決策支持繫統
형식화방법%장비보장%결책지지계통
为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.
為提高裝備保障決策支持繫統的整體質量,將形式化方法應用于繫統設計和組件開髮,特彆是關鍵算法的設計和實現,從而大幅提高瞭軟件的可靠性、可複用性,以及問題求解的效率,有助于裝備保障整體效能的提升.
위제고장비보장결책지지계통적정체질량,장형식화방법응용우계통설계화조건개발,특별시관건산법적설계화실현,종이대폭제고료연건적가고성、가복용성,이급문제구해적효솔,유조우장비보장정체효능적제승.
