A Generic Model of Execution for Synthesizing Domain-Specific Models

Software engineering researchers are challenged to provide increasingly more pow- erful levels of abstractions to address the rising complexity inherent in software solu- tions. One new development paradigm that places models as abstraction at the fore- front of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code. Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process. The appeal of an i-DSML is constrained as it possesses unique semantics contained within the DSVM. Existing DSVMs for i-DSMLs exhibit tight coupling between the implicit model of execution and the semantics of the domain, making it difficult to develop DSVMs for new i-DSMLs without a significant investment in resources. At the onset of this research only one i-DSML had been created for the user- centric communication domain using the aforementioned approach. This i-DSML is the Communication Modeling Language (CML) and its DSVM is the Communication Virtual machine (CVM). A major problem with the CVM’s synthesis engine is that the domain-specific knowledge (DSK) and the model of execution (MoE) are tightly interwoven consequently subsequent DSVMs would need to be developed from inception with no reuse of expertise. This dissertation investigates how to decouple the DSK from the MoE and sub- sequently producing a generic model of execution (GMoE) from the remaining appli- cation logic. This GMoE can be reused to instantiate synthesis engines for DSVMs in other domains. The generalized approach to developing the model synthesis com- ponent of i-DSML interpreters utilizes a reusable framework loosely coupled to DSK as swappable framework extensions. This approach involves first creating an i-DSML and its DSVM for a second do- main, demand-side smartgrid, or microgrid energy management, and designing the synthesis engine so that the DSK and MoE are easily decoupled. To validate the utility of the approach, the SEs are instantiated using the GMoE and DSKs of the two aforementioned domains and an empirical study to support our claim of reduced developmental effort is performed.

Parallel nonconvex generalized Benders decomposition for natural gas production network planning under uncertainty

A scenario-based two-stage stochastic programming model for gas production network planning under uncertainty is usually a large-scale nonconvex mixed-integer nonlinear programme (MINLP), which can be efficiently solved to global optimality with nonconvex generalized Benders decomposition (NGBD). This paper is concerned with the parallelization of NGBD to exploit multiple available computing resources. Three parallelization strategies are proposed, namely, naive scenario parallelization, adaptive scenario parallelization, and adaptive scenario and bounding parallelization. Case study of two industrial natural gas production network planning problems shows that, while the NGBD without parallelization is already faster than a state-of-the-art global optimization solver by an order of magnitude, the parallelization can improve the efficiency by several times on computers with multicore processors. The adaptive scenario and bounding parallelization achieves the best overall performance among the three proposed parallelization strategies.

Face recognition using a unified 3D morphable model

We address the problem of 3D-assisted 2D face recognition in scenarios when the input image is subject to degradations or exhibits intra-personal variations not captured by the 3D model. The proposed solution involves a novel approach to learn a subspace spanned by perturbations caused by the missing modes of variation and image degradations, using 3D face data reconstructed from 2D images rather than 3D capture. This is accomplished by modelling the difference in the texture map of the 3D aligned input and reference images. A training set of these texture maps then defines a perturbation space which can be represented using PCA bases. Assuming that the image perturbation subspace is orthogonal to the 3D face model space, then these additive components can be recovered from an unseen input image, resulting in an improved fit of the 3D face model. The linearity of the model leads to efficient fitting. Experiments show that our method achieves very competitive face recognition performance on Multi-PIE and AR databases. We also present baseline face recognition results on a new data set exhibiting combined pose and illumination variations as well as occlusion.

Nonparametric Evaluation of Quantitative Traits in Population-Based Association Studies when the Genetic Model is Unknown

Statistical association between a single nucleotide polymorphism (SNP) genotype and a quantitative trait in genome-wide association studies is usually assessed using a linear regression model, or, in the case of non-normally distributed trait values, using the Kruskal-Wallis test. While linear regression models assume an additive mode of inheritance via equi-distant genotype scores, Kruskal-Wallis test merely tests global differences in trait values associated with the three genotype groups. Both approaches thus exhibit suboptimal power when the underlying inheritance mode is dominant or recessive. Furthermore, these tests do not perform well in the common situations when only a few trait values are available in a rare genotype category (disbalance), or when the values associated with the three genotype categories exhibit unequal variance (variance heterogeneity). We propose a maximum test based on Marcus-type multiple contrast test for relative effect sizes. This test allows model-specific testing of either dominant, additive or recessive mode of inheritance, and it is robust against variance heterogeneity. We show how to obtain mode-specific simultaneous confidence intervals for the relative effect sizes to aid in interpreting the biological relevance of the results. Further, we discuss the use of a related all-pairwise comparisons contrast test with range preserving confidence intervals as an alternative to Kruskal-Wallis heterogeneity test. We applied the proposed maximum test to the Bogalusa Heart Study dataset, and gained a remarkable increase in the power to detect association, particularly for rare genotypes. Our simulation study also demonstrated that the proposed non-parametric tests control family-wise error rate in the presence of non-normality and variance heterogeneity contrary to the standard parametric approaches. We provide a publicly available R library nparcomp that can be used to estimate simultaneous confidence intervals or compatible multiplicity-adjusted p-values associated with the proposed maximum test.

A Generalized Methodology to Characterize Composite Materials for Pyrolysis Models

The predictive capabilities of computational fire models have improved in recent years such that models have become an integral part of many research efforts. Models improve the understanding of the fire risk of materials and may decrease the number of expensive experiments required to assess the fire hazard of a specific material or designed space. A critical component of a predictive fire model is the pyrolysis sub-model that provides a mathematical representation of the rate of gaseous fuel production from condensed phase fuels given a heat flux incident to the material surface. The modern, comprehensive pyrolysis sub-models that are common today require the definition of many model parameters to accurately represent the physical description of materials that are ubiquitous in the built environment. Coupled with the increase in the number of parameters required to accurately represent the pyrolysis of materials is the increasing prevalence in the built environment of engineered composite materials that have never been measured or modeled. The motivation behind this project is to develop a systematic, generalized methodology to determine the requisite parameters to generate pyrolysis models with predictive capabilities for layered composite materials that are common in industrial and commercial applications. This methodology has been applied to four common composites in this work that exhibit a range of material structures and component materials. The methodology utilizes a multi-scale experimental approach in which each test is designed to isolate and determine a specific subset of the parameters required to define a material in the model. Data collected in simultaneous thermogravimetry and differential scanning calorimetry experiments were analyzed to determine the reaction kinetics, thermodynamic properties, and energetics of decomposition for each component of the composite. Data collected in microscale combustion calorimetry experiments were analyzed to determine the heats of complete combustion of the volatiles produced in each reaction. Inverse analyses were conducted on sample temperature data collected in bench-scale tests to determine the thermal transport parameters of each component through degradation. Simulations of quasi-one-dimensional bench-scale gasification tests generated from the resultant models using the ThermaKin modeling environment were compared to experimental data to independently validate the models.

A risk model with an observer in a Markov environment

We consider a spectrally-negative Markov additive process as a model of a risk process in a random environment. Following recent interest in alternative ruin concepts, we assume that ruin occurs when an independent Poissonian observer sees the process as negative, where the observation rate may depend on the state of the environment. Using an approximation argument and spectral theory, we establish an explicit formula for the resulting survival probabilities in this general setting. We also discuss an efficient evaluation of the involved quantities and provide a numerical illustration.

Additive Manufacturing: Current Status and Future Prospects

Part 10: Sustainability and Trust

Phosphoglucose isomerase variability of Cerastoderma glaucum as a model for testing the influence of environmental conditions and dispersal patterns through quantitative ecology approaches

Extreme conditions of coastal lagoons could directly modify the genetic patterns of species. The aim of this work was to investigate the influence of environmental conditions and small scale dispersal patterns on the phosphoglucose isomerase (PGI*) genetic variability of Cerastoderma glaucum from the Mar Menor coastal lagoon. For this purpose, 284 cockles were collected around the perimeter of the lagoon. Vertical polyacrylamide gel electrophoresis was used to scan for PGI* polymorphisms, giving a total of seven alleles. The spatial genetic distribution of the PGI* variability, which seems to be marked by the main circulation in the lagoon, discriminates four hydrological basins. In the central basin, a gradient of allelic composition reflects the circulation forced by the dominant winds and the main channel communicated to the open sea. This result is well supported by the salinity GAM model that defines this gradient. The other three basins are defined by the distribution of fine sand in a more complex model that tries to explain the isolation of the three sites localized inside these basins. The southern, western and northern basins show the lowest degree of interconnection and are considered the most confined areas of the Mar Menor lagoon. This situation agrees with the confinement theory for benthic assemblages in the lagoon. The greater degree of differentiation seen in the Isla del Ciervo population is probably due to recent human intervention on the nearby Marchamalo channel, which has been drained in recent years thus altering the influence of the Mediterranean Sea on the southern basin.

Allergological evaluation of a dog population in a veterinary immuno-allergology consultation: What correlates in a canine model

Introduction: Allergic dermatitis (AD) is the most common canine pruritic condition in veterinary dermatology. Allergic dermatitis to flea bites presents the highest prevalence, followed by atopic dermatitis and food AD. This study aimed to identify possible correlation between data from clinical signs, intradermal tests (IDT) and specific IgE levels, which are used in dog AD assessment. Methods: Fifty five dogs from the Veterinary Hospital of the University of Évora (Portugal) and Rof Codina University Hospital (Lugo, Spain) outpatient consultations were studied by means of clinical inquiry, IDT and specific IgE determination. Thirty five of the patients belonged to predisposed breeds, 30 were females and 25 males. Forty one (74%) were indoor. Results: In 82% of cases first clinical signs appeared before the age of 3 years and 24% even before 1 year old. In 70% of the individuals clinical signs included itching, which was generalized in 66%, with 78% of paw licking and chewing. Clinical profile showed seasonal worsening in 64% of cases. From the 69.1% of dogs already presenting with dermatitis, 50% also presented external otitis and 28.9% self-inflicted alopecia. "Intense itching" was found in 10.5%, "medium itching" in 81.6% and “mild itching” in 5.26% of the patients. Prevalence of positive IDT was 37.3 % to Lep d, 29.41% to Der f, 27.5% to Der p, 25.5% to Dac g and 21.6% to Malassezia sp. From the 37 dogs submitted to food IDT, 40.5% revealed positive to beef, 27% to chicken, 27% to porc and 5.4% to lamb. Specific IgE > 150 EAU was found in 84% of dogs to indoor allergen sources and in 68% to pollens. A negative correlation was found between an outdoor life and the intensity (p = 0.033) and precocity (p = 0.026) of clinical signs. Sensitization to pollens was found positively correlated with the seasonality of clinical signs (p = 0.001) and the positivity for Dac g (p = 0.007). The prevalence of chronic otitis correlated positively with alopecia and reactivity to Lep d (p = 0.008), Plantago lanceolata (p = 0.026) and Platanus acerifolia (p = 0.017). There was no correlation between the results of ITD and specific IgE. Conclusion: We can conclude that correlation between different clinical signs and positive testing for some allergenic sources may occur, as well as between sensitization to pollens and the beginning, the intensity and the seasonality of dog patient clinical signs.

How well can models predict changes in species distributions? A 13-year-old otter model revisited

Species distribution and ecological niche models are increasingly used in biodiversity management and conservation. However, one thing that is important but rarely done is to follow up on the predictive performance of these models over time, to check if their predictions are fulfilled and maintain accuracy, or if they apply only to the set in which they were produced. In 2003, a distribution model of the Eurasian otter (Lutra lutra) in Spain was published, based on the results of a country-wide otter survey published in 1998. This model was built with logistic regression of otter presence-absence in UTM 10 km2 cells on a diverse set of environmental, human and spatial variables, selected according to statistical criteria. Here we evaluate this model against the results of the most recent otter survey, carried out a decade later and after a significant expansion of the otter distribution area in this country. Despite the time elapsed and the evident changes in this species’ distribution, the model maintained a good predictive capacity, considering both discrimination and calibration measures. Otter distribution did not expand randomly or simply towards vicinity areas,m but specifically towards the areas predicted as most favourable by the model based on data from 10 years before. This corroborates the utility of predictive distribution models, at least in the medium term and when they are made with robust methods and relevant predictor variables.

Single diode model parameters analysis of photovoltaic cell

In this paper it is proposed to obtain enhanced and more efficient parameters model from generalized five parameters (single diode) model of PV cells. The paper also introduces, describes and implements a seven parameter model for photovoltaic cell (PV cell) which includes two internal parameters and five external parameters. To obtain the model the mathematical equations and an equivalent circuit consisting of a photo generated current source, a series resistor, a shunt resistor and a diode is used. The fundamental equation of PV cell is used to analyse and best fit the observation data. Especially bisection iteration method is used to obtain the expected result and to understand the deviation of changes in different parameters situation at various conditions respectively. The produced model can be used of measuring and understanding the actions of photovoltaic cells for certain changes and parameters extraction. The effect is also studied with I-V and P-V characteristics of PV cells though it is a challenge to optimize the output with real time simulation. The working procedure is also discussed and an experiment presented to get the closure and insight about the produced model and to decide upon the model validity. At the end, we observed that the result of the simulation is very close to the produced model.

An approximate method for the solution of an influence function foil rolling model

Fleck and Johnson (Int. J. Mech. Sci. 29 (1987) 507) and Fleck et al. (Proc. Inst. Mech. Eng. 206 (1992) 119) have developed foil rolling models which allow for large deformations in the roll profile, including the possibility that the rolls flatten completely. However, these models require computationally expensive iterative solution techniques. A new approach to the approximate solution of the Fleck et al. (1992) Influence Function Model has been developed using both analytic and approximation techniques. The numerical difficulties arising from solving an integral equation in the flattened region have been reduced by applying an Inverse Hilbert Transform to get an analytic expression for the pressure. The method described in this paper is applicable to cases where there is or there is not a flat region.