scholarly journals BDD Ordering Heuristics for Classical Planning

2014 ◽  
Vol 51 ◽  
pp. 779-804 ◽  
Author(s):  
P. Kissmann ◽  
J. Hoffmann

Symbolic search using binary decision diagrams (BDDs) can often save large amounts of memory due to its concise representation of state sets. A decisive factor for this method's success is the chosen variable ordering. Generally speaking, it is plausible that dependent variables should be brought close together in order to reduce BDD sizes. In planning, variable dependencies are typically captured by means of causal graphs, and in preceding work these were taken as the basis for finding BDD variable orderings. Starting from the observation that the two concepts of "dependency" are actually quite different, we introduce a framework for assessing the strength of variable ordering heuristics in sub-classes of planning. It turns out that, even for extremely simple planning tasks, causal graph based variable orders may be exponentially worse than optimal. Experimental results on a wide range of variable ordering variants corroborate our theoretical findings. Furthermore, we show that dynamic reordering is much more effective at reducing BDD size, but it is not cost-effective due to a prohibitive runtime overhead. We exhibit the potential of middle-ground techniques, running dynamic reordering until simple stopping criteria hold.

2020 ◽  
pp. 1192-1198
Author(s):  
M.S. Mohammad ◽  
Tibebe Tesfaye ◽  
Kim Ki-Seong

Ultrasonic thickness gauges are easy to operate and reliable, and can be used to measure a wide range of thicknesses and inspect all engineering materials. Supplementing the simple ultrasonic thickness gauges that present results in either a digital readout or as an A-scan with systems that enable correlating the measured values to their positions on the inspected surface to produce a two-dimensional (2D) thickness representation can extend their benefits and provide a cost-effective alternative to expensive advanced C-scan machines. In previous work, the authors introduced a system for the positioning and mapping of the values measured by the ultrasonic thickness gauges and flaw detectors (Tesfaye et al. 2019). The system is an alternative to the systems that use mechanical scanners, encoders, and sophisticated UT machines. It used a camera to record the probe’s movement and a projected laser grid obtained by a laser pattern generator to locate the probe on the inspected surface. In this paper, a novel system is proposed to be applied to flat surfaces, in addition to overcoming the other limitations posed due to the use of the laser projection. The proposed system uses two video cameras, one to monitor the probe’s movement on the inspected surface and the other to capture the corresponding digital readout of the thickness gauge. The acquired images of the probe’s position and thickness gauge readout are processed to plot the measured data in a 2D color-coded map. The system is meant to be simpler and more effective than the previous development.


Author(s):  
Allan Matthews ◽  
Adrian Leyland

Over the past twenty years or so, there have been major steps forward both in the understanding of tribological mechanisms and in the development of new coating and treatment techniques to better “engineer” surfaces to achieve reductions in wear and friction. Particularly in the coatings tribology field, improved techniques and theories which enable us to study and understand the mechanisms occurring at the “nano”, “micro” and “macro” scale have allowed considerable progress to be made in (for example) understanding contact mechanisms and the influence of “third bodies” [1–5]. Over the same period, we have seen the emergence of the discipline which we now call “Surface Engineering”, by which, ideally, a bulk material (the ‘substrate’) and a coating are combined in a way that provides a cost-effective performance enhancement of which neither would be capable without the presence of the other. It is probably fair to say that the emergence and recognition of Surface Engineering as a field in its own right has been driven largely by the availability of “plasma”-based coating and treatment processes, which can provide surface properties which were previously unachievable. In particular, plasma-assisted (PA) physical vapour deposition (PVD) techniques, allowing wear-resistant ceramic thin films such as titanium nitride (TiN) to be deposited on a wide range of industrial tooling, gave a step-change in industrial productivity and manufactured product quality, and caught the attention of engineers due to the remarkable cost savings and performance improvements obtained. Subsequently, so-called 2nd- and 3rd-generation ceramic coatings (with multilayered or nanocomposite structures) have recently been developed [6–9], to further extend tool performance — the objective typically being to increase coating hardness further, or extend hardness capabilities to higher temperatures.


Biostatistics ◽  
2019 ◽  
Author(s):  
Dane R Van Domelen ◽  
Emily M Mitchell ◽  
Neil J Perkins ◽  
Enrique F Schisterman ◽  
Amita K Manatunga ◽  
...  

SUMMARYMeasuring a biomarker in pooled samples from multiple cases or controls can lead to cost-effective estimation of a covariate-adjusted odds ratio, particularly for expensive assays. But pooled measurements may be affected by assay-related measurement error (ME) and/or pooling-related processing error (PE), which can induce bias if ignored. Building on recently developed methods for a normal biomarker subject to additive errors, we present two related estimators for a right-skewed biomarker subject to multiplicative errors: one based on logistic regression and the other based on a Gamma discriminant function model. Applied to a reproductive health dataset with a right-skewed cytokine measured in pools of size 1 and 2, both methods suggest no association with spontaneous abortion. The fitted models indicate little ME but fairly severe PE, the latter of which is much too large to ignore. Simulations mimicking these data with a non-unity odds ratio confirm validity of the estimators and illustrate how PE can detract from pooling-related gains in statistical efficiency. These methods address a key issue associated with the homogeneous pools study design and should facilitate valid odds ratio estimation at a lower cost in a wide range of scenarios.


Author(s):  
Mamou Diallo ◽  
Servé W. M. Kengen ◽  
Ana M. López-Contreras

AbstractThe Clostridium genus harbors compelling organisms for biotechnological production processes; while acetogenic clostridia can fix C1-compounds to produce acetate and ethanol, solventogenic clostridia can utilize a wide range of carbon sources to produce commercially valuable carboxylic acids, alcohols, and ketones by fermentation. Despite their potential, the conversion by these bacteria of carbohydrates or C1 compounds to alcohols is not cost-effective enough to result in economically viable processes. Engineering solventogenic clostridia by impairing sporulation is one of the investigated approaches to improve solvent productivity. Sporulation is a cell differentiation process triggered in bacteria in response to exposure to environmental stressors. The generated spores are metabolically inactive but resistant to harsh conditions (UV, chemicals, heat, oxygen). In Firmicutes, sporulation has been mainly studied in bacilli and pathogenic clostridia, and our knowledge of sporulation in solvent-producing or acetogenic clostridia is limited. Still, sporulation is an integral part of the cellular physiology of clostridia; thus, understanding the regulation of sporulation and its connection to solvent production may give clues to improve the performance of solventogenic clostridia. This review aims to provide an overview of the triggers, characteristics, and regulatory mechanism of sporulation in solventogenic clostridia. Those are further compared to the current knowledge on sporulation in the industrially relevant acetogenic clostridia. Finally, the potential applications of spores for process improvement are discussed.Key Points• The regulatory network governing sporulation initiation varies in solventogenic clostridia.• Media composition and cell density are the main triggers of sporulation.• Spores can be used to improve the fermentation process.


Author(s):  
Prithvi S. Kandhal ◽  
Kee Y. Foo ◽  
John A. D'Angelo

Significant differences in the volumetric properties of laboratory-designed and plant-produced hot-mix asphalt (HMA) generally exist as demonstrated by FHWA Demonstration Project No. 74. The volumetric properties include voids in the mineral aggregate (VMA) and voids in the total mix (VTM). Guidelines for HMA contractors are needed to reconcile these differences and maintain control of volumetric properties during HMA production. The HMA mix design and field production test data (such as asphalt content, gradation, and volumetric properties) from 24 FHWA demonstration projects were entered into a data base and statistically analyzed. The objective was to identify and, if possible, quantify the independent variables (such as asphalt content and the percentages of material passing the No. 200 and other sieves) that significantly affect dependent variables VMA and VTM. The statistical analysis methods consisted of correlation analysis, stepwise multiple-variable analysis, and linear-regression analysis. On the basis of preceding work, guidelines have been developed for HMA contractors to reconcile the differences between the volumetric properties of the job mix formula and the produced HMA mix.


2018 ◽  
Vol 66 (10) ◽  
pp. 1487-1491 ◽  
Author(s):  
Jean B Nachega ◽  
Nadia A Sam-Agudu ◽  
Lynne M Mofenson ◽  
Mauro Schechter ◽  
John W Mellors

Abstract Although significant progress has been made, the latest data from low- and middle-income countries show substantial gaps in reaching the third “90%” (viral suppression) of the UNAIDS 90-90-90 goals, especially among vulnerable and key populations. This article discusses critical gaps and promising, evidence-based solutions. There is no simple and/or single approach to achieve the last 90%. This will require multifaceted, scalable strategies that engage people living with human immunodeficiency virus, motivate long-term treatment adherence, and are community-entrenched and ‑supported, cost-effective, and tailored to a wide range of global communities.


Geophysics ◽  
2014 ◽  
Vol 79 (4) ◽  
pp. T243-T255 ◽  
Author(s):  
James W. D. Hobro ◽  
Chris H. Chapman ◽  
Johan O. A. Robertsson

We present a new method for correcting the amplitudes of arrivals in an acoustic finite-difference simulation for elastic effects. In this method, we selectively compute an estimate of the error incurred when the acoustic wave equation is used to approximate the behavior of the elastic wave equation. This error estimate is used to generate an effective source field in a second acoustic simulation. The result of this second simulation is then applied as a correction to the original acoustic simulation. The overall cost is approximately twice that of an acoustic simulation but substantially less than the cost of an elastic simulation. Because both simulations are acoustic, no S-waves are generated, so dispersed converted waves are avoided. We tested the characteristics of the method on a simple synthetic model designed to simulate propagation through a strong acoustic impedance contrast representative of sedimentary geology. It corrected amplitudes to high accuracy for reflected arrivals over a wide range of incidence angles. We also evaluated results from simulations on more complex models that demonstrated that the method was applicable in realistic sedimentary models containing a wide range of seismic contrasts. However, its accuracy was reduced for wide-angle reflections from very high impedance contrasts such as a shallow top-salt interface. We examined the influence of modeling at coarse grid resolutions, in which converted S-waves in the equivalent elastic simulation are dispersed. These results provide some validation for the accuracy of the method when applied using finite-difference grids designed for acoustic modeling. The method appears to offer a cost-effective means of modeling elastic amplitudes for P-wave arrivals in a useful range of velocity models. It has several potential applications in imaging and inversion.


Author(s):  
Raffaele Falsaperla ◽  
Valentina Giacchi ◽  
Maria Giovanna Aguglia ◽  
Janette Mailo ◽  
Maria Grazia Longo ◽  
...  

AbstractCongenital heart disease (CHD), the most common major congenital anomaly, is associated with a genetic syndrome (chromosomal anomalies, genomic disorders, or monogenic disease) in 30% of patients. The aim of this systematic review is to evaluate if, in the neonatal setting, clinical clues that orient the diagnostic path can be identified. For this purpose, we revised the most frequent dysmorphic features described in newborns with CHD, comparing those associated with monogenic syndromes (MSG) with the ones reported in newborns with genomic disorders. For this systematic review according to PRISMA statement, we used PubMed, Medline, Google Scholar, Scopus database, and search terms related to CHD and syndrome. We found a wide range of dysmorphisms (ocular region, ears, mouth, and/or palate and phalangeal anomalies) detected in more than half of MSGs were found to be associated with CHDs, but those anomalies are also described in genomic rearrangements syndromes with equal prevalence. These findings confirm that etiological diagnosis in newborns is challenging, and only the prompt and expert recognition of features suggestive of genetic conditions can improve the selection of appropriate, cost-effective diagnostic tests. However, in general practice, it is crucial to recognize clues that can suggest the presence of a genetic syndrome, and neonatologists often have the unique opportunity to be the first to identify abnormalities in the neonate.


Sign in / Sign up

Export Citation Format

Share Document