网络技术在工程硕士教育中的应用探讨

本文针对工程硕士培养的目标和特点，结合教学经验，开发设计了“人工智能与应用”课程的网络课件，提出了个性化远程教育学习方法一一向导学习法。     

一种端到端网络的不相交多路径QoS路由算法

不相交多路径路由算法旨在一个端到端的网络中为应用流选择多个路径，且这些路径在瓶颈链路上是彼此不相交的。本文提出的不相交多路径QoS路由（DMQR）算法在Dijkstra最短路径和最短最宽路径（SWP）算法的基础上，能够动态地计算时延最短、带宽最宽、在瓶颈链路上互不相交的路径，且保证每个路径都是满足一定服务质量的。在视频会议、远程医疗和远程教育等重要的视频通信场合，要求应用层和网络层必须协同工作以保证一些必要的QoS，例如端到端的带宽、时延和包丢失率等。本文针对端到端的网络，重点讨论不相交多路径QoS路由算法在应用层的设计和实现。性能分析和模拟结果显示，所提出的不相交多路径QoS路由算法总是收敛的，且当网络流量增加时，该算法具有较低的包丢失率和较高的吞吐量。     

基于广义细胞自动机的网络带宽优化

Nowadays,bandwidth allocation schemes in a TCP/IP or ATM network are congestion avoidance oriented.Few scheme has taken global optimization into account,for global optimization problem can not be easily solved by conventional mathematical method due to the complexity and large-scale of massive information system,such as Internet.We present a novel bandwidth allocation scheme based on generalized cellular automaton (GCA).Firstly we introduce how to map network topology into GCA model,then we propose how cells and macro cells interact in our solution.Our simulation results show the scheme leads to global optimization rapidly.     

基于网络环境的研究生教与学模式研究

本文首先研究了网络环境下的教学模式和研究生教学模式的各自特点,然后探讨了网络环境下研究生教学的几类模式,最后设计了一种探究合作式学习与教学模式。     

基于Web应用的全面功能点的改进

全面功能点（FFP）是一种应用广泛且使用方便的软件功能规模度量（FSM）方法,但其方法本身只能度量系统静态的方面,不能考虑到对象的交互性和对象的行为。根据COSMIC-FFP的度量元素和Web应用的结构,对COSMIC-FFP软件模型进行了改进,列出了针对Web应用的度量规则,并给出了实例说明了这些规则的使用。     

一个柔性的形式化过程建模语言

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.     

基于反馈控制的离散混沌动力学系统的同步研究

文章研究了两个具有相同参数与不同参数的离散混沌动力学系统的同步问题,并在反馈控制下成功地实现了两个Logistic系统的同步和广义同步。特别是,在两个不同的混沌动力学系统间,实现了驱动系统的动力学行为由混沌转为周期,由周期转为混沌,以及由混沌转为另一混沌行为的控制。通过仿真实验,在两个相同与不同的Logistic系统间分别实现了三种混沌同步现象(严格同步、事实同步和基本同步)。     

数据仓库中OLAP的实现技术

本文介绍了数据仓库和联机分析处理的概念，分析阐述了基于数据仓库的OLAP的三种存储机制、实施框架、数据操纵机制和索引机制。及多维数据模型上的OLAP的实现技术。     

基于相空间重构的计算机网络的动力学特性分析

文章利用相空间重构理论对网络流量数据进行研究分析,用单变量的网络流量时间序列重构与网络动力系统等距同构的相空间,进而计算网络的关联维数、Kolmogorov熵和最大Lyapunov指数,研究网络系统的这三个参数随时间的变化特性。从而指出了网络流量具有的混沌动力学行为,并为进一步利用混沌动力学理论对网络行为的控制和建模奠定了基础。     

基于结构化功能规格说明的测试方法和工具

由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．