Early design verification of complex assembly variability using a hybrid - model based and physical testing - methodology

Design verification in the digital domain, using model-based principles, is a key research objective to address the industrial requirement for reduced physical testing and prototyping. For complex assemblies, the verification of design and the associated production methods is currently fragmented, prolonged and sub-optimal, as it uses digital and physical verification stages that are deployed in a sequential manner using multiple systems. This paper describes a novel, hybrid design verification methodology that integrates model-based variability analysis with measurement data of assemblies, in order to reduce simulation uncertainty and allow early design verification from the perspective of satisfying key assembly criteria.

Model Mining and Efficient Verification of Software Product Lines

Software product line modeling aims at capturing a set of software products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fashion, in terms of commonalities and orthogonalities. Such models are useful when analyzing and verifying all products of an SPL, since they provide a scheme for divide-and-conquer-style decomposition of the analysis or verification problem at hand. We define an abstract class of SPLs for which variability models can be constructed that are optimal w.r.t. the chosen representation of sharing. We show how the constructed models can be fed into a previously developed algorithmic technique for compositional verification of control-flow temporal safety properties, so that the properties to be verified are iteratively decomposed into simpler ones over orthogonal parts of the SPL, and are not re-verified over the shared parts. We provide tool support for our technique, and evaluate our tool on a small but realistic SPL of cash desks.

Bagging model with cost sensitive analysis on diabetes data

Diabetes patients might suffer from an unhealthy life, long-term treatment and chronic complicated diseases. The decreasing hospitalization rate is a crucial problem for health care centers. This study combines the bagging method with base classifier decision tree and costs-sensitive analysis for diabetes patients' classification purpose. Real patients' data collected from a regional hospital in Thailand were analyzed. The relevance factors were selected and used to construct base classifier decision tree models to classify diabetes and non-diabetes patients. The bagging method was then applied to improve accuracy. Finally, asymmetric classification cost matrices were used to give more alternative models for diabetes data analysis.

Magyar egyetemi hallgatók vállalkozási attitűdjei és az attitűdöket befolyásoló tényezők elemzése a GUESSS-felmérés adatai alapján - Kik is akarnak ténylegesen vállalkozni? (Entrepreneurial attitudes of the Hungarian students and the analysis of the factors influencing attitudes based on the datas of GUESSS survey – Who want to undertake really?)

A vállalkozóvá válás meghatározó tényezőinek kutatása szakmai berkekben leginkább a Szent Grál keresésére emlékeztet: már lassan azt sem tudjuk, hogy egyáltalán léteznek-e ilyen tényezők. A kutatást nehezítik a többnyire önbevallásos kérdésekre adott torzított válaszok, a szóba jöhető tényezők számossága és a vállalkozói motivációk heterogenitása a különböző demográfiai karakterisztikákkal rendelkező népesség körében. Az egyetemi hallgatók körében némileg egyszerűbb a vizsgálat, hiszen ez egy relatíve homogén minta. Ugyanakkor itt a leginkább áttételesek a hatások, és ráadásul nem a tényleges vállalkozóvá válás, hanem többnyire csak a szándékok tesztelhetők. A vállalkozóvá válás szándékát Bandura társadalmi megismerés-elmélete, Shapero elmozduláselmélete és az Ajzen-féle tervezett magatartás elmélet alapján felállított koncepcionális modell keretén belül vizsgálják és elemzik a szerzők. Arra keresik a választ, hogy az egyes vállalkozói tulajdonságok, az egyetemi környezeti tényezők és a családi háttér hogyan hatnak a vállalkozóvá válásra. A teszteléshez a 21 országra kiterjedő 2011-es GUESSS-felmérésből a magyar egyetemi/ főiskolai hallgatók 5224-es erősségű mintáját használták fel. A multimoniális regressziós vizsgálat eredményei megerősítik, hogy a vállalkozói tulajdonságok és a családban levő vállalkozó megléte mellett a vállalkozói oktatás is pozitívan befolyásolják a vállalkozásindítási szándékot. A klaszterelemzés rámutatott arra, hogy a vállalkozói szándékok, az erre ható tényezők, továbbá a választott szak és más demográfiai tényezők szempontjából a hallgatók meglehetősen heterogének. _______ The search for the determining factors to become an entrepreneur is something like searching for the Holy Grail: After many decades we do not even know if these factors exist or not. The research is difficult because the questionnaires are self esteem, the potential influential factors are numerous, and the motivations do vary across the different cohorts of population. It is easier to conduct a survey amongst university students since this sample is relatively homogenous. At the same times, the determining factors to become an entrepreneur cannot be really tested; the authors can examine mostly the attitudes and the intentions. The conceptual model of entrepreneurial intentions, developed in the paper, based on Bandura, Shaper and Ajzen. The paper is testing eight hypotheses about the influential factors of entrepreneurial intentions such as entrepreneurial traits, the university environment, and the family background. For testing the hypothesis they use a sample of 5224 Hungarian students from the GUESSS 2011 survey. According to the multinomial regression, entrepreneurial intentions are positively influenced by certain entrepreneurial traits, entrepreneur in the family, and entrepreneurship courses at the higher education institutions. The cluster analysis results underline the heterogeneity of the students in terms of entrepreneurial intentions, gender, and the major field of studies

Essays on international macroeconomics and conflict analysis

This dissertation addressed two broad problems in international macroeconomics and conflict analysis. The first problem in the first chapter looked at the behavior of exchange rate and its interaction with industry-level tradable goods prices for three countries, USA, UK and Japan. This question has important monetary policy implications. Here, I computed to what extent changes in exchange rate affected prices of consumer, producer, and export goods. I also studied the timing of these changes in these prices. My results, based on thirty-four industrial prices for USA, UK and Japan, supported the view that changes in exchange rates significantly affect prices of industrial and consumer goods. It also provided an insight to the underlying economic process that led to changes in relative prices. ^ In the second chapter, I explored the predictability of future inflation by incorporating shocks to exchange rates and clearly specified the transmission mechanisms that link exchange rates to industry-level consumer and producer prices. Employing a variety of linear and state-of-the-art nonlinear models, I also predicted growth rates of future prices. Comparing levels of inflation obtained from the above approaches showed superiority of the structural model incorporating the exchange rate pass-through effect. ^ The second broad issue addressed in the third chapter of the dissertation investigated the economic motives for conflict, manifested by rebellion and civil war for seventeen Latin American countries. Based on the analytical framework of Garfinkel, Skaperdas and Syropoulos (2004), I employed ordinal regressions and Markov switching for a panel of seventeen countries to identify trade and openness factors responsible for conflict occurrence and intensity. The results suggested that increased trade openness reduced high intensity domestic conflicts but overdependence on agricultural exports, along with a lack of income earning opportunities lead to more conflicts. Thereafter, using the Cox Proportional Hazard model I studied “conflict duration” and found that over-reliance on agricultural exports explained a major part of the length of conflicts in addition to various socio-political factors. ^

An exergy based engineering and economic analysis of sustainable building

To achieve the goal of sustainable development, the building energy system was evaluated from both the first and second law of thermodynamics point of view. The relationship between exergy destruction and sustainable development were discussed at first, followed by the description of the resource abundance model, the life cycle analysis model and the economic investment effectiveness model. By combining the forgoing models, a new sustainable index was proposed. Several green building case studies in U.S. and China were presented. The influences of building function, geographic location, climate pattern, the regional energy structure, and the technology improvement potential of renewable energy in the future were discussed. The building’s envelope, HVAC system, on-site renewable energy system life cycle analysis from energy, exergy, environmental and economic perspective were compared. It was found that climate pattern had a dramatic influence on the life cycle investment effectiveness of the building envelope. The building HVAC system energy performance was much better than its exergy performance. To further increase the exergy efficiency, renewable energy rather than fossil fuel should be used as the primary energy. A building life cycle cost and exergy consumption regression model was set up. The optimal building insulation level could be affected by either cost minimization or exergy consumption minimization approach. The exergy approach would cause better insulation than cost approach. The influence of energy price on the system selection strategy was discussed. Two photovoltaics (PV) systems—stand alone and grid tied system were compared by the life cycle assessment method. The superiority of the latter one was quite obvious. The analysis also showed that during its life span PV technology was less attractive economically because the electricity price in U.S. and China did not fully reflect the environmental burden associated with it. However if future energy price surges and PV system cost reductions were considered, the technology could be very promising for sustainable buildings in the future.

Evaluation of the internal structural validity of the Diagnostic and Statistical Manual of Mental Disorders (Fourth Edition) anxiety disorders in children and adolescents

The purpose of the present dissertation was to evaluate the internal validity of symptoms of four common anxiety disorders included in the Diagnostic and Statistical Manual of Mental Disorders fourth edition (text revision) (DSM-IV-TR; American Psychiatric Association, 2000), namely, separation anxiety disorder (SAD), social phobia (SOP), specific phobia (SP), and generalized anxiety disorder (GAD), in a sample of 625 youth (ages 6 to 17 years) referred to an anxiety disorders clinic and 479 parents. Confirmatory factor analyses (CFAs) were conducted on the dichotomous items of the SAD, SOP, SP, and GAD sections of the youth and parent versions of the Anxiety Disorders Interview Schedule for DSM-IV (ADIS-IV: C/P; Silverman & Albano, 1996) to test and compare a number of factor models including a factor model based on the DSM. Contrary to predictions, findings from CFAs showed that a correlated model with five factors of SAD, SOP, SP, GAD worry, and GAD somatic distress, provided the best fit of the youth data as well as the parent data. Multiple group CFAs supported the metric invariance of the correlated five factor model across boys and girls. Thus, the present study’s finding supports the internal validity of DSM-IV SAD, SOP, and SP, but raises doubt regarding the internal validity of GAD.^

Integrated Ecological Modeling and Decision Analysis Within the Everglades Landscape

Planning for complex ecosystem restoration projects involves integrating ecological modeling with analysis of performance trade-offs among restoration alternatives. The authors used the Everglades Landscape Model and Multi-Criteria Decision Analysis to explore the effect of simulated ecosystem performance, risk preferences, and criteria weights on the ranking of three alternatives to restoring overland sheet flow in the Everglades. The ecological model outputs included both hydrologic and water quality criteria. Results were scored in the decision analysis framework, highlighting the trade-offs between hydrologic restoration and water quality constraints. Given equal weighting of performance measures, the alternative with more homogenous sheet flow was preferred over other alternatives, despite evidence of some localized eutrophication risk.

An experimental and theoretical analysis of nitric oxide availability in the microcirculation

Nitric Oxide (NO) is produced in the vascular endothelium where it then diffuses to the adjacent smooth muscle cells (SMC) activating agents known to regulate vascular tone. The close proximity of the site of NO production to the red blood cells (RBC) and its known fast consumption by hemoglobin, suggests that the blood will scavenge most of the NO produced. Therefore, it is unclear how NO is able to play its role in accomplishing vasodilation. Investigation of NO production and consumption rates will allow insight into this paradox. DAF-FM is a sensitive NO fluorescence probe widely used for qualitative assessment of cellular NO production. With the aid of a mathematical model of NO/DAF-FM reaction kinetics, experimental studies were conducted to calibrate the fluorescence signal showing that the slope of fluorescent intensity is proportional to [NO]2 and exhibits a saturation dependence on [DAF-FM]. In addition, experimental data exhibited a Km dependence on [NO]. This finding was incorporated into the model elucidating NO 2 as the possible activating agent of DAF-FM. A calibration procedure was formed and applied to agonist stimulated cells, providing an estimated NO release rate of 0.418 ± 0.18 pmol/cm2s. To assess NO consumption by RBCs, measurements of the rate of NO consumption in a gas stream flowing on top of an RBC solution of specified Hematocrit (Hct) was performed. The consumption rate constant (kbl)in porcine RBCs at 25°C and 45% Hct was estimated to be 3500 + 700 s-1. kbl is highly dependent on Hct and can reach up to 9900 + 4000 s-1 for 60% Hct. The nonlinear dependence of kbl on Hct suggests a predominant role for extracellular diffusion in limiting NO uptake. Further simulations showed a linear relationship between varying NO production rates and NO availability in the SMCs utilizing the estimated NO consumption rate. The corresponding SMC [NO] level for the average NO production rate estimated was approximately 15.1 nM. With the aid of experimental and theoretical methods we were able to examine the NO paradox and exhibit that endothelial derived NO is able to escape scavenging by RBCs to diffuse to the SMCs.

Frameworks for Systemic and Structural Analysis of Financial Innovations in Infrastructure

Financial innovations have emerged globally to close the gap between the rising global demand for infrastructures and the availability of financing sources offered by traditional financing mechanisms such as fuel taxation, tax-exempt bonds, and federal and state funds. The key to sustainable innovative financing mechanisms is effective policymaking. This paper discusses the theoretical framework of a research study whose objective is to structurally and systemically assess financial innovations in global infrastructures. The research aims to create analysis frameworks, taxonomies and constructs, and simulation models pertaining to the dynamics of the innovation process to be used in policy analysis. Structural assessment of innovative financing focuses on the typologies and loci of innovations and evaluates the performance of different types of innovative financing mechanisms. Systemic analysis of innovative financing explores the determinants of the innovation process using the System of Innovation approach. The final deliverables of the research include propositions pertaining to the constituents of System of Innovation for infrastructure finance which include the players, institutions, activities, and networks. These static constructs are used to develop a hybrid Agent-Based/System Dynamics simulation model to derive propositions regarding the emergent dynamics of the system. The initial outcomes of the research study are presented in this paper and include: (a) an archetype for mapping innovative financing mechanisms, (b) a System of Systems-based analysis framework to identify the dimensions of Systems of Innovation analyses, and (c) initial observations regarding the players, institutions, activities, and networks of the System of Innovation in the context of the U.S. transportation infrastructure financing.

Development, validation and uncertainty analysis of quantitative structure and activity relationship models for Log P of disinfection by -products

Hydrophobicity as measured by Log P is an important molecular property related to toxicity and carcinogenicity. With increasing public health concerns for the effects of Disinfection By-Products (DBPs), there are considerable benefits in developing Quantitative Structure and Activity Relationship (QSAR) models capable of accurately predicting Log P. In this research, Log P values of 173 DBP compounds in 6 functional classes were used to develop QSAR models, by applying 3 molecular descriptors, namely, Energy of the Lowest Unoccupied Molecular Orbital (ELUMO), Number of Chlorine (NCl) and Number of Carbon (NC) by Multiple Linear Regression (MLR) analysis. The QSAR models developed were validated based on the Organization for Economic Co-operation and Development (OECD) principles. The model Applicability Domain (AD) and mechanistic interpretation were explored. Considering the very complex nature of DBPs, the established QSAR models performed very well with respect to goodness-of-fit, robustness and predictability. The predicted values of Log P of DBPs by the QSAR models were found to be significant with a correlation coefficient R2 from 81% to 98%. The Leverage Approach by Williams Plot was applied to detect and remove outliers, consequently increasing R 2 by approximately 2% to 13% for different DBP classes. The developed QSAR models were statistically validated for their predictive power by the Leave-One-Out (LOO) and Leave-Many-Out (LMO) cross validation methods. Finally, Monte Carlo simulation was used to assess the variations and inherent uncertainties in the QSAR models of Log P and determine the most influential parameters in connection with Log P prediction. The developed QSAR models in this dissertation will have a broad applicability domain because the research data set covered six out of eight common DBP classes, including halogenated alkane, halogenated alkene, halogenated aromatic, halogenated aldehyde, halogenated ketone, and halogenated carboxylic acid, which have been brought to the attention of regulatory agencies in recent years. Furthermore, the QSAR models are suitable to be used for prediction of similar DBP compounds within the same applicability domain. The selection and integration of various methodologies developed in this research may also benefit future research in similar fields.

An Exergy Based Engineering and Economic Analysis of Sustainable Building

To achieve the goal of sustainable development, the building energy system was evaluated from both the first and second law of thermodynamics point of view. The relationship between exergy destruction and sustainable development were discussed at first, followed by the description of the resource abundance model, the life cycle analysis model and the economic investment effectiveness model. By combining the forgoing models, a new sustainable index was proposed. Several green building case studies in U.S. and China were presented. The influences of building function, geographic location, climate pattern, the regional energy structure, and the technology improvement potential of renewable energy in the future were discussed. The building’s envelope, HVAC system, on-site renewable energy system life cycle analysis from energy, exergy, environmental and economic perspective were compared. It was found that climate pattern had a dramatic influence on the life cycle investment effectiveness of the building envelope. The building HVAC system energy performance was much better than its exergy performance. To further increase the exergy efficiency, renewable energy rather than fossil fuel should be used as the primary energy. A building life cycle cost and exergy consumption regression model was set up. The optimal building insulation level could be affected by either cost minimization or exergy consumption minimization approach. The exergy approach would cause better insulation than cost approach. The influence of energy price on the system selection strategy was discussed. Two photovoltaics (PV) systems – stand alone and grid tied system were compared by the life cycle assessment method. The superiority of the latter one was quite obvious. The analysis also showed that during its life span PV technology was less attractive economically because the electricity price in U.S. and China did not fully reflect the environmental burden associated with it. However if future energy price surges and PV system cost reductions were considered, the technology could be very promising for sustainable buildings in the future.

Bayesian Emulation for Sequential Modeling, Inference and Decision Analysis

The advances in three related areas of state-space modeling, sequential Bayesian learning, and decision analysis are addressed, with the statistical challenges of scalability and associated dynamic sparsity. The key theme that ties the three areas is Bayesian model emulation: solving challenging analysis/computational problems using creative model emulators. This idea defines theoretical and applied advances in non-linear, non-Gaussian state-space modeling, dynamic sparsity, decision analysis and statistical computation, across linked contexts of multivariate time series and dynamic networks studies. Examples and applications in financial time series and portfolio analysis, macroeconomics and internet studies from computational advertising demonstrate the utility of the core methodological innovations.

Chapter 1 summarizes the three areas/problems and the key idea of emulating in those areas. Chapter 2 discusses the sequential analysis of latent threshold models with use of emulating models that allows for analytical filtering to enhance the efficiency of posterior sampling. Chapter 3 examines the emulator model in decision analysis, or the synthetic model, that is equivalent to the loss function in the original minimization problem, and shows its performance in the context of sequential portfolio optimization. Chapter 4 describes the method for modeling the steaming data of counts observed on a large network that relies on emulating the whole, dependent network model by independent, conjugate sub-models customized to each set of flow. Chapter 5 reviews those advances and makes the concluding remarks.

Physical and Genetic Analysis of the CUP1 Tandem Array in the Yeast Saccharomyces cerevisiae

The genomes of many strains of baker’s yeast, Saccharomyces cerevisiae, contain multiple repeats of the copper-binding protein Cup1. Cup1 is a member of the metallothionein family, and is found in a tandem array on chromosome VIII. In this thesis, I describe studies that characterized these tandem arrays and their mechanism of formation across diverse strains of yeast. I show that CUP1 arrays are an illuminating model system for observing recombination in eukaryotes, and describe insights derived from these observations.

In our first study, we analyzed 101 natural isolates of S. cerevisiae in order to examine the diversity of CUP1-containing repeats across different strains. We identified five distinct classes of repeats that contain CUP1. We also showed that some strains have only a single copy of CUP1. By comparing the sequences of all the strains, we were able to elucidate the mechanism of formation of the CUP1 tandem arrays, which involved unequal non-homologous recombination events starting from a strain that had only a single CUP1 gene. Our observation of CUP1 repeat formation allows more general insights about the formation of tandem repeats from single-copy genes in eukaryotes, which is one of the most important mechanisms by which organisms evolve.

In our second study, we delved deeper into our mechanistic investigations by measuring the relative rates of inter-homolog and intra-/inter-sister chromatid recombination in CUP1 tandem arrays. We used a diploid strain that is heterozygous both for insertion of a selectable marker (URA3) inside the tandem array, and also for markers at either end of the array. The intra-/inter-sister chromatid recombination rate turned out to be more than ten-fold greater than the inter-homolog rate. Moreover, we found that loss of the proteins Rad51 and Rad52, which are required for most inter-homolog recombination, did not greatly reduce recombination in the CUP1 tandem repeats. Additionally, we investigated the effects of elevated copper levels on the rate of each type of recombination at the CUP1 locus. Both types of recombination are increased at high concentrations of copper (as is known to be the case for CUP1 transcription). Furthermore, the inter-homolog recombination rate at the CUP1 locus is higher than the average over the genome during mitosis, but is lower than the average during meiosis.

The research described in Chapter 2 is published in 2014.

An Institutional, Socio-economic, and Legal Analysis of Fisheries Co-management and Regulation in the Gulf of Nicoya, Costa Rica

Marine Areas for Responsible Artisanal Fishing (AMPR) have emerged as a new model for co-managing small-scale fisheries in Costa Rica, one that involves collaboration between fishers, government agencies and NGOs. This thesis aims to examine the context for collective action and co-management by small-scale fishers; evaluate the design, implementation, and enforcement of AMPRs; and conduct a linguistic analysis of fisheries legislation. The present work relies on the analysis of several types of qualitative data, including interviews with 23 key informants, rapid rural assessments, and legal documents. Findings demonstrate the strong influence of economic factors for sustaining collective action, as well as the importance of certain types of external organizations for community development and co-management. Additionally, significant enforcement gaps and institutional deficiencies were identified in the work of regulating agencies. Legal analysis suggests that mechanisms for government accountability are unavailable and that legal discourse reflects some of the most salient problems in management.