局域网服务器缓冲区容量的Petri网设计方法

本文在分析局域网服务器信息缓冲区、数据包接受和发送缓冲区的相互关系基础上提出一种新的局域网服务器缓冲区设计方法─—广义随机Ｐｅｔｒｉ网方法，并给出了局域网服务器信息缓冲区的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备、严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。     

New and used temporal models: An issue of time

TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.     

河流二维水质模型与地理信息系统的集成研究

根据水质预测、管理的不同需求,提出基于二维对流扩散方程的三种水质计算模式:连续点源排放水质模型,瞬时点源排放水质模型,有限体积法求解的数值解水质模型。基于MO进行GIS系统的组件式开发,实现了GIS平台下河势贴体河道二维正交网格的自动生成,解决了二维水体的空间网格离散问题。在此基础上,将三种类型的二维水质模型模块与GIS平台集成,以更好满足水质预测与管理在水质模型计算方式选取、计算精度与实现效率等方面的需求。     

新一代智能城域光网络

本提出了一种标准化的光控制平面。阐明了开了用于光传输网的控制平面所遇到的选择与挑战。光控制平面被分解成邻居发现、服务发现、连接控制和拓扑、资源发现等几个基本的过程。不同的网络组织和分割导致了几个不同的自动配置模型：软性持久链路模型、用户接口模型和对等模型。这是构成以IP为中心的光传输网的控制和管理基础。同时也介绍了基于SDH光交换的新一代CIENA公司智能光网络，它具有大容量光交换能力和网络拓扑结构自动发现、端对端电路配置、带宽动态分配等功能及特点，将大大提高数据、电路业务的服务质量，新一代智能光网络是干线和城域网络交换传输最佳的选择。     

Effect of Channel Changes in the St. Clair River During the Present Century

Periodic man-made changes in the outlet of Lake Huron through the St. Clair River date back to the middle of the last century. These artificial channel changes have been well documented during the present century. They consist of dredging for commercial gravel removal in the upper river during 1908–25 and uncompensated navigation improvements for the 7.6-m (25-ft) and 8.2-m (27-ft) projects completed in 1933 and 1962, respectively. The total effect of these changes on the levels of Lakes Michigan and Huron (hydraulically one lake) and on the upper St. Clair River profile was determined with dynamic flow models. The ultimate effect of the above dredging was a permanent lowering of the Lake Michigan-Huron levels 0.27 m (0.89 ft), which represents a tremendous loss of freshwater resource [32 km³ (7.7 mi³)].     

From hospital to municipal cogeneration systems: an Italian case study

A mixed integer linear programming model combined with a more traditional design by scenarios is proposed to optimize facilities size and operation mode of a municipal energy system involving significant civil centres and a hospital. Moving from the need of a new heat and power station for the local hospital due to the construction of new pavilions, the opportunity of involving other centres in the neighbourhood in a distributed cogeneration system is analysed, increasing system complexity step by step. Smaller cogeneration units tailored to hospital needs are rewarding ventures with relatively low risks but, in a country whose traditional power generation systems heavily rely on fossil fuels and where energy policy and market conditions can make it profitable to sell surplus power, district heating systems foster the installation of larger cogenerators and lead thereby to higher profits and to better performance as for primary energy savings and greenhouse gases emission reduction. Copyright © 2006 John Wiley & Sons, Ltd.     

Techniques for estimating test length under random test

When a circuit is tested using random or pseudorandom patterns, it is essential to determine the amount of time (test length) required to test it adequately. We present a methodology for predicting different statistics of random pattern test length. While earlier methods allowed estimation only of upper bounds of test length and only for exhaustive fault coverage, the technique presented here is capable of providing estimates of all statistics of interest (including expected value and variance) for all coverage specifications.Our methodology is based on sampling models developed for fault coverage estimation [1]. Test length is viewed as awaiting time on fault coverage. Based on this relation we derive the distribution of test length as a function of fault coverage. Methods of approximating expected value and variance of test length are presented. Accuracy of these approximations can be controlled by the user. A practical technique for predicting expected test length is developed. This technique is based on clustering faults into equal detectability subsets. A simple and effective algorithm for fault clustering is also presented. The sampling model is applied to each cluster independently and the results are then aggregated to yield test lengths for the whole circuit. Results of experiments with several circuits (both ISCAS '85 benchmarks and other practical circuits) are also provided.This work was done while the author was with the Department of Electrical Engineering, Southern Illinois University, Carbondale, IL 62901.     

A study of solid circulation rate in a circulating fluidized bed

An experimental investigation under cold condition was made to study the effects of some operating/design parameters and non-mechanical L valve configuration on the solid circulation rate in a 4.5 m tall, 0.15 m diameter circulating fluidized bed with riser flow rate varying from 1400 litres/min to 2000 litres/min and bed inventory from 15 kg to 25 kg of sand of average sizes 200 μm, 400 μm and 500 μm. Solid circulation rate was estimated by measuring velocity of sand particle travelling through a vertical Perspex tube section at the bottom of the return leg. It was found to be in the range of 2.8 to 12.3kg/m²s, 0.07 to 9.1kg/m²s and 0.12 to 2.23kg/m²s for sand sizes of 200 μm, 400 μm and 500 μm, respectively for a horizontal L valve. Two mathematical correlations have been developed from the experimental results to predict solid circulation rate as a function of riser flow rate, aeration flow rate, total bed inventory and particle size used.     

浅谈前海物流园规划构想

探讨了深圳前海物流园区的地理条件及发展的重要因素，针对其存在的交通设施不足，管理不到位等问题进行了分析，并结合功能定位从用地规模、功能布局等方面提出了规划设计构想。