求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

黏弹性基底上阻尼碳纳米管的动力学特性

采用欧拉梁模型建立了有阻尼碳纳米管在黏弹性基底上的动力学问题分析模型。通过引入非局部理论、广义Maxwell黏弹性模型、速度相依的外阻尼模型及黏弹性基底模型推导出碳纳米管动力学分析的欧拉梁振动控制方程。在Kelvin-Voigt黏弹性模型基础上,分别给出无基底和全基底支撑时碳纳米管固有频率的一般解析表达式,并分析讨论全基底时的多种典型情况。然后利用传递函数方法求解出一般边界条件下振动控制方程的封闭解。以某单壁碳纳米管为例,得到不同边界条件下该单壁碳纳米管的前四阶固有频率,并分析了碳纳米管非局部参数、黏弹性参数、基底刚度及长度等影响因素对固有频率和阻尼因子的影响情况。结果表明,文中所建的动力学分析模型及计算方法对解决碳纳米管在黏弹性基底上的动力学问题准确有效。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

西藏地区小学教师离职意向调查

采用《教师离职意向量表》对230名西藏地区小学教师进行调查,了解其离职意向状况.结果表明:西藏地区小学教师离职意向现象较为严重,特别是在调校意向维度上均值大于3;男性教师、10年以下教龄的教师、县城和乡镇的教师在离职意向方面存在着显著差异;离职意向状况受性别、学校所在地及教龄等变量的影响.     

局部信息下的装备维修保障力量网络演化模型

针对现实中仅已知装备维修保障力量系统部分信息的状况,借鉴复杂网络思想,在对装备维修保障力量活动进行网络化抽象的基础上,提出了一种局部信息下的装备维修保障力量网络演化模型。同时,以一种参数可以灵活设置的动态演化模型代替真实的装备维修保障力量作为仿真对象进行研究分析,探讨了3种不同选择概率下随仿真时间变化的各项网络指标,这些指标值验证了装备维修保障力量网络的无标度特征以及小世界特征。     

针对应急救援路径规划的一种改进蚁群算法

针对不返回起始点、多个待救援点的应急救援路径规划问题,提出了一种应急救援路径规划的改进蚁群算法,设计了一种新的路径构造方法,为蚁群算法求解该类问题打下了基础。为提高收敛性,改进了信息素更新规则,构造了一种与蚁群算法有效结合的局部搜索算法,提高了算法快速寻优的能力。仿真结果表明:改进蚁群算法能够快速找到一条从救援中心到多个待救援点的优化路径,且收敛速度和最短路径较同类算法更优。     

应用局部约束二维稀疏表示识别SAR图像目标

在分析典型稀疏表示分类方法和局限性的基础上,提出了一种基于局部约束的二维稀疏表示方法,以有效解决SAR图像目标识别问题。该方法对SAR图像进行图像预处理,在兼顾图像相邻列(行)对应稀疏表示系数邻近性和样本间局部性的基础上,构建了局部约束目标函数,并通过解闭式解,实现稀疏表示系数的更新求解。利用美国实测MSTAR数据对算法进行了仿真验证,实验结果表明所提出的方法可实现SAR图像目标的有效识别,并对训练样本数目具有一定的鲁棒性。     

兵团大事记

正1950年1月21日,新疆军区发布大生产命令:全疆部队除留一部分兵力担任国防、进军西藏、肃匪平叛、维护社会治安外,全体军人一律参加生产劳动。人民解放军共有11万指战员投入到大生产运动。1950年6月24日,新疆军区各生产部队,克服重重困难,获得巨大成绩。至5月底,全军开垦、播种土地5.3万公顷,超过规     

一曲捍卫主权和领土的英雄战歌--西藏人民第二次抗英战争百年祭

19世纪末到20世纪初,英帝国主义对中国西藏发动了两次蓄谋已久的侵略战争。西藏人民进行了坚决的抵抗,表现出不怕帝国主义的洋枪大炮,不屈服于清廷不抵抗政策的高压,前仆后继,坚决抗击侵略军的英雄气慨。英雄战歌今犹在,沧海桑田一百年。西藏人民爱祖国爱西藏爱和平安定的生活,为维护祖国统一、民族团结和领土完整而英勇无畏、不屈不挠的斗争精神永久萦绕在西藏大地,西藏人民不畏强暴、誓死捍卫祖国主权、英勇抗争的英雄壮举也将永载史册。     

在昆木加徒步巡逻

昆木加,海拔4900多米,距中尼边境最近处只有4.5公里,是西藏军区最西端某边防团的一个哨所,年平均气温不到5℃,最低-37℃,方圆数十公里没有人烟,大雪封山期长达5个月。