基于改进决策树的有状态防火墙模型

适应复杂防御策略的有状态模型是研究有状态防火墙的核心内容。防火墙的运行不仅应当具有时间和空间上的效率,还应当允许管理员定义复杂的逻辑过程和状态信息。在一种经典的有状态防火墙模型的基础上,结合改进决策树,提出了一种新的允许用户自定义状态变量以及防御算法的模型。该模型能够更好地适应针对不同类型网络攻击,复杂多变的防御策略需求,在时间和空间上也具有较好的效率。     

基于分类树的雷达软件测试用例设计

现代雷达软件测试由于软件规模越来越大,利用常规的组合覆盖方法测试各功能单元工程上越来越不现实。文章针对分类树方法设计测试用例产生大量冗余测试用例的缺陷,提出了在分类树方法生成的用例集基础上,利用正交试验设计法对其进行精简优化,以提高测试效率。实验结果表明,基于正交试验设计法的测试用例优化,可以有效减少冗余测试用例,节省测试资源和成本,具有一定的工程应用价值。     

基于Vague集的多属性决策新方法——投影法

定义了Vague集理想方案以及决策方案在Vague集理想方案上的投影等概念,提出了一种新的基于Vague集的多属性决策方法--投影法,该方法利用决策方案在Vague集理想方案上的投影进行排序并选出最优方案,为决策系统提供了一个有用的工具.实例分析表明了该方法的有效性和实用性.     

Equilibrium polymerization in a solvent: Solution on the Bethe lattice

The lattice model for equilibrium polymerization in a solvent proposed by Wheeler and Pfeuty is solved exactly on a Bethe lattice (core of a Caylay tree) with general coordination numberq. Earlier mean-field results are reobtained in the limitq, but the phase diagrams show deviations from them for finiteq. Whenq=2, our results turn into the solution of the one-dimensional problem. Although the model is solved directly, without the use of the correspondence between the equilibrium polymerization model and the diluten0 model, we verified that the latter model may also be solved on the Bethe lattice, its solution being identical to the direct solution in all parameter space. As observed in earlier studies of the puren0 vector model, the free energy is not always convex. We obtain the region of negative susceptibility for our solution and compare this result with mean field and renormalization group (-expansion) calculations.     

基于遗传算法的TBDD排序方法

带时间参数的二叉判决图（ＴＢＤＤ）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题。本文提出一种基于遗传算法的ＴＢＤＤ排序算法。用快速衡量值和ＴＢＤＤ节点数来计算个体的适应度。针对变量排序的特定问题，提出一种模板保序交叉方法。采用知适应的变异概率计算方法，并提出一个适合于ＴＢＤＤ排序问题的变异算法。实验结果表明较好地解决了ＴＢＤＤ的排序问题。     

层次分析法与人工智能相互关系的比较研究

以解决和分析宏观、复杂决策问题为主要特点的AHP方法同以解决具体、微观问题的专家系统之间有本质的联系。本文从分析和比较二者的特点出发,将不同层次的决策知识形式化地统一表示成IF-THEN型的规则,通过引入MYCIN系统中的不精确推理,来推导出所要排序的结论。这种推理与AHP中的合成算法有类似之处,但由于AHP合成时忽略了同层元素间不可避免的相关性,因而,二者在证据对结论支持的量值上略有不同。可是,在通常情况上不会导致排出次序的变化。此外,本文中所建议的方法对于准则层元素之间如果存在“与”或“或”的关系时,用推理的方法仍可求出不同的排序结果,这无疑在实际应用中具有相当的实用价值。本文所提出的方法除了保留原AHP的特点外,还对“定性推理”所需的知识获取过程有重要意义,而且,它为利用深层知识来解释浅层知识开辟了一条途径。     

Graphs with only caterpillars as spanning trees

A connected graph G is caterpillar-pure if each spanning tree of G is a caterpillar. The caterpillar-pure graphs are fully characterized. Loosely speaking they are strings or necklaces of so-called pearls, except for a number of small exceptional cases. An upper bound for the number of edges in terms of the order is given for caterpillar-pure graphs, and those which attain the upper bound are characterized.     

On the nonexistence of finite time bubble trees in symmetric harmonic map heat flows from the disk to the 2-sphere

Let and be the unit disk and the unit sphere, and let be a radially symmetric harmonic map heat flow, whose singularities coincide with downward energy jumps. Then its finite time singularities are simple in the sense that precisely one harmonic sphere separates at a time.     

基于匹配度量矩阵扰动校正的多对一匹配判决

对于不同分辨率传感器观测之间的匹配问题,传统的一对一匹配判决算法已不再适用.为此,提出了一种新的匹配判决算法——基于匹配度量矩阵扰动校正的多对一匹配判决算法.建立了匹配度量矩阵的扰动模型,通过扰动校正进行匹配判决并估计匹配解的质量.考虑到实际的匹配问题中难以获得关于扰动参数的先验知识,采用一组匹配门限进行匹配判决,取其中质量最高的匹配解作为最终的匹配解.仿真实验验证了所提算法的有效性.     

多属性决策的组合赋权法

鉴于多属性决策问题中主观赋权法和客观赋权法各有其自身固有的特点，本文依据优化理论提出一种集成方法确定属性权重，该方法既充分利用客观信息，又反映决策者的主观偏好，从而使确定的属性权重更加合理、实用．