This paper shows the power of game semantics when describing concurrent processes. First, we analyze the selected iterative model of database transaction execution and provide linear logic expression of this model. Next, game semantics for linear logic is used to express the semantics of the selected situation: transaction rollback. The developed strategy is being then proved using proof tree of the linear logic calculus. Finally, we discuss the presented power of game semantics of database transactions, and show future work directions in the field of expressing game semantics of software engineering problems.

The demand on high data rate, low latency, high spectral efficiency and low power consumption create an ongoing pressure on the development of communication systems. Although cellular technologies like Long-term evolution and Long-term evolution - Advanced can face many of these demanding challenges the dramatic increase of mobile data transfer in the last years give rise to design even more sophisticated methods. Multi-carrier modulation formats retain great potential to meet the requirements of the next generation 5G systems. Here, Generalized frequency division multiplexing is a promising candidate to deploy. However, as an intrinsic property of multi-carrier modulation, the high signal amplitude fluctuation can cause several degradation effects when the signal is affected by nonlinearities. Therefore, the aim of this paper is to evaluate the performance of Generalized frequency division multiplexing systems undergoing nonlinear amplification. We evaluate the bit error ratio using two model of high power amplifier, namely the Rapp and the Saleh model, respectively. The results show that the fault rate is apparently affected according to the particular high power amplifier model and its transmission parameters.

In this paper we discuss in general the role of monitoring tools in network traffic engineering and shaping; and current trends in the development of web applications, while our main focus is aimed at the top most layer of the SLAmeter tool, i.e. the web application; which provides the user interface for the tool. The purpose of the SLAmeter network traffic metering tool is to provide information about various aspects of computer network traffic. Since meaningful and configurable data visualization is an indispensable tool for achieving the goal of the monitoring; considering the shortcomings of the previous version; our main focus is aimed at the design and implementation of a modular architecture with a thick client for this web application which serve as the basis for further extension with modules for the evaluation of the collected data; and thus optimizing the process of network traffic monitoring and evaluation with the SLAmeter tool.

The aim of this paper lies in comparison of two CAD (Computer aided Design) software (Ansoft Designer from Ansys and HyperLynx 3D EM Designer from Mentor Graphics) and real measurements of designed and fabricated filters. Both software tools belong to the group of the most used tools for design and simulation of different structures. These structures are made by transmission lines of a few kinds (microstrip, stripline, slotline, etc.) and they substitute common elements in HF (High Frequency) area. This paper presents 3 various microstrip filters based on LTCC (Low Temperature Co-fired Ceramic) dielectric material GreenTape 951. Low pass (LP), band pass (BP) and band stop (BS) filters for UWB (Ultra Wide-Band) sensor systems were designed, simulated, fabricated and measured. Measured results and simulations (S21 – forward transmission coefficient) are plotted in joint graphs where divergences are observed and depicted.

The induction heating phenomenon depends on various factors, making the problem highly nonlinear. The mathematical analysis of this problem in most cases is very difficult and it is reduced to simple cases. Other knowledge of induction heating systems is generated in production environments, but these trial-error procedures are long and expensive. The numerical models of induction heating problem are another approach to reduce abovementioned drawbacks. This paper deals with the simulation model of induction heating problem. The simulation model of induction heating system in COMSOL Multiphysics is created. The equivalent inductance and equivalent resistance of induction coil – workpiece coupling during heating process and temperature change for different parameters of AC current flowing through induction coil is obtained. In model, nonlinear electromagnetic and thermal properties of workpiece material are included. The simulation model provides essential information about processes ongoing in heated material. In order to verify the simulation model, the experimental measurements are made.

Wind power has progressed nowadays because the proliferation of wind parks and their operation in supplying the national electric grid with low cost and clean resources. Hence, there is an increased need to establish a proactive maintenance for wind turbine machines based on remote control and monitoring which rely heavily on the timely delivery of safety real-time data for offshore or inaccessible locations through a wireless connection while the wired method has many flaws. The objective of this strategy is to prolong wind turbine lifetime and to increase productivity. The hardware of a remote control and monitoring system for wind turbines Park is designed by taking advantage of GPRS or Wi-Max wireless module to collect data measurements from different wind machines sensors through IP based multi-hop communication. Computer simulations with Proteus ISIS and OPNET tools have been conducted to evaluate the performance of the studied system. Study findings show that the designed device achieves a satisfactory performances and it is suitable for application in a wind park.

In this paper, a new mathematical model is proposed to predict the pollution flashover voltages of porcelain disc insulators subject to AC voltages. The pollution flashover mechanism is most commonly influenced by the parameters such as applied voltage, pollution resistance, arc length and arc constants. The proposed model is developed by establishing the relation between the above said parameters using the dimensional analysis. The Ayrton’s arc constants A and n used in the model are estimated using optimization of the published experimental data of arc voltage and arc current of a real insulator. For a number of insulators of different geometrical dimensions, the pollution flashover voltages are computed using the new proposed model and are compared with experimental and analytical results of other researchers of the same insulators. It is found that the computed results are in good accordance with the experimental and analytical results of other researchers.

Maximum utilization of the available transmission lines is advisable than introducing a new transmission line to the existing power system because of various reasons such as regulatory, environmental, and public policies, as well as escalating costs. This can be achieved by using FACTS controllers which are one of the power electronics based static equipment to control one or more AC transmission system parameters for enhancing controllability and increase power transfer capability. Placing and Sizing of the FACTS controllers in transmission line is a challenging task. To perform this task, we propose a new hybrid technique based on fuzzy logic (FL) and Particle swarm optimization (PSO). Here, we have considered Interline Power Flow Controller (IPFC) as we are discussing multiline transmission systems. The purpose of fuzzy system is to determine the capacity of IPFC in terms of voltage deviation. The optimal location of IPFC is done by PSO. The proposed technique maintains the voltage stability and minimizes the transmission loss of the power system. For analyzing the nonlinear power flow of the transmission system, Newton-Raphson method is utilized. The proposed multi objective approach is implemented in MATLAB and the performance of the proposed fuzzy-PSO is compared with fuzzy-GA.