一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF（ConjunctiveNormalForm）公式之间仅相差几个子句的一系列SAT（SatisfiabilityProblem）问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

CPM-LFM雷达通信一体化共享信号探测性能研究

为了在现有脉冲体制雷达上同时实现雷达探测和数据通信的功能,提出了基于连续相位调制-线性频率调制的雷达通信一体化共享信号.首先推导了一体化信号模糊函数并与线性调频信号进行对比,然后分析了信号的时延与多普勒分辨力,最后采用加窗反卷积方法实现脉压旁瓣抑制,得到了主副瓣比大于30 d B的脉压输出.理论分析和仿真结果表明,该信号在携带通信信息后雷达探测性能仍然满足探测需求,是一种适用于雷达通信一体化的信号类型.     

基于Givens-Hyperbolic 双旋转的多路语音信号卷积盲分离

针对语音信号的卷积混迭模型,通过对接收信号进行滑窗处理并重新排列,使得重构后的接收信号可表示为块独立的源信号与扩展的混迭矩阵的瞬时混迭模型。利用不同语音信号之间的近似独立和短时平稳特性,分析接收信号二阶相关矩阵的非正交联合块对角化结构。改进基于Givens和Hyperbolic旋转的瞬时混叠盲分离算法,提出Givens-Hyperbolic双旋转的联合块对角化算法(GH-JBD)。所提出的GH-JBD算法可以直接在时域估计传输信道的块本质相等矩阵,实现非正交联合块对角化,进而完成卷积混叠信号盲分离。该方法不需要进行预白化处理,避免了由于白化不彻底而引入的额外误差。仿真实验验证了该算法的有效性并就参数变化对分离信号的影响进行了分析。     

硅基MZI 结构光调制器静态消光比

硅基光调制器技术是当前硅基光子学技术领域较为活跃的一个分支。结合硅基光子器件的材料特性和常见横截面波导结构, 研究了硅基MZI 结构光调制器的静态消光比特性, 论述了光调制器发“1” 码时所加峰值电压、工作波长选择和移相器几何尺寸对静态消光比的影响。研究表明, 光调制器发“1” 码时所加峰值电压较小时, 消光比的变化量较大; 在其他参数相同的情况下, 工作波长的选择对光调制器的消光比有很大影响; 在调制器尺寸选择方面, 倾向于选择两臂较长, 但两臂长度差较小的结构, 因为此时的消光比较大, 同时对工作波长变化不敏感。     

新型非离子型水性环氧固化剂的合成及性能研究

为提高水性环氧涂料的固化性能和适用期,以自制聚酰胺和生物基戊二胺为起始原料,聚乙二醇二缩水甘油醚（ PEGGE）为亲水链段,双酚 A型环氧树脂（ E-51）为疏水链段,邻甲苯缩水甘油醚（ CGE）为封端剂制备了非离子型低温水性环氧固化剂,并与自制水性环氧乳液复配制得双组分水性环氧涂料。考察了环氧固化剂合成工艺参数及涂膜各项性能。结果表明：该固化剂含有较长的柔性脂肪烃碳链和聚醚链段能够提高涂膜的柔韧性;双酚 A型环氧树脂参与扩链反应能够解决与乳液不兼容等问题;苯环结构增加了涂膜的硬度;涂膜室温固化后性能优异,具有良好的物理机械性能、耐水性、耐酸碱性和耐盐雾性。     

水性双组分聚氨酯面漆流平性的研究

针对水性双组分聚氨酯面漆流平性的问题,从水性双组分聚氨酯涂料的成膜机理,流平剂的流平原理及作用机理出发,通过对鲜映性、长波、短波、水接触角等性能的表征,研究了流平剂种类以及聚酯多元醇对水性双组分聚氨酯面漆流平性的影响。结果表明：含硅类流平剂对涂膜的短波影响较大,含氟类流平剂对涂膜的长波影响较大,而丙烯酸类流平剂较为均衡,含硅类流平剂的鲜映性略优于其他 2类。另外,在体系中加入聚酯多元醇有助于涂膜的流平,与流平剂进行配套使用能达到较好的涂膜外观。     

Effects of different tempers on precipitation hardening of 6000 series aluminium alloys

By means of Vickers hardness,mechanical property and formability tests,the effects of different tempers on precipitation hardening of 6000 series aluminium alloys for automotive body sheets were investigated.The results indicate that the short-time pre-aging at 170℃makes for subsequent artificial aging precipitation hardening.With the increase of pre-aging time,the artificial aging hardenability increases.The aging hardening rate reaches the maximum when pre-aging time is up to 10 min,and then it decreases.The short-time pre-aging at 170℃benefits sheets to obtain lower strength under delivery condition and consequently to improve stamping formability of automotive body sheets.The effects of different tempers on precipitation hardening are much more obvious than those of the alloying elements.It is a good treatment schedule to perform pre-aging for 5 min at 170℃right after solution treatment.     

高速机床中直线进给系统控制策略综述

介绍了直线电动机在高速机床伺服进给中的应用，分析了直线电动机用于进给驱动的特点。着重概括了在不确定因素影响下，闭环伺服进给驱动系统抑制扰动、提高稳态精度、加快动态响应以及增强鲁棒性的控制策略。包括滑模变结构控制、鲁棒控制、智能控制、和自抗扰控制策略等。最后根据各控制策略的特点提出了相应的改进方法。     

面向高速切削的CAD模型与CAM编程

对复杂零件进行高速切削加工，往往先借助于CAD软件建立模型用于定义零件外型，然后通过CAM软件生成数控加工程序。CAD和CAM的质量与应用是影响高速切削加工质量的主要因素。深入分析并阐述了建立面向高速切削加工的CAD模型时需注意的事项，及如何合理地选用CAM系统提供的编程策略，以获得完美的走刀路径，生成优化的数控加工程序。并以连杆模具高速加工为例，对面向高速切削的CAD与CAM应用进行了介绍。     

过烧YAG陶瓷晶界的分析

采用固相反应法用不同的烧结速率在1850℃烧结合成过烧钇铝石榴石（YAG）陶瓷，YAG陶瓷晶界形貌随烧结速率的变化而不同。高纯的毋Al2O3和Y2O3原料粉体经高能球磨在1400℃空气中煅烧，生成主相为YAG相的多相粉体化合物。真空烧结YAG陶瓷时烧结速率800℃／h并在1850℃真空烧结4h会使陶瓷中晶粒长大不充分，晶粒与晶粒之间仍保留明显的面接触，陶瓷内部残存大量直径约1μm的气孔，尺寸与可见光波长接近，对透过率的影响大，陶瓷成半透明；在以100~C／h升至1850℃真空烧结4h的YAG多晶陶瓷半透明化，陶瓷晶粒粗大，晶界宽化且保留熔融态凝固，用TEM及EDS确认晶界处存在毋α-Al2O3和钙钛型YAP共晶相。