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

本文根据“逻辑函数图”发现了在n变量的逻辑函数系中存在着一组所谓“独立函数”,研究了它的性质,提出了求找独立函数的方法。此外本文还研究了由独立函数组成整个逻辑函数系的方法。这一结果表明:独立函数与逻辑函数之间的关系类似于Rademacher函数与Walsh函数之间的关系。     

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

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

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

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

FDTD-Diakoptics时域模函数分析

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

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

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

航空发动机数据库逻辑结构的研究

成功地建立航空发动机数据库的关键,是根据数据模型分析,研究的结果进行数据库总体逻辑结构设计,经过分析,研究采用关系型数据理论,使航空发动机数据库具有合理的逻辑结构,航空发动机是一种在不断发展中的技术密集型的热动力机械产品,它不但涉及许多学科与技术领域,而且本身结构得杂,型式多样,在建立关系型航空发动机数据库时,研究描述航空发动机的各种数据间的关系模式与函数依赖关系,是建立数据模型的主要环节,数据库     

一种平均矩独立重要性指标及其拒绝抽样方法

在矩独立重要性分析过程中,重要性指标往往用于衡量结构系统输出不确定性向输入变量不确定性的逆向分配问题。假设输入参数的方差可以减缩一定比例因子,那么矩独立重要性指标可以定义为该缩减因子的函数。同时,假设输入参数的方差缩减因子为一随机变量,那么可以取矩独立重要性指标函数的均值定义一个新的平均矩独立重要性指标。由于使用Sobol方法计算平均矩独立重要性指标的模型需要循环抽样,计算量很高,故引入拒绝抽样（RS）方法,通过重复利用矩独立重要性分析中的一组输入输出样本,就可以额外计算得到矩独立指标函数和平均矩独立重要性指标,这大大节约了计算成本。本文所提指标函数及平均指标的有效性和RS方法的准确性、高效性通过数值和工程算例得以验证。      

信号处理技术在计量测试中的应用(连载之三)

一、概述大家知道,传统的信号理论是根据正弦-余弦函数系建立的。由此推出傅氏分析、傅氏变换在电子工程中占有十分重要的地位。近20年来,出现了一种更为一般的理论。它以其它正交函数代替正弦-余弦函数系。这里先解释一下什么是正交函数集。可     

新型的数控译码模块结构的研究与实现

为了能为用户快速开发出使用不同指令格式的数控系统译码模块,提出了一种新型的译码模块结构.将译码模块划分为输入数据子模块、内部数据接口子模块和功能函数子模块三个独立的子模块.在内部数据接口子模块中,把数控指令进行了形式化表达,实现了输入数据子模块与功能函数子模块的隔离,减弱了译码数据计算对于数控指令格式的依赖.分析了数控加工指令与特征的对应关系,利用基于特征的思想对数控加工指令进行了分类.利用这一分类将功能函数子模块的计算结果以数据集合的方式输出,促进了功能函数子模块的独立.结果表明这种结构中的各子模块具有良好的可重用性,提高了译码模块的开发效率.     

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

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

Ada软件测试结果分析与可视化（TRAV）

论述了Ａｄａ软件测试结果分析系统的功能，它的方案设计以及界面风格，此系统是集成化的Ａｄａ软件测试与分析系统中的主要工具之一，它不仅能够帮助用户分析与测试软件系统，还能对软件系统的理解和维护提供有力的支持。     

伺服反馈位移传感器的现状及发展趋势

反馈位移传感器是伺服机构系统的重要组成部分,在航天型号的研制中发挥着重要作用。对目前伺服机构系统配套反馈位移传感器的功能原理、特点及应用情况进行了介绍,并对其它类型的位移传感器的性能特点进行了分析,探讨了其用于航天伺服机构系统的可行性。同时,对伺服反馈位移传感器的发展趋势进行了展望。     

结构振动抑制的独立模态控制法

以悬臂梁结构为控制对象,对独立模态控制法进行了概念性研究。利用有限元法建立了包括压电晶体在内的闭环系统的模型;理论计算值、试验值均表明独立模态控制法能够提高结构的模态阻尼,而未受控制模态的阻尼基本不变,整个闭环系统稳定。     

带包边的对称正交铺层复合材料层板分层问题的解析——广义变分解法

对于对称正交铺层复合材料层板单向受拉分层问题,本文根据穆什海里什维利的求解各向同性平面问题与列赫尼兹基的求解各向异性平面问题的复变函数方法,得到了满足所有基本方程、裂纹表面边界条件与层间连续条件的应力场、位移场的本征展开式。对于包边与不包边这两种情况,本文利用分区广义变分原理代替裂纹表面以外的边界条件,确定奇异应力场的控制量。由于所有基本方程预先得以满足,在变分方程中只有线积分而无面积分。计算表明,本方法前期准备工作简单,计算节省机时,结果收敛迅速。     

LA-CDMA蜂窝移动通信系统的无线定位技术

讨论了蜂窝移动通信系统中无线定位技术在智能交通系统(ITS)中的应用.特别针对了在我国具有自主知识产权的第三代移动通信系统,LA-CDMA系统中附加无线定位功能的原理与方法,提出了在正向链路和反向链路中分别实现定位服务方法,并指出各自的优点和缺点,同时分析了在CDMA蜂窝网络中定位所遇到的各种问题.     

输入饱和情形下战斗机大机动动态面控制

针对战斗机大机动飞行输入饱和问题,提出了一种自适应神经网络动态面控制方法。采用径向基(RBF)神经网络逼近飞机系统的不确定性,利用双曲正切函数处理系统的输入饱和问题,根据饱和受限后的实际控制输入与期望控制输入之差定义新误差变量,结合该误差变量设计大机动飞行控制律,并构造鲁棒项抵消神经网络逼近误差、外部干扰和建模误差的影响,利用动态面控制技术避免对虚拟控制器的复杂求导并减小计算量。根据Lyapunov稳定性定理证明了闭环控制系统所有信号有界,且通过选择合适的设计参数能够使姿态角跟踪误差收敛到原点的任意小邻域内。通过仿真结果的分析,验证了所提方法具有较好的鲁棒性和稳定性。      

刚柔空间机器人基于神经网络的协调运动控制及柔性振动抑制

探讨了本体姿态受控的刚柔耦合空间机器人关节运动控制及柔性振动抑制问题.基于拉格朗日方法及奇异摄动理论, 导出了系统的奇异摄动模型. 为确保系统在未知惯性参数影响下本体姿态、关节协调运动的精确跟踪控制, 针对慢变子系统, 提出了一种基于RBF神经网络的补偿控制策略; 同时针对快变子系统,采用惯常的线性二次型最优控制器以实现系统柔性振动的主动抑制. 仿真结果表明, 所提控制方案可有效补偿未知系统惯性参数的影响, 使系统能够准确跟踪所期望的运动轨迹, 并较好地抑制系统的柔性振动.      

系统工程与质量功能展开的综合应用研究

提出系统工程与质量功能展开相结合的观点,以系统工程原理与过程为流程,以质量功能展开为框架,开发出一种规范化、程序化的确定要求、权衡要求并最终实现要求的方法.按照实际工作中的程序,自始至终体现着"用户至上"的宗旨,即用户需求最终决定着顶层决策机构的决策,决定着产品的研制与生产.将系统工程的原理与过程引入质量功能展开,使得决策者的决定有了科学的定量依据.重点介绍了多方案综合权衡的过程和方法.     

复杂可修系统效能中可信度矩阵的构造方法

复杂可修系统可信度建模对保证效能的定量分析至关重要.本文在考虑不同维修状况的基础上,着重对不同任务剖面内相应任务阶段中武器装备可信度进行了深入的定量分析和综合,进而构造出武器装备的可信度矩阵,用于武器装备的效能分析;文中以某地面车辆为例,进一步论证了武器装备可信度矩阵的工程含义,旨在为合理确定一大类武器装备的效能和可信度指标提供理论依据.