Industry reorganization and the increase in the automation level of productive processes results in the augmentation of complexity of the interactions among enterprise subsystems related to monitoring and control. Analysis techniques are used to deal with the complexity, design of new productive systems, and improve the performance of existing systems. In this context there is currently a speci...

In an ongoing effort to reduce development costs in spite of increasing system complexity, Motorola has been a long-time adopter of ModelDriven Engineering practices. The foundation of this approach is the creation of rigorous models throughout the development process, thereby, enabling the introduction of automation into the development life cycle and supporting frameworks.

This paper presents and illustrates an approach that allows designers exploring and reasoning, checking and then arguing the consistency of the operating modes of a system. The goal is to help designers to build system’s functional architecture by linking operating modes, allowed configurations and operational scenarios i.e. the set of functions displayed by the system in each mode in order to ...

The ability to learn a model of a system from observations of the system and background knowledge is central to intelligence, and the automation of the process is a key research goal of Artificial Intelligence. We present a modellearning system, developed for application to scientific discovery problems, where the models are scientific hypotheses and the observations are experiments. The learni...

Any books that you read, no matter how you got the sentences that have been read from the books, surely they will give you goodness. But, we will show you one of recommendation of the book that you need to read. This pragmatic project automation how to build deploy and monitor java applications pragmatic starter kit is what we surely mean. We will show you the reasonable reasons why you need to...

Introduction Wedge modifiers are commonly applied in external beam radiotherapy to change the dose distribution corresponding to the body contour and to obtain a uniform dose distribution within the target volume. Since the radiation dose delivered to the target must be within ±5% of the prescribed dose, accurate dose calculation by a treatment planning system (TPS) is important. The objective ...

Introduction: The Sc is an important parameter to monitor unit (MU) calculation in radiation therapy procedure. The aim of this study is to measurement and comparison of head scatter factor (Sc) for 9MV photon beam using the build-up cap and a columnar mini-phantom.   Materials and Methods: The measurements performed using a calibrated ion chamber (Scanditron...

This paper examines the home bias phenomenon in international finance at the industry level. Using unique financial datasets, I calculate the sectoral home bias of 27 industries in 43 countries. The empirical findings include: (1) home bias is stronger when and where capital restrictions are greater, (2) nontradable sectors exhibit stronger home bias, and (3) home bias decreases in sectoral pro...

Computer scientists routinely design algorithms to efficiently solve problems found in nature. The resulting algorithms encapsulate the original problem as well as extra information about how to solve that problem; thus, nature’s original description that says what the problem is has been augmented with information about how to solve it. In this paper, we investigate the automation of this proc...

In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular properties such as transitivity, Euclideanness and functionality, to decidable logics. The goal of the axiomatic translation principle is to find simplified theories, which capture the inference problems in the original theory...