基于Petri网的安全工作流管理系统建模

为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模。针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模。保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障。

集成维修信息系统

分析了现代空军维修过程及其技术信息支持的现状 ,提出以现有信息系统为基础的集成化维修信息系统 ( IMIS)的概念、系统目标、原理及其构成。IMIS通过集成、处理多个地面维修信息系统数据库 ,为外场维修技术人员提供技术信息支持。通过一个便携式计算机辅助支持系统 ,达到提高一线维修质量的目的。描述了集成化维修信息系统的概念。

基于事件调度的飞机供油多队多台系统仿真

使用加油管道为战斗机供油是当前机场最为常用的补给方式,研究如何增强补给效能对于快速提高保障力意义重大。从排队论的视角分析加油过程,通过建立多队列多服务台的形式模型,借助数字仿真手段,基于事件调度策略,开发了仿真程序并实际运行,为实现系统优化与系统决策提供了科学依据。

基于HLA和Agent的电子对抗仿真系统构建

综合运用基于HLA和Agent的建模仿真技术,设计开发分布式的仿真联邦,研究基于HLA的Ageng通信控制、本体模型在Agent知识水平通信中的应用以及提高HLA仿真效率途径等问题。研究结果表明,集成的HLA和Agent仿真环境能够支持复杂系统对抗的分析应用。

基于顶层本体的电子对抗领域本体构建方法

针对大型领域本体的可扩展问题,提出一种基于顶层本体的领域本体构建方法MBECO。通过最大范围地继承顶层本体框架,构建规范化的传感器领域、信息对抗领域、指挥控制领域等子领域本体模型,并将其嫁接入顶层本体,在顶层本体框架下进行子领域本体的集成,构建语义本体ECSON。实例表明,该方法将为系统级的分布式电子对抗仿真提供完善的战场空间本体。

人工智能的泛符号机制

针对 90年代以来人工智能研究逐步转入低潮的局面 ,提出了关于人工智能的泛符号机制的新思想、新理论 ,泛符号机制 =泛逻辑 +知识表示的超拓扑结构 +多维信息空间。

基于改进的Mean shift方法的图像特征提取

针对日益重要的图像信息和逐步发展的图像数据库技术,本文提出了一种基于改进的均值飘移算法和区域生长相结合的边缘检测方法提取图像的形状特征,并通过仿真试验证明其良好的有效性,为基于内容检索的图像检索提供了一个有效算法。

对研究生素质评价的一种新方法

如何对研究生的素质进行评价?这是每个大学都会遇到的问题,提出一种区间值的排序法,建立基于区间值模糊集的综合评判的数学模型,从而实现对研究生素质的合理评判.

提高干部选拔质量的四个路径

干部选拔作为整个干部工作的“入口”，坚持选拔的正确导向、明确选拔的标准条件、完善选拔的基本程序、创新选拔的方法手段，对于提高干部选用质量具有重要意义。

惯性导航状态数据分析与基于SVM的故障诊断模型构建

为更好地利用当前航空装备系统积累的大量飞行数据,从中挖掘信息来更有效地服务于空军装备可靠性为中心的维修保障工作,将数据分析技术应用到当前的装备故障诊断中,设计并实现了某型飞机惯性导航系统状态数据分析和故障诊断系统.分析了整个系统的数据处理过程,对数据自动判读处理、数据清理和修正进行了研究.设计了支持向量机模型,提出了通过对惯导状态信息数据进行回归预测,用预测值与实际值之间误差诊断故障;通过状态数据和与之对应的故障信息库,用支持向量机进行故障分类两种方法来实现故障的诊断和决策.最后对模型进行了验证和分析.