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

A reader-writer queue with reader preference

Queueing systems 1994年第1-4期15卷 81-97页

作者： Kulkarni, V.G. Puryear, Lindsey C. Department of Operations Research University of North Carolina Chapel Hill 27599 NC United States IBM Corporation Programming Systems Cary 27512 NC United States

This paper considers a reader-writer queue with reader preference. The system can process an unlimited number of readers simultaneously. However, writers have to be processed one at a time. Readers are given non-preemptive priority over writers. Both readers and writers arrive according to Poisson processes (PP) and have general independent service times. There is infinite waiting room for both. This system is analyzed to produce stability conditions. The analysis uses an M/G/∞ queue busy period to model readers, followed by a modified M/G/1 queue to model the entire system. Finally, results are presented for the expected wait-in-queue times for the readers and writers. The paper ends with an example. © 1994 J.C. Baltzer AG, Science Publishers.

关键词： concurrency control locking M/G/∞ queue M/G/1 queue with exceptional service reader preference reader-writer queue

来源：评论

学校读者我要写书评

暂无评论

On anti-links 5th

引用

5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994

作者： Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States

ISBN: (纸本)9783540582168

The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. The operations have linear time complexity in the size of that part of the formula containing the anti-link. These operations are useful for prime implicant/implicate algorithms because most of the computational effort in such algorithms is spent on subsumption checks. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Real-time refinement: Semantics and application 18th

引用

18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993

作者： Scholefield, David Zedan, Hussein Jifeng, He Formal Systems Research Group Department of Computer Science University of York Heslington York United Kingdom Programming Research Group Oxford University Keble Road Oxford United Kingdom

ISBN: (纸本)9783540571827

A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express both functional and timing properties. A specification oriented semantics for TAM is given, along with the definition of a refinement relation and a calculus which is sound with respect to that relation. A simple real-time program is also developed using the calculus. © 1993, Springer Verlag. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An efficient data interface for heterogeneous distributed environments

An efficient data interface for heterogeneous distributed en...

引用

International Conference on Distributed Computing systems

作者： D.D.H. Lin B. Shirazi K. Kavi Personal Systems Programming Center IBM Corporation Austin TX USA Department of Computer Science Engineering University of Texas Arlington Arlington TX USA

A multi-language-based data interface system for heterogeneous distributed processing is introduced. A prototyped environment based on this system is discussed, and an evaluation of the prototyped system is presented. It is shown that by keeping the syntax of the specification language flexible and close to existing high-level languages, a user can learn the interface language quickly. Semantically, this data interface views structured data as consisting of two parts: the data values themselves and the representation of the structure among the data values. Through this separation, it is possible to have pipelined data type checking and data conversion operations.< >

关键词： Data structures Application software Prototypes Uninterruptible power systems Software prototyping Focusing Operating systems Data conversion Computer science Distributed processing

来源：评论

学校读者我要写书评

暂无评论

FAMILY CONTROL AND RETURN COVARIATION IN HONG KONG'S COMMON STOCKS

引用

Journal of Business Finance & Accounting 1992年第2期19卷 277-293页

作者： Mok, Henry M.K. Lam, Kin Cheung, Iris The authors are respectively Lecturer Department of Operations and Systems Management The Chinese University of Hong Kong Reader Statistics Department The University of Hong Kong and Manager Department of Research and International Relations The Stock Exchange of Hong Kong. They wish to thank Stephen Rive and the anonymous referee for helpful comments and Patrick Lung Bonnie Lai and Essie Tsoi of the Department of Research and International Relations the Stock Exchange of Hong Kong Ltd. for their capable programming support.

来源：评论

学校读者我要写书评

暂无评论

Formal specification of software systems using Two-Level Grammar 15

Formal specification of software systems using Two-Level Gra...

引用

15th Annual International Computer Software and Applications Conference, CMPSAC 1991

作者： Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States

ISBN: (纸本)0818621524

Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. This has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, we may automatically generate an efficient software system, expressed in C, from the specification in a provably correct way. Successful applications have included database/knowledge base systems and programming language compilers. © 1991 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military Engineering

来源：评论

学校读者我要写书评

暂无评论

Representation and execution support for reliable robot applications

Representation and execution support for reliable robot appl...

引用

Reliable Distributed systems

作者： P.S. Gopinath D.M. Lyons S. Mehta Computer Architecture and Programming Systems Department North American Philips Corporation Briarcliff Manor NY USA Autonomous Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA

ISBN: (纸本)0818620811

Robot applications, represented as plans, are used to outline a viewpoint that robustness needs to be emphasized in two areas: in the plan representation and in the underlying system software. Robot applications are inherently distributed, since the hardware usually comprises a set of independent actuators and sensors, with the robot programs acting as links between them. A special model of distributed computation, the RS (Robot Schemas) model, has been designed to handle the issues of robot plan representation, and an overview of the model is presented. An initial implementation of the model with minimal execution support demonstrated that the domain-dependent aspect of robustness on its own was not sufficient for robust behavior. Consequently, the OS has been augmented with real-time scheduling, and monitoring facilities.< >

关键词： Robustness Robot sensing systems Robotics and automation Application software Monitoring Timing Real time systems Human robot interaction Robot programming Laboratories

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：