检索结果-南通市图书馆

Study on Optimal Topology for Computer Local Double Loop Networks

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1992年第4期3卷 37-52页

作者： li layuanwuhan university of water transportation engineering, wuhan 430063, P.R.china wuhan university of water transportation engineering Wuhan 430063 P.R. China

A dist ributed optimal local double loop (DOLDL) network is presented. Emphasis is laid on the topology and distributed routing algorithms for the DOLDL. On the basis of building an abstract model, a set of definitions and theorems are described and proved. An algorithm which can optimize the double loop networks is presented. The optimal values of the topologic parameters for the DOLDL have been obtained by the algorithm, and these numerical results are analyzed. The study shows that the bounds of the optimal diameter d and average hop distance a for this class of networks are [3N- 2]≤d≤[3N ] and (5N/9 (N-1))-(3N -1.8)

关键词： Local networks Loop networks Optimal topology Distributed routing algorithm.

A Routing Algorithm for Distributed Optimal Double Loop Computer Networks

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1994年第1期5卷 37-43页

作者： li Layuan(Department of Electrical engineering and Computer Science.wuhan university of water transportation, wuhan 430063, P. R. china) Department of Electrical engineering and Computer Science Wuhan University of Water Transportation Wuhan 430063 P.R. China

A routing algorithm for distributed optimal double loop computer networks is proposed and analyzed. In this paper, the routing algorithm rule is described, and the procedures realizing the algorithm are given. The proposed algorithm is shown to be optimal and robust for optimal double loop. In the absence of failures,the algorithm can send a packet along the shortest path to destination; when there are failures,the packet can bypasss failed nodes and links.

关键词： Computer networks Double loop Routing algorithm

NUMERICAL INVESTIGATIONS INTO THE FRICTION REDUCTION BY MICROBUBBLES FOR FLAT PLATES

在线全文

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2003年第3期15卷 82-88页

作者： Zhan De-xin, Wang Jia-mei, lin li-ming School of transportation, wuhan university of Technology, wuhan 430063, china, Sch. of Transp. Wuhan Univ. of Technol. Wuhan 430063 China

The two-dimensional flow on the flat plate with injected microbubbles issimulated using the software, PHOENICS (V3. 2), usually used in the CFD (Computational FluidDynamics). A set of formulas for K-ε turbulence model modified with the presence of microbubbles,is employed. With considering the effect of gravity, interfacial lift, inter-phase friction, virtualmass force and interfacial pressure on the flow with microbubbles, numerical calculations for theinfluence of variable air volume fracton as well as distribution, injecting speed, microbubblediameter and position of introducing microbubbles on the friction reduction are presented. Resultsshow that the friction reduction increases with increasing volume fraction and microbubble diameterwithin the range of 100μm, and that the velocity in the boundary layer with microbubbles is greaterthan that without microbubbles. The order of magnitude and trends of the experimental skin-frictionare reproduced well. The uniform free-stream speed in all cases is 4m/s, giving Reynolds number ofup to 20 million.

关键词： flat plate friction reduction by microbubbles modified K-ε turbulencemodel numerical simulation

A Java-Based Approach for Developing Web Application System

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1999年第3期10卷 15-21页

作者： li Chunlin(Dept. of Computer Science and engineering, wuhan transportation university, 430063, P. R. china )(Received) Dept. of Computer Science and engineering Wuhan Transportation University 430063 P. R. China

This paper adopts server-side Java programming model: mod e 1- view-cont roller to construct welybased shopping system framework. Using servlets, Java server pages (JSPs) and JavaBeantechnologies, we provide a standard, open, robust and cross-platform architecture. It can guarantee system- independence. Presented framework provides a clean separation of presentation from business logic which meets user's taste by changing user interface frequenctly, and enables more functions to be conventiently added in future.

关键词： Web application system Java Electronic shopping system

A　Hybrid　Formal　Description　Method　Based　on　FSM,CSP　and　ADT　for　Communication　Protocol

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1998年第3期9卷 29-38页

作者： li Layman(wuhan transportation universityl 430063, P. R. china) wuhan transportation university 430063 P. R. China

Since communication protocol deals with complex issues related to distribution such as communication, concurrency and synchronization, their development needs to be traced by using sophisticated formal description methods. This paper presents a new hybrid formal method for communication protocol specification. In this method, finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT) are mixed and the best features of these approaches are offered. In this paper, the main formal description techniques (FDT) for protocol engineering are brieny introduced and a hybrid formal description method based on the FSM, CSP and ADT for communication protocol is described. Finally, this paper presents the formal specification of an example protocol for LAN by using the proposed hybrid formal method. The results of studies show that the hybrid formal description method for communication protocol is an available and effective approach.

关键词： Communication protocol Formal description techniques,Protocol engineering Hybrid formal method

DIGITAL CONTOUR ENHANCEMENT OF INFRARED IMAGE

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Scientia 1995年第S1期15卷 103-108页

作者：李腊元 Department of Electrical engineering and Computer Science Wuhan University of Water Transportation Engineering Wuhan 430063 China

The digital contour enhancement techniques of infrared image are discussed. Emphasis is laid the thermal spread compensation method. On the basis of describing the theory of the method, a model is suggested. The concrete project based on the model for realizing digital contour enhancement of the infrared thermal image is put forward, and some test results are shown.

关键词： Infrared image processing Enhancement Real time Theory and model.

A Transport Protocol and Its Formal Description for Local Networks

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1998年第1期9卷 48-55页

作者： li Layuan wuhan transportation university, 430063, P. R. china

This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.

关键词： Local networks Transport protocol Formal description.

The Algorithms for Achieving Global States and Self-Stabilization for Communication Protocols

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 1999年第4期10卷 34-41页

作者： li Layuan & li Chunlin(Department of Computer Science & engineering. wuhan transportation university,430063,P . R. china) Department of Computer Science & engineering. wuhan transportation university 430063. P. R. China

This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol.

关键词： Communication protocols Algorithm for achieving global states Self-stabilization,Computer networks Multimedia communication networks.

A Recovery Algorithm for Self-Stabilizing Communication Protocols

在线全文

学校读者我要写书评

暂无评论

Journal of Systems engineering and Electronics 2000年第1期11卷 38-46页

作者： li Layuan & li Chunlin (Department of Computer Science & Technology, wuhan nansportation university, 430063, P. R. china) Department of Computer Science & Technology Wuhan Transportation University 430063 P. R. China

This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, proves its correctness and analyses its complexity. Finally, it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with multi-processes.

关键词： Computer networks Communication protocols Recovery algorithm Self-stabilization Multimedia communication networks.