Fully superconducting rectifiers and fluxpumps Part 1: Realized methods for pumping flux

The magnetic and electrical properties of superconductors were a challenge for many inventors and designers to use superconducting materials in the construction of fully superconducting voltage and current sources commonly called fluxpumps. In the past twenty years a large variety of mechanically or electrically driven devices have been proposed and successfully operated.\ud \ud In this review the basic principle of operation of each class of devices is shown and specific material problems and limitations are reported. The review will be published in two parts.\ud \ud Part 1 deals with mechanical devices such as flux compressors and dynamos. Although those devices must have been of great importance for technical application, their construction and operation offered great experience with regard to the properties of superconducting materials, their joint techniques switching and mechanical and magnetic stability under ac and dc conditions.\ud \ud In this part also a start is made with the more promising class of electrically driven rectifier fluxpumps. With these rectifiers, current levels over 10 kA can be obtained with high efficiency

Analytical evaluation of the impact of broad specification fuels on high bypass turbofan engine combustors

The impact of the use of broad specification fuels on the design, performance durability, emissions and operational characteristics of combustors for commercial aircraft gas turbine engines was assessed. Single stage, vorbix and lean premixed prevaporized combustors, in the JT9D and an advanced energy efficient engine cycle were evaluated when operating on Jet A and ERBS (Experimental Referee Broad Specification) fuels. Design modifications, based on criteria evolved from a literature survey, were introduced and their effectiveness at offsetting projected deficiencies resulting from the use of ERBS was estimated. The results indicate that the use of a broad specification fuel such as ERBS, will necessitate significant technology improvements and redesign if deteriorated performance, durability and emissions are to be avoided. Higher radiant heat loads are projected to seriously compromise liner life while the reduced thermal stability of ERBS will require revisions to the engine-airframe fuel system to reduce the thermal stress on the fuel. Smoke and emissions output are projected to increase with the use of broad specification fuels. While the basic geometry of the single stage and vorbix combustors are compatible with the use of ERBS, extensive redesign of the front end of the lean premixed prevaporized burner will be required to achieve satisfactory operation and optimum emissions

Combustion process in a Two-Stroke, H2-DI Linear Generator Free-Piston Engine during starting

A two-stroke free piston engine (FPE) for the application of a linear generator (LG) has been developed. It is a direct injection, spark ignition engine fuelled by hydrogen. In the past, the starting strategy of the FPE was based on the crank slider engine. However, the requirement of a different strategy is inevitable since the LG-FPE has no flywheel and has variable compression ratio during motoring. In addition, without a flywheel the engine has no energy storage to maintain its inertia in case of a misfire during starting. The fuelling amount, fuel injection and ignition timing during starting of LG-FPE is different from a conventional crank-slider engine. Starting of the former is done by accelerating a total moving mass of Skg alternately via electrical commutation of the linear motor towards both ends of the cylinders' stroke until sustainable combustions are achieved. The main objective of this research is to empirically investigate and determine the optimum injection and ignition timing during motoring with combustion when starting the LG FPE. Intake airflow measurements were obtained using laminar flow element setup. This is to determine the initial setting for hydrogen fuelling at stoichiometric air-fuel ratio. The investigation was carried out by varying the start of fuel injection (SOF) at constant start of ignition (SOl) and fuel per cycle (FPC) during motoring with combustion experiments of LG-FPE. Next, the SOF and FPC are kept constant while varying the SOL Finally, the FPC was varied at constant SOF and SOl values. Combustion process analyses were done by focusing on the rate of heat release, mass fraction burned, and ignition lag and combustion duration. From these analyses the optimum settings for SOF were found to be at linear position of+25.0 mm for cylinder 1 and -25.0 mm for cylinder 2. Early SOF setting resulted in lower peak pressure and slower rate of heat release while the ignition lag and combustion duration is longer. Whereas, the optimum settings for the SOl were found to be at position +29.5 mm for cylinder I and -30.0 mm for cylinder 2. The SOl must be before the peak pressure of compression (i.e. before the piston reverses direction). The timing must provide sufficient time for the flame to develop so that the piston will be in opposing motion in time for the heat release rate and cylinder pressure to reach its maximum. By using hydrogen instead of CNG, the ignition lag is reduced by 66% while the combustion duration is 50% faster

Autonomous flight and remote site landing guidance research for helicopters

Automated low-altitude flight and landing in remote areas within a civilian environment are investigated, where initial cost, ongoing maintenance costs, and system productivity are important considerations. An approach has been taken which has: (1) utilized those technologies developed for military applications which are directly transferable to a civilian mission; (2) exploited and developed technology areas where new methods or concepts are required; and (3) undertaken research with the potential to lead to innovative methods or concepts required to achieve a manual and fully automatic remote area low-altitude and landing capability. The project has resulted in a definition of system operational concept that includes a sensor subsystem, a sensor fusion/feature extraction capability, and a guidance and control law concept. These subsystem concepts have been developed to sufficient depth to enable further exploration within the NASA simulation environment, and to support programs leading to the flight test

Improved Flexibility and Economics of Combined Cycles by Power to Gas

Massive penetration of renewable energy in the energy systems is required to comply with existing CO2 regulations. Considering current power pools, large shares of renewable energy sources imply strong efficiency and economic penalties in fossil fuel power plants as they are mainly operated to regulate the system and constant shutdowns are expected. Under this framework, the integration of a combined cycle power plant (CCPP) with an energy storage technology such as power to gas (PtG) is proposed to virtually reduce its minimum complaint load through the diversion of instantaneous excess electricity. Power to gas produces hydrogen through water electrolysis, which is later combined with CO2 to produce methane. The main novelty of this study relies in the improved flexibility and economics of combined cycles by means of using power to gas as a tool to reduce the minimum complaint load. The principal objective of the study is the quantification of cost reduction under different scenarios of shutdowns and conventional start-ups. The case study analyses a combined cycle of 400 MWe gross power with a minimum complaint load of 30% that can be virtually reduced to 20% by means of a 40- MWe power-to-gas plant. Eight scenarios are defined to compare the reference case of conventional operation under hot, warm, and cold start-ups with power-to-gas-assisted operation. Additionally, PtG-assisted operation scenarios are analyzed with different loads (30–50–70%). These scenarios also include the consideration of a temporary peak of demand occurring in a period in which dispatch is below the minimum complaint load. Under this situation, the response time of conventional plants is very limited, while PtG-assisted CCPP can rapidly satisfy the peak. The techno-economic model quantifies the required fuel, gross and net power, and emissions as well as total costs and incomes under each scenario and net differential profit in an hourly basis. The analysis of the obtained results does not recommend the operation of the PtG-assisted CCPP at minimum complaint load for hot, warm, or cold start-ups. However, important marginal profits are achieved with the proposed system for part-loads operation over 50% for every sort of start-up, avoiding shutdowns and extending the capacity factor

Linear Encodings of Bounded LTL Model Checking

We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthermore, we show how the encodings can be extended to LTL with past operators (PLTL). The generalised encoding is still of linear size, but cannot detect minimal length counterexamples. By using the virtual unrolling technique minimal length counterexamples can be captured, however, the size of the encoding is quadratic in the specification. We also extend virtual unrolling to Buchi automata, enabling them to accept minimal length counterexamples. Our BMC encodings can be made incremental in order to benefit from incremental SAT technology. With fairly small modifications the incremental encoding can be further enhanced with a termination check, allowing us to prove properties with BMC. Experiments clearly show that our new encodings improve performance of BMC considerably, particularly in the case of the incremental encoding, and that they are very competitive for finding bugs. An analysis of the liveness-to-safety transformation reveals many similarities to the BMC encodings in this paper. Using the liveness-to-safety translation with BDD-based invariant checking results in an efficient method to find shortest counterexamples that complements the BMC-based approach.Comment: Final version for Logical Methods in Computer Science CAV 2005 special issu

Design, control and management of renewable energy plants and technologies

Nowadays, and even more in the next decades, the availability and easy-access to energy sources represent a crucial asset for the world development and the progress of people and nations. At the same time, the depletion of natural resources, together with the increase of the anthropic activity impact on the Earth ecosystem and climate, force communities and institutions, at all levels, to discuss and actuate different approaches to achieve the social and economic growth, based on the so-called sustainable development pattern. In such a scenario, renewable energy sources, i.e. solar, wind, hydro, biomass, geothermal, etc., certainly play a key role to join progress and attention to the environmental issues. The present Ph.D. dissertation focuses on such topics investigating strategies, methods and innovative approaches for the effective design, control and management of renewable energy plants and technologies. Specifically, the energy scenario is investigated from a global point of view proposing studies and optimization models highlighting the relevance and the potential impact of the major energy sources, both renewable and conventional. Such sources represent the elements of a big puzzle, i.e. the energy mix, in which their economic and environmental strengths should be emphasized minimizing the associated negative impacts and weaknesses. Among renewable sources, solar energy is of primary importance for availability, diffusion and potential impact. The present Ph.D. dissertation particularly investigates such a source presenting models, methods and prototypes to increase its relevance in the energy mix. The fundamentals of solar energy, together with innovative approaches to estimate the solar radiation components, are provided. Furthermore, the pioneering concentrating solar sector is deeply focused presenting the design, development and preliminary field-test of a bi-axial Fresnel solar photovoltaic/thermal (PV/T) concentrating prototype. Possible solar tracking strategies and control algorithms are, then, investigated describing a customized semi-automatic motion control platform, developed in LabViewTM programming environment. Finally, the last section, proposes an effective approach for the design of a solar simulator, the most frequently adopted device in solar optic laboratory tests. In conclusion, the present Ph.D. dissertation describes effective strategies for the renewable energy spread, considering their performances and their potential impact to achieve the ambitious challenge of a sustainable living planet

Self-concatenated code design and its application in power-efficient cooperative communications

In this tutorial, we have focused on the design of binary self-concatenated coding schemes with the help of EXtrinsic Information Transfer (EXIT) charts and Union bound analysis. The design methodology of future iteratively decoded self-concatenated aided cooperative communication schemes is presented. In doing so, we will identify the most important milestones in the area of channel coding, concatenated coding schemes and cooperative communication systems till date and suggest future research directions