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

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

公共设施选址优化研究

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

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

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

面向Internet的分布式遥感影像切割算法

为了实现遥感影像的网络快速发布,提出了一种高效的影像金字塔模型的构建算法,影像的切割与重采样均在内存中运算完成,尽可能地减少I/O操作,从而提高其执行效率。提出了面向Internet的分布式遥感影像的切割算法,并给出了基于B/S架构和基于C/S架构的两种实现方式。为了保证算法的效率与分布式结构,利用C++与Java联合编程进行实现。通过实例对算法性能进行测试,证明了算法的可操作性、实用性和高效性。     

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

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

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

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

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

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

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

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

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

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

基于Petri网的建设工程项目实施阶段资源建模与仿真*

基于分层赋时着色Petri网,构建了一个能够准确表达资源配置、任务持续时间及信息传递的资源模型,以便有效进行建设工程项目实施阶段的资源管理和优化配置.在建设工程项目实施阶段资源特点分析的基础上,对分层赋时着色Petri网中的非空颜色集合进行定义,并对资源管理中分层建模、资源分配和资源归还基础模型进行了研究,解决了基于分层赋时着色Petri网构建建设工程项目实施阶段资源模型的关键问题.最后,以某工业与民用建筑的实施阶段为例,进行资源管理模型的构建和仿真分析,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段资源管理模型的正确性和有效性.