计算机科学杂志北大期刊CSCD期刊统计源期刊

摘要：Web应用服务器是Web计算环境下产生的新一代中间件,为创建、部署、运行、集成和管理事务性Web应用提供一个跨平台运行环境,是我国企业信息化的基础软件设施.诸多国际知名IT企业纷纷推出其各自的Web应用服务器产品和系统.本文全面系统地对Web应用服务器进行综述,主要包括传统中间件的发展及其挑战,Web应用服务器的定义、主要功能、分类、研究内容和评测标准.根据评测标准,对若干主流Web应用服务器从功能和性能两个方面进行分析和比较.此外,指出了Web应用服务器目前存在的不足以及未来发展趋势.

摘要：本文首先介绍电子现金产生的背景、概念、研究思路、国内外现状与进展.然后介绍了电子现金系统的模型、分类、关键技术、存在的问题及述评.最后对电子现金技术的未来进行展望.目的在于让广大读者了解电子现金的发展和重要意义,激发读者积极参与电子现金技术的研究,促进我国电子商务的发展.

摘要：并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣.本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系.模型的优点在于它的普适性和开放性.

摘要：行为继承是面向对象领域的重要概念,UML是面向对象设计中重要的建模语言.本文以一种抽象状态机为模型,给出了UML行为继承关系的形式化定义,同时证明了该定义的合理性.文章最后说明了该行为继承定义方法在UML中的具体实现.所讨论的行为继承与Harel,Sourrioulle等人的定义相比,具有更精确的含义.

摘要：在移动agent环境下,agent的移动为应用程序的开发提供了更灵活的通信处理方式,但也同时对通信算法的设计提出了许多挑战,其中最突出的就是由于消息传输和agent移动之间的异步性而造成的通信不可靠问题.针对目前解决该问题的各种机制和算法的不足之处,该文提出了一种新的agent通信算法-S_COMP,它综合采用了Home寻址、途经节点转发、指向路径分次删剪和集中同步等手段,能够适应具有不同移动和通信特点的agent的通信需要,在确保消息传输可靠性的同时兼顾了效率和适应性.

摘要：随机流量网络比二态网络更适合用于描述现实生活中的许多系统.给定要求d,随机流量网络的可靠度定义为最大流不小于d的概率.这一领域的研究提供了许多算法来估计系统的可靠度.本文介绍了这些算法(特别是基于最小路径和最小割集的算法)的来源及思想.文章最后给出了将来研究工作的方向.

摘要：本文根据遥科学地基网络拓扑结构和试验数据分发的特点,在应用层设计了一个可靠多播文件传输协议.本协议具有简单、高效和安全性较高的特点,不仅适合遥科学试验数据的分发,也可用于需要安全、可靠保证的其它应用中的小规模多播文件传送.

摘要：在嵌入式Internet(EI)环境中,可以利用的资源十分有限,而要在这种条件下实现Internet接口是很困难的,通常的做法就是扩充系统资源,但是这种方法增加了系统成本,大材小用.而且嵌入式Internet设备将要最终嵌入到设备中去,因此必须要在尽量小的空间内实现所需要的功能.本文提出一种TCP状态机的约简原则,减少状态机的处理流程,将复杂状态变换转化为简单变化,将状态机中的状态数和跳转条件进行约简与合并,提高了性能,减少实现代码.在不改变协议接口的前提下在原有的资源空间内实现通用的TCP/IP协议栈,并保证了协议功能上的完备性.根据这套约简原则,在一个8位单片机上实现了一个功能完善、体积微小的嵌入式Internet内核,使其可以嵌入到任何一个小型设备和家用电器中.

摘要：QoS管理和控制是移动计算中的一个重要研究领域.该领域的主要研究内容有环境识别、适应性管理、资源管理和资源预留等.本文论述了移动计算环境下QoS研究中的一些基本概念、主要问题、研究内容和方法,并对该领域最近的研究工作进行了综述.

摘要：缓存失效报告法是在移动计算环境中普遍采用的缓存方案,即服务器定期广播缓存失效报告,该报告中包含了最近被更新的对象,根据报告内容,客户可使缓存中被更新对象失效,以保证缓存的有效性.缓存失效报告技术可采用多种策略,本文在研究多种缓存策略的基础上,提出了一种针对缓存失效方案的归类研究法,可对具体策略加以分析和评估,在此基础上对其性能进行改良,以形成更适应特定移动计算环境要求的缓存方案.

摘要：路由算法是无线自组网最为重要的技术之一.本文提出了一种策略和一个基于目的节点覆盖数的源选径算法.这种路由策略节省了无线通信中的带宽,减少了网络的传输流量.

摘要：本文研究了包括IEEE 802.11a/b结构特征在内的IEEE 802.11无线局域网(WLAN)的特性,提出了基于IEEE 802.11a/b MAC的WLAN用户室内室外定位技术方案.

摘要：由于Internet本身固有的异构性,累积层次组播受到广泛关注,但现有的层次组播大多是粗粒度和静态的,不能适应动态变化的网络环境.为解决这一问题,提出了一种动态层次组播拥塞控制机制DLMCC.在该机制中:①给出了一种反馈聚集算法,动态确定层次组播的层次数和层次速率,从而有效地提高了网络的带宽利用率;②采用了一种逐级分组对探测带宽方法,可准确快速测量本地带宽,同时可保证粗粒度的TCP友好;③所有组播层次的数据在同一个组播组中传输,彻底消除了接收者加入新的层次和离开最高层次时需执行复杂和耗时的IGMP操作,以及多个组播组导致的新的异构问题.仿真实验结果表明DLMCC是层次动态变化、TCP友好和可扩展的.

摘要：针对ATM单瓶颈节点网络模型,提出ABR业务拥塞控制方案,给出使系统闭环稳定PID参数应满足的约束条件.设置前馈环节以抑制带宽波动对缓冲区队列长度的影响.仿真结果表明,业务服务质量得到了保证,系统具有较好的动态性能.

摘要：本文分析了网络通信量中存在的自相似现象,并讨论了自相似通信量的预测及其对于网络性能分析的重要意义,提出了一种考虑了网络通信量自相似性的自适应预测方法,该预测方法在利用通信量自相似性的同时也考虑了通信量的短程相关特性,能够对实际通信量进行良好的预测.最后用实验仿真验证了这种方法在通信量预测中的有效性.