资源预订协议RSVP和ST—Ⅱ的分析和比较

文章介绍了Ｉｎｔｅｒｅｎｔ网络中支持资源预订的协议ＲＳＶＰ和ＳＴ－Ⅱ的基本原理和工作过程，并对这两种预计协议的特性作了分析笔比较，阐述了这两种协议在多种体通信中应用前景。     

支持综合业务的Internet-ATM网络及互联

文中阐述了Ｉｎｔｅｒｎｅｔ上综合业务的模式,介绍了资源预订协议ＲＳＶＰ、Ｉｎｔｅｒｎｅｔ流协议ＳＴ－ＩＩ、资源预先预订协议ＲｅＲＡ和几种主要的Ｉｎｔｅｒｎｅｔ与ＡＴＭ主干网络的互联协议以及传统的ＴＣＰ／ＩＰ协议族的报文在ＡＴＭ网络中传送的协议ＩＰ ｏｖｅｒＡＴＭ;阐述了局域网模拟ＬＡＮＥ的体系结构及其实现的一个实例和ＡＴＭ上支持多种网络层议（如ＩＰ,ＩＰＸ／ＳＰＸ,ＡｐｐｌｅＴａｌｋ等）的规范ＭＰ     

Epilogue和BSD协议栈的实现机制的比较

协议栈是网络通信中最重要的软件部分,在数据交换中起着重要作用。对其进行研究分析有助于进行特定情况下的协议栈实现。文中对两种典型协议栈的实现方式进行比较,分析了两者在各个层次上的协议的实现,并比较其协议栈所占用资源,从而对其可靠性和进行二次开发的可能性进行研究,最后分析了这两种协议栈的实现方式的优缺点。两种协议栈的比较可为实现某种协议栈时提高其可靠性、可读性、可移植性提供有益参考。     

Epilogue和BSD协议栈的实现机制的比较

协议栈是网络通信中最重要的软件部分,在数据交换中起着重要作用.对其进行研究分析有助于进行特定情况下的协议栈实现.文中对两种典型协议栈的实现方式进行比较,分析了两者在各个层次上的协议的实现,并比较其协议栈所占用资源,从而对其可靠性和进行二次开发的可能性进行研究,最后分析了这两种协议栈的实现方式的优缺点.两种协议栈的比较可为实现某种协议栈时提高其可靠性、可读性、可移植性提供有益参考.     

如何在IE4中预订内容

微软新的网络浏览器IE4提供了“预订网点”和“预订频道”两种对Web网内容的预订功能。用好这两种功能,用户可以最快知道感兴趣网点的更新情况,又可以最大程度地降低联网时间,做到“鱼和熊掌兼得”。下面,笔者根据自己的经验,谈谈这两种预订功能的使用方法。     

UPnP和IGRS互操作性研究

UPnP和IGRS是数字家庭领域中实现设备无缝连接的两大主流协议,由于这两种协议对各自设备及其所提供服务的描述格式各不相同,因此基于不同协议的设备不能直接相互识别、连接.针对此情况,从IGRS和UPnP两大主流协议的内部机制层面分析了两种协议的差别,并阐述了基于这两种协议设备互联互通的可行性,从而实现基于不同协议的信息设备资源共享和协同服务,为IGRS和UPNP设备的互联互通提供理论支持.     

复杂网络环境下SNMP和CMIP集成管理技术

网络管理协议是网络管理系统重要组成部分,简单网络管理协议(SNMP)和公共信息管理协议(CMIP)是目前两种重要的网络管理协议,这两种管理协议在信息结构定义和通信机制上存在很大差异,论文对这两种管理协议的集成技术进行了研究,并重点讨论用基于SNMP协议的管理系统管理基于CMIP协议的网络设备的委托代理技术的一种实现.     

天涯涉足海外旅游市场

天涯社区1月15日宣市与网上订房公司Booking.com正式签约,借此合作双方可为中国旅行者提供172个国家和地区超过26万家酒店的预订服务这同时标志着天涯旅游电子商务开始涉足海外旅游市场。根据双方协议,天涯旅游电子商务平台将可以即时抓取Booking酒店数据,分享其酒店资源,这是天涯旅游     

基于WAP的智能停车位系统

在现有的设备和数据信息资源基础上,利用无线应用协议和计算机网络技术,提出了一种基于WAP的智能停车位系统解决方案,通过构建WAP应用程序实现了停车位信息的查询和采集功能,使车主能及时了解并预订各个停车场的空车位,在一定程度上缓解城市停车难.最后,经手机测试,系统功能和性能达到了预期要求,系统在数家示范单位(景区中小型停车场)应用效果良好.     

基于NS2仿真的AODV和DSR路由协议性能的比较与分析

针对Ad hoc网络中两种路由协议AODV和DSR,用NS2网络环境模拟器对分组投递率和归一化路由开销两个性能指标进行了仿真,分析和对比这两种路由协议在不同的通信模型和移动模型条件下的性能表现。NS2仿真结果表明,两种路由协议AODV和DSR,节点越大,分组投递率越高。节点数大的,路由开销较为平稳。在艰难的作战环境下,AODV协议表现得更加有效,而在相对平稳的环境下,DSR协议表现得更好。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.