Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages (Electronic computers) --- Flow control (Data transmission systems)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.

information flow control --- software security --- program slicing --- program dependence graph --- path conditions

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science. --- Side-channel analysis and countermeasures --- Information flow control --- Hardware reverse engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The drive line of the working equipment of mobile machines is mainly composed of fluid power systems. Electro-hydraulic components facilitate the development of innovative Flow-on-Demand hydraulics. In these systems the oil flow of the pump is derived from the consumer requests and directly set in an open-loop control. Principle related power dissipation is reduced. Additionally, faster system response improves machine operability and ease of use.

electro-hydraulic flow-on-demand --- mobile Arbeitsmaschinehydraulics --- elektrohydraulische Bedarfsstromsteuerung --- energy efficiency --- Hydraulik --- Energieeffizienz --- Bedienkomfort --- mobile machines --- flow control

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Wind turbines are one of the most promising renewable energy technologies, and this motivates fertile research activity about developments in power optimization. This topic covers a wide range of aspects, from the research on aerodynamics and control design to the industrial applications about on-site wind turbine performance control and monitoring. This Special Issue collects seven research papers about several innovative aspects of the multi-faceted topic of wind turbine power optimization technology. The seven research papers deal respectively with the aerodynamic optimization of wind turbine blades through Gurney flaps; optimization of blade design for large offshore wind turbines; control design optimization of large wind turbines through the analysis of the competing objectives of energy yield maximization and fatigue loads minimization; design optimization of a tension leg platform for floating wind turbines; innovative methods for the assessment of wind turbine optimization technologies operating on site; optimization of multiple wake interactions modeling through the introduction of a mixing coefficient in the energy balance method; and optimization of the dynamic stall control of vertical-axis wind turbines through plasma actuators. This Special Issue presents remarkable research activities in the timely subject of wind turbine power optimization technology, covering various aspects. The collection is believed to be beneficial to readers and contribute to the wind power industry.

ANN --- DBD plasma actuation --- aerodynamics --- vertical-axis wind turbine --- PSO algorithm --- variable-speed wind turbine --- wind turbine --- wind energy --- analytical model --- wind farm efficiency --- omega arithmetic method --- wake interaction model --- tower fatigue --- floating offshore wind turbine --- dynamic stall --- nonlinear economic-model predictive control --- hydrodynamic motion response --- active flow control --- control and optimization --- wind farm --- blade optimization --- tension leg platform --- structures --- flow control --- Gurney flap --- time-domain coupled model --- drive-shaft torsion --- mixing coefficient --- modified Morison equation --- wind turbines --- FAST --- turbulence intensity