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

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

基于ACE Streams框架的舰船综合电子仿真系统设计

软件构件具有良好的功能封装性及接口规范性,在增强软件的可移植性和提高复用率等方面意义重大。在舰船综合电子仿真系统开发过程中,通过引入ACE Streams框架的技术,有效地降低了软件各层次间的耦合度,增强了数据的传输处理能力,固化了该系统的通信机制。     

突袭敌方指挥所兵力需求仿真

甲方以特种部队突袭乙方师(旅)指挥所的行动是未来渡海登岛作战中的重要内容,能大大加快战役进程.战前通过侦察已知对方实力,通过作战模拟的方法确定规定时间内完成任务所需派遣特种部队的规模有决定性意义.采用指数-Lanchester理论模拟作战过程,在考虑气象、士气因素对作战过程影响的基础上,以甲方在消灭乙方50%有生力量后作战结束,通过MATLAB7 0仿真工具得出在一定的作战想定条件下甲方需要投入兵力的综合战斗力指数.     

岗位评价技术在公安边防部队干部量化考评中的应用初探

岗位评价是人力资源管理中的重点技术之一,是解决组织内岗位间相对公平性的重要工具。采用工作要素评分法,对边防检查站中层领导岗位进行了岗位评价实例操作,确定了岗位能级系数,推导出绩效考评综合评价计算公式,为岗位评价技术在边防部队干部量化考评中的应用提供了参考依据。     

弹炮结合防空武器系统作战效能研究

提出了弹炮结合防空武器系统作战效能的评估方法;将弹炮结合防空武器系统看成由导弹和高炮2层防线构成的防空武器系统,把导弹系统按照有限等待时间的随机服务系统,高炮系统按照拒绝制随机服务系统综合研究;建立了基于排队论的弹炮结合防空武器系统作战效能的评估模型.     

基于高阶曲面拟合的边缘检测算法研究

图像的边缘检测是图像分析领域十分重要的基础,在工程应用中占有很重要的地位.提出了一种基于高阶曲面拟合的边缘检测算法.算法首先利用自适应滤波对图像进行了去噪处理,接着通过曲面拟合获取图像的梯度信息,最后用统计方法进行了阈值选取.实验证明该算法得到的边缘图像相对简单,边缘点较少,有利于识别,同时该检测算法也为后续的图像分析、图像理解打下了良好的基础.     

试验用弹的研究

分析20世纪80年代以来几次较大规模局部战争中,尤其是伊拉克战争中制导武器使用的特点,阐述在现役武器系统发射平台不变的情况下,为其开发设计制导弹丸的研制过程中,怎样合理的选用试验用弹,以达到生产出高效费比的制导武器。     

线性系统的鲁棒容错控制设计方法

考虑了线性故障系统的鲁棒容错控制问题。利用状态反馈特征结构配置参数化结果,提出了一种鲁棒容错控制设计方法。该方法将故障系统的鲁棒容错控制问题转化为含有约束的最小化问题。数值算例及其仿真结果验证了所设计方法的简单性和有效性。     

多轴向织物层合板层间剪切强度有限元分析与实验研究

用VIMP工艺制备了UD、0/45/-45、0/45/90/-45三种多轴向织物增强,四种厚度的GFRP层合板试样,采用短梁剪切实验考察了层间剪切强度和破坏模式。建立了GFRP层合板短梁剪切试样有限元模型,计算了内部层间剪应力分布。结合计算和实验结果分析表明层合板存在由宽度方向层间剪应力变化导致的自由边缘效应,含偏轴铺层的层合板更容易发生边缘开裂破坏。厚度相同时0/45/-45多轴向织物增强层合板的层间剪切强度最高。短梁剪切强度测试存在尺寸效应,随着厚度的增加,强度下降,样品波动系数增大。     

一种多核微处理器互连接口的设计与性能分析

并行是提高计算机性能最主要的方法,随着集成电路生产工艺的不断发展,除了在单个芯片内集成更多的处理器核外,通过集成高速互连网络接口构建多路并行系统一直是提高高性能计算机并行性的主要方式。提出了一种面向多核微处理器的互连接口的设计方案,基于精简的PCI-E总线协议,采用高速串行数据传输技术,支持Cache一致性报文和大块数据传输报文,能够用于实现4个处理器的直接互连。模拟结果表明,优化设计的互连接口每个接口能够实现64Gbps的双向最大有效带宽,最小传输延迟为120ns,能够较好平衡不同报文类型对带宽和传输延时的要求。