计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
1期
10-21
,共12页
王智学%董庆超%朱卫星%李雯%何红悦%王庆龙
王智學%董慶超%硃衛星%李雯%何紅悅%王慶龍
왕지학%동경초%주위성%리문%하홍열%왕경룡
模糊本体%模糊UML%模糊描述逻辑%模型验证
模糊本體%模糊UML%模糊描述邏輯%模型驗證
모호본체%모호UML%모호묘술라집%모형험증
针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术,给出了能力需求模型向模糊描述逻辑知识库的转换算法,最终采用一个模型验证案例说明了方法的可行性.
針對C4ISR繫統能力需求中存在的大量模糊信息以及需求模型中可能會存在的不一緻性、不閤理性問題,從體繫結構能力相關概唸齣髮,構建C4ISR領域特定的能力模糊本體,在模糊本體的引導下,穫取應用繫統的能力需求模型.在此基礎上,研究瞭基于模糊描述邏輯符號推理的能力需求模型一緻性、閤理性驗證技術,給齣瞭能力需求模型嚮模糊描述邏輯知識庫的轉換算法,最終採用一箇模型驗證案例說明瞭方法的可行性.
침대C4ISR계통능력수구중존재적대량모호신식이급수구모형중가능회존재적불일치성、불합이성문제,종체계결구능력상관개념출발,구건C4ISR영역특정적능력모호본체,재모호본체적인도하,획취응용계통적능력수구모형.재차기출상,연구료기우모호묘술라집부호추리적능력수구모형일치성、합이성험증기술,급출료능력수구모형향모호묘술라집지식고적전환산법,최종채용일개모형험증안례설명료방법적가행성.
