R/W变换真值法求谱及其应用

在数字系统中,利用Walsh函数对组合逻辑电路进行综合时,必须求出该逻辑函数的谱系数。本文介绍一种更加简便的求谱系数的方法,并用这种方法求出了n≤4的逻辑函数系中独立函数的谱。     

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

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

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

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

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

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

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

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

多水平正交试验用表的逻辑设计

本文在文献的基础上，进一步讨论了ｔ≥４的正交试验用表，提出用多值逻辑的方法来设计多水平正交用表和交互表，给出了相应的逻辑设计公式，使一个复杂的数学问题变成简单的多值组合逻辑的设计问题。文中讨论了多水平正交用表的逻辑变换及其逻辑设计及多水平交互表的逻辑设计，导出了系列通用公式。这些公式简单，易于计算机化，有助于正交试验优选法的进一步推广应用。     

基于独立象元数计算的景象匹配精度分析方法

景象匹配精度与正确匹配概率是决定组合导航系统精度的重要指标。建立了新的求解图像独立象元数的方法,在进行景像匹配过程的同时由独立象元数、信噪比和相关函数统计值得到匹配精度及正确匹配概率。理论推导和仿真分析表明,本文的景象匹配精度分析方法合理,结果符合工程背景,文中的结论可以用于景象匹配辅助导航系统性能的精确分析。     

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

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

利用组合码进行纠错的检错重传方案

将一个码字重复J次得到的一个新码字是原码字的组合码。只要信道(假定为二进制对称信道)的比特差错率小于0.5,组合码的抗干扰能力就大于原码,且该能力随着J值的增大而增大。在检错重传通信系统中,利用多次重传得到的多个有错码字,按某种规则对它们进行组合译码可望译得正确码字。从而可提高信息利用率,减少重传次数。本方案对于某些信道特性不稳定的遥测遥控或其它通信系统具特殊意义。本文推导组合码的实用译码算法及译码失误率的估算公式,具体给出了使译码失误率小于给定值、利用组合码进行纠错的检错重传方案的算法框图。     

平稳时间序列的Hartley变换谱估计及其在遥测系统中的应用

本文给出遥测信号数据相关函数和功率谱的计算方法——快速Hartley变换(FHT),用之取代快速Fourier(FFT)算法。首先研讨了FHT法,继而讨论相关和功率谱估计、自/互功率谱估计并对两种算法的计算量作了对比。结果表明,随机数据处理软件系统对一系列伪噪声功率谱的测试结果在统计意义下与理论值一致。从而得出结论:用相关函数法对实型数据进行功率谱估计,采用FHT比采用FFT更有效。     

高超声速飞行器激波控制减阻技术

针对高超声速飞行器巨大的激波阻力,采用数值方法研究了由钝头体、气动杆和侧向喷流构成的组合模型的减阻性能。侧向喷流将弓形激波推离气动杆,组合模型的再附激波明显弱于传统气动杆模型,其阻力系数比气动杆模型低了33.52%,从而验证了本文组合模型优异的减阻效率。进行了组合模型的影响因素分析,随侧向喷流总压比和气动杆的长度的增加,再附激波强度减弱,减阻效率升高,但减阻效率的变化速率逐渐减小。随喷口位置向下游移动,再附激波逐渐增强,减阻效率降低,且减阻效率的变化速率逐渐增加。此外本文还研究了以上参数对流场结构及钝头体压力峰值位置的影响。     

用DYL电路实现四值Searle运算器

本文采用DYL电路的基本逻辑单元实现了四值Searle运算器,给出了四值Searle四种运算及的逻辑设计公式及逻辑网络,为四值Searle运算器的工程应用提供了可能。     

逻辑无环流系统中逻辑控制器的设计

本文在给出逻辑无环流系统基础上，主要介绍关于DLC设计的有关问题。逻辑控制器DLC是系统的关键部件，必须保证可靠工作。通过实际验收，说明了设计的有效性。     

飞行训练弹设计方案探讨

论述了研制半主动雷达寻的空空导弹训练弹的必要性，提出了训练弹设计方案的基本要求及关键所在，在分析导弹工作过程的基础上，指出必须提供具有逻辑功能的模拟信号和故障设置。通过举例对准备程序和点火程序逻辑功能电路的探讨提出了训练弹电路设计方案的基本构想。     

低空大动压级间分离碰撞边界预示方法

以低空大动压级间分离过程为研究对象,基于组合优化策略,研究多种偏差耦合干扰下分离碰撞危险包络优化分析方法。确定分离过程仿真优化的具体流程,并建立低空大干扰条件下级间分离过程动力学模型和仿真模型,最后通过算例对比分析校验模型的合理性与仿真方法的有效性。研究结果表明,通过组合优化策略可快速有效实现对随机偏差耦合干扰下低空大动压分离过程的碰撞危险包络进行定量预示,并为分离系统偏差量控制提供依据。     

异步非二进制计数器的一般设计方法

本文给出了几种异步非二进制计数器时序逻辑的一般设计方法，希望对学习和应用异步时序逻辑设计的人们有所帮助。     

BTT-90导弹比例导引规律研究

本文在给定七种不同初始条件、不同目标机动和选取快、慢两种时间常数,不同升力,不同导引比及制导逻辑设计的条件下,采用简化控制模型,研究了BTT-90导弹的比例导引规律,并对系统的性能进行了分析。结果表明,BTT-90导弹采用比例导引规律是完全可行的,设计的制导逻辑是正确的。模型简单,计算精度好,工程上容易接受。本文及其计算程序为BTT系统参数(导引比、控制器时间常数,弹体升力系数等)选择提供了依据。     

航天器质量特性测试信息系统设计与实现

文章通过对现有航天器质量特性测试工作流程的研究,对测试过程数据分析归纳,给出了信息系统的数据库模型,提出了系统架构设计思路,并在此基础上开发了原型系统,对设计思路进行验证。质量特性测试信息系统的建立将整个测试周期中的所有独立、分散的信息有机地统一起来。     

水文遥测系统的多媒体通信网络化体系结构

由于近年来多媒体通信网络技术的发展，水文自动测报系统还应从‘多媒体’和‘网络化’两个方面作深入的研究。首先讨论遥测系统的‘大环境’，即９０年代遥测系统的特点及发展趋势，然后分析和研究水文测报系统的层次划分，网络互连；在此基础上，依照“物理构成”和“逻辑构成”分开的原则，首次建立了多媒体通信网络化的水文测报系统的“逻辑构成”体系结构，即建立了多媒体通信网络化的水文测报系统的体系结构参考模式：ＨＤＡＳ－ＲＭ。最后，指出了要做的工作。     

系统框架建模逻辑思路探索（英文）

China's space technology has gradually improved from the early stages' introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.