同城收费系统中数据传输的安全性分析

介绍了同城收费系统数据的保密性、完整性及可认证性等安全传输技术,并对之进行了安全性分析。     

二元箱样条曲面的凸性和单调性条件

当方向集为三方向剖分网和四方向剖分网时 ,研究二元箱样条曲面控制点与对应箱样条曲面保形间的关系 ,给出了二元三方向和四方向箱样条曲面在任意方向上单调的充分条件以及凸的Hessian矩阵判别条件。     

飞行传感器的故障检测与识别

 飞行传感器是飞行控制和导航系统中的薄弱环节,它们的故障率一般是比较高的。为了提高系统的可靠性,对传感器的故障应能实时地检测和识别,并重构传感器所测量的信号(修正)。为此,在系统中常采用传感器的硬件余度和解析余度。本文介绍了飞行传感器硬件余度和解析余度的原理以及几种实用的余度方案,对解析余度中的统计决策原理和故障检测的鲁棒性问题也作了简单介绍。     

科曼奇直升机主自动飞控系统的设计和驾驶评估

本文介绍了PAH－66科曼奇侦察／攻击直升机自动飞控系统（AFCS）的设计和驾驶评估。1991年11月至1992年2月，采用动态模拟器通过预定的驾驶接受性试验，对RAH－6科曼奇控制规律进行评估。本文还介绍了设计要求、控制律说明以及依据ADS－33收集的操纵品质数据。     

航空金属材料相对可切削性系数的涵义与应用

介绍了金属材料相对可切削性系数（Ｋｒ）的涵义及其在航空材料切削加工领域中的应用；列举了变形高温合金、铸造高温合金、钛合金的Ｋｒ值及不同Ｋｒ值材料的车削、钻削、铰削、铣削加工数据。     

基于改进UKF的组合导航系统航向角估计方法研究

为满足运载体长航时、高精度的导航需求,解决系统可观测性弱导致的航向角易发散的问题,提出了一种基于MEMS非线性组合导航系统的用于提高航向角估计精度的算法。通过采用单天线GNSS航向角作为量测量进行航向约束,解决了MEMS-SINS/GNSS姿态估计中航向角可观测性弱、估计值收敛差的问题;通过转弯判断规则和常规无迹卡尔曼滤波改进算法,抑制了偏流角对系统估计精度的影响。仿真结果表明,该算法有效地抑制了航向角估计精度差的问题,水平姿态精度达到0.01°,航向角精度达到0.1°,提高了系统的导航精度及可靠性。     

功能性聚酰亚胺薄膜的研制

通过原位聚合法，将纳米粒子Al2O3引入聚酰亚胺基体中，制备了具有不同Al2O3含量的Al2O3／PI杂化薄膜。研究结果表明：当Al2O3的质量分数小于10％时，杂化薄膜的拉伸强度和电击穿强度与纯薄膜相当；当Al2O3的质量分数为10％时，杂化薄膜的电老化寿命是纯薄膜的3．4倍，失重5％的温度比纯薄膜提高了42％；随着Al2O3质量分数的增加,杂化薄膜的线膨胀系数呈下降趋势。     

一类n阶非线性常微分方程的非线性两点边值问题解的存在性

本文利用文献[1]的结果及文献[2]的方法讨论了n阶非线性常微分方程f^(n)=f(t,y,y′，…，y(^n-1)满足非线性边界条件的边值问题解的存在性。其中di=a或di=b,i=0,1，…，n－3，且di取值各自独立。a∈R，b∈R，a＜b。这包含n－2个不同类型的边界条件。使文献[1]、[2]中的结果成为本文特例。     

多媒体技术应用于英语教学的和谐性问题

本认为，多媒体技术正越来越深刻地影响着英语教学，它能创造虚拟的情境，提高课堂教学的密度，提供个别化的学习环境，从而提高英语教学的趣味性和教学效率。本还认为，在应用多媒体技术在英语教学中时，应注意保持教学诸要素之间的和谐关系，即教师、学生、教材、方法相互之间的和谐，正确的把握多媒体使用的度，同时，要加强理论的学习，才能最大限度地发挥多媒体技术的作用。     

一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性

我们在文[1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文[1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。