CAD系统中几何变动的建模与仿真研究

研究了三维CAD系统中几何变动的零件层建模和装配层仿真。首先，提出了变动几何约束概念和分类，研究了几何变动的定性和定量表示和建模；然后，研究了基于变动几何约束网络及其运动学模型的几何变动仿真方法，包括完全约束仿真方法和可装配性仿真方法；最后，给出了几何变动建模和仿真的总体框架和系统实现，并通过实例分析验证了方法的有效性。     

用还原论与整体论相结合的方法探索复杂性

科学研究方法论从古至今经历了一个超越还原论、发展整体论、实现还原论与整体论辩证统一的演化过程。实现还原论与整体论的辩证统一是有坚实的哲学依据与客观基础的；实现还原论与整体论的辩证统一，体现在认识过程中，就是从具体到抽象、再从抽象到具体的分析与综合交织互动的辩证思维途径。     

系统方法论研究的现状分析与展望

对目前系统方法论的研究进行分类：硬系统方法论、软系统方法论和批评性系统方法论，分析了不同系统方法的哲学思想、方法步骤及其局限性，探讨了未来系统方法论发展的形式。     

Delta算子描述的离散系统鲁棒滤波

研究基于Delta算子描述的线性不确定离散时间系统在稳态估计误差方差约束下的鲁棒滤波问题。目的是设计线性滤波器 ,使得闭环系统稳定 ,且闭环系统的稳态估计误差的方差满足预先给定的约束条件。基于Riccati方程或Riccati不等式方法 ,给出Delta算子描述的系统鲁棒滤波器的存在条件和显式表达式     

利用排队论探讨多层拦截巡航导弹的问题

以多层拦截巡航导弹为军事背景 ,建立了相应的排队论模型。通过此模型可以对多层拦截的效果进行评估 ,从而使整体拦截效果达到最优。此方法切实、有效 ,对研究多层拦截的兵力配置及拦截效率 ,提供了理论支持 ,具有指导意义。     

基于可编程逻辑器和VHDL语言的容错电路设计

论述了最新的可编程逻辑技术和硬件描述语言VHDL在数字电路系统的设计和仿真中的应用。这种方法的优点是可以用简单的软件语言代替复杂的电子电路硬件,针对传统的数字电路系统中故障检测电路和容错电路硬件设计较为复杂的问题进行了分析和简化设计。在此基础之上进行了数字系统的三通道/单通道筛选冗余容错电路的设计和仿真。     

一种基于CUDA的三维点云快速光顺算法

提出了一种基于CUDA的点云光顺算法。算法细分成点云空间划分,K邻近搜索,法矢估算以及光顺等四个独立的且并行程度非常高的步骤。设计了基于CUDA的点云空间平均单元格划分算法及数据结构,有效提升了点云的划分效率;设计了基于CUDA的空间K邻近搜索算法;改进了点云法矢估算方法,提出了高斯加权的法矢计算方法,有效改善了法矢估算效果;在光顺过程中加入了邻近点的面积影响因子,缓和了过光顺等不足。最后通过实验验证了算法的有效性。     

协调优势粗糙集方法及其在UCAV目标威胁估计中的应用

针对一般粗糙集方法不能由有限数据给出完整决策规则的问题, 定义了正协调、负协调和混合协调决策信息系统, 研究了正协调系统的优势关系决策规则获取方法, 在此基础上提出了负协调和混合协调系统的优势关系决策规则获取方法, 形成了协调决策信息系统的优势粗糙集方法, 即协调优势粗糙集方法. 将该方法应用到无人战斗机目标威胁估计中, 建立了无人战斗机目标威胁估计决策信息系统, 分析了目标属性的偏好性, 给出了决策算法, 对算法的复杂度进行了分析, 并与 Greco优势粗糙集方法进行了比较. 结果表明: 该方法简单可行, 得到的确定性决策规则可以涵盖目标条件属性的所有取值, 有效地解决了决策规则的不完备性.     

一类改进的HIV病理模型的全局稳定性

将治愈率引入经典的HIV病理模型,构建一个改进的HIV病理模型.证明了改进模型中无病平衡点的全局稳定性,给出染病平衡点全局稳定性的参数域,并进行了相关的数值模拟,进而发现当染病平衡点不稳定时模型存在周期解.研究结果表明:提高治愈率是有效控制HIV感染的重要途径.     

Impulsive controller design for nonlinear networked control systems with time delay and packet dropouts

The globally exponential stability of nonlinear impulsive networked control systems(NINCS) with time delay and packet dropouts is investigated.By applying Lyapunov function theory,sufficient conditions on the global exponential stability are derived by introducing a comparison system and estimating the corresponding Cauchy matrix.An impulsive controller is explicitly designed to achieve exponential stability and ensure state converge with a given decay rate for the system.The Lorenz oscillator system is presented as a numerical example to illustrate the theoretical results and effectiveness of the proposed controller design procedure.