复杂系统能力需求模型的仿真技术与实现

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。

基于能力需求匹配模型的老年图标设计

目的现有图标语义与设计元素之间通常缺乏明确的对应关系,导致老年用户在辨识图标语义时常因心智能力不足而遇到困难,需要平衡老年用户图标辨识能力与产品施加给用户的挑战之间的关系,并搭建设计师与用户之间的沟通桥梁。方法前期以心流理论和能力需求匹配梯度模型为基础,将家电图标按照认知方式进行分类收集。后期进行老年语义认知能力评估测试,具体阐述用户能力与图标认知效率的联系。结果建立老年认知能力需求匹配梯度,通过洗衣机“手洗模式”图标设计,对该梯度的有效性进行验证。结论在设计多样性的要求下,在图标设计时可优先选择能力余裕范围,适度选择能力适配范围,避免选择用户能力不足范围,从而为老年人提供更多元的设计选择。

基于能力模型的决策优势评估研究

提出了一种用于评价信息系统决策优势的新方法。给出了决策优势的能力模型;引入了决策知识的数学描述方法,分析了信息价值对决策优势的影响,给出了信息价值评价指标体系和单个决策者的决策优势能力评估模型。通过将能力需求模型转换为决策网络,并建立相应的评估模型,以评价网络化决策优势的能力。结合应用案例,对该方法进行了验证。

C^4ISR系统能力需求行为建模及验证

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。

军事应用活动仿真建模研究

针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。