CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

光纤应变传感器在大型可展开天线中的应用研究

随着外界应力的变化,光纤应变传感器中干涉光发生相应移动。利用此特性,通过对干涉光光程移动量(Δs)的解调,就可以测出应变的大小。实验结果与理论分析证明,该测试系统具有结构简单、测量范围大、稳定性好、灵敏度和信噪比高等特点,其测试精度达0.1με。可满足大型可展开天线在轨应变实时监测的要求,为大型可展开天线的应变监测提供了新方法。     

求解装箱问题的遗传算法

本文提出了两种求解装箱问题（ＢｉｎＰａｃｋｉｎｇ）的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的ＦＦＤ（ＦｉｒｓｔＦｉｔＤｅ－ｃｒｅａｓｉｎｇ）近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。     

用遥测数据预报导弹落点的误差分析

针对利用遥测数据进行导弹落点预测这一方法 ,分析了误差源 ,在此基础上建立并编写了干扰弹道模型 ,研究讨论了这种方法在进行落点预测时所造成的预测误差。计算结果表明 ,仅仅利用遥测数据进行导弹落点预测有很大的误差 ,必须结合外测手段才能做出较为准确的落点预测     

国外微波等离子推进器研究的新进展

回顾了国外微波等离子推进器（ＭＰＴ）的发展历史，简单介绍其基本工作原理与主要部件的设计、选材，论述理论与实验研究的新进展，给出推力、比冲与实验参数的范围。通过与电弧及电阻加热推进器的比较，得出结论：微波等离子推进器具有寿命长、效率和比冲高的优点，可用于地球同步通讯卫星的南北位置保持等。     

0.1 kW微波等离子体推力器的试验与数值研究

主要对0.1 kW微波等离子体推力器进行了地面试验和数值模拟研究。试验研究分析了影响推力器效率的因素;数值研究通过采用SIMPLE方法求解了N-S方程和采用FDTD方法求解了M axwell方程,分析了影响谐振腔内等离子体参数的因素。结果表明,微波功率、工质种类和质量流率是影响谐振腔效率的主要因素,而等离子体参数则主要受微波功率的影响。     

喉栓式变推力发动机性能研究

利用建立的等效喉部面积计算方法,确定了喉栓式变推力发动机中喉栓构型、喉栓位置、喉部面积之间的重要关系,比较了不同构型发动机推力调节性能的差异。针对喉栓介入后发动机内复杂波系、流动分离等非传统流动现象开展稳态数值模拟,预示了变推力过程中发动机的整体性能;并将计算的稳态平衡压强、推力与原理样机的试验数据进行了对比,结果较为一致,验证了变推力的可行性和数值模型的有效性。所得结论可为变推力固体火箭发动机的设计、试验及应用提供参考依据。     

微波等离子推力器真空实验研究

微波等离子推力器(MPT)具有寿命长、效率高和比冲高的特点，具有广泛的应用前景。通过对MPT真空实验系统，以及中(-lkW)、低(-l00W)功率MPT结构的介绍，重点论述了MPT在真空环境下的启动和稳定工作特性，并对实验结果进行了分析和讨论，给出了MPT初步性能参数。实验结果表明，在30W-lkW功率范围内，MPT真空环境下启动可靠，工作稳定；氦气(He)的比冲远高于氩气(Ar)的比冲。     

可溶性改性双马来酰亚胺树脂基体的研究

在双马来酰亚胺/二元胺/改性剂A预聚体系中加入环氧丙烯酸树脂,制备了一种可用作耐热复合材料基体的改性双马来酰亚胺树脂。用DSC研究了该树脂基体的反应特性,并制定出了合适的固化工艺参数:改性树脂基体经140℃/1 h 160℃/1 h 180℃/2 h初固化,于220℃/8 h后固化处理,其热变形温度(HDT)为245℃;该树脂与玻璃纤维制备的单向复合材料层压板的室温拉伸强度、弯曲强度和层间剪切强度分别为1 030 MPa、1 600 MPa和92．1 MPa;180℃下测得弯曲强度保持率为67．8%,层间剪切强度保持率为63．2%,用DMA法测得T_g为273℃。     

曲面不锈钢/微晶玻璃层状复合材料的设计制备

设计制备了与1Cr17和0Cr18Ni9不锈钢匹配的CaO-Al2O3-SiO2(CAS)系和BaO-Al2O3-SiO2(BAS)系微晶玻璃,研究了微晶玻璃的各项理化性能。利用流延法制备微晶玻璃生带,以此制备符合曲面不锈钢/微晶玻璃层状复合材料,并对复合材料相关性能进行测试。结果表明,所设计制备的玻璃经850℃、30min热处理后可形成线胀系数与对应不锈钢匹配的微晶玻璃,且具有适宜弯曲强度和较低介电常数、介质损耗;由此制备的曲面不锈钢/微晶玻璃层状复合材料具有良好的绝缘性能、结合强度和抗热冲击性能。