Aircraft noise synthesis system: Version 4 user instructions

A modified version of the Aircraft Noise Synthesis System with improved directivity and tonal content modeling has been developed. The synthesis system is used to provide test stimuli for studies of community annoyance to aircraft flyover noise. The computer-based system generates realistic, time-varying audio simulations of aircraft flyover noise at a specified observer location on the ground. The synthesis takes into account the time-varying aircraft position relative to the observer; specified reference spectra consisting of broadband, narrowband, and pure tone components; directivity patterns; Doppler shift; atmospheric effects; and ground effects. These parameters can be specified and controlled in such a way as to generate stimuli in which certain noise characteristics such as duration or tonal content are independently varied while the remaining characteristics such as broadband content are held constant. The modified version of the system provides improved modeling of noise directivity patterns and an increased number of pure tone components. User instructions for the modified version of the synthesis system are provided

Methane-Carbon Dioxide: Conversions to Syngas and Hydrocarbons

This monograph describes the new innovation that has recently been developed for the CH4-CO2 conversions process. Optimization of CO2 reforming of methane to synthesis gas with the help of experimental design, empirical modeling and ANN modeling are developed for CORM in presence of oxygen. An overview on dynamic equilibrium analysis has shown that an increase of sweep factors induced more significant enhancement hydrogen permeation than permselective area. The NiO/CeO2 catalyst showed potential as catalyst for the CORM. The application of a hybrid catalytic DBD plasma reactor has the potential for the co-generation of C2+ hydrocarbons and synthesis gases from methane and carbon dioxide. Carbon dioxide as co-feed has important effects on the carbon suppression. It can be concluded that three factors, i.e. CH4/CO2 feed ratio, total feed flow rate, and discharge voltage, in the DBD plasma reactor system have significant effects on the reactor performance. The hybrid catalytic DBD plasma reactor is more suitable for CO2 OCM process than the conventional catalytic reactor over CaO-MnO/CeO2 catalyst. Further innovation and improvement of current research on CH4 and CO2 are required to increase conversion and selectivity and to commercialize the process

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy consumption, and the automatic synthesis of systems from specifications. The major challenges include environment modeling, incompleteness in specifications, and the complexity of underlying decision problems. This position paper proposes sciduction, an approach to tackle these challenges by integrating inductive inference, deductive reasoning, and structure hypotheses. Deductive reasoning, which leads from general rules or concepts to conclusions about specific problem instances, includes techniques such as logical inference and constraint solving. Inductive inference, which generalizes from specific instances to yield a concept, includes algorithmic learning from examples. Structure hypotheses are used to define the class of artifacts, such as invariants or program fragments, generated during verification or synthesis. Sciduction constrains inductive and deductive reasoning using structure hypotheses, and actively combines inductive and deductive reasoning: for instance, deductive techniques generate examples for learning, and inductive reasoning is used to guide the deductive engines. We illustrate this approach with three applications: (i) timing analysis of software; (ii) synthesis of loop-free programs, and (iii) controller synthesis for hybrid systems. Some future applications are also discussed

Computer-aided communication satellite system analysis and optimization

The capabilities and limitations of the various published computer programs for fixed/broadcast communication satellite system synthesis and optimization are discussed. A satellite Telecommunication analysis and Modeling Program (STAMP) for costing and sensitivity analysis work in application of communication satellites to educational development is given. The modifications made to STAMP include: extension of the six beam capability to eight; addition of generation of multiple beams from a single reflector system with an array of feeds; an improved system costing to reflect the time value of money, growth in earth terminal population with time, and to account for various measures of system reliability; inclusion of a model for scintillation at microwave frequencies in the communication link loss model; and, an updated technological environment

A distributed finite-element modeling and control approach for large flexible structures

An unconventional framework is described for the design of decentralized controllers for large flexible structures. In contrast to conventional control system design practice which begins with a model of the open loop plant, the controlled plant is assembled from controlled components in which the modeling phase and the control design phase are integrated at the component level. The developed framework is called controlled component synthesis (CCS) to reflect that it is motivated by the well developed Component Mode Synthesis (CMS) methods which were demonstrated to be effective for solving large complex structural analysis problems for almost three decades. The design philosophy behind CCS is also closely related to that of the subsystem decomposition approach in decentralized control

Identification of structural interface characteristics using component mode synthesis

The inability to adequately model connections has limited the ability to predict overall system dynamic response. Connections between structural components are often mechanically complex and difficult to accurately model analytically. Improved analytical models for connections are needed to improve system dynamic predictions. This study explores combining Component Mode synthesis methods for coupling structural components with Parameter Identification procedures for improving the analytical modeling of the connections. Improvements in the connection properties are computed in terms of physical parameters so the physical characteristics of the connections can be better understood, in addition to providing improved input for the system model. Two sample problems, one utilizing simulated data, the other using experimental data from a rotor dynamic test rig are presented