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

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

利用矩阵翻转法求最佳H圈

利用矩阵翻转实现二边逐次修正法求最佳哈密尔顿圈(H圈).首先构造完备加权图,并用距离矩阵表示之,使所选初始圈的顶点为矩阵主对角线的上方元素对应的顶点;然后对距离矩阵加边框并进行若干次"翻转",直到矩阵不满足二边逐次修正法的修正原则,最后得到的矩阵主对角线的上方元素确定了最佳H圈的权重及路线.     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

构建网络中心战的网络评估模型

为使网络化的部队能在内在的网络性能和外在的决策行动性能之间建立联系,建立了一系列的定量模型,将内在的网络性能和观察-确定-决策-行动(Observe-Orient-Decide-Act:OODA)环之间直接相关,为评估战场上的信息和网络能力建立了合适的模型。该模型也为网络中心战行动的内在和外在关系建立形式化关联迈出了第一步。     

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

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

防空导弹武器系统混合编组及计算

防空导弹武器系统混编比的确定是现代防空作战兵力运用的关键问题之一。首次从防空火力配系的角度,提出了防空导弹武器系统混合编组的三种形式,即补充空域混编、加强火力混编和自卫掩护混编。采用定性与定量相结合的方法,进一步给出补充空域混编、加强火力混编比和混编火力单元前后配置间隔的计算模型,确定了混编比。该模型的建立,为防空兵力兵器部署定量分析提供了理论依据,对防空部署理论的发展具有积极作用。     

正畸力作用下微种植体支抗的应力分析

通过建立直径为1.4,1.6,1.8 mm,长度为6,8,10 mm,螺纹深度为0.2 mm,螺纹间距0.5 mm的Ti质微种植体支抗与颌骨有限元模型,研究在常用载荷1.96 N正畸力与微种植体长轴呈45°,60°和75°三种角度时的Ti质微种植体应力分布和大小。分析得出,应力主要集中在微种植体颈部1 mm内,在其颈部1.2 mm的范围内应力值的衰减都很明显,在颈部1.2 mm的范围内曲线较陡。在设定的加载条件下,不同直径的微种植体应力值呈规则的变化趋势,直径1.8 mm,45°时微种植体的各应力值极值最小。微种植体长度对应力的影响不大,位移变化均较小。     

军事应用设计活动与作用

随着军队指挥信息系统复杂程度的提高,传统军事需求分析方法已不能完全适应指挥信息系统设计和研发的需要.本文提出了军事应用设计概念,分析了军事应用设计的原则,探讨了军事应用设计的作用,构建了指挥信息系统研发的新模式.     

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

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

《当代战争和恐怖袭击活动的统一模式》评析

详细分析了<当代战争和恐怖袭击活动的统一模式>的研究内容、研究方法、研究过程;从科学性、理论借鉴价值、应用参考价值等三个方面对研究成果进行了客观的评价;论述了从中得到的启示.