检索结果-南通市图书馆

A r.uting Algor.thm for.Distr.buted Op.imal Double Loop.Comp.ter.Networ.s

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1994年第1期5卷 37-43页

作者： li layuan(Dep.r.ment of Electr.cal Engineer.ng and Comp.ter.Science.wuhan university of Water.transportation, wuhan 430063, p. r. china) Dep.r.ment of Electr.cal Engineer.ng and Comp.ter.Science Wuhan University of Water Transportation Wuhan 430063 P.R. China

A r.uting algor.thm for.distr.buted op.imal double loop.comp.ter.networ.s is p.op.sed and analyzed. In this p.p.r. the r.uting algor.thm r.le is descr.bed, and the p.ocedur.s r.alizing the algor.thm ar. given. The p.op.sed algor.thm is shown to be op.imal and r.bust for.op.imal double loop. In the absence of failur.s,the algor.thm can send a p.cket along the shor.est p.th to destination; when ther. ar. failur.s,the p.cket can byp.sss failed nodes and links.

关键词： Comp.ter.networ.s Double loop r.uting algor.thm

A Heur.stic Algor.thm for.QoS Multicast r.uting

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 2002年第4期13卷 73-78页

作者： li layuan & li Chunlin Dep.r.ment of Comp.ter.Science, wuhan university of Technology, wuhan 430063, p. r. china Dep.r.ment of Comp.ter.Science Wuhan University of Technology Wuhan 430063 P. R. China

In r.cent year., QoS multicast r.uting has continued to be a ver. imp.r.ant r.sear.h top.c in the ar.as of networ.s. This p.p.r.p.esents a heur.stic algor.thm for.the QoS multicast r.uting (HAQMr.. This heur.stic algor.thm deals with delay and bandwidth constr.ints and has low cost. The HAQMr.attemp.s to significantly r.duce the over.ead for.constr.cting a multicast tr.e, the p.oof for.cor.ectness of the HAQMr.is given, and the p.r.or.ance of the HAQMr.is evaluated by simulations. The study shows that HAQMr.p.ovides an available ap.r.ach to QoS multicast r.uting.

关键词： Heur.stic QoS Multicast QoS constr.ints QoS r.uting.

A　Hybr.d　For.al　Descr.p.ion　Method　Based　on　FSM,CSp.and　ADT　for.Communication　p.otocol

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1998年第3期9卷 29-38页

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

Since communication p.otocol deals with comp.ex issues r.lated to distr.bution such as communication, concur.ency and synchr.nization, their.develop.ent needs to be tr.ced by using sop.isticated for.al descr.p.ion methods. This p.p.r.p.esents a new hybr.d for.al method for.communication p.otocol sp.cification. In this method, finite state machine (FSM), communication sequential p.ocess (CSp. and abstr.ct data typ. (ADT) ar. mixed and the best featur.s of these ap.r.aches ar. offer.d. In this p.p.r. the main for.al descr.p.ion techniques (FDT) for.p.otocol engineer.ng ar. br.eny intr.duced and a hybr.d for.al descr.p.ion method based on the FSM, CSp.and ADT for.communication p.otocol is descr.bed. Finally, this p.p.r.p.esents the for.al sp.cification of an examp.e p.otocol for.LAN by using the p.op.sed hybr.d for.al method. The r.sults of studies show that the hybr.d for.al descr.p.ion method for.communication p.otocol is an available and effective ap.r.ach.

关键词： Communication p.otocol For.al descr.p.ion techniques,p.otocol engineer.ng Hybr.d for.al method

A r.cover. Algor.thm for.Self-Stabilizing Communication p.otocols

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 2000年第1期11卷 38-46页

作者： li layuan & li Chunlin (Dep.r.ment of Comp.ter.Science & Technology, wuhan nansp.r.ation university, 430063, p. r. china) Dep.r.ment of Comp.ter.Science & Technology Wuhan Transportation University 430063 P. R. China

This p.p.r.p.esents a r.cover. algor.thm for.self-stabilizing communication p.otocols. It fir.t descr.bes some concep.s and a for.al descr.p.ion method for.the algor.thm. Then it p.op.ses the algor.thm p.ocedur.s, p.oves its cor.ectness and analyses its comp.exity. Finally, it also ver.fies the availability and efficiency of the algor.thm by illustr.ting an examp.e p.otocol with multi-p.ocesses.

关键词： Comp.ter.networ.s Communication p.otocols r.cover. algor.thm Self-stabilization Multimedia communication networ.s.

A Str.ctur.d Methodology for.Local Networ. Design Engineer.ng

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1992年第1期3卷 64-72页

作者： li layuanwuhan university of Water.transportation Engineer.ng, wuhan 430063, china wuhan university of Water.transportation Engineer.ng Wuhan 430063 China

This p.p.r.p.esents a str.ctur.d methodology for.local networ. design engineer.ng (SMLNDE). A comp.ex and fuzzy p.oject for.local networ. design can be decomp.sed into a set of simp.e and p.r.icular.activities using the SMLNDE. The SMLNDE allows r.gor.us r.quir.ments definition and p.r.its the exhaustive consider.tion of the lar.e number.of factor. influencing local networ. design engineer.ng. The comp.ete and clear.design documentations and an op.imal design can also be p.ovided by the methodology. The SMLNDE has been imp.emented using the str.ctur.d analysis and design technique. The study shows that the SMLNDE is an effective design methodology for.the lar.e and comp.ex local networ.s.

关键词： Local networ. Design engineer.ng Str.ctur.d methodology.

An Investigation of For.al Techniques of p.otocol Based on CFSM

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1997年第2期8卷 66-72页

作者： li layuanwuhan Jiaotong university, 430063, p. r. china) wuhan Jiaotong university 430063 P. R. China

This p.p.r.investigates for.al techniques of p.otocol based on communicating finite state machines (CFSM). Taking the p.otocols p.LLEND (p.) and ACKNACK (AN) as the examp.es, the p.p.r.discusses the for.al descr.p.ion, validation and conver.ion of p.otocol with the CFSM, p.esents a p.otocol validation method and a p.otocol conver.ion algor.thm based on the CFSM and demonstr.tes the ap.licability of the method and the algor.thm using the examp.e p.otocols p. and AN.

关键词： CFSM Communication p.otocol For.al techniques.

A Java-Based Ap.r.ach for.Develop.ng Web Ap.lication System

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1999年第3期10卷 15-21页

作者： li Chunlin(Dep.. of Comp.ter.Science and Engineer.ng, wuhan transportation university, 430063, p. r. china )(r.ceived) Dep.. of Comp.ter.Science and Engineer.ng Wuhan Transportation University 430063 P. R. China

This p.p.r.adop.s ser.er.side Java p.ogr.mming model: mod e 1- view-cont r.ller.to constr.ct welybased shop.ing system fr.mewor.. Using ser.lets, Java ser.er.p.ges (JSp.) and JavaBeantechnologies, we p.ovide a standar., op.n, r.bust and cr.ss-p.atfor. ar.hitectur.. It can guar.ntee system- indep.ndence. p.esented fr.mewor. p.ovides a clean sep.r.tion of p.esentation fr.m business logic which meets user.s taste by changing user.inter.ace fr.quenctly, and enables mor. functions to be conventiently added in futur..

关键词： Web ap.lication system Java Electr.nic shop.ing system

NUMEr.CAL INVESTIGATIONS INTO THE Fr.CTION r.DUCTION BY MICr.BUBBLES FOr.FLAT p.ATES

在线全文

学校读者我要写书评

暂无评论

Jour.al of Hydr.dynamics 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 Tr.nsp. Wuhan Univ. of Technol. Wuhan 430063 China

The two-dimensional flow on the flat p.ate with injected micr.bubbles issimulated using the softwar., p.OENICS (V3. 2), usually used in the CFD (Comp.tational FluidDynamics). A set of for.ulas for.K-ε tur.ulence model modified with the p.esence of micr.bubbles,is emp.oyed. With consider.ng the effect of gr.vity, inter.acial lift, inter.p.ase fr.ction, vir.ualmass for.e and inter.acial p.essur. on the flow with micr.bubbles, numer.cal calculations for.theinfluence of var.able air.volume fr.cton as well as distr.bution, injecting sp.ed, micr.bubblediameter.and p.sition of intr.ducing micr.bubbles on the fr.ction r.duction ar. p.esented. r.sultsshow that the fr.ction r.duction incr.ases with incr.asing volume fr.ction and micr.bubble diameter.ithin the r.nge of 100μm, and that the velocity in the boundar. layer.with micr.bubbles is gr.ater.han that without micr.bubbles. The or.er.of magnitude and tr.nds of the exp.r.mental skin-fr.ctionar. r.p.oduced well. The unifor. fr.e-str.am sp.ed in all cases is 4m/s, giving r.ynolds number.ofup.to 20 million.

关键词： flat p.ate fr.ction r.duction by micr.bubbles modified K-ε tur.ulencemodel numer.cal simulation

The Algor.thms for.Achieving Global States and Self-Stabilization for.Communication p.otocols

在线全文

学校读者我要写书评

暂无评论

Jour.al of Systems Engineer.ng and Electr.nics 1999年第4期10卷 34-41页

作者： li layuan & li Chunlin(Dep.r.ment of Comp.ter.Science & Engineer.ng. wuhan transportation university,430063,p.. r. china) Dep.r.ment of Comp.ter.Science & Engineer.ng. wuhan transportation university 430063. P. R. China

This p.p.r.discusses the algor.thms for.achieving global states and self-stabilizationfor.communication p.otocols. It fir.t descr.bes a p.imar. algor.thm including its suitability for.chieving global states and limitation of self-stabilization for.communication p.otocols, and thenp.esents an imp.oved algor.thm that can be suitable to achieve global states and can be also usedto self-stabilizing communication p.otocols. Filially, it gives the p.oof of cor.ectness and analysis ofcomp.exity of the imp.oved algor.thm, and ver.fies its availability and efficiency by illustr.ting anexamp.e p.otocol.

关键词： Communication p.otocols Algor.thm for.achieving global states Self-stabilization,Comp.ter.networ.s Multimedia communication networ.s.