多阶段任务系统可靠性分析的ROBDD算法

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性。     

让历史活起来

为了让学生动起来,让课堂活起来,让历史人物站起来,我不断改进教法学法,探索总结出了：“再现式历史教学法”,收到了较好的效果。充分利用一切手段,创设情景,再现历史,尽可能拉近历史与学生的距离,形成直观印象,让学生走进历史,探究历史,感悟历史：在探究的过程中层层设疑,始终贯彻学生活动问题化,问题设计层次化,解决问题民主化的原则。“再现”的手段多种多样,可以是录像再现,也可以是故事再现,歌曲音乐再现,图示再现,课本剧表演再现等等。     

C4ISR系统层次化指标体系框架描述方法

C4ISR系统效能评估直接影响系统建设与发展的好坏,而选择合适的作战效能指标体系并使其量化,是做好C4ISR系统效能评估的关键.研究面向C4SIR系统作战效能评估的指标体系框架问题,在给出一般C4ISR系统的效能评估过程的基础上,提出了针对C4ISR系统效能评估需求的层次化指标体系框架,并进一步提供不同层次指标的描述方法.实践证明,该框架能够较好地支撑具体的C4ISR系统作战效能指标体系的构建工作.     

海战场信息系统和武器系统综合仿真技术研究（连载二）

(续第3期第34页文) 6 虚拟舰艇结构的设计虚拟舰艇的基本物理部件是HLA联邦成员。这些部件可以模拟不同聚合级的实体。典型的部件将代表组成战舰的系统,其中包括传感器、武器、对抗措施、导航和指挥与控制系统。其它部件可代表完整的作战实体,或代表系统的子部件。6.1 虚拟舰艇的物理设想6.1.1 组成虚拟舰艇的典型联邦成员典型的部件在图1中示出。这些部件通过HLA运行时间支撑结构(RTI)进行交互,数据交换是这种交互的主要部分。联邦成员之间交换的数据在概念上描述为对象属性更新或一次交互。对象属性更新是描述现时存在的一个实体的…     

海战场信息系统和武器系统综合仿真技术研究

本文分析了海战场信息系统仿真的特点,介绍了可以应用于海战场信息系统和武器系统综合仿真的高层体系结构(HLA)技术,描述了澳大利亚国防科学与技术组织(DSTO)基于HLA技术的虚拟舰艇概念和潜在的应用,以及虚拟舰艇结构和层次化联邦共同体概念的设计方法。     

面向能耗有效高性能嵌入式微处理器的VLIW调度

为了降低功耗,目前能耗有效的嵌入式微处理器一般都采用分布式与层次化的寄存器文件结构。第一层的超小寄存器文件(TORF)的极小容量使得很多数据必须存放到第二层的通用寄存器文件(GRF)中,这给编译器带来了新的挑战。通过分析程序特征,提出了新的VLIW调度算法,通过在编译时对变量进行检测,在恰当的时机插入虚拟的copy操作并进行指令与通信调度,为对寄存器需求较大的全局变量与软流水变量构建了新的包含GRF的数据传输路由,将对TORF的压力转移到GRF中。实验结果表明,新的VLIW调度算法符合处理器的设计初衷。与不使用GRF相比,在程序性能只降低约8%的情况下,降低了约51%的寄存器访问能耗,43%的处理器能耗。最关键的是避免了程序员手工分配优化的难题。     

基于内容检索中算法的层次化体系组织

基于内容的检索中,检索算法的常规实现是面向单个特征完成特征提取和相似性匹配,再对单特征检索结果加权完成多特征检索,这种方法计算量大,缺乏灵活性。针对于此,提出了一种检索算法的层次化组织体系,能够灵活组织面向不同特征的检索算法,通过传输因子、优先级因子和复杂度因子的赋值,获得逐步精确的检索结果。实验证明,在查全率和查准率基本一致的前提下,与常规检索体系相比,新检索体系能够减少近40%的检索时间。