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

Euromicro Conference on Real-Time systems

作者： J.G. Hall R. de Lemos High Integrity Systems Engineering Group Department of Computer Science University of York UK Centre for Software Reliability Department of Computing Science University of Newcastle UK

Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism for the modelling and analysis of relative and absolute timing properties of hybrid systems (systems that combine continuous variables and discrete event dynamics). The extensions provided by ERTL enable the modelling of system behaviour ranging from activities of the physical entities that form part of the environment of a computing system, to the temporal ordering of the computational tasks of the computing system itself thus providing a formal notation that can be used in all stages of software development.

关键词： Real time systems Timing Logic Physics computing systems engineering and theory Computer science software reliability Equations Hardware design languages Production systems

来源：评论

学校读者我要写书评

暂无评论

Extended real-time logic for hybrid systems controller design

Extended real-time logic for hybrid systems controller desig...

引用

IEE Colloquium on Hybrid Control for Real-Time systems

Summary form only given. Hybrid systems are systems which combine both continuous variable and discrete event dynamics. Their complexity has risen to the extent that traditional approaches which dealt separately with the continuous and discrete aspects of such systems have become obsolete. Instead of proposing a novel formal notation for the specification of controllers for hybrid systems we have developed extended real time Logic (ERTL) as a formal notation for the modelling and analysis of relative and absolute timing properties of hybrid systems. ERTL embeds the discrete system model of the real time logic (RTL) of Jahanian and Mok (1986, 1988) into continuous time, and adds the ability to reason about piecewise continuous functions using predicates over real valued variables. While RTL is able to formally describe the behaviour of computational entities in the time domain, ERTL also permits the formal description of the behaviour of physical entities in both value and time domains.

关键词： Discrete time systems

来源：评论

学校读者我要写书评

暂无评论

PARALLEL AND DISTRIBUTED TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

A strategy for the production of verifiable code using the B method 2nd

引用

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Storey, Andrew C. Haughton, Howard P. Centre of Systems Software Engineering School of Computing Information Systems and Mathematics South Bank University Borough Rd LondonSE1 OAA United Kingdom 77 Crowley Close Waddon Croydon United Kingdom

ISBN: (纸本)9783540585558

The purpose of this paper is to describe extensions to the B Method in order to facilitate the generation of provably correct SPARK Ada code. Two strategies are provided. Firstly, a process model for the B Method is stated that allows the semi-automatic production of refinements through the use of standard library machines. Secondly, transformation rules are given for the automatic generation of SPARK Ada code from these refinements. Finally, an overview is given of how the semantics of Abstract Machine Notation and SPARK Ada can be used in order to verify these transformation rules. © 1994, Springer Verlag. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Measurement for software quality

Measurement for software quality

引用

IEE Colloquium on Proof of Designed Reliability (Digest No. 1994/239)

作者： R. Whitty Centre for Systems and Software Engineering School of Computing South Bank University USA

The author takes an uncontentious view of quality as being 'fitness for purpose', more specifically, conformance to user requirements. Quality can be measured by number of reported nonconformances per hour of use (of course 'shelfware', that is, software that is never used, exhibits no failures). Quality in many installed engineering systems is likely to exhibit a 'bathtub' failure curve during its lifetime. Despite the apparent kinship with physical engineering systems, software systems demand a different treatment because repairs to a software system alter its specification. Here, the author presents various efforts aimed at standardising the measurement of software quality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An exercise in weakest preconditions

引用

software Testing, Verification and Reliability 1991年第1期1卷

作者： Robin Whitty Centre for Systems and Software Engineering Department of Computing and Mathematics South Bank Polytechnic Borough Road London SE1 0AA UK

Weakest preconditions are used to formulate the requirements for a 2-state memory cell and it is proved that the flip-flop device meets these requirements. This is an exercise in the use of the weakest preconditions w...

关键词：

来源：评论

学校读者我要写书评

暂无评论

DRAFT DESCRIPTION OF PASCAL

引用

software-PRACTICE & EXPERIENCE 1979年第5期9卷 381-424页

作者： ADDYMAN, AM BREWER, R BURNETTHALL, DG DEMORGAN, RM FINDLAY, W JACKSON, MI JOSLIN, DA REES, MJ WATT, DA WELSH, J WICHMANN, BA Department of Computer Science The University Oxford Road Manchester M13 9PL Software Department GEC Computers Ltd. Elstree Way Borehamwood Hertfordshire Department of Computer Science University of York Heslington York Y01 5DD European Software Engineering Digital Equipment Company Ltd. Fountain House The Butts Centre Reading RG1 7QN Computing Science Department University of Glasgow Glasgow G12 8QQ International Data Engineering Centre ITT Business Systems and Communications Group Latimer House Potters Bar Herts EN6 5DN Hull College of Higher Education Inglemire Avenue Hull HU6 7LJ Computer Studies Group The University Southampton S09 5NH Department of Computer Science Queen's University Belfast BT7 1NN Department of Industry National Physical Laboratory Teddington Middlesex TW1 0LW

This paper provides a description of the programming language Pascal. It has been published to enable those without easy access to the official BSI ‘draft for comment’ to comment on the description.

关键词： Pascal Standards

来源：评论

学校读者我要写书评

暂无评论

systems, software and Services Process Improvement 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Dietmar Winkler Rory V. O’Connor Richard Messnarz

ISBN: (数字)9783642311994

ISBN: (纸本)9783642311987

This volume constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012. The 29 revised papers presented in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and business factors; SPI lifecycle and models; SPI assessment and quality; SPI processes and standards; SPI in SMEs; SPI and implementation; creating environments supporting innovation and improvement; standards and experiences with the implementation of functional safety; business process management; SPI in SMEs - a project management perspective.

关键词： software engineering Management of computing and Information systems Computer Appl. in Administrative Data Processing Information systems Applications (incl. Internet) software engineering/Programming and Operating systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Conceptual Modeling – Challenges and Opportunities 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Il-Yeol Song Mario Piattini Yi-Ping Phoebe Chen Sven Hartmann Fabio Grandi Juan Trujillo Andreas L. Opdahl Fernando Ferri Patrizia Grifoni Maria Chiara Caschera Colette Rolland Carson Woo Camille Salinesi Esteban Zimányi Christophe Claramunt Flavius Frasincar Geert-Jan Houben Philippe Thiran

ISBN: (数字)9783540879916

ISBN: (纸本)9783540879909

This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. The 42 revised full papers presented were carefully reviewed and selected from 108 submissions. Topics addressed by the workshops are conceptual modeling for life sciences applications (CMLSA 2008), evolution and change in data management (ECDM 2008), foundations and practices of UML (FP-UML 2008), modeling mobile applications and services (M2AS 2008), requirements, intentions and goals in conceptual modeling (RIGiM 2008), semantic and conceptual issues in geographic information systems (SeCoGIS 2008), and Web information systems modeling (WISM 2008).

关键词： Information systems Applications (incl. Internet) Database Management Information Storage and Retrieval User Interfaces and Human Computer Interaction Artificial Intelligence Computational Biology/Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

Computational Intelligence in Healthcare 4 1

引用

丛书名： Studies in Computational Intelligence

1000年

作者： Isabelle Bichindaritz Sachin Vaidya Ashlesha Jain Lakhmi C. Jain

ISBN: (数字)9783642144646

ISBN: (纸本)9783642144639;9783642264924

Computational Intelligence is comparatively a new field but it has made a tremendous progress in virtually every discipline right from engineering, science, business, m- agement, aviation to healthcare. Computational intelligence already has a solid track-record of applications to healthcare, of which this book is a continuation. We would like to refer the reader to the excellent previous volumes in this series on computational intelligence in heal- care [1-3]. This book is aimed at providing the most recent advances and state of the art in the practical applications of computational intelligence paradigms in healthcare. It - cludes nineteen chapters on using various computational intelligence methods in healthcare such as intelligent agents and case-based reasoning. A number of fielded applications and case studies are presented. Highlighted are in particular novel c- putational approaches to the semantic management of health information such as in the Web 2.0, mobile agents such as in portable devices, learning agents capable of adapting to diverse clinical settings through case-based reasoning, and statistical - proaches in computational intelligence. This book is targeted towards scientists, application engineers, professors, health professionals, professors, and students. Background information on computational intelligence has been provided whenever necessary to facilitate the comprehension of a broad audience including healthcare practitioners.

关键词： Computational Intelligence Artificial Intelligence Biomedical engineering and Bioengineering Health Informatics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：