In this paper, we consider how to apply the sequence space and the shift register generator (SRG) theories to distributed sample scrambling (DSS), which exhibits the best performance in scrambling of small frame-sized signals. We first consider how to predict scrambling sequences using their samples, which is a basic problem for a proper synchronization within the DSS systems. Then for DSS scra...

The AC-coupling of components for stand-alone PV-battery-diesel hybrid power systems and the distributed generation in renewable energy micro grids is a challenging task for the control technology. Today’s systems mostly run in master/slave operation with one battery inverter or one genset as the grid master. Extendable distributed power supplies can be considerably improved by introducing mult...

The paper presents an optimum design procedure for the controller used in the frequency converter of a variable speed wind turbine (VSWT) driven doubly fed asynchronous generator (DFAG) by using Proportional-Integral (PI) controller. The cascaded control is frequently used in the control of the frequency converter using the proportional PI controllers. The setting of the parameters of the PI co...

A comparative study between the topologies consisting of the Conventional Electronic Load Controller and the Proposed Electronic Load controller (ELC)has been carried out in this paper for the power Quality Improvement in a conventional Electronic Load controller used for Isolated pico-hydropower generation using Asynchronous generator (AG). A polygon wound autotransformer with reduced Kilo Vol...

Performance optimization, system reliability and operational efficiency are key characteristics of smart grid systems. In this paper a novel model of smart grid-connected PV/WT hybrid system is developed. It comprises photovoltaic array, wind turbine, asynchronous (induction) generator, controller and converters. The model is implemented using MATLAB/SIMULINK software package. Perturb and obser...

Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is performed by external tools: The metaprover Sledgehammer relies on resolution provers and SMT solvers for its proof search, the counterexample generator Quickcheck uses the ML compiler as a fast evaluator for ground formulas, ...

The OASIS WS-BPEL 2.0 standard language for Web Service composition eases the creation of advanced services based on others. However, its dynamic and asynchronous nature presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyses execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composi...

A novel analogue power-efficient 2-D programmable finite impulse response image filter is proposed. This solution is based on the current-mode Gilbert-vector-multiplier operating in the weak inversion region, which allows for ultra low power operation. The main advantage is in the asynchronous and parallel calculation of all pixel values without using any clock generator. The filter is a progra...