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

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

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

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

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

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

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

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

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

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

OBSCA谱相关分析器的实现研究

文章研究了一比特谱相关算法（OBSCA）,简化了相关运算环节,进一步研究了其数字实现方法,并设计了一种OBSCA高效并行实现方案,大大提高了谱相关函数的计算效率。     

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

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

小数次积分的桥函数运算矩阵及其应用

本文将[3]中普通积分的桥函数运算矩阵推广到小数次积分的桥函数运算矩阵,为解决分布参数系统提供了有力的工具。作为例子,推导了与S~(1/2)和1/S~(1/2)相对应的小数次积分的桥函数运算矩阵,并且利用这些矩阵解决了几个分布参数问题。实例表明,使用小数次积分的桥函数运算矩阵比沃尔什、方块脉冲函数运算矩阵需要更少的计算量。     

海杂波FRFT谱的近似分形特性与目标检测

主要介绍了海杂波分数阶Fourier变换（FRFT）谱的近似分形特性及其在海杂波目标检测中的应用。根据FRFT的尺度变换性质,研究了自相似过程FRFT谱的近似分形特性,然后将近似分形分析方法引入到实测海杂波FRFT谱分析中,发现在特定变换阶数下得到的海杂波FRFT谱间存在近似分形特性,且目标回波可使近似分形特性描述参数——FRFT域Hurst指数发生变化。因此,可利用FRFT域Hurst指数设计恒虚警率（CFAR）检测方法。经X波段和C波段雷达实测数据验证,所提方法的检测性能明显优于经典的利用时域Hurst指数的目标检测方法。     

基于独立函数的通用逻辑模块

本文提出一种新型的通用逻辑模块(ULM),它以独立函数为核心(细胞),细胞之间以相同的方式——“异或”——相联结,可以生成全部2~(2n)个逻辑函数。它具有算法简单、使用灵活的特点。在伪随机信号的产生及自动控制中有着广阔的应用前景。     

基于信息量准则的AR模型相关高斯杂波模拟

研究了相关雷达杂波功率谱特性的AR模型及其模拟方法。使用了Levinson-Durbin算法和四种基于信息量准则的AR模型定阶准则:AIC、FPE、CAT和MDL,并与其它定阶方法进行了比较,最后给出了计算机模拟结果。     

知识系统决策规则的动态更新策略及等价矩阵计算

专家系统是航天领域中人工智能技术应用的重要形式。学习能力是人工智能、机器学习的本质特征之一。用属性及其取值表述对象的知识系统通常需要从大量样本中获取知识并以决策规则的形式加以表达。当样本集合发生变化时,则需对决策规则集进行动态更新。本文分析了增加和移除学习样本两种情况下调整决策规则的方法,提出了知识系统决策规则动态更新的策略和等价矩阵计算方法,通过算例进行了仿真和验证。结果表明:决策规则的动态更新方法和等价矩阵计算可以解决知识系统的动态学习问题,相较决策规则的全局获取运算,减少了计算量。     

基于遗传算法的空间自由漂浮机械臂系统运动规划

为了研究空间自由漂浮机械臂系统的运动规划问题,本文将其动力学模型转化为以关节角速度为控制输入变量的非线性控制系统状态方程,确定了以能耗最小为主要目标,同时满足一定约束条件的多种目标函数,提出了运用遗传算法求解最优控制变量的运动规划方法。同时,以机械臂从初始位形运动至指定终端位形的过程为仿真算例,对上述规划算法及其应用进行了分析和验证。仿真结果表明该算法有效可行,能够为机械臂系统的空间操作提供理论参考。     

同轴腔对称广义切比雪夫滤波器耦合系数的讨论

两谐振腔间的耦合系数是带通滤波器设计中的一个重要参数,它直接影响着滤波器的带宽。根据Tamio Kawaguchi对耦合系数的定义,谐振腔间的耦合系数有正值、负值和零。基于此,文章讨论了一种梳状滤波器耦合系数随耦合窗及输入输出抽头位置的变化情况。     

Radio wave propagation in the turbulent solar plasma using three satellites

The radio wave propagation in the solar-wind plasma was investigated before and after Mars-2, Mars-7 and Venera-10's superior conjunction. It was found that the moving turbulent solar-wind plasma produced the amplitude and frequency fluctuations and the spectral broadening of monochromatic radio waves. When the Sun-Earth-spacecraft angle decreases from 6° to (0.6) the bandwidth of spectral broadening increases from (0.3) Hz to 300 Hz. The region of 2.5–4° is specific since the bandwidth of spectral broadening is independent of Sun-Earth-spacecraft angle. The spectrum of frequency fluctuations could be represented by a power law with a spectral index of 0.7 ± 0.2. The temporal frequency spectra of the amplitude have two distinct regions. In the low-frequency region the spectral density is approximately constant. The high-frequency portion of the amplitude spectrum follows the power law with a spectral index of 2.8 ± 0.4. The turbulence characteristics of a solar-wind plasma are determined from the experimental data obtained. The three-dimensional wave-number spectrum of irregularities is found to be close to the Kolmogorov-Oboukhov spectrum.The solar-wind density fluctuations decline with heliocentric distance very steeply, but in the distance interval of 7 × 10⁶ – 12 × 10⁶ km, there is a region of enhanced turbulence which could be caused by shock waves.     

基于TMS320C6701的程序冗余加载设计方法

为满足航天产品高可靠性、高安全性的要求,用户对软件存储和加载方式也提出了更多的需求,如程序三区冗余备份、在轨重构等。TMS320C6701是一款高精度浮点数字信号处理芯片,其运算速度快、实时性高,近年来广泛应用于电机控制、轨道运算等宇航软件产品中。TMS320C6701内部程序区和数据区独立,设计师需要编写二次引导程序实现代码和数据的先后加载。根据TMS320C6701的加载特性,将二次引导与重构功能结合,设计了一个引导系统。引导系统对应用软件进行三取二判决,将判决结果加载至RAM中运行,并通过总线实现应用软件的更新。实验证明,该系统可以通过总线通信对应用软件重构升级,大大提高了软件的可靠性和可维护性,且缩短了单机研制周期和维护成本。     

空间目标光谱特征快速提取

本文利用完备正交函数系计算图象强度函数的数字投影特征序列，此投影特征既能反映目标的外形特点，又能反映目标的光谱特征，利用它不但能区分不同外形的空间目标，还能区分外形相同而光谱特性不同的真假目标。本文还介绍了空间目标光谱特征快速提取系统中需要解决的关键问题和方法。提出了一种空间目标边缘检测梯度算法和一种运动坐标系建立方法。用不同类型卫星图象做了大量实验，验证了所提方法的合理性和可行性。     

计算机测试系统发展综述

计算机测试系统通常作为设备或武器系统的一个不可缺少的组成部分,其测试性能是衡量设备或武器系统优劣的一项重要指标。其应为基于标准总线的、模块化的开放式体系结构且具备虚拟仪器特点。通过分析和比较VXI总线和PXI总线特点,给出了计算机测试系统的发展方向。归纳出了计算机测试系统应具备的9个方面功能。给出了设计和研制计算机测试系统应遵循的基本原则。