Failure analysis of titanium alloy (Ti6Al4V) fastener used in aerospace application

Titanium alloy fasteners are being used in space programme. These fasteners are coated with MoS₂, which serves the purpose of solid lubricant. During the trial assembly of flight spin motor to the bracket mounted on subsystem, one of the two fasteners failed such that the head of the bolt had sheared off the shank. Metallographic analysis carried out on the failed fasteners revealed variations in the microstructures all along the shank axis. Microstructure consisted of equiaxed primary alpha in transformed beta matrix within lower portion of the shank, while it was elongated primary alpha with little bulging all along prior beta grain boundaries as well as acicular alpha at some other location towards the head side, features, typical of, as if worked above beta transus temperatures.This paper highlights the details of investigations carried out on the failed fasteners.     

Poly(3-hexylthiophene) and hexafluoro-2-propanol-substituted polysiloxane based OFETs as a sensor for explosive vapor detection

The organic field effect transistors (OFETs) with regioregular poly 3-hexylthiophene (rr-P3HT) and hexafluoro-2-propanol-substituted polysiloxane (SXFA) as an organic layer, have been used for detection of explosive vapors with excellent sensitivity of less than 70 ppt for 1,3,5-trinitro-1,3,5-triazacyclohexane (RDX) and less than 100 ppt for 2,4,6-trinitrotoluene (TNT). The sensor response (% change in saturation current) was found to be 125 ± 10% for TNT and 90 ± 10% for RDX. It was also observed that the incorporation of Cu^II tetraphenylporphyrin (CuTPP) into rr-P3HT/SXFA matrix resulted in an improved selectivity for the vapors of nitro based analytes (TNT, RDX and DNB) as compared to the vapors of non explosive oxidizing agents such as nitrobenzene (NB), benzoquinone (BQ) and benzophenone (BP). This is attributed to the increased binding of the vapors containing nitro compound to the thin films due to the presence of CuTTP. Spin coated thin films were further characterized by Atomic Force Microscopy (AFM) and Electrostatic Force Microscopy (EFM).     

Concurrent software verification with states, events, and deadlocks

We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large body of research on efficient LTL verification. We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm. Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found in the literature. We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework. We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which we discovered during our experiments. This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office (ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components (PACC) project at the Software Engineering Institute (SEI). This article combines and builds upon the papers (CCO⁺04) and (CCOS04). Received December 2004 Revised July 2005 Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes     

Receptive field structures for recognition

Localized operators, like Gabor wavelets and difference-of-gaussian filters, are considered useful tools for image representation. This is due to their ability to form a sparse code that can serve as a basis set for high-fidelity reconstruction of natural images. However, for many visual tasks, the more appropriate criterion of representational efficacy is recognition rather than reconstruction. It is unclear whether simple local features provide the stability necessary to subserve robust recognition of complex objects. In this article, we search the space of two-lobed differential operators for those that constitute a good representational code under recognition and discrimination criteria. We find that a novel operator, which we call the dissociated dipole, displays useful properties in this regard. We describe simple computational experiments to assess the merits of such dipoles relative to the more traditional local operators. The results suggest that nonlocal operators constitute a vocabulary that is stable across a range of image transformations.     

Assessment of relative impacts of various geo-mining factors on methane dispersion for safety in gassy underground coal mines: an artificial neural networks approach

Neural Computing and Applications - Dispersing methane to a safer level is crucial for mines safety as methane has been the greatest contributor of explosion hazard in underground coal mines...     

Cold Simulation of Metalloids Transport in Blast Furnaces

Metalloids normally get transferred at the interface of metal droplets passing through the slag system in the dropping zone and at the slag‐metal interface in the hearth zone in the lower region of a blast furnace. In these high temperature processes, the mass transport being the rate‐controlling factor, the viscosity of the slag system determines the kinetics of the refining reactions accompanied by mass and heat transfer at the metal droplets and slag interface. Slag systems generally possess random network structures comprising internal regions of weak ordering. The presence of these regions may result in non‐Newtonian behaviour of the slag. The rheological characteristics of a fluid relating to its network structure is expressed in terms of the indices consistency (k') and flow behaviour (n'). The extent of metalloids presence in hot metal is subjected to their residence time at the slag‐metal interface. The metal droplet descent through a surrounding fluid system has been studied and a co‐relation between drag Reynolds number and modified Reynolds number has been obtained. This correlation has been used to determine the drag velocity of a metal droplet falling through a slag system and the residence time distribution (RTD) of the metalloids at the slag‐metal interface in the lower region of the blast furnace.     

The synthesis of pixelated metamaterial cross polarizer using binary wind driven optimization algorithm

Microsystem Technologies - In this paper synthesis of two wideband Metamaterial Cross Polarizer (MCPs) is proposed. The synthesis of proposed MCPs is done by using Binary Wind Driven Optimization...     

Simulation of Filament Heater for Uniform Emission from Dispenser Cathode

This paper presents the design study of toroid shape filament heater for dispenser cathode.The filament heater will be used in cathode assembly of 200 kW 42 GHz gyrotron. A 3 D model of cathode assembly is designed using electromagnetic and thermal simulation software, ANSYS. The simulations are performed for optimizing the input filament heater power with respect to cathode surface temperature. The parametric study shows that the input power and cathode surface temperature depends strongly on the potting material, diameter of filament, number of turns, position and height of the filament heater with respect to cathode pellet. The design analyses are also carried out for two different filament heater materials i.e. tungsten and molybdenum. Further, the thermal, structural and transient analyses are also carried out to study the mechanical strength of the filament heater. It is concluded that the input heater power should be greater than 200 W to achieve cathode surface temperature greater than 1,000°C.     

Co-evolutionary immuno-particle swarm optimization with penetrated hyper-mutation for distributed inventory replenishment

This article is betrothed to serve as a continuation of the emerging swarm techniques to solve supply chain problems. Our aim is to map some of the pressing research challenges contributed by the artificial intelligence community and to develop an improved algorithm: Co-evolutionary immuno-particle swarm optimisation with penetrated hyper-mutation (COIPSO-PHM). In this paper, we proposed a new algorithm which uses clonal selection approach in particle swarm optimisation by embedding co-evolutionary theory to solve the problem of inventory replenishment in distributed plant–warehouse–retailer system. Constraint handling is explicitly taken care by implanting augmented lagrangian concept. To demonstrate the efficiency of the algorithm, its performance are evaluated and compared on 10 benchmarked problems (made constrained problem via random initialisation in the infeasible zone) including functions with uni-modalities as well as multi-modalities. The result follows shows superior performance of the algorithm in every respect.     

Robust stability of discrete-time systems

A new approach is proposed for determining the robust stability of discrete-time systems where each coefficient of the characteristic polynomial can take any value between specified lower and upper bounds. It is based on the use of Rouche's theorem in the theory of complex variables.