基于随机进程代数的Overlay网络上的QoS性能评价

论述了对Overlay网络中组播的服务质量进行量化评价的必要性,引入了组播树二度同胚约简的概念,推广了Bowman评价单播数据流服务质量的随机进程代数方法,提出用随机进程代数对Overlay网络中组播的服务质量进行评价的建模方案,并用PEPA workbench模拟工具针对具体的组播实例的服务质量进行了定量分析. 模拟结果表明,传统网络中的IP组播抖动小于Overlay网络中的组播抖动;而后者又进一步小于在传统网络中用单播技术来实现组播时的抖动, 与实际情况吻合.     

进程代数在性能评价中的应用研究

介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望.     

基于安全进程代数的信息流模型

文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。     

基于进程代数的并发行为检测模型

针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程三个基本元素,进而建立了模型;最后给出了并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度。     

一种基于进程代数的软件可信性度量模型

基于软件可信本质和进程代数给出了软件可信性评估框架及度量指标。将软件正向和逆向工程都统一到进程代数这一尺度上,这样进程代数中进程的等价程度便可表示软件的可信程度,即根据软件执行踪迹进行逆向工程,恢复出表示软件行为的UML顺序图并转换为进程代数,将初始的高层软件需求(UML协作图和状态图)也转换成进程代数,通过分析所得到的两个进程,看其等价程度,等价程度越高则软件可信程度越高,不等价时计算软件可信性度量指标TD(trustworthiness degree),其数值越大,则软件可信性越高。     

基于PEPA模型的无线传感器网络性能分析

无线传感器网络(WSN)是由大量的微型传感器节点组成,通过无线通信方式形成的一个多跳的自组织的网络系统. 无线传感器网络的性能决定着通信的质量,本文的无线传感器模型采用了LEACH协议,并利用一种高层次的建模机制——性能分析进程代数(PEPA)来分析网络的吞吐量、利用率和反应时间.     

移动计算中协议建模的新方法-CCS形式化描述及性能评价

利用CCS(Calcu lus of Commun icating System s)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明.此方法不仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中.     

外代数上的Rota-Baxter算子

针对特征p≠2的代数闭域F上两个变元外代数∧(2)的Rota-Baxter算子问题,利用∧(2)的基元素,通过计算Rota-Baxter算子在其基元素上的作用的方法,得到了∧(2)的Rota-Baxter算子,进而确定了∧(2)的同态及同构Rota-Baxter算子.     

主动网络与QoS的实现

IP网络新的应用对网络的服务质量(QOS)提出了新的不同的要求,因此必须在现有的“尽力服务”机制的基础上提供服务质量管理机制。本文在对QoS进行分析的基础上,基于主动网络,提出了实现QoS的方法,并对各部分的功能进行了描述。     

矩阵代数上的乘积决定点

设B是含单位元的交换环C上的代数,且B含单位元,该文利用代数计算推导的方法,主要讨论了矩阵代数Mn（B）的乘积决定点的情况,并对于一般数域上矩阵代数Mn得到G是Mn的乘积决定点的充要条件是rankG≤n-2。     

组播覆盖网络多约束多点对多点路由算法的研究

提出了一种基于模糊集理论的组播覆盖网络多约束多点对多点路由算法.构建了仿真实验平台,实验结果及分析表明:算法在非完全组播网络上实现了较优的多约束多点对多点组播路由;算法时间复杂度较低,符合网络路由算法在响应时效性方面的特殊要求.     

基于SCTP的满意QoS覆盖多播实现方案的研究

现有的覆盖多播方案皆存在因传输层的单穴技术所导致的固有性能缺陷,为提高覆盖多播的传输性能,提出了相应的解决方案,首先基于传输层多穴技术的高容错性和同时多路径传输能力,采用层次化的设计思想提出了抽象服务接口层、传输服务层和覆盖多播层的多穴覆盖多播网络体系结构,造就了具有QoS保证实时媒体交付的基础环境.其次基于该体系结构设计了满意QoS多播算法,它是该方案的核心,该算法可为服务代理建立满意QoS多播服务树从而实现服务代理间的覆盖流量负荷的平衡提供保障.仿真实验表明该方案可有效地消除现有覆盖多播方案在满意QoS比率、多播树代价、平均链路压力和平均路径长度方面的性能瓶径,可进一步提高现有覆盖多播业务的服务质量.     

工艺创新绩效评价的人工神经网络方法

首先建立了一套评价工艺创新绩效的指标体系,然后运用人工神经网络的原理与方法,建立了工艺创新绩效评价的ANN模型,并介绍了该种方法的运用。     

Research on Production Process Control Method Combined Stochastic Process Algebra and Stochastic Petri Nets

A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.     

基于随机博弈与网络熵的网络安全性评估

提出了一种网络熵和随机博弈相结合的网络安全性评估方法.基于随机博弈构建了多人、多状态的网络对抗随机博弈模型.引入网络熵描述网络安全性能,通过求解模型的Nash均衡解获得最优防御策略和网络状态概率,进而利用网络状态熵差对网络安全性进行评估;最后给出了网络安全性评估算法.实例分析表明,该方法能有效评估网络安全性能,为主动防御提供决策支持.     

MPLS网络的OoS探索

笔者主要解决软交换网络中QoS的分组丢失问题,讨论了控制与数据相分离的软交换网络的体系架构,以及电信网络的发展趋势．分析了IP网络分组丢失的原因,进而提出以分组为对象和以网络为对象的解决方案,着重讨论多协议标签技术对服务质量的改进．由此得出,应用该技术解决服务质量,可以用较小的系统开销保证电信网络的可靠性和安全性．     

基于营销过程的网络营销道德评价研究

文中以网络营销道德失范问题对消费者、商家和社会造成的负面影响为研究对象,在进行了网络营销过程阶段划分的基础上,全面分析网络营销的各阶段中可能出现的道德失范行为,构建一套完整的网络营销道德评价体系,根据实证研究结果发现影响网络营销道德失范的关键要素,提出加强网络营销道德建设的对策和建议.研究结果显示,网站信息真实性是形成网络营销道德失范行为的关键要素;物流服务真实性、售后评价真实性是形成网络营销道德失范行为的主要因素;因此网络营销道德建设需要从树立正确积极的诚信营销观念,可靠的信息系统和电子平台建设,相关法律法规政策的完善等方面进行.     

基于QoS的按需服务发现过程研究

针对多个服务提供方提供相似Web服务的状况,在功能属性服务发现研究的基础上,尝试基于QoS的按需服务发现过程研究,其核心是先聚类后排序.首先利用FCM聚类思想将用户QoS需求信息和Web服务资源的QoS信息进行合并聚类,再通过相似度计算确定同一分类内聚类对象的次序,最后以一个算例说明了该过程可以根据用户的QoS需求发现服务.