Calculation of AGARD Wing 445.6 Flutter Using Navier-Stokes Aerodynamics

An unsteady, 3D, implicit upwind Euler/Navier-Stokes algorithm is here used to compute the flutter characteristics of Wing 445.6, the AGARD standard aeroelastic configuration for dynamic response, with a view to the discrepancy between Euler characteristics and experimental data. Attention is given to effects of fluid viscosity, structural damping, and number of structural model nodes. The flutter characteristics of the wing are determined using these unsteady generalized aerodynamic forces in a traditional V-g analysis. The V-g analysis indicates that fluid viscosity has a significant effect on the supersonic flutter boundary for this wing

Ground-State SiO Maser Emission Toward Evolved Stars

We have made the first unambiguous detection of vibrational ground-state maser emission from SiO toward six evolved stars. Using the Very Large Array, we simultaneously observed the v=0, J=1-0, 43.4-GHz, ground-state and the v=1, J=1-0, 43.1-GHz, first excited-state transitions of SiO toward the oxygen-rich evolved stars IRC+10011, o Ceti, W Hya, RX Boo, NML Cyg, and R Cas and the S-type star chi Cyg. We detected at least one v=0 SiO maser feature from six of the seven stars observed, with peak maser brightness temperatures ranging from 10,000 K to 108,800 K. In fact, four of the seven v=0 spectra show multiple maser peaks, a phenomenon which has not been previously observed. Ground-state thermal emission was detected for one of the stars, RX Boo, with a peak brightness temperature of 200 K. Comparing the v=0 and the v=1 transitions, we find that the ground-state masers are much weaker with spectral characteristics different from those of the first excited-state masers. For four of the seven stars the velocity dispersion is smaller for the v=0 emission than for the v=1 emission, for one star the dispersions are roughly equivalent, and for two stars (one of which is RX Boo) the velocity spread of the v=0 emission is larger. In most cases, the peak flux density in the v=0 emission spectrum does not coincide with the v=1 maser peak. Although the angular resolution of these VLA observations were insufficient to completely resolve the spatial structure of the SiO emission, the SiO spot maps produced from the interferometric image cubes suggest that the v=0 masers are more extended than their v=1 counterparts

Unexpected Features of Supersymmetry with Central Charges

It is shown that N=2 supersymmetric theories with central charges present some hidden quartic symmetry. This enables us to construct representations of the quartic structure induced by superalgebra representations.Comment: 14 pages, more details have been given, to appear in J. Phys.

Recommendations for the Use of Programmable Logic Controllers (PLCs) at CERN

Programmable Logic Controllers (PLCs) have been increasingly used at CERN for several years. In future control solutions, PLCs will initially be considered for the rejuvenation of old and obsolete systems, and then for the control of new equipment to be installed in technical services, accelerators and experiments. Many industrial systems will be installed for the control of equipment during the next 5 to 10 years, particularly for the construction of the LHC project. In order to increase efficiency, to reduce the initial investment and to minimise the long term maintenance costs in terms of money and human resources the Working Group recommends that all CERN equipment control projects, based on PLCs, select or specify PLCs from the product lines of the recommended PLC manufacturers

Overview of the Space Launch System Transonic Buffet Environment Test Program

Fluctuating aerodynamic loads are a significant concern for the structural design of a launch vehicle, particularly while traversing the transonic flight environment. At these trajectory conditions, unsteady aerodynamic pressures can excite the vehicle dynamic modes of vibration and result in high structural bending moments and vibratory environments. To ensure that vehicle structural components and subsystems possess adequate strength, stress, and fatigue margins in the presence of buffet and other environments, buffet forcing functions are required to conduct the coupled load analysis of the launch vehicle. The accepted method to obtain these buffet forcing functions is to perform wind-tunnel testing of a rigid model that is heavily instrumented with unsteady pressure transducers designed to measure the buffet environment within the desired frequency range. Two wind-tunnel tests of a 3 percent scale rigid buffet model have been conducted at the Langley Research Center Transonic Dynamics Tunnel (TDT) as part of the Space Launch System (SLS) buffet test program. The SLS buffet models have been instrumented with as many as 472 unsteady pressure transducers to resolve the buffet forcing functions of this multi-body configuration through integration of the individual pressure time histories. This paper will discuss test program development, instrumentation, data acquisition, test implementation, data analysis techniques, and several methods explored to mitigate high buffet environment encountered during the test program. Preliminary buffet environments will be presented and compared using normalized sectional buffet forcing function root-meansquared levels along the vehicle centerline

Collective decision-making on triadic graphs

Many real-world networks exhibit community structures and non-trivial clustering associated with the occurrence of a considerable number of triangular subgraphs known as triadic motifs. Triads are a set of distinct triangles that do not share an edge with any other triangle in the network. Network motifs are subgraphs that occur significantly more often compared to random topologies. Two prominent examples, the feedforward loop and the feedback loop, occur in various real-world networks such as gene-regulatory networks, food webs or neuronal networks. However, as triangular connections are also prevalent in communication topologies of complex collective systems, it is worthwhile investigating the influence of triadic motifs on the collective decision-making dynamics. To this end, we generate networks called Triadic Graphs (TGs) exclusively from distinct triadic motifs. We then apply TGs as underlying topologies of systems with collective dynamics inspired from locust marching bands. We demonstrate that the motif type constituting the networks can have a paramount influence on group decision-making that cannot be explained solely in terms of the degree distribution. We find that, in contrast to the feedback loop, when the feedforward loop is the dominant subgraph, the resulting network is hierarchical and inhibits coherent behavior

HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite important for such safety-critical applications. But since PLC code does not include an analytic model of the system plant, their verification is limited to discrete properties. In this paper, we, thus, start the other way around with hybrid programs that include continuous plant models in addition to discrete control algorithms. Even deep correctness properties of hybrid programs can be formally verified in the theorem prover KeYmaera X that implements differential dynamic logic, dL, for hybrid programs. After verifying the hybrid program, we now present an approach for translating hybrid programs into PLC code. The new tool, HyPLC, implements this translation of discrete control code of verified hybrid program models to PLC controller code and, vice versa, the translation of existing PLC code into the discrete control actions for a hybrid program given an additional input of the continuous dynamics of the system to be verified. This approach allows for the generation of real controller code while preserving, by compilation, the correctness of a valid and verified hybrid program. PLCs are common cyber-physical interfaces for safety-critical industrial control applications, and HyPLC serves as a pragmatic tool for bridging formal verification of complex cyber-physical systems at the algorithmic level of hybrid programs with the execution layer of concrete PLC implementations.Comment: 13 pages, 9 figures. ICCPS 201

Comparison of Hermetic Storage of Wheat with Traditional Storage Methods in India

India is among the countries experiencing high postharvest losses. Four hermetic bags, two metallic bins, and two gunny bag (also known as jute or burlap bag) piles each containing 1 tonne of wheat were instrumented with temperature, relative humidity, and carbon dioxide sensors. Representative samples from each structure were collected each month and tests for moisture, germination, insect-damaged grain, and milling yield were performed. After nine months, wheat stored in hermetic bags had higher germination (87%) and lower insect-damaged grain percentages (0% to 0.33% with a mean value of 0.2%). Hermetic bags with deliberately introduced Rhyzopertha dominica successfully eliminated the pests. Gunny bag piles had infestations; metallic bins also were infested. Wheat moisture content in all structures varied depending upon ambient conditions; moisture variation was largest in gunny bag piles. Milling yields were lowest for gunny bag piles. Hermetic bags can be an effective and environmentally friendly solution for reducing storage losses of wheat in India

An Overview of the Characterization of the Space Launch Vehicle Aerodynamic Environments

Aerodynamic environments are some of the rst engineering data products that are needed to design a space launch vehicle. These products are used in performance predic- tions, vehicle control algorithm design, as well as determing loads on primary and secondary structures in multiple discipline areas. When the National Aeronautics and Space Admin- istration (NASA) Space Launch System (SLS) Program was established with the goal of designing a new, heavy-lift launch vehicle rst capable of lifting the Orion Program Multi- Purpose Crew Vehicle (MPCV) to low-earth orbit and preserving the potential to evolve the design to a 200 metric ton cargo launcher, the data needs were no di erent. Upon commencement of the new program, a characterization of aerodynamic environments were immediately initiated. In the time since, the SLS Aerodynamics Team has produced data describing the majority of the aerodynamic environment de nitions needed for structural design and vehicle control under nominal ight conditions. This paper provides an overview of select SLS aerodynamic environments completed to date

Superconductors with Magnetic Impurities: Instantons and Sub-gap States

When subject to a weak magnetic impurity potential, the order parameter and quasi-particle energy gap of a bulk singlet superconductor are suppressed. According to the conventional mean-field theory of Abrikosov and Gor'kov, the integrity of the energy gap is maintained up to a critical concentration of magnetic impurities. In this paper, a field theoretic approach is developed to critically analyze the validity of the mean field theory. Using the supersymmetry technique we find a spatially homogeneous saddle-point that reproduces the Abrikosov-Gor'kov theory, and identify instanton contributions to the density of states that render the quasi-particle energy gap soft at any non-zero magnetic impurity concentration. The sub-gap states are associated with supersymmetry broken field configurations of the action. An analysis of fluctuations around these configurations shows how the underlying supersymmetry of the action is restored by zero modes. An estimate of the density of states is given for all dimensionalities. To illustrate the universality of the present scheme we apply the same method to study `gap fluctuations' in a normal quantum dot coupled to a superconducting terminal. Using the same instanton approach, we recover the universal result recently proposed by Vavilov et al. Finally, we emphasize the universality of the present scheme for the description of gap fluctuations in d-dimensional superconducting/normal structures.Comment: 18 pages, 9 eps figure