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

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

民兵防化分队现场练救援

着眼提高完成多样化军事任务的能力,针对化工企业产品可能发生易燃、腐蚀、泄漏的情况,3月11日,湖北省荆州市沙市区人武部组织民兵防化分队,模拟驻地沙隆达三氯化磷工段发     

民兵应急分队建设要立足实战

民兵应急分队是国防后备力量建设的重要组成部分,是实现"平时应急、战时应战"的最好抓手,必须解放思想、求真务实、创新机制,把科学发展观新要求、履行新使命和人民群众的新期待紧密结合起来,真正解决制约民兵应急分队建设的突出问题,扎实提高应急应战能力。     

做好应付突发事件中群众工作的几点思考

突发事件中的群众工作是军队群众工作的重要组织部分,做好突发事件中的群众工作,关系到人民群众的生命财产安全,关系到社会和和谐稳定,关系到国家和军队的形象。军分区、人武部作为地方党委的军事机关,担负着组织民兵参与处置突发事件的重要职责,如     

注重增强部队的软实力

随着现代科学技术发展和国家经济实力增强,部队武器装备、官兵素质结构、国防基础设施建设等军事硬实力有了很大提高,但面对非传统安全威胁日益上升,反恐维稳、抢险救灾、处置突发事件等非战争军事行动任务日益增多的现实,必须坚持文武兼备、软硬并举,充分挖掘和加强部队软实力,全面提高部队应对多种安全威胁、完成多样化军事任务的能力。     

部队国有资产管理问题与对策研究

近年来,随着国家和地方政府对部队经费投入的不断增长,部队国有资产在数量、质量以及结构上都有了很大的改善。如何建立健全部队国有资产的管理制度,保证部队国有资产的安全完整和有效使用,防止国有资产流失,是当前部队资产管理和使用人员必须思考的现实问题。     

蓝天探险 笑傲苍穹——空军某试飞大队配合运八飞机科研试飞纪实

某日,在城固柳林机场,随着一颗红色信号弹的升起,运八某重点型号飞机圆满完成科研鉴定试飞和培训带飞任务,这是空军某试飞大队蓝天探险、鹰击长空的又一丰硕成果,同时也标志着运八特种专业飞机又增加了一种新机型。中央军委副主席徐才厚及空军领导在亲临科研试飞现场检查指导工作时,称赞他们牢记“立志报效祖国、勇闯蓝天禁区”理念,攻克难关,     

程控滤波器制作与探讨

系统以FPGA器件和微处理器为核心构成,由程控放大器、参数可调滤波器、简易幅频特性测试仪和控制显示单元四部分组成。其中程控放大器增益为(0~60)dB,10 dB步进;在单片FPGA器件中集成了低通、高通和椭圆三种数字滤波器;滤波器截止频率和放大器放大倍数可通过4×4键盘设置并在液晶上显示;幅频特性测试仪可绘出所测系统的幅频特性曲线。整个系统设计方案先进,精度高,各项指标均满足设计要求。     

DSP系统中WatchDog与UART的FPGA实现

卫星话音通信设备广泛采用了DSP+FPGA的系统结构。为了保证话音通信的工作模式随业务变化作自适应切换,需要和UART监控信道随时交换信息;同时,为保障系统安全可靠工作,还需采用故障监控WatchDog电路。文中研究了WatchDog和UART的FPGA设计实现过程,区别于传统方案中使用专用芯片MAX6701、TL16C550分别实现WatchDog、UART功能,直接利用声码板上现成的FPGA芯片Lattice 4256V-10T100I实现上述两功能,并在话音处理系统中进行了硬件测试。结果表明:与传统方案相比,文中方案具有资源利用率高、体积轻便、功耗低、系统配置方便等优点。     

非战争军事行动组织指挥问题研究

非战争军事行动,是指在非战争状态下运用军事力量处置突发事件和各类危机的军事行动。从部队近期遂行非战争军事任务的实践看,组织指挥面临的新情况新问题越来越多,难度越来越大,地位作用越来越重要。