Flexible AC Transmission Systems (FACTS) controllers with its ability to directly control the power flow can offer great opportunities in modern power system, allowing better and safer operation of transmission network. In this paper, in order to find type, size and location of FACTS devices in a power system a Dedicated Improved Particle Swarm Optimization (DIPSO) algorithm is developed for de...

This article deals with the minimum requirements for quality management at Periodical Technical Inspection Stations (PTIS) road vehicles in Slovak Republic, as well selected countries of European Union. Specifically, it contains research performed all PTIS Republic a focus on established system and number employees companies operating these PTIS, similar Based results, an assessment influence i...

The system of technical operation (TO) on-board equipment or avionics aircraft (AC) as an object research is a set objects and means operation, maintenance repair programs, well personnel performing procedures organizing the processes TO. quality TO manifested in process - intended use, operational control, maintenance, restoration repair. process, changing states, can be considered controlled ...

The operation of a distribution system in the presence of distributed generation systems has someadvantages and challenges. Optimal sizing and siting of DG systems has economic, technical, andenvironmental benefits in distribution systems. Improper selection of DG systems can reduce theseadvantages or even result in deterioration in the normal operation of the distribution system. DGallocation ...

The redundancy allocation is one of the most important and useful problems in system optimization, especially in electrical and mechanical systems. The object of this problem is to maximize system reliability or availability within a minimum operation cost. Many works have been proposed in this area so far to draw the problem near to real-world situations. While in classic models the system com...

with the increasing pressure on non-function attributes (security, safety and reliability) requirements of an operation system, high–confidence operation system is becoming more important. Formal verification is the only known way to guarantee that a system is free of programming errors. We research on formal verification of operation system kernel in system code level and take theorem proving ...