独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

关于三值逻辑函数系中的独立函数

为了解决谱技术在三值数字系统中的应用,关键之一是必须首先求出该逻辑函数系中的独立函数。为此,本文提出:《三值逻辑函数图》的排序方法;求找三值逻辑函数系中独立函数的方法以及如何用独立函数来构成该逻辑函数系中的全部逻辑函数。本文所得的结论将为三值逻辑函数的分类、谱技术的应用以及三值逻辑函数的模块设计提供理论基础。     

沃尔什函数与部分桥函数的关系

本文利用平移复制理论,阐述了沃尔什(Walsh)函数与har函数、ter函数和her函数之间的内在联系。由此证明了在沃尔什函数与哈尔函数之间存在着一系列正交函数集。并由沃尔什函数利用压缩移位推导出了这些正交函数集。     

桥函数及广义桥函数的研究进展

桥函数和广义桥函数均为三值函数系,都是将初始序列经复制方式和移位方式变换后而形成的.它们包括了一些常见的非正弦正交函数,如沃尔什函数和方波函数等.简要介绍了近10年来北京航空航天大学通信与电子系统博士点在非正弦正交函数方面研究的一些新进展,重点介绍了复制理论和广义复制方法,桥函数、广义桥函数的复制生成方法、性质及其应用等专题.      

双曲函数系的插值Newton形式及逼近阶

本文讨论了双曲函数系的Lagrange插值的Newton差商公式,得到了与多项式函数系和三角函数系类似的结果,即得到了类似于 曲函数系的公式。并得到了双曲函数系S_m对f(x)的最佳逼近dist(f;S_m)的表达式及大致地估计。     

彩色图象的逻辑分解与象差计算

本文简述了图象的物理意义与数学模型,重点讨论了彩色图黎的逻辑分解与象差计算等问题。实例表明,它们在一定的范围内,可应用“彩色编码”和“逻辑减法”等运算来解决。本文系布尔逻辑方法在图象处理、物景分析和模式识别等技术领域中直接应用的初步探讨。     

FDTD-Diakoptics时域模函数分析

时域模函数的选取是使用Diakoptics技术分析微波结构的一个重要步骤.二维贝塞尔函数系作为Diakoptics技术应用于开放式微波结构中的时域模函数是适宜的.将一维傅里叶-贝塞尔函数展开定理扩展到二维,对二维傅里叶-贝塞尔函数系的完备正交性进行了分析证明,从而阐述了贝塞尔函数系作为时域模函数的有效性.最后比较采用二维傅立叶－贝塞尔函数系做模函数的FDTD-Diakoptics计算结果与传统FDTD计算结果,二者吻合良好.      

关于大系统可靠性的逻辑描述与解法

本文提出了一种应用集合概念设计计算大系统可靠度的方法。用这种方法可以处理具有表决器和相关部件的系统可靠度计算的问题。系统的结构特征采用逻辑联词“与”、“或”描述。而系统状态和部件状态之间的关系采用集合映射的概念描述。本文给出了算法的要点和一个算例。算例的源程序是用FORTRANⅣ编写的,并在FELIX C—256计算机上调试通过。     

数字光纤接收机输入光脉冲波形的函数逼近

数字光纤接收机的灵敏度计算与其输入光脉冲波形直接相关。本文从工程应用角度考虑,研究了数字光纤接收机输入光脉冲的函数逼近问题,导出了用高斯函数近似接收机实际输入光脉冲波形时,发送光脉冲的占空比、码速率和光纤带宽之间应满足的关系,并给出了高斯波形参数的取值范围。     

二维连续型随机变量函数的概率密度

本文利用分布函数与概率密度之间的关系,以曲线积分为工具,导出随机变量Z=g(X,Y)的概率密度的一般公式。然后对概率统计中的一些重要分布给予比较简单的证明。     

函数型正则广义典型相关分析

基于正则广义典型相关分析理论框架,提出一类对于多元函数型数据的充分降维方法。通过积分形式,将平方可积空间中的函数型数据投影至实空间中的一系列数值变量,在整体相关性度量最大的目标准则下,同时确定这些函数型投影方向,实现多元函数型数据向传统数值变量转化的特征信息提取及快速降维过程。在一般基函数系统表示下,推导得到最优投影权重函数的迭代计算方法,该方法对于基函数系统的选取具有独立性。大量仿真结果表明,在有限样本情况下,所提方法能够有效探测多元函数型数据之间的相关关系,且对投影权重函数的估计具有一致性。关于帕金森综合征患者步态的实例数据研究表明,由函数型数据投影得到的数值特征信息具有可解释性,所提方法具有一定实用价值。     

用于静压测量的超声波方法

本文研究了一种使用外接测量仪器来测量流体压力的方法,找到了在容器的部分内壁中传播的声脉冲幅值与流体压力之间,为1到650bar 范围的线性关系,并给出了这一函数关系的简单解释。     

基于Lyapunov函数的小天体软着陆障碍规避控制方法

针对姿轨耦合型探测器控制方法存在工程实现难、计算效率低的问题,提出一种基于Lyapunov函数的小天体自主软着陆障碍规避控制方法。首先,建立了小天体着陆过程姿态和轨道的动力学模型;其次,考虑探测器当前的势能与障碍地形对探测器的威胁选取Lyapunov函数,并根据Lyapunov稳定性原理推导了推力器的开关控制逻辑,能够实现到达目标着陆点的同时进行障碍规避,且该过程不需事先设计参考模型。同时,该控制逻辑具有解析形式,能够实现实时障碍规避。仿真结果表明,该方法能够有效实现规避障碍且满足姿态稳定的要求。     

桥函数理论的研究进展

叙述了从研究沃尔什函数的复制理论和方块脉冲函数移位方法出发，推出桥函数的构造过程，桥函数把工程中常用的沃尔什函数和方块脉冲函数这两种似乎不相关的函数联系了起来，本文详细地给出了四种桥函数的构造过程和它们的波形。     

先复制后移位桥函数的性质

进一步研究了先复制后移位桥函数的性质,例如递推关系式、数学表达式、乘积特性及正交条件。同时,还给出了几组完备的正交函数系。     

B—样条函数的一种快速递推法(续)

本文是“B—样条函数的一种快速递推法”一文的续篇。它提出了递推方法的具体计算格式及程序设计,阐明了此法具有计算简便、递推快速和更为直观的特点,为B—样条方法的推广和应用提供了方便。     

Weibull分布更新函数的指数近似算法

针对Weibull分布的更新函数较难确定的问题,研究了在平均寿命相等情况下指数分布与Weibull分布之间的贴近性.在此基础上,提出利用指数分布的更新函数模型计算Weibull分布的更新函数,能够比较方便有效地得到近似解.通过实例计算,分别比较了指数方法(直接利用指数分布的更新函数)、线性加权模型以及几何加权模型等三种方法的精度.结果表明:当时间较短时,线性加权和几何加权模型比指数方法精确度有所提高;当时间较长时,几何加权模型的精度较高.利用该结论能够为工程应用提供方便.     

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

基于脉冲响应相关函数的模态辨识算法

利用不同时刻系统测量噪声具有独立同分布的特点,对脉冲响应进行相关处理,可以提高信噪比。为解决传统的基于脉冲响应的模态辨识算法的辨识精度问题,用某点脉冲响应同参考点响应之间的相关函数代替该点的脉冲响应以形成基于脉冲响应相关函数的模态辨识算法,并从理论上证明脉冲响应相关函数算法的辨识精度优于传统的脉冲响应算法。通过对一个四自由度系统模态频率和阻尼比的仿真辨识,验证了脉冲响应相关函数辨识算法的有效性。     

簇飞行网络雷达几何构型对模糊函数的影响

提出了集分离航天器与网络雷达为一体的簇飞行网络雷达概念.通过引入双基地雷达模糊函数,给出簇飞行网络雷达模糊函数定义和计算步骤,研究了雷达几何构型和簇飞行雷达之间相对有界基线对模糊函数的影响.数值计算结果表明:与单基地雷达模糊函数相比,网络雷达模糊函数主瓣宽度明显变窄,簇飞行模式下可变基线对雷达模糊函数的影响不大;雷达模糊函数应主要考虑目标飞行速度和接收距离变化的影响.最后,给出了簇飞行网络雷达模糊函数的一种上界.