This paper describes the design and development of pico-hydro generation system using consuming water distributed to houses. Water flow in the domestic pipes has kinetic energy that potential to generate electricity for energy storage purposes in addition to the routine activities such as laundry, cook and bathe. The inherent water pressure and flow inside the pipe from utility’s main tank that...

The high-speed generators offer superior power-to-volume ratio and highly compact structure comparing with their lower speed counterparts. These advantages make high-speed machines eligible for distributed generating application with microturbine that one of the distributed power generation that produced electric in the remote and disastrous zones where grid power is unavailable. To achieve hig...

This paper deals with the specification and realization of a synthetic traffic generator for IP traffic, called D-ITG (Distributed Internet Traffic Generator). We point our attention on the innovative architectural choices and the consequent interesting results. Indeed, thanks to the novel proposed distributed architecture, D-ITG reaches the highest performance over all the considered platforms...

This paper presents a formal methodology and a set of design and programming tools for the development of concurrently communicating systems that execute in distributed computing environments. In order to solve the complex problems of synchronization and communication between dynamically distributed tasks, the distributed programming system uses an internal process-algebra-based mechanism, and ...

The Dual Elliptic Curve Pseudorandom Generator (DEC PRG) is proposed by Barker and Kelsey [2]. It is claimed (see Section 10.3.1 of [2]) that the pseudorandom generator is secure unless the adversary can solve the elliptic curve discrete logarithm problem (ECDLP) for the corresponding elliptic curve. The claim is supported only by an informal discussion. No security reduction is given, that is,...

This study presents an aeroelastic wing shaping control concept for distributed propulsion aircraft. By leveraging wing flexibility, wing-mounted distributed propulsion can be used to re-twist wing shapes in-flight to improve aerodynamic efficiency. A multidisciplinary approach is used to develop an aero-propulsive-elastic model of a highly flexible wing distributed propulsion transport aircraf...

This chapter shows the ways of optimising a medium power wind power electromechanical system, generating anything up to several tens of kilowatt electric power. The optimisation criteria are based on the cost of the electromechanical generator associated with a power electronic converter; on the power efficiency; and also on a fundamental parameter, often neglected in smaller installations, whi...

We report on the implementation of high dimensional scrambled Sobol sequences for Monte Carlo Simulations under the statistical software packages R and SPlus. The generator provides low discrepancy sequences distributed uniformly in [0, 1) or distributed normally with mean zero and variance one. The implementation interfaces the ACM Algorithm 659 which allows to generate three different types o...

This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...