Шаблоны проектирования программного обеспечения киберфизических систем зданий
The paper considers applied scientific aspects of algorithmic and software design of cyber-physical building system (cyber-physical system, CPS). The building's CPS is a basic element of the Smart City IT architecture and represents a set of life support system control devices, communication and computing facilities integrated into the building, which are necessary and sufficient for the implementation of user services. In a building's cyberphysical system, all equipment and subsystems are integrated into a single ecosystem to improve comfort and safety, as well as to reduce operating costs and save resources. The paper investigates the requirements for the building's CPS software. Presented are groups of design patterns, which, in practice, does not only significantly reduce the time to program and configure the CPS elements of the building, but also increases the interoperability of developed information applications. Consideration is given to the algorithms of CPS software under the conditions of the Internet of Things (IoT) application. Using the proposed templates, software developers will be able to quickly form new services, quickly integrate and maintain them. The patterns presented in the study are most effective in the implementation of services to control indoor and outdoor lighting, power loads and electrical appliances, as well as systems such as heating, air conditioning, ventilation, security alarm, access control, water leakage control, audio and video equipment. CPS software architecture design templates can be in demand for manufacturers of systems and services of management of private or apartment houses, developers of software systems of automation of commercial real estate objects and state organizations, developers and administrators of software of industrial constructions, objects of agroindustrial complex. The research is carried out within the framework of the priority science development direction of the Perm branch of the National Research University Higher School of Economics "Research of control methods in cyber-physical systems".
The paper discusses the methods and technologies used in the development of special software for control panel of shipboard laser complex (SLC) and a set of software simulators information flows generated by the equipment SLC interaction with the control panel.
This proceeding includes the papers of the following topics:
Bioinformatics, e-Health and Wellbeing Internet of Things and enabling technologies Smart Spaces, Linked Data and Semantic Web Big Data and Data Mining, Data Storage and Management Knowledge and Data Managements Systems Location Based Services: Navigation, Logistics, e-Tourism Context Awareness and Proactive Services Sensor Design, Ad-hoc and Sensor Networking Natural Language Processing, Speech Technologies Artificial Intelligence, Robotics and Automation Systems Open Source Mobile OS: Architectures and Applications Software Design, Innovative Applications Smart Systems and Embedded Networks Security and Privacy: Applications and Coding Theory Next Generation Networks, Emerging Wireless Technologies, 5G Computer Vision, Image and Video Processing Crowdsourcing and Collective Intelligence IoT based methods for Smart Water Distribution and Management in Agriculture Innovative Drone Enhanced Applications Semantic Audio and the Internet of Things Intelligence, Social Media and Web
The reports were present at the 24th Conference of Open Innovations Association FRUCT held on April 8-12, 2019 in Moscow, Russia.
The stochastic model is provided. Using the model, redesign of distance learning system CLASS.NET is done by solving the stochastic optimization problem.
The dg.o conference is the flagship conference of the Digital Government Society (DGS), and has positioned itself to be a top-ranking conference in this interdisciplinary academic field. It brings high quality research contributions and plays a major role in the advancement of knowledge in the field of digital government. The continue growing number of scholars and the growing number of members will continue to reinforce the position of DGS as a research and practice platform where researchers and practitioners can meet, exchange ideas, and build new relationships.
This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020. The conference was held virtually due to the COVID-19 pandemic.
The 79 revised full papers presented were carefully reviewed and selected from 225 submissions. The papers of NEW2AN address various aspects of next-generation data networks, with special attention to advanced wireless networking and applications. In particular, they deal with novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and stochastic geometry, while also covering the Internet of Things, cyber security, optics, signal processing, as well as business aspects. ruSMART 2020, provides a forum for academic and industrial researchers to discuss new ideas and trends in the emerging areas.
The paper discussed a concept of VTMine/C — yet another modular framework which is extensible by plug-ins. The subject area of the core program refers to process modelling, workflow, and process mining fields. The framework allows third-party components in the form of plug-ins to extend the program and customize their interaction with each other and with the framework modules. An abstraction layer build up of the framework modules is described. Concepts of resources, plug-in dependencies and other features are introduced. One of the main VTMine/C purposes is to support integration with DPMine/C library.
The problem of automatic vehicle routing for oil products transportation from storage depots to filling stations is considered. An overview of existing software solutions and their limitations are shown. Metaheuristic algorithm for solving this problem is described, software architecture of the system is proposed.
Subject: smart house maintenance requires taking into account a number of factors - resource conservation, mitigating working expenditures, safety enhancement, ensuring comfort of leisure and operation. Automation of such engineering systems networks as illumination, climate control, security and communication, may be achieved through utilization of contemporary technologies (e.g. IoT – Internet of Things). However, storing and processing the overwhelmingly massive corpora of data produced by the aforementioned systems poses a significant challenge. It is necessary to rationally manage the available big data during the stage of information modelling, due to the fact, that a building’s lifespan outlives most iterations of safety, comfort, and maintenance standards substantially.
Materials and methods: since smart houses may be classified as human-machine systems, the cybernetic approach will be considered as the base method of information system design and discovery. Instrumental methods are represented by set-theoretical modelling, automata theory and architectural principles of information management systems’ organization.
Results: an agile architecture of information system for smart house hardware management has been synthesized. The architecture encompasses several levels: client level, application level and data level; as well as three layers: presentation level, actuating devices layer and analytics layer. As proposed, the problem of growing volumes of information process by realtime message controller is attended by employment of sensors with configurable thresholds and actuating mechanisms, which implement control logic based on discrete automaton (namely, logical algorithm schemes). Multicircuit control system is suggested to be additionally enhanced with datamining module, DBMS, datamarts, and OLAP cube, which are jointly capable of processing large amount of data produced by hardware subsystems.
Conclusions: an information system for smart house hardware management, once built according to the proposed architecture, will enhance the quality of decision-making process, decrease operational costs of the smart house, due to the datamining-enabled control circuit. Suggested solution is recommended to be employed for the management of buildings and constructions, that utilize means of automation and IoT.
Miniaturization, reduced costs of electronic components, and advanced information technologies now open practical possibilities to design, develop and deploy thousands of the coin-sized sensors and mechanical devices at multiple locations. This kind of softwarehardware systems, pervasively available to the user in everyday activities, is named Ubiquitous Computing Environment (UCE) (Abowd & Mynatt, 2000; Niemelä & Latvakoski 2004), or even - Ubiquitous Smart Space (Jeng, 2004 ; Kawahara et al., 2004). Establishing ad hoc communication via wireless media numerous elements of the UCE provide the user with real-time global sensing, context-aware informational retrieval, and enhanced visualization capabilities. In effect, they give extremely new abilities to look at and interact with our habitat. Many researches made a contribution to developing of Sensors and Actuators Networks (SANET), which became a foundation of UCE. There are tiny hardware devices available in practice for building SANET, embedded operating systems, wireless network protocols, and algorithms of effective energy management (Misc.Tinyos, 2010; Feng et al., 2002; Tilak et al., 2002; Crossbow, 2010). Now researchersђ community demonstrates growing interest to resolving the next important problem that will be faced by the developers and the users of UCE since a short time. That is the problem of semantic interoperability in the joint context of SANET, existing IT-infrastructure and people society. Resent results (Branch et al., 2005 ; Curino et al., 2005 ; Tsetsos et al., 2005; Ahamed et al., 2004; Tokunaga et al., 2004 ; Chan et al., 2005) show applicability of the middleware paradigm for the solution of that problem, and provide for approaches facilitating integration of SANET on the application level of enterprise systems.
Considering implementation issues of our framework it can be mentioned that the designed software architecture allows for rapid inclusion of new software technologies on different levels without significant changes of the core. Splitting the process of the message processing from the process of huge RDF models retrieving makes Ontology Mediator more robust.
A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traﬃc is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the ﬁnal node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a ﬁnite-dimensional system of diﬀerential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of diﬀerential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.
Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability
Existing approaches suggest that IT strategy should be a reflection of business strategy. However, actually organisations do not often follow business strategy even if it is formally declared. In these conditions, IT strategy can be viewed not as a plan, but as an organisational shared view on the role of information systems. This approach generally reflects only a top-down perspective of IT strategy. So, it can be supplemented by a strategic behaviour pattern (i.e., more or less standard response to a changes that is formed as result of previous experience) to implement bottom-up approach. Two components that can help to establish effective reaction regarding new initiatives in IT are proposed here: model of IT-related decision making, and efficiency measurement metric to estimate maturity of business processes and appropriate IT. Usage of proposed tools is demonstrated in practical cases.
Let G be a semisimple algebraic group whose decomposition into the product of simple components does not contain simple groups of type A, and P⊆G be a parabolic subgroup. Extending the results of Popov , we enumerate all triples (G, P, n) such that (a) there exists an open G-orbit on the multiple flag variety G/P × G/P × . . . × G/P (n factors), (b) the number of G-orbits on the multiple flag variety is finite.
I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables