面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

周期扰动下一类双中心二次系统的浑沌与次谐波

研究周期扰动下一类双中心二次Hamilton系统的动力学性质,应用Melnikov方法给出了该系统产生浑沌与次谐波的参数区域。     

二维粒子模拟的多时标法

将多时标法应用于二维激光等离子体全电磁相对论粒子模拟程序中,对共振吸收及相关的物理现象进行了模拟计算,既正确地描述了等离子体的动力学行为,又大大节省了计算时间。     

井下战水魔

2月18日上午,位于江苏省徐州市境内的国家大型企业徐州矿务局张集煤矿的一位采煤工人,在地下海拔-300米水平煤层掘进时,钻开了一个地下泉眼,于是,煤矿开采史上百年不遇、国内罕见的突水事故发生了,汹涌的水柱以每分钟2000立方米的速度向外喷,巨大的冲击力竟然将50多公斤重的钢球弹起了2米多高,顷刻间,-300米水平水泵房被淹,井下480多名矿工的生命和国家7亿多元的财产受到严重威胁……     

网络革命与军事经济信息化

网络革命作为信息时代的一个里程碑,将给军事经济活动带来广泛而深刻的影响,它将改进军事经济的构成要素,增强管理功能,完善管理方法,极大地提高军事经济信息化水平。为了使军事经济工作更好地适应信息时代的要求,各级领导、机关工作人员要高度重视学习信息技术知识,强化军事经济信息化观念,着手培养军事经济信息化管理与使用人才,以使我军军事经济信息化建设工作持续、稳步地发展。     

乡村“乌兰牧骑”

在巍峨的羽山脚下,秀丽的乌龙河畔,活跃着一支民兵业余文艺演出队。他们在农闲时节,身背二胡、锣鼓等乐器,骑着自行车走村串巷,以农民喜闻乐见的文艺形式,传播社会主义精神文明,宣传党的路线、方针、政策。她就是被人们誉为乡村“乌兰牧骑”的江苏省东海县横沟乡民兵业余文艺演出     

汪伪和平救国军的建立、发展和消亡

汪伪和平救国军是汪精卫卖国集团的重要组成部分和主要支柱。这支规模巨大的汉奸军队是在日本侵略军的卵翼下,按照汪精卫“和平反共建国”的方针,伴随着汪伪傀儡政权组建和发展起来的。它是日本帝国主义侵华政策的产物,同时又是其在占领区实行法西斯殖民统治的重要工具;它是国民党蒋介石集团推行消极抗日、积极反共政策的恶果,同时又是蒋汪实行合流、联合反共的先遣军和急先锋。这支反动军队的发展经历了酝酿、建立、发展、收缩、消亡五个阶段。     

关于全方位推进院校思想育人工作的探索与思考

军校思想政治教育工作，在充分发挥政治理论课教学主阵地、主课堂、主渠道的同时，必须确立全方位思想育人的理念，发挥党委机关、教研室、学员队的主导作用；发挥团支部、模拟中队、思想骨干的主体作用；发挥社会、部队、家庭的配合作用。     

统筹经费保障 服务教学评价

统筹经费保障，服务教学评价，是目前军事经济学院后勤工作的头等大事。学院以党委理财为统揽，以科学理财为根本，以规范管理为主线，通过科学决策，加大经费宏观管控力度；合理规划，坚持有所为有所不为；严格程序，努力提高经费使用效益；创新手段，打牢财务管理服务根基，较好地保障了教学评价准备工作的有序展开。