检索结果-内蒙古大学图书馆

CONCURRENT BOUNDARY-ELEMENT COMPUTATION

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年第2期6卷 83-98页

作者： MCDOWALL, DS LEE, TW FUSCO, VF Microwave Research Group Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH Northern Ireland U.K. D. Stewart McDowall was born in Dublin epublic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Department of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrient programming. He is an Associate Member of the Institute of Electrical Engineers. Lee Thaim Wee was awarded the degree of B. Eng. in Electronics from the Queen's University of Belfast in July 1991. He is currently serving in the Malaysian Armed Forces. Vincent F. Fusco was educated at the Queen's Univeristy of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a reader in Microwave Communications in the School of Electrical Engineering and Computer Science the Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

A major limitation of the boundary element method (BEM) for the solution of electrical potential problems is the long computational time required. However, a large portion of the calculations involved can be viewed as being parallel in nature and can therefore be computed concurrently. This paper makes an effort to increase the efficiency of the BEM process using transputer-based multiprocessor computing techniques. The algorithms developed may equally well be applied to any multiprocessor system. The application selected to demonstrate the technique is the solution of an electrostatic problem governed by a two-dimensional Laplace equation. A parallel algorithm for problem setup and field extraction using BEM is designed and implemented on a transputer array. Special attention is directed to the utilization of the parallel processors to achieve maximum efficiency. The analysis in this work concentrates on the communication strategies for passing data between processors as well as a consideration of the workload attributed to each processor. The parallel algorithms were implemented using 3L Parallel Fortran;however, the choice of topology for the overall BEM implementation was limited by the fact that certain parts of the algorithm could only utilize a pipeline configuration of processors. Comprehensive results for the parallel BEM algorithm are given and they are encouraging, indicating that parallel processing has much to offer when applied to the boundary element method.

关键词： Boundary element method

来源：评论

学校读者我要写书评

暂无评论

TLM MODELING USING AN SIMD computer

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年第4期6卷 299-304页

作者： TAN, CC FUSCO, VF The Queen's University of Belfast Department of Electrical & Electronic Engineering Ashby Building Stranmillis Road Belfast BT9 5AH U.K. Chun Chia Tan obtained a first-class honours degree from The Queen's University of Belfast. He was awarded an IEE prize for best final-year project. His current research interests include the modelling of electromagnetic fields using parallel processing techniques. At present Mr Tan is working as an electrical engineer in Malaysia. Vincent F. Fusco was educated at The Queen's University of Belfast where he obtained the degree of Ph.D. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a Reader in Microwave Commnications in the School of Electrical Engineering and Computer Science The Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems. He has acted as consultant to a number of major companies and has published numerous research papers in these areas. He is author of the bookMicrowave Circuits Analysis and Computer Aided Design(Prentice Hall 1987). Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

A major limitation of the transmission-line matrix (TLM) method used to solve Maxwell's equations is the long computation time required. The TLM scattering calculations involved can, however, be viewed as parallel in nature. This paper describes an effort to reduce computational time by using an SIMD, DAP multiprocessor computer employed to solve a two-dimensional TLM electromagnetic field formulation. A parallel algorithm based on the TLM scattering algorithm is designed and implemented using FORTRAN-PLUS Enhanced on an AMT DAP 510 machine. Here the connectivity of the DAP is exploited to simulate the intrinsic scattering behaviour on which the TLM algorithm relies. The results show that parallel processing on an SIMD machine such as the DAP is advantageous, especially for higher-order mesh sizes.

关键词： Electric lines

来源：评论

学校读者我要写书评

暂无评论

COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME distributed systems

引用

SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING scienceS 1992年第1期17卷 75-93页

作者： SHYAMASUNDAR, RK LIU, LY Computer Science Group Tata Institute of Fundamental Research Bombay India IBM Programming Systems Cary Laboratory Cary USA

In this paper, we develop a compositional denotational semantics for prioritized real-time distributed programming languages. One of the interesting features is that it extends the existing compositional theory proposed by Koymans et al (1988) for prioritized real-time languages preserving the compositionality of the semantics. The language permits users to define situations in which an action has priority over another action without the requirement of preassigning priorities to actions for partially ordering the alphabet of actions. These features are part of the languages such as Ada designed specifically keeping in view the needs of real-time embedded systems. Further, the approach does not have the restriction of other approaches such as prioritized internal moves can preempt unprioritized actions etc. Our notion of priority in the environment is based on the intuition that a low priority action can proceed only if the high priority action cannot proceed due to lack of the handshaking partner at that point of execution. In other words, if some action is possible corresponding to that environment at some point of execution then the action takes place without unnecessary waiting. The proposed semantic theory provides a clear distinction between the semantic model and the execution model - this has enabled us to fully ensure that there is no unnecessary waiting.

关键词： COMPOSITIONAL SPECIFICATION REAL-TIME distributed systems PRIORITY SPECIFICATION MESSAGE PASSING MODELS

来源：评论

学校读者我要写书评

暂无评论

A distributed Lisp programming system: Implementation and usage 12

A distributed Lisp programming system: Implementation and us...

引用

12th International Conference on distributed Computing systems, ICDCS 1992

作者： Pearson, Mark P. Dasgupta, Partha Distributed Systems Laboratory College of Computing Georgia Institute of Technology AtlantaGA30332-0280 United States Department of Computer Science and Engineering Arizona State University TempeAZ85287-5406 United States

The implementation details of a Lisp environment built on top of a distributed operating system are presented. The system provides transparent distribution, protected large-grain persistent heaps, concurrency within e... 详细信息

ISBN: (纸本)0818628650

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A distributed Lisp programming system: implementation and usage

A distributed Lisp programming system: implementation and us...

引用

International Conference on distributed Computing systems

作者： M.P. Pearson P. Dasgupta Distributed Systems Laboratory College of Computing Georgia Institute of Technology Atlanta GA USA Department of Computer Science and Engineering Arizona State University Tempe AZ USA

关键词： distributed computing Concurrent computing Data structures Runtime environment Educational institutions Protection Workstations Hardware programming profession Terminology

来源：评论

学校读者我要写书评

暂无评论

CLIDE: a distributed, symbolic programming system based on large-grained persistent objects

CLIDE: a distributed, symbolic programming system based on l...

引用

International Conference on distributed Computing systems

Clouds LISP distributed environments (CLIDE) is a distributed, persistent object-based symbolic programming system being implemented on the Clouds distributed operating system. LISP environment instances are stored as large-grained persistent objects, enabling users on many machines to share the contents of these environments through interenvironment evaluations. CLIDE provides a comprehensive research environment for distributed symbolic language, invocation and consistency semantics, and an implementation vehicle for the construction of the symbolic processing portions of complex megaprogrammed systems.< >

关键词： distributed computing Operating systems Application software Artificial intelligence Computational modeling Multiprocessing systems Educational institutions Cloud computing Vehicles Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reliable client-server communication in distributed programs

Reliable client-server communication in distributed programs

引用

Conference on Local computer Networks (LCN)

作者： K. Ravindran S.T. Chanson K.K. Ramakrishnan Department Of Computer Science & Automation Indian Institute of Science Bangalore India Department of Computing & Information Sciences Kansas State University Manhattan KS USA Department of Computer Science University of British Columbia Vancouver BC Canada Distributed Systems Architecture & Performance Digital Equipment Corporation Littleton MA USA

The authors' premise is that applications have the ability to tolerate certain types of failures under certain situations. This may, in turn, relax the top-level constraint on failure recovery algorithms in the interprocess communication (IPC) layer and allow exploitation of the inherent tolerance of applications to failures in a systematic way to simplify failure recovery. Using this application-driven approach, the authors present a model of a distributed program based on the well-known client-server relationship among the processes of the program. The model reflects certain generic properties of the application layer that can be exploited by the IPC layer during failure recovery. New techniques as to how the properties can be used for recovery are outlined. The authors use remote procedure call and shared variable as communication abstractions for the client and the server processes in the program to communicate with one another. The simplicity and generality of the failure recovery renders the application-driven approach particularly useful in contemporary distributed systems which are large and heterogeneous and hence have complex failure modes.< >

关键词： Local area networks Automation computer networks distributed computing Microcomputers LAN interconnection Application software Network interfaces File systems Veins

来源：评论

学校读者我要写书评

暂无评论

CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 127-137页

作者： ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.

This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use integrator of existing expert knowledge and pre-existing data bases and large scale analytical models. Due to these interfaces; to the need for portability of the software; and to artificial intelligence related design requirements (such as the need for spatial reasoning, expert data base management, model base management, track-based reasoning, and analogical (similar ship) reasoning) it was realized that traditional expert system shells would be inappropriate, although relatively off-the-shelf AI technology could be incorporated. In the same vein, the rapid prototyping approach to expert system design and knowledge engineering was not pursued in favor of a rigorous systems engineering methodology. The critical design decisions affecting CLEER's development are summarized in this paper along with lessons learned to date all in terms of “how,” “why,” and “when” specific features are being developed.

关键词： Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

The FX-87 Interpreter

The FX-87 Interpreter

引用

International Conference on computer Languages

作者： P. Jouvelot D.K. Gifford Programming Systems Research Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA

The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.< >

关键词： programming profession Job shop scheduling computer languages Parallel programming Parallel machines Program processors Functional programming Laboratories computer science Performance analysis

来源：评论

学校读者我要写书评

暂无评论

SHIPBOARD MAIN BOILER AND FEED PUMP CONTROL-SYSTEM ONLINE ALIGNMENT VERIFICATION

引用

NAVAL ENGINEERS JOURNAL 1982年第6期94卷 39-46页

作者： BANHAM, JW ADAM, DJ James W. Banham:holds positions both as Director of the Machinery Automation Systems Department of the Naval Ship Systems Engineering Station and as Assistant Chairman of the Mechanical and Industrial Engineering Department of Drexel University's Evening College where he holds the rank of Adjunct Associate Professor. He is the author of a text on Numerical Methods Applications in Engineering. In addition to numerous technical papers he is also the author of the ISA film on Boiler Feedwater Control Systems. A registered professional engineer in the state of Pennsylvania Mr. Banham is co-author of a forthcoming handbook on preparing for the Professional Engineering Examination in mechanical engineering. Mr. Banham holds a bachelor of science degree in mechanical engineering from the Pennsylvania State University his graduate studies were taken at the University of Pennsylvania. He is currently a member of the American Society for Engineering Education and the Instrument Society of America. He served as a member of the ISA Education Committee from 1964 through 1973 and as a member of the ISA Power Plant Dynamics Committee since 1969. His service on the latter committee includes terms as Executive Secretary Vice-Chairman and Chairman. Among other honors Mr. Banham was the winner of the Naval Ship Engineering Center's first Technical Achievement Award (1963) Technical Publication Award (1974) and Equal Employment Opportunity Award (1978). He was also the recipient of Drexel University's Laura S. Campbell Award for Excellence in Teaching (1978). He has taught undergraduate courses in classical control theory numerical methods computer programming systems design and analysis and instrumentation. He also teaches systems theory and computer science in an EIT Review and heat transfer in a PE Review conducted by the Drexel University Department of Continuing Professional Education. Mr. David J. Adam:is a Project Engineer in the Naval Sea Systems Command (PMS301) Steam Propulsion Plant Improvement Program where he i

One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and system design deficiencies, these control systems suffered from inadequate methods to measure and adjust system alignment. This paper describes the development of a set of procedures for on-line alignment verification (OLV) of pneumatic main boiler and feedpump control systems. The procedures are designed for use by N avy control system technicians and, in addition to on-line alignment verification, provide guidance for troubleshooting and for performing system alignment. Procedure static checks measure steady state steaming performance and OLV procedure dynamic checks measure the ability of the boiler and control systems to respond to load changes. The paper describes typical control system characteristics that influence OLV procedure content and the supporting analysis that was used to establish alignment criteria ranges that satisfy both steady state and transient performance requirements. Also described is the alignment criteria tolerance analysis along with the steps involved in a typical OLV check procedure development. Descriptions of the various OLV checks, troubleshooting procedures and alignment procedures are provided. Typical shipboard implementation requirements are described and experience to date with the procedures is provided along with a status report on OLV procedure implementations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：