独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

平面反射镜框的数控精加工

文中详细介绍了平面反射镜框的结构特点和材料的机械加工特性以及在数控编程和精加工中采取的工艺措施和方法。     

桥函数遥测系统

本文将沃尔什函数与方块脉冲函数的构造方法相结合,导出了一种介于沃尔什函数和方块脉冲函数之间的三值函数——桥函数,可以证明,在一定条件下桥函数具有正交性,根据其正交条件可以从桥函数中导出许多完备或不完备的正交函数系。应用正交分割定理,本文提出了以桥函数为数学基础的遥测系统,并从理论上对其有效性和可行性进行了分析和论证。     

氙离子推力器束流分布特性研究

建立了离子推力器束流分布的高斯模型,以200mm氙离子推力器为例,在不同工作环境下对推力器束流分布进行了数值模拟,并通过试验测量了推力器引出切面不同位置(轴向z=50mm,z=100mm)下的径向束电流密度和束离子密度分布。通过对数值模拟结果与试验测量结果的比较,误差为17%,认为数值模拟结果与试验测量结果吻合较好。表明离子推力器引出束流呈轴对称分布,在推力器出口附近,束离子密度很大,越往下游,密度越小且束流出现发散。     

双向比对远距离时间同步技术

双向时间比对是实现远距离时间同步的一个重要途径，在卫星的时频系统中获得了广泛的应用，本文详细描述了其原理和关键技术，在精度分析的基础上，归纳了其典型特点。     

有分布质量系绳的卫星系统的动力学

以一组偏微分方程建立起的数学模型和采用距离速率控制算法来描述系统的受控运动。创建的递推算法用于计算系统的定常运动和称驻形。根据求解小偏差运动方程和通过边界条件求解特征根以判定驻形的稳定性。给出了模拟结果。     

关于双向弯曲变形构件危险截面的讨论

本文通过具体例题，阐述了双向弯曲变形构件中危险截面的判定方法，论证了合成弯矩大的截面不一定是危险截面的结论。     

惩罚函数法计算燃烧产物的平衡组分

本文根据平衡状态下系统自由能量小的特点，提出了利用惩罚函数计算燃烧产物的平衡组分的新方法，该方法不用求导及解其相应的矩阵，也不存在浓度出现负值而需进行的转换，并且，由于采用了外点法，初始点不必满足质量平衡方程，利用该方法，本文对算例进行了计，结果非常满意，说明该方法是有效的。     

二维有限元多尺度小波

本文利用有限元插值和多尺度分析理论构造出了二维有限元尺度函数及相应的有限元多尺度小波。构造出的尺度函数及小波函数具有许多良好的性质，如短支集、高阶消失矩、半正交性、正则性和对称性等。