Progressive events in supervisory control and compositional verification

This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.     

层次型IPv4网络QoS算法

网络服务质量Qo S在层次型网络中要求更高.从OSI参考模型的第二层与第三层出发,分析了传统的Qo S体系结构和三种Qo S模型的工作原理、优缺点以及网络应用环境.设计了将Int Serv与Diff Serv模型相结合的互补算法来保证层次型网络的服务质量.仿真结果表明,此模型能够从传输延迟、丢包率、延时抖动和网络吞吐量等多个方面提升网络的Qo S.     

基于区分Web QoS的负载均衡集群模型

随着电子商务的应用逐步深入,用户访问量的激增且服务请求多样．如何实现对所有请求的快速响应是当前解决的问题．针对此问题,本文提出采用基于区分WebQoS的负载均衡技术．建立了基于区分WebQoS的负载均衡的集群模型．根据请求类型和用户权限划分服务等级,高服务的请求具有高优先调度权,在集群当中通过动态反馈技术均衡调度到某个节点,从而达到区分WebQoS服务的目的,同时也保证集群服务器的负载均衡．该模型在网络环境及硬件环境相同的条件下,与常用的负载均衡技术进行了比较,实验结果证明本文提出的方法效果显著．     

基于用户评价驱动的可信Web服务发现

随着Web服务技术的快速发展,如何请求和选择可信服务成为了非常重要的研究课题,即可信服务发现。本文提出了一种新的基于用户评价的Web服务发现方法．通过计算当前一段时间内多个用户对Web服务的反馈值,来判断Web服务所声明QoS的真实性,从而选择出更具可信度的Web服务。实验表明该方法具有有效性。     

基于LTE下行多业务传输QoS保证的跨层调度算法

众多资源分配的调度算法中, 有区别地实现不同业务QoS要求的调度策略研究不多。针对此问题, 通过将不同QoS等级和要求加入到调度策略的影响因素中, 提出了一种适用于LTE下行多业务传输的多目标跨层分组调度算法, 并设计了一个用户满意度函数, 用来评价分组调度算法的综合性能。对该算法性能进行了仿真验证, 并同PF算法仿真结果进行比较与分析, 表明该算法能够满足不同业务的QoS要求, 综合性能优于PF算法。     

Drawing layered graphs with port constraints

Complex software systems are often modeled using data flow diagrams, in which nodes are connected to each other through dedicated connection points called ports. The influence a layout algorithm has on the placement of ports is determined by port constraints defined on the corresponding node.In this paper we present approaches for integrating port constraints into the layer-based approach to graph drawing pioneered by Sugiyama et al. We show how our layout algorithm, called KLay Layered, progresses from relaxed to more restricted port constraint levels as it executes, and how established algorithms for crossing minimization and edge routing can be extended to support port constraints. Compared to the previous layout algorithms supporting ports, our algorithm produces fewer edge crossings and bends and yields pleasing results.We also explain and evaluate how layout algorithms can be kept simple by using the concept of intermediate processors to structure them in a modular way. A case study integrating our layout algorithm into UC Berkeley's Ptolemy tool illustrates how KLay Layered can be integrated into Java-based applications.     

主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

一种基于优先级的Ad hoc网络QoS模型*

提出一种基于优先级业务分类的Ad hoc网络QoS模型,它能够为多种优先级多种类别的业务提供不同等级的服务。源端判断业务是否允许接入,中间节点只负责转发允许接入的业务。在资源不足的情况下,能为最高优先级业务提供相对稳定的带宽资源,高优先级业务能获得比低优先级业务更高的调度权限。通过OPNET下的仿真,证明该模型能满足不同级别QoS的要求。     

VOIP中关键技术的研究

本文简要介绍了VOIP技术及其产生的技术背景,阐述了VOIP技术涉及到的关键技术。     

双向搜索多约束路由启发式计算方法

为提高大型通信网络中搜索满足多约束条件路由的速度,提出一种双向搜索路由的计算方法.首先从源和目的节点同时出发,计算到达各中间节点的可达路径.然后在各可达路径中进行路径的筛选.可达路径是采用邻接矩阵变换方式获得的,筛选路径是根据非线性开销函数,采用启发方式择优选取.当两方向搜索的节点数累计达到n-2后,对接合并两方向到达中间节点的路径,从中再选择最佳路径作为路由输出.通过算例详细介绍了可达路径计算及启发式选优方法.阐述了算法的正确性及特点,分析了最大时间杂性.通过仿真实验评估,不仅更进一步验证了新算法的正确性,而且表明新算法在搜索路由速度上要优于其他算法.