This paper identifies the adverse events occurring during the execution of water supply and sewerage systems construction. The basis for this paper is research conducted in 2010-2014 on the construction sites of water supply and sewerage systems located in the provinces of Lower Silesia and Opole. The research consisted of direct observations of construction sites and review of construction documentation. It showed that work stoppages on the examined construction sites were frequent. They were caused by violations of work discipline by the production employees, adverse weather conditions, and defects in the project documentation. The study demonstrated that in almost every case, these bad an adverse effect on the completion date and budget of the investment. The analyses show that in such important and expensive investments as water supply and sewerage systems, organizational structures in which a special role is assigned to middle-rank personnel should be adopted.

In this work genetic programming is applied to the problem of generating maximum entanglement in multi-qubit systems of different structures. We provide quantum circuits that prepares multipartite entangled states in systems consisting of up to 8 qubits. We present results pertaining to the minimum size of a quantum circuit preparing a maximally entangled multi-qubit state in cases of reduced sets of quantum gates that correspond to spin chain quantum systems.

Embedded software and dedicated hardware are vital elements of the modern world, from personal electronics to transportation, from communication to aerospace, from military to gaming, from medical systems to banking. Combinations of even minor hardware or software defects in a complex system may lead to violation of safety with or even without evident system failure. a major problem that the computing profession faces is the lack of a universal approach to unite the dissimilar viewpoints presented by computer science, with its discrete and mathematical underpinnings, and by computer engineering, which focuses on building real systems and considering spatial and material constraints of space, energy, and time. Modern embedded systems include both viewpoints: microprocessors running software and programmable electronic hardware created with an extensive use of software. The gap between science and engineering approaches is clearly visible in engineering education. This survey paper focuses on exploring the commonalities between building software and building hardware in an attempt to establish a new framework for rejuvenating computing education, specifically software engineering for dependable systems. We present here a perspective on software/hardware relationship, aviation system certification, role of software engineering education, and future directions in computing.

The objective of this study is to investigate the change in partition coefficient with a change in the concentration of the solute in a liquid system consisting of two relatively immiscible solvents. To investigate the changes in the partition coefficients, the data of the partition coefficients at infinite dilution and the ternary Liquid-Liquid Equilibrium (LLE) data at finite concentrations of the solute should be consistent. In this study, 29 ternary systems that are found in literature and for which the partition coefficients at infinite dilution and the ternary LLE data cannot be predicted accurately by the universal quasi-chemical (UNIQUAC) model are identified. On the basis of this model, some consistent and inconsistent ternary systems are introduced. Three inconsistent systems, namely hexane-butanol-water, CCl4 (carbon tetrachloride)-PA (propanoic acid)-water, and hexane-PA-water, are chosen for detailed analysis in this study. The UNIQUAC activity coefficient model is used to represent these data over a range of concentrations. The results show large errors, exhibiting the inability of this model to correlate the data. Furthermore, some ternary systems in which cross behavior of solutes between two phases observed are identified.

Straw-fired batch boilers, due to their relatively simple structure and low operating costs, are an excellent source of heat for a wide range of applications. A concept prototype of a cogeneration system with a straw-fired batch boiler was developed. The basic assumptions were based on the principles of the Rankine Cycle and the Organic Rankine Cycle systems with certain design modifications. Using the prototype design of a system that collects high-temperature heat from the boiler, studies were performed. The studies involved an analysis of the flue gas temperature distribution in the area of the oil exchanger, a comparison of the instantaneous power of the boiler’s water and oil circuits for different modes of operation, as well as an analysis of the flue gas. In the proposed system configuration where the electricity production supplements heat generation, the power in the oil circuit may be maintained at a constant level of approx. 20-30 kW. This is possible provided that an automatic fuel supply system is applied. Assuming that the efficiency of the electricity generation system is not less than 10%, it will be possible to generate 2-3 kW of electricity. This value will be sufficient, for an on-site operation of the boiler.

In the paper finite-dimensional time-variable dynamical control systems described by linear stochastic ordinary differential state equations with single time-variable point delay in the control are considered. Using notations, theorems and methods taken directly from deterministic controllability problems necessary and sufficient conditions for different kinds of stochastic relative controllability in a given time interval are formulated and proved. It will be proved that under suitable assumptions relative controllability of a deterministic linear associated dynamical system is equivalent to stochastic relative exact controllability and stochastic relative approximate controllability of the original linear stochastic dynamical system. Some remarks and comments on the existing results for stochastic controllability of linear dynamical systems are also presented.

This study provides a systematic review of the existing academic literature describing the

key components of eMaintenance. The current literature is reviewed by utilizing a number of

academic databases including Scopus, SpringerLink and ScienceDirect, and Google Search is

used to find relevant academic and peer-reviewed journal articles concerning eMaintenance.

The literature describes eMaintenance as an advanced maintenance strategy that takes advantage

of the Internet, information and communication technologies, wireless technologies

and cloud computing. eMaintenance systems are used to provide real time analyses based

on real time data to offer a number of solutions and to define maintenance tasks. The collection

and analysis of appropriate maintenance and process data are critical to create robust

‘maintenance intelligence’ and finally improvements in manufacturing costs, safety, environmental

impact, and equipment reliability. This paper describes how the scientific discussion

on eMaintenance has expanded significantly during the last decade, creating a need for an

up-to-date review. As a conclusion, three research gaps in the area of eMaintenance are

identified, including evaluating the benefits of eMaintenance, agreeing on a

Redundant constraints in MBS models severely deteriorate the computational performance and accuracy of any numerical MBS dynamics simulation method. Classically this problem has been addressed by means of numerical decompositions of the constraint Jacobian within numerical integration steps. Such decompositions are computationally expensive. In this paper an elimination method is discussed that only requires a single numerical decomposition within the model preprocessing step rather than during the time integration. It is based on the determination of motion spaces making use of Lie group concepts. The method is able to reduce the set of loop constraints for a large class of technical systems. In any case it always retains a sufficient number of constraints. It is derived for single kinematic loops.

This work presents an application possibility of sorption refrigerators driven by low temperature fluid for air conditioning of buildings. Thermodynamic models were formulated and absorption LiBr-water chiller with 10 kW cooling power as well as adsorption chiller with silica gel bed were investigated. Both of them are using water for desorption process with temperature Tdes = 80 °C. Coefficient of performance (COP) for both cooling cycles was analyzed in the same conditions of the driving heat source, cooling water Tc = 25 °C and temperature in evaporator Tevap = 5 °C. In this study, the computer software EES was used to investigate the performance of absorption heat pump system and its behaviour in configuration with geothermal heat source.

The study presented here is related with one of the components of a hybrid decision support system called CAPCAST (Computer Aided Process - CAST), developed under a research project at the Faculty of Metals Engineering and Industrial Computer Science, AGH University of Science and Technology. This is a module for rule generation to serve the knowledge base operating in an expert system. The scope of the system operation involves the selection of technological parameters for the manufacture of machine parts from ductile iron. However, it can be extended to include other materials and technologies.

The main focus of the paper is on the asymptotic behaviour of linear discrete-time positive systems. Emphasis is on highlighting the relationship between asymptotic stability and the structure of the system, and to expose the relationship between null-controllability and asymptotic stability. Results are presented for both time-invariant and time-variant systems.

This paper presents the design of digital controller for longitudinal aircraft model based on the Dynamic Contraction Method. The control task is formulated as a tracking problem of velocity and flight path angle, where decoupled output transients are accomplished in spite of incomplete information about varying parameters of the system and external disturbances. The design of digital controller based on the pseudo-continuous approach is presented, where the digital controller is the result of continuous-time controller discretization. A resulting output feedback controller has a simple form of a combination of low-order linear dynamical systems and a matrix whose entries depend nonlinearly on certain known process variables. Simulation results for an aircraft model confirm theoretical expectations.

New equivalent conditions of the asymptotical stability and stabilization of positive linear dynamical systems are investigated in this paper. The asymptotical stability of the positive linear systems means that there is a solution for linear inequalities systems. New necessary and sufficient conditions for the existence of solutions of the linear inequalities systems as well as the asymptotical stability of the linear dynamical systems are obtained. New conditions for the stabilization of the resultant closed-loop systems to be asymptotically stable and positive are also presented. Both the stability and the stabilization conditions can be easily checked by the so-called I-rank of a matrix and by solving linear programming (LP). The proposed LP has compact form and is ready to be implemented, which can be considered as an improvement of existing LP methods. Numerical examples are provided in the end to show the effectiveness of the proposed method.

The complexity of power system phenomena challenges power system protection testing to obtain the required adequacy of the testing environment. Hardware-in-the-loop simulation in real-time substantially increases testing capabilities. However, there is still the question of the availability of commercial solutions. To address the challenges, a new hardware-in-the loop system has been designed and implemented utilizing the easily available Matlab/Simulink environment and Linux RT Preempt OS. The custom software part prepared for the presented system is based on the Matlab/Simulink s-function mechanism, Embedded Coder toolbox and Advantech biodaq library as the interface for the utilized I/O cards. The simulator’s real-time performance limits on Linux RT Preempt have been verified, and it was shown that its performance is sufficient to conduct successful tests of protection relays. Consequently, a simple power system protection relay testing example is provided, including a discussion of results. Finally, it has been proven that the presented system can be utilized as a simpler and more accessible hardware-in-the-loop testing alternative to commercial simulators.