基于栈操作的用例规模的一个计算公式

软件测试随着测试用例规模的增加变得十分困难,对测试用例进行研究十分必要．本文首先给出了树同构的概念,然后利用图论就栈操作的用例进行了讨论,并得到一系列有关栈操作用例的重要性质,最后对一个给定任意大小的输入序列,讨论了其各种可能的输出序列,在此基础上得到了各种可能输出序列规模的一个递推计算公式．     

基于用户需求和等待时间的改进型频谱分配算法

通过对最新的图论着色频谱分配算法进行分析,提出了一种基于用户需求和等待时间的改进型频谱分配算法。解决了频谱资源紧张情况下用户等待时间太长的问题。使认知用户机会均等地使用频谱资源。经过频谱复用,更好地满足了用户频谱需求。仿真结果表明该算法是有效的,提出的算法提高了频谱利用率并且保证了系统公平性。     

基于图论的网络文件并行传输问题分析

根据网络文件分配与调度的特点,用图论的方法对文件并行传输问题进行了详细的分析,并且结合具体的实例提出了优化文件并行传输的调度算法。     

基于图论和改进Dijkstra算法的STEP-NC复杂型腔最短刀具路径生成方法

针对STEP-NC(standard for the exchange of product data, STEP ; STEP-compliant numerical control,STEP-NC)复杂型腔的刀具路径生成问题,本文提出了一种基于图论和改进Dijkstra算法的STEP-NC复杂型腔最短刀具路径生成方法.在该方法中,首先根据走刀行距和基本元素的等距偏置,生成STEP-NC复杂型腔封闭等距环.然后,基于图论得到封闭等距环的赋权有向图.最后,利用改进的Dijkstra算法生成STEP-NC复杂型腔最短刀具路径.通过实例验证了所提出方法的可行性和有效性.     

2类特殊三圈图的路能量

针对三圈图种类较多且路矩阵复杂度较高的问题,运用矩阵分析方法、根的存在性定理及不等式的放缩,研究了2类三圈图有无悬挂点时的路能量。首先,分别给出2类三圈图有无悬挂点时的4种路矩阵,利用矩阵分析方法对实对称矩阵分块得出对应的特征多项式,由根的存在性定理及韦达定理判定出正负特征值的个数并估计出取值范围;其次,通过不等式的放缩求出2类三圈图有无悬挂点时的路能量。结果表明,2类三圈图在有无悬挂点时路矩阵负特征值的个数及取值范围是不一样的,对应的路能量也是不一样的。所得结果对后续三圈图的路能量极值问题研究具有一定的借鉴价值,也有利于推测相关化学分子结构的性质。     

全能流视角下的城市能源规划方法

基于图论思想,提出了一种可较好地解决多源多汇多路径的城市能源系统的规划方法。建立了汉密尔顿有向图来描述城市能源网络供需间的能量流动过程,构建了以节点、路径、网络平衡为要素的通用模型,以矩阵的形式表示能源网络的节点性能和拓扑结构。并且将能流路径所对应的权重作为目标函数,分析比较不同路径匹配的系统性能。之后,利用此方法对联产系统的节能情景进行评估,对不同情景下联产系统的路径匹配特性进行说明。其结论可为城区建设和旧城改造过程中的分布式能源系统推广和城市能源系统规划提供参考。     

图论在大学生数学建模竞赛中的应用

随着图论的发展,图论的理论和方法广泛应用于大学生数学建模竞赛中．讨论了大学生数学建模竞赛中如下图论问题的应用：二分图的最大匹配,最大点独立集;最佳推销员回路,哈密尔顿图;最小生成树等．     

基于社会网络分析的共享密码监督方法研究

为了对密码共享进行监督和管理,基于社会网络分析（SNA： Social Network Analysis）方法,对网络用户密码共享行为的监督技术进行了研究,提出了一种寻找密码传播路径的方法。结合图论中有向图及路径的相关理论,对简化后的密码传播最短路径算法进行描述。该方法通过扫描电子邮箱库中系统管理员邮箱与所有外部电子邮箱之间的最短路径
,找出密码共享可能的传播路径,以便对用户密码的共享行为进行监督。结果表明,该方法可对当前系统的密码安全状态进行评估,对密码共享行为所造成的保密信息泄露起到一定的预防作用。     

通信时延下多智能体系统的静态一致性研究

假设每个个体接收信息产生的时延相同,且处理自身信息产生的时延不同,针对通信时延下具有有向对称通信网络的多智能体系统,提出了一个自时延比例-微分控制协议,使系统的状态最终趋于一致.基于频域分析法和奈氏判据,给出了系统状态收敛到一致的充分条件,并计算出了系统静态一致时平衡状态的具体表达式.在Matlab环境下进行了仿真实验,其结果验证了理论的正确性和有效性.     

基于图论技术的FPGA资源管理算法

在对可重构硬件上的空闲资源进行管理时,采用平面划分算法寻找最大空闲矩形存在冗余计算和重复计算的问题.为此,文中提出了一种基于虚拟无向图的计算最大空闲矩形的算法.该算法基于FPGA二维区域模型,利用无向图与FPGA模型之间的相互映射关系,通过在虚拟无向图中寻找有效回路和通路间接完成寻找最大空闲矩形的任务,使空闲区域划分过程大大简化.最后,文中通过仿真实验对比了该方法与已有的SL算法的性能,结果表明,KAMER_VU算法有效降低了系统硬件布局时间,提高了为任务分配硬件资源的成功率.