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

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

来源：评论

学校读者我要写书评

暂无评论

Vehicle Dynamics and Interaction for Trajectory Prediction and Traffic Control

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Jian Chen Shaorui Zhou Wei Wang Yuzhu Hu Jianqing Li Ben-Guo He Junxin Chen Marwan Omar Ali Kashif Bashir Xiping Hu School of Intelligent Systems Engineering Sun Yat-Sen University China Guangdong-Hong Kong-Macao Joint Laboratory for Emotion Intelligence and Pervasive Computing Artificial Intelligence Research Institute Shenzhen MSU-BIT University China School of Computer Science and Engineering Faculty of Innovation Engineering Macau University of Science and Technology Macao SAR China Key Laboratory of Ministry of Education on Safe Mining of Deep Metal Mines Northeastern University China the School of Software Dalian University of Technology China Information Technology and Management Illinois Institute of Technology USA Department of Computing and Mathematics Manchester Metropolitan University UK Centre for Research Impact & Outcome Chitkara University Institute of Engineering and Technology Chitkara University Rajpura 140401 Punjab India

Trajectory prediction is a crucial challenge in autonomous vehicle motion planning and decision-making techniques. However, existing methods face limitations in accurately capturing vehicle dynamics and interactions. To address this issue, this paper proposes a novel approach to extracting vehicle velocity and acceleration, enabling the learning of vehicle dynamics and encoding them as auxiliary information. The VDI-LSTM model is designed, incorporating graph convolution and attention mechanisms to capture vehicle interactions using trajectory data and dynamic information. Specifically, a dynamics encoder is designed to capture the dynamic information, a dynamic graph is employed to represent vehicle interactions, and an attention mechanism is introduced to enhance the performance of LSTM and graph convolution. To demonstrate the effectiveness of our model, extensive experiments are conducted, including comparisons with several baselines and ablation studies on real-world highway datasets. Experimental results show that VDI-LSTM outperforms other baselines compared, which obtains a 3% improvement on the average RMSE indicator over the five prediction steps.

关键词： Trajectory Prediction Vehicle Dynamics Interaction Perception Graph Convolution Attention Mechanism

来源：评论

学校读者我要写书评

暂无评论

Grid Economics and Business Models 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Jörn Altmann Rajkumar Buyya Omer F. Rana

ISBN: (数字)9783642038648

ISBN: (纸本)9783642038631

GECON - Grid Economics and Business Models Cloud computing is seen by many people as the natural evolution of Grid computing concepts. Both, for instance, rely on the use of service-based approaches for pro- sioning compute and data resources. The importance of understanding business m- els and the economics of distributed computing systems and services has generally remained unchanged in the move to Cloud computing. This understanding is nec- sary in order to build sustainable e-infrastructure and businesses around this paradigm of sharing Cloud services. Currently, only a handful of companies have created s- cessful businesses around Cloud services. Among these, Amazon and Salesforce (with their offerings of Elastic Compute Cloud and force. com among other offerings) are the most prominent. Both companies understand how to charge for their services and how to enable commercial transactions on them. However, whether a wide-spread adoption of Cloud services will occur has to seen. One key enabler remains the ability to support suitable business models and charging schemes that appeal to users o- sourcing (part of) their internal business functions. The topics that have been addressed by the authors of accepted papers reflect the above-described situation and the need for a better understanding of Grid economics. The topics range from market mechanisms for trading computing resources, capacity planning, tools for modeling economic aspects of service-oriented systems, archit- tures for handling service level agreements, to models for economically efficient resource allocation.

关键词： Computer Communication Networks e-Commerce/e-business Information systems and Communication Service Computer Appl. in Administrative Data Processing Simulation and Modeling Special Purpose and Application-Based systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：