the paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. the archi...
详细信息
the paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. the architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for constraint programming is specified as an example, and as a starting point of 'verifiable programming' project.
Area exploration and mapping with teams of robots is a challenging application. As the complexity of this application increases so does the challenge of designing effective coordinated control. One potential solution ...
详细信息
Computational thinking is a fundamental analytical ability to solve problems, design systems, and understand human behavior based on the fundamental concepts of computer science. the concept of computational thinking ...
详细信息
Many scientific experiments produce an enormous amount of data that needs to be explored. Scientific workflows and tools for managing workflows have been designed to streamline the computational processes that manipul...
详细信息
the proceedings contain 33 papers. the topics discussed include: process safety performance tool;improving management of critical controls to avoid catastrophic incidents;a spaghetti western: introduction to safety ca...
ISBN:
(纸本)9781617828881
the proceedings contain 33 papers. the topics discussed include: process safety performance tool;improving management of critical controls to avoid catastrophic incidents;a spaghetti western: introduction to safety cases for Gulf Of Mexico deepwater drilling;operational discipline: does your organization do the job right every time;alarm management for improved process safety, reliability, and product quality;incident investigation - addressing the worst that could have happened;PSM auditing dilemmas;the UK experience in managing risks arising from human error in the oil and gas sector;an approach to integrate plant reliability efforts with a mechanical integrity program;evaluation of spring operated pressure relief valve maintenance intervals and extension of maintenance times using a Weibull analysis with modified Bayesian updating;can functional testing be replaced by inspection after demands;and analysis of independent protection layers used in three typical chemical processes.
the proceedings contain 30 papers. the topics discussed include: research on generic multi agent simulators;secure AODV against maliciously packet dropping;adaptive algorithm for task scheduling in the distributed het...
ISBN:
(纸本)9788988678428
the proceedings contain 30 papers. the topics discussed include: research on generic multi agent simulators;secure AODV against maliciously packet dropping;adaptive algorithm for task scheduling in the distributed heterogeneous systems using harmony search;QClock: an interposed scheduling algorithm for performance virtualization in shared storage systems;mapping service concept and enterprise ontology in service identification;design of automatic energy saving-monitor for reducing the waste of PC electricity;the initiative design to combine real bats and balls with online baseball contents;comparison of cooperative spectrum sensing and sharing techniques in cognitive radio networks;and component-based functional integrated circuit system design and its straight implementation.
the proceedings contain 50 papers. the topics discussed include: development of a novel LTCC-chip for fast DSC-analysis;3D net-shape manufacturing of complex ceramic parts by high reduction stereo lithography - exampl...
ISBN:
(纸本)0930815920
the proceedings contain 50 papers. the topics discussed include: development of a novel LTCC-chip for fast DSC-analysis;3D net-shape manufacturing of complex ceramic parts by high reduction stereo lithography - examples of application to biomedical and industrial products;punching technology for ceramic applications;multiscale, ceramic microsystems for heat and mass transfer;design and fabrication of a complex LTCC-based reactor for the production of hydrogen for portable PEM fuel cells;laser printing of RFID antenna coils on ceramic;the design and testing of fluidic oscillators made in LTCC;electroless nickel and Au plated silver LTCC solution for advanced hermetic packages;bio-inspired functional materials converted from nature species;and new ferro L8 LTCC system ready for high reliability electronic packaging applications.
In the large-scale industrial processes, there are more slow perturbations. So the mathematical model of an actual system is difficult to be accurate. When optimizing large-scale industrial processes, the mathematical...
详细信息
An effective approach to modelling and prototyping of business applications is presented in this paper. the approach is based on three concepts: the concept of data structure abstraction, the concept of a behavioural ...
详细信息
ISBN:
(纸本)9783642241741
An effective approach to modelling and prototyping of business applications is presented in this paper. the approach is based on three concepts: the concept of data structure abstraction, the concept of a behavioural model based on the dynamic functional approach and a design approach based on creating multiple levels of a domain-specific language. the characteristics of each concept are presented. A technique how to combine them together to create highly detailed descriptive models that may be easily turned to prototypes is shown and demonstrated. Limitations are formulated and benefits over the object-oriented approach are discussed, as well.
In wireless sensor networks, one of the key challenge is to achieve minimum energy consumption in order to maximize network lifetime. In fact, lifetime depends on many parameters: the topology of the sensor network, t...
详细信息
暂无评论