用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 。

JAVA语言的递归程序设计方法

递归程序设计方法分数值问题和非数值问题两种,对于数值问题从数学公式入手,对于非数值问题,应掌握方法,分步进行。

域内QoS控制研究

针对目前在实际的IP网络中部署QoS面临的技术和政策等各方面的困难,本文在DiffServ的服务框架下,提出了一种分层的QoS实现机制,即将全网的QoS控制分为域间的QoS控制和域内的QoS控制。域内的QoS以Internet上的自治系统为一个相对独立的QoS“域”(如某个ISP、政府或学校的网络)来实现QoS控制,以满足QoS的增量部署要求,以及保持QoS机制的可扩展性(适应网络规模的变化)和技术进化要求。本文着重考虑了在域内实现基于带宽代理的QoS体系结构,这种体系结构综合考虑了QoS路由、接纳控制、网络政策管理等因素,因此能实现良好的QoS保证并在网络域内部实现整体优化。

下一代Internet QoS研究综述

从QoS控制模型和网络QoS控制的关键技术入手,概述了下一代Internet QoS的重要性、体系结构和当前QoS的控制技术,为进一步提高下一代Internet QoS提供了研究基础。

基于数据仓库的电信业决策支持系统

决策支持系统在系统开发和运行管理上与传统的管理信息系统有很大的区别。本文根据工程实践给出了一个电信行业的决策支持系统模型,并对系统实现的相关问题进行了较为详细的讨论。

主动队列管理算法比较研究

本文对FRED、CHOKe、CSFQ、AFD等几个主动队列管理算法进行了对比研究，并且结合实验结果对算法中存在的问题及其原因进行了深入的分析，并对算法的改进提出了一些建议，希望能为今后的工作提供一定的支持。