Структура программно-аппаратного комплекса мониторинга температурных полей печатных узлов электронных средств
The paper describes block diagram of the prototype of information and measuring system on the base of technology NI RIO, which consists positioning table with the drives for operation of touch temperature sensor, dose for conductive paste, control module and specialized software, which is realized in the sphere of graphic programming NILabVIEW
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
The main target of the IEEE East-West Design & Test Symposium (EWDTS-2013) is to exchange experiences between scientists and technologies of Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. EWDTS’13 covers the following topics:
• Analog, Mixed-Signal and RF Test
• Analysis and Optimization
• EDA Tools for Design and Test
• Failure Analysis, Defect and Fault
• Modeling & Fault Simulation
• Power Issues in Testing
• Reliability of Digital Systems
• Thermal, Timing and Electrostatic Analysis of SoCs and Systems on Board
The application of neural networks for prediction of long-term changes of observed parameter on the example of thermal treatment control of concrete products is considered. Experimental results are presented, and the algorithm of the work plan of an actuating mechanism is proposed.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and veriﬁcation, as well as their application and tools supporting the disciplines mentioned above.
ModBE’13 provides a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments with Petri nets and other modeling techniques.
An approach to integration of information systems and modeling systems is suggested. It is based on the DSM-platform MetaLanguage allowing to create modeling languages and domain models and to define model transformations.
The Working Paper examines the peculiarities of the Russian model of corporate governance and control in the banking sector. The study relies upon theoretical as well as applied research of corporate governance in Russian commercial banks featuring different forms of ownership. We focus on real interests of all stakeholders, namely bank and stock market regulators, bank owners, investors, top managers and other insiders. The Anglo-American concept of corporate governance, based on agency theory and implying outside investors’ control over banks through stock market, is found to bear limited relevance. We suggest some ways of overcoming the gap between formal institutions of governance and the real life.
Soft Computing (SC) is a consortium of fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC) and parts of machine learning theory (ML). SC is the foundation for computational intelligence and is leading to the development of numerous hybrid intelligent information, control and decision-making systems. The methodology of computing with words (CW) is an important event in the evolution of cognitive science, natural language processing, artificial intelligence, and different existing scientific theories. This is because CW can enrich the existing scientific theories and the above-mentioned science fields giving them the capability of using natural languages to operate on perception-based information, not only measurement-based information. Indeed in many real-world problems in natural sciences as well as in industrial engineering, economics, and business, often there is a need to deal with both perception and measurement based information. In the case of perception based information, the available information is not precise enough to justify the use of numbers. Such information is usually described in natural languages rather than in strict (idealized) mathematical expressions. So a strong need has appeared for a new approach, theory and technology for the development of knowledge representation, computing, and reasoning tools that allow creation of systems with high MIQ. The sessions of the ICSCCW-2011 will focus on the development and application of Soft Computing technology and computing with words paradigm in system analysis, decision and control.
The article examines the problems of delegation of public powers of authority to self-regulated organizations: public powers of authority which may be delegated, spheres of state administration, where delegation of powers is not allowed, validity of control over realization of delegated powers in all cases of such delegation and responsibility of the state for the acts of private persons who exercise public powers of authority.
This volume presents new results in the study and optimization of information transmission models in telecommunication networks using different approaches, mainly based on theiries of queueing systems and queueing networks .
The paper provides a number of proposed draft operational guidelines for technology measurement and includes a number of tentative technology definitions to be used for statistical purposes, principles for identification and classification of potentially growing technology areas, suggestions on the survey strategies and indicators. These are the key components of an internationally harmonized framework for collecting and interpreting technology data that would need to be further developed through a broader consultation process. A summary of definitions of technology already available in OECD manuals and the stocktaking results are provided in the Annex section.