الصفحة 1
الصفحة 1
Vector Control of Three-Phase AC Machines : System Development in the Practice
This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage rotor (IM), permanent excited synchronous motors (PMSM) and doubly-fed induction machines (DFIM), from the viewpoint of the practical design and development. Main focus is on the application of the IM and the PMSM in electrical drive systems, where the method of the field-orientated control has been successfully established in the practice, and on the use of the grid voltage orientated controlled DFIM in the wind power plants.
Towards Synthesis of Micro--/Nano-systems ; The 11th International Conference on Precision Engineering (ICPE) August 16-18, 2006, Tokyo, Japan
At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and the need for environmental sustainability. The progress of micro-/nano technology means that precision engineering is now considered to be one of the core disciplines necessary for coping with the sometimes severe requirements of new product and system development. From basic research to practical applications, advanced process-technological methods for the design and synthesis of micro-/nano-systems are becoming more and more important. This collection of papers, presented at 11th International Conference on Precision Engineering, includes high-quality papers for industrial and scientific sources, discusses leading-edge technologies and forecasts future trends.
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.
Software Product Line Engineering : Foundations, Principles and Techniques
Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower costs, in shorter time, and with higher quality? If so, you are holding the right book in your hands. Software product line engineering has proven to be the methodology for Higher quality, lower developing a diversity of software products and software-intensive systems cost, and shorter at lower costs, in shorter time, and with higher quality. Numerous reports development times document the significant achievements and experience gained by introducing software product lines in the software industry. Chapter 21 of this book summarises several cases. Concerning the terminology, there is an almost synonymous use of the terms Software product line “software product family” and “software product line”. Whereas in Europe vs. software product the term software product family is used more often, in North America the family term software product line is used more frequently.
Software engineering for multi-agent systems III : Research issues and practical applications
Presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications. The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination.
Software agent-based applications, platforms and development kits
Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software systems, especially when consid- ing large scale distributed applications consisting of several sub-components with behavior that is increasingly di?cult to predict. This is supported by imp- tant research and development results and reinforced by the increasing uptake of agent-based solutions and services for real-world industries. In fact, software agent technology successfully addresses a number of highly relevant issues, like -?cient resource distribution, scalability, adaptability, maintainability, modularity, autonomy, self-sustainability, anddecentralizedcontrol, byprovidingpowerfulc- cepts, metaphors and tools. The mentioned issues are often regarded as essential non-functional properties of emerging software architectures and systems.
Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
Scientific engineering of distributed Java applications ; 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
The scope of the workshop included the following topics: – design of distributed applications – development methodologies for software and system engineering – UML-based development methodologies – development of reliable and secure distributed systems – component-based development methodologies – dependability support during system life cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling in system development – software architectures, frameworks and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modelling notation and techniques (e. g. , UML, metamodelling) – supporting the security and dependability requirements of distributed app- cations in the development process – distributed software inspection – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
Requirements Engineering
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system modelling. It introduces the UML2, which is the recent standard approved by the OMG. There is also an enhanced discussion on the relationship between requirements management and modelling, which relates well to the concept of rich traceability. The chapter on the requirements management tool DOORS has been revised to use Version 7 of the tool and this is complemented with examples taken from the DOORS/Analyst tool which demonstrates how the concepts of modelling can be captured and created within DOORS. The text is still aimed at students and practitioners of systems engineering who are keen to gain knowledge of using requirements engineering for system development.
Recent Trends in Algebraic Development Techniques ; 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006.
Project Management and Risk Management in Complex Projects : Studies in Organizational Semiotics
The goal of this volume is to prove that mixed utterances in young bilinguals can be analyzed in the same way as adult code-switching. Analyzing a rich corpus of spontaneous child data, the author provides detailed empirical evidence for latest minimalist assumptions on the architecture of mind and confirms that code-switching is only constrained by the two grammars of the languages involved.
Programming Languages and Systems ; Vol. 3444 : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
We received over 550 submissions this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
New Developments in Computational Fluid Dynamics ; Proceedings of the Sixth International Nobeyama Workshop on the New Century of Computational Fluid Dynamics, Nobeyama, Japan, April 21 to 24, 2003
This volume contains 20 papers in Nobeyama Workshop focuses on predicting the next one hundred years of development of Fluid Dynamics, accounting for the current status and future trends of high performance computation and communication.
Mediclica
The main objective of the project here is to show the ability to book online in Syria. And show the interdependence between the patient and follow-up in the correct manner... by entering the data, blood tests, and x-rays required of the patient in shortening his time and effort
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
History of Nordic computing ; IFIP WG9.7 ; 1st Working conference on the history of Nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
From Principles of Learning to Strategies for Instruction : Empirically Based Ingredients to Guide Instructional Development
The current volume strikes a nice balance between theory and practice and provides a straightforward model of instruction that is easily connected with relevant research but equally easy to apply to instructional development projects… The detailed treatment of the interpersonal domain and the emphasis on technology integration clearly distinguish the book as a modern treatment of instructional development that goes well beyond traditional instructional system development models… Therefore, this volume should provide a well-grounded and useful tool for instructional developers.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
