排序方式: 共有54条查询结果,搜索用时 15 毫秒
41.
42.
为描述“网络化作战”中C4ISR系统资源的动态集成过程,实现作战任务过程与军事系统资源的分离,在DoDAF2.0、NATOAFv3.0、MoDAF1.2等体系结构框架研究基础上,提出了一种C4ISR体系结构服务视图描述框架.通过服务视图产品的形式化描述,分析了服务视图产品间的逻辑关系,为应对作战任务过程调整重点研究了基... 相似文献
43.
44.
随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。 相似文献
45.
形式化方法在装备保障决策支持系统中的应用 总被引:1,自引:0,他引:1
为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升. 相似文献
46.
随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。 相似文献
47.
由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。 相似文献
48.
作战任务的形式化描述及其过程表示方法 总被引:1,自引:0,他引:1
为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。 相似文献
49.
当前部队的心理教育尚不够完善 ,在具体实施过程中仍存在着不少问题。为了保证心理教育切实有效 ,部队有关部门必须采取有力措施 ,克服以下四种不良倾向。(一 )端正思想 ,避免心理教育形式化倾向。在心理教育广泛开展的同时 ,仍然有一些部队对心理教育的意义认识不清 ,重视不够。他们认为心理教育不如思想政治工作有实效 ,只是单纯把心理教育作为应付上级检查的一项任务。实施教育阶段 ,常常是走过场 ,摆花架子 ,没有什么具体内容。一些官兵甚至不知道心理教育为何物 ,遇到心理问题更不知如何着手解决。还有一些部队虽然建立了心理教育档案 … 相似文献
50.