应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

基于模糊融合的目标检测算法研究

针对经典决策层融合检测过程中本地“硬”判决导致的信息损失问题 ,利用模糊子集理论 ,提出了一种基于模糊“软”判决的融合检测方法。理论分析与仿真实验表明 ,该方法优于传统的“K秩”方法 ,ROC雷达工作曲线接近理论最优曲线。     

自组装SiO2光子晶体线形阵列

采用溶剂蒸发技术在硅槽内对自制的SiO2微球进行组装,获得了具有显著光子带隙特征的SiO2光子晶体线形阵列,与平坦表面生长的光子晶体相比,微球在微槽内的自组装行为受到了明显的限制作用.     

面向多学科语义的运载火箭集成设计数据管理方法

针对当前集成设计系统中多学科数据管理存在的不足,在分析运载火箭集成设计工作流数据特点基础上,提出了面向多学科语义的统一数据描述方法和数据的动态集成与调度策略,简化了集成设计中数据的描述和访问机制,分离了软件开发员与多学科用户的职责权限.通过在某型运载火箭集成设计系统中的应用,表明该方法可将流程处理与数据处理分离,能有效...     

基于HMM的机动目标识别

利用弹载高重频脉冲多普勒体制雷达所能获得的目标运动特征(加速度、加速度的变化率),将目标的机动性能与隐Markov模型(HMM)有机地相结合,提出了一种基于隐Markov模型(HMM)的动目标跟踪识别方案,并分析了其在不同条件下的有限识别能力。     

用于动平衡测试的MDAC窄带跟踪滤波器

为了从强干扰噪声中提取出与转速同频的振动分量,且适应转速波动时的情形,利用互相关原理导出了跟踪滤波方法,并采用乘法数模转换器(MDAC)设计并实现了窄带跟踪滤波器。实验结果表明,其增益相对误差优于0.2%,相位绝对误差优于0.4°,当转速变化率不超过9000r/min2时,滤波器的输出能够跟踪转速的变化。该滤波器能较好地满足动平衡测试的需要。     

双向受载裂纹板的碳纤维复合材料补片的胶接修补分析

建立了碳纤维复合材料补片胶接修补双向受载裂纹板的3D有限元模型,分析了补片的单面胶接修补效果,探讨了补片材料、铺层顺序、补片长度及载荷比等对裂纹应力强度因子的影响规律。结果表明:复合材料补片的存在使裂纹板垂直裂纹方向载荷和平行裂纹板方向载荷发生耦合作用,从而影响补片修补效果。平行裂纹方向的压应力可降低裂纹尖端的应力集中因子,而拉应力可提高裂纹尖端的应力集中因子。     

高能离子在材料中输运的蒙特卡罗模拟

利用蒙特卡罗方法对高能离子在材料中的输运进行了计算机模拟研究 ,入射高能离子与靶材料的作用近似为核散射和电子作用两个独立的部分 ,核散射能量损失采用经典两体碰撞近似 ,通过对碰撞参数的随机抽样得到散射角 ,电子能量损失高能时采用Bethe-Bloch公式 ,低能时采用Lindhard -Scharff公式 ,中能时采用插值公式。最后对高能铁离子入射于铝、硅材料的输运进行了模拟计算 ,给出了模拟结果并进行了分析。     

适应低时延业务需求的分布式可穿戴单兵作战信息系统

针对云计算应用在单兵作战系统场景下业务处理时延高、服务质量无法保障的问题,提出一种基于可穿戴计算的分布式单兵作战信息系统。利用士兵身上的可穿戴智能设备构建本地计算层,在作战地点就近处理计算数据,提供给士兵本地的信息处理与融合能力,并采用广义扩散负载均衡算法平衡各设备负载,降低业务处理时延;同时利用分布式计算的容错能力增强系统的可靠性。仿真结果表明,基于可穿戴设备的分布式本地网络架构能有效地降低作战任务的处理时延,同时增强系统的可靠性。     

高压合成聚碳硅烷的沉淀与复配

研究了沉淀与复配两种调控高压合成聚碳硅烷(PCS)分子量及其分布的方法。研究表明,在PCS的良溶剂(如二甲苯)溶液中加入沉淀剂(如丙酮)比例超过临界点后,PCS中分子量越高的部分越先沉淀出来,从而降低了PCS的软化点、分子量和分散系数,PCS的高、中、低分子量的比例得到调节。复配是将不同分子量分布的PCS均匀地混合在一起,其分子量、软化点和高、中、低各部分的含量基本符合混合率的关系。因此,可以按照混合率来设计所需PCS的软化点、分子量及高、中、低分子含量。