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

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

求解装箱问题的遗传算法

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

铝合金定向凝固过程枝晶生长的相场法模拟

本文基于Wang等人提出的熵函数公式。在假定平衡时同液界面处固、液相的化学势相同而溶质浓度不同的基础上。推导了一个新的二元合金相场模型。并利用该相场模型与溶质场进行耦合计算，以Al-4．5％Cu合金为例模拟了二元台金等温凝固定向凝固的枝晶生长过程。研究了在正温度梯度情况下二元合金过冷熔体中的等轴枝品和柱状晶的生长过程及其溶质场的分布情况。     

一种基于信息融合的卫星自主天文导航新方法

直接敏感地平和利用星光折射间接敏感地平是两种基于天体敏感器的自主天文导航方法,其定位精度主要取决于地平的敏感精度。通常利用红外地平仪直接敏感地平的方法简单、可靠,但精度较低,而近年出现的利用星光折射间接敏感地平的方法精度高,但必须能观测到符合一定条件的折射星,根据上述两种方法的特点,提出了一种基于信息融合的直接敏感地平和利用星光折射间接敏感地平相结合的自主天文导航的新方法,计算机仿真结果表明该方法可以进一步提高系统的精度和可靠性。     

基于UKF的航天器最小参数姿态矩阵估计方法

钊对航天器的惯性-星光姿态确定系统，选取基于矢量观测的最小参数姿态矩阵估计方法为定姿算法。但是由于系统模型是非线性的，针对系统模型的非线性，将UKF（Unscented Kalman Filter）与最小参数姿态矩阵估计方法结合，设计了一种针对MEMS陀螺和CMOS APS星敏感器的UKF姿念估计器。仿真结果表明：在敏感器精度较差的情况下，该UKF、姿态估计器能够满足大多数航天器对姿态确定精度的要求。此外，UKF和EKF（Extended Kalman Filter）的仿真对比结果表明：UKF滤波器的收敛速度高于EKF滤波器，状态估计的精度也优于EKF滤波器，且数值稳定性好。     

磁悬浮控制力矩陀螺动框架效应的FXLMS自适应精确补偿控制方法仿真研究

在磁悬浮控制力矩陀螺（CMG）中，框架运动对磁悬浮转子支承系统的扰动可以采用角速率前馈加以补偿，但前馈系数固定时的补偿精度受磁轴承系统模型误差影响而显著下降。为了提高补偿精度，本文针对MIMO磁悬浮转子系统，提出一种基于FXLMS（filtered-X least mean square）算法的自适应前馈方法，采用梯度估计和最速下降策略推导前馈权值更新算法，并根据算法收敛性和收敛速度设计收敛因子和权初值。仿真结果表明，该方法收敛速度快，抗噪声能力强，相同模型误差情况下使转子的动框架位移降低到固定特性前馈时的20％，大幅度提高了动框架前馈补偿精度，有利于进一步提高磁悬浮CMG的力矩输出精度。     

防止Ⅱ型驾驶员诱发振荡技术的研究

许多严重的飞行事故都与由速率限制引起的Ⅱ型PIO有关。针对如何预防PIO，首先介绍了自适应杆增益和软件限制环节的设计原理。然后以某带速率限制的电传飞机为例，运用同一理论，分析采用自适应杆增益和软件限制环节来改善速率限制的不利影响。仿真结果表明，自适应杆增益环节和软件限制环节都能抑制住PIO的发生，但两者组合加入抑制效果更好，飞行品质也能达到满意的程度。     

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

在双马来酰亚胺/二元胺/改性剂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飞机项目研究了民用飞机初始备件计划模型，并在此基础上开发了备件计划软件系统，完成了初始备件计划工作的计算机化。