主动网络技术

主动网络是一种可编程的网络,用户可以对网络进行个性化的编程和设置。主动网络与传统的网络仅仅被动地传送字节流不同,它是“运行时刻可扩展的”。在主动网络体系结构中,可以快速动态地定制、配置新的网络服务和开发新的技术与协议,实现新的网络体系结构。加快了网络服务的革新步伐,提高了网络的性能,使得网络体系结构更灵活、更具有可扩张性。该文阐述了主动网络的产生背景、实现方案、体系结构和它的优点,并介绍了主动网络节点和主动网络路由器。     

面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术，从基于服务的，基于状态的，基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

时间自动机可达性分析算法的改进

模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。     

形势与政策课教学管理综合体系的构建

形势与政策作为一门高校大学生思想政治理论必修课程,虽然开设的时间不长,但其作用不容忽视。由于本门课程的特殊性。备课量大,学生面广,应该采取多种形式的教育方式,因此,加强这门课程的管理工作。建立教学管理的综合体系,是开设好形势与政策课的关键。     

高职院校思想政治理论课“两个转化”的思考与探索——以昆明冶金高等专科学校概论课教学实践为例

增强思想政治理论课实效性、针对性,是一个永恒的话题。在实际教学中,如何以教材为依据,实施从教材体系向教学体系转化、逐步实现知识体系向信仰体系转化,是思想政治理论课教学的重点和难点。实现"两个转化",要创新教学方法,探索有效途径,增强课程的实效性、针对性,提升感染力,提高教学效果,达到教学目的。     

基于模型检测的多轮FR协议验证

随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素.本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质.重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件.     

一种基于优先级扩展的时间自动机模型中DBM减法算法的改进

本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。这种减法是DBM上操作中的一种,它会产生需要用DBM集来表示的非凸集合。DBM的数量影响符号模型检测的性能,我们的减法算法是有效的,因为它产生的DBM的数量相对于最初算法具有较大程度的约减。DBM减法操作扩展了具有优先级的时间自动机理论,它对对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用。     

一个基于实化聚集视图的近似查询计算模型及其应用

在数据仓库、大量交易记录系统、移动计算、联机分析处理系统(OLAP)等许多领域中聚集数据的处理是一个非常重要的核心问题。该文首先分析了聚集数据查询的特点,引入了聚集查询语言和聚集查询重写;其次对于聚集查询环境下如何实现快速查询,给出了一个基于聚集数据的近似查询计算模型;最后将该计算模型应用于人口统计系统,从而实现对统计信息类数据进行快速的查询处理,获得有效的查询结果。     

Peer-to-Peer网络模型研究

计算机对等联网(peer-to-peer network,P2P)技术是目前新一代网络技术研究的活跃领域,而P2P网络模型研究是P2P网络技术研究的重要环节。该文分析了目前两种流行P2P网络模型的不足,通过在P2P网络中引入集中和分级目录概念,根据资源内容建立不同的层次结构,提出了一种新型P2P网络模型。     

基于纳什议价的虚拟网多目标映射算法

请求接受率和节能是虚拟网映射过程中两个至关重要的指标,然而当前虚拟网映射问题的研究仅考虑单一指标,忽略了两者之间的关联和制约,导致虚拟网映射整体性能下降。该文提出一种基于纳什议价的虚拟网多目标映射算法(MOVNE-NB)：利用博弈论谈判技术,在纳什议价的框架下协商虚拟网映射的合理解;提出公平议价机制,避免参与人自私决策而导致议价失败。实验表明,MOVNE-NB算法不仅能产生一个帕累托有效解,且实现了请求接受率和节能的公平折中。