基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

基于虚拟仪器的航空电子设备检测系统设计

设计了一种基于虚拟仪器技术的航空电子设备自动化检测系统。详细介绍了系统软硬件的结构和功能。说明了通过程序、配置文件管理系统硬件,实现软件的仪器无关性的方法。并讨论了用数据库和文本文件定义被测设备的数学模型,从而实现检测系统与被测设备分离的方法。由于从检测系统和被测设备两方面实现了检测的通用性,对检测系统的升级换代和扩展检测新型机载设备具有重要意义。     

基于AHP和模糊理论的导弹快艇C3I系统效能评估

针对某型导弹快艇的C3I系统作战效能评估的需要,采用AHP法确定C3I系统作战能力指标及相应各指标的权重,然后运用模糊综合评判对该导弹快艇的C3I系统能力进行综合评估,为舰艇作战指挥人员了解系统作战效能和系统研制人员改进系统提供定量依据。     

"战训一致"的作战模拟训练系统研究

论文提出了一种拓展作战模拟训练系统应用功能,构建基于海军指挥信息系统的虚拟对抗平台,从而解决指挥信息系统"战训一致"问题的方法,并阐述了系统的构成、各个组成部分及功能,最后分析了该系统建成后的效益.     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

基于模糊AHP法的机载指控系统效能评估

指控系统是机载C3I系统的核心组成部份。为了合理而有效地评估机载指控系统效能,运用模糊AHP分析法对该分析法中的权值的模糊性进行了处理,建立了机载指控系统效能评估模型,并通过具体算例证明了此方法的有效性和可行性,为机载指控系统的效能评估提供了一种方法和途径。     

卫星导航系统仿真效能模糊评估的新算法*

根据系统效能模糊评价矩阵,在计算系统效能隶属度时要经过一系列的隶属度转换;但是,已有的隶属度转换算法都不能揭示"指标隶属度中哪部分对目标分类有用,哪部分无用";结果是指标隶属度中原本对目标分类不起作用的冗余数值也被用于计算目标隶属度.为此,从对目标分类角度设计一种滤波器,能识别指标隶属度中对目标分类不起作用的冗余数值,提取对目标分类起作用的有效值计算目标隶属度,由此建立实现隶属度转换的一般算法,并用于卫星导航系统效能评估.     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。     

基于DoDAF的舰载武器系统体系结构建模

针对越来越复杂的系统和越来越短的产品研制周期要求,探讨基于DoDAF(Department of Defence Architecture Framework)体系结构建模方法的特点与建模步骤,并以典型舰载武器系统为例进行建模及验证,所建模型说明该方法能够满足系统准确建模的要求,可对舰载武器系统研制过程的优化设计、变更影响分析和风险控制等方面提供技术支撑.     

基于HLA的海军通信指挥训练仿真系统软件集成研究

基于增强通信指挥训练仿真系统的通用性、灵活性、重用性和互操作性的考虑,提出了基于HLA构建海军通信指挥训练仿真系统的总体方案;详细介绍了联邦的组成、系统的功能模块和系统接口信息;阐述了系统实现过程中所使用的开发工具,以及整个海军通信指挥训练仿真系统的联邦运行流程.该系统可作为辅助设备用于人员训练、通信组织指挥研究和装备的性能评估.