Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical background in computer science. Categories are interesting mathematical structures which have become important for constructing the models of programs and program systems. In this paper we formulate an introductory analysis of some aspects of component-based programming for selecting appropriate categorical structures as their models.

The thermal resistance, flow analysis, pressure drop and distribution of coolant inside multilayer LTCC (Low Temperature Co-fired Ceramics) substrate are detailed investigated in this paper. For this reason four various structures of internal channels in the multilayer LTCC substrates were designed and simulated. The simulation 3D model consist of 6 LTCC of DuPont 951® layer with cooling microchannel in middle of substrate, power chips paced on top of LTCC and silver sintered joints under power chips. The impact of the structure of channels, volume flow and power loss of die was simulated, calculated and analyzed by using the simulation software Mentor Graphics FloEFDTM. The structure and size of channels have the significant impact on thermal resistance, pressure of coolant as well as the effectivity of cooling power components which can be placed on LTCC substrate. The thermal resistance was calculated from the temperature gradient among chip junction, the inlet fluid and the thermal load of chip. Optimizing and comparison of cooling channels structure inside LTCC substrates and analyzing the effect of volume flow for achieving the least thermal resistance of LTCC multilayer substrate is the main contribution of this paper.

Nowadays, demand for low power, small, mobile and flexible computing machines that interconnects are growing rapidly. This study highlights internet of things (IoT) model regarding sensor node discovery and IPV6 framework using 6LoWPAN. Contiki network simulator (cooja) was used to examine the performance of the proposed network. The simulator was chosen because it provides good graphical user interface environment and allow rapid simulation setup found to be best in simulating network involving 6LoWPAN. Three experiments were carry out with the network topology designed to have 3, 7 and 5 motes respectively. The parameters considered in the simulation were throughput and packet loss which were examined using packet generation rate of 1 to 50 packet/sec with a constant delay. GET requests was sent to the humidity and temperature sensor motes running CoAP servers, and the corresponding throughput were observed in each case per experiment, it was observed that there was a 10 packet per second increase before it finally dropped This was because of the packet loss due to the increase in traffic. GET request was sent to motes to obtain the packet loss and the packet that were not acknowledged determined the packet loss. In this study, the performance of the proposed model in terms of throughput and packet loss was studied and the expected results will aid in planning 6LoWPAN network, A transition flow diagram was evolved for this work to represent packet routing process.

A Closed loop controlled DC to DC forward converter is a requisite for the server SMPS system. High efficiency, Isolation, Steady state voltage, Transient response, High switching frequency, reduced noises and range of steady state are all necessary requirements for the forward converter. In this paper, a 40 V forward converter for charging the battery of server SMPS is proposed. The proposed converter consists of a NPC-ARS circuit for soft switching on the primary side and an isolation transformer and a rectifier structure on the secondary side. With this modified NPC-ARS circuit topology, soft switching occurs during conversion and reduces the switching loss in this system. This paper proposed the simulation of closed loop controlled circuit, for the forward converter with RCD snubber, double forward converter and the Modified forward converter are analyzed and discussed in this paper. From comparison of performance in the closed loop model, a suitable converter is proposed for the sever SMPS system. The proposed circuit achieves steady state voltage, when the disturbance occurs. A 40 V proposed circuit is designed as experimental model to verify and compare the simulation and experimental results. This paper proposed the simulation and experimental results of the forward converter.

This article presents the sensors fault diagnosis system design for the hydraulic system, which is based on the group of the three fault estimation filters. These filters are used for estimation of the system states and sensors fault magnitude. Also, this article briefly stated the hydraulic system state control design with integrator, which is important assumption for the fault diagnosis system design. The sensors fault diagnosis system is implemented into the Matlab/Simulink environment and it is verified using the controlled hydraulic system simulation model. Verification of the designed fault diagnosis system is realized by series of experiments, which simulates sensors faults. The results of the experiments are briefly presented in the last part of this article.

The aim of this paper is to design the microchip pattern recognition system that is able to recognize microchip pattern based on given criteria. The inputs scenes are processed by user-friendly software created in C# programming language and then are compared with reference pattern stored in database. Pattern recognition is based on Cambridge optical correlator, which was designed mainly for comparison and identification of images based on their similarities. The use of optical processing technology will increase the speed of processing amounts of data.

The paper deals with numerical methods for the solution of ill-posed problems on special sets. A definition of well-posed problem is given. A conjugate gradients projection method and a program written in the programming language Matlab, which solve the problem on 28 special sets of correctness are briefly described. Some results for the numerical solution of Fredholm’s integral equation of the first kind are presented. The method for solving systems of linear algebraic equations on special sets has been used also for the functions smoothing for the experimental measurement data.

In this article we would like to present cruise control realization. This cruise control is presented as mechanical device for vehicle speed maintenance and has been proposed as a low cost solution. Principle of function in mechanical cruise control is based on a position control of throttle. For the right action of mechanical cruise control it was need to solve some particular tasks related with speed sensing, construct of device for control of throttle position and design of control system of whole mechanical cruise control. Information about car velocity we have gained using Hall sensor attached on a magnetic ring of car tachometer. For control of the throttle was used a small servo drive and as the control unit was used Arduino. The designed solution of mechanical cruise control have been realized for car Škoda Felicia.

This paper deals with looking for the optimal configuration of automated assembly line model placed within Department of Cybernetics and Artificial Intelligence (DCAI). In order to solve this problem, Stateflow model of each configuration was created to simulate the behaviour of particular assembly line configuration. Outputs from these models were used as inputs into the multiobjective decision making process. Multi-objective decision-making methods were subsequently used to find the optimal configuration of assembly line. Paper describes the whole process of solving this task, from building the models to choosing the best configuration. Specifically, the problem was resolved using the experts’ evaluation method for evaluating the weights of every decision-making criterion, while the ELECTRE III, TOPSIS and AGREPREF methods were used for ordering the possible solutions from the most to the least suitable alternative. Obtained results were compared and final solution of this multi-objective decisionmaking problem is chosen.