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

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

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

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

中国特色网络文化建设与大学生思想政治教育

随着网络技术的发展,网络文化也运用而生。网络文化的双面效应给高校的思想政治教育工作带来了新的挑战。本文在分析网络文化对大学生影响的基础上,提出构建中国特色的网络文化,推进大学生思想政治教育的思路和措施。     

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

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

一种基于数据仓库的通用OLAP数据接入构件的新型设计

为了解决异构数据源融合和数据仓库的迁移问题,结合数据仓库和构件技术的思想,提出了一种基于数据仓库的通用OLAP(online analysis process)数据接入构件的设计方案.该方案针对完成数据操作封装的数据接入构件进行了建模,并且针对这种模型设计了一个基于构件的OLAP通用数据接入原型系统,实现了OLAP界面展示工具和异构数据源的自由配对和无缝迁移.     

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

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

故障树分析法及其在系统可靠性分析中的应用

在现代装备设计中,可靠性已成为与性能同等重要的设计要求,并对装备的作战能力、生存力、部署机动性、维修人力和使用保障费用产生重要的影响。针对目前装备复杂系统可靠性研究,借鉴故障树分析法进行分析与运算,并介绍了故障树分析法相关理论与数学描述,最后通过实例对某型装备动力系统的可靠性进行了定量分析。结果表明,故障树分析法是一种能够较为准确分析装备系统可靠性的方法,是设计人员评估和改善其可靠性的有利工具。     

卫星导航技术专题讲座(三) 第6讲 组合导航技术

组合导航是导航技术发展的重要方向。随着科学技术的发展,出现了多种导航手段,而各种导航手段都有自己的优缺点,在很多应用中依赖单一手段无法达到某些应用需求。为了获得更好的导航性能,可以将各种导航手段有机组合起来,互相取长补短,使整个导航系统的性能优化。常用的组合方式有惯性导航与卫星导航的组合以及多卫星导航系统的组合。未来也将会有新的导航手段和组合方式出现,推动组合导航技术不断发展。     

强电磁脉冲对空中目标的毁伤效应计算和仿真

高强度的电磁脉冲能够干扰、毁伤敏感的电子设备,特别对空中的飞机、导弹构成了严重威胁.计算了辐射强电磁脉冲对空中目标的作战区域,其大小取决于目标所在高度、波束角和倾角.推导出作战区域各典型点处的功率密度计算公式,考虑电磁脉冲在大气传输中的衰减,最后对一定距离上的晶体混频器造成毁伤所需的辐射功率进行了仿真,研究结果可为探讨强电磁脉冲的毁伤效应提供理论依据.     

天波超视距雷达作战效能评估研究

为了充分考虑天波超视距雷达作战效能指标体系中各层次指标之间的聚合关系,更加贴切反映装备的真实效能,将"逻辑门"的思想应用到天波超视距雷达作战效能指标的聚合中,构建了基于"逻辑门"的天波超视距雷达作战效能评估指标层次体系,解决了指标聚合方式单一化的问题,实例表明该作战效能计算模型的正确性.