Planning and Proof Planning

. The paper adresses proof planning as a specific AI planning. It describes some peculiarities of proof planning and discusses some possible cross-fertilization of planning and proof planning. 1 Introduction Planning is an established area of Artificial Intelligence (AI) whereas proof planning introduced by Bundy in [2] still lives in its childhood. This means that the development of proof planning needs maturing impulses and the natural questions arise What can proof planning learn from its Big Brother planning?' and What are the specific characteristics of the proof planning domain that determine the answer?'. In turn for planning, the analysis of approaches points to a need of mature techniques for practical planning. Drummond [8], e.g., analyzed approaches with the conclusion that the success of Nonlin, SIPE, and O-Plan in practical planning can be attributed to hierarchical action expansion, the explicit representation of a plan's causal structure, and a very simple form of propo..

COMGEN: A computer program for generating finite element models of composite materials at the micro level

COMGEN (Composite Model Generator) is an interactive FORTRAN program which can be used to create a wide variety of finite element models of continuous fiber composite materials at the micro level. It quickly generates batch or session files to be submitted to the finite element pre- and postprocessor PATRAN based on a few simple user inputs such as fiber diameter and percent fiber volume fraction of the composite to be analyzed. In addition, various mesh densities, boundary conditions, and loads can be assigned easily to the models within COMGEN. PATRAN uses a session file to generate finite element models and their associated loads which can then be translated to virtually any finite element analysis code such as NASTRAN or MARC

A unique high heat flux facility for testing hypersonic engine components

A major concern in advancing the state-of-the-art technologies for hypersonic vehicles is the development of an aeropropulsion system capable of withstanding high thermal loads expected during hypersonic flights. Consequently, there is a need for experimental facilities capable of providing a high heat flux environment for testing compound concepts and verifying analyses. A hydrogen/oxygen rocket engine was developed to provide a high enthalpy/high heat flux environment for component evaluation. This Hot Gas Facility is capable of providing heat fluxes ranging from 200 (on flat surfaces) up to 8000 Btu per sq ft per sec (at a leading edge stagnation point). Gas temperatures up to 5500 R can be attained as well as Reynolds numbers up to 360,000 per ft. Test articles such as cowl leading edges, transpiration-cooled seals, fuel injectors, and cooled panel concepts can be evaluated with gaseous hydrogen as coolant. This facility and its configuration and test capabilities are discussed. Results from flow characterization experiments are also shown and their implications considered

A high heat flux experiment for verification of thermostructural analysis

A major concern in advancing the state of the art technologies for hypersonic vehicles is the development of an aeropropulsion system capable of handling the high heat fluxes during flight. The leading edges of such systems must not only tolerate the maximum heating rates, but must also minimize distortions to the flow field due to excessive blunting and/or thermal warping of the compression surface to achieve the high inlet performance required. A combined analytical and experimental effort to study the aerothermodynamic loads on actively cooled structures for hypersonic applications was established. A hydrogen/oxygen rocket engine was modified to establish a high enthalpy high heat flux environment. The facility provides heat flux levels from about 200 up to 10000 Btu/sq ft/sec. Cross flow and parallel flow regeneratively cooled model can be tested and analyzed by using cooling fluids of water and hydrogen. Results are presented of the experiment and the characteristics of the Hot Gas Test Facility. The predicted temperature results of the cross flow model are compared with the experimental data on the first monolithic specimens and are found to be in good agreement. Thermal stress analysis results are also presented

Experimental and analytical analysis of stress-strain behavior in a (90/0 deg)2s, SiC/Ti-15-3 laminate

The nonlinear stress strain behavior of 90 degree/0 degree sub 2s, SiC/Ti-15-3 composite laminate was numerically investigated with a finite element, unit cell approach. Tensile stress-strain curves from room temperature experiments depicted three distinct regions of deformation, and these regions were predicted by finite element analysis. The first region of behavior, which was linear elastic, occurred at low applied stresses. As applied stresses increased, fiber/matrix debonding in the 90 degree plies caused a break in the stress-strain curve and initiated a second linear region. In this second region, matrix plasticity in the 90 degree plies developed. The third region, which was typified by nonlinear, stress-strain behavior occr red at high stresses. In this region, the onset of matrix plasticity in the 0 degree plies stiffened the laminate in the direction transverse to the applied load. Metallographic sections confirmed the existence of matrix plasticity in specific areas of the structure. Finite element analysis also predicted these locations of matrix slip

Metabolomics application in maternal-fetal medicine

Metabolomics in maternal-fetal medicine is still an "embryonic" science. However, there is already an increasing interest in metabolome of normal and complicated pregnancies, and neonatal outcomes. Tissues used for metabolomics interrogations of pregnant women, fetuses and newborns are amniotic fluid, blood, plasma, cord blood, placenta, urine, and vaginal secretions. All published papers highlight the strong correlation between biomarkers found in these tissues and fetal malformations, preterm delivery, premature rupture of membranes, gestational diabetes mellitus, preeclampsia, neonatal asphyxia, and hypoxic-ischemic encephalopathy. The aim of this review is to summarize and comment on original data available in relevant published works in order to emphasize the clinical potential of metabolomics in obstetrics in the immediate future

General partonic structure for hadronic spin asymmetries

The high energy and large p_T inclusive polarized process, (A, S_A) + (B, S_B) --> C + X, is considered under the assumption of a generalized QCD factorization scheme. For the first time all transverse motions, of partons in hadrons and of hadrons in fragmenting partons, are explicitly taken into account; the elementary interactions are computed at leading order with noncollinear exact kinematics, which introduces many phases in the expressions of their helicity amplitudes. Several new spin and k_T dependent soft functions appear and contribute to the cross sections and to spin asymmetries; we put emphasis on their partonic interpretation, in terms of quark and gluon polarizations inside polarized hadrons. Connections with other notations and further information are given in some Appendices. The formal expressions for single and double spin asymmetries are derived. The transverse single spin asymmetry A_N, for p(transv. polarized) p --> pion + X processes is considered in more detail, and all contributions are evaluated numerically by saturating unknown functions with their upper positivity bounds. It is shown that the integration of the phases arising from the noncollinear kinematics strongly suppresses most contributions to the single spin asymmetry, leaving at work predominantly the Sivers effect and, to a lesser extent, the Collins mechanism.Comment: RevTeX, 46 pages, 5 ps figures. v2: some clarifying comments and appendix on kinematics added, references updated, published versio

Finite element elastic-plastic-creep and cyclic life analysis of a cowl lip

Results are presented of elastic, elastic-plastic, and elastic-plastic-creep analyses of a test-rig component of an actively cooled cowl lip. A cowl lip is part of the leading edge of an engine inlet of proposed hypersonic aircraft and is subject to severe thermal loadings and gradients during flight. Values of stresses calculated by elastic analysis are well above the yield strength of the cowl lip material. Such values are highly unrealistic, and thus elastic stress analyses are inappropriate. The inelastic (elastic-plastic and elastic-plastic-creep) analyses produce more reasonable and acceptable stress and strain distributions in the component. Finally, using the results from these analyses, predictions are made for the cyclic crack initiation life of a cowl lip. A comparison of predicted cyclic lives shows the cyclic life prediction from the elastic-plastic-creep analysis to be the lowest and, hence, most realistic

Elastic/plastic analyses of advanced composites investigating the use of the compliant layer concept in reducing residual stresses resulting from processing

High residual stresses within intermetallic and metal matrix composite systems can develop upon cooling from the processing temperature to room temperature due to the coefficient of thermal expansion (CTE) mismatch between the fiber and matrix. As a result, within certain composite systems, radial, circumferential, and/or longitudinal cracks have been observed to form at the fiber-matrix interface. The compliant layer concept (insertion of a compensating interface material between the fiber and matrix) was proposed to reduce or eliminate the residual stress buildup during cooling and thus minimize cracking. The viability of the proposed compliant layer concept is investigated both elastically and elastoplastically. A detailed parametric study was conducted using a unit cell model consisting of three concentric cylinders to determine the required character (i.e., thickness and material properties) of the compliant layer as well as its applicability. The unknown compliant layer mechanical properties were expressed as ratios of the corresponding temperature dependent Ti-24Al-11Nb (a/o) matrix properties. The fiber properties taken were those corresponding to SCS-6 (SiC). Results indicate that the compliant layer can be used to reduce, if not eliminate, radial and circumferential residual stresses within the fiber and matrix and therefore also reduce or eliminate the radial cracking. However, with this decrease in in-plane stresses, one obtains an increase in longitudinal stress, thus potentially initiating longitudinal cracking. Guidelines are given for the selection of a specific compliant material, given a perfectly bonded system

Sivers and Collins effects in polarized pp scattering processes

We summarize the present phenomenology of Sivers and Collins effects for transverse single spin asymmetries in polarized proton-proton collisions within the framework of the generalized parton model (GPM). We will discuss a reassessment of the Collins effect and some preliminary predictions for SSA's in p(pol) p -> pi,K + X processes at RHIC obtained using updated information from SIDIS data and a new set of meson fragmentation functions.Comment: 8 pages, 10 eps figures, uses ws-procs9x6.cls; Talk presented by F. Murgia at the II International Workshop on Transverse Polarisation Phenomena in Hard Processes (Transversity 2008), May 28-31, 2008, Ferrara (Italy