平衡序列图的结构

考察了平衡序列图的结构,给出了平衡标号与序列标号的关系,提出了用二部划分确定平衡标号的方法,得到了平衡标号特征与导出边标号最小值的关系式,给出非平衡的序列树。     

基于小世界模型和图论的图像去噪

提出了一种基于图论的偏微分方程(PDE)图像去噪方法。在构造图的拓扑结构过程中,引入了小世界模型,降低图的直径,加快算法的收敛速度。同时,评估了图的权重函数中最优参数的选取。最后,用图的拉普拉斯矩阵和图上的热扩散方程实现图像的去噪。仿真实验结果表明,本文提出的方法能够有效去除高斯噪声,较完整地保持图像中的边缘等细节信息,在去噪性能和算法收敛速率上优于其它的PDE去噪方法。     

采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

公共设施选址优化研究

根据公共设施的内在特征及其空间分布规律,将公共设施分为三种主要类型即"时间紧急型"、"距离敏感型"、和"一般服务型". 运用图论、空间聚类理论和运筹规划的理论和方法分别对上述三类公共设施选址优化进行研究,建立了相应的优化算法及其数学模型,并通过实例对上述方法的有效性和合理性进行了实证分析.     

基于缩边递推法的图色多项式求解算法设计与分析

给出了缩边递推法求解图的色多项式的有效算法,并用Java语言在计算机上实现：输入图的顶点数n及每一条边,即能在屏幕上输出该图图形及其色多项式;最后对算法实现的效率进行了分析,其时间复杂度为O（n2）。     

保持空间准确度与时间一致性的深度估计算法

为提高深度图的准确度,提出了一种基于图割的深度估计算法. 利用平均亮度 梯度联合匹配测度函数代替单像素亮度匹配,并考虑邻近像素深度相关性改变图割网络结构,提高深度估计的空间准确度;采用前一时刻同位置像素的深度约束当前时刻像素的深度值,使估计的深度图在时间上保持一致. 提出的算法考虑了深度图的空间、时间特征,可以提高深度图的准确度. 实验结果表明,与传统的基于图割的深度估计算法相比,新算法估计的深度图更加准确.     

节点数固定的ER网络演化模型拓扑性质的研究

复杂网络模型的研究主要集中在ER网络模型、小世界网络模型和无标度网络模型,其中ER网络模型是最经典的复杂网络模型之一。文章研究了节点数固定情况下的ER网络模型,根据网络内部边的动态演化特点,将节点数固定的网络模型进行了细分,给出了模型的生成算法,并模拟了算法生成的随机网络的平均路径长度和聚类系数。仿真结果表明,节点数固定的ER网络具有小世界特性,出现这种小世界特性的主要原因是由于网络内部边的异质性,而与网络的节点数变化没有必然联系。     

平面图形设计的渊源——符号

图形本身是视觉空间设计中的一种符号形象,是视觉传达过程中较直接、教准确的传达媒体,它在沟通人们与文化、信息方面起到了不可忽视的作用。在图形设计中,符号学的运用,影响着图形设计的表形性思维的表诉。也正是由于它的存在,使平面图形设计的信息传达更加科学准确,表现手法更加丰富多彩。     

不含3-圈和4-圈的平面图的线性2-荫度

线性森林是所有分支都为路的图,图G的线性荫度la(G)也就是把图的边集分解为互不相交的线性森林的最少数量k.设G为不合3-圈和4-圈的平面图,则la2(G)≤[△(G)+1/2]+2.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.