加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

大规模代谢网络分解的生物信息学研究

随着大规模分子相互作用数据的不断涌现,生物学网络方面的研究正日益得到重视.代谢网络处于生物体的功能执行阶段,其结构组成方式不仅反映了生物体的功能构成,也直接影响代谢工程中的途径分析和研究.作为代谢网络研究的重要环节,实现网络的合理分解不仅对于基因组范围内分子网络的结构和功能研究具有重要意义,也是代谢工程的途径分析和优化得以顺利进行的前提之一.在回顾代谢网络宏观结构和拓扑特征研究成果的基础上,通过对现有分解方法的深入分析,指出缺乏合理且有针对性的模型评估准则是目前网络分解研究中亟待解决的问题之一.今后的研究趋势在于如何整合更多的信息和发展更先进的分析方法,建立更合理的模型,并进一步拓展网络分解的应用范围.     

恶劣天气下的多扇区动态容量评估方法

针对当前容量评估技术考虑不够全面的问题,提出了多扇区动态容量评估方法。通过分析扇区容量影响因素,加入扇区耦合性的概念,建立了多扇区管制员工作负荷模型;通过量化空域单元阻塞程度,得到恶劣天气下的多扇区可用率;最后选取典型多扇区空域进行算例仿真,评估空域系统的动态容量,多扇区在恶劣天气下的动态容量为17架次/15 min,评估结果验证了该方法的有效性和灵活性。     

一种基于混合算法的火力规划方法

针对战场上火力单元与目标数量较多的具有多约束的火力规划问题,提出一种采用贪心策略和改进遗传算法的混合算法求解不同复杂程度的火力规划方法。贪心策略用于优化初始种群以加快遗传算法收敛及在短时间内求解较复杂的火力规划问题。采用改进编码方式、杂交与变异算子的遗传算法处理约束条件,提高搜索效率,加快算法运行速度。仿真实验结果表明,混合算法可以在平衡求解时间与结果满意度的情况下求解不同复杂程度的火力规划问题。     

基于约束的交互式电气线路故障诊断

给出了器件的约束表示,实现了电气线路的约束网络化.分析了电气线路约束网络的特点,找出了故障树的剪节方法,提出了基于约束故障诊断的方法和步骤.     

论军办企业所有者对经营者的激励与约束

在市场经济条件下,军办企业的健康发展,客观上要求所有者激励和约束经营者。要实现这一目标,必须组建出资者产权主体,界定军办企业的产权,把激励与约束机制建立在经营者的行为目标之上,让经营者成为企业风险的承担者,努力改变出资者的信息劣势。     

多指手爪操作工件的作用力优化

多指手爪操作工件时,手指对工件作用力的计算十分重要。本文钭手指与工件的接触抽象为有摩擦的点接触,详细讨论了被操作工件的动力学问题,给出了考虑摩擦的不等式约束条件,构造了合适的目标函数,对手指作用力及操作中引起的工件内力进行优化。文中的算例检验证了本文的方法。     

后勤规范化管理要选准突破口

抓后勤规范化管理要注重研究管理的特点和规律,并依此选准工作的突破口。我认为,要抓好后勤规范化管理,就要在四个方面狠下功夫。     

对实施后勤规范化管理的几点思考

实施后勤规范化管理是当前和今后一个时期后勤工作的重心。如何深刻理解和把握后勤规范化管理的内在规律,理清抓落实的工作思路,是各级后勤需要认真研究解决的课题。