基于多维结构特征的硬件木马检测技术

硬件木马是第三方知识产权(IP)核的主要安全威胁,现有的安全性分析方法提取的特征过于单一,导致特征分布不够均衡,极易出现较高的误识别率.该文提出了基于有向图的门级网表抽象化建模算法,建立了门级网表的有向图模型,简化了电路分析流程;分析了硬件木马共性特征,基于有向图建立了涵盖扇入单元数、扇入触发器数、扇出触发器数、输入拓扑深度、输出拓扑深度、多路选择器和反相器数量等多维度硬件木马结构特征;提出了基于最近邻不平衡数据分类(SMOTEENN)算法的硬件木马特征扩展算法,有效解决了样本特征集较少的问题,利用支持向量机建立硬件木马检测模型并识别出硬件木马的特征.该文基于Trust_Hub硬件木马库开展方法验证实验,准确率高达97.02％,与现有文献相比真正类率(TPR)提高了13.80％,真负类率(TNR)和分类准确率(ACC)分别提高了0.92％和2.48％,在保证低假阳性率的基础上有效识别硬件木马.     

基于改进蚁群算法UML状态机图的测试用例生成

为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法.利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了测试的工作量.通过构造人工蚁群以及动态更新信息素矩阵,让蚂蚁选择还没有搜索或边信息素最小的顶点,确保了测试用例的数量既满足测试需求,又不会过多.通过编写算法及模拟仿真,对该算法的可行性和有效性做了验证和仿真分析.     

遗传算法求解邮递员问题的探讨

邮递员问题是目前一个尚未完全解决的图论问题,而遗传算法则是一个比较好的全局搜索算法,本文提出了一种换方法,以此为基础,用遗传算法实现了对有向图邮递员问题的求解,较传统方法更加容易实现,在求解大规模复杂网络时,其效率更高。     

一类含两个圈的特殊本原双色有向图的指数

一个双色有向图D是本原的,如果存在非负整数h和k,h+k>0,使得D的每对顶点(i,j)都存在从i到j的(h,k)-途径,称h+k的最小值为本原双色有向图D的指数.给出了一类含两个圈的特殊本原双色有向图指数的紧的上下界,并对一类特殊情况进行了极图刻划.     

一种利用功能驱动的构件组装方法研究

从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果.     

基于符号有向图节点定量化模型的故障诊断方法

基于系统衍生节点的状态不可能比要对它施加影响节点状态差这一假定,该文研究了一种将SDG定性定量模型、主元统计法(PCA)和遗传算法相结合的电站热力系统智能故障诊断方法。通过用SDG构造系统模型,并结合节点的定量信息对节点之间的因果联系进行描述,形成SDG节点定量化模型;用PCA监控不同的变量,并考虑变量间的相关关系,有效地解决了确定节点故障发生的可能性大小的问题;用遗传算法对故障传播路径进行搜索,可以有效处理SDG定性模型中不可测节点干扰、计算量大和规则组合爆炸等问题。案例研究表明,该方法具有较强的故障诊断能力。     

用有向图实现的ATLAS编译系统中的设备分配

ATLAS是测试领域的流行语言，用其编写的测试程序可在任一个具体的自动化测试平台上工作。设备分配是每个ATLAS编译系统都要面临的任务之一。该文提出了将被测设备与自动化测试平台组成的系统看成是有向图，利用图的遍历算法来实现设备分配过程。     

基于有向图的动态最优航迹规划算法

地形跟随/地形回避(TF/TA)航迹规划是低空突防系统的关键技术之一.通常所使用的动态规划算法得到的规划航迹有时达不到目标点.针对此问题,提出一种最优航迹规划的改进动态规划算法,通过对数字地图进行网格划分并建立有向图的方法改进动态规划算法,使最优航迹能有效地回避障碍和威胁.仿真结果表明,所提出的航迹规划算法是有效的.     

基于Web视图模型构建生物信息二级数据库

提出采用带根连通有向图来描述生物信息二级数据库的Web视图模型，以结合生物信息背景知识设计特定的生物信息Web视图及其问的相关关系．通过常量、静态和动态三类视图构成的Web视图模型解决了生物信息计算与数据资源共享的统一概念抽象．据此构建的硒蛋白相关生物信息二级数据库不仅可提供常规的数据管理和发布服务，并且将各类基因序列、蛋白质序列等生物信息数据的发布、蛋白质结构观察等Web计算有机地联系起来，符合分子生物学中信息流的观点．     

一种改进的验证工作流控制逻辑正确性的方法

许多工作流管理系统可能建立错误的工作流模型，导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型，提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明，该方法是可行的。