摘要：分析了目前计算机实验教学存在的问题 ,提出建立以教与学为中心的综合性开放型实验环境的设想 ;详细阐述了基于ASP .NET技术的开放实验室系统的设计与实现 ,在此基础上建立了系统指导和面向实验过程的教学管理方法。

摘要：针对广义Nash均衡求解问题,提出了一种免疫粒子群算法。首先利用非线性互补问题,将广义Nash均衡问题转换为非线性方程组问题,然后把免疫算法中抗体的免疫记忆功能和抗体浓度抑制机制引入基本粒子群算法,设计了一种免疫粒子群算法。最后通过数值实验表明,该算法保持了粒子群种群多样性,增强了粒子群算法的全局寻优能力,加快了算法的收敛速度,具有较好的性能。

摘要：移动互联网和智能手机的普及大大方便了人们的生活,并由此产生了大量的轨迹数据.通过对发布的轨迹数据进行分析,能够有效提高基于位置服务的质量,进而推动智慧城市相关应用的发展,例如智能交通管理、基础设计规划以及道路拥塞预警与检测.然而,由于轨迹数据中包含用户的敏感信息,直接发布原始的轨迹数据会对个人隐私造成严重威胁.差分隐私作为一种具备严格形式化定义、强隐私性保证的安全机制,已经被广泛应用于轨迹数据的发布中.但是,现有的方法假定用户具有相同的隐私偏好,并且为所有用户提供相同级别的隐私保护,这会导致对某些用户提供的隐私保护级别不足,而某些用户则获得过多的隐私保护.为满足不同用户的隐私保护需求,提高数据可用性,本文假设用户具备不同的隐私需求,提出了一种面向轨迹数据的个性化差分隐私发布机制.该机制利用Hilbert曲线提取轨迹数据在各个时刻的分布特征,生成位置聚簇,使用抽样机制和指数机制选择各个位置聚簇的代表元,进而利用位置代表元对原始轨迹数据进行泛化,从而生成待发布轨迹数据.在真实轨迹数据集上的实验表明,与基于标准差分隐私的方法相比,本文提出的机制在隐私保护和数据可用性之间提供了更好的平衡.

摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。

摘要：为满足云计算平台的资源需求,充分利用异构网络资源建设云计算基础平台,设计了一种基于移动IP技术的IPv4/IPv6虚拟机在线迁移框架。该框架的实现需利用设计的云计算控制引擎为核心转换连接异构网络并在NAT-PT与隧道技术协作下完成。框架建立的网络结构适用于IPv4与IPv6虚拟机之间的无缝迁移,并可向客户端跨IPv4/IPv6网络提供云计算服务。该框架可应用于IPv4/IPv6过渡期间云计算基础平台建设。

摘要：为了充分利用异构网络资源建设云计算基础平台,设计了一种基于NAT-PT与隧道技术协作的IPv4/IPv6虚拟机在线迁移框架。框架建立的网络结构适用于IPv4向IPv6演进的前、中、后期。利用设计的全局控制引擎为核心转换连接异构网络完成虚拟机在线迁移,并向客户端跨IPv4/IPv6网络提供云计算服务。经实验验证,该框架可应用于IPv4/IPv6过渡期间云计算基础平台建设。

摘要：为充分利用IPv4/IPv6异构网络资源建设云计算基础平台,满足云计算平台的资源需求,设计了一种基于隧道技术、前缀管理、地址池管理协作及移动IP的IPv4/IPv6虚拟机迁移过渡框架。该框架的实现以云计算控制引擎为核心转换连接异构网络,并在NAT-PT与隧道技术协作下完成。框架建立的网络结构适用于IPv4虚拟机与IPv6虚拟机在过渡演进的前期、中期和后期之间的无缝迁移,并可向客户端跨IPv4/IPv6网络提供云计算服务。

摘要：根据云计算平台的特点,为了实现IPv4/IPv6环境下的云计算基础平台建设,设计了一种基于自适应的NAT-PT与隧道技术协作的IPv4/IPv6虚拟机在线迁移系统。该系统适用于IPv4向IPv6演进的前期、中期、后期。利用设计的全局控制引擎为核心转换连接IPv4/IPv6网络并与特权虚拟机交互完成虚拟机在线迁移,可向客户端跨IPv4/IPv6网络提供云计算服务。该系统应用于IPv4/IPv6过渡期间云计算基础平台构建。

摘要：为充分利用异构网络资源建设云计算基础平台,满足云计算平台的资源需求,文中设计了一种基于隧道技术、前缀管理、地址池管理协作及移动IP的IPv4/IPv6虚拟机迁移过渡框架.框架将传统IPv4/IPv6过渡技术与移动IP技术应用于云计算平台的虚拟机迁移,利用过渡控制引擎作为核心与开发的IPv4/IPv6插件交互完成虚拟机迁移.经实验验证框架建立的网络结构可向客户端跨IPv4/IPv6网络提供云计算服务适用于IPv4虚拟机与IPv6虚拟机之间的无缝迁移.该框架可应用于IPv4/IPv6过渡期间云计算基础平台建设.

摘要：蜜网是一种高交互的蜜罐,是一个具有高度可控性的网络系统。蜜网的核心需求就是数据控制和数据捕获,而其关键部件就是蜜墙。本文将结合蜜网的核心需求尝试对蜜墙进行研究与设计。