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

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

一种双管双变压器结构的正-反激组合变换器的分析

提出了一种双管双变压器结构的正反激组合变换器。该变换器电路结构简单,控制方便。该双变压器结构减少了单个变压器的原边匝数,从而降低了原边的铜耗,同时也使得低造型设计成为可能。文中着重对两变压器匝比相等和不等两种情况进行了分析比较。在匝比不等情况下,正反激变压器功率分配可灵活设计。最后试验结果验证了理论分析。     

求解装箱问题的遗传算法

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

深空探测器推进系统

以技术较成效的月球探测器、火星探测器推进系统为重点，介绍了国外深空探测活动的情况。简述了深空探测对推进系统的需求、我国航天器液体推进技术的现状。认为我国的推进技术经一些适应性发展，即可满足深空探测的需求，并且设想了我国近期较为可行的深空探测器推进系统方案。     

基于偏差信息的星载计算机系统负载平衡算法的研究

相邻结点负载平衡算法具有计算简单、额外开销小的优点。但由于采用局部的观点平衡负载，限制了结点信息得到的范围，使得系统在某种情况下达不到全局平衡，本文提出了基于偏差信息的星载计算机系统负载平衡算法，它改变了结点传递的实际负载信息，使修改后的负载信息能体现出结点及其周边结点的负载形势，以此弥补了相邻结点负载平衡算法的不足，并将其应用在星载计算机系统上，首先，介绍了相邻结点负载平衡算法及其存在的不足；其次，描述了基于偏差信息的星载计算机系统负载平衡算法，最后，通过仿真实验，给出了这种算法同其它几种负载平衡算法的比较，并证明了它的正确性与可行性。     

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

在双马来酰亚胺/二元胺/改性剂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℃。     

论妇女平等就业权的法律保护

妇女平等就业权的保护是妇女劳动权益保护的一个重要方面,分析我国妇女平等就业权保护现状,提出如何加强对我国保障妇女平等就业权的法律保护,对保障妇女的劳动权益,推动我国社会和谐发展具有重要意义。     

民用飞机初始备件计划研究及系统软件实现

国内民用航空制造业如今正在加速发展，而相应的备件工程与波音、空客都还是有一定的差距。结合ARJ21飞机项目研究了民用飞机初始备件计划模型，并在此基础上开发了备件计划软件系统，完成了初始备件计划工作的计算机化。     

空调制冷故障考核仿真实训系统的设计与应用

以空调制冷故障考核仿真系统为例，介绍空调制冷仿真实验实训系统在国家级试点专业——供热通风与空调工程技术专业教学中的作用。该系统重点解决了空调制冷故障的考核仿真模拟，阐明了仿真技术对于高职高专学生培养的重要性和可行性。仿真实验实训技术在技能型人才培养中将有很大的发展空间。     

轻质耐高温隔热材料及成型技术

针对型号更高的热环境要求,开展新型轻质耐高温隔热材料研究。采用耐高温酚醛树脂作为基体树脂,添加纤维、功能性填料,通过预混料片材进行低压固化成型,对所制备的隔热材料试片进行密度、热性能以及力学性能等的测试。结果表明:该材料体系密度为0.6~0.9 g/cm^3,初始分解温度大于450℃,拉伸强度大于12MPa,200℃拉伸强度大于10 MPa,热导率低于0.25 W/(m·K),并可根据实际应用需求,实现对材料各方面性能的调控。所制备的隔热材料试片通过某型号风洞考核验证,采用该材料体系制备的大尺寸异形结构舱体通过力热联合试验考核,满足总体设计要求。