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

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

姿控发动机脉冲工作的管路瞬变特性

采用有限差分格式的特征线方法 ,对某姿控推进系统发动机真实推进剂管路在脉冲工作情况下的瞬变特性进行了数值研究 ,对影响发动机多次脉冲启动的重要参数进行了定量计算 ,对比分析了试验结果与计算结果的一致性。说明该方法可方便地对包括许多管路、阀门和推力室的复杂系统进行动态性能分析 ,所得结果对于液体火箭发动机管路工程设计具有重要参考价值     

海洋环境中基于WVD的LFM信号检测方法

海洋环境中弱信号的谱与海杂波的谱相混叠 ,目标和背景的位置差异很小 ,经典的频域或空域处理对海杂波中弱信号的检测难以奏效。鉴于Wigner-Ville分布 (WVD)对线性调频信号 (LFM )具有时频聚集性这一特点 ,提出了一种海洋环境中基于WVD的LFM信号检测方法。利用雷达采集的真实海杂波数据 ,在不同信杂比的条件下 ,研究了该方法与经典频域法在信号检测中的差别。通过实验分析 ,与经典方法相比 ,该方法具有明显的优越性 ,且信杂比达到 -14 . 3dB时 ,其仍能很好地对信号进行检测。     

超声合成β-烷氧基萘

以β 萘酚和H(CH2)nBr(n=4、7、9)为原料,甲醇钠(CH3ONa)和甲醇为溶剂,在N2气保护下,用超声催化合成β 烷氧基萘,反应5h,收率可达94%。反应的适宜条件为:β 萘酚和H(CH2)nBr摩尔比为1∶1,甲醇钠的浓度为2 0mol/L(溶剂CH3OH),超声频率33±2kHz。     

RTI测试研究

运行支撑系统(RTI)作为应用高层体系结构(HLA)进行分布仿真的支撑系统,是实现HLA的核心。RTI的功能和性能直接关系到HLA仿真系统开发与应用的成败。首先阐述了RTI测试的内容和指标,接着结合例子详细研究了RTI测试的方法,最后对RTI测试研究进行了总结,为提高基于HLA的分布交互仿真系统的质量及可信度提供了基础。     

超声波扩频测距及其信道自适应均衡技术

在扩频通讯系统框架中,建立一种新颖的多阵元超声波测距定位系统。从测距系统的仿真结果来看,采用二进制相移键控(BPSK)直序信号数字相关解调技术和基于最小均方算法的超声波接收信道自适应均衡器,不仅可以克服本地载波(相干解调)相位偏移所带来的不利影响,而且可以抑制多径信道噪声干扰和接收信道增益、相位随机漂移对测量精度的影响,从而提高了超声波测距系统的信噪比和分辨率。此外,采用伪随机码扩频解扩方法,容易实现码分多址(只要给安装在大范围测量区域中多个传感器分配相应的伪随机码,就可以方便地辨认出各个区域传感器发出的信号),扩大超声波测距系统的测量范围。     

线性可调汽蚀文氏管研究

本文是“可调汽蚀文氏管”课题研究的阶段报告。为了提高变推力发动机的控制精度,要采用带有特殊型面调节锥的线性可调汽蚀文氏管。本文证明了这种调节锥的形状应为一旋转抛物面,并得到了实验验证,也给出了这种使流量与调节锥行程为线性关系的文氏管之设计方法。为了便于设计,对参数间的关系及有关的问题也进行了讨论。本文可供从事变推力液体火箭发动机和文氏管流量计的研究工作者参考。     

压力恢复系统引射器工作效率工程估算

在与高能化学激光器配套的引射式压力恢复系统中 ,引射器作为一个关键部件 ,其工作效率对于整套系统有很大影响。本文结合工程实际 ,对引射器工作效率的工程计算方法进行了较为深入的研究 ,提出了合理假设。计算采用守恒方程组 ,考虑了在热力学特性上 ,引射气体和被引射气体有较大差别的实际情况 ,按照工程设计的要求 ,对引射器的工作效率进行了计算。通过对多组参数的计算和分析 ,得出了有关参数对引射器工作效率的影响规律。计算结果表明 :引射气体和被引射气体的速度参数、总压和环境压力的调整对于引射器的工作效率有着较大的影响。     

(CH3)2SiCl2和N2H4 反应产物为先驱体制备Si/C/N纳米微粉

采用(CH3)2SiCl2和N2H4反应产物为先驱体,在H2、NH3气条件下,用化学气相裂解法制备出Si/C/N纳米复合微粉这一全新的合成体系.对温度、气体流量,H2/NH3的比例等合成工艺条件对微粉的性质、形貌、组成等的影响进行了较为系统的讨论,并从热力学和动力学的角度初步讨论了产物裂解机理及组成的变化形成机理.所合成的Si/C/N微粉为无定型球状颗粒,N的含量从16.49%～26.75%可调,粒径最小达40 nm.     

一种强度补偿反射式光纤位移传感器的研究

:提出一种等间距排列的三探头反射式光纤位移传感器 ,该传感器通过双路接收的方法来实现光强补偿。从理论上对该种传感器的补偿机理作了详细的分析 ,得出了位移特性调制函数的表达式 ,给出了仿真曲线。结果表明 ,这种光纤传感器可以有效地消除因光源光强波动、表面反射率以及光纤传输损耗的改变对输出特性的影响