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

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

永磁无刷直流电机驱动器并联系统环流的抑制

驱动器并联方式能有效扩大驱动容量,但该方式容易引入环流。为了抑制环流,分析了两个独立电源供电的两台驱动器并联结构系统,阐述了环流的特性,并提出了基于环流反馈的控制结构。这种控制结构通过环流的反馈,只需要控制调整其中一台驱动器,就可减小两台驱动器输出电压的差异,实现环流抑制。仿真结果表明:这种控制结构降低了控制的复杂性,能够抑制环流,实现独立电源供电的无刷直流电机驱动器并联。     

便携式绳轨提升装置的轮盘-绳索摩擦提升力模型

为提高便携式绳轨提升装置的实用性,对基于摩擦的该类装置的提升能力展开研究。利用控制变量法分别研究末端拉力、包角与轮盘-绳索相对尺寸对两者之间摩擦提升力的影响,结果表明该提升力均随三种因素的增加而增加但趋势变缓;轮盘-绳索之间的静摩擦系数随绳索末端拉力与包角的增加而减小并趋于稳定,随轮盘-绳索相对尺寸的增加而增加并收敛。论证了包角与末端拉力对摩擦提升力的影响相互等效,发现了轮盘-绳索摩擦的尺寸效应,构建了以上因素共同作用下的轮盘-绳索摩擦提升力模型。该模型是对欧拉公式的扬弃,深化了对轮盘-绳索摩擦规律的认识,对便携式绳轨提升装置的小型化、轻量化设计具有重要意义。     

精准防范军营“三个不正当”行为

通过梳理近年来上级通报部队的问题案件发现,从随意交友到激情犯罪、从贪图享乐到赌博借贷,类型日益多元、性质更趋严重,给相关单位建设发展带来巨大冲击。深究问题案件背后的原因,大多与官兵不正当消费、不正当交往、不正当娱乐相关联,因此如何清醒认识、精准预防＂三个不正当＂行为,对确保部队纯洁巩固和安全稳定具有重要意义。     

对扎实做好个别人员工作的几点思考

重视做好个别人工作是我军预防工作的优良传统。从部队预防工作的经验教训看,个别人员虽是极少数,但却是发生违纪违法问题、刑事案件的大多数;把个别人员工作做细、做实、做到位了,就能最大限度地减少发生案件问题的隐患,有效维护部队高度集中统一和安全稳定。笔者结合工作实践感到,要想及时发现、准确掌握和正确处理个别人员的问题,应着力在四个方面下功夫求实效。     

结合全局与局部信息的主动轮廓分割模型

针对传统的基于区域的主动轮廓模型在分割灰度不均匀图像和噪声图像存在效果不佳的问题,提出结合全局项与局部项的主动轮廓分割模型。全局项由CV(Chan-Vese)模型的保真项构成,局部项的构建考虑局部区域信息的同时引入反映图像灰度特性的局部熵信息。依据图像灰度的特点,选择合理的全局项和局部项参数,并加入正则项保证曲线在演化过程中保持平滑,保障分割结果的可靠性。通过变分水平集方法最小化能量泛函,依据梯度下降流迭代更新水平集,完成曲线演化。采用模拟图像和实际图像进行实验分析,结果表明,所提出的结合全局项和局部项的主动轮廓模型可以高效地分割噪声严重以及灰度分布不均匀的图像。     

某型弹用管控高温通讯异常分析

某型弹用管控处理装置在环境应力筛选试验高温阶段出现通讯异常现象,对故障产生的原因进行了查找和分析,最终得出是由于器件选用时考虑不周导致信号在高温出现时序判读错误,由此及时解决了问题并从中获得宝贵经验和启示。     

着眼非战争军事行动需要 加强国防后备力量建设

2008年的抗击雨雪冰冻灾害、维护社会稳定和汶川抗震救灾等实践证明,国防后备力量具有要素齐全、功能多样、组合灵活、专通结合、军民互补、全域布局、条块贯通的优势,可以适应非战争军事行动地域广泛、力量使用多样、任务环境复杂、涉及经济社会多方面的特点,能够快速高效地发挥作用,以弥补常备力量的不足.     

扎实推进省军区部队建设安全发展的思考

胡锦涛主席着眼新世纪新阶段军队建设全局,就做好部队安全工作作了一系列重要指示,鲜明提出了安全发展的重要理念,强调安全发展是科学发展的应有之义,是实现又好又快发展的内在要求,必须把安全工作作为关系全局的大事来抓,确保部队安全稳定.落实胡主席的重要指示,扎实推进省军区部队建设安全发展,我有以下几点思考.     

深化认识统筹安排加强领导扎实搞好民兵报废弹药销毁处理工作

搞好民兵报废弹药销毁处理工作,任务艰巨,责任重大.我们一定要牢固树立和落实安全发展理念,以强烈的事业心责任感,履职尽责,勤奋工作,狠抓落实,稳妥推进民兵报废弹药销毁处理工作的安全发展.