Acquisition of Concentrated Modification Structure from Logical Formula

PACLIC 19 / Taipei, taiwan / December 1-3, 200

A foundation for machine learning in design

This paper presents a formalism for considering the issues of learning in design. A foundation for machine learning in design (MLinD) is defined so as to provide answers to basic questions on learning in design, such as, "What types of knowledge can be learnt?", "How does learning occur?", and "When does learning occur?". Five main elements of MLinD are presented as the input knowledge, knowledge transformers, output knowledge, goals/reasons for learning, and learning triggers. Using this foundation, published systems in MLinD were reviewed. The systematic review presents a basis for validating the presented foundation. The paper concludes that there is considerable work to be carried out in order to fully formalize the foundation of MLinD

Accurate simulation of ice and snow runoff for the mountainous terrain of the Kunlun Mountains, China

While mountain runoff provides great potential for the development and life quality of downstream populations, it also frequently causes seasonal disasters. The accurate modeling of hydrological processes in mountainous areas, as well as the amount of meltwater from ice and snow, is of great significance for the local sustainable development, hydropower regulations, and disaster prevention. In this study, an improved model, the Soil Water Assessment Tool with added ice-melt module (SWATAI) was developed based on the Soil Water Assessment Tool (SWAT), a semi-distributed hydrological model, to simulate ice and snow runoff. A temperature condition used to determine precipitation types has been added in the SWATAI model, along with an elevation threshold and an accumulative daily temperature threshold for ice melt, making it more consistent with the runoff process of ice and snow. As a supplementary reference, the comparison between the normalized difference vegetation index (NDVI) and the quantity of meltwater were conducted to verify the simulation results and assess the impact of meltwater on the ecology. Through these modifications, the accuracy of the daily flow simulation results has been considerably improved, and the contribution rate of ice and snow melt to the river discharge calculated by the model increased by 18.73%. The simulation comparison of the flooding process revealed that the accuracy of the simulated peak flood value by the SWATAI was 77.65% higher than that of the SWAT, and the temporal accuracy was 82.93% higher. The correlation between the meltwater calculated by the SWATAI and the NDVI has also improved significantly. This improved model could simulate the flooding processes with high temporal resolution in alpine regions. The simulation results could provide technical support for economic benefits and reasonable reference for flood prevention

Aeroacoustic research programs at the Army Aviation Research and Technology Activity

The Army rotorcraft aeroacoustic programs are reviewed, highlighting the theoretical and experimental progress made by Army researchers in the physical understanding of helicopter impulsive noise. The two impulsive noise sources addressed over this past decade are high-speed impulsive noise and blade-vortex interaction noise, both of which have had and will continue to have an increasing influence on Army rotorcraft design and operations. The advancements discussed are in the areas of in-flight data acquisition techniques, small-scale-model tests in wind tunnels, holographic interferometry/tomographic techniques, and the expanding capabilities of computational fluid dynamics in rotorcraft acoustic problems. Current theoretical prediction methods are compared with experimental data, and parameters that govern model scaling are established. The very successful cooperative efforts between the Army, NASA, and industry are also addresse

Biological niches within human calcified aortic valves. Towards understanding of the pathological biomineralization process

Despite recent advances, mineralization site, its microarchitecture, and composition in calcific heart valve remain poorly understood. A multiscale investigation, using scanning electron microscopy (SEM), transmission electron microscopy (TEM), and energy dispersive X-ray spectrometry (EDS), from micrometre up to nanometre, was conducted on human severely calcified aortic and mitral valves, to provide new insights into calcificationp rocess. Our aim was to evaluate the spatial relationship existing between bioapatite crystals, their local growing microenvironment, and the presence of a hierarchical architecture. Here we detected the presence of bioapatite crystals in two different mineralization sites that suggest the action of two different growth processes:a pathological crystallization process that occurs in biological niches and is ascribed to a purely physicochemical process and a matrix- mediated mineralized process in which the extracellular matrix acts as the template for a site-directed nanocrystals nucleation. Different shapes of bioapatite crystallization were observed at micrometer scale in each microenvironment but at the nanoscale level crystals appear to be made up by the same subunit

Knowledge Based Systems: A Critical Survey of Major Concepts, Issues, and Techniques

This Working Paper Series entry presents a detailed survey of knowledge based systems. After being in a relatively dormant state for many years, only recently is Artificial Intelligence (AI) - that branch of computer science that attempts to have machines emulate intelligent behavior - accomplishing practical results. Most of these results can be attributed to the design and use of Knowledge-Based Systems, KBSs (or ecpert systems) - problem solving computer programs that can reach a level of performance comparable to that of a human expert in some specialized problem domain. These systems can act as a consultant for various requirements like medical diagnosis, military threat analysis, project risk assessment, etc. These systems possess knowledge to enable them to make intelligent desisions. They are, however, not meant to replace the human specialists in any particular domain. A critical survey of recent work in interactive KBSs is reported. A case study (MYCIN) of a KBS, a list of existing KBSs, and an introduction to the Japanese Fifth Generation Computer Project are provided as appendices. Finally, an extensive set of KBS-related references is provided at the end of the report

Probabilistic Methodology and Techniques for Artefact Conception and Development

The purpose of this paper is to make a state of the art on probabilistic methodology and techniques for artefact conception and development. It is the 8th deliverable of the BIBA (Bayesian Inspired Brain and Artefacts) project. We first present the incompletness problem as the central difficulty that both living creatures and artefacts have to face: how can they perceive, infer, decide and act efficiently with incomplete and uncertain knowledge?. We then introduce a generic probabilistic formalism called Bayesian Programming. This formalism is then used to review the main probabilistic methodology and techniques. This review is organized in 3 parts: first the probabilistic models from Bayesian networks to Kalman filters and from sensor fusion to CAD systems, second the inference techniques and finally the learning and model acquisition and comparison methodologies. We conclude with the perspectives of the BIBA project as they rise from this state of the art

Characterization of growth and metabolism of the haloalkaliphile Natronomonas pharaonis

Natronomonas pharaonis is an archaeon adapted to two extreme conditions: high salt concentration and alkaline pH. It has become one of the model organisms for the study of extremophilic life. Here, we present a genome-scale, manually curated metabolic reconstruction for the microorganism. The reconstruction itself represents a knowledge base of the haloalkaliphile's metabolism and, as such, would greatly assist further investigations on archaeal pathways. In addition, we experimentally determined several parameters relevant to growth, including a characterization of the biomass composition and a quantification of carbon and oxygen consumption. Using the metabolic reconstruction and the experimental data, we formulated a constraints-based model which we used to analyze the behavior of the archaeon when grown on a single carbon source. Results of the analysis include the finding that Natronomonas pharaonis, when grown aerobically on acetate, uses a carbon to oxygen consumption ratio that is theoretically near-optimal with respect to growth and energy production. This supports the hypothesis that, under simple conditions, the microorganism optimizes its metabolism with respect to the two objectives. We also found that the archaeon has a very low carbon efficiency of only about 35%. This inefficiency is probably due to a very low P/O ratio as well as to the other difficulties posed by its extreme environment

Current developments in LC-MS for pharmaceutical analysis

The current developments in liquid chromatography-mass spectrometry (LC-MS) and its applications to the analysis of pharmaceuticals are reviewed. Various mass spectrometric techniques, including electrospray and nanospray ionization, atmospheric pressure chemical ionization and photoionization and their interface with liquid chromatographic techniques are described. These include high performance liquid chromatography, capillary electrophoresis and capillary electrochromatography and the advantages and disadvantages of each technique are discussed. The applications of LC-MS to the studies of in vitro and in vivo drug metabolism, identification and characterization of impurities in pharmaceuticals, analysis of chiral impurities in drug substances and high-throughput LC-MS-MS systems for applications in the “accelerated drug discovery” process are described