防危核一致性保障技术的研究

通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。     

基于多级关键度的高可信安全关键系统

为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构.为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则.为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论.最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望.     

分布式容错系统——一种高可靠性控制系统体系结构

本文从提高工业控制系统可靠性的思想出发,在分析、比较了目前已有的多种容错措施后,提出了一种高可靠性、通用型的控制系统体系结构。它以计算机的设备冗余为基础,采用GPIB集散式外总线松耦合结构,以软件容错为主要方法,结合BITBUS分布式网络环境的优势构成三冗余分布式容错体系。它具备较强的故障检测、隔离功能和自动切换、自动恢复能力,且可维护性好、性能价格比高,适用于各种规模、可靠性要求高的应用场合。通过具体的应用实例,详细介绍了系统构成、容错原理、技术关键和技术措施。     

战术任务综合控制系统分布式实时仿真系统设计

研究了战术任务综合控制系统分布式计算机实时仿真系统的总体方案和实现方法，在分析了综合控制系统结构和战术任务过程各阶段特点的基础上，提出了基于计算机局域网的分布式计算机实时仿真系统方案，然后根据实际条件建立了简化的分布式计算机实时仿真系统，并对空一空导弹模态的战术任务过程进行了全面的仿真，结果表明了该系统的有效性，同时验证了所采用的综合控制系统设计方法的有效性。本仿真系统的开发为进一步研究系统综合控制技术和战术任务飞行管理技术提供一个良好基础平台，具有实际的重要意义。     

多自由度机械臂系统的虚拟样机开发

结合典型产品医用心血管造影系统,利用虚拟样机技术,对多自由度机械臂系统的运动防碰进行了仿真分析和预测,确定了PLC运动控制的算法。以上工作首先基于对系统运动防碰存在问题的分析,并借助距离检测方法,在Pro/mechanic软件系统上进行实现。随后,为了解决控制系统和机械系统动态特性匹配问题,基于ADAMS/MatLab进行了机械系统和控制系统的集成仿真,对整个系统的运行工况的动态特性进行了分析,从而,从工程实现的角度解决了某类医疗装备的运动防碰问题,为产品的定型提供了准确而有效的方案。     

CAN总线技术在模拟器信号采集中的应用

针对大型军机座舱仿真控制的复杂性,提出并设计了模拟器座舱分布式数据采集控制系统。整套系统的设计采用CAN总线技术,将模拟器座舱内部信号根据种类和位置分布分成多个独立单元,每个单元作为一个总线节点。该套系统硬件设计采用了模块化设计,软件设计采用了COM组件等技术,使系统具有可靠性好、通用性强等特点,它的应用可提高模拟器信号采集的通用性和标准化程度。     

分布式计算机控制系统的通信结构

本文分析了分布式计算机控制系统的分层结构的特点,提出了用通信子网来考虑分布系统的通信结构的概念,介绍了一种可用于大型分布式计算机系统的通信结构。     

红外空空导弹制导控制系统动态测试技术研究

提出了一种先进的红外空空导弹制导控制系统动态测试系统的组成、工作原理及测试方法,对于导弹动态测试过程中所采用的实时分布式仿真技术、SBS高速光纤反射内存技术以及仿真软件设计技术等关键技术内容进行了剖析,对于动态测试技术所能达到的导弹控制部件实物/数字实时半实物多重组合动态仿真技术进行了阐述。系统使用情况表明,该测试环境及动态测试技术可以明显提高导弹制导控制系统的研制手段及测试水平。     

作战模拟多分辨率模型系评估方法研究

多分辨率建模(MRM)技术是大型交互分布式作战模拟训练系统的关键技术之一,提出了对采用MRM方法建立的多分辨率模型系(MF)的量化评估方法。首先提出了MF的概念,分析了它所要达到的目标;接着提出了评估MF的两个主要指标:MF分辨度、MF一致度,建立了评估模型;最后,引进了四个概念来计算MF分辨度,引进了三个概念来计算MF一致度。     

多平台分布式协同作战下基于MPC-MAS的指挥控制模型设计

在瞬息万变的网络化体系作战环境中,如何准确、及时地提取有用信息并作出决策,有效应对实际作战中作战效益低、资源损耗大、作战时间长等问题一直是研究的热点之一。本文以多平台协同完成对来袭目标的拦截任务为背景,提出了一种多平台分布式协同作战下基于模型预测控制(model prediction control, MPC)和多智能体系统(multi-agent system, MAS)的指挥控制系统模型。通过引入分布式多平台协同的模型概念,使各平台之间实现完全信息共享,并且采用全局分布-局部集中的决策结构,设计了分布式指挥控制的协同模型框架,选定蒙特卡罗方法进行仿真实验对比。实验结果证明了该模型具有收敛性好、误差低、损失值低等优点,可以高效地解决分布式环境下协同作战的指挥控制模型构建问题。     

Bandwidth adaption for kernel particle filter

A novel particle filter bandwidth adaption for kernel particle filter (BAKPF) is proposed. Selection of the kernel bandwidth is a critical issue in kernel density estimation (KDE). The plug-in method is adopted to get the global fixed bandwidth by optimizing the asymptotic mean integrated squared error (AMISE) firstly. Then, particle-driven bandwidth selection is invoked in the KDE. To get a more effective allocation of the particles, the KDE with adap- tive bandwidth in the BAKPF is used to approximate the posterior probability density function (PDF) by moving particles toward the posterior. A closed-form expression of the true distribution is given. The simulation results show that the proposed BAKPF performs better than the standard particle filter (PF), unscented particle filter (UPF) and the kernel particle filter (KPF) both in efficiency and estimation precision.     

核Fisher判别分析多参数自动优化算法

针对智能优化算法原理复杂,相关参数设置困难的缺点,尝试利用拟牛顿法对核Fisher判别分析多个核参数进行自动优化。根据经验风险最小准则构建目标函数。为保证目标函数连续且可导,通过连续的sigmoid函数将离散的二进制输出转化为连续的概率输出。利用正交表选取初始核参数点。实验结果表明,所提算法具有同遗传算法相近的分类性能,且收敛速度快,原理简单,可以很好地应用于核Fisher判别分析多个核参数优化。     

粗糙核k-means聚类算法

通过研究核聚类算法,以及粗糙集,提出了一个新的用于聚类分析的粗糙核聚类方法。通过mercer核映射把输入空间中的样本映射到Hilbert空间,使样本空间中没有显现的特征在特征空间中突现出来,在这种样本差异加大的基础上,结合粗糙集的思想,把样本分别划到相应聚类中心的上、下近似中,上、下近似中的样本按照一定的比例来共同决定新的聚类中心。这样不但聚类精度大大提高,而且算法收敛速度也较快。仿真实验的结果表明该算法的可行性和有效性。     

系统分析中结构建模的核心变换法

核心变换法是作者提出的“核心要素法”体系中的基本方法之一，是结构建模中消除未知元素的一种非常有效的新方法，这种方法从初始矩阵开始，利用传递性经过一系列的“核心变换”，消除未知关系从而得到可达矩阵表示的结构模型。     

基于热核特征的SAR图像地物识别方法

采用了一种空间敏感度特征包(spatially sensitive bags of feature, SS BOF)来实现合成孔径雷达（synthetic aperture radar,SAR）图像的地物识别。首先采用推广的核模糊C 均值方法分割SAR图像,提取SAR图像目标图形;采用Harris角点检测子提取角点,接着对目标图形进行Delaunay三角剖分;采用cotangent weight方法对三角剖分图赋值,进而求得离散化Laplace Beltrami算子的特征值、特征向量,并计算SS BOF,进而对地物目标进行识别,其识别方法采用比L1相似准则效果更好的相关系数法;最后与热核迹等热核不变量特征以及Hu不变矩特征进行对比。实验表明：空间敏感度热核特征的识别率高于热核不变量的识别率,并与经典的Hu不变矩特征比较,识别率有所提高。     

基于核主元聚类的股票分类

为了正确区分不同的股票类别, 降低分类的复杂度,论文结合核主元分析和K均值聚类构造核主元聚类方法对上市公司股票进行了分类处理.在核主元聚类方法中, 首先对样本数据进行预处理,然后利用核主元分析以非线性方式降低数据的维数,再利用K均值聚类方法对降维后数据进行聚类,并最终得到不同的股票分类情况.选择了沪深股市中20支上市公司股票来进行实证分析.实证结果表明：核主元聚类方法取得了较好的分类结果,为上市公司股票分类和评估提供了很好的依据, 具有较好的适用性.     

CONSISTENCY FOR KERNEL ESTIMATE OF CONDITIONAL FUNCTION

ＣＯＮＳＩＳＴＥＮＣＹＦＯＲＫＥＲＮＥＬＥＳＴＩＭＡＴＥＯＦＣＯＮＤＩＴＩＯＮＡＬＦＵＮＣＴＩＯＮ￥ＨＵＳｈｕｈｅ（ＤｅｐａｒｔｍｅｎｔＯｆＭａｔｈｅｍｏｔｉｃｓ，ＡｎｈｕｉＵｎｉｖｅｒｓｉｔｙ，Ｈｅｆｅｉ２３００３９，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：...     

基于激光数据配准的移动机器人自定位

提出了一种基于激光数据配准的移动机器人自定位方法。该方法避免了对激光数据进行特征提取以及点对点的对应,仅以预处理后激光数据的核密度估计作为定位依据,以核相关方法作为比较相邻两组激光数据相似性的度量准则,并在此基础上建立以旋转平移向量为参数的自定位目标函数。最后采用BFGS拟牛顿方法对目标函数进行寻优,最终实现移动机器人的自定位。对180度激光数据的仿真实验结果证明了该方法的有效性。