一种利用域名系统支持主机移动的路由协议

当网络主机改变网络接入点时。传统的TEP／IP协议无法正常运作。这是由于IP地址的双重作用(既是主机的名也指明主机当前的网络位置)引起的，支持主机移动的网络协议SHMUD(Supporting Host Mobility Using DNS)用域名作为主机名。保留主机IP地址指示其当前网络位置的作用，解决了这一问题，SHMUD以域名服务系统作为它的位置目录，在每个移动主机可能访问的网络中安装移动代理，当移动主机从一个网络移动到另一个网络。并通过DHCP服务器获得了当地网络的一个IP地址后。向它的归属代理(Home Agent)发送登记请求，归属代理根据该移动主机的请求通知DNS服务器。DNS服务器就更新该移动主机的域名—地址映射。这样网络中其它主机利用域名与该移动主机通信时就可以直接将IP报发往该移动主机的当前IP地址了，在移动主机改变网络接入点的过程中，可能与其它主机正在进行通信。为保证通信不被中断(称为平滑越区)。SHMUD提出了一种新的机制以实现主机的平滑越区。此外，SHMUD还提供必要的安全措施使各个移动代理和DNS服务器不受网络攻击。最后，给出了SHMUD的原型系统和性能分析，与其它支持主机移动的路由方案如Mobile-IP相比，SHMUD实现了路径优化、资源的分布式管理、平滑越区以及身份验证等。此外，它只需要在移动主机可能访问的网络中安装移动代理，并在移动主机上安装必要的软件即可运行，不必进行大规模的软件升级，因此较适于在因特网中推广。     

P2P流媒体系统的激励机制

目前P2P流媒体技术已经成为Internet上大规模流媒体应用的最流行的实现方案,但其服务质量会受到搭便车问题的影响。本文提出了一种基于内容差分服务的激励机制,该机制根据节点的贡献值和节目的流行度两个因素来计算节点的信誉,节目列表服务器按照节点的信誉值返回相应的节目列表,这样可以实现内容差分服务以避免搭便车问题。仿真结果表明,该激励机制可以有效提高视频播放质量。     

马克思主义哲学研究范式创新与转换的理论前提省思

进入新世纪以来,范式的创新与转换问题已成为马克思主义哲学研究的前沿课题和热点问题。但是,学界对于当代中国马克思主义哲学的研究范式到底应当是什么,我们应该如何实现马克思主义哲学研究范式的创新与转换,以及推进这种范式创新与转换的前提、基础、实质和关键问题是什么还众说纷纭,这势必影响马克思主义哲学研究范式的创新与转换。不言而喻,"马克思主义哲学研究范式"与"马克思哲学范式"密切相关,甚至可以说,后者是前者创新与转换的前提和根据,同时也是当代中国马克思主义哲学创新与发展的生长点和突破口。因此,理清二者的内在关联,并在此基础上展开"马克思哲学范式"的全面探讨和深入研究,则必将成为学界未来一段时间的研究趋势和理论动向。     

新一代网络计算模式Web服务

基于Internet标准协议的Web服务技术的出现,突破了传统分布式计算技术难以穿越防火墙的缺点,因而可用于集成 Internet上的各种服务,实现 Internet范围内跨平台、跨操作系统的分布式计算.文章介绍了构成 Web服务体系架构的主要标准和协议简单对象访问协议(SOAP)、Web服务描述语言(WSDL)和统一描述、发现和集成协议(UDDI),并给出示例参考代码和Web服务具体应用的实例.     

基于P2P技术的高性能计算平台

给出了一个基于对等网络的高性能计算平台———P2HP的设计与实现技术.构建了该平台的总体结构,它由Portal,Datapool,工作台和工作组组成,给出了这些组成单元的设计方法和实现技术,并在此基础上分析了平台的性能.由于具有全新的通信方式,平台扩展了程序级并行应用的范围.通过对该平台的设计分析,提出了一种利用Internet中的计算资源进行高性能计算的新方法.实验证明该平台具有良好的扩展性和容错性.     

面向网构软件的操作系统:发展及现状

 计算机软件是计算机系统的“灵魂”,而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件对包括操作系统在内的软件技术体系带来一系列新挑战。本文关注“面向网构软件的操作系统”（简称“网构操作系统”）,简要回顾了操作系统的发展历史,介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上,对操作系统的未来发展进行了展望。     

Circle quorum system-based non-stop network service model

Rapid developments in network systems of business service have resulted in more reliance on distributed computing, typified by “subscriber/push” architectures. Unfortunately, frequent and unexpectable network failures were routine, and downtime was not in hours, but in days. High availability has become the most important factor decreasing business risk and improving Quality of Service. Cluster technology has solved the non-stop problem on Local Area Network. However, most technologies including cluster today fail to ensure the non-stop Internet service based on Routers. With good performance on high availability and fault tolerance, quorum systems are very suitable for application to distributed business service networks. In this work, we modeled and developed a non-stop Internet service system based on a new quorum system, circle quorum system, for Boston Mutual Fund Broker, US. With five protocols, it provided highly available data services for clients on Internet.     

21世纪以来的中国语用学研究

文章从理论研究、应用研究、语用学新范式研究等几个方面对21世纪以来我国语用学研究的发展进程、研究状况和发展趋势、新的研究特点进行了分析与评述。这十年来的语用学研究有五大特点：（1）研究对象越来越微观化；（2）跨学科的交叉研究大量涌现；（3）语言哲学与逻辑学的进一步介入使国内语用学研究层次大为提升；（4）语料的选择越来越本土化、多样化；（5）语用学研究方法日趋多样，实证研究大量涌现。     

P2P网络技术综述

P2P网络技术改变互联网客户机／服务器模式,能更好解决对等计算、协同工作、深度搜索等网络应用。本文简述了P2P网络技术的特点。根据P2P的发展,介绍P2P网络的拓扑结构以及P2P技术应用领域存在的一些问题。     

光因特网体系结构技术研究

随着Internet的迅速普及,以IP为主的业务在飞速增长,未来的网络将要应付这种不断增长的IP业务,光因特网是未来Internet的发展方向.讨论了光因特网的体系结构,分析了组网方式,深入探讨了OSPF路由协议和对等模型路由机制,对光因特网建设具有指导意义.     

面向无结构化P2P系统的一种高效数据定位方法

分布式无结构化对等(P2P)系统在互联网上得到大量应用,但这类系统中数据定位的性能较差.本文提出了无结构化对等系统的一种高效数据定位方法--内容感知的数据定位方法.在该方法中,各结点加入时优先选择相似度高的结点作为拓扑邻居,各结点维护一个动态信息表,保存了附近邻居上数据内容的指示信息,可在数据定位时指导定位消息的转发.实验结果表明,与传统数据定位方法相比,内容感知的数据定位方法能够在保持较低定位延迟的同时,显著降低对等系统的定位消息开销,有效改善无结构化对等系统的性能.     

从Ipv4到Ipv6网络程序的迁移

目前,互联网正处于从Ipv4向Ipv6的转换过渡阶段,为了很好地利用基于Ipv4的网络程序软件资源,使其向Ipv6平稳地迁移,运用TCP/IP基本原理,剖析了Ipv4与Ipv6应用程序之间的差异,探讨了在UNIX平台下从Ipv4到Ipv6网络程序进行有效迁移的原则和实现方法,进而开发出能同时运行于2种协议下的网络程序.应用结果表明,该网络程序能自适应2种协议下不同主机的移植.     

对等网络中分布式查找算法的分析比较

对等网络中的分布式查找算法可分为结构性和非结构性的,它们在查找机制、网络拓扑和查找效率等方面存在一些共性及区别.经过综合比较后发现,查找算法在不同指标上存在一定的权衡,如为了提高某一个指标(如时间复杂性),必然以牺牲另外的指标(如空间复杂性或网络负载)为代价.在将复杂查询加以改进后可以将文件查找算法应用到其他领域(如网格计算)中作为分布式查找的基础,为设计新的查找算法和扩展P2P查找算法的应用领域提供了重要参考.     

法学研究的新范式——进化生物学范式及其展望

进化生物学已对几乎所有社会科学产生影响，并成为经济学、心理学和人类学等学科的主导研究范式之一，但在法学研究中仍未取得与之相称的进展。进化生物学既研究有机体进化也研究文化进化，法律是一种文化现象并有其进化上的根源，因而在法学研究中引入进化生物学范式就成为可能。     

基于Internet的网格计算模型研究

为了实现在地理上分散的计算资源共享,降低计算成本,提出了基于Internet的网格计算模型I－GRID及其实现方法。I－GRID是可以作为虚拟的整体而使用的广域异构计算环境,支持节点的动态加入,通过元数据信息实现异构节点之间的透明通信,利用对象技术实现单一映像文件系统,并提供与流行的并行编程软件的接口。雅戈比迭代的性能证明,I－GRID具有很好的可用性和较好的实时性。通过I－GRID的研究,将为校园网络用户提供统一编程接口的高性能计算环境。     

移动对等网络覆盖网模拟器比较与开发

为了确定已有的通用网络模拟器和P2 P网络模拟器能否很好的支持移动对等网络模拟,比较和分析了已有的二十余种网络模拟器的特性,得出了仅有极少数网络模拟器较适合移动对等网络覆盖网模拟的结论,并以其中一种模拟器为例,给出了移动对等网络覆盖网模拟的开发步骤,最后提出了移动对等网络覆盖网模拟器的发展方向.     

基于网络的互动式学习系统的探讨

由于计算机网络的普及,互联网已经成为学生学习必不可少的途径之一,为此大多数院校已经开始研究适合自身的互动式学习系统。文章首先对互动式学习系统的优势进行了总结,并介绍了国内外的研究现状,之后提出了开发互动式学习系统的原则及开发的重点模块。     

一种基于异步执行机制的新型移动代理方案

移动代理是一种新兴的网络技术,它提供了一个新的计算方式,在网络分布式环境中有着极为重要的作用。随着移动软件混合性的增加,也伴随着对安全的威胁。保护移动代理的代码及数据免受窜扰已成为移动代理能正常运行的关键。传统的密码机制不能直接应用到移动代理环境,考虑到移动代理的动态性和智能性等特点,提出了一种基于异步执行机制的新型移动代理方案,以增强移动代理和其执行环境的安全可靠性。最后对其做了安全分析和性能分析。     

Low-Overhead Non-Blocking Checkpointing Scheme for Mobile Computing Systems

When applied to mobile computing systems,checkpoint protocols for distributed computing systems would face many new challenges, such as low wireless bandwidth, frequent disconnections, and lack of stable storage at mobile hosts. This paper proposes a novel checkpoint protocol to effectively reduce the coordinating overhead. By using a communication vector, only a few processes participate in the checkpointing event. During checkpointing, the scheme can save the time used to trace the dependency tree by sending checkpoint requests to dependent processes at once. In addition, processes are non- blocking in this scheme, since the inconsistency is resolved by the piggyback technique. Hence the unnecessary and orphan messages can be avoided. Compared with the traditional coordinated checkpoint approach, the proposed non-blocking algorithm obtains a minimal number of processes to take checkpoints. It also reduces the checkpoint latency, which brings less overhead to mobile host with limited resources.     

设计科学:从规范性到描述性

 论述了目前关于设计科学的不同观点,探讨了重要设计理论的特点。分析表明,目前设计理论集中在应当如何做而缺乏对客观规律的探索。设计科学不仅是采用科学的方法研究设计,而且作为一门科学,设计科学应具备科学的一般属性,即探索客观规律和发展描述性理论。描述性设计理论可为设计理论和方法提供依据,为提高设计效率和设计质量提供指导。