基于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系统能力进行综合评估,为舰艇作战指挥人员了解系统作战效能和系统研制人员改进系统提供定量依据。     

GPS干扰与抗干扰技术发展现状分析

首先从GPS信号特点入手分析了GPS信号的易干扰性,介绍了GPS干扰技术的基本原理及美国和俄罗斯目前常用的GPS干扰技术;然后详细介绍了目前常用的GPS抗干扰技术和提高GPS抗干扰技术的综合措施。     

一种基于LVQ的语音线谱对参数量化方法

在现有格型矢量量化(LVQ)方法的基础上,通过对线谱对(LSP)参数进行精度预处理,使其数值更接近于格点从而减少量化失真。仿真实现了改进方法,并采用MELP算法中4级MSVQ方法作为对比。得到的结果表明,较之MSVQ,LVQ量化LSP参数的精度提升了约90%的同时,合成语音的谱失真(SD)降低了约2/3,客观评估得分和近似MOS分略有提高。     

ARM内核体系架构及ARMv6上的Linux开发与优化

介绍了各款ARM内核体系架构的特性和增强技术,讨论了在ARMv6上的Linux开发与优化。从6款ARM内核体系架构的特性分析入手,引入了对ARM内核体系架构重要增强技术的介绍,在分析ARMv6体系架构功能特性的基础之上,分别讨论了Linux内核和工具链等所做的优化与改进。     

基于二值细化指纹图像细节点提取算法的研究

指纹细节点的提取对于指纹识别系统的性能至关重要,文中在二值细化指纹图像的细节点提取算法基础上,对细节点提取范围进行了算法改进,用C++语言实现了一种限制提取范围的算法和一种去除伪细节点的算法。实验表明,改进算法提取细节点的速度和精度都有了明显改进,相对原始的未加限制和去除伪细节点的算法,文中算法耗时减少了约2/3,细节点有效性提升了约3/4。     

捷联式惯导系统动态误差特性研究

根据载体运动状态下捷联惯性导航系统 (SINS)的误差方程时变的特点 ,推导出捷联惯性导航系统动态误差模型 ,并对其在几种动态环境下的误差特性进行了仿真研究 ,结果表明 :与静态误差特性相比 ,捷联式惯导系统的动态误差特性发生了较大的变化。     

YHCAPP系统工艺信息提取和工序图生成技术研究

YHCAPP系统是面向中小企业的工具型CAPP系统,如何从CAD图形提取工艺信息和生成工序图是该类系统的一个难点。文中给出了一种基于表达式求值的方法,成功解决了该难题,实际应用表明该方法稳定可靠。该方法也为一般的工具型CAPP系统提供了新思路。