Development of solution techniques for nonlinear structural analysis

Nonlinear structural solution methods in the current research literature are classified according to order of the solution scheme, and it is shown that the analytical tools for these methods are uniformly derivable by perturbation techniques. A new perturbation formulation is developed for treating an arbitrary nonlinear material, in terms of a finite-difference generated stress-strain expansion. Nonlinear geometric effects are included in an explicit manner by appropriate definition of an applicable strain tensor. A new finite-element pilot computer program PANES (Program for Analysis of Nonlinear Equilibrium and Stability) is presented for treatment of problems involving material and geometric nonlinearities, as well as certain forms on nonconservative loading

q-series and L-functions related to half-derivatives of the Andrews--Gordon identity

Studied is a generalization of Zagier's q-series identity. We introduce a generating function of L-functions at non-positive integers, which is regarded as a half-differential of the Andrews--Gordon q-series. When q is a root of unity, the generating function coincides with the quantum invariant for the torus knot.Comment: 21 pages, related papers can be found from http://gogh.phys.s.u-tokyo.ac.jp/~hikami

Inverter ratio failure detector

A failure detector which detects the failure of a dc to ac inverter is disclosed. The inverter under failureless conditions is characterized by a known linear relationship of its input and output voltages and by a known linear relationship of its input and output currents. The detector includes circuitry which is responsive to the detector's input and output voltages and which provides a failure-indicating signal only when the monitored output voltage is less by a selected factor, than the expected output voltage for the monitored input voltage, based on the known voltages' relationship. Similarly, the detector includes circuitry which is responsive to the input and output currents and provides a failure-indicating signal only when the input current exceeds by a selected factor the expected input current for the monitored output current based on the known currents' relationship

Internal electrostatic discharge hazard risk assessment to the Galileo orbiter

A worst case assessment was performed on the Command Data System (CDS) multilayer printed circuit board and an output power transformer module in the power subsystem. An estimate of the Jovian environment during the 35 hour orbit insertion was supplied by JPL and used as an input to calculate the electron transport into the Galileo components. A radiation shielding analysis computer code, CHARGE, calculated the electron transport deposition trapped in the anticipated sensitive areas of the multilayer board and transformer module. Based on these trapped charge calculations electric fields were calculated between the identified isolated areas and the spacecraft ground. The results of the assessment of electrostatic discharge (DSD) in the CDS multilayer printed circuit board indicate that the probability of ESD in the FR4 is low. The probability of ESD in the components attached to the multilayer board, however, is uncertain based on a lack of prior experimental data

Non-destructive spatial heterodyne imaging of cold atoms

We demonstrate a new method for non-destructive imaging of laser-cooled atoms. This spatial heterodyne technique forms a phase image by interfering a strong carrier laser beam with a weak probe beam that passes through the cold atom cloud. The figure of merit equals or exceeds that of phase-contrast imaging, and the technique can be used over a wider range of spatial scales. We show images of a dark spot MOT taken with imaging fluences as low as 61 pJ/cm^2 at a detuning of 11 linewidths, resulting in 0.0004 photons scattered per atom.Comment: text+3 figures, submitted to Optics Letter

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte

Vulnerability assessment modelling for railway networks

Railway networks are prone to many different potential disruptive events such as technical failures (e.g. the failure of aging components), natural disasters (e.g. flooding) and intentional man-made disasters (e.g. trespass and suicide). Assessing the vulnerability of railway networks can help infrastructure managers to create the right preventive strategies to improve the robustness and the resilience of railway networks before the occurrence of disruptions. This study proposes a stochastic-vulnerability analysis model that enables the critical components of railway networks to be identified. The model is developed using a discrete event simulation technique. Its framework includes modules for assigning the disruption to the network components, predicting the network vulnerability, in terms of passenger delays and journey cancellations, and calculating the risk-based criticality of network components. Finally, an example application of the model is presented using a part of the East Midland railway network in UK

Real-world comparison of probe vehicle emissions and fuel consumption using diesel and 5 % biodiesel (B5) blend.

An instrumented EURO I Ford Mondeo was used to perform a real-world comparison of vehicle exhaust (carbon dioxide, carbon monoxide, hydrocarbons and oxides of nitrogen) emissions and fuel consumption for diesel and 5% biodiesel in diesel blend (B5) fuels. Data were collected on multiple replicates of three standardised on-road journeys: (1) A simple urban route; (2) A combined urban/inter-urban route; and, (3) An urban route subject to significant traffic management. At the total journey measurement level, data collected here indicate that replacing diesel with a B5 substitute could result in significant increases in both NOx emissions (8-13%) and fuel consumption (7-8%). However, statistical analysis of probe vehicle data demonstrated the limitations of comparisons based on such total journey measurements, i.e., methods analogous to those used in conventional dynamometer/drive cycle fuel comparison studies. Here, methods based on the comparison of speed/acceleration emissions and fuel consumption maps are presented. Significant variations across the speed/acceleration surface indicated that direct emission and fuel consumption impacts were highly dependent on the journey/drive cycle employed. The emission and fuel consumption maps were used both as descriptive tools to characterise impacts and predictive tools to estimate journey-specific emission and fuel consumption effects