阅兵装备的成长之路

<正>阅兵式上展示的装备,是我军装备体系建设跨越发展的一个缩影,更是我国军队推进科技兴军实践呈上的一份成绩单。从这张成绩单中,我们触摸到的是我国军队装备现代化的强劲脉动。大国重器,为新时代保驾护航。细数峥嵘岁月,70年风雨兼程。1949年10月1日,毛泽东主席在天安门城楼上向全世界庄严宣告:"中华人民共和国中央人民政府今天成立了!"这声世纪之音,标志着中华民族己然摆脱了近百年的屈辱历史,从此翻开了崭新的篇章。这天,伴随着五星红旗在天安门广场冉冉升起,人民军队唱着胜利的凯     

基于OBDD的描述逻辑ALCIO判定算法

给定描述逻辑ALCIO中的任一知识库,应用NNF变换和FLAT规则对其进行预处理,通过一个重构过程将知识库中TBox模型转化为布尔函数,然后将布尔函数转换为有序二叉决策图(OBDD)表示形式,从而调用已有的OBDD软件包进行可满足性判定,实现描述逻辑ALCIO的判定算法。该算法在实现描述逻辑的推理方面与经典的Tableau判定算法在性能上可以相互弥补和配合。