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

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

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

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

全球精密单点定位性能评估

随着中国北斗三号卫星导航系统（BDS-3）全面建成与开通，北斗卫星导航系统已步入了新发展阶段，基于BDS-3实现全方位、多层次、高精度应用已成为地学研究中一项基本任务。利用全球最新均匀分布的10个MGEX跟踪站，分别从24 h内接收到的卫星数、卫星位置精度因子（PDOP）、卫星数据解算完整率和双频非组合精密单点定位（PPP）静态/动态定位精度等方面系统深入地评估了BDS-3在全球范围内的可用性。结果表明，测站对卫星跟踪能力与配备的接收机类型和区域位置有强相关性，单BDS-3卫星在全球范围内具有较强的连续定位能力，当使用SEPT POLARX5和JAVAD TRE_3接收机的情况下，数据解算完整率可达100%。此外，水平方向和高程方向定位精度分别优于2 cm和3 cm，并且在联合使用BDS-2和BDS-3定位的条件下，可使得静态定位精度在东、北和高程方向进一步提升37.6%,25.3%和38.9%。     

浅谈触发器在数据库设计中的应用

探讨大型数据库管理系统(Sybase、Oracle)中触发器(Trigger)的强大功能，结合实例提出在开发数据管理系统过程中的几种典型应用。     

转子系统模态理论的特点和应用

本文从无阻尼系统出发,理论上分析了转子系统振动方程的特征根,特征向量所具有的特点。除讨论正交性外,还进行了模态空间完备性的分析,推出转子系统强迫振动响应的解析表达式和传递函数的表达式,为参数辨识提供了理论依据。     

柔性航天器自由飞行状态系统基频的估算方法

首先分别采用部件模态和系统模态建立柔性航天器在轨运行状态下的动力学方程；重点推导了航天器系统模态与其部件模态之间的模态恒等式，得到了由部件模态计算系统模态频率的一般公式；然后结合目前航天器的常见构型，对一般公式进行合理简化，得到了估算航天器系统基频的简化公式；最后给出了简化公式的工程应用算例。     

一种模糊关系代数与模糊关系演算

首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊操作（或连接词）和模糊集比较操作。此外，证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具，又可作为评价模糊数据库     

一类不确定切换互联大系统的分散保性能控制

研究了一类具有范数有界不确定性的切换互联大系统的分散状态反馈保性能控制问题。对于给定的二次型性能指标,基于完备性和凸组合方法导出了不确定切换互联大系统存在分散状态反馈保性能控制器的充分条件。进一步,利用线性矩阵不等式方法给出了分散状态反馈保性能控制器和切换策略的设计方法。数值仿真结果表明了所提设计方法的有效性。