Книги почтой booksiti.net.ru  (499)2130422

    есть на складе                                                                       

 (499) 213 04 22
Интернет, Интранет, компьютерные сети Интернет, Интранет, компьютерные сети
Локальные и корпоративные сети Локальные и корпоративные сети


Model Based Code Generation for Automation Systems Model Driven Engineering for Safety Relevant Embedded Systems.

мягкая обложка
120 страниц
2008 год
Издательство:   Книга по Требованию
2005 руб
на складе

способы доставки и оплаты
Описание:In this book an UML Profile is defined, which both restricts and extends UML to model function in the rolling stock domain appropriately. A generator is realized for the defined language, which is able to check UML models for conformance to the Profile and to map conforming models to the target language ? Structured Text? . Mechanisms which allow traceability of single code fragments into the model are used during the generation. In addition, concepts to describe the quality of service aspects like time constraints and fault tolerance are added to the Profile (based on the UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, defined by the OMG). Such models can be expressed with the help of UML in the form of component and class diagrams as well as state charts. The increasing complexity of control systems in automation and the verification of compliance with safety standards, require system wide, device spanning modeling of functions.

Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка

2990 руб
Бесплатная доставка

Модель зрелости процессов разработки программного обеспечения

Phillips, «A Programming Process Study», IBM Systems Journal, Vol. 24, No.2, 1985. Siegel 90 J.A.L. Siegel, et al., National Software Capacity: Near-Term Study, Software Engineering Institute, CMU/SEI-90-TR-12, ADA226694, May 1990. Weber 91 C.V. Weber, M.C. Paulk, C.J. Wise, and J.V. Withey, Key Practices of the Capability Maturity Model, Software Engineering Institute, CMU/SEI-91-TR-25, ADA240604, August 1991. ...»

Код для вставки книги в блог



Пазл "Лесные животные".
Пазлы Ларсен - это прежде всего обучающие пазлы. На красочной картинке пазла изображены животные на лесной полянке. Собирая пазл, малыш
548 руб
Раздел: Пазлы (5-53 элементов)
Шкатулка для ювелирных украшений "Чайная роза" 17,5x17,5x9,5 см.
Шкатулка настольная. Размеры: 17,5x17,5x9,5 см. Материал: картон.
777 руб
Раздел: Шкатулки для украшений
Таблетки для мытья посуды в посудомоечной машине "Все в одной таблетке", без фосфатов, 30 таблеток.
Таблетки Frau Schmidt Все в 1 являются универсальным решением для Вашей посудомоечной машины и позволяют придать посуде бриллиантовый
338 руб
Раздел: Для посудомоечных машин

Model-driven engineering
It is meant to increase productivity by maximizing compatibility between systems, simplifying the process of design, and promoting communication between individuals and teams working on the system.
          1188 руб             2010 год          72 стр.          мягкая обложка

Design Space Exploration for Distributed Real-Time. A Software Product Line Engineering Approach for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems
Simulate the influence factors of deployment environments and search optimal simulation results.
          3231 руб             2010 год          212 стр.          мягкая обложка

The emergence of new devices and technologies for networked embedded computing motivates new platforms for integrated computation, control, communication and coordination.
          1994 руб             2009 год          64 стр.          мягкая обложка

Secure CPU. A Secure Processor Architecture for Embedded Systems
The research on security issues is getting more important, as the number of embedded and networked computing systems is increasing constantly.
          2413 руб             2008 год          144 стр.          мягкая обложка

Staerkung der Wettbewerbsfaehigkeit durch die Bildung von Clustern. Eine empirische Untersuchung einer Clustervermutung im Bereich eingebetteter Systeme (Embedded Systems) in der Metropolregion Nuernberg
Anschliessend werden die gewonnenen Erkenntnisse angewendet und es wird auf Basis einer quantitativen Erhebung eine Aussage ueber eine Clustervermutung im Bereich eingebetteter Systeme in der Metropolregion Nuernberg getroffen.
          2413 руб             2009 год          136 стр.          мягкая обложка

Heterogeneous Parallel Embedded Systems. Time and Power Optimization
This book, 1) proposed several efficient algorithms to solve the problem; 2) combined Dynamic Voltage Scaling (DVS) and soft real-time to solve the Voltage Assignment with Probability (VAP) Problem. 3) applied our efficient algorithms to dynamic adjust the working mode of sensors to save energy for sensor networks; 4) designed rotation scheduling algorithms for real-time applications that produce schedules consuming minimal energy; 5) combined data mining and prefetching to reduce energy consumptions; 6) improved performance and energy consumption for processors with multi-bank memory. Due to conditional operations, some tasks may not have fixed execution time. Embedded systems are driving an information revolution with their pervasion in our everyday lives. With more and more different types of FUs available, same type of operations can be processed by heterogeneous FUs with different costs, where the cost may relate to power, reliability, etc. Therefore, how to assign a proper FU type to each operation of a system and generate a schedule that minimize the total costs while satisfying timing constraints with guaranteed confidence probabilities becomes a critical issue.
          3231 руб             2008 год          212 стр.          мягкая обложка

The Object Primer. Agile Model-driven Development with UML 2.0
In addition, the author takes time to reflect on the lessons learned over the past few years by discussing the proven benefits and drawbacks of the technology.
          4296 руб             2004 год          572 стр.          мягкая обложка

Rate Dependent Constitutive Modeling of Engineering Materials. Model Development and Numerical Implementation
          2781 руб             2009 год          184 стр.          мягкая обложка

Embedded System Design for Evaluation of the Burst Mode Transmission. Designing an Embedded System for the Evaluation of the Burst Mode Transmission in a Gigabit PON Network
This research includes two topics, the design and validation of a high-speed embedded control platform containing hardware and software and the study of channel coding in the upstream to improve the performance of the burst-mode GPON uplink physical layer.
          2781 руб             2010 год          188 стр.          мягкая обложка

Range Safety and Telemetry System
Either system can act in conjunction with each other or as a stand-alone unit.
          1120 руб             2011 год          68 стр.          мягкая обложка

Friction induced Vibration; Self-Excitation and Vibro-Impact; Modelling of Rock Drilling; Dynamic Behaviour and System Performance Friction Driven System for Vibro-Impact Rotary Rock Drilling.
This book makes an attempt, if not to recover, then at least utilise the energy consumed by friction.
          3231 руб             2010 год          256 стр.          мягкая обложка

Modeling Methodologies for Dynamic Reconfigurable Systems. How to model, validate and implement a Dynamic Reconfigurable System using Simulink
The proposed methodological flow is centered on the model-based design paradigm; it relies upon Simulink by The MathWorks as long as several tools developed by the DRESD team (www. dresd. org) and by the targeted FPGAs producers.
          1978 руб             2009 год          60 стр.          мягкая обложка

Flow Transport Phenomena in Tissue Engineering. Flow Characterization and Modeling of Cartilage Development in a Spinner-Flask Bioreactor
This book provides new insights into the contribution of convective flow transport phenomena to cartilage development in vitro, and should be especially useful to bioengineers, students or anyone else who may be interested in biofluids, tissue engineering or mechanobiology.
          2382 руб             2009 год          136 стр.          мягкая обложка

A Component-Based Approach to Design and Construction of Change Capable Manufacturing Cell Control Systems Enterprise Modelling.
A new development of this modelling structure allows pre-modelled tasks to be selected, detailed and organised and suitable resources and reusable control system components (or building blocks) assigned to groups of tasks.
          3212 руб             2009 год          256 стр.          мягкая обложка

Reactor engineering aspects of fluidized bed polypropylene reactors. A multi-layered modeling approach
This book is addressed at practicing engineers who would like to get insight into polypropylene reactor operations.
          3212 руб             2009 год          220 стр.          мягкая обложка

Development of an autoignition model for natural gas engines. an experimental and modeling study
The results with the model incorporated into a Multi- Dimensional model (KIVA) are also promising.
          2766 руб             2009 год          168 стр.          мягкая обложка

Fault Models and Test Considerations for High Performance Embedded SRAM' s Semiconductor Memory Testing.
          1994 руб             2009 год          64 стр.          мягкая обложка

Design, modeling, and implementation Electromagnetic Dampers in Vehicle Suspension Systems.
Consequently, novel suspension concepts are required, not only to improve the vehicle’s dynamic performance, but also to enhance the fuel economy by utilizing regeneration functions.
          2766 руб             2009 год          196 стр.          мягкая обложка

Artificially structured strongly correlated electron systems. Model calculations of physical properties
There is a bright perspective for intriguing new physics with potential for applications.
          3212 руб             2010 год          156 стр.          мягкая обложка

Ontologies in Engineering. Modeling, Consistency and Use Cases
Third, she describes a method for building semantic correspondences among design models that can be used for consistency checking or for propagating the changes from one model to another.
          2766 руб             2008 год          168 стр.          мягкая обложка

Is Building Construction Approaching the Threshold of Becoming Unsustainable?. A System Theoretic Exploration towards a Post-Forrester Model for Taming Unsustainable Exponentialoids
At the outset, it marshals a large amount of insights and understanding from prior literature to bear on the focused topic.
          3231 руб             2008 год          408 стр.          мягкая обложка

The Component Market as New Force in Requirements Engineering - CRRE as Approach. Evaluation of a Requirements Engineering Approach for Adaptive Component-based Systems
This should specify the customer needs for the later software in a very coarse-grained way.
          2005 руб             2008 год          120 стр.          мягкая обложка

Model for Information Systems Legitimacy in Rehabilitation Counseling. A Study of Information Processing Needs of Rehabilitation Counseling Organizations and Social Networks with Regard to Cognitive Legitimacy
Based on a review of written material published by thirteen rehabilitation counseling organizations, the study finds that the sector has few unmet information processing needs with regard to political and policymaking activities, both critical success factors.
          3231 руб             2008 год          228 стр.          мягкая обложка

Performance Measurement of Safety Systems in Construction
Nitin has worked with renowned universities in Hong Kong and Australia focusing on applied research with various challenging topics that include virtual site visits, solid waste management and construction safety.
          2781 руб             2008 год          192 стр.          мягкая обложка

A Study on Variable Selection for Kansei Engineering System. Applications for Product Design
This problem consists of two sub-problems, namely affective response dimension selection (ARDS) and product form feature selection (PFFS).
          2413 руб             2009 год          124 стр.          мягкая обложка

The Dynamics of a Model Three Species Predator-prey System with Choice
There are many areas of study that needed redress.
          2005 руб             2009 год          84 стр.          мягкая обложка

Visual Basic for Applications (VBA) was used to design and create the DSS while the GIS provides the spatial interface, database and route modelling component.
          3231 руб             2009 год          300 стр.          мягкая обложка

DES modeling of DRT. Discrete event system modeling and control of demand responsive transportation systems in real time
In this study DRT systems are modeled as Discrete Event Systems using Finite Automata formalism and DRT real time control is addressed using Supervisory Control Theory.
          2005 руб             2009 год          120 стр.          мягкая обложка

Structural Models for Large Software Systems. Dependency Matters
The sheer volume of this decision making process is daunting.
          3231 руб             2008 год          204 стр.          мягкая обложка

Semantic-based E-Learning Framework. E-Learning Shift: from a Technology Driven to an Organizationally Driven Discipline that is Supported by ICT with the Help of an Engineering Approach
          3231 руб             2008 год          296 стр.          мягкая обложка


на главную

 (499) 213 04 22

Интернет магазин Книги почтой booksiti.net.ru, все книги Вы можете приобрести наложенным платежом, сделав заказ на сайте. Большой выбор литературы по бизнесу, экономике, праву. Техническая научная литература. Детские книги и учебники для школы. Медицинские издания. Художественная литература. Сайт booksiti.net.ru это интернет-магазин литературы, который успешно работает на книжном рынке уже 3 года. Ведущим методом работы является рассылка литературы наложенным платежом в регионы. В крупных издательствах наложенным платежом книги не отправляют, а что делать покупателю, дабы гарантированно получить свой заказ? При отправке наложенным платежом заказ оплачивается при получении на почте, что важно для розничного покупателя. Ведь не все необходимые для работы книги можно купить в родном городе. Если вы всю жизнь идёте по пути самосовершенствования и саморазвития, то на сайте booksiti.net.ru вы обязательно найдете для себя новые и интересные книги.