逻辑函数之谱的新运算法则

为了谱技术(方法)在数字电路综合中的应用,必须先求出逻辑函数系中的独立函数及其在Rademacher/Walsh变换域中的谱系数。本文根据独立函数的性质,提出了独立函数的谱系数在R/W变换域中的运算法则,这是对原有谱的运算法则的补充,从而使逻辑函数之谱的运算法则更加完整。     

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

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

三水平正交试验用表与三值逻辑

本文采用谱方法的基本思想,把多水平正交试验的主要数学工具——正交表,变换到多值逻辑域中,再利用多值逻辑的运算规则进行处理。这样,把一个极为复杂的数学问题转化成一个简单的多值组合逻辑设计的问题。本文给出了三水平正交用表的逻辑设计公式,同时亦揭示了三水平交互作用用表的逻辑特征,从而进一步促使正交试验方法在各领域中的推广和应用。     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

热式质量流量计

热式质量流量计是利用流体吸热至使温度变化来测量流量的传感器。特别适于小流量和高精度测量。当气体以一定速度流过管道时,加热的管子两端温度发生变化、利用温差和计算式可测知质量流量。在液体的场合,则使用致冷器冷却方式,再利用温差和计算式求出质量流量。     

卡诺图在多变量逻辑函数化简中的应用

卡诺图化简法是化简较复杂的逻辑函数最常用的方法之一,论文提出一种把4变量卡诺图应用于4变量以上的逻辑函数化简的一种方法。     

微机数控缠绕机的性能测试

介绍了测试微机数控缠绕机性能的方法及测试软件的编制，分析了在测试中必须解决的分频比圆整误差及总微段数圆整误差的产生机理，并提出了消除这些误差的方法。     

非凸二次约束下航天器姿态机动路径迭代规划方法

针对复杂约束下航天器姿态机动路径规划问题,首先描述和分析了航天器姿态机动过程中面临的动力学和运动学约束、有界约束、姿态指向约束,把姿态指向约束利用非凸二次型进行表述;其次从能量最优角度出发,将该约束机动问题归纳为非凸二次约束二次规划问题;然后引入线性松弛技术,将该问题转化成双线性规划问题,求出其中一个变量的凸包络和凹包络,降低求解复杂度,从而求出原问题的一个线性松弛。同时为了提高求解精度,提出一种基于评价函数的迭代规划算法,利用线性松弛求出的解作为初值,通过评价函数进行迭代规划,最终求出原问题的最优解。仿真结果表明该方法不仅可以满足复杂的姿态约束,得到全局姿态优化路径,而且能够降低能量消耗。     

SDF方法在目标图像处理中的应用

利用综合函数判断法（ＳＤＦ）对目标图像进行识别，能有效识别真目标的各种畸变图像及受过训练的假目标图像如干扰和背景等，并提出ＳＤＦ实时光学识别图像的可能。     

基于刚体转动四元数模型的航天器再定向方案

介绍了一种新的刚体转动的四元数模型。这些模型可以提高再定向控制的对边界条件的适应能力，在此基础上还介绍了这些模型的一些实际应用。     

Determination of parameters of attitude motion of a small communication satellite using the data of measurements of current of solar panels

A communication satellite (small spacecraft) injected into a geosynchronous orbit is considered. Flywheel engines are used to control the rotational spacecraft motion. The spacecraft after the emergency situation has passed into a state of uncontrolled rotation. In this case, no direct telemetric information about parameters of its rotational motion was accessible. As a result, the problem arose to determine the rotational satellite motion according to the available indirect information: current taken from the solar panels. Telemetric measurements of solar panel current obtained on the time interval of a few hours were simultaneously processed by the least squares method integrating the equations of rotational satellite motion. We present the results of processing 10 intervals of the measurement data allowing one to determine the real rotational spacecraft motion and to estimate the total angular momentum of flywheel engines.     

攻角变化对超音速进气道再起动特性的影响

以二维非定常可压缩流的N-S方程为控制方程,采用SST k-ω湍流模型对攻角变化引起的超音速进气道再起动过程进行了数值模拟,研究了攻角变化对超音速进气道再起动特性的影响.结果表明,当超音速进气道不起动时,可通过合理改变攻角实现进气道的再起动工作;超音速进气道的再起动攻角随攻角变化速率的增大近似呈线性增加;攻角变化速率较...     

多自由度微振动环境时域波形复现的数值仿真

为满足航天器微振动环境模拟的需要,开展了多自由度微振动时域波形复现控制方法研究。首先,介绍了基于时域波形复现的多自由度微振动环境模拟控制理论方法。其次,针对六自由度微振动激励系统,应用MATLAB软件建立了基于实测传递函数矩阵的多输入多输出微振动激励仿真系统,针对微振动时域波形复现闭环控制过程进行了算法编程,并给出了仿真的闭环控制流程图。最后,通过算例对多自由度微振动时域波形复现进行了数值仿真,以给定的白噪声为输入,模拟对实际存在的系统非线性、测量误差等影响因素的控制效果。仿真结果验证了多自由度微振动时域波形复现控制方法的可行性及有效性,所得结论可以为研究多自由度微振动时域波形复现控制系统提供参考。     

On solving the problems of optimization of trajectories of many-revolution orbit transfers of spacecraft

The problem of optimal control over many-revolution spacecraft orbit transfers between circular coplanar orbits of satellites is considered. The spacecraft flight is controlled by a thrust vector of a jet engine with restricted thrust (JERT). The mass expenditure is minimized at a limited time of flight. The optimal control problem is solved based on the maximum principle. The boundary value problem of the maximum principle is solved numerically using the shooting method. A modified computation scheme of the shooting method is suggested (multi-point shooting), as well as a method (correlated with the scheme) of choosing the initial approximation with the use of a solution to the optimization problem in the impulse formulation. The scheme and method allow one to construct many-revolution spacecraft orbit transfers.     

热变形对一种天线指向机构指向精度的影响分析

热变形对天线指向机构的指向精度具有重要影响,但利用传统的设计方法很难实现对指向精度的准确计算,尤其是热变形对指向精度影响的研究工作更是少见。为此建立了机构的三维实体热-结构耦合有限元分析模型,根据有限元分析结果并结合机构的运动链关系,构建了各关键运动副运动误差的计算方法;在此基础上实现了机构指向误差的计算,研究了运动副名义、最大以及最小配合间隙条件下,温度载荷对各关键运动副运动误差和指向精度的影响。研究结果表明,温度载荷对关键运动副的运动误差以及机构的指向精度具有重要影响,随着温度载荷偏离常温数值的增加,指向误差不断增大,名义配合间隙条件下的指向误差最大。     

多通道功率放大器中幅度和相位一致性影响分析

文章利用传输矩阵方法,建立了MPA分析模型,并通过引入幅度和相位随机性,结合各路放大器幅度和相位组合概率,对通道隔离度的影响进行了计算和分析。     

国际空间大学董事会主席访问航天科技集团公司

10月14日,国际空间大学董事会主席拉姆·哈迪姆访问中国航天科技集团公司,就集团公司承办国际空间大学2007年暑期进修项目的筹备情况与集团公司人力资源部部长陈学钏、副部长白燕强交换了意见。陈学钏部长向哈迪姆通报了集团公司筹备这次活动的工作进展情况。据陈部长介绍,中国     

Determination of an Estimation of Parameters of Motion of a Spacecraft on the Stage of Its Descent on the Basis of Integration of Inertial and Optoelectronic Navigation Systems

The problem of determining an estimation of current spacecraft motion parameters on the stage of its descent is solved on the basis of readings of an optoelectronic navigation system and additional information from the self-contained inertial navigation system at the most general assumptions on the nature of motion of the object and the statistical properties of the noise of the measuring devices.     

MBD技术在航天器研制中的应用探讨

概述了基于模型的定义(Model-based Definition,MBD)技术的研究和发展,分析了以MBD为载体的特征演化过程,作为航天器设计-制造一体化协同实现的基础。从MBD在航天器研制中的应用需求出发,构建了MBD协同平台框架,探讨了MBD模型成熟度管理的协同设计方法,提出了应用MBD研制模式所面临的技术、管理等问题,并给出了相应的建议。