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

International Conference on Image Management and Communication in Patient Care

作者： A. Patel Computer Networks & Distributed Systems Research Group Department of Computer Science University College Dublin Dublin Ireland

来源：评论

学校读者我要写书评

暂无评论

The olympus attitude and orbital control system: A case study in hard real-time system design and implementation 12th

The olympus attitude and orbital control system: A case stud...

引用

12th Ada-Europe International Conference, 1993

作者： Burns, A. Wellings, A.J. Bailey, C.M. Fyfe, E. Real-time and Distributed Systems Research Group Department of Computer Science University of York United Kingdom British Aerospace Space Systems Ltd Communication Satellites Division Stevenage United Kingdom

ISBN: (纸本)9783540568025

This paper describes the details of, and the experiences gained from, a case study undertaken by the authors on the design and reimplementation of the Olympus Satellite’s Attitude and Orbital Control systems (AOCS). The goal of the study was to demonstrate that real-time systems can be implemented using Ada and its tasking facilities. The system was designed using HRT-HOOD, analysed using Deadline Monotonic Scheduling Analysis, and implemented on a M68020-based system using a modified York compiler and run-time support system (the modifications are compatible with those proposed for Ada 9X). Our results indicate that systems can be designed to have the flexibility given by multi-tasking solutions, and yet still obtain the same levels of guarantees as those given by cyclic executives. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Control systems

来源：评论

学校读者我要写书评

暂无评论

Asynchronous multiple access tree algorithms 83

Asynchronous multiple access tree algorithms

引用

1983 Symposium on Communications Architectures and Protocols, SIGCOMM 1983

作者： Molle, Mart L. Department of Computer Science Computer Systems Research Group University of Toronto TorontoM5S 1A4 Canada

ISBN: (纸本)0897910893

Random access protocols allow large numbers of low duty cycle stations to exchange messages over a shared communications channel under distributed control. Recently, a new class of random access protocols called 'tree algorithms' has emerged. Tree algorithms offer several performance advantages over other random access protocols (e.g. ALOHA and CSMA), namely higher capacity and inherently stable operation. However, only synchronous (slotted) tree algorithms have so far been defined. Any practical implementation of a synchronous protocol is complicated by the need for stations to perform the steps of the algorithm synchronously. Thus asynchronous (unslotted) protocols are of greater practical importance, especially for local networks. Here we show how to construct asynchronous versions of several well-known tree algorithms, and describe some of the performance limitations that result from asynchronous operation. © 1983 ACM.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

Scheduling distributed safety critical systems

Scheduling distributed safety critical systems

引用

IEE Colloquium on Safety Critical distributed systems

作者： A. Burns Real-Time Systems Research Group Department of Computer Science University of York York UK

A systems architecture is presented that will guarantee crucial timing requirements, is tolerant of a range of hardware errors, but is sufficiently flexible for sporadic activities to be guaranteed and nonreal-time tasks to be accommodated. The model presented uses static allocation of application tasks, preemptive priority based scheduling, and replication for task availability. The architecture proposed has been obtained by choosing (known) fault tolerant techniques that are amenable to timing analysis, extending schedulability models to incorporate these techniques, and using, to advantage, properties of the computational model usually applied in hard real-time applications.< >

关键词： distributed computing computer fault tolerance Real time systems Resource management Safety Scheduling

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An approach to the direct analysis of transient stability

引用

European Transactions on Electrical Power 1993年第3期3卷 241-248页

作者： Djukanovic, M.B. Sobajic, D.J. Pao, Y.‐H. Miodrag B. Djukanovic (1959) received his B.S. M.Sc. and Ph.D. degrees in Electrical Engineering from the University of Belgrade/Yugoslavia in 1982 1985 and 1992 respectively specializing in electric power systems. In 1984 he joined the Electrical Engineering Institute “Nikola Tesla” in Belgrade where he was working on the scientific studies in the field of power systems planning operation and control. In 1985 and 1990 he was appointed as a research scholar at the Royal Institute of Technology Stockholm and Case Western Reserve University Cleveland Ohio. His major in- terests are in the area of power system analysis steady-state and dynamic security and application of neural networks in electric power systems. (Electrical Engineering Institute “Nicola Tesla” ul. Koste Glavinica 8A YU-11000 Belgrad T +3811/2351-619 Fax + 3811/2351-823) Dejan J. Sobajic (1949) received the B.S.E.E. and the M.S.E.E. degrees from the University of Belgrade/Yugoslavia in 1972 and 1976 respectively and the Ph.D. degree from Case Western Reserve University Cleveland Ohio in 1988. At present he is with the Department of Electrical Engineering and Applied Physics Case Western Reserve University Cleveland. He is also the Engineering Manager of A1 WARE Inc. Cleveland. His current research interests include power system operation and control neuralnet systems and adaptive control. He is a member of the IEEE Task Force on Neural-Network Applications in Power Systems and of the IEEE Intelligent Controls Committee. He is the Chairman of the International Neural-Networks Society Special Interest Group on Power Engineering. (Case Western Reserve University Department of Electrial Engineering and Computer Sciences Glennan Building Ohio 44 106 USA T + 1216/421-2380 Fax +1216/368-8776) Yoh-Han Pao (1922) has been a Professor of Electrical Engineering and Computer Science at Case Westem Reserve University (CWRU) Cleveland Ohio since 1967. He has served as chairman of the University's Electrical Engineering Department

The Transient Energy Function (TEF) method has been intensely investigated over the last decade as a reliable and accurate tool for transient stability assessment of multimachine power systems. In this paper we propose the Potential Energy Boundary Surface (PEBS) based method for direct analysis of transient stability. The critical value of transient energy and the Critical Clearing Time (T_CCT) are evaluated without the need for successive calculation and memorization of the system kinetic and potential energy values along the sustained fault trajectory. The method is used for determination of output features in the training phase of the neural‐net based transient security assessment. The proposed approach is tested on the well‐known ten‐generator New England test system demonstrating the validity and accuracy of obtained results. Copyright © 1993 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ALLOCATING HARD REAL-TIME TASKS - AN NP-HARD PROBLEM MADE EASY

引用

REAL-TIME systems 1992年第2期4卷 145-165页

作者： TINDELL, KW BURNS, A WELLINGS, AJ 1. Real Time Systems Research Group Department of Computer Science University of York England

A distributed hard real time system can be composed from a number of communicating tasks. One of the difficulties with building such systems is the problem of where to place the tasks. In general there are P(T) ways of allocating T tasks to P processors, and the problem of finding an optimal feasible allocation (where all tasks meet physical and timing constraints) is known to be NP-Hard. This paper describes an approach to solving the task allocation problem using a technique known as simulated annealing. It also defines a distributed hard real-time architecture and presents new analysis which enables timing requirements to be guaranteed.

关键词： task allocation real-time systems Building systems Nondeterministic polynomial-time hard hard real-time Religious Missions allocation

来源：评论

学校读者我要写书评

暂无评论

DESIGNING HARD REAL-TIME systems 11th

DESIGNING HARD REAL-TIME SYSTEMS

引用

11TH ADA / EUROPE INTERNATIONAL CONF : MOVING TOWARDS 2000

作者： BURNS, A WELLINGS, AJ Real-time and Distributed Systems Research Group Department of Computer Science University of York Heslington York Y01 5DD United Kingdom

ISBN: (纸本)3540555854

This paper presents a systems life cycle and a structured design method which are tailored towards the construction of real-time systems in general, and hard real-time systems in particular. The standard systems life cycle is modified to take into account the expression and satisfaction of non-functional requirements. The HOOD design method is extended to support abstractions which explicitly cater for the characteristics and properties of hard real-time systems. The new method is called HRT-HOOD (Hard Real-time HOOD). © Springer-Verlag Berlin Heidelberg 1992.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

TAM - A FORMAL FRAMEWORK FOR THE DEVELOPMENT OF distributed REAL-TIME systems 2nd

TAM - A FORMAL FRAMEWORK FOR THE DEVELOPMENT OF DISTRIBUTED ...

引用

2ND INTERNATIONAL SYMP ON FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT systems

作者： SCHOLEFIELD, DJ ZEDAN, HSM Formal Systems Research Group Department of Computer Science University of York Heslington York YOl 5DD United Kingdom

ISBN: (纸本)3540550925

The Temporal Agent Model (TAM) is a wide-spectrum development language for real-time systems. In TAM, limited resources are modelled by deriving release times and absolute deadlines from weakest pre-condition predicate transformers. In this paper the language syntax and semantics are described along with a number of examples. © 1991, Springer Verlag. All rights reserved.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Implementing consistency control mechanisms in the Clouds distributed operating system

Implementing consistency control mechanisms in the Clouds di...

引用

International Conference on distributed Computing systems

作者： R.C. Chen P. Dasgupta Distributed Systems Group Research and Development Division Siemens Nixdorf Information Systems Limited Cambridge MA USA Department of Computer Science and Engineering Arizona State University Tempe AZ USA

Implementation of a kernel-level consistency control mechanism called invocation-based consistency control (IBCC) is presented. IBCC supports general-purpose persistent object-based distributed computing. It provides mechanisms that support a range of powerful, well-defined consistency semantics. IBCC mechanisms can also be used to implement custom recovery and synchronization. An operating-system-level implementation of IBCC as part of the Clouds distributed operating system that uses memory faulting to initiate locking and intermediate version creation is also given. Performance aspects are discussed, as well as the overhead incurred by supporting IBCC in terms of additional data structures needed in the operating system, and the additional amount of required code.< >

关键词： Control systems Clouds Operating systems distributed computing Protection research and development Information systems Data structures Power engineering computing Programming profession

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：