基于攻击树的网络安全事件发生概率评估

为了提高网络安全风险概率预测的准确性,采用攻击树模型作为网络安全事件的描述模型,改进了攻击结点的定义,提出了网络安全事件发生概率的推算方法和攻击路径的分析方法,利用贝叶斯网络方法量化攻击树模型中原子事件结点的发生概率。实例表明该方法科学、客观、有效,为制订安全防护策略提供有力支持。     

虚拟现实技术在制作树木中应用

介绍虚拟现实技术(VR)定义、特征及其国内外的研究状况，随着虚拟现实技术在不同领域的发展，在虚拟现实技术应用中主要是运用3d Studio MAX软件，用Scatter(离散)的方法和十字交叉法来制作树。利用现有的计算机资源，高效地生成虚拟动画。用它制作出来的树十分逼真，对于在建筑规划、建筑房屋销售方面、小区环境的设计以及绿化和小区的规划都有重要的作用。     

战争设计成果的问题树表述法

借鉴故障树技术,构建战争设计工程专家研讨结果即战争设计成果的问题树表述模型;采用问题树描述问题、子问题间的逻辑关系,建立一种自上而下,由战争设计顶层问题到可以明确判定能否解决的原子问题的演绎分析方法;进一步对问题树的数学描述以及定性分析进行探讨;最后给出一个比较切合实际的案例。     

人工智能非单调推理系统的研究

传统的逻辑推理是有局限性的,而非单调推理则具有普遍的意义。非单调推理的TMS存在着许多问题,如:没有处理模糊信息的能力、单状态、热衷于避免矛盾以及效率低等等。这些问题在非单调推理系统FATMS里能得到很好的解决。     

杂波环境下多目标跟踪数据关联的快速算法

数据关联是实现杂波环境下多目标跟踪的关键问题,目前公认较好的方法是联合概率数据关联（ＪＰＤＡ）,但是其计算和存储量很大,故在实际中寻求一种快速或近似的算法是十分必要的。本文提供一组有效快速算法,并在我们有关课题中得到初步验证。     

随机多假设跟踪的最大似然法

在多目标多量测环境中,量测-航迹分配的知识一般不适于跟踪算法。在本文中,对量测-航迹分配问题,采用了严格的概率方法。不象在传统多假设跟踪(MHT)算法那样,把量测分配给航迹;相反地,使用由期望最大化(EM)方法导出的最大似然(ML)算法估计每次量测属于每个航迹的概率。这些量测-航迹的概率估计对于调用随机多假设跟踪(PMHT)算法的多目标跟踪器是固有的。PMHT算法在计算上是切实可行的,因为它既不要求量测-航迹分配的计算,也不要求修剪。     

欧拉猜想计算机证明的一个新算法

文献（１）通过直接构造正交拉丁方对解答树并搜索树的所有结点这一算法,用计算机证明了不存在６阶正交拉丁方对。本文对上述算法做了改进,首先寻找所有６阶标准拉丁方,然后运用遍历解答树每个结点的方法逐一证明没有与之正交的拉丁方,从而实现欧拉猜想的机器证明,新算法使得机器运行时间大为缩短。     

基于改进的概率假设密度多目标跟踪算法

针对多个目标相互紧邻时,概率假设密度滤波器难以正确估计当前目标个数以及目标状态问题,提出一种改进的高斯混合概率假设密度滤波算法。根据每一时刻更新后所有目标的权值构造权值矩阵,通过权值矩阵中目标权值的分布来检测当前目标权值是否存在更新错误。基于新的目标权值再分配策略,对权值矩阵中每个目标可能不正确的权值进行调整,使得每个目标能够获得合理的权值。仿真实验表明,该算法能够准确地估计紧邻目标数目以及状态。     

事故树分析法在汽车加油站火险评估中的应用

利用事故树分析法剖析目前汽车加油站存在的诸种火灾原因 ,并排出火因重要度顺序 ,判明主次因素 ,进而提出有效的火灾预防措施。     

样条函数康特诺维奇法在复合材料板和圆柱曲板弯曲及线性稳定性分析中的应用

样条函数康特诺维奇法是作者首先提出的一种结构数值计算方法。它实质上是一种离散形式的康特诺维奇法,将二维问题化为一维问题,使问题的自由度数大幅度减少。在本文中,基于Mindlin假设,将样条函数康特诺维奇法应用于金属、复合材料单层板及圆柱曲板的弯曲及线性稳定性分析。