【摘 要】
：
网络系统的复杂性映射成为了对生存性研究的复杂性.目前对于如SDH等单一拓扑网络的生存性的研究取得了较多的成果,但对于大型网络如何建模和评估生存性,尚无较好解决方案.以往文献提出的两种评估NSMS(网络安全管理系统)生存性的方法存在较大局限性:割点法不能用算法实现,无法对大型网络进行分析.蒙特卡洛法只能对生存性进行区间估计,得不出准确值.本文提出连通支路的分析方法,使用成熟的数学模型进行实现,并用给
【机 构】
：
湖南大学计算机与通信学院,湖南长沙,410082 湖南大学软件学院,湖南长沙,410082
论文部分内容阅读
网络系统的复杂性映射成为了对生存性研究的复杂性.目前对于如SDH等单一拓扑网络的生存性的研究取得了较多的成果,但对于大型网络如何建模和评估生存性,尚无较好解决方案.以往文献提出的两种评估NSMS(网络安全管理系统)生存性的方法存在较大局限性:割点法不能用算法实现,无法对大型网络进行分析.蒙特卡洛法只能对生存性进行区间估计,得不出准确值.本文提出连通支路的分析方法,使用成熟的数学模型进行实现,并用给出编程算法.之后,我们又对拓扑变化对生存性的影响做出分析,这为建立完善的生存性分析平台打下了良好的基础.
其他文献
本文基于图形硬件GPU与可编程着色器,实现了一种高效的基于轮廓重建物体三维可视壳的算法。通过将三维空间中的体素位置、二维轮廓图像等信息编码人多张纹理中,在可编程着色器上执行片元程序,最终生成物体的三维可视壳。这种方法充分运用了显卡GPU的并行处理能力,解决了三维可视壳生成缓慢的问题,基于该算法,我们实现了一个实用、高效的基于图像三维物体自动建模系统。
自然景观的真实感模拟一直是计算机图形学中一个富有挑战性的课题,而雪场景的实时模拟尤为困难,因为它不仅涉及到风场的物理特性,还需要充分考虑雪花降落过程中的随机性以及雪花堆积时可能发生的侵蚀、消融和雪崩等情形。通过对风雪特性的简化处理,本文提出的模型可以较实时地绘制具有真实感的不同风向不同降雪量的风雪场景。
Java 3D是在OpenGL基础上发展而来的,它是Java语言在三维领域扩展的一组API。它实现了三维环境下的实时性与交互性。因此考虑以wave font模型为基本构建元素,利用Java 3D技术搭建虚拟现实环境并实现简单的场景交互。虚拟环境主要依据Java 3D场景树的结构思想来创建。将wave font模型作为一个Shape 3D节点来进行处理,虚拟环境创建之后进行保存,生成一个基于xmL机
基于内容的编码是图像压缩未来发展的重要方向,然而一般图像的语义分析是异常困难的。纹理图像在视觉上具有的内容相似性,可以为内容分析和压缩提供可能性。本文可以通过对图像内容的分析,以纹理图像的标准性系数为度量,进行纹理分割和识别,找出可供压缩的纹理区域,并根据纹理区域的基本特征尺度,以分块方式抽取记录样本块,构建编码体系;而后使用基于块的纹理合成方法构建解码体系。此压缩方式是一个完全不同于传统方法的新
本文论述了在潮模砂制备中采用真空技术呈上升趋势.在真空下混制和冷却型砂允许在单机中同时冷却和混制.不仅节省了空间和投资成本,而且由于连续不断地控制所有的重要参数,极大地增加了操作安全性.
视频鼠标指以视频方式实时捕获用户运动参数,并将其转化为对计算机鼠标光标的控制信息,从而以视频方式实现人机互动的系统。本文分别实现了人脸跟踪模块、特征定位模块、映射驱动模块,集成开发了以人脸姿态控制鼠标动作的人脸鼠标系统,并利用多尺度边缘检测算法加强ASM训练集图像边缘,进而提高了系统的特征定位性能。实验证明,人脸鼠标系统基本能够模拟传统鼠标操作,以视频方式实现对计算机的简单控制及电子娱乐中玩家的视
本文介绍一种基于手绘草图的建模与动画系统。传统的建模与动画系统要求用户具有专业的建模、动画技术及较强的三维感知,非专业用户根本无从人手。而传统的手绘交互的建模系统常常由于建模能力有限、无法保留手绘细节、轮廓线绘制不自由、无法提供方便的手绘编辑手段等原因很难应用于实际。这里呈现一种自由轮廓线、保持轮廓线细节、能修改形体表面细节的手绘草图建模方法,用户通过手绘草图的方法可以在几分钟内建立期望模型,同样
嵌入式实时软件测试的一个重要研究内容是如何有效验证生成的测试用例是否满足系统的实时性要求.本文在传统EFSM模型的基础上加入时间约束条件,结合基于EFSM模型UIO测试序列生成方法,提出了一种实时性测试序列的生成方法.该方法采用Dijkstra算法,求得最短时间的测试消息序列;通过对EFSM模型去环和统一汇聚结点的操作将其改进成AOE网的形式,求出每个状态的最迟发生时间,在测试用例执行时用以判断测
本文提出了一种基于小波变换与神经网络相结合的非线性模拟电路故障诊断的方法.该方法利用DB1小波变换对非线性模拟电路故障信号进行一系列预处理,提取信号的故障特征量,然后将故障特征量输入至BP神经网络进行处理,故障信号经过小波变换处理后,有效地减少了BP神经网络的输入层单元数,同时也简化了神经网络的结构、减少了它的训练时间,从而提高识别故障的能力.本文在描述完该故障诊断方法的基本原理后,给出了小波变换
本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P/TMSE.环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境.本文最后结合一个典型的SoC案例,在SoC-P/TMSE创建了对应的EHCPN模型,并