Schwinger-Dyson loop equations as the w1+∞-like constraints for hermitian multi-matrix chain model at finite N

International Nuclear Information System (INIS)

Cheng, Yi-Xin

1992-01-01

The Schwinger-Dyson loop equations for the hermitian multi-matrix chain models at finite N, are derived from the Ward identities of the partition functional under the infinitesimal field transformations. The constraint operators W n (m) satisfy the w 1+∞ -like algebra up to a linear combination of the lower spin operators. We find that the all the higher spin constraints are reducible to the Virasoro-type constraints for all the matrix chain models. (author)

A Constraint Model for Constrained Hidden Markov Models

DEFF Research Database (Denmark)

Christiansen, Henning; Have, Christian Theil; Lassen, Ole Torp

2009-01-01

A Hidden Markov Model (HMM) is a common statistical model which is widely used for analysis of biological sequence data and other sequential phenomena. In the present paper we extend HMMs with constraints and show how the familiar Viterbi algorithm can be generalized, based on constraint solving ...

Expressing Model Constraints Visually with VMQL

DEFF Research Database (Denmark)

Störrle, Harald

2011-01-01

) for specifying constraints on UML models. We examine VMQL's usability by controlled experiments and its expressiveness by a representative sample. We conclude that VMQL is less expressive than OCL, although expressive enough for most of the constraints in the sample. In terms of usability, however, VMQL......OCL is the de facto standard language for expressing constraints and queries on UML models. However, OCL expressions are very difficult to create, understand, and maintain, even with the sophisticated tool support now available. In this paper, we propose to use the Visual Model Query Language (VMQL...

Respiration climacteric in tomato fruits elucidated by constraint-based modelling.

Science.gov (United States)

Colombié, Sophie; Beauvoit, Bertrand; Nazaret, Christine; Bénard, Camille; Vercambre, Gilles; Le Gall, Sophie; Biais, Benoit; Cabasson, Cécile; Maucourt, Mickaël; Bernillon, Stéphane; Moing, Annick; Dieuaide-Noubhani, Martine; Mazat, Jean-Pierre; Gibon, Yves

2017-03-01

Tomato is a model organism to study the development of fleshy fruit including ripening initiation. Unfortunately, few studies deal with the brief phase of accelerated ripening associated with the respiration climacteric because of practical problems involved in measuring fruit respiration. Because constraint-based modelling allows predicting accurate metabolic fluxes, we investigated the respiration and energy dissipation of fruit pericarp at the breaker stage using a detailed stoichiometric model of the respiratory pathway, including alternative oxidase and uncoupling proteins. Assuming steady-state, a metabolic dataset was transformed into constraints to solve the model on a daily basis throughout tomato fruit development. We detected a peak of CO 2 released and an excess of energy dissipated at 40 d post anthesis (DPA) just before the onset of ripening coinciding with the respiration climacteric. We demonstrated the unbalanced carbon allocation with the sharp slowdown of accumulation (for syntheses and storage) and the beginning of the degradation of starch and cell wall polysaccharides. Experiments with fruits harvested from plants cultivated under stress conditions confirmed the concept. We conclude that modelling with an accurate metabolic dataset is an efficient tool to bypass the difficulty of measuring fruit respiration and to elucidate the underlying mechanisms of ripening. © 2016 The Authors. New Phytologist © 2016 New Phytologist Trust.

Performance measures for transform data coding.

Science.gov (United States)

Pearl, J.; Andrews, H. C.; Pratt, W. K.

1972-01-01

This paper develops performance criteria for evaluating transform data coding schemes under computational constraints. Computational constraints that conform with the proposed basis-restricted model give rise to suboptimal coding efficiency characterized by a rate-distortion relation R(D) similar in form to the theoretical rate-distortion function. Numerical examples of this performance measure are presented for Fourier, Walsh, Haar, and Karhunen-Loeve transforms.

Constraint theory multidimensional mathematical model management

CERN Document Server

Friedman, George J

2017-01-01

Packed with new material and research, this second edition of George Friedman’s bestselling Constraint Theory remains an invaluable reference for all engineers, mathematicians, and managers concerned with modeling. As in the first edition, this text analyzes the way Constraint Theory employs bipartite graphs and presents the process of locating the “kernel of constraint” trillions of times faster than brute-force approaches, determining model consistency and computational allowability. Unique in its abundance of topological pictures of the material, this book balances left- and right-brain perceptions to provide a thorough explanation of multidimensional mathematical models. Much of the extended material in this new edition also comes from Phan Phan’s PhD dissertation in 2011, titled “Expanding Constraint Theory to Determine Well-Posedness of Large Mathematical Models.” Praise for the first edition: "Dr. George Friedman is indisputably the father of the very powerful methods of constraint theory...

Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool

DEFF Research Database (Denmark)

Acretoaie, Vlad; Störrle, Harald; Strüber, Daniel

2015-01-01

Current model transformation languages are supported by dedicated editors, often closely coupled to a single execution engine. We introduce Transparent Model Transformation, a paradigm enabling modelers to specify transformations using a familiar tool: their model editor. We also present VMTL, th...... model transformation tool sharing the model editor’s benefits, transparently....

WMAP constraints on the Cardassian model

International Nuclear Information System (INIS)

Sen, A.A.; Sen, S.

2003-01-01

We investigate the constraints on the Cardassian model using the recent results from the Wilkinson microwave anisotropy probe for the locations of the peaks of the cosmic microwave background (CMB) anisotropy spectrum. We find that the model is consistent with the recent observational data for a certain range of the model parameter n and the cosmological parameters. We find that the Cardassian model is favored compared to the ΛCDM model for a higher spectral index (n s ≅1) together with a lower value of the Hubble parameter h (h≤0.71). But for smaller values of n s , both ΛCDM and Cardassian models are equally favored. Also, irrespective of supernova constraints, CMB data alone predict the current acceleration of the Universe in this model. We have also studied the constraint on σ 8 , the rms density fluctuations at the 8h -1 Mpc scale

Culture models of human mammary epithelial cell transformation

Energy Technology Data Exchange (ETDEWEB)

Stampfer, Martha R.; Yaswen, Paul

2000-11-10

Human pre-malignant breast diseases, particularly ductal carcinoma in situ (DCIS)3 already display several of the aberrant phenotypes found in primary breast cancers, including chromosomal abnormalities, telomerase activity, inactivation of the p53 gene and overexpression of some oncogenes. Efforts to model early breast carcinogenesis in human cell cultures have largely involved studies in vitro transformation of normal finite lifespan human mammary epithelial cells (HMEC) to immortality and malignancy. We present a model of HMEC immortal transformation consistent with the know in vivo data. This model includes a recently described, presumably epigenetic process, termed conversion, which occurs in cells that have overcome stringent replicative senescence and are thus able to maintain proliferation with critically short telomeres. The conversion process involves reactivation of telomerase activity, and acquisition of good uniform growth in the absence and presence of TFGB. We propose th at overcoming the proliferative constraints set by senescence, and undergoing conversion, represent key rate-limiting steps in human breast carcinogenesis, and occur during early stage breast cancer progression.

Symmetries of integrable hierarchies and matrix model constraints

International Nuclear Information System (INIS)

Vos, K. de

1992-01-01

The orbit construction associates a soliton hierarchy to every level-one vertex realization of a simply laced affine Kac-Moody algebra g. We show that the τ-function of such a hierarchy has the (truncated) Virasoro algebra as an algebra of infinitesimal symmetry transformations. To prove this we use an appropriate bilinear form of these hierarchies together with the coset construction of conformal field theory. For A 1 (1) the orbit construction gives either the Toda or the KdV hierarchy. These both occur in the one-matrix model of two-dimensional quantum gravity, before and after the double scaling limit respectively. The truncated Virasoro symmetry algebra is exactly the algebra of constraints of the one-matrix model. The partition function of the one-matrix model is therefore an invariant τ-function. We also consider the case of A 1 (1) with l>1. Surprisingly, the symmetry algebra in that case is not simply a truncated Casimir algebra. It appears that again only the Virasoro symmetry survives. We speculate on the relation with multi-matrix models. (orig.)

q-Virasoro constraints in matrix models

Energy Technology Data Exchange (ETDEWEB)

Nedelin, Anton [Dipartimento di Fisica, Università di Milano-Bicocca and INFN, sezione di Milano-Bicocca, Piazza della Scienza 3, I-20126 Milano (Italy); Department of Physics and Astronomy, Uppsala university,Box 516, SE-75120 Uppsala (Sweden); Zabzine, Maxim [Department of Physics and Astronomy, Uppsala university,Box 516, SE-75120 Uppsala (Sweden)

2017-03-20

The Virasoro constraints play the important role in the study of matrix models and in understanding of the relation between matrix models and CFTs. Recently the localization calculations in supersymmetric gauge theories produced new families of matrix models and we have very limited knowledge about these matrix models. We concentrate on elliptic generalization of hermitian matrix model which corresponds to calculation of partition function on S{sup 3}×S{sup 1} for vector multiplet. We derive the q-Virasoro constraints for this matrix model. We also observe some interesting algebraic properties of the q-Virasoro algebra.

On phase transformation models for thermo-mechanically coupled response of Nitinol

KAUST Repository

Sengupta, Arkaprabha

2011-03-31

Fully coupled thermomechanical models for Nitinol at the grain level are developed in this work to capture the inter-dependence between deformation and temperature under non-isothermal conditions. The martensite transformation equations are solved using a novel algorithm which imposes all relevant constraints on the volume fractions. The numerical implementation of the resulting models within the finite element method is effected by the monolithic solution of the momentum and energy equations. Validation of the models is achieved by means of thin-tube experiments at different strain rates. © 2011 Springer-Verlag.

New Results on Robust Model Predictive Control for Time-Delay Systems with Input Constraints

Directory of Open Access Journals (Sweden)

Qing Lu

2014-01-01

Full Text Available This paper investigates the problem of model predictive control for a class of nonlinear systems subject to state delays and input constraints. The time-varying delay is considered with both upper and lower bounds. A new model is proposed to approximate the delay. And the uncertainty is polytopic type. For the state-feedback MPC design objective, we formulate an optimization problem. Under model transformation, a new model predictive controller is designed such that the robust asymptotical stability of the closed-loop system can be guaranteed. Finally, the applicability of the presented results are demonstrated by a practical example.

Solar system constraints on disformal gravity theories

International Nuclear Information System (INIS)

Ip, Hiu Yan; Schmidt, Fabian; Sakstein, Jeremy

2015-01-01

Disformal theories of gravity are scalar-tensor theories where the scalar couples derivatively to matter via the Jordan frame metric. These models have recently attracted interest in the cosmological context since they admit accelerating solutions. We derive the solution for a static isolated mass in generic disformal gravity theories and transform it into the parameterised post-Newtonian form. This allows us to investigate constraints placed on such theories by local tests of gravity. The tightest constraints come from preferred-frame effects due to the motion of the Solar System with respect to the evolving cosmological background field. The constraints we obtain improve upon the previous solar system constraints by two orders of magnitude, and constrain the scale of the disformal coupling for generic models to ℳ ∼> 100 eV. These constraints render all disformal effects irrelevant for cosmology

Wavelet transform-vector quantization compression of supercomputer ocean model simulation output

Energy Technology Data Exchange (ETDEWEB)

Bradley, J N; Brislawn, C M

1992-11-12

We describe a new procedure for efficient compression of digital information for storage and transmission purposes. The algorithm involves a discrete wavelet transform subband decomposition of the data set, followed by vector quantization of the wavelet transform coefficients using application-specific vector quantizers. The new vector quantizer design procedure optimizes the assignment of both memory resources and vector dimensions to the transform subbands by minimizing an exponential rate-distortion functional subject to constraints on both overall bit-rate and encoder complexity. The wavelet-vector quantization method, which originates in digital image compression. is applicable to the compression of other multidimensional data sets possessing some degree of smoothness. In this paper we discuss the use of this technique for compressing the output of supercomputer simulations of global climate models. The data presented here comes from Semtner-Chervin global ocean models run at the National Center for Atmospheric Research and at the Los Alamos Advanced Computing Laboratory.

Infrared and Visible Image Fusion Based on Different Constraints in the Non-Subsampled Shearlet Transform Domain

Science.gov (United States)

Huang, Yan; Bi, Duyan; Wu, Dongpeng

2018-01-01

There are many artificial parameters when fuse infrared and visible images, to overcome the lack of detail in the fusion image because of the artifacts, a novel fusion algorithm for infrared and visible images that is based on different constraints in non-subsampled shearlet transform (NSST) domain is proposed. There are high bands and low bands of images that are decomposed by the NSST. After analyzing the characters of the bands, fusing the high level bands by the gradient constraint, the fused image can obtain more details; fusing the low bands by the constraint of saliency in the images, the targets are more salient. Before the inverse NSST, the Nash equilibrium is used to update the coefficient. The fused images and the quantitative results demonstrate that our method is more effective in reserving details and highlighting the targets when compared with other state-of-the-art methods. PMID:29641505

Block Pickard Models for Two-Dimensional Constraints

DEFF Research Database (Denmark)

Forchhammer, Søren; Justesen, Jørn

2009-01-01

In Pickard random fields (PRF), the probabilities of finite configurations and the entropy of the field can be calculated explicitly, but only very simple structures can be incorporated into such a field. Given two Markov chains describing a boundary, an algorithm is presented which determines...... for the domino tiling constraint represented by a quaternary alphabet. PRF models are also presented for higher order constraints, including the no isolated bits (n.i.b.) constraint, and a minimum distance 3 constraint by defining super symbols on blocks of binary symbols....

Constraint Lie algebra and local physical Hamiltonian for a generic 2D dilatonic model

International Nuclear Information System (INIS)

Corichi, Alejandro; Karami, Asieh; Rastgoo, Saeed; Vukašinac, Tatjana

2016-01-01

We consider a class of two-dimensional dilatonic models, and revisit them from the perspective of a new set of ‘polar type’ variables. These are motivated by recently defined variables within the spherically symmetric sector of 4D general relativity. We show that for a large class of dilatonic models, including the case with matter, one can perform a series of canonical transformations in such a way that the Poisson algebra of the constraints becomes a Lie algebra. Furthermore, we construct Dirac observables and a reduced Hamiltonian that accounts for the time evolution of the system. (paper)

Rate-independent dissipation in phase-field modelling of displacive transformations

Science.gov (United States)

Tůma, K.; Stupkiewicz, S.; Petryk, H.

2018-05-01

In this paper, rate-independent dissipation is introduced into the phase-field framework for modelling of displacive transformations, such as martensitic phase transformation and twinning. The finite-strain phase-field model developed recently by the present authors is here extended beyond the limitations of purely viscous dissipation. The variational formulation, in which the evolution problem is formulated as a constrained minimization problem for a global rate-potential, is enhanced by including a mixed-type dissipation potential that combines viscous and rate-independent contributions. Effective computational treatment of the resulting incremental problem of non-smooth optimization is developed by employing the augmented Lagrangian method. It is demonstrated that a single Lagrange multiplier field suffices to handle the dissipation potential vertex and simultaneously to enforce physical constraints on the order parameter. In this way, the initially non-smooth problem of evolution is converted into a smooth stationarity problem. The model is implemented in a finite-element code and applied to solve two- and three-dimensional boundary value problems representative for shape memory alloys.

Model Validation in Ontology Based Transformations

Directory of Open Access Journals (Sweden)

Jesús M. Almendros-Jiménez

2012-10-01

Full Text Available Model Driven Engineering (MDE is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM has been proposed as a profile for UML models of the Web Ontology Language (OWL. In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions to properties of the transformation (invariants. The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER to Relational Model (RM transformation.

Constraints based analysis of extended cybernetic models.

Science.gov (United States)

Mandli, Aravinda R; Venkatesh, Kareenhalli V; Modak, Jayant M

2015-11-01

The cybernetic modeling framework provides an interesting approach to model the regulatory phenomena occurring in microorganisms. In the present work, we adopt a constraints based approach to analyze the nonlinear behavior of the extended equations of the cybernetic model. We first show that the cybernetic model exhibits linear growth behavior under the constraint of no resource allocation for the induction of the key enzyme. We then quantify the maximum achievable specific growth rate of microorganisms on mixtures of substitutable substrates under various kinds of regulation and show its use in gaining an understanding of the regulatory strategies of microorganisms. Finally, we show that Saccharomyces cerevisiae exhibits suboptimal dynamic growth with a long diauxic lag phase when growing on a mixture of glucose and galactose and discuss on its potential to achieve optimal growth with a significantly reduced diauxic lag period. The analysis carried out in the present study illustrates the utility of adopting a constraints based approach to understand the dynamic growth strategies of microorganisms. Copyright © 2015 Elsevier Ireland Ltd. All rights reserved.

A mathematical framework for yield (vs. rate) optimization in constraint-based modeling and applications in metabolic engineering.

Science.gov (United States)

Klamt, Steffen; Müller, Stefan; Regensburger, Georg; Zanghellini, Jürgen

2018-02-07

The optimization of metabolic rates (as linear objective functions) represents the methodical core of flux-balance analysis techniques which have become a standard tool for the study of genome-scale metabolic models. Besides (growth and synthesis) rates, metabolic yields are key parameters for the characterization of biochemical transformation processes, especially in the context of biotechnological applications. However, yields are ratios of rates, and hence the optimization of yields (as nonlinear objective functions) under arbitrary linear constraints is not possible with current flux-balance analysis techniques. Despite the fundamental importance of yields in constraint-based modeling, a comprehensive mathematical framework for yield optimization is still missing. We present a mathematical theory that allows one to systematically compute and analyze yield-optimal solutions of metabolic models under arbitrary linear constraints. In particular, we formulate yield optimization as a linear-fractional program. For practical computations, we transform the linear-fractional yield optimization problem to a (higher-dimensional) linear problem. Its solutions determine the solutions of the original problem and can be used to predict yield-optimal flux distributions in genome-scale metabolic models. For the theoretical analysis, we consider the linear-fractional problem directly. Most importantly, we show that the yield-optimal solution set (like the rate-optimal solution set) is determined by (yield-optimal) elementary flux vectors of the underlying metabolic model. However, yield- and rate-optimal solutions may differ from each other, and hence optimal (biomass or product) yields are not necessarily obtained at solutions with optimal (growth or synthesis) rates. Moreover, we discuss phase planes/production envelopes and yield spaces, in particular, we prove that yield spaces are convex and provide algorithms for their computation. We illustrate our findings by a small

Hysteresis modeling based on saturation operator without constraints

International Nuclear Information System (INIS)

Park, Y.W.; Seok, Y.T.; Park, H.J.; Chung, J.Y.

2007-01-01

This paper proposes a simple way to model complex hysteresis in a magnetostrictive actuator by employing the saturation operators without constraints. Having no constraints causes a singularity problem, i.e. the inverse matrix cannot be obtained during calculating the weights. To overcome it, a pseudoinverse concept is introduced. Simulation results are compared with the experimental data, based on a Terfenol-D actuator. It is clear that the proposed model is much closer to the experimental data than the modified PI model. The relative error is calculated as 12% and less than 1% with the modified PI Model and proposed model, respectively

Characteristic Model-Based Robust Model Predictive Control for Hypersonic Vehicles with Constraints

Directory of Open Access Journals (Sweden)

Jun Zhang

2017-06-01

Full Text Available Designing robust control for hypersonic vehicles in reentry is difficult, due to the features of the vehicles including strong coupling, non-linearity, and multiple constraints. This paper proposed a characteristic model-based robust model predictive control (MPC for hypersonic vehicles with reentry constraints. First, the hypersonic vehicle is modeled by a characteristic model composed of a linear time-varying system and a lumped disturbance. Then, the identification data are regenerated by the accumulative sum idea in the gray theory, which weakens effects of the random noises and strengthens regularity of the identification data. Based on the regenerated data, the time-varying parameters and the disturbance are online estimated according to the gray identification. At last, the mixed H2/H∞ robust predictive control law is proposed based on linear matrix inequalities (LMIs and receding horizon optimization techniques. Using active tackling system constraints of MPC, the input and state constraints are satisfied in the closed-loop control system. The validity of the proposed control is verified theoretically according to Lyapunov theory and illustrated by simulation results.

Model-independent cosmological constraints from growth and expansion

Science.gov (United States)

L'Huillier, Benjamin; Shafieloo, Arman; Kim, Hyungjin

2018-05-01

Reconstructing the expansion history of the Universe from Type Ia supernovae data, we fit the growth rate measurements and put model-independent constraints on some key cosmological parameters, namely, Ωm, γ, and σ8. The constraints are consistent with those from the concordance model within the framework of general relativity, but the current quality of the data is not sufficient to rule out modified gravity models. Adding the condition that dark energy density should be positive at all redshifts, independently of its equation of state, further constrains the parameters and interestingly supports the concordance model.

Test-driven verification/validation of model transformations

Institute of Scientific and Technical Information of China (English)

László LENGYEL; Hassan CHARAF

2015-01-01

Why is it important to verify/validate model transformations? The motivation is to improve the quality of the trans-formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

Route constraints model based on polychromatic sets

Science.gov (United States)

Yin, Xianjun; Cai, Chao; Wang, Houjun; Li, Dongwu

2018-03-01

With the development of unmanned aerial vehicle (UAV) technology, the fields of its application are constantly expanding. The mission planning of UAV is especially important, and the planning result directly influences whether the UAV can accomplish the task. In order to make the results of mission planning for unmanned aerial vehicle more realistic, it is necessary to consider not only the physical properties of the aircraft, but also the constraints among the various equipment on the UAV. However, constraints among the equipment of UAV are complex, and the equipment has strong diversity and variability, which makes these constraints difficult to be described. In order to solve the above problem, this paper, referring to the polychromatic sets theory used in the advanced manufacturing field to describe complex systems, presents a mission constraint model of UAV based on polychromatic sets.

Water Constraints in an Electric Sector Capacity Expansion Model

Energy Technology Data Exchange (ETDEWEB)

Macknick, Jordan [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Cohen, Stuart [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Newmark, Robin [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Martinez, Andrew [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Sullivan, Patrick [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Tidwell, Vince [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2015-07-17

This analysis provides a description of the first U.S. national electricity capacity expansion model to incorporate water resource availability and costs as a constraint for the future development of the electricity sector. The Regional Energy Deployment System (ReEDS) model was modified to incorporate water resource availability constraints and costs in each of its 134 Balancing Area (BA) regions along with differences in costs and efficiencies of cooling systems. Water resource availability and cost data are from recently completed research at Sandia National Laboratories (Tidwell et al. 2013b). Scenarios analyzed include a business-as-usual 3 This report is available at no cost from the National Renewable Energy Laboratory (NREL) at www.nrel.gov/publications. scenario without water constraints as well as four scenarios that include water constraints and allow for different cooling systems and types of water resources to be utilized. This analysis provides insight into where water resource constraints could affect the choice, configuration, or location of new electricity technologies.

Smooth Solutions to Optimal Investment Models with Stochastic Volatilities and Portfolio Constraints

International Nuclear Information System (INIS)

Pham, H.

2002-01-01

This paper deals with an extension of Merton's optimal investment problem to a multidimensional model with stochastic volatility and portfolio constraints. The classical dynamic programming approach leads to a characterization of the value function as a viscosity solution of the highly nonlinear associated Bellman equation. A logarithmic transformation expresses the value function in terms of the solution to a semilinear parabolic equation with quadratic growth on the derivative term. Using a stochastic control representation and some approximations, we prove the existence of a smooth solution to this semilinear equation. An optimal portfolio is shown to exist, and is expressed in terms of the classical solution to this semilinear equation. This reduction is useful for studying numerical schemes for both the value function and the optimal portfolio. We illustrate our results with several examples of stochastic volatility models popular in the financial literature

The Dynamics of Oceanic Transform Faults: Constraints from Geophysical, Geochemical and Geodynamical Modeling

Science.gov (United States)

2008-06-01

77 3.1 Benchmark: Comparison to EPR 9°N...supply may play an even greater role in controlling the ridge morphology than spreading rate. This paradox remains one of the first-order problems in...NAZCA 10’s- 110*W Figure 1. Regional map of the equatorial EPR showing large transform and non- transform offsets. Segmentation geometry is included

Model-based control strategies for systems with constraints of the program type

Science.gov (United States)

Jarzębowska, Elżbieta

2006-08-01

The paper presents a model-based tracking control strategy for constrained mechanical systems. Constraints we consider can be material and non-material ones referred to as program constraints. The program constraint equations represent tasks put upon system motions and they can be differential equations of orders higher than one or two, and be non-integrable. The tracking control strategy relies upon two dynamic models: a reference model, which is a dynamic model of a system with arbitrary order differential constraints and a dynamic control model. The reference model serves as a motion planner, which generates inputs to the dynamic control model. It is based upon a generalized program motion equations (GPME) method. The method enables to combine material and program constraints and merge them both into the motion equations. Lagrange's equations with multipliers are the peculiar case of the GPME, since they can be applied to systems with constraints of first orders. Our tracking strategy referred to as a model reference program motion tracking control strategy enables tracking of any program motion predefined by the program constraints. It extends the "trajectory tracking" to the "program motion tracking". We also demonstrate that our tracking strategy can be extended to a hybrid program motion/force tracking.

A Three-Box Model of Thermohaline Circulation under the Energy Constraint

International Nuclear Information System (INIS)

Shen Yang; Guan Yu-Ping; Liang Chu-Jin; Chen Da-Ke

2011-01-01

The driving mechanism of thermohaline circulation is still a controversial topic in physical oceanography. Classic theory is based on Stommel's two-box model under buoyancy constraint. Recently, Guan and Huang proposed a new viewpoint in the framework of energy constraint with a two-box model. We extend it to a three-box model, including the effect of wind-driven circulation. Using this simple model, we further study how ocean mixing impacts on thermohaline circulation under the energy constraint. (geophysics, astronomy, and astrophysics)

INFORMATION MODEL OF SOCIAL TRANSFORMATIONS

Directory of Open Access Journals (Sweden)

Мария Васильевна Комова

2013-09-01

Full Text Available The social transformation is considered as a process of qualitative changes of the society, creating a new level of organization in all areas of life, in different social formations, societies of different types of development. The purpose of the study is to create a universal model for studying social transformations based on their understanding as the consequence of the information exchange processes in the society. After defining the conceptual model of the study, the author uses the following methods: the descriptive method, analysis, synthesis, comparison.Information, objectively existing in all elements and systems of the material world, is an integral attribute of the society transformation as well. The information model of social transformations is based on the definition of the society transformation as the change in the information that functions in the society’s information space. The study of social transformations is the study of information flows circulating in the society and being characterized by different spatial, temporal, and structural states. Social transformations are a highly integrated system of social processes and phenomena, the nature, course and consequences of which are affected by the factors representing the whole complex of material objects. The integrated information model of social transformations foresees the interaction of the following components: social memory, information space, and the social ideal. To determine the dynamics and intensity of social transformations the author uses the notions of "information threshold of social transformations" and "information pressure".Thus, the universal nature of information leads to considering social transformations as a system of information exchange processes. Social transformations can be extended to any episteme actualized by social needs. The establishment of an information threshold allows to simulate the course of social development, to predict the

About the choice of Gibbs' potential for modelling of FCC ↔ HCP transformation in FeMnSi-based shape memory alloys

Science.gov (United States)

Evard, Margarita E.; Volkov, Aleksandr E.; Belyaev, Fedor S.; Ignatova, Anna D.

2018-05-01

The choice of Gibbs' potential for microstructural modeling of FCC ↔ HCP martensitic transformation in FeMn-based shape memory alloys is discussed. Threefold symmetry of the HCP phase is taken into account on specifying internal variables characterizing volume fractions of martensite variants. Constraints imposed on model constants by thermodynamic equilibrium conditions are formulated.

Model-free prediction and regression a transformation-based approach to inference

CERN Document Server

Politis, Dimitris N

2015-01-01

The Model-Free Prediction Principle expounded upon in this monograph is based on the simple notion of transforming a complex dataset to one that is easier to work with, e.g., i.i.d. or Gaussian. As such, it restores the emphasis on observable quantities, i.e., current and future data, as opposed to unobservable model parameters and estimates thereof, and yields optimal predictors in diverse settings such as regression and time series. Furthermore, the Model-Free Bootstrap takes us beyond point prediction in order to construct frequentist prediction intervals without resort to unrealistic assumptions such as normality. Prediction has been traditionally approached via a model-based paradigm, i.e., (a) fit a model to the data at hand, and (b) use the fitted model to extrapolate/predict future data. Due to both mathematical and computational constraints, 20th century statistical practice focused mostly on parametric models. Fortunately, with the advent of widely accessible powerful computing in the late 1970s, co...

A constraints-induced model of park choice

NARCIS (Netherlands)

Stemerding, M.P.; Oppewal, H.; Timmermans, H.J.P.

1999-01-01

Conjoint choice models have been used widely in the consumer-choice literature as an approach to measure and predict consumer-choice behavior. These models typically assume that consumer preferences and choice rules are independent from any constraints that might impact the behavior of interest.

Transactive-Market-Based Operation of Distributed Electrical Energy Storage with Grid Constraints

Directory of Open Access Journals (Sweden)

M. Nazif Faqiry

2017-11-01

Full Text Available In a transactive energy market, distributed energy resources (DERs such as dispatchable distributed generators (DGs, electrical energy storages (EESs, distribution-scale load aggregators (LAs, and renewable energy sources (RESs have to earn their share of supply or demand through a bidding process. In such a market, the distribution system operator (DSO may optimally schedule these resources, first in a forward market, i.e., day-ahead, and in a real-time market later on, while maintaining a reliable and economic distribution grid. In this paper, an efficient day-ahead scheduling of these resources, in the presence of interaction with wholesale market at the locational marginal price (LMP, is studied. Due to inclusion of EES units with integer constraints, a detailed mixed integer linear programming (MILP formulation that incorporates simplified DistFlow equations to account for grid constraints is proposed. Convex quadratic line and transformer apparent power flow constraints have been linearized using an outer approximation. The proposed model schedules DERs based on distribution locational marginal price (DLMP, which is obtained as the Lagrange multiplier of the real power balance constraint at each distribution bus while maintaining physical grid constraints such as line limits, transformer limits, and bus voltage magnitudes. Case studies are performed on a modified IEEE 13-bus system with high DER penetration. Simulation results show the validity and efficiency of the proposed model.

An Efficient Constraint Boundary Sampling Method for Sequential RBDO Using Kriging Surrogate Model

Energy Technology Data Exchange (ETDEWEB)

Kim, Jihoon; Jang, Junyong; Kim, Shinyu; Lee, Tae Hee [Hanyang Univ., Seoul (Korea, Republic of); Cho, Sugil; Kim, Hyung Woo; Hong, Sup [Korea Research Institute of Ships and Ocean Engineering, Busan (Korea, Republic of)

2016-06-15

Reliability-based design optimization (RBDO) requires a high computational cost owing to its reliability analysis. A surrogate model is introduced to reduce the computational cost in RBDO. The accuracy of the reliability depends on the accuracy of the surrogate model of constraint boundaries in the surrogated-model-based RBDO. In earlier researches, constraint boundary sampling (CBS) was proposed to approximate accurately the boundaries of constraints by locating sample points on the boundaries of constraints. However, because CBS uses sample points on all constraint boundaries, it creates superfluous sample points. In this paper, efficient constraint boundary sampling (ECBS) is proposed to enhance the efficiency of CBS. ECBS uses the statistical information of a kriging surrogate model to locate sample points on or near the RBDO solution. The efficiency of ECBS is verified by mathematical examples.

Variable-coefficient higher-order nonlinear Schroedinger model in optical fibers: Variable-coefficient bilinear form, Baecklund transformation, brightons and symbolic computation

International Nuclear Information System (INIS)

Tian Bo; Gao Yitian; Zhu Hongwu

2007-01-01

Symbolically investigated in this Letter is a variable-coefficient higher-order nonlinear Schroedinger (vcHNLS) model for ultrafast signal-routing, fiber laser systems and optical communication systems with distributed dispersion and nonlinearity management. Of physical and optical interests, with bilinear method extend, the vcHNLS model is transformed into a variable-coefficient bilinear form, and then an auto-Baecklund transformation is constructed. Constraints on coefficient functions are analyzed. Potentially observable with future optical-fiber experiments, variable-coefficient brightons are illustrated. Relevant properties and features are discussed as well. Baecklund transformation and other results of this Letter will be of certain value to the studies on inhomogeneous fiber media, core of dispersion-managed brightons, fiber amplifiers, laser systems and optical communication links with distributed dispersion and nonlinearity management

Including Overweight or Obese Students in Physical Education: A Social Ecological Constraint Model

Science.gov (United States)

Li, Weidong; Rukavina, Paul

2012-01-01

In this review, we propose a social ecological constraint model to study inclusion of overweight or obese students in physical education by integrating key concepts and assumptions from ecological constraint theory in motor development and social ecological models in health promotion and behavior. The social ecological constraint model proposes…

Estimating kinetic mechanisms with prior knowledge I: Linear parameter constraints.

Science.gov (United States)

Salari, Autoosa; Navarro, Marco A; Milescu, Mirela; Milescu, Lorin S

2018-02-05

To understand how ion channels and other proteins function at the molecular and cellular levels, one must decrypt their kinetic mechanisms. Sophisticated algorithms have been developed that can be used to extract kinetic parameters from a variety of experimental data types. However, formulating models that not only explain new data, but are also consistent with existing knowledge, remains a challenge. Here, we present a two-part study describing a mathematical and computational formalism that can be used to enforce prior knowledge into the model using constraints. In this first part, we focus on constraints that enforce explicit linear relationships involving rate constants or other model parameters. We develop a simple, linear algebra-based transformation that can be applied to enforce many types of model properties and assumptions, such as microscopic reversibility, allosteric gating, and equality and inequality parameter relationships. This transformation converts the set of linearly interdependent model parameters into a reduced set of independent parameters, which can be passed to an automated search engine for model optimization. In the companion article, we introduce a complementary method that can be used to enforce arbitrary parameter relationships and any constraints that quantify the behavior of the model under certain conditions. The procedures described in this study can, in principle, be coupled to any of the existing methods for solving molecular kinetics for ion channels or other proteins. These concepts can be used not only to enforce existing knowledge but also to formulate and test new hypotheses. © 2018 Salari et al.

Finding Deadlocks of Event-B Models by Constraint Solving

DEFF Research Database (Denmark)

Hallerstede, Stefan; Leuschel, Michael

we propose a constraint-based approach to nding deadlocks employing the ProB constraint solver to nd values for the constants and variables of formal models that describe a deadlocking state. We discuss the principles of the technique implemented in ProB's Prolog kernel and present some results...

Graph and model transformation tools for model migration : empirical results from the transformation tool contest

NARCIS (Netherlands)

Rose, L.M.; Herrmannsdoerfer, M.; Mazanek, S.; Van Gorp, P.M.E.; Buchwald, S.; Horn, T.; Kalnina, E.; Koch, A.; Lano, K.; Schätz, B.; Wimmer, M.

2014-01-01

We describe the results of the Transformation Tool Contest 2010 workshop, in which nine graph and model transformation tools were compared for specifying model migration. The model migration problem—migration of UML activity diagrams from version 1.4 to version 2.2—is non-trivial and practically

Physical constraints on models of gamma-ray bursters

International Nuclear Information System (INIS)

Epstein, R.I.

1985-01-01

This report deals with the constraints that can be placed on models of gamma-ray burst sources based on only the well-established observational facts and physical principles. The premise is developed that the very hard x-ray and gamma-ray continua spectra are well-established aspects of gamma-ray bursts. Recent theoretical work on gamma-ray bursts are summarized with emphasis on the geometrical properties of the models. Constraints on the source models which are implied by the x-ray and gamma-ray spectra are described. The allowed ranges for the luminosity and characteristic dimension for gamma-ray burst sources are shown. Some of the deductions and inferences about the nature of the gamma-ray burst sources are summarized. 67 refs., 3 figs

Quantum decoration transformation for spin models

Energy Technology Data Exchange (ETDEWEB)

Braz, F.F.; Rodrigues, F.C.; Souza, S.M. de; Rojas, Onofre, E-mail: ors@dfi.ufla.br

2016-09-15

It is quite relevant the extension of decoration transformation for quantum spin models since most of the real materials could be well described by Heisenberg type models. Here we propose an exact quantum decoration transformation and also showing interesting properties such as the persistence of symmetry and the symmetry breaking during this transformation. Although the proposed transformation, in principle, cannot be used to map exactly a quantum spin lattice model into another quantum spin lattice model, since the operators are non-commutative. However, it is possible the mapping in the “classical” limit, establishing an equivalence between both quantum spin lattice models. To study the validity of this approach for quantum spin lattice model, we use the Zassenhaus formula, and we verify how the correction could influence the decoration transformation. But this correction could be useless to improve the quantum decoration transformation because it involves the second-nearest-neighbor and further nearest neighbor couplings, which leads into a cumbersome task to establish the equivalence between both lattice models. This correction also gives us valuable information about its contribution, for most of the Heisenberg type models, this correction could be irrelevant at least up to the third order term of Zassenhaus formula. This transformation is applied to a finite size Heisenberg chain, comparing with the exact numerical results, our result is consistent for weak xy-anisotropy coupling. We also apply to bond-alternating Ising–Heisenberg chain model, obtaining an accurate result in the limit of the quasi-Ising chain.

Quantum decoration transformation for spin models

International Nuclear Information System (INIS)

Braz, F.F.; Rodrigues, F.C.; Souza, S.M. de; Rojas, Onofre

2016-01-01

It is quite relevant the extension of decoration transformation for quantum spin models since most of the real materials could be well described by Heisenberg type models. Here we propose an exact quantum decoration transformation and also showing interesting properties such as the persistence of symmetry and the symmetry breaking during this transformation. Although the proposed transformation, in principle, cannot be used to map exactly a quantum spin lattice model into another quantum spin lattice model, since the operators are non-commutative. However, it is possible the mapping in the “classical” limit, establishing an equivalence between both quantum spin lattice models. To study the validity of this approach for quantum spin lattice model, we use the Zassenhaus formula, and we verify how the correction could influence the decoration transformation. But this correction could be useless to improve the quantum decoration transformation because it involves the second-nearest-neighbor and further nearest neighbor couplings, which leads into a cumbersome task to establish the equivalence between both lattice models. This correction also gives us valuable information about its contribution, for most of the Heisenberg type models, this correction could be irrelevant at least up to the third order term of Zassenhaus formula. This transformation is applied to a finite size Heisenberg chain, comparing with the exact numerical results, our result is consistent for weak xy-anisotropy coupling. We also apply to bond-alternating Ising–Heisenberg chain model, obtaining an accurate result in the limit of the quasi-Ising chain.

Consistency maintenance for constraint in role-based access control model

Institute of Scientific and Technical Information of China (English)

韩伟力; 陈刚; 尹建伟; 董金祥

2002-01-01

Constraint is an important aspect of role-based access control and is sometimes argued to be the principal motivation for role-based access control (RBAC). But so far few authors have discussed consistency maintenance for constraint in RBAC model. Based on researches of constraints among roles and types of inconsistency among constraints, this paper introduces corresponding formal rules, rule-based reasoning and corresponding methods to detect, avoid and resolve these inconsistencies. Finally, the paper introduces briefly the application of consistency maintenance in ZD-PDM, an enterprise-oriented product data management (PDM) system.

Consistency maintenance for constraint in role-based access control model

Institute of Scientific and Technical Information of China (English)

韩伟力; 陈刚; 尹建伟; 董金祥

2002-01-01

Constraint is an important aspect of role-based access control and is sometimes argued to be the principal motivation for role-based access control (RBAC). But so far'few authors have discussed consistency maintenance for constraint in RBAC model. Based on researches of constraints among roles and types of inconsistency among constraints, this paper introduces correaponding formal rules, rulebased reasoning and corresponding methods to detect, avoid and resolve these inconsistencies. Finally,the paper introduces briefly the application of consistency maintenance in ZD-PDM, an enterprise-ori-ented product data management (PDM) system.

Transformation of UML models to CSP : a case study for graph transformation tools

NARCIS (Netherlands)

Varró, D.; Asztalos, M.; Bisztray, D.; Boronat, A.; Dang, D.; Geiß, R.; Greenyer, J.; Van Gorp, P.M.E.; Kniemeyer, O.; Narayanan, A.; Rencis, E.; Weinell, E.; Schürr, A.; Nagl, M.; Zündorf, A.

2008-01-01

Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of

New Constraints on the running-mass inflation model

OpenAIRE

Covi, Laura; Lyth, David H.; Melchiorri, Alessandro

2002-01-01

We evaluate new observational constraints on the two-parameter scale-dependent spectral index predicted by the running-mass inflation model by combining the latest Cosmic Microwave Background (CMB) anisotropy measurements with the recent 2dFGRS data on the matter power spectrum, with Lyman $\\alpha $ forest data and finally with theoretical constraints on the reionization redshift. We find that present data still allow significant scale-dependence of $n$, which occurs in a physically reasonabl...

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

Directory of Open Access Journals (Sweden)

Salvador Lucas

2015-12-01

Full Text Available Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerful framework to represent declarative programs. It also provides a target logic to obtain models for other logics via transformations. We investigate the automatic generation of numerical models for order-sorted first-order logics and its use in program analysis, in particular in termination analysis of declarative programs. We use convex domains to give domains to the different sorts of an order-sorted signature; we interpret the ranked symbols of sorted signatures by means of appropriately adapted convex matrix interpretations. Such numerical interpretations permit the use of existing algorithms and tools from linear algebra and arithmetic constraint solving to synthesize the models.

XMI2USE: A Tool for Transforming XMI to USE Specifications

Science.gov (United States)

Sun, Wuliang; Song, Eunjee; Grabow, Paul C.; Simmonds, Devon M.

The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to specify (i.e., "write") a model using its own textual language and does not allow one to import any model specification files created by other UML modeling tools. Hence, to make the best use of existing UML tools, we often create a model with OCL constraints using a modeling tool such as the IBM Rational Software Architect (RSA) and then use the USE tool for model validation. This approach, however, requires a manual transformation between the specifications of two different tool formats, which is error-prone and diminishes the benefit of automated model-level validations. In this paper, we describe our own implementation of a specification transformation engine that is based on the Model Driven Architecture (MDA) framework and currently supports automatic tool-level transformations from RSA to USE.

New constraints on the running-mass inflation model

International Nuclear Information System (INIS)

Covi, L.; Lyth, D.H.; Melchiorri, A.

2002-10-01

We evaluate new observational constraints on the two-parameter scale-dependent spectral index predicted by the running-mass inflation model by combining the latest cosmic microwave background (CMB) anisotropy measurements with the recent 2dFGRS data on the matter power spectrum, with Lyman α forest data and finally with theoretical constraints on the reionization redshift. We find that present data still allow significant scale-dependence of n, which occurs in a physically reasonable regime of parameter space. (orig.)

Model quality assessment using distance constraints from alignments

DEFF Research Database (Denmark)

Paluszewski, Martin; Karplus, Kevin

2008-01-01

that model which is closest to the true structure. In this article, we present a new approach for addressing the MQA problem. It is based on distance constraints extracted from alignments to templates of known structure, and is implemented in the Undertaker program for protein structure prediction. One novel...... feature is that we extract noncontact constraints as well as contact constraints. We describe how the distance constraint extraction is done and we show how they can be used to address the MQA problem. We have compared our method on CASP7 targets and the results show that our method is at least comparable...... with the best MQA methods that were assessed at CASP7. We also propose a new evaluation measure, Kendall's tau, that is more interpretable than conventional measures used for evaluating MQA methods (Pearson's r and Spearman's rho). We show clear examples where Kendall's tau agrees much more with our intuition...

Assessment of realizability constraints in v2-f turbulence models

International Nuclear Information System (INIS)

Sveningsson, A.; Davidson, L.

2004-01-01

The use of the realizability constraint in v 2 -f turbulence models is assessed by computing a stator vane passage flow. In this flow the stagnation region is large and it is shown that the time scale bound suggested by [Int. J. Heat Fluid Flow 17 (1995) 89] is well suited to prevent unphysical growth of turbulence kinetic energy. However, this constraint causes numerical instabilities when used in the equation for the relaxation parameter, f. It is also shown that the standard use of the realizability constraint in the v 2 -f model is inconsistent and some modifications are suggested. These changes of the v 2 -f model are examined and shown to have negligible effect on the overall performance of the v 2 -f model. In this work two different versions of the v 2 -f model are investigated and the results obtained are compared with experimental data. The model on a form similar to that originally suggested by Durbin (e.g. [AIAA J. 33 (1995) 659]) produced the overall best agreement with stator vane heat transfer data

WAVELET TRANSFORM AND LIP MODEL

Directory of Open Access Journals (Sweden)

Guy Courbebaisse

2011-05-01

Full Text Available The Fourier transform is well suited to the study of stationary functions. Yet, it is superseded by the Wavelet transform for the powerful characterizations of function features such as singularities. On the other hand, the LIP (Logarithmic Image Processing model is a mathematical framework developed by Jourlin and Pinoli, dedicated to the representation and processing of gray tones images called hereafter logarithmic images. This mathematically well defined model, comprising a Fourier Transform "of its own", provides an effective tool for the representation of images obtained by transmitted light, such as microscope images. This paper presents a Wavelet transform within the LIP framework, with preservation of the classical Wavelet Transform properties. We show that the fast computation algorithm due to Mallat can be easily used. An application is given for the detection of crests.

SU(5)c color model constraints from UA2

International Nuclear Information System (INIS)

Foot, R.; Hernandez, O.F.; Rizzo, T.G.; Ames Lab., IA; Iowa State Univ. of Science and Technology, Ames

1991-01-01

We investigate the possibility that the color gauge group SU(3) may arise as a consequence of the spontaneous symmetry breaking of SU(5) c . In an earlier paper we examine the constraints imposed on the SU(5) c color model by recent measurements of the dijet mass distribution at CDF. We found that the CDF data did not exclude any region of parameter space in the model. Here we consider similar data from UA2 and find that it leads to the constraint Msub(Z') > or approx. 280 GeV. (orig.)

VMTL: a language for end-user model transformation

DEFF Research Database (Denmark)

Acretoaie, Vlad; Störrle, Harald; Strüber, Daniel

2016-01-01

, these languages are largely ill-equipped for adoption by end-user modelers in areas such as requirements engineering, business process management, or enterprise architecture. We aim to introduce a model transformation language addressing the skills and requirements of end-user modelers. With this contribution, we......Model transformation is a key enabling technology of Model-Driven Engineering (MDE). Existing model transformation languages are shaped by and for MDE practitioners—a user group with needs and capabilities which are not necessarily characteristic of modelers in general. Consequently...... hope to broaden the application scope of model transformation and MDE technology in general. We discuss the profile of end-user modelers and propose a set of design guidelines for model transformation languages addressing them. We then introduce Visual Model Transformation Language (VMTL) following...

Quasigroup of local-symmetry transformations in constrained theories

International Nuclear Information System (INIS)

Chitaya, N.P.; Gogilidze, S.A.; Surovtsev, Yu.S.

1996-01-01

In the framework of the generalized Hamiltonian formalism by Dirac, the local symmetries of dynamical systems with first- and second-class constraints are investigated in the general case without restrictions on the algebra of constraints. The method of constructing the generator of local-symmetry transformations is obtained from the requirement for them to map the solutions of the Hamiltonian equations of motion into the solutions of the same equations. It is proved that second-class constraints do not contribute to the transformation law of the local symmetry entirely stipulated by all the first-class constraints (only by them) of an equivalent set passing to which from the initial constraint set is always possible and is presented. A mechanism of occurrence of higher derivatives of coordinates and group parameters in the symmetry transformation law in the Noether second theorem is elucidated. In the latter case it is shown that the obtained transformations of symmetry are canonical in the extended (by Ostrogradsky) phase space. It is thereby shown in the general case that the degeneracy of theories with the first- and second-class constraints is due to their invariance under local-symmetry transformations. It is also shown in the general case that the action functional and the corresponding Hamiltonian equations of motion are invariant under the same quasigroup of local-symmetry transformations. 29 refs

Level Design as Model Transformation

NARCIS (Netherlands)

Dormans, Joris

2011-01-01

This paper frames the process of designing a level in a game as a series of model transformations. The transformations correspond to the application of particular design principles, such as the use of locks and keys to transform a linear mission into a branching space. It shows that by using rewrite

Iterated non-linear model predictive control based on tubes and contractive constraints.

Science.gov (United States)

Murillo, M; Sánchez, G; Giovanini, L

2016-05-01

This paper presents a predictive control algorithm for non-linear systems based on successive linearizations of the non-linear dynamic around a given trajectory. A linear time varying model is obtained and the non-convex constrained optimization problem is transformed into a sequence of locally convex ones. The robustness of the proposed algorithm is addressed adding a convex contractive constraint. To account for linearization errors and to obtain more accurate results an inner iteration loop is added to the algorithm. A simple methodology to obtain an outer bounding-tube for state trajectories is also presented. The convergence of the iterative process and the stability of the closed-loop system are analyzed. The simulation results show the effectiveness of the proposed algorithm in controlling a quadcopter type unmanned aerial vehicle. Copyright © 2016 ISA. Published by Elsevier Ltd. All rights reserved.

Modelling the pulse transformer in SPICE

International Nuclear Information System (INIS)

Godlewska, Malgorzata; Górecki, Krzysztof; Górski, Krzysztof

2016-01-01

The paper is devoted to modelling pulse transformers in SPICE. It shows the character of the selected models of this element, points out their advantages and disadvantages, and presents the results of experimental verification of the considered models. These models are characterized by varying degrees of complexity - from linearly coupled linear coils to nonlinear electrothermal models. The study was conducted for transformer with ring cores made of a variety of ferromagnetic materials, while exciting the sinusoidal signal of a frequency 100 kHz and different values of load resistance. The transformers operating conditions under which the considered models ensure the acceptable accuracy of calculations are indicated

Modeling Mathematical Programs with Equilibrium Constraints in Pyomo

Energy Technology Data Exchange (ETDEWEB)

Hart, William E. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Siirola, John Daniel [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2015-07-01

We describe new capabilities for modeling MPEC problems within the Pyomo modeling software. These capabilities include new modeling components that represent complementar- ity conditions, modeling transformations for re-expressing models with complementarity con- ditions in other forms, and meta-solvers that apply transformations and numeric optimization solvers to optimize MPEC problems. We illustrate the breadth of Pyomo's modeling capabil- ities for MPEC problems, and we describe how Pyomo's meta-solvers can perform local and global optimization of MPEC problems.

Feed Forward Neural Network and Optimal Control Problem with Control and State Constraints

Science.gov (United States)

Kmet', Tibor; Kmet'ová, Mária

2009-09-01

A feed forward neural network based optimal control synthesis is presented for solving optimal control problems with control and state constraints. The paper extends adaptive critic neural network architecture proposed by [5] to the optimal control problems with control and state constraints. The optimal control problem is transcribed into a nonlinear programming problem which is implemented with adaptive critic neural network. The proposed simulation method is illustrated by the optimal control problem of nitrogen transformation cycle model. Results show that adaptive critic based systematic approach holds promise for obtaining the optimal control with control and state constraints.

Constraints and entropy in a model of network evolution

Science.gov (United States)

Tee, Philip; Wakeman, Ian; Parisis, George; Dawes, Jonathan; Kiss, István Z.

2017-11-01

Barabási-Albert's "Scale Free" model is the starting point for much of the accepted theory of the evolution of real world communication networks. Careful comparison of the theory with a wide range of real world networks, however, indicates that the model is in some cases, only a rough approximation to the dynamical evolution of real networks. In particular, the exponent γ of the power law distribution of degree is predicted by the model to be exactly 3, whereas in a number of real world networks it has values between 1.2 and 2.9. In addition, the degree distributions of real networks exhibit cut offs at high node degree, which indicates the existence of maximal node degrees for these networks. In this paper we propose a simple extension to the "Scale Free" model, which offers better agreement with the experimental data. This improvement is satisfying, but the model still does not explain why the attachment probabilities should favor high degree nodes, or indeed how constraints arrive in non-physical networks. Using recent advances in the analysis of the entropy of graphs at the node level we propose a first principles derivation for the "Scale Free" and "constraints" model from thermodynamic principles, and demonstrate that both preferential attachment and constraints could arise as a natural consequence of the second law of thermodynamics.

Model independent Z' constraints at future e+e- colliders

International Nuclear Information System (INIS)

Leike, A.

1993-11-01

Model independent constraints on the mass of extra neutral gauge bosons and their couplings to charged leptons are given for LEP II and a 500 GeV e + e - collider. Analytical exclusion limits are derived in the Born approximation. The Z' limits obtained with radiative corrections are always worse than those calculated at the Born level. Polarized beams are only useful for degrees of polarization essentially larger than 50%. Known discovery limits on extra Z bosons predicted by popular Z' models are reproduced as special cases. The Z' constraints are compared to those predicted by four fermion contact interactions. (orig.)

Observational Constraints for Modeling Diffuse Molecular Clouds

Science.gov (United States)

Federman, S. R.

2014-02-01

Ground-based and space-borne observations of diffuse molecular clouds suggest a number of areas where further improvements to modeling efforts is warranted. I will highlight those that have the widest applicability. The range in CO fractionation caused by selective isotope photodissociation, in particular the large 12C16O/13C16O ratios observed toward stars in Ophiuchus, is not reproduced well by current models. Our ongoing laboratory measurements of oscillator strengths and predissociation rates for Rydberg transitions in CO isotopologues may help clarify the situtation. The CH+ abundance continues to draw attention. Small scale structure seen toward ζ Per may provide additional constraints on the possible synthesis routes. The connection between results from optical transitions and those from radio and sub-millimeter wave transitions requires further effort. A study of OH+ and OH toward background stars reveals that these species favor different environments. This brings to focus the need to model each cloud along the line of sight separately, and to allow the physical conditions to vary within an individual cloud, in order to gain further insight into the chemistry. Now that an extensive set of data on molecular excitation is available, the models should seek to reproduce these data to place further constraints on the modeling results.

A Planar Quasi-Static Constraint Mode Tire Model

Science.gov (United States)

2015-07-10

strikes a balance between simple tire models that lack the fidelity to make accurate chassis load predictions and computationally intensive models that...strikes a balance between heuristic tire models (such as a linear point-follower) that lack the fidelity to make accurate chassis load predictions...UNCLASSIFIED: Distribution Statement A. Cleared for public release A PLANAR QUASI-STATIC CONSTRAINT MODE TIRE MODEL Rui Maa John B. Ferris

Quantization of 2 + 1-spinning particles and bifermionic constraint problem

Energy Technology Data Exchange (ETDEWEB)

Fresneda, R.; Gavrilov, S.P.; Gitman, D.M.; Moshin, P.Yu. [Sao Paulo Univ., SP (Brazil). Inst. de Fisica

2004-07-01

In this paper, we have quantized a P- and T-noninvariant pseudoclassical model of a massive relativistic spin-1=2 particle in 2 + 1 dimensions, on the background of an arbitrary U(1) gauge vector field. A peculiar feature of the model at the classical level is that it contains a bifermionic first-class constraint, which does not admit gauge-fixing. It is shown that this first-class constraint can be realized at the quantum level as a bounded operator, which is imposed as a condition on the state vectors (by analogy with the Dirac quantization method). This allows us to generalize the quantization scheme [?] in case there is a bifermionic first-class constraint.We present a detailed construction of the Hilbert space and verify that the constructed QM possesses the necessary symmetry properties. We show that the condition of preservation of the classical symmetries under the restricted Lorentz transformations and the U(1) transformations allows one to realize the operator algebra in an unambiguous way. Within the constructed relativistic QM, we select a physical subspace which describes the one-particle sector. The physical sector of the QM contains both particles and antiparticles with positive energy hat {omega} levels, and exactly reproduces the one-particle sector of the quantum theory of the 2 + 1 spinor field. (author)

Transforming Graphical System Models to Graphical Attack Models

DEFF Research Database (Denmark)

Ivanova, Marieta Georgieva; Probst, Christian W.; Hansen, Rene Rydhof

2016-01-01

Manually identifying possible attacks on an organisation is a complex undertaking; many different factors must be considered, and the resulting attack scenarios can be complex and hard to maintain as the organisation changes. System models provide a systematic representation of organisations...... approach to transforming graphical system models to graphical attack models in the form of attack trees. Based on an asset in the model, our transformations result in an attack tree that represents attacks by all possible actors in the model, after which the actor in question has obtained the asset....

Variational data assimilation schemes for transport and transformation models of atmospheric chemistry

Science.gov (United States)

Penenko, Alexey; Penenko, Vladimir; Tsvetova, Elena; Antokhin, Pavel

2016-04-01

The work is devoted to data assimilation algorithm for atmospheric chemistry transport and transformation models. In the work a control function is introduced into the model source term (emission rate) to provide flexibility to adjust to data. This function is evaluated as the constrained minimum of the target functional combining a control function norm with a norm of the misfit between measured data and its model-simulated analog. Transport and transformation processes model is acting as a constraint. The constrained minimization problem is solved with Euler-Lagrange variational principle [1] which allows reducing it to a system of direct, adjoint and control function estimate relations. This provides a physically-plausible structure of the resulting analysis without model error covariance matrices that are sought within conventional approaches to data assimilation. High dimensionality of the atmospheric chemistry models and a real-time mode of operation demand for computational efficiency of the data assimilation algorithms. Computational issues with complicated models can be solved by using a splitting technique. Within this approach a complex model is split to a set of relatively independent simpler models equipped with a coupling procedure. In a fine-grained approach data assimilation is carried out quasi-independently on the separate splitting stages with shared measurement data [2]. In integrated schemes data assimilation is carried out with respect to the split model as a whole. We compare the two approaches both theoretically and numerically. Data assimilation on the transport stage is carried out with a direct algorithm without iterations. Different algorithms to assimilate data on nonlinear transformation stage are compared. In the work we compare data assimilation results for both artificial and real measurement data. With these data we study the impact of transformation processes and data assimilation to the performance of the modeling system [3]. The

Cosmological constraints on radion evolution in the universal extra dimension model

International Nuclear Information System (INIS)

Chan, K. C.; Chu, M.-C.

2008-01-01

The constraints on the radion evolution in the universal extra dimension (UED) model from cosmic microwave background (CMB) and Type Ia supernovae (SNe Ia) data are studied. In the UED model, where both the gravity and standard model fields can propagate in the extra dimensions, the evolution of the extra-dimensional volume, the radion, induces variation of fundamental constants. We discuss the effects of variation of the relevant constants in the context of UED for the CMB power spectrum and SNe Ia data. We then use the three-year WMAP data to constrain the radion evolution at z∼1100, and the 2σ constraint on ρ/ρ 0 (ρ is a function of the radion, to be defined in the text) is [-8.8,6.6]x10 -13 yr -1 . The SNe Ia gold sample yields a constraint on ρ/ρ 0 , for redshift between 0 and 1, to be [-4.7,14]x10 -13 yr -1 . Furthermore, the constraints from SNe Ia can be interpreted as bounds on the evolution QCD scale parameter, Λ QCD /Λ QCD,0 , [-1.4,2.8]x10 -11 yr -1 , without reference to the UED model.

Strongest experimental constraints on SU(5)×U(1) supergravity models

Science.gov (United States)

Lopez, Jorge L.; Nanopoulos, D. V.; Park, Gye T.; Zichichi, A.

1994-01-01

We consider a class of well-motivated string-inspired flipped SU(5) supergravity models which include four supersymmetry-breaking scenarios: no-scale, strict no-scale, dilaton, and special dilaton, such that only three parameters are needed to describe all new phenomena (mt,tanβ,mg~). We show that the CERN LEP precise measurements of the electroweak parameters in the form of the ɛ1 variable and the CLEO II allowed range for B(b-->sγ) are at present the most important experimental constraints on this class of models. For mt>~155 (165) GeV, the ɛ1 constraint [at 90 (95)% C.L.] requires the presence of light charginos (m+/-χ1360 GeV, mq~sγ) constraint excludes a significant fraction of the otherwise allowed region in the (m+/-χ1,tanβ) plane (irrespective of the magnitude of the chargino mass), while future experimental improvements will result in decisive tests of these models. In light of the ɛ1 constraint, we conclude that the outlook for chargino and selectron detection at LEP II and at DESY HERA is quite favorable in this class of models.

Constraint Differentiation

DEFF Research Database (Denmark)

Mödersheim, Sebastian Alexander; Basin, David; Viganò, Luca

2010-01-01

We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation works by eliminating certain kinds of redundancies that arise in the search space when using constraints to represent...... results show that constraint differentiation substantially reduces search and considerably improves the performance of OFMC, enabling its application to a wider class of problems....

Modeling Network Transition Constraints with Hypergraphs

DEFF Research Database (Denmark)

Harrod, Steven

2011-01-01

Discrete time dynamic graphs are frequently used to model multicommodity flows or activity paths through constrained resources, but simple graphs fail to capture the interaction effects of resource transitions. The resulting schedules are not operationally feasible, and return inflated objective...... values. A directed hypergraph formulation is derived to address railway network sequencing constraints, and an experimental problem sample solved to estimate the magnitude of objective inflation when interaction effects are ignored. The model is used to demonstrate the value of advance scheduling...... of train paths on a busy North American railway....

Query by Constraint Propagation in the Concept-Oriented Data Model

Directory of Open Access Journals (Sweden)

Alexandr Savinov

2006-09-01

Full Text Available The paper describes an approach to query processing in the concept-oriented data model. This approach is based on imposing constraints and specifying the result type. The constraints are then automatically propagated over the model and the result contains all related data items. The simplest constraint propagation strategy consists of two steps: propagating down to the most specific level using de-projection and propagating up to the target concept using projection. A more complex strategy described in the paper may consist of many de-projection/projection steps passing through some intermediate concepts. An advantage of the described query mechanism is that it does not need any join conditions because it uses the structure of the model for propagation. Moreover, this mechanism does not require specifying an access path using dimension names. Thus even rather complex queries can be expressed in simple and natural form because they are expressed by specifying what information is available and what related data we want to get.

A joint-constraint model for human joints using signed distance-fields

DEFF Research Database (Denmark)

Engell-Nørregård, Morten Pol; Abel, Sarah Maria Niebe; Erleben, Kenny

2012-01-01

We present a local joint-constraint model for a single joint which is based on distance fields. Our model is fast, general, and well suited for modeling human joints. In this work, we take a geometric approach and model the geometry of the boundary of the feasible region, i.e., the boundary of all...... allowed poses. A region of feasible poses can be built by embedding motion captured data points in a signed distance field. The only assumption is that the feasible poses form a single connected set of angular values. We show how signed distance fields can be used to generate fast and general joint......-joint dependencies, or joints with more than three degrees of freedom. The resolution of the joint-constraints can be tweaked individually for each degree of freedom, which can be used to optimize memory usage. We perform a comparative study of the key-properties of various joint-constraint models, as well...

Dependency Parsing with Transformed Feature

Directory of Open Access Journals (Sweden)

Fuxiang Wu

2017-01-01

Full Text Available Dependency parsing is an important subtask of natural language processing. In this paper, we propose an embedding feature transforming method for graph-based parsing, transform-based parsing, which directly utilizes the inner similarity of the features to extract information from all feature strings including the un-indexed strings and alleviate the feature sparse problem. The model transforms the extracted features to transformed features via applying a feature weight matrix, which consists of similarities between the feature strings. Since the matrix is usually rank-deficient because of similar feature strings, it would influence the strength of constraints. However, it is proven that the duplicate transformed features do not degrade the optimization algorithm: the margin infused relaxed algorithm. Moreover, this problem can be alleviated by reducing the number of the nearest transformed features of a feature. In addition, to further improve the parsing accuracy, a fusion parser is introduced to integrate transformed and original features. Our experiments verify that both transform-based and fusion parser improve the parsing accuracy compared to the corresponding feature-based parser.

Model Predictive Control with Constraints of a Wind Turbine

DEFF Research Database (Denmark)

Henriksen, Lars Christian; Poulsen, Niels Kjølstad

2007-01-01

Model predictive control of wind turbines offer a more systematic approach of constructing controllers that handle constraints while focusing on the main control objective. In this article several controllers are designed for different wind conditions and appropriate switching conditions ensure a...... an efficient control of the wind turbine over the entire range of wind speeds. Both onshore and floating offshore wind turbines are tested with the controllers.......Model predictive control of wind turbines offer a more systematic approach of constructing controllers that handle constraints while focusing on the main control objective. In this article several controllers are designed for different wind conditions and appropriate switching conditions ensure...

MISTRAL : A Language for Model Transformations in the MOF Meta-modeling Architecture

NARCIS (Netherlands)

Kurtev, Ivan; van den Berg, Klaas; Aßmann, Uwe; Aksit, Mehmet; Rensink, Arend

2005-01-01

n the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture will be accompanied by a transformation technology supporting the model transformation scenarios in a uniform way. Despite

Constraints on the tensor-to-scalar ratio for non-power-law models

International Nuclear Information System (INIS)

Vázquez, J. Alberto; Bridges, M.; Ma, Yin-Zhe; Hobson, M.P.

2013-01-01

Recent cosmological observations hint at a deviation from the simple power-law form of the primordial spectrum of curvature perturbations. In this paper we show that in the presence of a tensor component, a turn-over in the initial spectrum is preferred by current observations, and hence non-power-law models ought to be considered. For instance, for a power-law parameterisation with both a tensor component and running parameter, current data show a preference for a negative running at more than 2.5σ C.L. As a consequence of this deviation from a power-law, constraints on the tensor-to-scalar ratio r are slightly broader. We also present constraints on the inflationary parameters for a model-independent reconstruction and the Lasenby and Doran (LD) model. In particular, the constraints on the tensor-to-scalar ratio from the LD model are: r LD = 0.11±0.024. In addition to current data, we show expected constraints from Planck-like and CMB-Pol sensitivity experiments by using Markov-Chain-Monte-Carlo sampling chains. For all the models, we have included the Bayesian Evidence to perform a model selection analysis. The Bayes factor, using current observations, shows a strong preference for the LD model over the standard power-law parameterisation, and provides an insight into the accuracy of differentiating models through future surveys

Precision Electroweak Measurements and Constraints on the Standard Model

CERN Document Server

,

2010-01-01

This note presents constraints on Standard Model parameters using published and preliminary precision electroweak results measured at the electron-positron colliders LEP and SLC. The results are compared with precise electroweak measurements from other experiments, notably CDF and DØ at the Tevatron. Constraints on the input parameters of the Standard Model are derived from the combined set of results obtained in high-$Q^2$ interactions, and used to predict results in low-$Q^2$ experiments, such as atomic parity violation, Møller scattering, and neutrino-nucleon scattering. The main changes with respect to the experimental results presented in 2009 are new combinations of results on the width of the W boson and the mass of the top quark.

Enforcement of entailment constraints in distributed service-based business processes.

Science.gov (United States)

Hummer, Waldemar; Gaubatz, Patrick; Strembeck, Mark; Zdun, Uwe; Dustdar, Schahram

2013-11-01

A distributed business process is executed in a distributed computing environment. The service-oriented architecture (SOA) paradigm is a popular option for the integration of software services and execution of distributed business processes. Entailment constraints, such as mutual exclusion and binding constraints, are important means to control process execution. Mutually exclusive tasks result from the division of powerful rights and responsibilities to prevent fraud and abuse. In contrast, binding constraints define that a subject who performed one task must also perform the corresponding bound task(s). We aim to provide a model-driven approach for the specification and enforcement of task-based entailment constraints in distributed service-based business processes. Based on a generic metamodel, we define a domain-specific language (DSL) that maps the different modeling-level artifacts to the implementation-level. The DSL integrates elements from role-based access control (RBAC) with the tasks that are performed in a business process. Process definitions are annotated using the DSL, and our software platform uses automated model transformations to produce executable WS-BPEL specifications which enforce the entailment constraints. We evaluate the impact of constraint enforcement on runtime performance for five selected service-based processes from existing literature. Our evaluation demonstrates that the approach correctly enforces task-based entailment constraints at runtime. The performance experiments illustrate that the runtime enforcement operates with an overhead that scales well up to the order of several ten thousand logged invocations. Using our DSL annotations, the user-defined process definition remains declarative and clean of security enforcement code. Our approach decouples the concerns of (non-technical) domain experts from technical details of entailment constraint enforcement. The developed framework integrates seamlessly with WS-BPEL and the Web

Simplicity constraints: A 3D toy model for loop quantum gravity

Science.gov (United States)

Charles, Christoph

2018-05-01

In loop quantum gravity, tremendous progress has been made using the Ashtekar-Barbero variables. These variables, defined in a gauge fixing of the theory, correspond to a parametrization of the solutions of the so-called simplicity constraints. Their geometrical interpretation is however unsatisfactory as they do not constitute a space-time connection. It would be possible to resolve this point by using a full Lorentz connection or, equivalently, by using the self-dual Ashtekar variables. This leads however to simplicity constraints or reality conditions which are notoriously difficult to implement in the quantum theory. We explore in this paper the possibility of using completely degenerate actions to impose such constraints at the quantum level in the context of canonical quantization. To do so, we define a simpler model, in 3D, with similar constraints by extending the phase space to include an independent vielbein. We define the classical model and show that a precise quantum theory by gauge unfixing can be defined out of it, completely equivalent to the standard 3D Euclidean quantum gravity. We discuss possible future explorations around this model as it could help as a stepping stone to define full-fledged covariant loop quantum gravity.

Design Transformations for Rule-based Procedural Modeling

KAUST Repository

Lienhard, Stefan; Lau, Cheryl; Mü ller, Pascal; Wonka, Peter; Pauly, Mark

2017-01-01

We introduce design transformations for rule-based procedural models, e.g., for buildings and plants. Given two or more procedural designs, each specified by a grammar, a design transformation combines elements of the existing designs to generate new designs. We introduce two technical components to enable design transformations. First, we extend the concept of discrete rule switching to rule merging, leading to a very large shape space for combining procedural models. Second, we propose an algorithm to jointly derive two or more grammars, called grammar co-derivation. We demonstrate two applications of our work: we show that our framework leads to a larger variety of models than previous work, and we show fine-grained transformation sequences between two procedural models.

Design Transformations for Rule-based Procedural Modeling

KAUST Repository

Lienhard, Stefan

2017-05-24

We introduce design transformations for rule-based procedural models, e.g., for buildings and plants. Given two or more procedural designs, each specified by a grammar, a design transformation combines elements of the existing designs to generate new designs. We introduce two technical components to enable design transformations. First, we extend the concept of discrete rule switching to rule merging, leading to a very large shape space for combining procedural models. Second, we propose an algorithm to jointly derive two or more grammars, called grammar co-derivation. We demonstrate two applications of our work: we show that our framework leads to a larger variety of models than previous work, and we show fine-grained transformation sequences between two procedural models.

Foundations for Streaming Model Transformations by Complex Event Processing.

Science.gov (United States)

Dávid, István; Ráth, István; Varró, Dániel

2018-01-01

Streaming model transformations represent a novel class of transformations to manipulate models whose elements are continuously produced or modified in high volume and with rapid rate of change. Executing streaming transformations requires efficient techniques to recognize activated transformation rules over a live model and a potentially infinite stream of events. In this paper, we propose foundations of streaming model transformations by innovatively integrating incremental model query, complex event processing (CEP) and reactive (event-driven) transformation techniques. Complex event processing allows to identify relevant patterns and sequences of events over an event stream. Our approach enables event streams to include model change events which are automatically and continuously populated by incremental model queries. Furthermore, a reactive rule engine carries out transformations on identified complex event patterns. We provide an integrated domain-specific language with precise semantics for capturing complex event patterns and streaming transformations together with an execution engine, all of which is now part of the Viatra reactive transformation framework. We demonstrate the feasibility of our approach with two case studies: one in an advanced model engineering workflow; and one in the context of on-the-fly gesture recognition.

THREE-PHASE TRANSFORMER PARAMETERS CALCULATION CONSIDERING THE CORE SATURATION FOR THE MATLAB-SIMULINK TRANSFORMER MODEL

Directory of Open Access Journals (Sweden)

I. V. Novash

2015-01-01

Full Text Available This article describes the parameters calculation for the three-phase two-winding power transformer model taken from the SimPowerSystems library, which is the part of the MatLab- Simulink environment. Presented methodology is based on the power transformer nameplate data usage. Particular attention is paid to the power transformer magnetization curve para- meters  calculation.  The  methodology  of  the  three-phase  two-winding  power  transformer model parameters calculation considering the magnetization curve nonlinearity isn’t presented in Russian-and English-language sources. Power transformers demo models described in the SimPowerSystems user’s guide have already calculated parameters, but without reference to the sources of their determination. A power transformer is a nonlinear element of the power system, that’s why for its performance analysis in different modes of operation is necessary to have the magnetization curve parameters.The process analysis during no-load energizing of the power transformer is of special interest. This regime is accompanied by the inrush current on the supply side of the power transformer, which is several times larger than the transformer rated current. Sharp rising of the magnetizing current is explained by the magnetic core saturation. Therefore, magnetiza- tion characteristic accounting during transformer no-load energizing modeling is a mandatory requirement. Article authors attempt to put all calculating formulas in a more convenient form and validate the power transformer nonlinear magnetization characteristics parameters calcu- lation. Inrush current oscillograms obtained during the simulation experiment confirmed the adequacy of the calculated model parameters.

CPS Transformation of Flow Information, Part II

DEFF Research Database (Denmark)

Damian, D.; Danvy, Olivier

2003-01-01

consider the administrative reductions of a Plotkin-style transformation into Continuation-Passing Style (CPS), and how they affect the result of a constraint-based control-flow analysis and, in particular, the least element in the space of solutions. We show that administrative reductions preserve...... the least solution. Preservation of least solutions solves a problem that was left open in Palsberg and Wand's article ‘CPS Transformation of Flow Information.’ Together, Palsberg and Wand's article and the present article show how to map in linear time the least solution of the flow constraints...... of a program into the least solution of the flow constraints of the CPS counterpart of this program, after administrative reductions. Furthermore, we show how to CPS transform control-flow information in one pass....

Null Space Integration Method for Constrained Multibody Systems with No Constraint Violation

International Nuclear Information System (INIS)

Terze, Zdravko; Lefeber, Dirk; Muftic, Osman

2001-01-01

A method for integrating equations of motion of constrained multibody systems with no constraint violation is presented. A mathematical model, shaped as a differential-algebraic system of index 1, is transformed into a system of ordinary differential equations using the null-space projection method. Equations of motion are set in a non-minimal form. During integration, violations of constraints are corrected by solving constraint equations at the position and velocity level, utilizing the metric of the system's configuration space, and projective criterion to the coordinate partitioning method. The method is applied to dynamic simulation of 3D constrained biomechanical system. The simulation results are evaluated by comparing them to the values of characteristic parameters obtained by kinematics analysis of analyzed motion based unmeasured kinematics data

Global constraints on Z2 fluxes in two different anisotropic limits of a hypernonagon Kitaev model

Science.gov (United States)

Kato, Yasuyuki; Kamiya, Yoshitomo; Nasu, Joji; Motome, Yukitoshi

2018-05-01

The Kitaev model is an exactly-soluble quantum spin model, whose ground state provides a canonical example of a quantum spin liquid. Spin excitations from the ground state are fractionalized into emergent matter fermions and Z2 fluxes. The Z2 flux excitation is pointlike in two dimensions, while it comprises a closed loop in three dimensions because of the local constraint for each closed volume. In addition, the fluxes obey global constraints involving (semi)macroscopic number of fluxes. We here investigate such global constraints in the Kitaev model on a three-dimensional lattice composed of nine-site elementary loops, dubbed the hypernonagon lattice, whose ground state is a chiral spin liquid. We consider two different anisotropic limits of the hypernonagon Kitaev model where the low-energy effective models are described solely by the Z2 fluxes. We show that there are two kinds of global constraints in the model defined on a three-dimensional torus, namely, surface and volume constraints: the surface constraint is imposed on the even-odd parity of the total number of fluxes threading a two-dimensional slice of the system, while the volume constraint is for the even-odd parity of the number of the fluxes through specific plaquettes whose total number is proportional to the system volume. In the two anisotropic limits, therefore, the elementary excitation of Z2 fluxes occurs in a pair of closed loops so as to satisfy both two global constraints as well as the local constraints.

Six Sigma Driven Enterprise Model Transformation

Directory of Open Access Journals (Sweden)

Raymond Vella

2009-10-01

Full Text Available Enterprise architecture methods provide a structured system to understand enterprise activities. However, existing enterprise modelling methodologies take static views of the enterprise and do not naturally lead to a path of improvement during enterprise model transformation. This paper discusses the need for a methodology to facilitate changes for improvement in an enterprise. The six sigma methodology is proposed as the tool to facilitate progressive and continual Enterprise Model Transformation to allow businesses to adapt to meet increased customer expectation and global competition. An alignment of six sigma with phases of GERAM life cycle is described with inclusion of Critical-To-Satisfaction (CTS requirements. The synergies of combining the two methodologies are presented in an effort to provide a more culturally embedded framework for Enterprise Model Transformation that builds on the success of six sigma.

Modeling external constraints: Applying expert systems to nuclear plants

International Nuclear Information System (INIS)

Beck, C.E.; Behera, A.K.

1993-01-01

Artificial Intelligence (AI) applications in nuclear plants have received much attention over the past decade. Specific applications that have been addressed include development of models and knowledge-bases, plant maintenance, operations, procedural guidance, risk assessment, and design tools. This paper examines the issue of external constraints, with a focus on the use of Al and expert systems as design tools. It also provides several suggested methods for addressing these constraints within the Al framework. These methods include a State Matrix scheme, a layered structure for the knowledge base, and application of the dynamic parameter concept

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Directory of Open Access Journals (Sweden)

Raphaël Beamonte

2016-01-01

Full Text Available Multicore systems are complex in that multiple processes are running concurrently and can interfere with each other. Real-time systems add on top of that time constraints, making results invalid as soon as a deadline has been missed. Tracing is often the most reliable and accurate tool available to study and understand those systems. However, tracing requires that users understand the kernel events and their meaning. It is therefore not very accessible. Using modeling to generate source code or represent applications’ workflow is handy for developers and has emerged as part of the model-driven development methodology. In this paper, we propose a new approach to system analysis using model-based constraints, on top of userspace and kernel traces. We introduce the constraints representation and how traces can be used to follow the application’s workflow and check the constraints we set on the model. We then present a number of common problems that we encountered in real-time and multicore systems and describe how our model-based constraints could have helped to save time by automatically identifying the unwanted behavior.

Constraints from proton decay in the flipped SU(5)xU(1) superstring model

Energy Technology Data Exchange (ETDEWEB)

Leontaris, G.K.; Tamvakis, K. (Ioannina Univ. (Greece). Theoretical Physics Div.)

1991-05-16

We discuss the constraints the emerge from the existence of dimension-5 baryon-violating operators in the flipped SU(5) x U(1) superstring model. These are constraints on matter field assignments and on singlet VEV values. Although baryon-violating dimension-5 operators that appear as quintic non-renormalizable terms vanish as has been proven before and as we verify here, effective dimension-5 operators resulting from Higgs exchange put non-trivial but feasible constraints on the model. Constraints are also extracted from the presence of higher order non-renormalizable terms that generate such operators which do not a priori vanish. (orig.).

Transformations for a generalized variable-coefficient Korteweg-de Vries model from blood vessels, Bose-Einstein condensates, rods and positons with symbolic computation

International Nuclear Information System (INIS)

Tian Bo; Wei Guangmei; Zhang Chunyi; Shan Wenrui; Gao Yitian

2006-01-01

The variable-coefficient Korteweg-de Vries (KdV)-typed models, although often hard to be studied, are of current interest in describing various real situations. Under investigation hereby is a large class of the generalized variable-coefficient KdV models with external-force and perturbed/dissipative terms. Recent examples of this class include those in blood vessels and circulatory system, arterial dynamics, trapped Bose-Einstein condensates related to matter waves and nonlinear atom optics, Bose gas of impenetrable bosons with longitudinal confinement, rods of compressible hyperelastic material and semiconductor heterostructures with positonic phenomena. In this Letter, based on symbolic computation, four transformations are proposed from this class either to the cylindrical or standard KdV equation when the respective constraint holds. The constraints have nothing to do with the external-force term. Under those transformations, such analytic solutions as those with the Airy, Hermit and Jacobian elliptic functions can be obtained, including the solitonic profiles. The roles for the perturbed and external-force terms to play are observed and discussed. Investigations on this class can be performed through the properties of solutions of cylindrical and standard KdV equations

DYNAMICS MODEL OF MOISTURE IN PAPER INSULATION-TRANSFORMER OIL SYSTEM IN NON-STATIONARY THERMAL MODES OF THE POWER TRANSFORMER

Directory of Open Access Journals (Sweden)

V.V. Vasilevskij

2016-06-01

Full Text Available Introduction. An important problem in power transformers resource prognosis is the formation of moisture dynamics trends of transformer insulation. Purpose. Increasing the accuracy of power transformer insulation resource assessment based on accounting of moisture dynamics in interrelation with temperature dynamics. Working out of moisture dynamics model in paper insulation-transformer oil system in conjunction with thermodynamic model, load model and technical maintenance model. Methodology. The mathematical models used for describe the moisture dynamics are grounded on nonlinear differential equations. Interrelation moisture dynamics model with thermodynamic, load and technical maintenance models described by UML model. For confirming the adequacy of model used computer simulation. Results. We have implemented the model of moisture dynamics in power transformers insulation in interrelation with other models, which describe the state of power transformer in operation. The proposed model allows us to form detailed trends of moisture dynamics in power transformers insulation basing on monitoring data or power transformers operational factors simulation results. We have performed computer simulation of moisture exchange processes and calculation of transformer insulation resource for different moisture trends. Originality. The offered model takes into account moisture dynamics in power transformers insulation under the influence of changes of the power transformers thermal mode and operational factors. Practical value. The offered model can be used in power transformers monitoring systems for automation of resource assessment of oil-immersed power transformers paper insulation at different phase of lifecycle. Model also can be used for assessment of projected economic efficiency of power transformers exploitation in projected operating conditions.

Analysis of entropy models with equality and inequality constraints

Energy Technology Data Exchange (ETDEWEB)

Jefferson, T R; Scott, C H

1979-06-01

Entropy models are emerging as valuable tools in the study of various social problems of spatial interaction. With the development of the modeling has come diversity. Increased flexibility in the model can be obtained by allowing certain constraints to be relaxed from equality to inequality. To provide a better understanding of these entropy models they are analyzed by geometric programming. Dual mathematical programs and algorithms are obtained. 7 references.

Kinetics model of bainitic transformation with stress

Science.gov (United States)

Zhou, Mingxing; Xu, Guang; Hu, Haijiang; Yuan, Qing; Tian, Junyu

2018-01-01

Thermal simulations were conducted on a Gleeble 3800 simulator. The main purpose is to investigate the effects of stress on the kinetics of bainitic transformation in a Fe-C-Mn-Si advanced high strength bainitic steel. Previous studies on modeling the kinetics of stress affected bainitic transformation only considered the stress below the yield strength of prior austenite. In the present study, the stress above the yield strength of prior austenite is taken into account. A new kinetics model of bainitic transformation dependent on the stress (including the stresses below and above the yield strength of prior austenite) and the transformation temperature is proposed. The new model presents a good agreement with experimental results. In addition, it is found that the acceleration degree of stress on bainitic transformation increases with the stress whether its magnitude is below or above the yield strength of austenite, but the increasing rate gradually slows down when the stress is above the yield strength of austenite.

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

DEFF Research Database (Denmark)

Greenyer, Joel; Kindler, Ekkart

2010-01-01

and for model-based software engineering approaches in general. QVT (Query/View/Transformation) is the transformation technology recently proposed for this purpose by the OMG. TGGs (Triple Graph Grammars) are another transformation technology proposed in the mid-nineties, used for example in the FUJABA CASE...

Research on lightning stroke model and characteristics of electronic transformer

Directory of Open Access Journals (Sweden)

Li Mu

2018-01-01

Full Text Available In order to improve the reliability of power supply, a large number of electronic voltage and current transformers are used in digital substations. In this paper, the mathematical model of the electronic transformer is analyzed firstly, and its circuit model is given. According to the difference of working characteristics between voltage transformer and current transformer, the circuit model of voltage type electronic transformer and current type electronic transformer is given respectively. By analyzing their broadband transmission characteristics, the accuracy of the model is verified, and their lightning analysis models are obtained.

Metrics for analyzing the quality of model transformations

NARCIS (Netherlands)

Amstel, van M.F.; Lange, C.F.J.; Brand, van den M.G.J.; Falcone, G.; Guéhéneuc, Y.G.; Lange, C.F.J.; Porkoláb, Z.; Sahraoui, H.A.

2008-01-01

Model transformations become increasingly important with the emergence of model driven engineering of, amongst others, objectoriented software systems. It is therefore necessary to define and evaluate the quality of model transformations. The goal of our research is to make the quality of model

Model based analysis of piezoelectric transformers.

Science.gov (United States)

Hemsel, T; Priya, S

2006-12-22

Piezoelectric transformers are increasingly getting popular in the electrical devices owing to several advantages such as small size, high efficiency, no electromagnetic noise and non-flammable. In addition to the conventional applications such as ballast for back light inverter in notebook computers, camera flash, and fuel ignition several new applications have emerged such as AC/DC converter, battery charger and automobile lighting. These new applications demand high power density and wide range of voltage gain. Currently, the transformer power density is limited to 40 W/cm(3) obtained at low voltage gain. The purpose of this study was to investigate a transformer design that has the potential of providing higher power density and wider range of voltage gain. The new transformer design utilizes radial mode both at the input and output port and has the unidirectional polarization in the ceramics. This design was found to provide 30 W power with an efficiency of 98% and 30 degrees C temperature rise from the room temperature. An electro-mechanical equivalent circuit model was developed to describe the characteristics of the piezoelectric transformer. The model was found to successfully predict the characteristics of the transformer. Excellent matching was found between the computed and experimental results. The results of this study will allow to deterministically design unipoled piezoelectric transformers with specified performance. It is expected that in near future the unipoled transformer will gain significant importance in various electrical components.

A discrete dislocation–transformation model for austenitic single crystals

International Nuclear Information System (INIS)

Shi, J; Turteltaub, S; Remmers, J J C; Van der Giessen, E

2008-01-01

A discrete model for analyzing the interaction between plastic flow and martensitic phase transformations is developed. The model is intended for simulating the microstructure evolution in a single crystal of austenite that transforms non-homogeneously into martensite. The plastic flow in the untransformed austenite is simulated using a plane-strain discrete dislocation model. The phase transformation is modeled via the nucleation and growth of discrete martensitic regions embedded in the austenitic single crystal. At each instant during loading, the coupled elasto-plasto-transformation problem is solved using the superposition of analytical solutions for the discrete dislocations and discrete transformation regions embedded in an infinite homogeneous medium and the numerical solution of a complementary problem used to enforce the actual boundary conditions and the heterogeneities in the medium. In order to describe the nucleation and growth of martensitic regions, a nucleation criterion and a kinetic law suitable for discrete regions are specified. The constitutive rules used in discrete dislocation simulations are supplemented with additional evolution rules to account for the phase transformation. To illustrate the basic features of the model, simulations of specimens under plane-strain uniaxial extension and contraction are analyzed. The simulations indicate that plastic flow reduces the average stress at which transformation begins, but it also reduces the transformation rate when compared with benchmark simulations without plasticity. Furthermore, due to local stress fluctuations caused by dislocations, martensitic systems can be activated even though transformation would not appear to be favorable based on the average stress. Conversely, the simulations indicate that the plastic hardening behavior is influenced by the reduction in the effective austenitic grain size due to the evolution of transformation. During cyclic simulations, the coupled plasticity-transformation

Implementing network constraints in the EMPS model

Energy Technology Data Exchange (ETDEWEB)

Helseth, Arild; Warland, Geir; Mo, Birger; Fosso, Olav B.

2010-02-15

This report concerns the coupling of detailed market and network models for long-term hydro-thermal scheduling. Currently, the EPF model (Samlast) is the only tool available for this task for actors in the Nordic market. A new prototype for solving the coupled market and network problem has been developed. The prototype is based on the EMPS model (Samkjoeringsmodellen). Results from the market model are distributed to a detailed network model, where a DC load flow detects if there are overloads on monitored lines or intersections. In case of overloads, network constraints are generated and added to the market problem. Theoretical and implementation details for the new prototype are elaborated in this report. The performance of the prototype is tested against the EPF model on a 20-area Nordic dataset. (Author)

Acceleration transforms and statistical kinetic models

International Nuclear Information System (INIS)

LuValle, M.J.; Welsher, T.L.; Svoboda, K.

1988-01-01

For a restricted class of problems a mathematical model of microscopic degradation processes, statistical kinetics, is developed and linked through acceleration transforms to the information which can be obtained from a system in which the only observable sign of degradation is sudden and catastrophic failure. The acceleration transforms were developed in accelerated life testing applications as a tool for extrapolating from the observable results of an accelerated life test to the dynamics of the underlying degradation processes. A particular concern of a physicist attempting to interpreted the results of an analysis based on acceleration transforms is determining the physical species involved in the degradation process. These species may be (a) relatively abundant or (b) relatively rare. The main results of this paper are a theorem showing that for an important subclass of statistical kinetic models, acceleration transforms cannot be used to distinguish between cases a and b, and an example showing that in some cases falling outside the restrictions of the theorem, cases a and b can be distinguished by their acceleration transforms

Modeling peak oil and the geological constraints on oil production

NARCIS (Netherlands)

Okullo, S.J.; Reynès, F.; Hofkes, M.W.

2015-01-01

We propose a model to reconcile the theory of inter-temporal non-renewable resource depletion with well-known stylized facts concerning the exploitation of exhaustible resources such as oil. Our approach introduces geological constraints into a Hotelling type extraction-exploration model. We show

Modeling Peak Oil and the Geological Constraints on Oil Production

NARCIS (Netherlands)

Okullo, S.J.; Reynes, F.; Hofkes, M.W.

2014-01-01

We propose a model to reconcile the theory of inter-temporal non-renewable resource depletion with well-known stylized facts concerning the exploitation of exhaustible resources such as oil. Our approach introduces geological constraints into a Hotelling type extraction-exploration model. We show

Sewing constraints for conformal field theories on surfaces with boundaries

International Nuclear Information System (INIS)

Lewellen, D.C.

1992-01-01

In a conformal field theory, correlation functions on any Riemann surface are in principle unambiguously defined by sewing together three-point functions on the sphere, provided that the four-point functions on the sphere are crossing symmetric, and the one-point functions on the torus are modular covariant. In this work we extend Sonoda's proof of this result to conformal field theories defined on surfaces with boundaries. Four additional sewing constraints arise; three on the half-plane and one on the cylinder. These relate the various OPE coefficients in the theory (bulk, boundary, and bulk-boundary) to one another. In rational theories these relations can be expressed in terms of data arising solely within the bulk theory: The matrix S which implements modular transformations on the characters, and the matrices implementing duality transformations on the four-point conformal-block functions. As an example we solve these relations for the boundary and bulk-boundary structure constants in the Ising model with all possible conformally invariant boundary conditions. The role of the basic sewing constraints in the construction of open string theories is discussed. (orig.)

Reduction of Constraints: Applicability of the Homogeneity Constraint for Macrobatch 3

International Nuclear Information System (INIS)

Peeler, D.K.

2001-01-01

The Product Composition Control System (PCCS) is used to determine the acceptability of each batch of Defense Waste Processing Facility (DWPF) melter feed in the Slurry Mix Evaporator (SME). This control system imposes several constraints on the composition of the contents of the SME to define acceptability. These constraints relate process or product properties to composition via prediction models. A SME batch is deemed acceptable if its sample composition measurements lead to acceptable property predictions after accounting for modeling, measurement and analytic uncertainties. The baseline document guiding the use of these data and models is ''SME Acceptability Determination for DWPF Process Control (U)'' by Brown and Postles [1996]. A minimum of three PCCS constraints support the prediction of the glass durability from a given SME batch. The Savannah River Technology Center (SRTC) is reviewing all of the PCCS constraints associated with durability. The purpose of this review is to revisit these constraints in light of the additional knowledge gained since the beginning of radioactive operations at DWPF and to identify any supplemental studies needed to amplify this knowledge so that redundant or overly conservative constraints can be eliminated or replaced by more appropriate constraints

Graphical constraints: a graphical user interface for constraint problems

OpenAIRE

Vieira, Nelson Manuel Marques

2015-01-01

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embrace...

Reliability Model of Power Transformer with ONAN Cooling

OpenAIRE

M. Sefidgaran; M. Mirzaie; A. Ebrahimzadeh

2010-01-01

Reliability of a power system is considerably influenced by its equipments. Power transformers are one of the most critical and expensive equipments of a power system and their proper functions are vital for the substations and utilities. Therefore, reliability model of power transformer is very important in the risk assessment of the engineering systems. This model shows the characteristics and functions of a transformer in the power system. In this paper the reliability model...

Fourier transform inequalities for phylogenetic trees.

Science.gov (United States)

Matsen, Frederick A

2009-01-01

Phylogenetic invariants are not the only constraints on site-pattern frequency vectors for phylogenetic trees. A mutation matrix, by its definition, is the exponential of a matrix with non-negative off-diagonal entries; this positivity requirement implies non-trivial constraints on the site-pattern frequency vectors. We call these additional constraints "edge-parameter inequalities". In this paper, we first motivate the edge-parameter inequalities by considering a pathological site-pattern frequency vector corresponding to a quartet tree with a negative internal edge. This site-pattern frequency vector nevertheless satisfies all of the constraints described up to now in the literature. We next describe two complete sets of edge-parameter inequalities for the group-based models; these constraints are square-free monomial inequalities in the Fourier transformed coordinates. These inequalities, along with the phylogenetic invariants, form a complete description of the set of site-pattern frequency vectors corresponding to bona fide trees. Said in mathematical language, this paper explicitly presents two finite lists of inequalities in Fourier coordinates of the form "monomial < or = 1", each list characterizing the phylogenetically relevant semialgebraic subsets of the phylogenetic varieties.

Constraint-based scheduling applying constraint programming to scheduling problems

CERN Document Server

Baptiste, Philippe; Nuijten, Wim

2001-01-01

Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of this book is to provide an overview of the most widely used Constraint-Based Scheduling techniques. Following the principles of Constraint Programming, the book consists of three distinct parts: The first chapter introduces the basic principles of Constraint Programming and provides a model of the constraints that are the most often encountered in scheduling problems. Chapters 2, 3, 4, and 5 are focused on the propagation of resource constraints, which usually are responsibl...

Constraint-based modeling and kinetic analysis of the Smad dependent TGF-beta signaling pathway.

Directory of Open Access Journals (Sweden)

Zhike Zi

Full Text Available BACKGROUND: Investigation of dynamics and regulation of the TGF-beta signaling pathway is central to the understanding of complex cellular processes such as growth, apoptosis, and differentiation. In this study, we aim at using systems biology approach to provide dynamic analysis on this pathway. METHODOLOGY/PRINCIPAL FINDINGS: We proposed a constraint-based modeling method to build a comprehensive mathematical model for the Smad dependent TGF-beta signaling pathway by fitting the experimental data and incorporating the qualitative constraints from the experimental analysis. The performance of the model generated by constraint-based modeling method is significantly improved compared to the model obtained by only fitting the quantitative data. The model agrees well with the experimental analysis of TGF-beta pathway, such as the time course of nuclear phosphorylated Smad, the subcellular location of Smad and signal response of Smad phosphorylation to different doses of TGF-beta. CONCLUSIONS/SIGNIFICANCE: The simulation results indicate that the signal response to TGF-beta is regulated by the balance between clathrin dependent endocytosis and non-clathrin mediated endocytosis. This model is useful to be built upon as new precise experimental data are emerging. The constraint-based modeling method can also be applied to quantitative modeling of other signaling pathways.

The Drivers of Success in Business Model Transformation

Directory of Open Access Journals (Sweden)

Nenad Savič

2016-01-01

Full Text Available Existing empirical literature on business models is still inconclusive about the key drivers of successful business model transformation. The paper explores this issue by using a single longitudinal case study design in combination with grounded theory approach on a medium-sized, high-tech and globally oriented company. Based on on-site visits, interviews and secondary documentation data analysis, the study identifies six generic drivers of successful business model transformation: transformational leadership, discovery driven decision-making, industry improvement – customer specific orientation, content-oriented communication, self-initiative collaborators, and phased separation strategy. The new drivers supplement our existing knowledge on how successful transformation takes place and add to existing drivers, while extensive discussion of their implications may help the managers to execute business transformations more effectively.

Coordination number constraint models for hydrogenated amorphous Si deposited by catalytic chemical vapour deposition

Science.gov (United States)

Kawahara, Toshio; Tabuchi, Norikazu; Arai, Takashi; Sato, Yoshikazu; Morimoto, Jun; Matsumura, Hideki

2005-02-01

We measured structure factors of hydrogenated amorphous Si by x-ray diffraction and analysed the obtained structures using a reverse Monte Carlo (RMC) technique. A small shoulder in the measured structure factor S(Q) was observed on the larger Q side of the first peak. The RMC results with an unconstrained model did not clearly show the small shoulder. Adding constraints for coordination numbers 2 and 3, the small shoulder was reproduced and the agreement with the experimental data became better. The ratio of the constrained coordination numbers was consistent with the ratio of Si-H and Si-H2 bonds which was estimated by the Fourier transformed infrared spectra of the same sample. This shoulder and the oscillation of the corresponding pair distribution function g(r) at large r seem to be related to the low randomness of cat-CVD deposited a-Si:H.

Coordination number constraint models for hydrogenated amorphous Si deposited by catalytic chemical vapour deposition

International Nuclear Information System (INIS)

Kawahara, Toshio; Tabuchi, Norikazu; Arai, Takashi; Sato, Yoshikazu; Morimoto, Jun; Matsumura, Hideki

2005-01-01

We measured structure factors of hydrogenated amorphous Si by x-ray diffraction and analysed the obtained structures using a reverse Monte Carlo (RMC) technique. A small shoulder in the measured structure factor S(Q) was observed on the larger Q side of the first peak. The RMC results with an unconstrained model did not clearly show the small shoulder. Adding constraints for coordination numbers 2 and 3, the small shoulder was reproduced and the agreement with the experimental data became better. The ratio of the constrained coordination numbers was consistent with the ratio of Si-H and Si-H 2 bonds which was estimated by the Fourier transformed infrared spectra of the same sample. This shoulder and the oscillation of the corresponding pair distribution function g(r) at large r seem to be related to the low randomness of cat-CVD deposited a-Si:H

How robust are inflation model and dark matter constraints from cosmological data?

International Nuclear Information System (INIS)

Hamann, J.; Hannestad, S.; Sloth, M.S.; Wong, Y.Y.Y.

2006-11-01

High-precision data from observation of the cosmic microwave background and the large scale structure of the universe provide very tight constraints on the effective parameters that describe cosmological inflation. Indeed, within a constrained class of ΛCDM models, the simple λφ 4 chaotic inflation model already appears to be ruled out by cosmological data. In this paper, we compute constraints on inflationary parameters within a more general framework that includes other physically motivated parameters such as a nonzero neutrino mass. We find that a strong degeneracy between the tensor-to-scalar ratio τ and the neutrino mass prevents λφ 4 from being excluded by present data. Reversing the argument, if λφ 4 is the correct model of inflation, it predicts a sum of neutrino masses at 0.3→0.5 eV, a range compatible with present experimental limits and within the reach of the next generation of neutrino mass measurements. We also discuss the associated constraints on the dark matter density, the dark energy equation of state, and spatial curvature, and show that the allowed regions are significantly altered. Importantly, we find an allowed range of 0.094 c h 2 <0.136 for the dark matter density, a factor of two larger than that reported in previous studies. This expanded parameter space may have implications for constraints on SUSY dark matter models. (orig.)

Fourier series models through transformation | Omekara | Global ...

African Journals Online (AJOL)

As a result, the square transformation which outperforms the others is adopted. Consequently, each of the multiplicative and additive FSA models fitted to the transformed data are then subjected to a test for white noise based on spectral analysis. The result of this test shows that only the multiplicative model is adequate.

Nonlinear Model of Tape Wound Core Transformers

Directory of Open Access Journals (Sweden)

A. Vahedi

2015-03-01

Full Text Available Recently, tape wound cores due to their excellent magnetic properties, are widely used in different types of transformers. Performance prediction of these transformers needs an accurate model with ability to determine flux distribution within the core and magnetic loss. Spiral structure of tape wound cores affects the flux distribution and always cause complication of analysis. In this paper, a model based on reluctance networks method is presented for analysis of magnetic flux in wound cores. Using this model, distribution of longitudinal and transverse fluxes within the core can be determined. To consider the nonlinearity of the core, a dynamic hysteresis model is included in the presented model. Having flux density in different points of the core, magnetic losses can be calculated. To evaluate the validity of the model, results are compared with 2-D FEM simulations. In addition, a transformer designed for series-resonant converter and simulation results are compared with experimental measurements. Comparisons show accuracy of the model besides simplicity and fast convergence

Volume simplicity constraint in the Engle-Livine-Pereira-Rovelli spin foam model

Science.gov (United States)

Bahr, Benjamin; Belov, Vadim

2018-04-01

We propose a quantum version of the quadratic volume simplicity constraint for the Engle-Livine-Pereira-Rovelli spin foam model. It relies on a formula for the volume of 4-dimensional polyhedra, depending on its bivectors and the knotting class of its boundary graph. While this leads to no further condition for the 4-simplex, the constraint becomes nontrivial for more complicated boundary graphs. We show that, in the semiclassical limit of the hypercuboidal graph, the constraint turns into the geometricity condition observed recently by several authors.

Convergence Guaranteed Nonlinear Constraint Model Predictive Control via I/O Linearization

Directory of Open Access Journals (Sweden)

Xiaobing Kong

2013-01-01

Full Text Available Constituting reliable optimal solution is a key issue for the nonlinear constrained model predictive control. Input-output feedback linearization is a popular method in nonlinear control. By using an input-output feedback linearizing controller, the original linear input constraints will change to nonlinear constraints and sometimes the constraints are state dependent. This paper presents an iterative quadratic program (IQP routine on the continuous-time system. To guarantee its convergence, another iterative approach is incorporated. The proposed algorithm can reach a feasible solution over the entire prediction horizon. Simulation results on both a numerical example and the continuous stirred tank reactors (CSTR demonstrate the effectiveness of the proposed method.

Has the Nordic Welfare Model Been Transformed?

DEFF Research Database (Denmark)

Greve, Bent; Kvist, Jon

2011-01-01

The Nordic welfare model is undergoing a fundamental transformation. Using Denmark we show how a universal welfare state model is gradually being transformed into an emergent multi-tiered welfare state. Whereas the Danish pension system's having become multi-tiered in the 1990s, with private...... and the sick. Although Denmark still offers universal coverage in core welfare state areas, the increased use of occupational and fiscal welfare as well as changes in public schemes has gradually transformed the nation into a multi-tiered welfare state that is more dualistic and individualistic...

Robust Model Predictive Control Using Linear Matrix Inequalities for the Treatment of Asymmetric Output Constraints

Directory of Open Access Journals (Sweden)

Mariana Santos Matos Cavalca

2012-01-01

Full Text Available One of the main advantages of predictive control approaches is the capability of dealing explicitly with constraints on the manipulated and output variables. However, if the predictive control formulation does not consider model uncertainties, then the constraint satisfaction may be compromised. A solution for this inconvenience is to use robust model predictive control (RMPC strategies based on linear matrix inequalities (LMIs. However, LMI-based RMPC formulations typically consider only symmetric constraints. This paper proposes a method based on pseudoreferences to treat asymmetric output constraints in integrating SISO systems. Such technique guarantees robust constraint satisfaction and convergence of the state to the desired equilibrium point. A case study using numerical simulation indicates that satisfactory results can be achieved.

Modeling water resources as a constraint in electricity capacity expansion models

Science.gov (United States)

Newmark, R. L.; Macknick, J.; Cohen, S.; Tidwell, V. C.; Woldeyesus, T.; Martinez, A.

2013-12-01

In the United States, the electric power sector is the largest withdrawer of freshwater in the nation. The primary demand for water from the electricity sector is for thermoelectric power plant cooling. Areas likely to see the largest near-term growth in population and energy usage, the Southwest and the Southeast, are also facing freshwater scarcity and have experienced water-related power reliability issues in the past decade. Lack of water may become a barrier for new conventionally-cooled power plants, and alternative cooling systems will impact technology cost and performance. Although water is integral to electricity generation, it has long been neglected as a constraint in future electricity system projections. Assessing the impact of water resource scarcity on energy infrastructure development is critical, both for conventional and renewable energy technologies. Efficiently utilizing all water types, including wastewater and brackish sources, or utilizing dry-cooling technologies, will be essential for transitioning to a low-carbon electricity system. This work provides the first demonstration of a national electric system capacity expansion model that incorporates water resources as a constraint on the current and future U.S. electricity system. The Regional Electricity Deployment System (ReEDS) model was enhanced to represent multiple cooling technology types and limited water resource availability in its optimization of electricity sector capacity expansion to 2050. The ReEDS model has high geographic and temporal resolution, making it a suitable model for incorporating water resources, which are inherently seasonal and watershed-specific. Cooling system technologies were assigned varying costs (capital, operations and maintenance), and performance parameters, reflecting inherent tradeoffs in water impacts and operating characteristics. Water rights supply curves were developed for each of the power balancing regions in ReEDS. Supply curves include costs

Forecasts of non-Gaussian parameter spaces using Box-Cox transformations

Science.gov (United States)

Joachimi, B.; Taylor, A. N.

2011-09-01

Forecasts of statistical constraints on model parameters using the Fisher matrix abound in many fields of astrophysics. The Fisher matrix formalism involves the assumption of Gaussianity in parameter space and hence fails to predict complex features of posterior probability distributions. Combining the standard Fisher matrix with Box-Cox transformations, we propose a novel method that accurately predicts arbitrary posterior shapes. The Box-Cox transformations are applied to parameter space to render it approximately multivariate Gaussian, performing the Fisher matrix calculation on the transformed parameters. We demonstrate that, after the Box-Cox parameters have been determined from an initial likelihood evaluation, the method correctly predicts changes in the posterior when varying various parameters of the experimental setup and the data analysis, with marginally higher computational cost than a standard Fisher matrix calculation. We apply the Box-Cox-Fisher formalism to forecast cosmological parameter constraints by future weak gravitational lensing surveys. The characteristic non-linear degeneracy between matter density parameter and normalization of matter density fluctuations is reproduced for several cases, and the capabilities of breaking this degeneracy by weak-lensing three-point statistics is investigated. Possible applications of Box-Cox transformations of posterior distributions are discussed, including the prospects for performing statistical data analysis steps in the transformed Gaussianized parameter space.

Proposal of Constraints Analysis Method Based on Network Model for Task Planning

Science.gov (United States)

Tomiyama, Tomoe; Sato, Tatsuhiro; Morita, Toyohisa; Sasaki, Toshiro

Deregulation has been accelerating several activities toward reengineering business processes, such as railway through service and modal shift in logistics. Making those activities successful, business entities have to regulate new business rules or know-how (we call them ‘constraints’). According to the new constraints, they need to manage business resources such as instruments, materials, workers and so on. In this paper, we propose a constraint analysis method to define constraints for task planning of the new business processes. To visualize each constraint's influence on planning, we propose a network model which represents allocation relations between tasks and resources. The network can also represent task ordering relations and resource grouping relations. The proposed method formalizes the way of defining constraints manually as repeatedly checking the network structure and finding conflicts between constraints. Being applied to crew scheduling problems shows that the method can adequately represent and define constraints of some task planning problems with the following fundamental features, (1) specifying work pattern to some resources, (2) restricting the number of resources for some works, (3) requiring multiple resources for some works, (4) prior allocation of some resources to some works and (5) considering the workload balance between resources.

Strict Constraint Feasibility in Analysis and Design of Uncertain Systems

Science.gov (United States)

Crespo, Luis G.; Giesy, Daniel P.; Kenny, Sean P.

2006-01-01

This paper proposes a methodology for the analysis and design optimization of models subject to parametric uncertainty, where hard inequality constraints are present. Hard constraints are those that must be satisfied for all parameter realizations prescribed by the uncertainty model. Emphasis is given to uncertainty models prescribed by norm-bounded perturbations from a nominal parameter value, i.e., hyper-spheres, and by sets of independently bounded uncertain variables, i.e., hyper-rectangles. These models make it possible to consider sets of parameters having comparable as well as dissimilar levels of uncertainty. Two alternative formulations for hyper-rectangular sets are proposed, one based on a transformation of variables and another based on an infinity norm approach. The suite of tools developed enable us to determine if the satisfaction of hard constraints is feasible by identifying critical combinations of uncertain parameters. Since this practice is performed without sampling or partitioning the parameter space, the resulting assessments of robustness are analytically verifiable. Strategies that enable the comparison of the robustness of competing design alternatives, the approximation of the robust design space, and the systematic search for designs with improved robustness characteristics are also proposed. Since the problem formulation is generic and the solution methods only require standard optimization algorithms for their implementation, the tools developed are applicable to a broad range of problems in several disciplines.

CMB constraints on β-exponential inflationary models

Science.gov (United States)

Santos, M. A.; Benetti, M.; Alcaniz, J. S.; Brito, F. A.; Silva, R.

2018-03-01

We analyze a class of generalized inflationary models proposed in ref. [1], known as β-exponential inflation. We show that this kind of potential can arise in the context of brane cosmology, where the field describing the size of the extra-dimension is interpreted as the inflaton. We discuss the observational viability of this class of model in light of the latest Cosmic Microwave Background (CMB) data from the Planck Collaboration through a Bayesian analysis, and impose tight constraints on the model parameters. We find that the CMB data alone prefer weakly the minimal standard model (ΛCDM) over the β-exponential inflation. However, when current local measurements of the Hubble parameter, H0, are considered, the β-inflation model is moderately preferred over the ΛCDM cosmology, making the study of this class of inflationary models interesting in the context of the current H0 tension.

A Generalized Radiation Model for Human Mobility: Spatial Scale, Searching Direction and Trip Constraint.

Directory of Open Access Journals (Sweden)

Chaogui Kang

Full Text Available We generalized the recently introduced "radiation model", as an analog to the generalization of the classic "gravity model", to consolidate its nature of universality for modeling diverse mobility systems. By imposing the appropriate scaling exponent λ, normalization factor κ and system constraints including searching direction and trip OD constraint, the generalized radiation model accurately captures real human movements in various scenarios and spatial scales, including two different countries and four different cities. Our analytical results also indicated that the generalized radiation model outperformed alternative mobility models in various empirical analyses.

Constraint Handling within a Multi-blade Coordinate Framework of a Wind Turbine

DEFF Research Database (Denmark)

Henriksen, Lars Christian; Poulsen, Niels Kjølstad; Niemann, Hans Henrik

2011-01-01

In this paper the control of a horizontal axis pitch controlled wind turbine using Model Predictive Control is presented. The multi-blade coordinate transformation is utilized to turn the rotating frame time-varying system description into a time-invariant fixed frame system description. Constrai....... Constraints in the rotating frame of reference are not easily described in the fixed frame and a Model Predictive Control formulation accommodating this problem is presented. The presented method is tested with satisfactory results in a numerical simulation....

Oil transformation sector modelling: price interactions

International Nuclear Information System (INIS)

Maurer, A.

1992-01-01

A global oil and oil product prices evolution model is proposed that covers the transformation sector incidence and the final user price establishment together with price interactions between gaseous and liquid hydrocarbons. High disparities among oil product prices in the various consumer zones (North America, Western Europe, Japan) are well described and compared with the low differences between oil supply prices in these zones. Final user price fluctuations are shown to be induced by transformation differences and competition; natural gas market is also modelled

Cosmological constraints on spontaneous R-symmetry breaking models

Energy Technology Data Exchange (ETDEWEB)

Hamada, Yuta; Kobayashi, Tatsuo [Kyoto Univ. (Japan). Dept. of Physics; Kamada, Kohei [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Ookouchi, Yutaka [Kyoto Univ. (Japan). Dept. of Physics; Kyoto Univ. (Japan). The Hakubi Center for Advanced Research and Dept. of Physics

2012-11-15

We study general constraints on spontaneous R-symmetry breaking models coming from the cosmological effects of the pseudo Nambu-Goldstone bosons, R-axions. They are substantially produced in the early Universe and may cause several cosmological problems. We focus on relatively long-lived R-axions and find that in a wide range of parameter space, models are severely constrained. In particular, R-axions with mass less than 1 MeV are generally ruled out for relatively high reheating temperature, T{sub R}>10 GeV.

Foldy-Wouthuysen transformations for the classical relativistic electron. Non grassmannian description

International Nuclear Information System (INIS)

Pupasov-Maksimov, Andrey; Deriglazov, Alexei

2012-01-01

Full text: We consider a classical model of the relativistic electron proposed by A. Deriglazov in Phys. Lett. A 376 (2012) 309-313. Though this model contains only bosonic variables, its quantization leads to the Dirac equation and one-particle relativistic quantum mechanics of the electron. There are constraints and gauge symmetries, therefore 18 initial variables of the model {x μ , p μ , ω A , π A }, μ is an element of (0,4), A is an element of (0,5) do not correspond to the observable quantities. There are 10 physical degrees of freedom implying another set of 10 gauge invariant variables which will be interpreted as physically observable quantities. On the other hand, to have a consistent one-particle relativistic quantum mechanics one has to consider only even operators which do not mix quantum states with positive and negative energy states. Such separation can be obtained with the Foldy-Wouthuysen transformation and leads to the Foldy-Wouthuysen representation with new operators for coordinates and spin (so-called Newton-Wigner coordinates). In the present work we match these to pictures by comparing the choice of the gauge invariant classical variables and the transition to the even operators in the quantum mechanics. We study different canonical transformations of this classical model in order to separate the set of observable quantities from variables with ambiguous dynamics. The constraints of the model in the case of free particle can be chosen in such a way that the Dirac brackets coincide with the Poisson brackets. This choice significantly simplify calculations of transformed variables. Moreover, new variables are canonical variables by construction. It is shown that the following generator of an infinitesimal canonical transformation S=1/2J 5j p j A(p 2 ), can be associated with the Foldy-Wouthuysen transformation. Thus we obtain a classical analog of the Foldy- Wouthuysen transformation. Moreover, the gauge invariant variables in the

Observational constraints on Visser's cosmological model

International Nuclear Information System (INIS)

Alves, M. E. S.; Araujo, J. C. N. de; Miranda, O. D.; Wuensche, C. A.; Carvalho, F. C.; Santos, E. M.

2010-01-01

Theories of gravity for which gravitons can be treated as massive particles have presently been studied as realistic modifications of general relativity, and can be tested with cosmological observations. In this work, we study the ability of a recently proposed theory with massive gravitons, the so-called Visser theory, to explain the measurements of luminosity distance from the Union2 compilation, the most recent Type-Ia Supernovae (SNe Ia) data set, adopting the current ratio of the total density of nonrelativistic matter to the critical density (Ω m ) as a free parameter. We also combine the SNe Ia data with constraints from baryon acoustic oscillations (BAO) and cosmic microwave background (CMB) measurements. We find that, for the allowed interval of values for Ω m , a model based on Visser's theory can produce an accelerated expansion period without any dark energy component, but the combined analysis (SNe Ia+BAO+CMB) shows that the model is disfavored when compared with the ΛCDM model.

Minimal Flavor Constraints for Technicolor

DEFF Research Database (Denmark)

Sakuma, Hidenori; Sannino, Francesco

2010-01-01

We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self-coupling and mas......We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self...

Safety constraints applied to an adaptive Bayesian condition-based maintenance optimization model

International Nuclear Information System (INIS)

Flage, Roger; Coit, David W.; Luxhøj, James T.; Aven, Terje

2012-01-01

A model is described that determines an optimal inspection and maintenance scheme for a deteriorating unit with a stochastic degradation process with independent and stationary increments and for which the parameters are uncertain. This model and resulting maintenance plans offers some distinct benefits compared to prior research because the uncertainty of the degradation process is accommodated by a Bayesian approach and two new safety constraints have been applied to the problem: (1) with a given subjective probability (degree of belief), the limiting relative frequency of one or more failures during a fixed time interval is bounded; or (2) the subjective probability of one or more failures during a fixed time interval is bounded. In the model, the parameter(s) of a condition-based inspection scheduling function and a preventive replacement threshold are jointly optimized upon each replacement and inspection such as to minimize the expected long run cost per unit of time, but also considering one of the specified safety constraints. A numerical example is included to illustrate the effect of imposing each of the two different safety constraints.

Constraints on pulsed emission model for repeating FRB 121102

Science.gov (United States)

Kisaka, Shota; Enoto, Teruaki; Shibata, Shinpei

2017-12-01

Recent localization of the repeating fast radio burst (FRB) 121102 revealed the distance of its host galaxy and luminosities of the bursts. We investigated constraints on the young neutron star (NS) model, that (a) the FRB intrinsic luminosity is supported by the spin-down energy, and (b) the FRB duration is shorter than the NS rotation period. In the case of a circular cone emission geometry, conditions (a) and (b) determine the NS parameters within very small ranges, compared with that from only condition (a) discussed in previous works. Anisotropy of the pulsed emission does not affect the area of the allowed parameter region by virtue of condition (b). The determined parameters are consistent with those independently limited by the properties of the possible persistent radio counterpart and the circumburst environments such as surrounding materials. Since the NS in the allowed parameter region is older than the spin-down timescale, the hypothetical GRP (giant radio pulse)-like model expects a rapid radio flux decay of ≲1 Jy within a few years as the spin-down luminosity decreases. The continuous monitoring will provide constraints on the young NS models. If no flux evolution is seen, we need to consider an alternative model, e.g., the magnetically powered flare.

Integrated systems optimization model for biofuel development: The influence of environmental constraints

Science.gov (United States)

Housh, M.; Ng, T.; Cai, X.

2012-12-01

The environmental impact is one of the major concerns of biofuel development. While many other studies have examined the impact of biofuel expansion on stream flow and water quality, this study examines the problem from the other side - will and how a biofuel production target be affected by given environmental constraints. For this purpose, an integrated model comprises of different sub-systems of biofuel refineries, transportation, agriculture, water resources and crops/ethanol market has been developed. The sub-systems are integrated into one large-scale model to guide the optimal development plan considering the interdependency between the subsystems. The optimal development plan includes biofuel refineries location and capacity, refinery operation, land allocation between biofuel and food crops, and the corresponding stream flow and nitrate load in the watershed. The watershed is modeled as a network flow, in which the nodes represent sub-watersheds and the arcs are defined as the linkage between the sub-watersheds. The runoff contribution of each sub-watershed is determined based on the land cover and the water uses in that sub-watershed. Thus, decisions of other sub-systems such as the land allocation in the land use sub-system and the water use in the refinery sub-system define the sources and the sinks of the network. Environmental policies will be addressed in the integrated model by imposing stream flow and nitrate load constraints. These constraints can be specified by location and time in the watershed to reflect the spatial and temporal variation of the regulations. Preliminary results show that imposing monthly water flow constraints and yearly nitrate load constraints will change the biofuel development plan dramatically. Sensitivity analysis is performed to examine how the environmental constraints and their spatial and the temporal distribution influence the overall biofuel development plan and the performance of each of the sub

Development and verification of printed circuit board toroidal transformer model

DEFF Research Database (Denmark)

Pejtersen, Jens; Mønster, Jakob Døllner; Knott, Arnold

2013-01-01

An analytical model of an air core printed circuit board embedded toroidal transformer configuration is presented. The transformer has been developed for galvanic isolation of very high frequency switch-mode dc-dc power converter applications. The theoretical model is developed and verified...... by comparing calculated parameters with 3D finite element simulations and experimental measurement results. The developed transformer model shows good agreement with the simulated and measured results. The model can be used to predict the parameters of printed circuit board toroidal transformer configurations...

Modeling and Measurement Constraints in Fault Diagnostics for HVAC Systems

Energy Technology Data Exchange (ETDEWEB)

Najafi, Massieh; Auslander, David M.; Bartlett, Peter L.; Haves, Philip; Sohn, Michael D.

2010-05-30

Many studies have shown that energy savings of five to fifteen percent are achievable in commercial buildings by detecting and correcting building faults, and optimizing building control systems. However, in spite of good progress in developing tools for determining HVAC diagnostics, methods to detect faults in HVAC systems are still generally undeveloped. Most approaches use numerical filtering or parameter estimation methods to compare data from energy meters and building sensors to predictions from mathematical or statistical models. They are effective when models are relatively accurate and data contain few errors. In this paper, we address the case where models are imperfect and data are variable, uncertain, and can contain error. We apply a Bayesian updating approach that is systematic in managing and accounting for most forms of model and data errors. The proposed method uses both knowledge of first principle modeling and empirical results to analyze the system performance within the boundaries defined by practical constraints. We demonstrate the approach by detecting faults in commercial building air handling units. We find that the limitations that exist in air handling unit diagnostics due to practical constraints can generally be effectively addressed through the proposed approach.

An analysis dictionary learning algorithm under a noisy data model with orthogonality constraint.

Science.gov (United States)

Zhang, Ye; Yu, Tenglong; Wang, Wenwu

2014-01-01

Two common problems are often encountered in analysis dictionary learning (ADL) algorithms. The first one is that the original clean signals for learning the dictionary are assumed to be known, which otherwise need to be estimated from noisy measurements. This, however, renders a computationally slow optimization process and potentially unreliable estimation (if the noise level is high), as represented by the Analysis K-SVD (AK-SVD) algorithm. The other problem is the trivial solution to the dictionary, for example, the null dictionary matrix that may be given by a dictionary learning algorithm, as discussed in the learning overcomplete sparsifying transform (LOST) algorithm. Here we propose a novel optimization model and an iterative algorithm to learn the analysis dictionary, where we directly employ the observed data to compute the approximate analysis sparse representation of the original signals (leading to a fast optimization procedure) and enforce an orthogonality constraint on the optimization criterion to avoid the trivial solutions. Experiments demonstrate the competitive performance of the proposed algorithm as compared with three baselines, namely, the AK-SVD, LOST, and NAAOLA algorithms.

An Analysis Dictionary Learning Algorithm under a Noisy Data Model with Orthogonality Constraint

Directory of Open Access Journals (Sweden)

Ye Zhang

2014-01-01

Full Text Available Two common problems are often encountered in analysis dictionary learning (ADL algorithms. The first one is that the original clean signals for learning the dictionary are assumed to be known, which otherwise need to be estimated from noisy measurements. This, however, renders a computationally slow optimization process and potentially unreliable estimation (if the noise level is high, as represented by the Analysis K-SVD (AK-SVD algorithm. The other problem is the trivial solution to the dictionary, for example, the null dictionary matrix that may be given by a dictionary learning algorithm, as discussed in the learning overcomplete sparsifying transform (LOST algorithm. Here we propose a novel optimization model and an iterative algorithm to learn the analysis dictionary, where we directly employ the observed data to compute the approximate analysis sparse representation of the original signals (leading to a fast optimization procedure and enforce an orthogonality constraint on the optimization criterion to avoid the trivial solutions. Experiments demonstrate the competitive performance of the proposed algorithm as compared with three baselines, namely, the AK-SVD, LOST, and NAAOLA algorithms.

TIME SERIES ANALYSIS USING A UNIQUE MODEL OF TRANSFORMATION

Directory of Open Access Journals (Sweden)

Goran Klepac

2007-12-01

Full Text Available REFII1 model is an authorial mathematical model for time series data mining. The main purpose of that model is to automate time series analysis, through a unique transformation model of time series. An advantage of this approach of time series analysis is the linkage of different methods for time series analysis, linking traditional data mining tools in time series, and constructing new algorithms for analyzing time series. It is worth mentioning that REFII model is not a closed system, which means that we have a finite set of methods. At first, this is a model for transformation of values of time series, which prepares data used by different sets of methods based on the same model of transformation in a domain of problem space. REFII model gives a new approach in time series analysis based on a unique model of transformation, which is a base for all kind of time series analysis. The advantage of REFII model is its possible application in many different areas such as finance, medicine, voice recognition, face recognition and text mining.

Multi-linear model of transformation of runoff in river-basins

International Nuclear Information System (INIS)

Szolgay, J.; Kubes, R.

2005-01-01

The component part of atmospheric precipitations-runoff model of Hron River is a individual model of transformation of flows in river network, too, which transforms runoff from separate partial catchment basin into terminal profile. This component of precipitations-runoff model can also be used as individual hydrologic transformation model of runoff waves in river-basin. Identification and calibration of this model is realised independently on precipitations-runoff model of Hron River, which is described in this chapter in detail.

Three level constraints on conformal field theories and string models

International Nuclear Information System (INIS)

Lewellen, D.C.

1989-05-01

Simple tree level constraints for conformal field theories which follow from the requirement of crossing symmetry of four-point amplitudes are presented, and their utility for probing general properties of string models is briefly illustrated and discussed. 9 refs

Code Generation by Model Transformation : A Case Study in Transformation Modularity

NARCIS (Netherlands)

Hemel, Z.; Kats, L.C.L.; Visser, E.

2008-01-01

Preprint of paper published in: Theory and Practice of Model Transformations (ICMT 2008), Lecture Notes in Computer Science 5063; doi:10.1007/978-3-540-69927-9_13 The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific

Stability Constraints for Robust Model Predictive Control

Directory of Open Access Journals (Sweden)

Amanda G. S. Ottoni

2015-01-01

Full Text Available This paper proposes an approach for the robust stabilization of systems controlled by MPC strategies. Uncertain SISO linear systems with box-bounded parametric uncertainties are considered. The proposed approach delivers some constraints on the control inputs which impose sufficient conditions for the convergence of the system output. These stability constraints can be included in the set of constraints dealt with by existing MPC design strategies, in this way leading to the “robustification” of the MPC.

A new General Lorentz Transformation model

International Nuclear Information System (INIS)

Novakovic, Branko; Novakovic, Alen; Novakovic, Dario

2000-01-01

A new general structure of Lorentz Transformations, in the form of General Lorentz Transformation model (GLT-model), has been derived. This structure includes both Lorentz-Einstein and Galilean Transformations as its particular (special) realizations. Since the free parameters of GLT-model have been identified in a gravitational field, GLT-model can be employed both in Special and General Relativity. Consequently, the possibilities of an unification of Einstein's Special and General Theories of Relativity, as well as an unification of electromagnetic and gravitational fields are opened. If GLT-model is correct then there exist four new observation phenomena (a length and time neutrality, and a length dilation and a time contraction). Besides, the well-known phenomena (a length contraction, and a time dilation) are also the constituents of GLT-model. It means that there is a symmetry in GLT-model, where the center of this symmetry is represented by a length and a time neutrality. A time and a length neutrality in a gravitational field can be realized if the velocity of a moving system is equal to the free fall velocity. A time and a length neutrality include an observation of a particle mass neutrality. A special consideration has been devoted to a correlation between GLT-model and a limitation on particle velocities in order to investigate the possibility of a travel time reduction. It is found out that an observation of a particle speed faster then c=299 792 458 m/s, is possible in a gravitational field, if certain conditions are fulfilled

Constraint programming for modelling and solving modal satisfiability

NARCIS (Netherlands)

Brand, S.; Gennari, R.; de Rijke, M.

2003-01-01

We explore to what extent and how efficiently constraint programmingcan be used in the context of automated reasoning for modal logics. We encode modal satisfiability problems as constraint satisfactionproblems with non-boolean domains, together with suitable constraints.Experiments show that the

Temporal Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank Dan

2002-01-01

The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied...

The Schwinger Dyson equations and the algebra of constraints of random tensor models at all orders

International Nuclear Information System (INIS)

Gurau, Razvan

2012-01-01

Random tensor models for a generic complex tensor generalize matrix models in arbitrary dimensions and yield a theory of random geometries. They support a 1/N expansion dominated by graphs of spherical topology. Their Schwinger Dyson equations, generalizing the loop equations of matrix models, translate into constraints satisfied by the partition function. The constraints have been shown, in the large N limit, to close a Lie algebra indexed by colored rooted D-ary trees yielding a first generalization of the Virasoro algebra in arbitrary dimensions. In this paper we complete the Schwinger Dyson equations and the associated algebra at all orders in 1/N. The full algebra of constraints is indexed by D-colored graphs, and the leading order D-ary tree algebra is a Lie subalgebra of the full constraints algebra.

Theory and Model for Martensitic Transformations

DEFF Research Database (Denmark)

Lindgård, Per-Anker; Mouritsen, Ole G.

1986-01-01

Martensitic transformations are shown to be driven by the interplay between two fluctuating strain components. No soft mode is needed, but a central peak occurs representing the dynamics of strain clusters. A two-dimensional magnetic-analog model with the martensitic-transition symmetry is constr......Martensitic transformations are shown to be driven by the interplay between two fluctuating strain components. No soft mode is needed, but a central peak occurs representing the dynamics of strain clusters. A two-dimensional magnetic-analog model with the martensitic-transition symmetry...... is constructed and analyzed by computer simulation and by a theory which accounts for correlation effects. Dramatic precursor effects at the first-order transition are demonstrated. The model is also of relevance for surface reconstruction transitions....

Model heat flow and magnetotellurics for the San Andreas and oceanic transform faults

International Nuclear Information System (INIS)

Ricard, Y.; Froidevaux, C.; Hermance, J.F.

1983-01-01

Two-dimensional temperature structures are computed for a lithospheric shear zone in order to predict the geometry of the hot anomalous region caused by shear heating. The results are compatible with earlier one-dimensional models. The comparison with the heat flow data from California is quite satisfactory. It requires to take into account the geometrical constraints corresponding to the migration of the Mendocino triple point. This is obtained by solving the time dependent heat equation. The possibility to probe the existence of a sub-Moho hot window by magnetotelluric sounding is then examined. A drop in apparent resistivity by a factor 2 to 4 is predicted. However, the presence of conductive sedimentary basins at the surface may hide this effect in California. In this respect the ocean floor transform faults might offer a somewhat simpler site for field observations

Unifying approach for model transformations in the MOF metamodeling architecture

NARCIS (Netherlands)

Ivanov, Ivan; van den Berg, Klaas

2004-01-01

In the Meta Object Facility (MOF) metamodeling architecture a number of model transformation scenarios can be identified. It could be expected that a metamodeling architecture will be accompanied by a transformation technology supporting the model transformation scenarios in a uniform way. Despite

Higher order statistics of curvature perturbations in IFF model and its Planck constraints

International Nuclear Information System (INIS)

Fujita, Tomohiro; Yokoyama, Shuichiro

2013-01-01

We compute the power spectrum P ζ and non-linear parameters f NL and τ NL of the curvature perturbation induced during inflation by the electromagnetic fields in the kinetic coupling model (IFF model). By using the observational result of P ζ ,f NL and τ NL reported by the Planck collaboration, we study the constraint on the model comprehensively. Interestingly, if the single slow-rolling inflaton is responsible for the observed P ζ , the constraint from τ NL is most stringent. We also find a general relationship between f NL and τ NL generated in this model. Even if f NL ∼ O(1), a detectable τ NL can be produced

A multi-period, multi-regional generation expansion planning model incorporating unit commitment constraints

International Nuclear Information System (INIS)

Koltsaklis, Nikolaos E.; Georgiadis, Michael C.

2015-01-01

Highlights: • A short-term structured investment planning model has been developed. • Unit commitment problem is incorporated into the long-term planning horizon. • Inherent intermittency of renewables is modelled in a comprehensive way. • The impact of CO_2 emission pricing in long-term investment decisions is quantified. • The evolution of system’s marginal price is evaluated for all the planning horizon. - Abstract: This work presents a generic mixed integer linear programming (MILP) model that integrates the unit commitment problem (UCP), i.e., daily energy planning with the long-term generation expansion planning (GEP) framework. Typical daily constraints at an hourly level such as start-up and shut-down related decisions (start-up type, minimum up and down time, synchronization, soak and desynchronization time constraints), ramping limits, system reserve requirements are combined with representative yearly constraints such as power capacity additions, power generation bounds of each unit, peak reserve requirements, and energy policy issues (renewables penetration limits, CO_2 emissions cap and pricing). For modelling purposes, a representative day (24 h) of each month over a number of years has been employed in order to determine the optimal capacity additions, electricity market clearing prices, and daily operational planning of the studied power system. The model has been tested on an illustrative case study of the Greek power system. Our approach aims to provide useful insight into strategic and challenging decisions to be determined by investors and/or policy makers at a national and/or regional level by providing the optimal energy roadmap under real operating and design constraints.

Building adaptable and reusable XML applications with model transformations

NARCIS (Netherlands)

Ivanov, Ivan; van den Berg, Klaas

2005-01-01

We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific model. The application specific model implements the intended behavior of documents written in the language. A transformation

Tie Points Extraction for SAR Images Based on Differential Constraints

Science.gov (United States)

Xiong, X.; Jin, G.; Xu, Q.; Zhang, H.

2018-04-01

Automatically extracting tie points (TPs) on large-size synthetic aperture radar (SAR) images is still challenging because the efficiency and correct ratio of the image matching need to be improved. This paper proposes an automatic TPs extraction method based on differential constraints for large-size SAR images obtained from approximately parallel tracks, between which the relative geometric distortions are small in azimuth direction and large in range direction. Image pyramids are built firstly, and then corresponding layers of pyramids are matched from the top to the bottom. In the process, the similarity is measured by the normalized cross correlation (NCC) algorithm, which is calculated from a rectangular window with the long side parallel to the azimuth direction. False matches are removed by the differential constrained random sample consensus (DC-RANSAC) algorithm, which appends strong constraints in azimuth direction and weak constraints in range direction. Matching points in the lower pyramid images are predicted with the local bilinear transformation model in range direction. Experiments performed on ENVISAT ASAR and Chinese airborne SAR images validated the efficiency, correct ratio and accuracy of the proposed method.

Observational constraints on tachyonic chameleon dark energy model

Science.gov (United States)

Banijamali, A.; Bellucci, S.; Fazlpour, B.; Solbi, M.

2018-03-01

It has been recently shown that tachyonic chameleon model of dark energy in which tachyon scalar field non-minimally coupled to the matter admits stable scaling attractor solution that could give rise to the late-time accelerated expansion of the universe and hence alleviate the coincidence problem. In the present work, we use data from Type Ia supernova (SN Ia) and Baryon Acoustic oscillations to place constraints on the model parameters. In our analysis we consider in general exponential and non-exponential forms for the non-minimal coupling function and tachyonic potential and show that the scenario is compatible with observations.

Dark matter constraints in the minimal and nonminimal supersymmetric standard model

International Nuclear Information System (INIS)

Stephan, A.

1998-01-01

We determine the allowed parameter space and the particle spectra of the minimal SUSY standard model (MSSM) and nonminimal SUSY standard model (NMSSM) imposing correct electroweak gauge symmetry breaking and recent experimental constraints. The parameters of the models are evolved with the SUSY renormalization group equations assuming universality at the grand unified scale. Applying the new unbounded from below constraints we can exclude the lightest SUSY particle singlinos and light scalar and pseudoscalar Higgs singlets of the NMSSM. This exclusion removes the experimental possibility to distinguish between the MSSM and NMSSM via the recently proposed search for an additional cascade produced in the decay of the B-ino into the LSP singlino. Furthermore, the effects of the dark matter condition for the MSSM and NMSSM are investigated and the differences concerning the parameter space, the SUSY particle, and Higgs sector are discussed. thinsp copyright 1998 The American Physical Society

Transformative leadership: an ethical stewardship model for healthcare.

Science.gov (United States)

Caldwell, Cam; Voelker, Carolyn; Dixon, Rolf D; LeJeune, Adena

2008-01-01

The need for effective leadership is a compelling priority for those who would choose to govern in public, private, and nonprofit organizations, and applies as much to the healthcare profession as it does to other sectors of the economy (Moody, Horton-Deutsch, & Pesut, 2007). Transformative Leadership, an approach to leadership and governance that incorporates the best characteristics of six other highly respected leadership models, is an integrative theory of ethical stewardship that can help healthcare professionals to more effectively achieve organizational efficiencies, build stakeholder commitment and trust, and create valuable synergies to transform and enrich today's healthcare systems (cf. Caldwell, LeJeune, & Dixon, 2007). The purpose of this article is to introduce the concept of Transformative Leadership and to explain how this model applies within a healthcare context. We define Transformative Leadership and identify its relationship to Transformational, Charismatic, Level 5, Principle-Centered, Servant, and Covenantal Leadership--providing examples of each of these elements of Transformative Leadership within a healthcare leadership context. We conclude by identifying contributions of this article to the healthcare leadership literature.

A note on a model for quay crane scheduling with non-crossing constraints

DEFF Research Database (Denmark)

Santini, Alberto; Friberg, Henrik Alsing; Røpke, Stefan

2015-01-01

This article studies the quay crane scheduling problem with non-crossing constraints, which is an operational problem that arises in container terminals. An enhancement to a mixed integer programming model for the problem is proposed and a new class of valid inequalities is introduced. Computatio......This article studies the quay crane scheduling problem with non-crossing constraints, which is an operational problem that arises in container terminals. An enhancement to a mixed integer programming model for the problem is proposed and a new class of valid inequalities is introduced...

Temporal Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Valencia Posso, Frank Dan

2002-01-01

The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied...... reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus...

Solar constraints

International Nuclear Information System (INIS)

Provost, J.

1984-01-01

Accurate tests of the theory of stellar structure and evolution are available from the Sun's observations. The solar constraints are reviewed, with a special attention to the recent progress in observing global solar oscillations. Each constraint is sensitive to a given region of the Sun. The present solar models (standard, low Z, mixed) are discussed with respect to neutrino flux, low and high degree five-minute oscillations and low degree internal gravity modes. It appears that actually there do not exist solar models able to fully account for all the observed quantities. (Auth.)

Feasibility of EPC to BPEL Model Transformations based on Ontology and Patterns

NARCIS (Netherlands)

Meertens, Lucas O.; Iacob, Maria Eugenia; Eckartz, Silja M.; Rinderle-Ma, Stefanie; Sadiq, Shazia; Leymann, Frank

2010-01-01

Model-Driven Engineering holds the promise of transforming business models into code automatically. This requires the concept of model transformation. In this paper, we assess the feasibility of model transformations from Event-driven Process Chain models to Business Process Execution Language

Strongest experimental constraints on SU(5)xU(1) supergravity models

International Nuclear Information System (INIS)

Lopez, J.L.; Nanopoulos, D.V.; Park, G.T.; Zichichi, A.

1994-01-01

We consider a class of well-motivated string-inspired flipped SU(5) supergravity models which include four supersymmetry-breaking scenarios: no-scale, strict no-scale, dilaton, and special dilaton, such that only three parameters are needed to describe all new phenomena (m t ,tanβ,m g ). We show that the CERN LEP precise measurements of the electroweak parameters in the form of the ε 1 variable and the CLEO II allowed range for B(b→sγ) are at present the most important experimental constraints on this class of models. For m t approx-gt 155 (165) GeV, the ε 1 constraint [at 90 (95)% C.L.] requires the presence of light charginos (m χ1 ± approx-lt 50--100 GeV depending on m t ). Since all sparticle masses are proportional to m g , m χ1 ± approx-lt 100 GeV implies m χ1 0 approx-lt 55 GeV, m χ2 0 approx-lt 100 GeV, m g approx-lt 360 GeV, m q approx-lt 350 (365) GeV, m e R approx-lt 80 (125) GeV, m e L approx-lt 120 (155) GeV, and m n u approx-lt 100 (140) GeV in the no-scale (dilaton) flipped SU(5) supergravity model. The B(b→sγ) constraint excludes a significant fraction of the otherwise allowed region in the (m χ1 ± ,tanβ) plane (irrespective of the magnitude of the chargino mass), while future experimental improvements will result in decisive tests of these models

Development of a kinetic model for bainitic isothermal transformation in transformation-induced plasticity steels

International Nuclear Information System (INIS)

Li, S.; Zhu, R.; Karaman, I.; Arróyave, R.

2013-01-01

In this work, we modify existing models to simulate the kinetics of bainitic transformation during the bainitic isothermal transformation (BIT) stage of a typical two-stage heat treatment – BIT is preceded by an intercritical annealing treatment – for TRIP steels. This effort is motivated by experiments performed in a conventional TRIP steel alloy (Fe–0.32C–1.42Mn–1.56Si) that suggest that thermodynamics alone are not sufficient to predict the amount of retained austenite after BIT. The model implemented in this work considers the non-homogeneous distribution of carbon – resulting from finite carbon diffusion rates – within the retained austenite during bainitic transformation. This non-homogeneous distribution is responsible for average austenite carbon enrichments beyond the so-called T 0 line, the temperature at which the chemical driving force for the bainitic transformation is exhausted. In order to attain good agreement with experiments, the existence of carbon-rich austenite films adjacent to bainitic ferrite plates is posited. The presence of this austenite film is motivated by earlier experimental work published by other groups in the past decade. The model is compared with experimental results and good qualitative agreement is found

A multi-objective constraint-based approach for modeling genome-scale microbial ecosystems.

Science.gov (United States)

Budinich, Marko; Bourdon, Jérémie; Larhlimi, Abdelhalim; Eveillard, Damien

2017-01-01

Interplay within microbial communities impacts ecosystems on several scales, and elucidation of the consequent effects is a difficult task in ecology. In particular, the integration of genome-scale data within quantitative models of microbial ecosystems remains elusive. This study advocates the use of constraint-based modeling to build predictive models from recent high-resolution -omics datasets. Following recent studies that have demonstrated the accuracy of constraint-based models (CBMs) for simulating single-strain metabolic networks, we sought to study microbial ecosystems as a combination of single-strain metabolic networks that exchange nutrients. This study presents two multi-objective extensions of CBMs for modeling communities: multi-objective flux balance analysis (MO-FBA) and multi-objective flux variability analysis (MO-FVA). Both methods were applied to a hot spring mat model ecosystem. As a result, multiple trade-offs between nutrients and growth rates, as well as thermodynamically favorable relative abundances at community level, were emphasized. We expect this approach to be used for integrating genomic information in microbial ecosystems. Following models will provide insights about behaviors (including diversity) that take place at the ecosystem scale.

Bayesian Hierarchical Scale Mixtures of Log-Normal Models for Inference in Reliability with Stochastic Constraint

Directory of Open Access Journals (Sweden)

Hea-Jung Kim

2017-06-01

Full Text Available This paper develops Bayesian inference in reliability of a class of scale mixtures of log-normal failure time (SMLNFT models with stochastic (or uncertain constraint in their reliability measures. The class is comprehensive and includes existing failure time (FT models (such as log-normal, log-Cauchy, and log-logistic FT models as well as new models that are robust in terms of heavy-tailed FT observations. Since classical frequency approaches to reliability analysis based on the SMLNFT model with stochastic constraint are intractable, the Bayesian method is pursued utilizing a Markov chain Monte Carlo (MCMC sampling based approach. This paper introduces a two-stage maximum entropy (MaxEnt prior, which elicits a priori uncertain constraint and develops Bayesian hierarchical SMLNFT model by using the prior. The paper also proposes an MCMC method for Bayesian inference in the SMLNFT model reliability and calls attention to properties of the MaxEnt prior that are useful for method development. Finally, two data sets are used to illustrate how the proposed methodology works.

The comparison study among several data transformations in autoregressive modeling

Science.gov (United States)

Setiyowati, Susi; Waluyo, Ramdhani Try

2015-12-01

In finance, the adjusted close of stocks are used to observe the performance of a company. The extreme prices, which may increase or decrease drastically, are often become particular concerned since it can impact to bankruptcy. As preventing action, the investors have to observe the future (forecasting) stock prices comprehensively. For that purpose, time series analysis could be one of statistical methods that can be implemented, for both stationary and non-stationary processes. Since the variability process of stocks prices tend to large and also most of time the extreme values are always exist, then it is necessary to do data transformation so that the time series models, i.e. autoregressive model, could be applied appropriately. One of popular data transformation in finance is return model, in addition to ratio of logarithm and some others Tukey ladder transformation. In this paper these transformations are applied to AR stationary models and non-stationary ARCH and GARCH models through some simulations with varying parameters. As results, this work present the suggestion table that shows transformations behavior for some condition of parameters and models. It is confirmed that the better transformation is obtained, depends on type of data distributions. In other hands, the parameter conditions term give significant influence either.

An extended analytical model for solid-state phase transformation upon continuous heating and cooling processes: Application in γ/α transformation

International Nuclear Information System (INIS)

Jiang, Y.-H.; Liu, F.; Song, S.-J.

2012-01-01

An extended analytical model is derived for non-isothermal solid-state phase transformation assuming interface-controlled growth mode, e.g. polymorphic or allotropic transformation. In the modeling, incorporation of thermodynamic factor into kinetics of nucleation and growth is performed, so that the model can be used to describe the transformation occurring either near or far from the equilibrium state. Furthermore, the effect of the initial transformation temperature is included through a special treatment for the “temperature integral”, so that the model can be used to depict the transformation during either continuous heating or continuous cooling. Numerical calculations demonstrate that the extended analytical model is accurate enough for practical use. On this basis, a general rate equation for non-isothermal (isochronal heating and cooling) transformation is derived. Applying the present model, the overall kinetic behavior of γ/α transformation in binary substitutional Fe-based alloys (e.g. Fe–Mn and Fe–Cu) upon cooling, measured by dilatometry, is described successfully. Compared with previous work, where a site saturation assumption is generally made, the prevalence of continuous nucleation deduced using the present model prediction seems more reasonable.

Consistent constraints on the Standard Model Effective Field Theory

International Nuclear Information System (INIS)

Berthier, Laure; Trott, Michael

2016-01-01

We develop the global constraint picture in the (linear) effective field theory generalisation of the Standard Model, incorporating data from detectors that operated at PEP, PETRA, TRISTAN, SpS, Tevatron, SLAC, LEPI and LEP II, as well as low energy precision data. We fit one hundred and three observables. We develop a theory error metric for this effective field theory, which is required when constraints on parameters at leading order in the power counting are to be pushed to the percent level, or beyond, unless the cut off scale is assumed to be large, Λ≳ 3 TeV. We more consistently incorporate theoretical errors in this work, avoiding this assumption, and as a direct consequence bounds on some leading parameters are relaxed. We show how an S,T analysis is modified by the theory errors we include as an illustrative example.

Fluence map optimization (FMO) with dose–volume constraints in IMRT using the geometric distance sorting method

International Nuclear Information System (INIS)

Lan Yihua; Li Cunhua; Ren Haozheng; Zhang Yong; Min Zhifang

2012-01-01

A new heuristic algorithm based on the so-called geometric distance sorting technique is proposed for solving the fluence map optimization with dose–volume constraints which is one of the most essential tasks for inverse planning in IMRT. The framework of the proposed method is basically an iterative process which begins with a simple linear constrained quadratic optimization model without considering any dose–volume constraints, and then the dose constraints for the voxels violating the dose–volume constraints are gradually added into the quadratic optimization model step by step until all the dose–volume constraints are satisfied. In each iteration step, an interior point method is adopted to solve each new linear constrained quadratic programming. For choosing the proper candidate voxels for the current dose constraint adding, a so-called geometric distance defined in the transformed standard quadratic form of the fluence map optimization model was used to guide the selection of the voxels. The new geometric distance sorting technique can mostly reduce the unexpected increase of the objective function value caused inevitably by the constraint adding. It can be regarded as an upgrading to the traditional dose sorting technique. The geometry explanation for the proposed method is also given and a proposition is proved to support our heuristic idea. In addition, a smart constraint adding/deleting strategy is designed to ensure a stable iteration convergence. The new algorithm is tested on four cases including head–neck, a prostate, a lung and an oropharyngeal, and compared with the algorithm based on the traditional dose sorting technique. Experimental results showed that the proposed method is more suitable for guiding the selection of new constraints than the traditional dose sorting method, especially for the cases whose target regions are in non-convex shapes. It is a more efficient optimization technique to some extent for choosing constraints than

Fluence map optimization (FMO) with dose-volume constraints in IMRT using the geometric distance sorting method.

Science.gov (United States)

Lan, Yihua; Li, Cunhua; Ren, Haozheng; Zhang, Yong; Min, Zhifang

2012-10-21

A new heuristic algorithm based on the so-called geometric distance sorting technique is proposed for solving the fluence map optimization with dose-volume constraints which is one of the most essential tasks for inverse planning in IMRT. The framework of the proposed method is basically an iterative process which begins with a simple linear constrained quadratic optimization model without considering any dose-volume constraints, and then the dose constraints for the voxels violating the dose-volume constraints are gradually added into the quadratic optimization model step by step until all the dose-volume constraints are satisfied. In each iteration step, an interior point method is adopted to solve each new linear constrained quadratic programming. For choosing the proper candidate voxels for the current dose constraint adding, a so-called geometric distance defined in the transformed standard quadratic form of the fluence map optimization model was used to guide the selection of the voxels. The new geometric distance sorting technique can mostly reduce the unexpected increase of the objective function value caused inevitably by the constraint adding. It can be regarded as an upgrading to the traditional dose sorting technique. The geometry explanation for the proposed method is also given and a proposition is proved to support our heuristic idea. In addition, a smart constraint adding/deleting strategy is designed to ensure a stable iteration convergence. The new algorithm is tested on four cases including head-neck, a prostate, a lung and an oropharyngeal, and compared with the algorithm based on the traditional dose sorting technique. Experimental results showed that the proposed method is more suitable for guiding the selection of new constraints than the traditional dose sorting method, especially for the cases whose target regions are in non-convex shapes. It is a more efficient optimization technique to some extent for choosing constraints than the dose

Local Model Checking of Weighted CTL with Upper-Bound Constraints

DEFF Research Database (Denmark)

Jensen, Jonas Finnemann; Larsen, Kim Guldstrand; Srba, Jiri

2013-01-01

We present a symbolic extension of dependency graphs by Liu and Smolka in order to model-check weighted Kripke structures against the logic CTL with upper-bound weight constraints. Our extension introduces a new type of edges into dependency graphs and lifts the computation of fixed-points from...

Bayesian Model Selection under Time Constraints

Science.gov (United States)

Hoege, M.; Nowak, W.; Illman, W. A.

2017-12-01

Bayesian model selection (BMS) provides a consistent framework for rating and comparing models in multi-model inference. In cases where models of vastly different complexity compete with each other, we also face vastly different computational runtimes of such models. For instance, time series of a quantity of interest can be simulated by an autoregressive process model that takes even less than a second for one run, or by a partial differential equations-based model with runtimes up to several hours or even days. The classical BMS is based on a quantity called Bayesian model evidence (BME). It determines the model weights in the selection process and resembles a trade-off between bias of a model and its complexity. However, in practice, the runtime of models is another weight relevant factor for model selection. Hence, we believe that it should be included, leading to an overall trade-off problem between bias, variance and computing effort. We approach this triple trade-off from the viewpoint of our ability to generate realizations of the models under a given computational budget. One way to obtain BME values is through sampling-based integration techniques. We argue with the fact that more expensive models can be sampled much less under time constraints than faster models (in straight proportion to their runtime). The computed evidence in favor of a more expensive model is statistically less significant than the evidence computed in favor of a faster model, since sampling-based strategies are always subject to statistical sampling error. We present a straightforward way to include this misbalance into the model weights that are the basis for model selection. Our approach follows directly from the idea of insufficient significance. It is based on a computationally cheap bootstrapping error estimate of model evidence and is easy to implement. The approach is illustrated in a small synthetic modeling study.

Motion and deformation estimation from medical imagery by modeling sub-structure interaction and constraints

KAUST Repository

Sundaramoorthi, Ganesh

2012-09-13

This paper presents a novel medical image registration algorithm that explicitly models the physical constraints imposed by objects or sub-structures of objects that have differing material composition and border each other, which is the case in most medical registration applications. Typical medical image registration algorithms ignore these constraints and therefore are not physically viable, and to incorporate these constraints would require prior segmentation of the image into regions of differing material composition, which is a difficult problem in itself. We present a mathematical model and algorithm for incorporating these physical constraints into registration / motion and deformation estimation that does not require a segmentation of different material regions. Our algorithm is a joint estimation of different material regions and the motion/deformation within these regions. Therefore, the segmentation of different material regions is automatically provided in addition to the image registration satisfying the physical constraints. The algorithm identifies differing material regions (sub-structures or objects) as regions where the deformation has different characteristics. We demonstrate the effectiveness of our method on the analysis of cardiac MRI which includes the detection of the left ventricle boundary and its deformation. The experimental results indicate the potential of the algorithm as an assistant tool for the quantitative analysis of cardiac functions in the diagnosis of heart disease.

Constraints on cosmic opacity and beyond the standard model physics from cosmological distance measurements

International Nuclear Information System (INIS)

Avgoustidis, Anastasios; Redondo, Javier; Verde, Licia; Jimenez, Raul

2010-04-01

We update constraints on cosmic opacity by combining recent SN Type Ia data compilation with the latest measurements of the Hubble expansion at redshifts between 0 and 2. The new constraint on the parameter ε parametrising deviations from the luminosity-angular diameter distance relation (d L =d A (1+z) 2+ε ), is ε=-0.04 -0.07 +0.08 (2-σ). For the redshift range between 0.2 and 0.35 this corresponds to an opacity Δτ<0.012 (95% C.L.), a factor of 2 stronger than the previous constraint. Various models of beyond the standard model physics that predict violation of photon number conservation contribute to the opacity and can be equally constrained. In this paper we put new limits on axion-like particles, including chameleons, and minicharged particles. (orig.)

Hamiltonian constraint in polymer parametrized field theory

International Nuclear Information System (INIS)

Laddha, Alok; Varadarajan, Madhavan

2011-01-01

Recently, a generally covariant reformulation of two-dimensional flat spacetime free scalar field theory known as parametrized field theory was quantized using loop quantum gravity (LQG) type ''polymer'' representations. Physical states were constructed, without intermediate regularization structures, by averaging over the group of gauge transformations generated by the constraints, the constraint algebra being a Lie algebra. We consider classically equivalent combinations of these constraints corresponding to a diffeomorphism and a Hamiltonian constraint, which, as in gravity, define a Dirac algebra. Our treatment of the quantum constraints parallels that of LQG and obtains the following results, expected to be of use in the construction of the quantum dynamics of LQG: (i) the (triangulated) Hamiltonian constraint acts only on vertices, its construction involves some of the same ambiguities as in LQG and its action on diffeomorphism invariant states admits a continuum limit, (ii) if the regulating holonomies are in representations tailored to the edge labels of the state, all previously obtained physical states lie in the kernel of the Hamiltonian constraint, (iii) the commutator of two (density weight 1) Hamiltonian constraints as well as the operator correspondent of their classical Poisson bracket converge to zero in the continuum limit defined by diffeomorphism invariant states, and vanish on the Lewandowski-Marolf habitat, (iv) the rescaled density 2 Hamiltonian constraints and their commutator are ill-defined on the Lewandowski-Marolf habitat despite the well-definedness of the operator correspondent of their classical Poisson bracket there, (v) there is a new habitat which supports a nontrivial representation of the Poisson-Lie algebra of density 2 constraints.

How to transform local energy systems towards bioenergy? Three strategy models for transformation

International Nuclear Information System (INIS)

Martensson, Kjell; Westerberg, Karin

2007-01-01

During the last decades, the actors within the energy sector in Sweden-as well as in many other countries-have faced increasing demands to transform the energy system towards ecological sustainability. In Sweden these demands have led to numerous policies and economic incentives promoting the use of renewables (which in the Swedish discourse often also includes a connotation of 'indigenous energy sources'), and especially the promotion of bioenergy. To be successful, however, these policies and economic incentives need to be interpreted and adapted to different local contexts and translated into actual transformation processes. In Sweden the municipal authorities have played an important role as interpreters of such institutional frameworks and implementers of local transformation processes. In this article, we re-construct three transformation processes implemented by local municipal authorities, chiselling out the different strategy models developed through them. We argue that such re-constructions help to make visible the different and complex interactions between national institutional frameworks and local contexts as well as interactions within such local contexts. We hope that the strategy models presented can contribute to the understanding of the different kinds of local actions that can foster a further implementation of bioenergy into the energy system

Comparison of BrainTool to other UML modeling and model transformation tools

Science.gov (United States)

Nikiforova, Oksana; Gusarovs, Konstantins

2017-07-01

In the last 30 years there were numerous model generated software systems offered targeting problems with the development productivity and the resulting software quality. CASE tools developed due today's date are being advertised as having "complete code-generation capabilities". Nowadays the Object Management Group (OMG) is calling similar arguments in regards to the Unified Modeling Language (UML) models at different levels of abstraction. It is being said that software development automation using CASE tools enables significant level of automation. Actual today's CASE tools are usually offering a combination of several features starting with a model editor and a model repository for a traditional ones and ending with code generator (that could be using a scripting or domain-specific (DSL) language), transformation tool to produce the new artifacts from the manually created and transformation definition editor to define new transformations for the most advanced ones. Present paper contains the results of CASE tool (mainly UML editors) comparison against the level of the automation they are offering.

Modelling of stresses generated in steels by phase transformations

International Nuclear Information System (INIS)

Dudek, K.; Glowacki, M.; Pietrzyk, M.

1999-01-01

Numerical model describing stresses arising during phase transformations in steels products is presented. The full model consists of three components. The first component uses finite element solution of Fourier equation for an evaluation of the temperature field inside the sample. The second component predicts kinetics of phase transformation occurring during cooling of steel products. Coupling of these two components allows prediction of structure and properties of final products at room temperature. The third component uses elastic-plastic finite element model for prediction of stresses caused by non-uniform temperatures and by changes of volume during transformations. Typical results of simulations performed for cooling of rails after hot rolling are presented. (author)

Models for thermal and mechanical monitoring of power transformers

Energy Technology Data Exchange (ETDEWEB)

Vilaithong, Rummiya

2011-07-01

At present, for economic reasons, there is an increasing emphasis on keeping transformers in service for longer than in the past. A condition-based maintenance using an online monitoring and diagnostic system is one option to ensure reliability of the transformer operation. The key parameters for effectively monitoring equipment can be selected by failure statistics and estimated failure consequences. In this work, two key aspects of transformer condition monitoring are addressed in depth: thermal behaviour and behaviour of on-load tap changers. In the first part of the work, transformer thermal behaviour is studied, focussing on top-oil temperatures. Through online comparison of a measured value of the top-oil temperature and its calculated value, some rapidly developing failures in power transformers such as malfunction of the cooling unit may be detected. Predictions of top-oil temperature can be obtained by means of a mathematical model. Long-term investigations on some dynamic top-oil temperature models are presented for three different types of transformer units. The last-state top-oil temperature, load current, ambient temperature and the operating state of pumps and fans are applied as inputs of the top-oil temperature models. In the fundamental physical models presented, some constant parameters are required and can be estimated using a least-squares optimization technique. Multilayer Feed-forward and Recurrent neural network models are also proposed and investigated. The neural network models are trained with three different Backpropagation training algorithms: Levenberg-Marquardt, Scaled Conjugate Gradient and Automated Bayesian Regularization. The effect of varying operating conditions of the cooling units and the non-steady-state behaviour of loading conditions, as well as ambient temperature are noted. Results show sophisticated temperature prediction is possible using the neural network models that is generally more accurate than with the physical

Constraint-based reachability

Directory of Open Access Journals (Sweden)

Arnaud Gotlieb

2013-02-01

Full Text Available Iterative imperative programs can be considered as infinite-state systems computing over possibly unbounded domains. Studying reachability in these systems is challenging as it requires to deal with an infinite number of states with standard backward or forward exploration strategies. An approach that we call Constraint-based reachability, is proposed to address reachability problems by exploring program states using a constraint model of the whole program. The keypoint of the approach is to interpret imperative constructions such as conditionals, loops, array and memory manipulations with the fundamental notion of constraint over a computational domain. By combining constraint filtering and abstraction techniques, Constraint-based reachability is able to solve reachability problems which are usually outside the scope of backward or forward exploration strategies. This paper proposes an interpretation of classical filtering consistencies used in Constraint Programming as abstract domain computations, and shows how this approach can be used to produce a constraint solver that efficiently generates solutions for reachability problems that are unsolvable by other approaches.

Application of non-bijective transformations to various potentials

International Nuclear Information System (INIS)

Kibler, M.

1987-11-01

Some results about non-bijective quadratic transformations generalizing the Kustaanheimo-Stiefel and Levi-Civita transformations are reviewed in Chapter 1. The three remaining sections are devoted to new results: Chapter 2 deals with the Lie algebras under constraints associated to some Hurwitz transformations; Chapter 3 and Chapter 4 are concerned with several applications of some Hurwitz transformations to wave equations for various potentials in R 3 and R 5

Dimensional modeling: beyond data processing constraints.

Science.gov (United States)

Bunardzic, A

1995-01-01

The focus of information processing requirements is shifting from the on-line transaction processing (OLTP) issues to the on-line analytical processing (OLAP) issues. While the former serves to ensure the feasibility of the real-time on-line transaction processing (which has already exceeded a level of up to 1,000 transactions per second under normal conditions), the latter aims at enabling more sophisticated analytical manipulation of data. The OLTP requirements, or how to efficiently get data into the system, have been solved by applying the Relational theory in the form of Entity-Relation model. There is presently no theory related to OLAP that would resolve the analytical processing requirements as efficiently as Relational theory provided for the transaction processing. The "relational dogma" also provides the mathematical foundation for the Centralized Data Processing paradigm in which mission-critical information is incorporated as 'one and only one instance' of data, thus ensuring data integrity. In such surroundings, the information that supports business analysis and decision support activities is obtained by running predefined reports and queries that are provided by the IS department. In today's intensified competitive climate, businesses are finding that this traditional approach is not good enough. The only way to stay on top of things, and to survive and prosper, is to decentralize the IS services. The newly emerging Distributed Data Processing, with its increased emphasis on empowering the end user, does not seem to find enough merit in the relational database model to justify relying upon it. Relational theory proved too rigid and complex to accommodate the analytical processing needs. In order to satisfy the OLAP requirements, or how to efficiently get the data out of the system, different models, metaphors, and theories have been devised. All of them are pointing to the need for simplifying the highly non-intuitive mathematical constraints found

FOURIER SERIES MODELS THROUGH TRANSFORMATION

African Journals Online (AJOL)

DEPT

monthly temperature data (1996 – 2005) collected from the National Root ... KEY WORDS: Fourier series, square transformation, multiplicative model, ... fluctuations or movements are often periodic(Ekpeyong,2005). .... significant trend or not, if the trend is not significant, the grand mean may be used as an estimate of trend.

Considerations Concerning Matrix Diagram Transformations Associated with Mathematical Model Study of a Three-phase Transformer

Directory of Open Access Journals (Sweden)

Mihaela Poienar

2014-09-01

Full Text Available The clock hour figure mathematical model of a threephase transformer can be expressed, in the most plain form, through a 3X3 square matrix, called code matrix. The lines position reflect the modification in the high voltage windings terminal and the columns position reflect the modification in the low voltage winding terminal. The main changes on the transformer winding terminal are: the circular permutation of connection between windings; terminal supply reversal; reverse direction for the phase winding wrapping; reversal the beginning with the end for a phase winding; the connection conversion from N in Z between phase winding or inverse. The analytical form of these changes actually affect the configuration of the mathematical model expressed through a transformations diagram proposed and analyzed in two ways: bipolar version and unipolar version (fanwise. In the end of the paper are presented about the practical exploitation of the transformations diagram.

Business models for frugal innovation : the role of Resource-Constraints

OpenAIRE

Winterhalter, Stephan; Zeschky, Marco; Gassmann, Oliver; Weiblen, Tobias

2014-01-01

Frugal Innovation is an extreme case of innovation: radically new applications are innovated for an environment of extreme resource and cost constraints. While the phenomenon of frugal innovation has been described from a product perspective, very little is known about how firms organize frugal innovation on a business model level. This study is based on a multiple case study approach investigating five business models for frugal innovation in the context of the medical equipment market in em...

ELMs and constraints on the H-mode pedestal: A model based on peeling-ballooning modes

International Nuclear Information System (INIS)

Snyder, P.B.; Ferron, J.R.; Wilson, H.R.

2003-01-01

We propose a model for Edge Localized Modes (ELMs) and pedestal constraint based upon theoretical analysis of instabilities which can limit the pedestal height and drive ELMs. The sharp pressure gradients, and resulting bootstrap current, in the pedestal region provide free energy to drive peeling and ballooning modes. The interaction of peeling-ballooning coupling, ballooning mode second stability, and finite-Larmor-radius effects results in coupled peeling-ballooning modes of intermediate wavelength generally being the limiting instability. A highly efficient new MHD code, ELITE, is used to calculate quantitative stability constraints on the pedestal, including con straits on the pedestal height. Because of the impact of collisionality on the bootstrap current, these pedestal constraints are dependant on the density and temperature separately, rather than simply on the pressure. A model of various ELM types is developed, and quantitatively compared to data. A number of observations agree with predictions, including ELM onset times, ELM depth and variation in pedestal height with collisionality and discharge shape. Stability analysis of series of model equilibria are used both o predict and interpret pedestal trends in existing experiments and to project pedestal constraints for future burning plasma tokamak designs. (author)

A multi-objective constraint-based approach for modeling genome-scale microbial ecosystems.

Directory of Open Access Journals (Sweden)

Marko Budinich

Full Text Available Interplay within microbial communities impacts ecosystems on several scales, and elucidation of the consequent effects is a difficult task in ecology. In particular, the integration of genome-scale data within quantitative models of microbial ecosystems remains elusive. This study advocates the use of constraint-based modeling to build predictive models from recent high-resolution -omics datasets. Following recent studies that have demonstrated the accuracy of constraint-based models (CBMs for simulating single-strain metabolic networks, we sought to study microbial ecosystems as a combination of single-strain metabolic networks that exchange nutrients. This study presents two multi-objective extensions of CBMs for modeling communities: multi-objective flux balance analysis (MO-FBA and multi-objective flux variability analysis (MO-FVA. Both methods were applied to a hot spring mat model ecosystem. As a result, multiple trade-offs between nutrients and growth rates, as well as thermodynamically favorable relative abundances at community level, were emphasized. We expect this approach to be used for integrating genomic information in microbial ecosystems. Following models will provide insights about behaviors (including diversity that take place at the ecosystem scale.

Modeling of magnetization reversal processes in magnetic circuits of measuring transformers

OpenAIRE

Lebedev, Vladimir; Makarov, Arkadiy; Yablokov, Andrey; Filatova, Galina

2015-01-01

The article describes methods for modeling transient regimes in current and voltage transformers. In most studies measuring transformers are modeled in a stationary mode to determine their metrological characteristics. However, for safe uninterrupted operation of transformers and electrical networks it is necessary to carry out their research in dynamic mode. In particular, the study of the transformers stability to the ferroresonant phenomena occurring during switching o...

Constraints on cosmic opacity and beyond the standard model physics from cosmological distance measurements

Energy Technology Data Exchange (ETDEWEB)

Avgoustidis, Anastasios [Centre for Theoretical Cosmology, DAMTP, CMS, Wilberforce Road, Cambridge CB3 0WA (United Kingdom); Burrage, Clare [Deutsches Elektronen Synchrotron DESY, Notkestrasse 85, D-22607 Hamburg (Germany); Redondo, Javier [Max Planck Institut für Physik, Föhringer Ring 6, D-80805, Munich (Germany); Verde, Licia; Jimenez, Raul, E-mail: a.avgoustidis@damtp.cam.ac.uk, E-mail: clare.burrage@desy.de, E-mail: redondo@mppmu.mpg.de, E-mail: liciaverde@icc.ub.edu, E-mail: raul.jimenez@icc.ub.edu [ICREA and Institute for Sciences of the Cosmos (ICC), University of Barcelona, IEEC, Barcelona 08028 (Spain)

2010-10-01

We update constraints on cosmic opacity by combining recent SN Type Ia data with the latest measurements of the Hubble expansion at redshifts between 0 and 2. The new constraint on the parameter ε parametrising deviations from the luminosity-angular diameter distance relation (d{sub L} = d{sub A}(1+z){sup 2+ε}), is ε = −0.04{sub −0.07}{sup +0.08} (2-σ). For the redshift range between 0.2 and 0.35 this corresponds to an opacity Δτ < 0.012 (95% C.L.), a factor of 2 stronger than the previous constraint. Various models of beyond the standard model physics that predict violation of photon number conservation contribute to the opacity and can be equally constrained. In this paper we put new limits on axion-like particles, including chameleons, and mini-charged particles.

Constraints on cosmic opacity and beyond the standard model physics from cosmological distance measurements

Energy Technology Data Exchange (ETDEWEB)

Avgoustidis, Anastasios [DAMTP, CMS, Cambridge (United Kingdom). Centre for Theoretical Cosmology; Burrage, Clare [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Redondo, Javier [Max-Planck-Institut fuer Physik, Munich (Germany); Verde, Licia; Jimenez, Raul [Barcelona Univ., IEEC (ES). ICREA and Inst. for Sciences of the Cosmos (ICC)

2010-04-15

We update constraints on cosmic opacity by combining recent SN Type Ia data compilation with the latest measurements of the Hubble expansion at redshifts between 0 and 2. The new constraint on the parameter {epsilon} parametrising deviations from the luminosity-angular diameter distance relation (d{sub L}=d{sub A}(1+z){sup 2+{epsilon}}), is {epsilon}=-0.04{sub -0.07}{sup +0.08} (2-{sigma}). For the redshift range between 0.2 and 0.35 this corresponds to an opacity {delta}{tau}<0.012 (95% C.L.), a factor of 2 stronger than the previous constraint. Various models of beyond the standard model physics that predict violation of photon number conservation contribute to the opacity and can be equally constrained. In this paper we put new limits on axion-like particles, including chameleons, and minicharged particles. (orig.)

TIE POINTS EXTRACTION FOR SAR IMAGES BASED ON DIFFERENTIAL CONSTRAINTS

Directory of Open Access Journals (Sweden)

X. Xiong

2018-04-01

Full Text Available Automatically extracting tie points (TPs on large-size synthetic aperture radar (SAR images is still challenging because the efficiency and correct ratio of the image matching need to be improved. This paper proposes an automatic TPs extraction method based on differential constraints for large-size SAR images obtained from approximately parallel tracks, between which the relative geometric distortions are small in azimuth direction and large in range direction. Image pyramids are built firstly, and then corresponding layers of pyramids are matched from the top to the bottom. In the process, the similarity is measured by the normalized cross correlation (NCC algorithm, which is calculated from a rectangular window with the long side parallel to the azimuth direction. False matches are removed by the differential constrained random sample consensus (DC-RANSAC algorithm, which appends strong constraints in azimuth direction and weak constraints in range direction. Matching points in the lower pyramid images are predicted with the local bilinear transformation model in range direction. Experiments performed on ENVISAT ASAR and Chinese airborne SAR images validated the efficiency, correct ratio and accuracy of the proposed method.

Wind turbine control with constraint handling: a model predictive control approach

DEFF Research Database (Denmark)

Henriksen, Lars Christian; Hansen, Morten Hartvig; Poulsen, Niels Kjølstad

2012-01-01

on model predictive control, a control method well suited for constraint handling. The performance of the presented controller during an extreme operating gust is compared to that of a proportional-integral controller with integrator anti-windup. Furthermore, the presented controller-s capability...

Entropy-optimal weight constraint elicitation with additive multi-attribute utility models

NARCIS (Netherlands)

Valkenhoef , van Gert; Tervonen, Tommi

2016-01-01

We consider the elicitation of incomplete preference information for the additive utility model in terms of linear constraints on the weights. Eliciting incomplete preferences using holistic pair-wise judgments is convenient for the decision maker, but selecting the best pair-wise comparison is

How robust are inflation model and dark matter constraints from cosmological data?

DEFF Research Database (Denmark)

Hamann, Jan; Hannestad, Steen; Sloth, Martin Snoager

2006-01-01

the tensor-to-scalar ratio r and the neutrino mass prevents lambda phi^4 from being excluded by present data. Reversing the argument, if lambda phi^4 is the correct model of inflation, it predicts a sum of neutrino masses at 0.3-0.5 eV, a range compatible with present experimental limits and within the reach......High-precision data from observation of the cosmic microwave background and the large scale structure of the universe provide very tight constraints on the effective parameters that describe cosmological inflation. Indeed, within a constrained class of LambdaCDM models, the simple lambda phi^4...... chaotic inflation model already appears to be ruled out by cosmological data. In this paper, we compute constraints on inflationary parameters within a more general framework that includes other physically motivated parameters such as a nonzero neutrino mass. We find that a strong degeneracy between...

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

DEFF Research Database (Denmark)

Banda, Gourinath; Gallagher, John Patrick

Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal t...... to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver....

Modeling nonhomogeneous Markov processes via time transformation.

Science.gov (United States)

Hubbard, R A; Inoue, L Y T; Fann, J R

2008-09-01

Longitudinal studies are a powerful tool for characterizing the course of chronic disease. These studies are usually carried out with subjects observed at periodic visits giving rise to panel data. Under this observation scheme the exact times of disease state transitions and sequence of disease states visited are unknown and Markov process models are often used to describe disease progression. Most applications of Markov process models rely on the assumption of time homogeneity, that is, that the transition rates are constant over time. This assumption is not satisfied when transition rates depend on time from the process origin. However, limited statistical tools are available for dealing with nonhomogeneity. We propose models in which the time scale of a nonhomogeneous Markov process is transformed to an operational time scale on which the process is homogeneous. We develop a method for jointly estimating the time transformation and the transition intensity matrix for the time transformed homogeneous process. We assess maximum likelihood estimation using the Fisher scoring algorithm via simulation studies and compare performance of our method to homogeneous and piecewise homogeneous models. We apply our methodology to a study of delirium progression in a cohort of stem cell transplantation recipients and show that our method identifies temporal trends in delirium incidence and recovery.

The Unfolding of Value Sources During Online Business Model Transformation

Directory of Open Access Journals (Sweden)

Nadja Hoßbach

2016-12-01

Full Text Available Purpose: In the magazine publishing industry, viable online business models are still rare to absent. To prepare for the ‘digital future’ and safeguard their long-term survival, many publishers are currently in the process of transforming their online business model. Against this backdrop, this study aims to develop a deeper understanding of (1 how the different building blocks of an online business model are transformed over time and (2 how sources of value creation unfold during this transformation process. Methodology: To answer our research question, we conducted a longitudinal case study with a leading German business magazine publisher (called BIZ. Data was triangulated from multiple sources including interviews, internal documents, and direct observations. Findings: Based on our case study, we nd that BIZ used the transformation process to differentiate its online business model from its traditional print business model along several dimensions, and that BIZ’s online business model changed from an efficiency- to a complementarity- to a novelty-based model during this process. Research implications: Our findings suggest that different business model transformation phases relate to different value sources, questioning the appropriateness of value source-based approaches for classifying business models. Practical implications: The results of our case study highlight the need for online-offline business model differentiation and point to the important distinction between service and product differentiation. Originality: Our study contributes to the business model literature by applying a dynamic and holistic perspective on the link between online business model changes and unfolding value sources.

THE CLOWER CONSTRAINTS MODEL DARI SURPLUS ATAU DEFISIT FISKAL PEMERINTAH

Directory of Open Access Journals (Sweden)

Jonni Manurung

2006-01-01

Full Text Available This study has something as a purpose to building the empirical models and the new hypothesis between the broad money, surpluses or fiscal deficit, the general price index or inflation rate, demand for monetary base and demand for bank deposit. This study also head for optimal interest rate for bank deposit at the given value of broad money, surplus or fiscal deficit, general price index, demand for monetary base, and demand for bank deposit. The model build consist to balance central bank, intertemporal budget constraint at the maximum expected utility for hold monetary base and bank deposit. The evaluation of the surplus or fiscal deficit stabilization is with the alteration of the requirement reserve ratio, Gross Domestic Product, general price index and interest rate. The results of the study show that the requirement reserve ratio, Gross Domestic Product, general price index and interest rate is very respect to surplus or deficit fiscal. The contribution requirement reserve ratio and interest rate for surplus or deficit fiscal are relatively high. This results show that the clower constraint model can explain the necessary of fiscal and monetary coordinate. Fiscal policy still weak and cause the real business cycle slow down, high inflation and interest rate. The other hands, monetary policy is very strong and cause fiscal surplus is relatively high. The prudent of government and monetary authority are needed to build the fiscal and monetary policy for create the dynamic economy, lower inflation, requirement reserve ratio and interest rate, and the monetary and fiscal dynamic equilibrium. Abstract in Bahasa Indonesia : Studi ini bertujuan membuat model empiris dan hipotesis baru tentang faktor-faktor broad money, surplus dan defisit fiskal, tingkat bunga secara umum, atau tingkat inflasi, permintaan uang primer dan deposito. Selain itu studi ini juga mencari tingkat suku bunga deposito optimal pada nilai tertentu dari faktor-faktor tersebut

On Dirac's conjecture for Hamiltonian systems with first and second class constraints

International Nuclear Information System (INIS)

Cabo, A.; Louis Martinez, D.

1989-07-01

It is shown for a wide class of systems in the framework of the Total Hamiltonian Procedure that all the first class constraints generate canonical transformations connecting physically equivalent states. It occurs whenever the constraints arising in the Dirac algorithm are effective when considered in the functional form as they appear in the consistency conditions. The property of hereditary separation between first and second class constraints also follows from the above condition. General Poisson bracket relations among constraints in the representation used here are also obtained. The sources of anomalies in the hereditary property reported in the literature are identified. (author). 15 refs

On Dirac's conjecture for Hamiltonian systems with first- and second-class constraints

International Nuclear Information System (INIS)

Cabo, A.; Louis-Martinez, D.

1990-01-01

It is shown for a wide class of systems in the framework of the total Hamiltonian procedure that all first-class constraints generate canonical transformations connecting physically equivalent states. It occurs whenever the constraints arising in the Dirac algorithm are effective when considered in the functional form as they appear in the consistency conditions. The property of hereditary separation between first- and second-class constraints also follows from the above condition. General Poisson-brackets relations among constraints in the representation used here are also obtained. The sources of anomalies in the hereditary property reported in the literature are identified

Constraints on Nc in extensions of the standard model

International Nuclear Information System (INIS)

Shrock, Robert

2007-01-01

We consider a class of theories involving an extension of the standard model gauge group to an a priori arbitrary number of colors, N c , and derive constraints on N c . One motivation for this is the string theory landscape. For two natural classes of embeddings of this N c -extended standard model in a supersymmetric grand unified theory, we show that requiring unbroken electromagnetic gauge invariance, asymptotic freedom of color, and three generations of quarks and leptons forces one to choose N c =3. Similarly, we show that for a theory combining the N c -extended standard model with a one-family SU(2) TC technicolor theory, only the value N c =3 is allowed

Lightweight, high-frequency transformers

Science.gov (United States)

Schwarze, G. E.

1983-01-01

The 25-kVA space transformer was developed under contract by Thermal Technology Laboratory, Buffalo, N. Y. The NASA Lewis transformer technology program attempted to develop the baseline technology. For the 25-kVA transformer the input voltage was chosen as 200 V, the output voltage as 1500 V, the input voltage waveform as square wave, the duty cycle as continuous, the frequency range (within certain constraints) as 10 to 40 kHz, the operating temperatures as 85 deg. and 130 C, the baseplate temperature as 50 C, the equivalent leakage inductance as less than 10 micro-h, the operating environment as space, and the life expectancy as 10 years. Such a transformer can also be used for aircraft, ship and terrestrial applications.

Constraint on reconstructed f(R) gravity models from gravitational waves

Science.gov (United States)

Lee, Seokcheon

2018-06-01

The gravitational wave (GW) detection of a binary neutron star inspiral made by the Advanced LIGO and Advanced Virgo paves the unprecedented way for multi-messenger observations. The propagation speed of this GW can be scrutinized by comparing the arrival times between GW and neutrinos or photons. It provides the constraint on the mass of the graviton. f(R) gravity theories have the habitual non-zero mass gravitons in addition to usual massless ones. Previously, we show that the model independent f(R) gravity theories can be constructed from the both background evolution and the matter growth with one undetermined parameter. We show that this parameter can be constrained from the graviton mass bound obtained from GW detection. Thus, the GW detection provides the invaluable constraint on the validity of f(R) gravity theories.

Bringing Partnership Home: A Model of Family Transformation

Directory of Open Access Journals (Sweden)

Julie de Azevedo Hanks

2015-07-01

Full Text Available Eisler’s cultural transformation theory suggests that the global crises we face can be addressed only through movement to a partnership model of social organization. Drawing on cultural transformation theory and systems theory, a partnership model of family organization (PMFO is outlined as a practical framework to guide families toward partnership relations. Eight components of PMFO are presented and expanded on as a path toward furthering familial and societal transformation. The eight tenets of a PMFO are: 1 cooperative adult leadership, 2 connecting orientation, 3 caretaking emphasis, 4 collaborative roles and rules, 5 celebration of unique contributions, 6 compassionate communication, 7 conscious language use, and 8 collection and creation of partnership stories. Finally, specific strategies of application of the PMFO will be discussed.

Paul Drude's prediction of nonreciprocal mutual inductance for Tesla transformers.

Science.gov (United States)

McGuyer, Bart

2014-01-01

Inductors, transmission lines, and Tesla transformers have been modeled with lumped-element equivalent circuits for over a century. In a well-known paper from 1904, Paul Drude predicts that the mutual inductance for an unloaded Tesla transformer should be nonreciprocal. This historical curiosity is mostly forgotten today, perhaps because it appears incorrect. However, Drude's prediction is shown to be correct for the conditions treated, demonstrating the importance of constraints in deriving equivalent circuits for distributed systems. The predicted nonreciprocity is not fundamental, but instead is an artifact of the misrepresentation of energy by an equivalent circuit. The application to modern equivalent circuits is discussed.

Mathematical model of three winding auto transformer

International Nuclear Information System (INIS)

Volcko, V.; Eleschova, Z.; Belan, A.; Janiga, P.

2012-01-01

This article deals with the design of mathematical model of three-winding auto transformer for steady state analyses. The article is focused on model simplicity for the purposes of the use in complex transmission systems and authenticity of the model taking into account different types of step-voltage regulator. (Authors)

Review of Minimal Flavor Constraints for Technicolor

DEFF Research Database (Denmark)

S. Fukano, Hidenori; Sannino, Francesco

2010-01-01

We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self-coupling and mas......We analyze the constraints on the the vacuum polarization of the standard model gauge bosons from a minimal set of flavor observables valid for a general class of models of dynamical electroweak symmetry breaking. We will show that the constraints have a strong impact on the self...

Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages

DEFF Research Database (Denmark)

Mendling, Jan; Lassen, Kristian Bisgaard; Zdun, Uwe

2006-01-01

Much recent research work discusses the transformation between different process modelling languages. This work, however, is mainly focussed on specific process modelling languages, and thus the general reusability of the applied transformation concepts is rather limited. In this paper, we aim...... to abstract from concrete transformation strategies by distinguishing two major paradigms for representing control flow in process modelling languages: block-oriented languages (such as BPEL and BPML) and graph-oriented languages (such as EPCs and YAWL). The contribution of this paper are generic strategies...... for transforming from block-oriented process languages to graph-oriented languages, and vice versa....

Black hole constraints on the running-mass inflation model

OpenAIRE

Leach, Samuel M; Grivell, Ian J; Liddle, Andrew R

2000-01-01

The running-mass inflation model, which has strong motivation from particle physics, predicts density perturbations whose spectral index is strongly scale-dependent. For a large part of parameter space the spectrum rises sharply to short scales. In this paper we compute the production of primordial black holes, using both analytic and numerical calculation of the density perturbation spectra. Observational constraints from black hole production are shown to exclude a large region of otherwise...

A Model for the Two-dimensional no Isolated Bits Constraint

DEFF Research Database (Denmark)

Forchhammer, Søren; Laursen, Torben Vaarby

2006-01-01

A stationary model is presented for the two-dimensional (2-D) no isolated bits (n.i.b.) constraint over an extended alphabet defined by the elements within 1 by 2 blocks. This block-wise model is based on a set of sufficient conditions for a Pickard random field (PRF) over an m-ary alphabet....... Iterative techniques are applied as part of determining the model parameters. Given two Markov chains describing a boundary, an algorithm is presented which determines whether a certain PRF consistent with the boundary exists. Iterative scaling is used as part of the algorithm, which also determines...

A Temporal Concurrent Constraint Programming Calculus

DEFF Research Database (Denmark)

Palamidessi, Catuscia; Valencia Posso, Frank Darwin

2001-01-01

The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus...

Momentum constraint relaxation

International Nuclear Information System (INIS)

Marronetti, Pedro

2006-01-01

Full relativistic simulations in three dimensions invariably develop runaway modes that grow exponentially and are accompanied by violations of the Hamiltonian and momentum constraints. Recently, we introduced a numerical method (Hamiltonian relaxation) that greatly reduces the Hamiltonian constraint violation and helps improve the quality of the numerical model. We present here a method that controls the violation of the momentum constraint. The method is based on the addition of a longitudinal component to the traceless extrinsic curvature A ij -tilde, generated by a vector potential w i , as outlined by York. The components of w i are relaxed to solve approximately the momentum constraint equations, slowly pushing the evolution towards the space of solutions of the constraint equations. We test this method with simulations of binary neutron stars in circular orbits and show that it effectively controls the growth of the aforementioned violations. We also show that a full numerical enforcement of the constraints, as opposed to the gentle correction of the momentum relaxation scheme, results in the development of instabilities that stop the runs shortly

ELMs and constraints on the H-mode pedestal: A model based on peeling-ballooning modes

International Nuclear Information System (INIS)

Snyder, P.B.

2002-01-01

Maximizing the pedestal height while maintaining acceptable ELMs is a key issue for optimizing tokamak performance. We present a model for ELMs and pedestal constraints based upon theoretical analysis of edge instabilities which can limit the pedestal height and drive ELMs. Sharp pedestal pressure gradients drive large bootstrap currents which play a complex dual role in the stability physics. Consequently, the dominant modes are often intermediate-n coupled 'peeling-ballooning' modes, driven both by current and the pressure gradient. A highly efficient new MHD code, ELITE, is used to study these modes, and calculate quantitative stability constraints on the pedestal, including direct constraints on the pedestal height. A model of various ELM types is developed, and quantitatively compared to data from several tokamaks. A number of observations agree with predictions, including ELM onset times, ELM depth, and variation in pedestal height with discharge shape. Projections of pedestal stability constraints for Next Step designs, and nonlinear simulations of peeling-ballooning modes using the BOUT code are also presented. (author)

The right tool for the right job : assessing model transformation quality

NARCIS (Netherlands)

Amstel, van M.F.

2010-01-01

Model-Driven Engineering (MDE) is a software engineering discipline in which models play a central role. One of the key concepts of MDE is model transformations. Because of the crucial role of model transformations in MDE, they have to be treated in a similar way as traditional software artifacts.

Rule-based modularization in model transformation languages illustrated with ATL

NARCIS (Netherlands)

Ivanov, Ivan; van den Berg, Klaas; Jouault, Frédéric

2007-01-01

This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are identified on the basis of relations between source and target metamodels and on the base of generic transformation

Analysis and Transformation Tools for Constrained Horn Clause Verification

DEFF Research Database (Denmark)

Kafle, Bishoksan; Gallagher, John Patrick

2014-01-01

Several techniques and tools have been developed for verification of properties expressed as Horn clauses with constraints over a background theory (CHC). Current CHC verification tools implement intricate algorithms and are often limited to certain subclasses of CHC problems. Our aim in this work...... is to investigate the use of a combination of off-the-shelf techniques from the literature in analysis and transformation of Constraint Logic Programs (CLPs) to solve challenging CHC verification problems. We find that many problems can be solved using a combination of tools based on well-known techniques from...... abstract interpretation, semantics-preserving transformations, program specialisation and query-answer transformations. This gives insights into the design of automatic, more general CHC verification tools based on a library of components....

A COMPREHENSIVE MODEL FOR THE POWER TRANSFORMER DIGITAL DIFFERENTIAL PROTECTION FUNCTIONING RESEARCH

Directory of Open Access Journals (Sweden)

Yu. V. Rumiantsev

2016-01-01

Full Text Available This article presents a comprehensive model for the two-winding power transformer digital differential protection functioning research. Considered comprehensive model is developed in MatLab-Simulink dynamic simulation environment with the help of SimPowerSystems component library and includes the following elements: power supply, three-phase power transformer, wye-connected current transformers and two-winding power transformer digital differential protection model. Each element of the presented model is described in the degree sufficient for its implementation in the dynamic simulation environment. Particular attention is paid to the digital signal processing principles and to the ways of differential and restraining currents forming of the considered comprehensive model main element – power transformer digital differential protection. With the help of this model the power transformer digital differential protection functioning was researched during internal and external faults: internal short-circuit, external short-circuit with and without current transformers saturation on the power transformer low-voltage side. Each experiment is illustrated with differential and restraining currents waveforms of the digital differential protection under research. Particular attention was paid to the digital protection functioning analysis during power transformer abnormal modes: overexcitation and inrush current condition. Typical current waveforms during these modes were showed and their harmonic content was investigated. The causes of these modes were analyzed in details. Digital differential protection blocking algorithms based on the harmonic content were considered. Drawbacks of theses algorithms were observed and the need of their further technical improvement was marked.

Capacity Model and Constraints Analysis for Integrated Remote Wireless Sensor and Satellite Network in Emergency Scenarios

Science.gov (United States)

Zhang, Wei; Zhang, Gengxin; Dong, Feihong; Xie, Zhidong; Bian, Dongming

2015-01-01

This article investigates the capacity problem of an integrated remote wireless sensor and satellite network (IWSSN) in emergency scenarios. We formulate a general model to evaluate the remote sensor and satellite network capacity. Compared to most existing works for ground networks, the proposed model is time varying and space oriented. To capture the characteristics of a practical network, we sift through major capacity-impacting constraints and analyze the influence of these constraints. Specifically, we combine the geometric satellite orbit model and satellite tool kit (STK) engineering software to quantify the trends of the capacity constraints. Our objective in analyzing these trends is to provide insights and design guidelines for optimizing the integrated remote wireless sensor and satellite network schedules. Simulation results validate the theoretical analysis of capacity trends and show the optimization opportunities of the IWSSN. PMID:26593919

Capacity Model and Constraints Analysis for Integrated Remote Wireless Sensor and Satellite Network in Emergency Scenarios.

Science.gov (United States)

Zhang, Wei; Zhang, Gengxin; Dong, Feihong; Xie, Zhidong; Bian, Dongming

2015-11-17

This article investigates the capacity problem of an integrated remote wireless sensor and satellite network (IWSSN) in emergency scenarios. We formulate a general model to evaluate the remote sensor and satellite network capacity. Compared to most existing works for ground networks, the proposed model is time varying and space oriented. To capture the characteristics of a practical network, we sift through major capacity-impacting constraints and analyze the influence of these constraints. Specifically, we combine the geometric satellite orbit model and satellite tool kit (STK) engineering software to quantify the trends of the capacity constraints. Our objective in analyzing these trends is to provide insights and design guidelines for optimizing the integrated remote wireless sensor and satellite network schedules. Simulation results validate the theoretical analysis of capacity trends and show the optimization opportunities of the IWSSN.

Unconventional Constraints on Nitrogen Chemistry using DC3 Observations and Trajectory-based Chemical Modeling

Science.gov (United States)

Shu, Q.; Henderson, B. H.

2017-12-01

Chemical transport models underestimate nitrogen dioxide observations in the upper troposphere (UT). Previous research in the UT succeeded in combining model predictions with field campaign measurements to demonstrate that the nitric acid formation rate (HO + NO2 → HNO3 (R1)) is overestimated by 22% (Henderson et al., 2012). A subsequent publication (Seltzer et al., 2015) demonstrated that single chemical constraint alters ozone and aerosol formation/composition. This work attempts to replicate previous chemical constraints with newer observations and a different modeling framework. We apply the previously successful constraint framework to Deep Convection Clouds and Chemistry (DC3). DC3 is a more recent field campaign where simulated nitrogen imbalances still exist. Freshly convected air parcels, identified in the DC3 dataset, as initial coordinates to initiate Lagrangian trajectories. Along each trajectory, we simulate the air parcel chemical state. Samples along the trajectories will form ensembles that represent possible realizations of UT air parcels. We then apply Bayesian inference to constrain nitrogen chemistry and compare results to the existing literature. Our anticipated results will confirm overestimation of HNO3 formation rate in previous work and provide further constraints on other nitrogen reaction rate coefficients that affect terminal products from NOx. We will particularly focus on organic nitrate chemistry that laboratory literature has yet to fully address. The results will provide useful insights into nitrogen chemistry that affects climate and human health.

Constraints on Z' models from LHC dijet searches

International Nuclear Information System (INIS)

Fairbairn, Malcolm; Heal, John; Tunney, Patrick

2016-05-01

We analyse a combination of ATLAS and CMS searches for dijet resonances at run I and run II, presenting the results in a way that can be easily applied to a generic Z ' model. As an illustrative example, we consider a simple model of a Z ' coupling to quarks and dark matter. We first study a benchmark case with fixed couplings and then focus on the assumption that the Z ' is responsible for setting the dark matter relic abundance. Dijet constraints place significant bounds on this scenario, allowing us to narrow down the allowed range of dark matter masses for given Z ' mass and width.

Computer simulation of the martensite transformation in a model two-dimensional body

International Nuclear Information System (INIS)

Chen, S.; Khachaturyan, A.G.; Morris, J.W. Jr.

1979-05-01

An analytical model of a martensitic transformation in an idealized body is constructed and used to carry out a computer simulation of the transformation in a pseudo-two-dimensional crystal. The reaction is assumed to proceed through the sequential transformation of elementary volumes (elementary martensitic particles, EMP) via the Bain strain. The elastic interaction between these volumes is computed and the transformation path chosen so as to minimize the total free energy. The model transformation shows interesting qualitative correspondencies with the known features of martensitic transformations in typical solids

Computer simulation of the martensite transformation in a model two-dimensional body

International Nuclear Information System (INIS)

Chen, S.; Khachaturyan, A.G.; Morris, J.W. Jr.

1979-06-01

An analytical model of a martensitic transformation in an idealized body is constructed and used to carry out a computer simulation of the transformation in a pseudo-two-dimensional crystal. The reaction is assumed to proceed through the sequential transformation of elementary volumes (elementary martensitic particles, EMP) via the Bain strain. The elastic interaction between these volumes is computed and the transformation path chosen so as to minimize the total free energy. The model transformation shows interesting qualitative correspondencies with the known features of martensitic transformations in typical solids

Are self-thinning constraints needed in a tree-specific mortality model?

Science.gov (United States)

Robert A. Monserud; Thomas Ledermann; Hubert. Sterba

2005-01-01

Can a tree-specific mortality model elicit expected forest stand density dynamics without imposing stand-level constraints such as Reineke's maximum stand density index (SDImax) or the -3/2 power law of self-thinning? We examine this emergent properties question using the Austrian stand simulator PROGNAUS. This simulator was chosen...

TP-model transformation-based-control design frameworks

CERN Document Server

Baranyi, Péter

2016-01-01

This book covers new aspects and frameworks of control, design, and optimization based on the TP model transformation and its various extensions. The author outlines the three main steps of polytopic and LMI based control design: 1) development of the qLPV state-space model, 2) generation of the polytopic model; and 3) application of LMI to derive controller and observer. He goes on to describe why literature has extensively studied LMI design, but has not focused much on the second step, in part because the generation and manipulation of the polytopic form was not tractable in many cases. The author then shows how the TP model transformation facilitates this second step and hence reveals new directions, leading to powerful design procedures and the formulation of new questions. The chapters of this book, and the complex dynamical control tasks which they cover, are organized so as to present and analyze the beneficial aspect of the family of approaches (control, design, and optimization). Additionally, the b...

Constraint-based Student Modelling in Probability Story Problems with Scaffolding Techniques

Directory of Open Access Journals (Sweden)

Nabila Khodeir

2018-01-01

Full Text Available Constraint-based student modelling (CBM is an important technique employed in intelligent tutoring systems to model student knowledge to provide relevant assistance. This paper introduces the Math Story Problem Tutor (MAST, a Web-based intelligent tutoring system for probability story problems, which is able to generate problems of different contexts, types and difficulty levels for self-paced learning. Constraints in MAST are specified at a low-level of granularity to allow fine-grained diagnosis of the student error. Furthermore, MAST extends CBM to address errors due to misunderstanding of the narrative story. It can locate and highlight keywords that may have been overlooked or misunderstood leading to an error. This is achieved by utilizing the role of sentences and keywords that are defined through the Natural Language Generation (NLG methods deployed in the story problem generation. MAST also integrates CBM with scaffolding questions and feedback to provide various forms of help and guidance to the student. This allows the student to discover and correct any errors in his/her solution. MAST has been preliminary evaluated empirically and the results show the potential effectiveness in tutoring students with a decrease in the percentage of violated constraints along the learning curve. Additionally, there is a significant improvement in the results of the post–test exam in comparison to the pre-test exam of the students using MAST in comparison to those relying on the textbook

Biomolecular surface construction by PDE transform.

Science.gov (United States)

Zheng, Qiong; Yang, Siyang; Wei, Guo-Wei

2012-03-01

This work proposes a new framework for the surface generation based on the partial differential equation (PDE) transform. The PDE transform has recently been introduced as a general approach for the mode decomposition of images, signals, and data. It relies on the use of arbitrarily high-order PDEs to achieve the time-frequency localization, control the spectral distribution, and regulate the spatial resolution. The present work provides a new variational derivation of high-order PDE transforms. The fast Fourier transform is utilized to accomplish the PDE transform so as to avoid stringent stability constraints in solving high-order PDEs. As a consequence, the time integration of high-order PDEs can be done efficiently with the fast Fourier transform. The present approach is validated with a variety of test examples in two-dimensional and three-dimensional settings. We explore the impact of the PDE transform parameters, such as the PDE order and propagation time, on the quality of resulting surfaces. Additionally, we utilize a set of 10 proteins to compare the computational efficiency of the present surface generation method and a standard approach in Cartesian meshes. Moreover, we analyze the present method by examining some benchmark indicators of biomolecular surface, that is, surface area, surface-enclosed volume, solvation free energy, and surface electrostatic potential. A test set of 13 protein molecules is used in the present investigation. The electrostatic analysis is carried out via the Poisson-Boltzmann equation model. To further demonstrate the utility of the present PDE transform-based surface method, we solve the Poisson-Nernst-Planck equations with a PDE transform surface of a protein. Second-order convergence is observed for the electrostatic potential and concentrations. Finally, to test the capability and efficiency of the present PDE transform-based surface generation method, we apply it to the construction of an excessively large biomolecule, a

Using neutral models to identify constraints on low-severity fire regimes.

Science.gov (United States)

Donald McKenzie; Amy E. Hessl; Lara-Karena B. Kellogg

2006-01-01

Climate, topography, fuel loadings, and human activities all affect spatial and temporal patterns of fire occurrence. Because fire is modeled as a stochastic process, for which each fire history is only one realization, a simulation approach is necessary to understand baseline variability, thereby identifying constraints, or forcing functions, that affect fire regimes...

Diffuse-interface model for rapid phase transformations in nonequilibrium systems.

Science.gov (United States)

Galenko, Peter; Jou, David

2005-04-01

A thermodynamic approach to rapid phase transformations within a diffuse interface in a binary system is developed. Assuming an extended set of independent thermodynamic variables formed by the union of the classic set of slow variables and the space of fast variables, we introduce finiteness of the heat and solute diffusive propagation at the finite speed of the interface advancing. To describe transformations within the diffuse interface, we use the phase-field model which allows us to follow steep but smooth changes of phase within the width of the diffuse interface. Governing equations of the phase-field model are derived for the hyperbolic model, a model with memory, and a model of nonlinear evolution of transformation within the diffuse interface. The consistency of the model is proved by the verification of the validity of the condition of positive entropy production and by outcomes of the fluctuation-dissipation theorem. A comparison with existing sharp-interface and diffuse-interface versions of the model is given.

A Poisson-Fault Model for Testing Power Transformers in Service

Directory of Open Access Journals (Sweden)

Dengfu Zhao

2014-01-01

Full Text Available This paper presents a method for assessing the instant failure rate of a power transformer under different working conditions. The method can be applied to a dataset of a power transformer under periodic inspections and maintenance. We use a Poisson-fault model to describe failures of a power transformer. When investigating a Bayes estimate of the instant failure rate under the model, we find that complexities of a classical method and a Monte Carlo simulation are unacceptable. Through establishing a new filtered estimate of Poisson process observations, we propose a quick algorithm of the Bayes estimate of the instant failure rate. The proposed algorithm is tested by simulation datasets of a power transformer. For these datasets, the proposed estimators of parameters of the model have better performance than other estimators. The simulation results reveal the suggested algorithms are quickest among three candidates.

Modelling of magnetostriction of transformer magnetic core for vibration analysis

Science.gov (United States)

Marks, Janis; Vitolina, Sandra

2017-12-01

Magnetostriction is a phenomenon occurring in transformer core in normal operation mode. Yet in time, it can cause the delamination of magnetic core resulting in higher level of vibrations that are measured on the surface of transformer tank during diagnostic tests. The aim of this paper is to create a model for evaluating elastic deformations in magnetic core that can be used for power transformers with intensive vibrations in order to eliminate magnetostriction as a their cause. Description of the developed model in Matlab and COMSOL software is provided including restrictions concerning geometry and properties of materials, and the results of performed research on magnetic core anisotropy are provided. As a case study modelling of magnetostriction for 5-legged 200 MVA power transformer with the rated voltage of 13.8/137kV is conducted, based on which comparative analysis of vibration levels and elastic deformations is performed.

Modelling of magnetostriction of transformer magnetic core for vibration analysis

Directory of Open Access Journals (Sweden)

Marks Janis

2017-12-01

Full Text Available Magnetostriction is a phenomenon occurring in transformer core in normal operation mode. Yet in time, it can cause the delamination of magnetic core resulting in higher level of vibrations that are measured on the surface of transformer tank during diagnostic tests. The aim of this paper is to create a model for evaluating elastic deformations in magnetic core that can be used for power transformers with intensive vibrations in order to eliminate magnetostriction as a their cause. Description of the developed model in Matlab and COMSOL software is provided including restrictions concerning geometry and properties of materials, and the results of performed research on magnetic core anisotropy are provided. As a case study modelling of magnetostriction for 5-legged 200 MVA power transformer with the rated voltage of 13.8/137kV is conducted, based on which comparative analysis of vibration levels and elastic deformations is performed.

Clone Detection for Graph-Based Model Transformation Languages

DEFF Research Database (Denmark)

Strüber, Daniel; Plöger, Jennifer; Acretoaie, Vlad

2016-01-01

and analytical quality assurance. From these use cases, we derive a set of key requirements. We describe our customization of existing model clone detection techniques allowing us to address these requirements. Finally, we provide an experimental evaluation, indicating that our customization of ConQAT, one......Cloning is a convenient mechanism to enable reuse across and within software artifacts. On the downside, it is also a practice related to significant long-term maintainability impediments, thus generating a need to identify clones in affected artifacts. A large variety of clone detection techniques...... has been proposed for programming and modeling languages; yet no specific ones have emerged for model transformation languages. In this paper, we explore clone detection for graph-based model transformation languages. We introduce potential use cases for such techniques in the context of constructive...

Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA

Directory of Open Access Journals (Sweden)

Martin Kardos

2010-06-01

Full Text Available Information system’s models on higher level of abstraction have become a daily routine in many software companies. The concept of Model Driven Architecture (MDA published by standardization body OMG1 since 2001 has become a concept for creation of software applications and information systems. MDA specifies four levels of abstraction: top three levels are created as graphical models and the last one as implementation code model. Many research works of MDA are focusing on the lower levels and transformations between each other. The top level of abstraction, called Computation Independent Model (CIM and its transformation to the lower level called Platform Independent Model (PIM is not so extensive research topic. Considering to a great importance and usability of this level in practice of IS2Keywords: transformation, MDA, CIM, PIM, UML, DFD. development now our research activity is focused to this highest level of abstraction – CIM and its possible transformation to the lower PIM level. In this article we are presenting a possible solution of CIM modeling and its analytic method of transformation to PIM.

A Constraint Programming Model for Fast Optimal Stowage of Container Vessel Bays

DEFF Research Database (Denmark)

Delgado-Ortegon, Alberto; Jensen, Rune Møller; Janstrup, Kira

2012-01-01

Container vessel stowage planning is a hard combinatorial optimization problem with both high economic and environmental impact. We have developed an approach that often is able to generate near-optimal plans for large container vessels within a few minutes. It decomposes the problem into a master...... planning phase that distributes the containers to bay sections and a slot planning phase that assigns containers of each bay section to slots. In this paper, we focus on the slot planning phase of this approach and present a constraint programming and integer programming model for stowing a set...... of containers in a single bay section. This so-called slot planning problem is NP-hard and often involves stowing several hundred containers. Using state-of-the-art constraint solvers and modeling techniques, however, we were able to solve 90% of 236 real instances from our industrial collaborator to optimality...

The role of technology and engineering models in transforming healthcare.

Science.gov (United States)

Pavel, Misha; Jimison, Holly Brugge; Wactlar, Howard D; Hayes, Tamara L; Barkis, Will; Skapik, Julia; Kaye, Jeffrey

2013-01-01

The healthcare system is in crisis due to challenges including escalating costs, the inconsistent provision of care, an aging population, and high burden of chronic disease related to health behaviors. Mitigating this crisis will require a major transformation of healthcare to be proactive, preventive, patient-centered, and evidence-based with a focus on improving quality-of-life. Information technology, networking, and biomedical engineering are likely to be essential in making this transformation possible with the help of advances, such as sensor technology, mobile computing, machine learning, etc. This paper has three themes: 1) motivation for a transformation of healthcare; 2) description of how information technology and engineering can support this transformation with the help of computational models; and 3) a technical overview of several research areas that illustrate the need for mathematical modeling approaches, ranging from sparse sampling to behavioral phenotyping and early detection. A key tenet of this paper concerns complementing prior work on patient-specific modeling and simulation by modeling neuropsychological, behavioral, and social phenomena. The resulting models, in combination with frequent or continuous measurements, are likely to be key components of health interventions to enhance health and wellbeing and the provision of healthcare.

Warped linear mixed models for the genetic analysis of transformed phenotypes.

Science.gov (United States)

Fusi, Nicolo; Lippert, Christoph; Lawrence, Neil D; Stegle, Oliver

2014-09-19

Linear mixed models (LMMs) are a powerful and established tool for studying genotype-phenotype relationships. A limitation of the LMM is that the model assumes Gaussian distributed residuals, a requirement that rarely holds in practice. Violations of this assumption can lead to false conclusions and loss in power. To mitigate this problem, it is common practice to pre-process the phenotypic values to make them as Gaussian as possible, for instance by applying logarithmic or other nonlinear transformations. Unfortunately, different phenotypes require different transformations, and choosing an appropriate transformation is challenging and subjective. Here we present an extension of the LMM that estimates an optimal transformation from the observed data. In simulations and applications to real data from human, mouse and yeast, we show that using transformations inferred by our model increases power in genome-wide association studies and increases the accuracy of heritability estimation and phenotype prediction.

Modeling of austenite to ferrite transformation

Indian Academy of Sciences (India)

395–398. c Indian Academy of Sciences. Modeling of austenite to ferrite transformation. MOHSEN KAZEMINEZHAD. ∗. Department of Materials Science and Engineering, Sharif University of Technology, Azadi Avenue, Tehran, Iran. MS received 17 January 2011; revised 9 July 2011. Abstract. In this research, an algorithm ...

Canonical quantization of model Hamiltonian in gauge theory. Relation between constraints and subsidiary conditions

International Nuclear Information System (INIS)

Sugano, R.; Kimura, T.

1985-01-01

As a model of gauge theory, it is investigated a system of point particles described by a singular Lagrangian from the standpoint of our formulation of constrained dynamical systems which was developed in the series of previous papers. Canonical quantization is carried out by two methods in order to clarify the role of the secondary constraints and their conjugate gauge constraints. The first method is to find a full set of the stationary external constraints and use the Dirac bracket. The other is to fix the gauges and remove unphysical states by imposing subsidiary condition on the state vectors. It is shown that unphysical components associated with a series of primary and secondary constraints are removed by a single subsidiary condition for each gauge degree. There appear an unphysical state with negative norm and a physical state with zero norm. It implies that the appearance of states with indefinite metrics is not due to the metric structure of space-time but is ascribed to gauge properties

Challenges in Materials Transformation Modeling for Polyolefins Industry

Science.gov (United States)

Lai, Shih-Yaw; Swogger, Kurt W.

2004-06-01

Unlike most published polymer processing and/or forming research, the transformation of polyolefins to fabricated articles often involves non-confined flow or so-called free surface flow (e.g. fiber spinning, blown films, and cast films) in which elongational flow takes place during a fabrication process. Obviously, the characterization and validation of extensional rheological parameters and their use to develop rheological constitutive models are the focus of polyolefins materials transformation research. Unfortunately, there are challenges that remain with limited validation for non-linear, non-isothermal constitutive models for polyolefins. Further complexity arises in the transformation of polyolefins in the elongational flow system as it involves stress-induced crystallization process. The complicated nature of elongational, non-linear rheology and non-isothermal crystallization kinetics make the development of numerical methods very challenging for the polyolefins materials forming modeling. From the product based company standpoint, the challenges of materials transformation research go beyond elongational rheology, crystallization kinetics and its numerical modeling. In order to make models useful for the polyolefin industry, it is critical to develop links between molecular parameters to both equipment and materials forming parameters. The recent advances in the constrained geometry catalysis and materials sciences understanding (INSITE technology and molecular design capability) has made industrial polyolefinic materials forming modeling more viable due to the fact that the molecular structure of the polymer can be well predicted and controlled during the polymerization. In this paper, we will discuss inter-relationship (models) among molecular parameters such as polymer molecular weight (Mw), molecular weight distribution (MWD), long chain branching (LCB), short chain branching (SCB or comonomer types and distribution) and their affects on shear and

Tail modeling in a stretched magnetosphere 1. Methods and transformations

International Nuclear Information System (INIS)

Stern, D.P.

1987-01-01

A new method is developed for representing the magnetospheric field B as a distorted dipole field. Because delxB = 0 must be maintained,such a distortion may be viewed as a transformation of the vector potential A. The simplest form is a one-dimensional ''stretch transformation'' along the x axis, a generalization of a method introduced by Voigt. The transformation is concisely represented by the ''stretch function'' f(x), which is also a convenient tool for representing features of the substorm cycle. Onedimensional stretch transformations are extended to spherical, cylindrical, and parabolic coordinates and then to arbitrary coordinates. It is next shown that distortion transformations can be viewed as mappings of field lines from one pattern to another: Euler potentials are used in the derivation, but the final result only requires knowledge of the field and not of the potentials. General transformations in Cartesian and arbitrary coordinates are then derived,and applications to field modeling, field line motion, MHD modeling, and incompressible fluid dynamics are considered. copyrightAmerican Geophysical Union 1987

Transformation of UML Behavioral Diagrams to Support Software Model Checking

Directory of Open Access Journals (Sweden)

Luciana Brasil Rebelo dos Santos

2014-04-01

Full Text Available Unified Modeling Language (UML is currently accepted as the standard for modeling (object-oriented software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to transform up to three different UML behavioral diagrams (sequence, behavioral state machines, and activity into a single Transition System to support Model Checking of software developed in accordance with UML. In our approach, properties are formalized based on use case descriptions. The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. The main contribution of our work is the transformation of a non-formal language (UML to a formal language (language of the NuSMV model checker towards a greater adoption in practice of formal methods in software development.

Transformation of renormalization groups in 2N-component fermion hierarchical model

International Nuclear Information System (INIS)

Stepanov, R.G.

2006-01-01

The 2N-component fermion model on the hierarchical lattice is studied. The explicit formulae for renormalization groups transformation in the space of coefficients setting the Grassmannian-significant density of the free measure are presented. The inverse transformation of the renormalization group is calculated. The definition of immovable points of renormalization groups is reduced to solving the set of algebraic equations. The interesting connection between renormalization group transformations in boson and fermion hierarchical models is found out. It is shown that one transformation is obtained from other one by the substitution of N on -N [ru

Hybrid Higgs inflation: The use of disformal transformation

Science.gov (United States)

Sato, Seiga; Maeda, Kei-ichi

2018-04-01

We propose a hybrid type of the conventional Higgs inflation and new Higgs inflation models. We perform a disformal transformation into the Einstein frame and analyze the background dynamics and the cosmological perturbations in the truncated model, in which we ignore the higher-derivative terms of the Higgs field. From the observed power spectrum of the density perturbations, we obtain the constraint on the nonminimal coupling constant ξ and the mass parameter M in the derivative coupling. Although the primordial tilt ns in the hybrid model barely changes, the tensor-to-scalar ratio r moves from the value in the new Higgs inflationary model to that in the conventional Higgs inflationary model as |ξ | increases. We confirm our results by numerical analysis by ADM formalism of the full theory in the Jordan frame.

On Lifecycle Constraints of Artifact-Centric Workflows

Science.gov (United States)

Kucukoguz, Esra; Su, Jianwen

Data plays a fundamental role in modeling and management of business processes and workflows. Among the recent "data-aware" workflow models, artifact-centric models are particularly interesting. (Business) artifacts are the key data entities that are used in workflows and can reflect both the business logic and the execution states of a running workflow. The notion of artifacts succinctly captures the fluidity aspect of data during workflow executions. However, much of the technical dimension concerning artifacts in workflows is not well understood. In this paper, we study a key concept of an artifact "lifecycle". In particular, we allow declarative specifications/constraints of artifact lifecycle in the spirit of DecSerFlow, and formulate the notion of lifecycle as the set of all possible paths an artifact can navigate through. We investigate two technical problems: (Compliance) does a given workflow (schema) contain only lifecycle allowed by a constraint? And (automated construction) from a given lifecycle specification (constraint), is it possible to construct a "compliant" workflow? The study is based on a new formal variant of artifact-centric workflow model called "ArtiNets" and two classes of lifecycle constraints named "regular" and "counting" constraints. We present a range of technical results concerning compliance and automated construction, including: (1) compliance is decidable when workflow is atomic or constraints are regular, (2) for each constraint, we can always construct a workflow that satisfies the constraint, and (3) sufficient conditions where atomic workflows can be constructed.

Space-geodetic Constraints on GIA Models with 3D Viscosity

Science.gov (United States)

Van Der Wal, W.; Xu, Z.

2012-12-01

Models for Glacial Isostatic Adjustment (GIA) are an important correction to observations of mass change in the polar regions. Inputs for GIA models include past ice thickness and deformation parameters of the Earth's mantle, both of which are imperfectly known. Here we focus on the latter by investigating GIA models with 3D viscosity and composite (linear and non-linear) flow laws. It was found recently that GIA models with a composite flow law result in a better fit to historic sea level data, but they predict too low present-day uplift rates and gravity rates. Here GIA models are fit to space-geodetic constraints in Fennoscandia and North America. The preferred models are used to calculate the magnitude of the GIA correction on mass change estimates in Greenland and Antarctica. The observations used are GRACE Release 4 solutions from CSR and GFZ and published GPS solutions for North America and Fennoscandia, as well as historic sea level data. The GIA simulations are performed with a finite element model of a spherical, self-gravitating, incompressible Earth with 2x2 degree elements. Parameters in the flow laws are taken from seismology, heatflow measurements and experimental constraints and the ice loading history is prescribed by ICE-5G. It was found that GRACE and GPS derived uplift rates agree at the level of 1 mm/year in North America and at a level of 0.5 mm/year in Fennoscandia, the difference between the two regions being due to larger GPS errors and under sampling in North America. It can be concluded that both GPS and GRACE see the same process and the effects of filtering, noise and non-GIA processes such as land hydrology are likely to be small. Two GIA models are found that bring present-day uplift rate close to observed values in North America and Fennoscandia. These models result in a GIA correction of -17 Gt/year and -26 Gt/year on Greenland mass balance estimates from GRACE.

Development of transformations from business process models to implementations by reuse

NARCIS (Netherlands)

Dirgahayu, T.; Quartel, Dick; van Sinderen, Marten J.; Ferreira Pires, Luis; Hammoudi, S.

2007-01-01

This paper presents an approach for developing transformations from business process models to implementations that facilitates reuse. A transformation is developed as a composition of three smaller tasks: pattern recognition, pattern realization and activity transformation. The approach allows one

A constraint-based model of Scheffersomyces stipitis for improved ethanol production

Directory of Open Access Journals (Sweden)

Liu Ting

2012-09-01

Full Text Available Abstract Background As one of the best xylose utilization microorganisms, Scheffersomyces stipitis exhibits great potential for the efficient lignocellulosic biomass fermentation. Therefore, a comprehensive understanding of its unique physiological and metabolic characteristics is required to further improve its performance on cellulosic ethanol production. Results A constraint-based genome-scale metabolic model for S. stipitis CBS 6054 was developed on the basis of its genomic, transcriptomic and literature information. The model iTL885 consists of 885 genes, 870 metabolites, and 1240 reactions. During the reconstruction process, 36 putative sugar transporters were reannotated and the metabolisms of 7 sugars were illuminated. Essentiality study was conducted to predict essential genes on different growth media. Key factors affecting cell growth and ethanol formation were investigated by the use of constraint-based analysis. Furthermore, the uptake systems and metabolic routes of xylose were elucidated, and the optimization strategies for the overproduction of ethanol were proposed from both genetic and environmental perspectives. Conclusions Systems biology modelling has proven to be a powerful tool for targeting metabolic changes. Thus, this systematic investigation of the metabolism of S. stipitis could be used as a starting point for future experiment designs aimed at identifying the metabolic bottlenecks of this important yeast.

Constraint Logic Programming approach to protein structure prediction

Directory of Open Access Journals (Sweden)

Fogolari Federico

2004-11-01

Full Text Available Abstract Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Results Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. Conclusions The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Constraint Logic Programming approach to protein structure prediction.

Science.gov (United States)

Dal Palù, Alessandro; Dovier, Agostino; Fogolari, Federico

2004-11-30

The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known) secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

More on cosmological constraints on spontaneous R-symmetry breaking models

International Nuclear Information System (INIS)

Hamada, Yuta; Kobayashi, Tatsuo; Kamada, Kohei; Ecole Polytechnique Federale de Lausanne; Ookouchi, Yutaka

2013-10-01

We study the spontaneous R-symmetry breaking model and investigate the cosmological constraints on this model due to the pseudo Nambu-Goldstone boson, R-axion. We consider the R-axion which has relatively heavy mass in order to complement our previous work. In this regime, model parameters, R-axions mass and R-symmetry breaking scale, are constrained by Big Bang Nucleosynthesis and overproduction of the gravitino produced from R-axion decay and thermal plasma. We find that the allowed parameter space is very small for high reheating temperature. For low reheating temperature, the U(1) R breaking scale f a is constrained as f a 12-14 GeV regardless of the value of R-axion mass.

Sensitivity of the model error parameter specification in weak-constraint four-dimensional variational data assimilation

Science.gov (United States)

Shaw, Jeremy A.; Daescu, Dacian N.

2017-08-01

This article presents the mathematical framework to evaluate the sensitivity of a forecast error aspect to the input parameters of a weak-constraint four-dimensional variational data assimilation system (w4D-Var DAS), extending the established theory from strong-constraint 4D-Var. Emphasis is placed on the derivation of the equations for evaluating the forecast sensitivity to parameters in the DAS representation of the model error statistics, including bias, standard deviation, and correlation structure. A novel adjoint-based procedure for adaptive tuning of the specified model error covariance matrix is introduced. Results from numerical convergence tests establish the validity of the model error sensitivity equations. Preliminary experiments providing a proof-of-concept are performed using the Lorenz multi-scale model to illustrate the theoretical concepts and potential benefits for practical applications.

Transformer modeling for low- and mid-frequency electromagnetic transients simulation

Science.gov (United States)

Lambert, Mathieu

In this work, new models are developed for single-phase and three-phase shell-type transformers for the simulation of low-frequency transients, with the use of the coupled leakage model. This approach has the advantage that it avoids the use of fictitious windings to connect the leakage model to a topological core model, while giving the same response in short-circuit as the indefinite admittance matrix (BCTRAN) model. To further increase the model sophistication, it is proposed to divide windings into coils in the new models. However, short-circuit measurements between coils are never available. Therefore, a novel analytical method is elaborated for this purpose, which allows the calculation in 2-D of short-circuit inductances between coils of rectangular cross-section. The results of this new method are in agreement with the results obtained from the finite element method in 2-D. Furthermore, the assumption that the leakage field is approximately 2-D in shell-type transformers is validated with a 3-D simulation. The outcome of this method is used to calculate the self and mutual inductances between the coils of the coupled leakage model and the results are showing good correspondence with terminal short-circuit measurements. Typically, leakage inductances in transformers are calculated from short-circuit measurements and the magnetizing branch is calculated from no-load measurements, assuming that leakages are unimportant for the unloaded transformer and that magnetizing current is negligible during a short-circuit. While the core is assumed to have an infinite permeability to calculate short-circuit inductances, and it is a reasonable assumption since the core's magnetomotive force is negligible during a short-circuit, the same reasoning does not necessarily hold true for leakage fluxes in no-load conditions. This is because the core starts to saturate when the transformer is unloaded. To take this into account, a new analytical method is developed in this

Statistical analysis of probabilistic models of software product lines with quantitative constraints

DEFF Research Database (Denmark)

Beek, M.H. ter; Legay, A.; Lluch Lafuente, Alberto

2015-01-01

We investigate the suitability of statistical model checking for the analysis of probabilistic models of software product lines with complex quantitative constraints and advanced feature installation options. Such models are specified in the feature-oriented language QFLan, a rich process algebra...... of certain behaviour to the expected average cost of products. This is supported by a Maude implementation of QFLan, integrated with the SMT solver Z3 and the distributed statistical model checker MultiVeStA. Our approach is illustrated with a bikes product line case study....

Analysis report for WIPP colloid model constraints and performance assessment parameters

Energy Technology Data Exchange (ETDEWEB)

Mariner, Paul E.; Sassani, David Carl

2014-03-01

An analysis of the Waste Isolation Pilot Plant (WIPP) colloid model constraints and parameter values was performed. The focus of this work was primarily on intrinsic colloids, mineral fragment colloids, and humic substance colloids, with a lesser focus on microbial colloids. Comments by the US Environmental Protection Agency (EPA) concerning intrinsic Th(IV) colloids and Mg-Cl-OH mineral fragment colloids were addressed in detail, assumptions and data used to constrain colloid model calculations were evaluated, and inconsistencies between data and model parameter values were identified. This work resulted in a list of specific conclusions regarding model integrity, model conservatism, and opportunities for improvement related to each of the four colloid types included in the WIPP performance assessment.

Vacuum instability, cosmology and constraints on particle masses in the Weinberg-Salam model

International Nuclear Information System (INIS)

Linde, A.D.

1980-01-01

A set of constraints on the masses of particles in the Weinberg-Salam model is obtained. It is shown in particular that in the absence of superheavy fermions (msub(F) 2 thetasub(W) approx. 0.23. (orig.)

A General Connectionist Model of Attitude Structure and Change: The ACS (Attitudes as Constraint Satisfaction) Model

Science.gov (United States)

Monroe, Brian M.; Read, Stephen J.

2008-01-01

A localist, parallel constraint satisfaction, artificial neural network model is presented that accounts for a broad collection of attitude and attitude-change phenomena. The network represents the attitude object and cognitions and beliefs related to the attitude, as well as how to integrate a persuasive message into this network. Short-term…

Different methods for modeling absorption heat transformer powered by solar pond

International Nuclear Information System (INIS)

Sencan, Arzu; Kizilkan, Onder; Bezir, Nalan C.; Kalogirou, Soteris A.

2007-01-01

Solar ponds are a type of solar collector used for storing solar energy at temperature below 90 o C. Absorption heat transformers (AHTs) are devices used to increase the temperature of moderately warm fluid to a more useful temperature level. In this study, a theoretical modelling of an absorption heat transformer for the temperature range obtained from an experimental solar pond with dimensions 3.5 x 3.5 x 2 m is presented. The working fluid pair in the absorption heat transformer is aqueous ternary hydroxide fluid consisting of sodium, potassium and caesium hydroxides in the proportions 40:36:24 (NaOH:KOH:CsOH). Different methods such as linear regression (LR), pace regression (PR), sequential minimal optimization (SMO), M5 model tree, M5' rules, decision table and back propagation neural network (BPNN) are used for modelling the absorption heat transformer. The best results were obtained by the back propagation neural network model. A new formulation based on the BPNN is presented to determine the flow ratio (FR) and the coefficient of performance (COP) of the absorption heat transformer. The BPNN procedure is more accurate and requires significantly less computation time than the other methods

Optimizing Environmental Flow Operation Rules based on Explicit IHA Constraints

Science.gov (United States)

Dongnan, L.; Wan, W.; Zhao, J.

2017-12-01

Multi-objective operation of reservoirs are increasingly asked to consider the environmental flow to support ecosystem health. Indicators of Hydrologic Alteration (IHA) is widely used to describe environmental flow regimes, but few studies have explicitly formulated it into optimization models and thus is difficult to direct reservoir release. In an attempt to incorporate the benefit of environmental flow into economic achievement, a two-objective reservoir optimization model is developed and all 33 hydrologic parameters of IHA are explicitly formulated into constraints. The benefit of economic is defined by Hydropower Production (HP) while the benefit of environmental flow is transformed into Eco-Index (EI) that combined 5 of the 33 IHA parameters chosen by principal component analysis method. Five scenarios (A to E) with different constraints are tested and solved by nonlinear programming. The case study of Jing Hong reservoir, located in the upstream of Mekong basin, China, shows: 1. A Pareto frontier is formed by maximizing on only HP objective in scenario A and on only EI objective in scenario B. 2. Scenario D using IHA parameters as constraints obtains the optimal benefits of both economic and ecological. 3. A sensitive weight coefficient is found in scenario E, but the trade-offs between HP and EI objectives are not within the Pareto frontier. 4. When the fraction of reservoir utilizable capacity reaches 0.8, both HP and EI capture acceptable values. At last, to make this modelmore conveniently applied to everyday practice, a simplified operation rule curve is extracted.

Using Online Modelled Spatial Constraints for Pose Estimation in an Industrial Setting

DEFF Research Database (Denmark)

Meyer, Kenneth Korsgaard; Wolniakowski, Adam; Hagelskjær, Frederik

2017-01-01

We introduce a vision system that is able to on-line learn spatial constraints to improve pose estimation in terms of correct recognition as well as computational speed. By making use of a simulated industrial robot system performing various pick and place tasks, we show the effect of model...

Infinite conformal symmetries and Riemann-Hilbert transformation in super principal chiral model

International Nuclear Information System (INIS)

Hao Sanru; Li Wei

1989-01-01

This paper shows a new symmetric transformation - C transformation in super principal chiral model and discover an infinite dimensional Lie algebra related to the Virasoro algebra without central extension. By using the Riemann-Hilbert transformation, the physical origination of C transformation is discussed

Numerical modeling of transformer inrush currents

Energy Technology Data Exchange (ETDEWEB)

Cardelli, E. [Department of Industrial Engineering, University of Perugia, I-06125 Perugia (Italy); Center for Electric and Magnetic Applied Research (Italy); Faba, A., E-mail: faba@unipg.it [Department of Industrial Engineering, University of Perugia, I-06125 Perugia (Italy); Center for Electric and Magnetic Applied Research (Italy)

2014-02-15

This paper presents an application of a vector hysteresis model to the prediction of the inrush current due the arbitrary initial excitation of a transformer after a fault. The approach proposed seems promising in order to predict the transient overshoot in current and the optimal time to close the circuit after the fault.

Analytical calculation of detailed model parameters of cast resin dry-type transformers

International Nuclear Information System (INIS)

Eslamian, M.; Vahidi, B.; Hosseinian, S.H.

2011-01-01

Highlights: → In this paper high frequency behavior of cast resin dry-type transformers was simulated. → Parameters of detailed model were calculated using analytical method and compared with FEM results. → A lab transformer was constructed in order to compare theoretical and experimental results. -- Abstract: Non-flammable characteristic of cast resin dry-type transformers make them suitable for different kind of usages. This paper presents an analytical method of how to obtain parameters of detailed model of these transformers. The calculated parameters are compared and verified with the corresponding FEM results and if it was necessary, correction factors are introduced for modification of the analytical solutions. Transient voltages under full and chopped test impulses are calculated using the obtained detailed model. In order to validate the model, a setup was constructed for testing on high-voltage winding of cast resin dry-type transformer. The simulation results were compared with the experimental data measured from FRA and impulse tests.

Modeling of the Austenite-Martensite Transformation in Stainless and TRIP Steels

NARCIS (Netherlands)

Geijselaers, Hubertus J.M.; Hilkhuijsen, P.; Bor, Teunis Cornelis; Perdahcioglu, Emin Semih; van den Boogaard, Antonius H.; Zhang, S.-H.; Liu, X.-H.; Gheng, M.; Li, J.

2013-01-01

The transformation of austenite to martensite is a dominant factor in the description of the constitutive behavior during forming of TRIP assisted steels. To predict this transformation different models are currently available. In this paper the transformation is regarded as a stress induced process

Comprehensive Power Losses Model for Electronic Power Transformer

DEFF Research Database (Denmark)

Yue, Quanyou; Li, Canbing; Cao, Yijia

2018-01-01

and considering the impact of the non-unity power factor and the three-phase unbalanced current, the overall power losses in the distribution network when using the EPT to replace the conventional transformer is analyzed, and the conditions in which the application of the EPT can cause less power losses...... reduced power losses in the distribution network require a comprehensive consideration when comparing the power losses of theEPT and conventional transformer. In this paper, a comprehensive power losses analysis model for the EPT in distribution networks is proposed. By analyzing the EPT self-losses......The electronic power transformer (EPT) has highe rpower losses than the conventional transformer. However, the EPT can correct the power factor, compensate the unbalanced current and reduce the line power losses in the distribution network.Therefore, the higher losses of the EPT and the consequent...

Comprehensive Power Losses Model for Electronic Power Transformer

DEFF Research Database (Denmark)

Yue, Quanyou; Li, Canbing; Cao, Yijia

2018-01-01

The electronic power transformer (EPT) has highe rpower losses than the conventional transformer. However, the EPT can correct the power factor, compensate the unbalanced current and reduce the line power losses in the distribution network.Therefore, the higher losses of the EPT and the consequent...... reduced power losses in the distribution network require a comprehensive consideration when comparing the power losses of theEPT and conventional transformer. In this paper, a comprehensive power losses analysis model for the EPT in distribution networks is proposed. By analyzing the EPT self......-losses and considering the impact of the non-unity power factor and the three-phase unbalanced current, the overall power losses in the distribution network when using the EPT to replace the conventional transformer is analyzed, and the conditions in which the application of the EPT can cause less power losses...

Optimization of the poloidal transformer of ignitor

International Nuclear Information System (INIS)

Andritsos, F.; Angelini, A.

1989-01-01

One of the most critical parts of the high field Tokamak IGNITOR, is the inner poloidal transformer coil. This is due not only to the high stresses developed there but also to the large quantities of energy released and the resulting high temperature. It determines the overall cooling time of the machine and thus the maximum attainable number of pulses per year. An optimization, based on a parametric study of the transformer, was performed and configuration parameters were defined. Cooling time was the quantity to be minimized, with main constraints the maximum coil temperatures and the maximum coolant outlet velocities. The cost of the cooling plant was also taken into account. The row of the conductors adjacent to the equatorial plane, which presents the highest stresses, was modeled and checked for maximum stresses. Thermal and magnetic loading, contact nonlinearity and pretensioning were considered. 8 refs., 4 figs., 12 tabs

Flavour violation in gauge-mediated supersymmetry breaking models: Experimental constraints and phenomenology at the LHC

International Nuclear Information System (INIS)

Fuks, Benjamin; Herrmann, Bjoern; Klasen, Michael

2009-01-01

We present an extensive analysis of gauge-mediated supersymmetry breaking models with minimal and non-minimal flavour violation. We first demonstrate that low-energy, precision electroweak, and cosmological constraints exclude large 'collider-friendly' regions of the minimal parameter space. We then discuss various possibilities how flavour violation, although naturally suppressed, may still occur in gauge-mediation models. The introduction of non-minimal flavour violation at the electroweak scale is shown to relax the stringent experimental constraints, so that benchmark points, that are also cosmologically viable, can be defined and their phenomenology, i.e. squark and gaugino production cross sections with flavour violation, at the LHC can be studied

Intelligent Models Performance Improvement Based on Wavelet Algorithm and Logarithmic Transformations in Suspended Sediment Estimation

Directory of Open Access Journals (Sweden)

R. Hajiabadi

2016-10-01

Full Text Available Introduction One reason for the complexity of hydrological phenomena prediction, especially time series is existence of features such as trend, noise and high-frequency oscillations. These complex features, especially noise, can be detected or removed by preprocessing. Appropriate preprocessing causes estimation of these phenomena become easier. Preprocessing in the data driven models such as artificial neural network, gene expression programming, support vector machine, is more effective because the quality of data in these models is important. Present study, by considering diagnosing and data transformation as two different preprocessing, tries to improve the results of intelligent models. In this study two different intelligent models, Artificial Neural Network and Gene Expression Programming, are applied to estimation of daily suspended sediment load. Wavelet transforms and logarithmic transformation is used for diagnosing and data transformation, respectively. Finally, the impacts of preprocessing on the results of intelligent models are evaluated. Materials and Methods In this study, Gene Expression Programming and Artificial Neural Network are used as intelligent models for suspended sediment load estimation, then the impacts of diagnosing and logarithmic transformations approaches as data preprocessor are evaluated and compared to the result improvement. Two different logarithmic transforms are considered in this research, LN and LOG. Wavelet transformation is used to time series denoising. In order to denoising by wavelet transforms, first, time series can be decomposed at one level (Approximation part and detail part and second, high-frequency part (detail will be removed as noise. According to the ability of gene expression programming and artificial neural network to analysis nonlinear systems; daily values of suspended sediment load of the Skunk River in USA, during a 5-year period, are investigated and then estimated.4 years of

Utilising temperature differences as constraints for estimating parameters in a simple climate model

International Nuclear Information System (INIS)

Bodman, Roger W; Karoly, David J; Enting, Ian G

2010-01-01

Simple climate models can be used to estimate the global temperature response to increasing greenhouse gases. Changes in the energy balance of the global climate system are represented by equations that necessitate the use of uncertain parameters. The values of these parameters can be estimated from historical observations, model testing, and tuning to more complex models. Efforts have been made at estimating the possible ranges for these parameters. This study continues this process, but demonstrates two new constraints. Previous studies have shown that land-ocean temperature differences are only weakly correlated with global mean temperature for natural internal climate variations. Hence, these temperature differences provide additional information that can be used to help constrain model parameters. In addition, an ocean heat content ratio can also provide a further constraint. A pulse response technique was used to identify relative parameter sensitivity which confirmed the importance of climate sensitivity and ocean vertical diffusivity, but the land-ocean warming ratio and the land-ocean heat exchange coefficient were also found to be important. Experiments demonstrate the utility of the land-ocean temperature difference and ocean heat content ratio for setting parameter values. This work is based on investigations with MAGICC (Model for the Assessment of Greenhouse-gas Induced Climate Change) as the simple climate model.

QCD unitarity constraints on Reggeon Field Theory

Energy Technology Data Exchange (ETDEWEB)

Kovner, Alex [Physics Department, University of Connecticut,2152 Hillside Road, Storrs, CT 06269 (United States); Levin, Eugene [Departemento de Física, Universidad Técnica Federico Santa María,and Centro Científico-Tecnológico de Valparaíso,Avda. Espana 1680, Casilla 110-V, Valparaíso (Chile); Department of Particle Physics, Tel Aviv University,Tel Aviv 69978 (Israel); Lublinsky, Michael [Physics Department, Ben-Gurion University of the Negev,Beer Sheva 84105 (Israel); Physics Department, University of Connecticut,2152 Hillside Road, Storrs, CT 06269 (United States)

2016-08-04

We point out that the s-channel unitarity of QCD imposes meaningful constraints on a possible form of the QCD Reggeon Field Theory. We show that neither the BFKL nor JIMWLK nor Braun’s Hamiltonian satisfy the said constraints. In a toy, zero transverse dimensional case we construct a model that satisfies the analogous constraint and show that at infinite energy it indeed tends to a “black disk limit' as opposed to the model with triple Pomeron vertex only, routinely used as a toy model in the literature.

QCD unitarity constraints on Reggeon Field Theory

International Nuclear Information System (INIS)

Kovner, Alex; Levin, Eugene; Lublinsky, Michael

2016-01-01

We point out that the s-channel unitarity of QCD imposes meaningful constraints on a possible form of the QCD Reggeon Field Theory. We show that neither the BFKL nor JIMWLK nor Braun’s Hamiltonian satisfy the said constraints. In a toy, zero transverse dimensional case we construct a model that satisfies the analogous constraint and show that at infinite energy it indeed tends to a “black disk limit' as opposed to the model with triple Pomeron vertex only, routinely used as a toy model in the literature.

Constraints on grand unified superstring theories

International Nuclear Information System (INIS)

Ellis, J.; Lopez, J.L.; Nanopoulos, D.V.; Houston Advanced Research Center

1990-01-01

We evaluate some constraints on the construction of grand unified superstring theories (GUSTs) using higher level Kac-Moody algebras on the world-sheet. In the most general formulation of the heterotic string in four dimensions, an analysis of the basic GUST model-building constraints, including a realistic hidden gauge group, reveals that there are no E 6 models and any SO(10) models can only exist at level-5. Also, any such SU(5) models can exist only for levels 4≤k≤19. These SO(10) and SU(5) models risk having many large, massless, phenomenologically troublesome representations. We also show that with a suitable hidden sector gauge group, it is possible to avoid free light fractionally charged particles, which are endemic to string derived models. We list all such groups and their representations for the flipped SU(5)xU(1) model. We conclude that a sufficiently binding hidden sector gauge group becomes a basic model-building constraint. (orig.)

More on cosmological constraints on spontaneous R-symmetry breaking models

Energy Technology Data Exchange (ETDEWEB)

Hamada, Yuta; Kobayashi, Tatsuo [Kyoto Univ. (Japan). Dept. of Physics; Kamada, Kohei [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Ecole Polytechnique Federale de Lausanne (Switzerland). Inst. de Theorie des Phenomenes Physiques; Ookouchi, Yutaka [Kyushu Univ., Fukuoka (Japan). Faculty of Arts and Science

2013-10-15

We study the spontaneous R-symmetry breaking model and investigate the cosmological constraints on this model due to the pseudo Nambu-Goldstone boson, R-axion. We consider the R-axion which has relatively heavy mass in order to complement our previous work. In this regime, model parameters, R-axions mass and R-symmetry breaking scale, are constrained by Big Bang Nucleosynthesis and overproduction of the gravitino produced from R-axion decay and thermal plasma. We find that the allowed parameter space is very small for high reheating temperature. For low reheating temperature, the U(1){sub R} breaking scale f{sub a} is constrained as f{sub a}<10{sup 12-14} GeV regardless of the value of R-axion mass.

Unified Singularity Modeling and Reconfiguration of 3rTPS Metamorphic Parallel Mechanisms with Parallel Constraint Screws

Directory of Open Access Journals (Sweden)

Yufeng Zhuang

2015-01-01

Full Text Available This paper presents a unified singularity modeling and reconfiguration analysis of variable topologies of a class of metamorphic parallel mechanisms with parallel constraint screws. The new parallel mechanisms consist of three reconfigurable rTPS limbs that have two working phases stemming from the reconfigurable Hooke (rT joint. While one phase has full mobility, the other supplies a constraint force to the platform. Based on these, the platform constraint screw systems show that the new metamorphic parallel mechanisms have four topologies by altering the limb phases with mobility change among 1R2T (one rotation with two translations, 2R2T, and 3R2T and mobility 6. Geometric conditions of the mechanism design are investigated with some special topologies illustrated considering the limb arrangement. Following this and the actuation scheme analysis, a unified Jacobian matrix is formed using screw theory to include the change between geometric constraints and actuation constraints in the topology reconfiguration. Various singular configurations are identified by analyzing screw dependency in the Jacobian matrix. The work in this paper provides basis for singularity-free workspace analysis and optimal design of the class of metamorphic parallel mechanisms with parallel constraint screws which shows simple geometric constraints with potential simple kinematics and dynamics properties.

Madrasah Culture Based Transformational Leadership Model

Directory of Open Access Journals (Sweden)

Nur Khoiri

2016-10-01

Full Text Available Leadership is the ability to influence, direct behavior, and have a particular expertise in the field of the group who want to achieve the goals. A dynamic organization requires transformational leadership model. A school principal as a leader at school aims to actualize good learning leadership. Leadership learning focuses on learning which components include curriculum, teaching and learning process, assessment, teacher assessment and development, good service in learning, and developing a learning community in schools based on organizational culture as value, assumption, belief evolved from the roots of member thought of the organization and believed by all members of the organization and implemented in everyday life that could give meaning Keywords: leadership, transformational leadership, headmaster, instructional leadership, organizational culture.

Understanding China's Transformations

DEFF Research Database (Denmark)

Li, Xing

The objective of this paper is to offer a framework of understanding the dialectical nexus between China's internal evolutions and the external influences with a focus on the century-long "challenge-response" dynamism. That is to explore how external factors helped shaping China's internal...... transformations, i.e. how generations of Chinese have been struggling in responding to the external challenges and attempting to sinicize external political ideas in order to change China from within. Likewise, it is equally important to understand how China's inner transformation contributed to reshaping...... the world. Each time, be it China's dominance or decline, the capitalist world system has to adjust and readjust itself to the opportunities and constraints brought about by the "China factors"....

Modelling and study on the output flow characteristics of expansion energy used hydropneumatic transformer

Energy Technology Data Exchange (ETDEWEB)

Shi, Yan; Wu, Tiecheng; Cai, Maolin; Liu, Chong [Beihang University, Beijing (China)

2016-03-15

Hydropneumatic transformer (short for HP transformer) is used to pump pressurized hydraulic oil. Whereas, due to its insufficient usage of energy and low efficiency, a new kind of HP transformer: EEUHP transformer (Expansion energy used hydropneumatic transformer) was proposed. To illustrate the characteristics of the EEUHP transformer, a mathematical model was built. To verify the mathematical model, an experimental prototype was setup and studied. Through simulation and experimental study on the EEUHP transformer, the influence of five key parameters on the output flow of the EEUHP transformer were obtained, and some conclusions can be drawn. Firstly, the mathematical model was proved to be valid. Furthermore, the EEUHP transformer costs fewer of compressed air than the normal HP transformer when the output flow of the two kinds of transformers are almost same. Moreover, with an increase in the output pressure, the output flow decreases sharply. Finally, with an increase in the effective area of hydraulic output port, the output flow increases distinctly. This research can be referred to in the performance and design optimization of the EEUHP transformers.

Modelling the interaction between plasticity and the austenite-martensite transformation

NARCIS (Netherlands)

Kouznetsova, V.G.; Geers, M.G.D.

2007-01-01

Many advanced steels, such as high strength steels and TRIP steels, owe their excellent combination of strength and ductility to the complex microstructural behaviour involving the austenite to martensite phase transformation. In this paper a physically-based model for martensitic transformation

An enhanced Brinson model with modified kinetics for martensite transformation

Energy Technology Data Exchange (ETDEWEB)

Kim, Young-Jin; Lee, Jung Ju [Korea Advanced Institute of Science and Technology, Daejeon (Korea, Republic of); Jeong, Ju-Won [Korea Aerospace Research Institute, Daejeon (Korea, Republic of); Lim, Jae Hyuk [Chonbuk National University, Jeonju (Korea, Republic of)

2017-03-15

We propose an enhanced Brinson model with modified kinetics for martensite transformation. Two additional material constants are considered to follow the stress-temperature diagram above austenite start temperature (As) along with treatment to keep the continuity of the martensite volume fraction and the path dependency of the phase transformation. To demonstrate the performance of the proposed model, we implement this algorithm into ABAQUS user subroutine, then conduct several numerical simulations and compare their results with SMA wire experiments as well as those of three-dimensional SMA constitutive models. From the results, it turns out that the proposed model is as accurate as the three-dimensional models and shows better accuracy over original Brinson model in terms of recovery stress.

Integral constraints on perturbations of Robertson-Walker cosmologies

International Nuclear Information System (INIS)

Ellis, G.F.R.; Jaklitsch, M.J.

1989-01-01

Integral constraints occur in the case of spherically symmetric inhomogeneities in Robertson-Walker universes, and (according to Traschen) in the case of general perturbations of these models. It is shown that these constraints are the same in the case of spherical symmetry, and they are interpreted as 'fitting conditions', that is, as constraints on the background Robertson-Walker model rather than on the nature of inhomogeneities. These integral constraints significantly affect the interpretation of anisotropies in the cosmic microwave background radiation. 22 refs

Fine-Grained Linguistic Soft Constraints on Statistical Natural Language Processing Models

Science.gov (United States)

2009-01-01

his engaging phonology and cognitive science classes. I also had the pleasure and privilege of collaborating with, and learning from, Chris Callison...semantic constraints models can be viewed as instances? What possible benefits this might have? A few stylistic remarks: 1. Throughout the...although I make no cognitive or neuroscientific claims in this dissertation. Two “classic” views on linguistic representations in the brain are

Ant colony optimization and constraint programming

CERN Document Server

Solnon, Christine

2013-01-01

Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author describes this metaheuristic and studies its efficiency for solving some hard combinatorial problems, with a specific focus on constraint programming. The text is organized into three parts. The first part introduces constraint programming, which provides high level features to declaratively model problems by means of constraints. It describes the main existing approaches for solving constraint satisfaction problems, including complete tree search

Systems Biology Approach to Bioremediation of Nitroaromatics: Constraint-Based Analysis of 2,4,6-Trinitrotoluene Biotransformation by Escherichia coli

Directory of Open Access Journals (Sweden)

Maryam Iman

2017-08-01

Full Text Available Microbial remediation of nitroaromatic compounds (NACs is a promising environmentally friendly and cost-effective approach to the removal of these life-threating agents. Escherichia coli (E. coli has shown remarkable capability for the biotransformation of 2,4,6-trinitro-toluene (TNT. Efforts to develop E. coli as an efficient TNT degrading biocatalyst will benefit from holistic flux-level description of interactions between multiple TNT transforming pathways operating in the strain. To gain such an insight, we extended the genome-scale constraint-based model of E. coli to account for a curated version of major TNT transformation pathways known or evidently hypothesized to be active in E. coli in present of TNT. Using constraint-based analysis (CBA methods, we then performed several series of in silico experiments to elucidate the contribution of these pathways individually or in combination to the E. coli TNT transformation capacity. Results of our analyses were validated by replicating several experimentally observed TNT degradation phenotypes in E. coli cultures. We further used the extended model to explore the influence of process parameters, including aeration regime, TNT concentration, cell density, and carbon source on TNT degradation efficiency. We also conducted an in silico metabolic engineering study to design a series of E. coli mutants capable of degrading TNT at higher yield compared with the wild-type strain. Our study, therefore, extends the application of CBA to bioremediation of nitroaromatics and demonstrates the usefulness of this approach to inform bioremediation research.

A general treatment of dynamic integrity constraints

NARCIS (Netherlands)

de Brock, EO

This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of "real world"

Exploring the roles of cannot-link constraint in community detection via Multi-variance Mixed Gaussian Generative Model

Science.gov (United States)

Ge, Meng; Jin, Di; He, Dongxiao; Fu, Huazhu; Wang, Jing; Cao, Xiaochun

2017-01-01

Due to the demand for performance improvement and the existence of prior information, semi-supervised community detection with pairwise constraints becomes a hot topic. Most existing methods have been successfully encoding the must-link constraints, but neglect the opposite ones, i.e., the cannot-link constraints, which can force the exclusion between nodes. In this paper, we are interested in understanding the role of cannot-link constraints and effectively encoding pairwise constraints. Towards these goals, we define an integral generative process jointly considering the network topology, must-link and cannot-link constraints. We propose to characterize this process as a Multi-variance Mixed Gaussian Generative (MMGG) Model to address diverse degrees of confidences that exist in network topology and pairwise constraints and formulate it as a weighted nonnegative matrix factorization problem. The experiments on artificial and real-world networks not only illustrate the superiority of our proposed MMGG, but also, most importantly, reveal the roles of pairwise constraints. That is, though the must-link is more important than cannot-link when either of them is available, both must-link and cannot-link are equally important when both of them are available. To the best of our knowledge, this is the first work on discovering and exploring the importance of cannot-link constraints in semi-supervised community detection. PMID:28678864

Indirect detection constraints on s- and t-channel simplified models of dark matter

Science.gov (United States)

Carpenter, Linda M.; Colburn, Russell; Goodman, Jessica; Linden, Tim

2016-09-01

Recent Fermi-LAT observations of dwarf spheroidal galaxies in the Milky Way have placed strong limits on the gamma-ray flux from dark matter annihilation. In order to produce the strongest limit on the dark matter annihilation cross section, the observations of each dwarf galaxy have typically been "stacked" in a joint-likelihood analysis, utilizing optical observations to constrain the dark matter density profile in each dwarf. These limits have typically been computed only for singular annihilation final states, such as b b ¯ or τ+τ- . In this paper, we generalize this approach by producing an independent joint-likelihood analysis to set constraints on models where the dark matter particle annihilates to multiple final-state fermions. We interpret these results in the context of the most popular simplified models, including those with s- and t-channel dark matter annihilation through scalar and vector mediators. We present our results as constraints on the minimum dark matter mass and the mediator sector parameters. Additionally, we compare our simplified model results to those of effective field theory contact interactions in the high-mass limit.

Isocurvature constraints on portal couplings

Energy Technology Data Exchange (ETDEWEB)

Kainulainen, Kimmo; Nurmi, Sami; Vaskonen, Ville [Department of Physics, University of Jyväskylä, P.O.Box 35 (YFL), FI-40014 University of Jyväskylä (Finland); Tenkanen, Tommi; Tuominen, Kimmo, E-mail: kimmo.kainulainen@jyu.fi, E-mail: sami.t.nurmi@jyu.fi, E-mail: tommi.tenkanen@helsinki.fi, E-mail: kimmo.i.tuominen@helsinki.fi, E-mail: ville.vaskonen@jyu.fi [Department of Physics, University of Helsinki P.O. Box 64, FI-00014, Helsinki (Finland)

2016-06-01

We consider portal models which are ultraweakly coupled with the Standard Model, and confront them with observational constraints on dark matter abundance and isocurvature perturbations. We assume the hidden sector to contain a real singlet scalar s and a sterile neutrino ψ coupled to s via a pseudoscalar Yukawa term. During inflation, a primordial condensate consisting of the singlet scalar s is generated, and its contribution to the isocurvature perturbations is imprinted onto the dark matter abundance. We compute the total dark matter abundance including the contributions from condensate decay and nonthermal production from the Standard Model sector. We then use the Planck limit on isocurvature perturbations to derive a novel constraint connecting dark matter mass and the singlet self coupling with the scale of inflation: m {sub DM}/GeV ∼< 0.2λ{sub s}{sup 3/8} ( H {sub *}/10{sup 11} GeV){sup −3/2}. This constraint is relevant in most portal models ultraweakly coupled with the Standard Model and containing light singlet scalar fields.

A Hard Constraint Algorithm to Model Particle Interactions in DNA-laden Flows

Energy Technology Data Exchange (ETDEWEB)

Trebotich, D; Miller, G H; Bybee, M D

2006-08-01

We present a new method for particle interactions in polymer models of DNA. The DNA is represented by a bead-rod polymer model and is fully-coupled to the fluid. The main objective in this work is to implement short-range forces to properly model polymer-polymer and polymer-surface interactions, specifically, rod-rod and rod-surface uncrossing. Our new method is based on a rigid constraint algorithm whereby rods elastically bounce off one another to prevent crossing, similar to our previous algorithm used to model polymer-surface interactions. We compare this model to a classical (smooth) potential which acts as a repulsive force between rods, and rods and surfaces.

Bayesian spatial transformation models with applications in neuroimaging data.

Science.gov (United States)

Miranda, Michelle F; Zhu, Hongtu; Ibrahim, Joseph G

2013-12-01

The aim of this article is to develop a class of spatial transformation models (STM) to spatially model the varying association between imaging measures in a three-dimensional (3D) volume (or 2D surface) and a set of covariates. The proposed STM include a varying Box-Cox transformation model for dealing with the issue of non-Gaussian distributed imaging data and a Gaussian Markov random field model for incorporating spatial smoothness of the imaging data. Posterior computation proceeds via an efficient Markov chain Monte Carlo algorithm. Simulations and real data analysis demonstrate that the STM significantly outperforms the voxel-wise linear model with Gaussian noise in recovering meaningful geometric patterns. Our STM is able to reveal important brain regions with morphological changes in children with attention deficit hyperactivity disorder. © 2013, The International Biometric Society.

Laplace transform in tracer kinetic modeling

Energy Technology Data Exchange (ETDEWEB)

Hauser, Eliete B., E-mail: eliete@pucrs.br [Instituto do Cerebro (InsCer/FAMAT/PUC-RS), Porto Alegre, RS, (Brazil). Faculdade de Matematica

2013-07-01

The main objective this paper is to quantify the pharmacokinetic processes: absorption, distribution and elimination of radiopharmaceutical(tracer), using Laplace transform method. When the drug is administered intravenously absorption is complete and is available in the bloodstream to be distributed throughout the whole body in all tissues and fluids, and to be eliminated. Mathematical modeling seeks to describe the processes of distribution and elimination through compartments, where distinct pools of tracer (spatial location or chemical state) are assigned to different compartments. A compartment model is described by a system of differential equations, where each equation represents the sum of all the transfer rates to and from a specific compartment. In this work a two-tissue irreversible compartment model is used for description of tracer, [{sup 18}F]2-fluor-2deoxy-D-glucose. In order to determine the parameters of the model, it is necessary to have information about the tracer delivery in the form of an input function representing the time-course of tracer concentration in arterial blood or plasma. We estimate the arterial input function in two stages and apply the Levenberg-Marquardt Method to solve nonlinear regressions. The transport of FDG across de arterial blood is very fast in the first ten minutes and then decreases slowly. We use de Heaviside function to represent this situation and this is the main contribution of this study. We apply the Laplace transform and the analytical solution for two-tissue irreversible compartment model is obtained. The only approach is to determinate de arterial input function. (author)

Modelling and Simulation of the Diode Split Transformer

DEFF Research Database (Denmark)

Østergaard, Leo

a significant influence on the picture quality. The most critical component is undoubtedly the diode split transformer (DST). Therefore, if developing a simulation model of the DST is possible, a significant step has been taken in the attempt to model the entire horizontal deflection circuit and to obtain...

New Constraints on Dark Matter Effective Theories from Standard Model Loops

CERN Document Server

Crivellin, Andreas; Procura, Massimiliano

2014-01-01

We consider an effective field theory for a gauge singlet Dirac dark matter (DM) particle interacting with the Standard Model (SM) fields via effective operators suppressed by the scale $\\Lambda \\gtrsim 1$ TeV. We perform a systematic analysis of the leading loop contributions to spin-independent (SI) DM--nucleon scattering using renormalization group evolution between $\\Lambda$ and the low-energy scale probed by direct detection experiments. We find that electroweak interactions induce operator mixings such that operators that are naively velocity-suppressed and spin-dependent can actually contribute to SI scattering. This allows us to put novel constraints on Wilson coefficients that were so far poorly bounded by direct detection. Constraints from current searches are comparable to LHC bounds, and will significantly improve in the near future. Interestingly, the loop contribution we find is maximally isospin violating even if the underlying theory is isospin conserving.

Coaching Model + Clinical Playbook = Transformative Learning.

Science.gov (United States)

Fletcher, Katherine A; Meyer, Mary

2016-01-01

Health care employers demand that workers be skilled in clinical reasoning, able to work within complex interprofessional teams to provide safe, quality patient-centered care in a complex evolving system. To this end, there have been calls for radical transformation of nursing education including the development of a baccalaureate generalist nurse. Based on recommendations from the American Association of Colleges of Nursing, faculty concluded that clinical education must change moving beyond direct patient care by applying the concepts associated with designer, manager, and coordinator of care and being a member of a profession. To accomplish this, the faculty utilized a system of focused learning assignments (FLAs) that present transformative learning opportunities that expose students to "disorienting dilemmas," alternative perspectives, and repeated opportunities to reflect and challenge their own beliefs. The FLAs collected in a "Playbook" were scaffolded to build the student's competencies over the course of the clinical experience. The FLAs were centered on the 6 Quality and Safety Education for Nurses competencies, with 2 additional concepts of professionalism and systems-based practice. The FLAs were competency-based exercises that students performed when not assigned to direct patient care or had free clinical time. Each FLA had a lesson plan that allowed the student and faculty member to see the competency addressed by the lesson, resources, time on task, student instructions, guide for reflection, grading rubric, and recommendations for clinical instructor. The major advantages of the model included (a) consistent implementation of structured learning experiences by a diverse teaching staff using a coaching model of instruction; (b) more systematic approach to present learning activities that build upon each other; (c) increased time for faculty to interact with students providing direct patient care; (d) guaranteed capture of selected transformative

Transforming Internal Activities of Business Process Models to Services Compositions

NARCIS (Netherlands)

Dirgahayu, Teduh; Quartel, Dick; van Sinderen, Marten J.; Mostefaoui, S.K.; Maamar, Z.; Ferreira Pires, L.; Hammoudi, S.; Rinderle-Ma, S.; Sadiq, S.; Schulz, K.

As a service composition language, BPEL imposes as constraint that a business process model should consist only of activities for interacting with other business processes. BPEL provides limited support for implementing internal activities, i.e. activities that are performed by a single business

Lorentz Invariant Spectrum of Minimal Chiral Schwinger Model

Science.gov (United States)

Kim, Yong-Wan; Kim, Seung-Kook; Kim, Won-Tae; Park, Young-Jai; Kim, Kee Yong; Kim, Yongduk

We study the Lorentz transformation of the minimal chiral Schwinger model in terms of the alternative action. We automatically obtain a chiral constraint, which is equivalent to the frame constraint introduced by McCabe, in order to solve the frame problem in phase space. As a result we obtain the Lorentz invariant spectrum in any moving frame by choosing a frame parameter.

Closing the gap between behavior and models in route choice: The role of spatiotemporal constraints and latent traits in choice set formation

DEFF Research Database (Denmark)

Kaplan, Sigal; Prato, Carlo Giacomo

2012-01-01

not account for individual-related spatiotemporal constraints. This paper reduces the gap by proposing a route choice model incorporating spatiotemporal constraints and latent traits. The proposed approach combines stochastic route generation with a latent variable semi-compensatory model representing......A considerable gap exists between the behavioral paradigm of choice set formation in route choice and its representation in route choice modeling. While travelers form their viable choice set by retaining routes that satisfy spatiotemporal constraints, existing route generation techniques do...

Understanding Service Composition with Non-functional Properties Using Declarative Model-to-model Transformations

Directory of Open Access Journals (Sweden)

Max Mäuhlhäuser

2011-01-01

Full Text Available Developing applications comprising service composition is a complex task. Therefore, to lower the skill barrier for developers, it is important to describe the problem at hand on an abstract level and not to focus on implementation details. This can be done using declarative programming which allows to describe only the result of the problem (which is what the developer wants rather than the description of the implementation. We therefore use purely declarative model-to-model transformations written in a universal model transformation language which is capable of handling even non functional properties using optimization and mathematical programming. This makes it easier to understand and describe service composition and non-functional properties for the developer.

Pair Production Constraints on Superluminal Neutrinos Revisited

International Nuclear Information System (INIS)

Brodsky, Stanley

2012-01-01

We revisit the pair creation constraint on superluminal neutrinos considered by Cohen and Glashow in order to clarify which types of superluminal models are constrained. We show that a model in which the superluminal neutrino is effectively light-like can evade the Cohen-Glashow constraint. In summary, any model for which the CG pair production process operates is excluded because such timelike neutrinos would not be detected by OPERA or other experiments. However, a superluminal neutrino which is effectively lightlike with fixed p 2 can evade the Cohen-Glashow constraint because of energy-momentum conservation. The coincidence involved in explaining the SN1987A constraint certainly makes such a picture improbable - but it is still intrinsically possible. The lightlike model is appealing in that it does not violate Lorentz symmetry in particle interactions, although one would expect Hughes-Drever tests to turn up a violation eventually. Other evasions of the CG constraints are also possible; perhaps, e.g., the neutrino takes a 'short cut' through extra dimensions or suffers anomalous acceleration in matter. Irrespective of the OPERA result, Lorentz-violating interactions remain possible, and ongoing experimental investigation of such possibilities should continue.

University Course Timetabling using Constraint Programming

Directory of Open Access Journals (Sweden)

Hadi Shahmoradi

2017-03-01

Full Text Available University course timetabling problem is a challenging and time-consuming task on the overall structure of timetable in every academic environment. The problem deals with many factors such as the number of lessons, classes, teachers, students and working time, and these are influenced by some hard and soft constraints. The aim of solving this problem is to assign courses and classes to teachers and students, so that the restrictions are held. In this paper, a constraint programming method is proposed to satisfy maximum constraints and expectation, in order to address university timetabling problem. For minimizing the penalty of soft constraints, a cost function is introduced and AHP method is used for calculating its coefficients. The proposed model is tested on department of management, University of Isfahan dataset using OPL on the IBM ILOG CPLEX Optimization Studio platform. A statistical analysis has been conducted and shows the performance of the proposed approach in satisfying all hard constraints and also the satisfying degree of the soft constraints is on maximum desirable level. The running time of the model is less than 20 minutes that is significantly better than the non-automated ones.

Constraint-based modeling in microbial food biotechnology

Science.gov (United States)

Rau, Martin H.

2018-01-01

Genome-scale metabolic network reconstruction offers a means to leverage the value of the exponentially growing genomics data and integrate it with other biological knowledge in a structured format. Constraint-based modeling (CBM) enables both the qualitative and quantitative analyses of the reconstructed networks. The rapid advancements in these areas can benefit both the industrial production of microbial food cultures and their application in food processing. CBM provides several avenues for improving our mechanistic understanding of physiology and genotype–phenotype relationships. This is essential for the rational improvement of industrial strains, which can further be facilitated through various model-guided strain design approaches. CBM of microbial communities offers a valuable tool for the rational design of defined food cultures, where it can catalyze hypothesis generation and provide unintuitive rationales for the development of enhanced community phenotypes and, consequently, novel or improved food products. In the industrial-scale production of microorganisms for food cultures, CBM may enable a knowledge-driven bioprocess optimization by rationally identifying strategies for growth and stability improvement. Through these applications, we believe that CBM can become a powerful tool for guiding the areas of strain development, culture development and process optimization in the production of food cultures. Nevertheless, in order to make the correct choice of the modeling framework for a particular application and to interpret model predictions in a biologically meaningful manner, one should be aware of the current limitations of CBM. PMID:29588387

Efficient Finite Element Models for Calculation of the No-load losses of the Transformer

Directory of Open Access Journals (Sweden)

Kamran Dawood

2017-10-01

Full Text Available Different transformer models are examined for the calculation of the no-load losses using finite element analysis. Two-dimensional and three-dimensional finite element analyses are used for the simulation of the transformer. Results of the finite element method are also compared with the experimental results. The Result shows that 3-dimensional provide high accuracy as compared to the 2 dimensional full and half model. However, the 2-dimensional half model is the less time-consuming method as compared to the 3 and 2-dimensional full model. Simulation time duration taken by the different models of the transformer is also compared. The difference between the 3-dimensional finite element method and experimental results are less than 3%. These numerical methods can help transformer designers to minimize the development of the prototype transformers.

Constraint-based query distribution framework for an integrated global schema

DEFF Research Database (Denmark)

Malik, Ahmad Kamran; Qadir, Muhammad Abdul; Iftikhar, Nadeem

2009-01-01

and replicated data sources. The provided system is all XML-based which poses query in XML form, transforms, and integrates local results in an XML document. Contributions include the use of constraints in our existing global schema which help in source selection and query optimization, and a global query...

Optimizing Global Coronal Magnetic Field Models Using Image-Based Constraints

Science.gov (United States)

Jones-Mecholsky, Shaela I.; Davila, Joseph M.; Uritskiy, Vadim

2016-01-01

The coronal magnetic field directly or indirectly affects a majority of the phenomena studied in the heliosphere. It provides energy for coronal heating, controls the release of coronal mass ejections, and drives heliospheric and magnetospheric activity, yet the coronal magnetic field itself has proven difficult to measure. This difficulty has prompted a decades-long effort to develop accurate, timely, models of the field, an effort that continues today. We have developed a method for improving global coronal magnetic field models by incorporating the type of morphological constraints that could be derived from coronal images. Here we report promising initial tests of this approach on two theoretical problems, and discuss opportunities for application.

Electricity market equilibrium model with resource constraint and transmission congestion

Energy Technology Data Exchange (ETDEWEB)

Gao, F. [ABB, Inc., Santa Clara, CA 95050 (United States); Sheble, G.B. [Portland State University, Portland, OR 97207 (United States)

2010-01-15

Electricity market equilibrium model not only helps Independent System Operator/Regulator analyze market performance and market power, but also provides Market Participants the ability to build optimal bidding strategies based on Microeconomics analysis. Supply Function Equilibrium (SFE) is attractive compared to traditional models and many efforts have been made on it before. However, most past research focused on a single-period, single-market model and did not address the fact that GENCOs hold a portfolio of assets in both electricity and fuel markets. This paper first identifies a proper SFE model, which can be applied to a multiple-period situation. Then the paper develops the equilibrium condition using discrete time optimal control considering fuel resource constraints. Finally, the paper discusses the issues of multiple equilibria caused by transmission network and shows that a transmission constrained equilibrium may exist, however the shadow price may not be zero. Additionally, an advantage from the proposed model for merchant transmission planning is discussed. (author)

Electricity market equilibrium model with resource constraint and transmission congestion

International Nuclear Information System (INIS)

Gao, F.; Sheble, G.B.

2010-01-01

Electricity market equilibrium model not only helps Independent System Operator/Regulator analyze market performance and market power, but also provides Market Participants the ability to build optimal bidding strategies based on Microeconomics analysis. Supply Function Equilibrium (SFE) is attractive compared to traditional models and many efforts have been made on it before. However, most past research focused on a single-period, single-market model and did not address the fact that GENCOs hold a portfolio of assets in both electricity and fuel markets. This paper first identifies a proper SFE model, which can be applied to a multiple-period situation. Then the paper develops the equilibrium condition using discrete time optimal control considering fuel resource constraints. Finally, the paper discusses the issues of multiple equilibria caused by transmission network and shows that a transmission constrained equilibrium may exist, however the shadow price may not be zero. Additionally, an advantage from the proposed model for merchant transmission planning is discussed. (author)

Notes on Timed Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Valencia, Frank D.

2004-01-01

and program reactive systems. This note provides a comprehensive introduction to the background for and central notions from the theory of tccp. Furthermore, it surveys recent results on a particular tccp calculus, ntcc, and it provides a classification of the expressive power of various tccp languages.......A constraint is a piece of (partial) information on the values of the variables of a system. Concurrent constraint programming (ccp) is a model of concurrency in which agents (also called processes) interact by telling and asking information (constraints) to and from a shared store (a constraint...

Theory of the Anderson impurity model: The Schrieffer endash Wolff transformation reexamined

International Nuclear Information System (INIS)

Kehrein, S.K.; Mielke, A.

1996-01-01

We test the method of infinitesimal unitary transformations recently introduced by Wegner on the Anderson single impurity model. It is demonstrated that infinitesimal unitary transformations in contrast to the Schrieffer endash Wolff transformation allow the construction of an effective Kondo Hamiltonian consistent with the established results in this well understood model. The main reason for this is the intrinsic energy scale separation of Wegner close-quote s approach with respect to arbitrary energy differences coupled by matrix elements. This allows the construction of an effective Hamiltonian without facing a vanishing energy denominator problem. Similar energy denominator problems are troublesome in many models. Infinitesimal unitary transformations have the potential to provide a general framework for the systematic derivation of effective Hamiltonians without such problems. Copyright copyright 1996 Academic Press, Inc

Modeling of constraints and micro-slidings generated between the frictional parts of a valve

International Nuclear Information System (INIS)

Cachon, L.; Sudreau, F.; Denape, J.; Lelait, L.

1995-01-01

The aim of this modeling is to optimize the use of deposited coatings on the frictional parts of valves (lid/seat). This study is part of a tribological study and uses the CASTEM 2000 finite-elements code developed by the CEA/DMT. The numerical calculations allow to verify that the structural constraints at the contact are lower than the admissible limits of the coatings. The structural constraints field under a static load is calculated and leads to the determination of an adhesion coefficient. This coefficient allows to understand how the sliding initiates. (J.S.). 9 figs

Robust Model Predictive Control of Networked Control Systems under Input Constraints and Packet Dropouts

Directory of Open Access Journals (Sweden)

Deyin Yao

2014-01-01

Full Text Available This paper deals with the problem of robust model predictive control (RMPC for a class of linear time-varying systems with constraints and data losses. We take the polytopic uncertainties into account to describe the uncertain systems. First, we design a robust state observer by using the linear matrix inequality (LMI constraints so that the original system state can be tracked. Second, the MPC gain is calculated by minimizing the upper bound of infinite horizon robust performance objective in terms of linear matrix inequality conditions. The method of robust MPC and state observer design is illustrated by a numerical example.

Effects of hysteresis and Brayton cycle constraints on magnetocaloric refrigerant performance

Science.gov (United States)

Brown, T. D.; Buffington, T.; Shamberger, P. J.

2018-05-01

Despite promising proofs of concept, system-level implementation of magnetic refrigeration has been critically limited by history-dependent refrigerant losses that interact with governing thermodynamic cycles to adversely impact refrigeration performance. Future development demands a more detailed understanding of how hysteresis limits performance, and of how different types of cycles can mitigate these limitations, but without the extreme cost of experimental realization. Here, the utility of Brayton cycles for magnetic refrigeration is investigated via direct simulation, using a combined thermodynamic-hysteresis modeling framework to compute the path-dependent magnetization and entropy of a model alloy for a variety of feasible Brayton cycles between 0-1.5 T and 0-5 T. By simultaneously varying the model alloy's hysteresis properties and applying extensions of the thermodynamic laws to non-equilibrium systems, heat transfers and efficiencies are quantified throughout the space of hystereses and Brayton cycles and then compared with a previous investigation using Ericsson cycles. It is found that (1) hysteresis losses remain a critical obstacle to magnetic refrigeration implementation, with efficiencies >80% in the model system requiring hysteresis refrigerant transformation temperatures at the relevant fields; (3) for a given hysteresis and field constraint, Brayton and Ericsson-type cycles generate similar efficiencies; for a given temperature span, Ericsson cycles lift more heat per cycle, with the difference decreasing with the refrigerant heat capacity outside the phase transformation region.

Network Design with Node Degree Balance Constraints

DEFF Research Database (Denmark)

Pedersen, Michael Berliner; Crainic, Teodor Gabriel

This presentation discusses an extension to the network design model where there in addition to the flow conservation constraints also are constraints that require design conservation. This means that the number of arcs entering and leaving a node must be the same. As will be shown the model has ...

Plasticity induced by phase transformation in steel: experiment vs modeling

International Nuclear Information System (INIS)

Tahimi, Abdeladhim

2011-01-01

The objectives of this work are: (i) understand the mechanisms and phenomena involved in the plasticity of steels in the presence of a diffusive or martensitic phase transformation. (ii) develop tools for predicting TRIP, which are able to correctly reproduce the macroscopic deformation for cases of complex loading and could also provide information about local elasto-visco-plastic interactions between product and parent phases. To this purpose, new experimental tests are conducted on 35NCD16 steel for austenite to martensite transformation and on 100C6 steel for austenite to pearlite transformation. The elasto viscoplastic properties of austenite and pearlite of the 100C6 steel are characterized through tension compression and relaxation tests. The parameters of macro-homogeneous and crystal-based constitutive laws could then be identified such as to analyse different models with respect to the experimental TRIP: the analytical models of Leblond (1989) and Taleb and Sidoroff (2003) but also, above all, different numerical models which can be distinguished by the prevailing assumptions concerning the local kinetics and the constitutive laws. An extension of the single-grain model dedicated to martensitic transformations developed during the thesis of S. Meftah (2007) is proposed. It consists in introducing the polycrystalline character of the austenite through a process of homogenization based on a self-consistent scheme by calculating the properties of an Equivalent Homogeneous Medium environment (EHM). (author)

Interval-parameter chance-constraint programming model for end-of-life vehicles management under rigorous environmental regulations.

Science.gov (United States)

Simic, Vladimir

2016-06-01

As the number of end-of-life vehicles (ELVs) is estimated to increase to 79.3 million units per year by 2020 (e.g., 40 million units were generated in 2010), there is strong motivation to effectively manage this fast-growing waste flow. Intensive work on management of ELVs is necessary in order to more successfully tackle this important environmental challenge. This paper proposes an interval-parameter chance-constraint programming model for end-of-life vehicles management under rigorous environmental regulations. The proposed model can incorporate various uncertainty information in the modeling process. The complex relationships between different ELV management sub-systems are successfully addressed. Particularly, the formulated model can help identify optimal patterns of procurement from multiple sources of ELV supply, production and inventory planning in multiple vehicle recycling factories, and allocation of sorted material flows to multiple final destinations under rigorous environmental regulations. A case study is conducted in order to demonstrate the potentials and applicability of the proposed model. Various constraint-violation probability levels are examined in detail. Influences of parameter uncertainty on model solutions are thoroughly investigated. Useful solutions for the management of ELVs are obtained under different probabilities of violating system constraints. The formulated model is able to tackle a hard, uncertainty existing ELV management problem. The presented model has advantages in providing bases for determining long-term ELV management plans with desired compromises between economic efficiency of vehicle recycling system and system-reliability considerations. The results are helpful for supporting generation and improvement of ELV management plans. Copyright © 2016 Elsevier Ltd. All rights reserved.

Machine tongues. X. Constraint languages

Energy Technology Data Exchange (ETDEWEB)

Levitt, D.

Constraint languages and programming environments will help the designer produce a lucid description of a problem domain, and then of particular situations and problems in it. Early versions of these languages were given descriptions of real world domain constraints, like the operation of electrical and mechanical parts. More recently, the author has automated a vocabulary for describing musical jazz phrases, using constraint language as a jazz improviser. General constraint languages will handle all of these domains. Once the model is in place, the system will connect built-in code fragments and algorithms to answer questions about situations; that is, to help solve problems. Bugs will surface not in code, but in designs themselves. 15 references.

Transformation of standardized clinical models based on OWL technologies: from CEM to OpenEHR archetypes.

Science.gov (United States)

Legaz-García, María del Carmen; Menárguez-Tortosa, Marcos; Fernández-Breis, Jesualdo Tomás; Chute, Christopher G; Tao, Cui

2015-05-01

The semantic interoperability of electronic healthcare records (EHRs) systems is a major challenge in the medical informatics area. International initiatives pursue the use of semantically interoperable clinical models, and ontologies have frequently been used in semantic interoperability efforts. The objective of this paper is to propose a generic, ontology-based, flexible approach for supporting the automatic transformation of clinical models, which is illustrated for the transformation of Clinical Element Models (CEMs) into openEHR archetypes. Our transformation method exploits the fact that the information models of the most relevant EHR specifications are available in the Web Ontology Language (OWL). The transformation approach is based on defining mappings between those ontological structures. We propose a way in which CEM entities can be transformed into openEHR by using transformation templates and OWL as common representation formalism. The transformation architecture exploits the reasoning and inferencing capabilities of OWL technologies. We have devised a generic, flexible approach for the transformation of clinical models, implemented for the unidirectional transformation from CEM to openEHR, a series of reusable transformation templates, a proof-of-concept implementation, and a set of openEHR archetypes that validate the methodological approach. We have been able to transform CEM into archetypes in an automatic, flexible, reusable transformation approach that could be extended to other clinical model specifications. We exploit the potential of OWL technologies for supporting the transformation process. We believe that our approach could be useful for international efforts in the area of semantic interoperability of EHR systems. © The Author 2015. Published by Oxford University Press on behalf of the American Medical Informatics Association. All rights reserved. For Permissions, please email: journals.permissions@oup.com.

Compact Acoustic Models for Embedded Speech Recognition

Directory of Open Access Journals (Sweden)

Lévy Christophe

2009-01-01

Full Text Available Speech recognition applications are known to require a significant amount of resources. However, embedded speech recognition only authorizes few KB of memory, few MIPS, and small amount of training data. In order to fit the resource constraints of embedded applications, an approach based on a semicontinuous HMM system using state-independent acoustic modelling is proposed. A transformation is computed and applied to the global model in order to obtain each HMM state-dependent probability density functions, authorizing to store only the transformation parameters. This approach is evaluated on two tasks: digit and voice-command recognition. A fast adaptation technique of acoustic models is also proposed. In order to significantly reduce computational costs, the adaptation is performed only on the global model (using related speaker recognition adaptation techniques with no need for state-dependent data. The whole approach results in a relative gain of more than 20% compared to a basic HMM-based system fitting the constraints.

Measuring the Dynamic Efficiency of Regional Industrial Green Transformation in China

Directory of Open Access Journals (Sweden)

Jinpeng Fu

2018-02-01

Full Text Available The green concept has become one of the key demands of the current era of development in China. As an attempt to cope with climate change and constraints of resources and environment, the industrial green transformation is bound to have a dramatic impact on the whole society. This paper enriches the understanding of industrial green transformation by highlighting its social attributes. Combining a hybrid model with a window analysis, this paper measures the dynamic efficiency of regional industrial green transformation in China from 2006 to 2015. In general, Beijing, Tianjin, Shanghai, Jiangsu, Zhejiang, Fujian, Shandong and Guangdong obtain the best performance; industrial water use has the lowest and most unstable efficiency among various resources. Tobit regression model, thereafter, is used to analyze the impact of hypothetical factors on the efficiency of industrial green transformation. The findings demonstrate that reduction and lean management of state-owned property, promoting the development of the productive service industry, minimizing the proportion of fossil energy use and establishing an excellent economic basis can have nationally positive impacts on the regional industrial green transformation; the progress of the productive service industry is the key to industrial green transformation in Eastern China, while the internal optimization of the industrial sector should be paid more attention in other regions, especially in Western China. Finally, detailed discussions and policy suggestions at a regional level as well as research prospects are given.

Dilatation transformation in the string model

Energy Technology Data Exchange (ETDEWEB)

Chikashige, Y [Tokyo Univ. (Japan). Coll. of General Education; Hosoda, M; Saito, S

1975-05-01

Dilatation transformation is discussed in the string model. We show that it becomes meaningful in the infinite slope limit of Regge trajectories for the motion of a free string. It turns out to be equivalent to the high energy limit of the dual amplitudes, with the Regge slope kept finite, in the case of interacting strings. The scaling phenomenon is explained from this point of view.

Tailored parameter optimization methods for ordinary differential equation models with steady-state constraints.

Science.gov (United States)

Fiedler, Anna; Raeth, Sebastian; Theis, Fabian J; Hausser, Angelika; Hasenauer, Jan

2016-08-22

Ordinary differential equation (ODE) models are widely used to describe (bio-)chemical and biological processes. To enhance the predictive power of these models, their unknown parameters are estimated from experimental data. These experimental data are mostly collected in perturbation experiments, in which the processes are pushed out of steady state by applying a stimulus. The information that the initial condition is a steady state of the unperturbed process provides valuable information, as it restricts the dynamics of the process and thereby the parameters. However, implementing steady-state constraints in the optimization often results in convergence problems. In this manuscript, we propose two new methods for solving optimization problems with steady-state constraints. The first method exploits ideas from optimization algorithms on manifolds and introduces a retraction operator, essentially reducing the dimension of the optimization problem. The second method is based on the continuous analogue of the optimization problem. This continuous analogue is an ODE whose equilibrium points are the optima of the constrained optimization problem. This equivalence enables the use of adaptive numerical methods for solving optimization problems with steady-state constraints. Both methods are tailored to the problem structure and exploit the local geometry of the steady-state manifold and its stability properties. A parameterization of the steady-state manifold is not required. The efficiency and reliability of the proposed methods is evaluated using one toy example and two applications. The first application example uses published data while the second uses a novel dataset for Raf/MEK/ERK signaling. The proposed methods demonstrated better convergence properties than state-of-the-art methods employed in systems and computational biology. Furthermore, the average computation time per converged start is significantly lower. In addition to the theoretical results, the

The linear transformation model with frailties for the analysis of item response times.

Science.gov (United States)

Wang, Chun; Chang, Hua-Hua; Douglas, Jeffrey A

2013-02-01

The item response times (RTs) collected from computerized testing represent an underutilized source of information about items and examinees. In addition to knowing the examinees' responses to each item, we can investigate the amount of time examinees spend on each item. In this paper, we propose a semi-parametric model for RTs, the linear transformation model with a latent speed covariate, which combines the flexibility of non-parametric modelling and the brevity as well as interpretability of parametric modelling. In this new model, the RTs, after some non-parametric monotone transformation, become a linear model with latent speed as covariate plus an error term. The distribution of the error term implicitly defines the relationship between the RT and examinees' latent speeds; whereas the non-parametric transformation is able to describe various shapes of RT distributions. The linear transformation model represents a rich family of models that includes the Cox proportional hazards model, the Box-Cox normal model, and many other models as special cases. This new model is embedded in a hierarchical framework so that both RTs and responses are modelled simultaneously. A two-stage estimation method is proposed. In the first stage, the Markov chain Monte Carlo method is employed to estimate the parametric part of the model. In the second stage, an estimating equation method with a recursive algorithm is adopted to estimate the non-parametric transformation. Applicability of the new model is demonstrated with a simulation study and a real data application. Finally, methods to evaluate the model fit are suggested. © 2012 The British Psychological Society.

Evaluation of Rule-based Modularization in Model Transformation Languages illustrated with ATL

NARCIS (Netherlands)

Ivanov, Ivan; van den Berg, Klaas; Jouault, Frédéric

This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are identified on the base of the relations between source and target metamodels and on the base of generic transformation

The capability and constraint model of recoverability: An integrated theory of continuity planning.

Science.gov (United States)

Lindstedt, David

2017-01-01

While there are best practices, good practices, regulations and standards for continuity planning, there is no single model to collate and sort their various recommended activities. To address this deficit, this paper presents the capability and constraint model of recoverability - a new model to provide an integrated foundation for business continuity planning. The model is non-linear in both construct and practice, thus allowing practitioners to remain adaptive in its application. The paper presents each facet of the model, outlines the model's use in both theory and practice, suggests a subsequent approach that arises from the model, and discusses some possible ramifications to the industry.

Modeling and analysis on ring-type piezoelectric transformers.

Science.gov (United States)

Ho, Shine-Tzong

2007-11-01

This paper presents an electromechanical model for a ring-type piezoelectric transformer (PT). To establish this model, vibration characteristics of the piezoelectric ring with free boundary conditions are analyzed in advance. Based on the vibration analysis of the piezoelectric ring, the operating frequency and vibration mode of the PT are chosen. Then, electromechanical equations of motion for the PT are derived based on Hamilton's principle, which can be used to simulate the coupled electromechanical system for the transformer. Such as voltage stepup ratio, input impedance, output impedance, input power, output power, and efficiency are calculated by the equations. The optimal load resistance and the maximum efficiency for the PT will be presented in this paper. Experiments also were conducted to verify the theoretical analysis, and a good agreement was obtained.

Perturbative Gaussianizing transforms for cosmological fields

Science.gov (United States)

Hall, Alex; Mead, Alexander

2018-01-01

Constraints on cosmological parameters from large-scale structure have traditionally been obtained from two-point statistics. However, non-linear structure formation renders these statistics insufficient in capturing the full information content available, necessitating the measurement of higher order moments to recover information which would otherwise be lost. We construct quantities based on non-linear and non-local transformations of weakly non-Gaussian fields that Gaussianize the full multivariate distribution at a given order in perturbation theory. Our approach does not require a model of the fields themselves and takes as input only the first few polyspectra, which could be modelled or measured from simulations or data, making our method particularly suited to observables lacking a robust perturbative description such as the weak-lensing shear. We apply our method to simulated density fields, finding a significantly reduced bispectrum and an enhanced correlation with the initial field. We demonstrate that our method reconstructs a large proportion of the linear baryon acoustic oscillations, improving the information content over the raw field by 35 per cent. We apply the transform to toy 21 cm intensity maps, showing that our method still performs well in the presence of complications such as redshift-space distortions, beam smoothing, pixel noise and foreground subtraction. We discuss how this method might provide a route to constructing a perturbative model of the fully non-Gaussian multivariate likelihood function.

A balance principle approach for modeling phase transformation kinetics

International Nuclear Information System (INIS)

Lusk, M.; Krauss, G.; Jou, H.J.

1995-01-01

A balance principle is offered to model volume fraction kinetics of phase transformation kinetics at a continuum level. This microbalance provides a differential equation for transformation kinetics which is coupled to the differential equations governing the mechanical and thermal aspects of the process. Application here is restricted to diffusive transformations for the sake of clarity, although the principle is discussed for martensitic phase transitions as well. Avrami-type kinetics are shown to result from a special class of energy functions. An illustrative example using a 0.5% C Chromium steel demonstrates how TTT and CCT curves can be generated using a particularly simple effective energy function. (orig.)

MODELING CONTROLLED ASYNCHRONOUS ELECTRIC DRIVES WITH MATCHING REDUCERS AND TRANSFORMERS

Directory of Open Access Journals (Sweden)

V. S. Petrushin

2015-04-01

Full Text Available Purpose. Working out of mathematical models of the speed-controlled induction electric drives ensuring joint consideration of transformers, motors and loadings, and also matching reducers and transformers, both in static, and in dynamic regimes for the analysis of their operating characteristics. Methodology. At mathematical modelling are considered functional, mass, dimensional and cost indexes of reducers and transformers that allows observing engineering and economic aspects of speed-controlled induction electric drives. The mathematical models used for examination of the transitive electromagnetic and electromechanical processes, are grounded on systems of nonlinear differential equations with nonlinear coefficients (parameters of equivalent circuits of motors, varying in each operating point, including owing to appearances of saturation of magnetic system and current displacement in a winding of a rotor of an induction motor. For the purpose of raise of level of adequacy of models a magnetic circuit iron, additional and mechanical losses are considered. Results. Modelling of the several speed-controlled induction electric drives, different by components, but working on a loading equal on character, magnitude and a demanded control range is executed. At use of characteristic families including mechanical, at various parameters of regulating on which performances of the load mechanism are superimposed, the adjusting characteristics representing dependences of a modification of electrical, energy and thermal magnitudes from an angular speed of motors are gained. Originality. The offered complex models of speed-controlled induction electric drives with matching reducers and transformers, give the chance to realize well-founded sampling of components of drives. They also can be used as the design models by working out of speed-controlled induction motors. Practical value. Operating characteristics of various speed-controlled induction electric

Weak solutions for nonlocal evolution variational inequalities involving gradient constraints and variable exponent

Directory of Open Access Journals (Sweden)

Mingqi Xiang

2013-04-01

Full Text Available In this article, we study a class of nonlocal quasilinear parabolic variational inequality involving $p(x$-Laplacian operator and gradient constraint on a bounded domain. Choosing a special penalty functional according to the gradient constraint, we transform the variational inequality to a parabolic equation. By means of Galerkin's approximation method, we obtain the existence of weak solutions for this equation, and then through a priori estimates, we obtain the weak solutions of variational inequality.

Laplace transform analysis of a multiplicative asset transfer model

Science.gov (United States)

Sokolov, Andrey; Melatos, Andrew; Kieu, Tien

2010-07-01

We analyze a simple asset transfer model in which the transfer amount is a fixed fraction f of the giver’s wealth. The model is analyzed in a new way by Laplace transforming the master equation, solving it analytically and numerically for the steady-state distribution, and exploring the solutions for various values of f∈(0,1). The Laplace transform analysis is superior to agent-based simulations as it does not depend on the number of agents, enabling us to study entropy and inequality in regimes that are costly to address with simulations. We demonstrate that Boltzmann entropy is not a suitable (e.g. non-monotonic) measure of disorder in a multiplicative asset transfer system and suggest an asymmetric stochastic process that is equivalent to the asset transfer model.

Rigorous constraints on the matrix elements of the energy–momentum tensor

Directory of Open Access Journals (Sweden)

Peter Lowdon

2017-11-01

Full Text Available The structure of the matrix elements of the energy–momentum tensor play an important role in determining the properties of the form factors A(q2, B(q2 and C(q2 which appear in the Lorentz covariant decomposition of the matrix elements. In this paper we apply a rigorous frame-independent distributional-matching approach to the matrix elements of the Poincaré generators in order to derive constraints on these form factors as q→0. In contrast to the literature, we explicitly demonstrate that the vanishing of the anomalous gravitomagnetic moment B(0 and the condition A(0=1 are independent of one another, and that these constraints are not related to the specific properties or conservation of the individual Poincaré generators themselves, but are in fact a consequence of the physical on-shell requirement of the states in the matrix elements and the manner in which these states transform under Poincaré transformations.

Madrasah Culture Based Transformational Leadership Model

OpenAIRE

Nur Khoiri

2016-01-01

Leadership is the ability to influence, direct behavior, and have a particular expertise in the field of the group who want to achieve the goals. A dynamic organization requires transformational leadership model. A school principal as a leader at school aims to actualize good learning leadership. Leadership learning focuses on learning which components include curriculum, teaching and learning process, assessment, teacher assessment and development, good service in learning, and developing a ...

Prospective of Transformation of Current Models of the Global Pharmaceutical Market

Directory of Open Access Journals (Sweden)

Yuriy Solodkovskyy

2012-02-01

Full Text Available This article thoroughly analyzes the current state of the global pharmaceutical market, defines the key factors for its development and outlines the promising areas of transformation of existing business models of top companies. The forecasted data relating to the market development until 2015 have been investigated. The global, market, technological and organizational factors of transformation of modern model of the global pharmaceutical market have been identified.

Multiple Model Adaptive Attitude Control of LEO Satellite with Angular Velocity Constraints

Science.gov (United States)

Shahrooei, Abolfazl; Kazemi, Mohammad Hosein

2018-04-01

In this paper, the multiple model adaptive control is utilized to improve the transient response of attitude control system for a rigid spacecraft. An adaptive output feedback control law is proposed for attitude control under angular velocity constraints and its almost global asymptotic stability is proved. The multiple model adaptive control approach is employed to counteract large uncertainty in parameter space of the inertia matrix. The nonlinear dynamics of a low earth orbit satellite is simulated and the proposed control algorithm is implemented. The reported results show the effectiveness of the suggested scheme.

Thermodynamic analysis of regulation in metabolic networks using constraint-based modeling

Directory of Open Access Journals (Sweden)

Mahadevan Radhakrishnan

2010-05-01

Full Text Available Abstract Background Geobacter sulfurreducens is a member of the Geobacter species, which are capable of oxidation of organic waste coupled to the reduction of heavy metals and electrode with applications in bioremediation and bioenergy generation. While the metabolism of this organism has been studied through the development of a stoichiometry based genome-scale metabolic model, the associated regulatory network has not yet been well studied. In this manuscript, we report on the implementation of a thermodynamics based metabolic flux model for Geobacter sulfurreducens. We use this updated model to identify reactions that are subject to regulatory control in the metabolic network of G. sulfurreducens using thermodynamic variability analysis. Findings As a first step, we have validated the regulatory sites and bottleneck reactions predicted by the thermodynamic flux analysis in E. coli by evaluating the expression ranges of the corresponding genes. We then identified ten reactions in the metabolic network of G. sulfurreducens that are predicted to be candidates for regulation. We then compared the free energy ranges for these reactions with the corresponding gene expression fold changes under conditions of different environmental and genetic perturbations and show that the model predictions of regulation are consistent with data. In addition, we also identify reactions that operate close to equilibrium and show that the experimentally determined exchange coefficient (a measure of reversibility is significant for these reactions. Conclusions Application of the thermodynamic constraints resulted in identification of potential bottleneck reactions not only from the central metabolism but also from the nucleotide and amino acid subsystems, thereby showing the highly coupled nature of the thermodynamic constraints. In addition, thermodynamic variability analysis serves as a valuable tool in estimating the ranges of ΔrG' of every reaction in the model

Statistical surrogate model based sampling criterion for stochastic global optimization of problems with constraints

Energy Technology Data Exchange (ETDEWEB)

Cho, Su Gil; Jang, Jun Yong; Kim, Ji Hoon; Lee, Tae Hee [Hanyang University, Seoul (Korea, Republic of); Lee, Min Uk [Romax Technology Ltd., Seoul (Korea, Republic of); Choi, Jong Su; Hong, Sup [Korea Research Institute of Ships and Ocean Engineering, Daejeon (Korea, Republic of)

2015-04-15

Sequential surrogate model-based global optimization algorithms, such as super-EGO, have been developed to increase the efficiency of commonly used global optimization technique as well as to ensure the accuracy of optimization. However, earlier studies have drawbacks because there are three phases in the optimization loop and empirical parameters. We propose a united sampling criterion to simplify the algorithm and to achieve the global optimum of problems with constraints without any empirical parameters. It is able to select the points located in a feasible region with high model uncertainty as well as the points along the boundary of constraint at the lowest objective value. The mean squared error determines which criterion is more dominant among the infill sampling criterion and boundary sampling criterion. Also, the method guarantees the accuracy of the surrogate model because the sample points are not located within extremely small regions like super-EGO. The performance of the proposed method, such as the solvability of a problem, convergence properties, and efficiency, are validated through nonlinear numerical examples with disconnected feasible regions.

Constraints on singlet right-handed neutrinos coming from the Z0-width

International Nuclear Information System (INIS)

Escobar, C.O.; Peres, O.L.G.; Pleitez, V.

1992-12-01

The constraints on masses and missing angles imposed by the measured Z 0 invisible width, in a model in which a singlet right-handed neutrino mixes with all the Standard model neutrinos are studied. If neutrinos are massive an important question to be answered concerns the way the Z-pole observables constraint their masses and mixing parameters. In particular the measured Z-invisible width, Γ inv , implies that the number of families is compatible with three. On the other hand, it is well known that this number need not to be an integer number if right-handed neutrinos transformed as singlets under SU(2) L x U(1) Y are added to the particle content of the theory. Experimental searches for sequential neutron leptons beyond the three generations exclude stable Dirac neutrinos below 41.8 GeV and stable Majorana neutrinos below 34.8 GeV. For the unstable cases these values are 46,4 and 45.1 GeV respectively. However, it is worth stressing that these limits are valid for sequential leptons and do not apply to the case of singlets of right-handed neutrinos. Here we will consider the simplest extension of the standard electroweak model with the addition of the one right-handed singlet neutral fermion, resulting in 4 physical neutrinos two of them massless and two massive ones. (author)

Modelling and analysis of the transformer current resonance in dual active bridge converters

DEFF Research Database (Denmark)

Qin, Zian; Shen, Zhan; Blaabjerg, Frede

2017-01-01

Due to the parasitic capacitances of the transformer and inductor in Dual Active Bridge (DAB) converters, resonance happens in the transformer currents. This high frequency resonant current flowing into the full bridges will worsen their soft-switching performance and thereby reduce its efficiency....... In order to study the generation mechanism of this current resonance, the impedance of the transformer and inductor with parasitic components is modelled in this digest. Then, based on the impedance model, an approach is proposed to mitigate the current resonance. Finally, both the impedance model...

NitroScape: A model to integrate nitrogen transfers and transformations in rural landscapes

Energy Technology Data Exchange (ETDEWEB)

Duretz, S. [INRA-AgroParisTech, UMR 1091 Environnement et Grandes Cultures (EGC), 78850 Thiverval-Grignon (France); Drouet, J.L., E-mail: Jean-Louis.Drouet@grignon.inra.fr [INRA-AgroParisTech, UMR 1091 Environnement et Grandes Cultures (EGC), 78850 Thiverval-Grignon (France); Durand, P. [INRA-AgroCampus, UMR 1069 Sol Agro et hydrosysteme Spatialisation (SAS), 35042 Rennes cedex (France); Hutchings, N.J. [Department of Agroecology, Faculty of Agricultural Sciences, University of Aarhus (AU), Blichers Alle, 8830 Tjele (Denmark); Theobald, M.R. [Department of Chemistry and Agricultural Analysis, Technical University of Madrid (UPM), 28040 Madrid (Spain); Centre for Ecology and Hydrology (CEH), Bush Estate, Penicuik, Midlothian EH26 0QB (United Kingdom); Salmon-Monviola, J. [INRA-AgroCampus, UMR 1069 Sol Agro et hydrosysteme Spatialisation (SAS), 35042 Rennes cedex (France); Dragosits, U. [Centre for Ecology and Hydrology (CEH), Bush Estate, Penicuik, Midlothian EH26 0QB (United Kingdom); Maury, O. [INRA-AgroParisTech, UMR 1091 Environnement et Grandes Cultures (EGC), 78850 Thiverval-Grignon (France); Sutton, M.A. [Centre for Ecology and Hydrology (CEH), Bush Estate, Penicuik, Midlothian EH26 0QB (United Kingdom); Cellier, P. [INRA-AgroParisTech, UMR 1091 Environnement et Grandes Cultures (EGC), 78850 Thiverval-Grignon (France)

2011-11-15

Modelling nitrogen transfer and transformation at the landscape scale is relevant to estimate the mobility of the reactive forms of nitrogen (N{sub r}) and the associated threats to the environment. Here we describe the development of a spatially and temporally explicit model to integrate N{sub r} transfer and transformation at the landscape scale. The model couples four existing models, to simulate atmospheric, farm, agro-ecosystem and hydrological N{sub r} fluxes and transformations within a landscape. Simulations were carried out on a theoretical landscape consisting of pig-crop farms interspersed with unmanaged ecosystems. Simulation results illustrated the effect of spatial interactions between landscape elements on N{sub r} fluxes and losses to the environment. More than 10% of the total N{sub 2}O emissions were due to indirect emissions. The nitrogen budgets and transformations of the unmanaged ecosystems varied considerably, depending on their location within the landscape. The model represents a new tool for assessing the effect of changes in landscape structure on N{sub r} fluxes. - Highlights: > The landscape scale is relevant to study how spatial interactions affect N{sub r} fate. > The NitroScape model integrates N{sub r} transfer and transformation at landscape scale. > NitroScape couples existing atmospheric, farm, agro-ecosystem and hydrological models. > Data exchanges within NitroScape are dynamic and spatially distributed. > More than 10% of the simulated N{sub 2}O emissions are due to indirect emissions. - A model integrating terrestrial, hydrological and atmospheric processes of N{sub r} transfer and transformation at the landscape scale has been developed to simulate the effect of spatial interactions between landscape elements on N{sub r} fate.

NitroScape: A model to integrate nitrogen transfers and transformations in rural landscapes

International Nuclear Information System (INIS)

Duretz, S.; Drouet, J.L.; Durand, P.; Hutchings, N.J.; Theobald, M.R.; Salmon-Monviola, J.; Dragosits, U.; Maury, O.; Sutton, M.A.; Cellier, P.

2011-01-01

Modelling nitrogen transfer and transformation at the landscape scale is relevant to estimate the mobility of the reactive forms of nitrogen (N r ) and the associated threats to the environment. Here we describe the development of a spatially and temporally explicit model to integrate N r transfer and transformation at the landscape scale. The model couples four existing models, to simulate atmospheric, farm, agro-ecosystem and hydrological N r fluxes and transformations within a landscape. Simulations were carried out on a theoretical landscape consisting of pig-crop farms interspersed with unmanaged ecosystems. Simulation results illustrated the effect of spatial interactions between landscape elements on N r fluxes and losses to the environment. More than 10% of the total N 2 O emissions were due to indirect emissions. The nitrogen budgets and transformations of the unmanaged ecosystems varied considerably, depending on their location within the landscape. The model represents a new tool for assessing the effect of changes in landscape structure on N r fluxes. - Highlights: → The landscape scale is relevant to study how spatial interactions affect N r fate. → The NitroScape model integrates N r transfer and transformation at landscape scale. → NitroScape couples existing atmospheric, farm, agro-ecosystem and hydrological models. → Data exchanges within NitroScape are dynamic and spatially distributed. → More than 10% of the simulated N 2 O emissions are due to indirect emissions. - A model integrating terrestrial, hydrological and atmospheric processes of N r transfer and transformation at the landscape scale has been developed to simulate the effect of spatial interactions between landscape elements on N r fate.

Augment clinical measurement using a constraint-based esophageal model

Science.gov (United States)

Kou, Wenjun; Acharya, Shashank; Kahrilas, Peter; Patankar, Neelesh; Pandolfino, John

2017-11-01

Quantifying the mechanical properties of the esophageal wall is crucial to understanding impairments of trans-esophageal flow characteristic of several esophageal diseases. However, these data are unavailable owing to technological limitations of current clinical diagnostic instruments that instead display esophageal luminal cross sectional area based on intraluminal impedance change. In this work, we developed an esophageal model to predict bolus flow and the wall property based on clinical measurements. The model used the constraint-based immersed-boundary method developed previously by our group. Specifically, we first approximate the time-dependent wall geometry based on impedance planimetry data on luminal cross sectional area. We then fed these along with pressure data into the model and computed wall tension based on simulated pressure and flow fields, and the material property based on the strain-stress relationship. As examples, we applied this model to augment FLIP (Functional Luminal Imaging Probe) measurements in three clinical cases: a normal subject, achalasia, and eosinophilic esophagitis (EoE). Our findings suggest that the wall stiffness was greatest in the EoE case, followed by the achalasia case, and then the normal. This is supported by NIH Grant R01 DK56033 and R01 DK079902.

Application of Tissue Culture and Transformation Techniques in Model Species Brachypodium distachyon.

Science.gov (United States)

Sogutmaz Ozdemir, Bahar; Budak, Hikmet

2018-01-01

Brachypodium distachyon has recently emerged as a model plant species for the grass family (Poaceae) that includes major cereal crops and forage grasses. One of the important traits of a model species is its capacity to be transformed and ease of growing both in tissue culture and in greenhouse conditions. Hence, plant transformation technology is crucial for improvements in agricultural studies, both for the study of new genes and in the production of new transgenic plant species. In this chapter, we review an efficient tissue culture and two different transformation systems for Brachypodium using most commonly preferred gene transfer techniques in plant species, microprojectile bombardment method (biolistics) and Agrobacterium-mediated transformation.In plant transformation studies, frequently used explant materials are immature embryos due to their higher transformation efficiencies and regeneration capacity. However, mature embryos are available throughout the year in contrast to immature embryos. We explain a tissue culture protocol for Brachypodium using mature embryos with the selected inbred lines from our collection. Embryogenic calluses obtained from mature embryos are used to transform Brachypodium with both plant transformation techniques that are revised according to previously studied protocols applied in the grasses, such as applying vacuum infiltration, different wounding effects, modification in inoculation and cocultivation steps or optimization of bombardment parameters.

Newer developments on self-modeling curve resolution implementing equality and unimodality constraints.

Science.gov (United States)

Beyramysoltan, Samira; Abdollahi, Hamid; Rajkó, Róbert

2014-05-27

Analytical self-modeling curve resolution (SMCR) methods resolve data sets to a range of feasible solutions using only non-negative constraints. The Lawton-Sylvestre method was the first direct method to analyze a two-component system. It was generalized as a Borgen plot for determining the feasible regions in three-component systems. It seems that a geometrical view is required for considering curve resolution methods, because the complicated (only algebraic) conceptions caused a stop in the general study of Borgen's work for 20 years. Rajkó and István revised and elucidated the principles of existing theory in SMCR methods and subsequently introduced computational geometry tools for developing an algorithm to draw Borgen plots in three-component systems. These developments are theoretical inventions and the formulations are not always able to be given in close form or regularized formalism, especially for geometric descriptions, that is why several algorithms should have been developed and provided for even the theoretical deductions and determinations. In this study, analytical SMCR methods are revised and described using simple concepts. The details of a drawing algorithm for a developmental type of Borgen plot are given. Additionally, for the first time in the literature, equality and unimodality constraints are successfully implemented in the Lawton-Sylvestre method. To this end, a new state-of-the-art procedure is proposed to impose equality constraint in Borgen plots. Two- and three-component HPLC-DAD data set were simulated and analyzed by the new analytical curve resolution methods with and without additional constraints. Detailed descriptions and explanations are given based on the obtained abstract spaces. Copyright © 2014 Elsevier B.V. All rights reserved.

A macroscopic model to simulate the mechanically induced martensitic transformation in metastable austenitic stainless steels

International Nuclear Information System (INIS)

Perdahcıoğlu, E.S.; Geijselaers, H.J.M.

2012-01-01

Mechanically induced martensitic transformation and the associated transformation plasticity phenomena in austenitic stainless steels are studied. The mechanisms responsible for the transformation are investigated and put into perspective based on experimental evidence. The stress and strain partitioning into the austenite and martensite phases are formulated using a mean-field homogenization approach. At this intermediate length-scale the average stress in the austenite phase is computed and utilized to compute the mechanical driving force resolved in the material. The amount of transformation and the transformation plasticity is derived as a function of the driving force. The mechanical response of the material is obtained by combining the homogenization and the transformation models. The model is verified by mechanical tests under biaxial loading conditions during which different transformation rates are observed. As a final verification of the model, a bending test is used which manifests the stress-state dependency of the transformation.

Cotton transformation via pollen tube pathway.

Science.gov (United States)

Wang, Min; Zhang, Baohong; Wang, Qinglian

2013-01-01

Although many gene transfer methods have been employed for successfully obtaining transgenic cotton, the major constraint in cotton improvement is the limitation of genotype because the majority of transgenic methods require plant regeneration from a single transformed cell which is limited by cotton tissue culture. Comparing with other plant species, it is difficult to induce plant regeneration from cotton; currently, only a limited number of cotton cultivars can be cultured for obtaining regenerated plants. Thus, development of a simple and genotype-independent genetic transformation method is particularly important for cotton community. In this chapter, we present a simple, cost-efficient, and genotype-independent cotton transformation method-pollen tube pathway-mediated transformation. This method uses pollen tube pathway to deliver transgene into cotton embryo sacs and then insert foreign genes into cotton genome. There are three major steps for pollen tube pathway-mediated genetic transformation, which include injection of -foreign genes into pollen tube, integration of foreign genes into plant genome, and selection of transgenic plants.

Semiautomatic segmentation of aortic valve from sequenced ultrasound image using a novel shape-constraint GCV model

Energy Technology Data Exchange (ETDEWEB)

Guo, Yiting [Multi-disciplinary Research Center, Hebei University, Baoding 071000 (China); Dong, Bin [Hebei University Affiliated Hospital, Hebei Baoding 071000 (China); Wang, Bing [College of Mathematics and Computer Science, Hebei University, Baoding 071000 (China); Xie, Hongzhi, E-mail: xiehongzhi@medmail.com.cn, E-mail: gulixu@sjtu.edu.cn; Zhang, Shuyang [Department of Cardiovascular, Peking Union Medical College Hospital, Beijing 100005 (China); Gu, Lixu, E-mail: xiehongzhi@medmail.com.cn, E-mail: gulixu@sjtu.edu.cn [Multi-disciplinary Research Center, Hebei University, Baoding 071000, China and School of Biomedical Engineering, Shanghai Jiao Tong University, Shanghai 200030 (China)

2014-07-15

Purpose: Effective and accurate segmentation of the aortic valve (AV) from sequenced ultrasound (US) images remains a technical challenge because of intrinsic factors of ultrasound images that impact the quality and the continuous changes of shape and position of segmented objects. In this paper, a novel shape-constraint gradient Chan-Vese (GCV) model is proposed for segmenting the AV from time serial echocardiography. Methods: The GCV model is derived by incorporating the energy of the gradient vector flow into a CV model framework, where the gradient vector energy term is introduced by calculating the deviation angle between the inward normal force of the evolution contour and the gradient vector force. The flow force enlarges the capture range and enhances the blurred boundaries of objects. This is achieved by adding a circle-like contour (constructed using the AV structure region as a constraint shape) as an energy item to the GCV model through the shape comparison function. This shape-constrained energy can enhance the image constraint force by effectively connecting separate gaps of the object edge as well as driving the evolution contour to quickly approach the ideal object. Because of the slight movement of the AV in adjacent frames, the initial constraint shape is defined by users, with the other constraint shapes being derived from the segmentation results of adjacent sequence frames after morphological filtering. The AV is segmented from the US images by minimizing the proposed energy function. Results: To evaluate the performance of the proposed method, five assessment parameters were used to compare it with manual delineations performed by radiologists (gold standards). Three hundred and fifteen images acquired from nine groups were analyzed in the experiment. The area-metric overlap error rate was 6.89% ± 2.88%, the relative area difference rate 3.94% ± 2.63%, the average symmetric contour distance 1.08 ± 0.43 mm, the root mean square symmetric

Semiautomatic segmentation of aortic valve from sequenced ultrasound image using a novel shape-constraint GCV model

International Nuclear Information System (INIS)

Guo, Yiting; Dong, Bin; Wang, Bing; Xie, Hongzhi; Zhang, Shuyang; Gu, Lixu

2014-01-01

Purpose: Effective and accurate segmentation of the aortic valve (AV) from sequenced ultrasound (US) images remains a technical challenge because of intrinsic factors of ultrasound images that impact the quality and the continuous changes of shape and position of segmented objects. In this paper, a novel shape-constraint gradient Chan-Vese (GCV) model is proposed for segmenting the AV from time serial echocardiography. Methods: The GCV model is derived by incorporating the energy of the gradient vector flow into a CV model framework, where the gradient vector energy term is introduced by calculating the deviation angle between the inward normal force of the evolution contour and the gradient vector force. The flow force enlarges the capture range and enhances the blurred boundaries of objects. This is achieved by adding a circle-like contour (constructed using the AV structure region as a constraint shape) as an energy item to the GCV model through the shape comparison function. This shape-constrained energy can enhance the image constraint force by effectively connecting separate gaps of the object edge as well as driving the evolution contour to quickly approach the ideal object. Because of the slight movement of the AV in adjacent frames, the initial constraint shape is defined by users, with the other constraint shapes being derived from the segmentation results of adjacent sequence frames after morphological filtering. The AV is segmented from the US images by minimizing the proposed energy function. Results: To evaluate the performance of the proposed method, five assessment parameters were used to compare it with manual delineations performed by radiologists (gold standards). Three hundred and fifteen images acquired from nine groups were analyzed in the experiment. The area-metric overlap error rate was 6.89% ± 2.88%, the relative area difference rate 3.94% ± 2.63%, the average symmetric contour distance 1.08 ± 0.43 mm, the root mean square symmetric

Asset transformation and the challenges to servitize a utility business model

International Nuclear Information System (INIS)

Helms, Thorsten

2016-01-01

The traditional energy utility business model is under pressure, and energy services are expected to play an important role for the energy transition. Experts and scholars argue that utilities need to innovate their business models, and transform from commodity suppliers to service providers. The transition from a product-oriented, capital-intensive business model based on tangible assets, towards a service-oriented, expense-intensive business model based on intangible assets may present great managerial and organizational challenges. Little research exists about such transitions for capital-intensive commodity providers, and particularly energy utilities, where the challenges to servitize are expected to be greatest. This qualitative paper explores the barriers to servitization within selected Swiss and German utility companies through a series of interviews with utility managers. One of them is ‘asset transformation’, the shift from tangible to intangible assets as major input factor for the value proposition, which is proposed as a driver for the complexity of business model transitions. Managers need to carefully manage those challenges, and find ways to operate both new service and established utility business models aside. Policy makers can support the transition of utilities through more favorable regulatory frameworks for energy services, and by supporting the exchange of knowledge in the industry. - Highlights: •The paper analyses the expected transformation of utilities into service-providers. •Service and utility business models possess very different attributes. •The former is based on intangible, the latter on tangible assets. •The transformation into a service-provider is related with great challenges. •Asset transformation is proposed as a barrier for business model innovation.

Transformations Based on Continuous Piecewise-Affine Velocity Fields

DEFF Research Database (Denmark)

Freifeld, Oren; Hauberg, Søren; Batmanghelich, Kayhan

2017-01-01

We propose novel finite-dimensional spaces of well-behaved transformations. The latter are obtained by (fast and highly-accurate) integration of continuous piecewise-affine velocity fields. The proposed method is simple yet highly expressive, effortlessly handles optional constraints (e.g., volum...

Transforming Cobol Legacy Software to a Generic Imperative Model

National Research Council Canada - National Science Library

Moraes, DinaL

1999-01-01

.... This research develops a transformation system to convert COBOL code into a generic imperative model, recapturing the initial design and deciphering the requirements implemented by the legacy code...

A Professionalism Curricular Model to Promote Transformative Learning Among Residents.

Science.gov (United States)

Foshee, Cecile M; Mehdi, Ali; Bierer, S Beth; Traboulsi, Elias I; Isaacson, J Harry; Spencer, Abby; Calabrese, Cassandra; Burkey, Brian B

2017-06-01

Using the frameworks of transformational learning and situated learning theory, we developed a technology-enhanced professionalism curricular model to build a learning community aimed at promoting residents' self-reflection and self-awareness. The RAPR model had 4 components: (1) R ecognize : elicit awareness; (2) A ppreciate : question assumptions and take multiple perspectives; (3) P ractice : try new/changed perspectives; and (4) R eflect : articulate implications of transformed views on future actions. The authors explored the acceptability and practicality of the RAPR model in teaching professionalism in a residency setting, including how residents and faculty perceive the model, how well residents carry out the curricular activities, and whether these activities support transformational learning. A convenience sample of 52 postgraduate years 1 through 3 internal medicine residents participated in the 10-hour curriculum over 4 weeks. A constructivist approach guided the thematic analysis of residents' written reflections, which were a required curricular task. A total of 94% (49 of 52) of residents participated in 2 implementation periods (January and March 2015). Findings suggested that RAPR has the potential to foster professionalism transformation in 3 domains: (1) attitudinal, with participants reporting they viewed professionalism in a more positive light and felt more empathetic toward patients; (2) behavioral, with residents indicating their ability to listen to patients increased; and (3) cognitive, with residents indicating the discussions improved their ability to reflect, and this helped them create meaning from experiences. Our findings suggest that RAPR offers an acceptable and practical strategy to teach professionalism to residents.

Non-universal gaugino mass GUT models in the light of dark matter and LHC constraints

International Nuclear Information System (INIS)

Chakrabortty, Joydeep; Mohanty, Subhendra; Rao, Soumya

2014-01-01

We perform a comprehensive study of SU(5), SO(10) and E(6) supersymmetric GUT models where the gaugino masses are generated through the F-term breaking vacuum expectation values of the non-singlet scalar fields. In these models the gauginos are non-universal at the GUT scale unlike in the mSUGRA scenario. We discuss the properties of the LSP which is stable and a viable candidate for cold dark matter. We look for the GUT scale parameter space that leads to the the lightest SM like Higgs mass in the range of 122–127 GeV compatible with the observations at ATLAS and CMS, the relic density in the allowed range of WMAP-PLANCK and compatible with other constraints from colliders and direct detection experiments. We scan universal scalar (m 0 G ), trilinear coupling A 0 and SU(3) C gaugino mass (M 3 G ) as the independent free parameters for these models. Based on the gaugino mass ratios at the GUT scale, we classify 25 SUSY GUT models and find that of these only 13 models satisfy the dark matter and collider constraints. Out of these 13 models there is only one model where there is a sizeable SUSY contribution to muon (g−2)

Latin hypercube sampling with inequality constraints

International Nuclear Information System (INIS)

Iooss, B.; Petelet, M.; Asserin, O.; Loredo, A.

2010-01-01

In some studies requiring predictive and CPU-time consuming numerical models, the sampling design of the model input variables has to be chosen with caution. For this purpose, Latin hypercube sampling has a long history and has shown its robustness capabilities. In this paper we propose and discuss a new algorithm to build a Latin hypercube sample (LHS) taking into account inequality constraints between the sampled variables. This technique, called constrained Latin hypercube sampling (cLHS), consists in doing permutations on an initial LHS to honor the desired monotonic constraints. The relevance of this approach is shown on a real example concerning the numerical welding simulation, where the inequality constraints are caused by the physical decreasing of some material properties in function of the temperature. (authors)

Infrared Constraint on Ultraviolet Theories

Energy Technology Data Exchange (ETDEWEB)

Tsai, Yuhsin [Cornell Univ., Ithaca, NY (United States)

2012-08-01

While our current paradigm of particle physics, the Standard Model (SM), has been extremely successful at explaining experiments, it is theoretically incomplete and must be embedded into a larger framework. In this thesis, we review the main motivations for theories beyond the SM (BSM) and the ways such theories can be constrained using low energy physics. The hierarchy problem, neutrino mass and the existence of dark matter (DM) are the main reasons why the SM is incomplete . Two of the most plausible theories that may solve the hierarchy problem are the Randall-Sundrum (RS) models and supersymmetry (SUSY). RS models usually suffer from strong flavor constraints, while SUSY models produce extra degrees of freedom that need to be hidden from current experiments. To show the importance of infrared (IR) physics constraints, we discuss the flavor bounds on the anarchic RS model in both the lepton and quark sectors. For SUSY models, we discuss the difficulties in obtaining a phenomenologically allowed gaugino mass, its relation to R-symmetry breaking, and how to build a model that avoids this problem. For the neutrino mass problem, we discuss the idea of generating small neutrino masses using compositeness. By requiring successful leptogenesis and the existence of warm dark matter (WDM), we can set various constraints on the hidden composite sector. Finally, to give an example of model independent bounds from collider experiments, we show how to constrain the DM–SM particle interactions using collider results with an effective coupling description.

Transfer Function Identification Using Orthogonal Fourier Transform Modeling Functions

Science.gov (United States)

Morelli, Eugene A.

2013-01-01

A method for transfer function identification, including both model structure determination and parameter estimation, was developed and demonstrated. The approach uses orthogonal modeling functions generated from frequency domain data obtained by Fourier transformation of time series data. The method was applied to simulation data to identify continuous-time transfer function models and unsteady aerodynamic models. Model fit error, estimated model parameters, and the associated uncertainties were used to show the effectiveness of the method for identifying accurate transfer function models from noisy data.

Growth curves and sustained commissioning modelling of renewable energy: Investigating resource constraints for wind energy

International Nuclear Information System (INIS)

Davidsson, Simon; Grandell, Leena; Wachtmeister, Henrik; Höök, Mikael

2014-01-01

Several recent studies have proposed fast transitions to energy systems based on renewable energy technology. Many of them dismiss potential physical constraints and issues with natural resource supply, and do not consider the growth rates of the individual technologies needed or how the energy systems are to be sustained over longer time frames. A case study is presented modelling potential growth rates of the wind energy required to reach installed capacities proposed in other studies, taking into account the expected service life of wind turbines. A sustained commissioning model is proposed as a theoretical foundation for analysing reasonable growth patterns for technologies that can be sustained in the future. The annual installation and related resource requirements to reach proposed wind capacity are quantified and it is concluded that these factors should be considered when assessing the feasibility, and even the sustainability, of fast energy transitions. Even a sustained commissioning scenario would require significant resource flows, for the transition as well as for sustaining the system, indefinitely. Recent studies that claim there are no potential natural resource barriers or other physical constraints to fast transitions to renewable energy appear inadequate in ruling out these concerns. - Highlights: • Growth rates and service life is important when evaluating energy transitions. • A sustained commissioning model is suggested for analysing renewable energy. • Natural resource requirements for renewable energy are connected to growth rates. • Arguments by recent studies ruling out physical constraints appear inadequate

Defense Waste Processing Facility (DWPF) Durability-Composition Models and the Applicability of the Associated Reduction of Constraints (ROC) Criteria for High TiO₂ Containing Glasses

Energy Technology Data Exchange (ETDEWEB)

Jantzen, C. M. [Savannah River Site (SRS), Aiken, SC (United States). Savannah River National Lab. (SRNL); Edwards, T. B. [Savannah River Site (SRS), Aiken, SC (United States). Savannah River National Lab. (SRNL); Trivelpiece, C. L. [Savannah River Site (SRS), Aiken, SC (United States). Savannah River National Lab. (SRNL)

2016-08-30

Radioactive high-level waste (HLW) at the Savannah River Site (SRS) has successfully been vitrified into borosilicate glass in the DWPF since 1996. Vitrification requires stringent product/process (P/P) constraints since the glass cannot be reworked once it has been poured into ten foot tall by two foot diameter canisters. A unique “feed forward” statistical process control (SPC) was developed for this control rather than relying on statistical quality control (SQC). In SPC, the feed composition to the DWPF melter is controlled prior to vitrification. In SQC, the glass product would be sampled after it is vitrified. Individual glass property-composition models form the basis for the “feed forward” SPC. The models transform constraints on the melt and glass properties into constraints on the feed composition going to the melter in order to determine, at the 95% confidence level, that the feed will be processable and that the durability of the resulting waste form will be acceptable to a geologic repository. The DWPF SPC system is known as the Product Composition Control System (PCCS). One of the process models within PCCS is known as the Thermodynamic Hydration Energy Reaction MOdel (THERMO™). The DWPF will soon be receiving increased concentrations of TiO₂-, Na₂O-, and Cs₂O-enriched wastes from the Salt Waste Processing Facility (SWPF). The SWPF has been built to pretreat the high-curie fraction of the salt waste to be removed from the HLW tanks in the F- and H-Area Tank Farms at the SRS. In order to validate the existing TiO₂ term in THERMO™ beyond 2.0 wt% in the DWPF, new durability data were developed over the target range of 2.00 to 6.00 wt% TiO₂ and evaluated against the 1995 durability model. The durability was measured by the 7-day Product Consistency Test. This study documents the adequacy of the existing THERMO™ terms. It is recommended that the modified THERMO™ durability models and

Managing Green Business Model Transformations

CERN Document Server

Sommer, Axel

2012-01-01

Environmental sustainability creates both tremendous business opportunities and formidable threats to established companies across virtually all industry sectors. Yet many companies tackle the issue in a superficial or passive way through increased environmental reporting, the use of “greenspeak” in their corporate communication activities or isolated efforts to create green products or reduce pollution. In contrast, there are a small but increasing number of firms that employ a holistic approach to sustainability and consider fundamental changes to their existing business models. By ignoring the opportunities of Green Business Model Transformations, companies exclude themselves from a large variety of potential means to create economic value. In addition to ordinary product and process innovations, they can change “the rules of the game” within an industry towards environmental sustainability. This can facilitate the commercialisation of new green products that would not be competitive otherwise targ...

Towards an automatic model transformation mechanism from UML state machines to DEVS models

Directory of Open Access Journals (Sweden)

Ariel González

2015-08-01

Full Text Available The development of complex event-driven systems requires studies and analysis prior to deployment with the goal of detecting unwanted behavior. UML is a language widely used by the software engineering community for modeling these systems through state machines, among other mechanisms. Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems. Existing tools do not provide appropriate libraries (sampling from a probability distribution, plotting, etc. both to build and to analyze models. Modeling and simulation for design and prototyping of systems are widely used techniques to predict, investigate and compare the performance of systems. In particular, the Discrete Event System Specification (DEVS formalism separates the modeling and simulation; there are several tools available on the market that run and collect information from DEVS models. This paper proposes a model transformation mechanism from UML state machines to DEVS models in the Model-Driven Development (MDD context, through the declarative QVT Relations language, in order to perform simulations using tools, such as PowerDEVS. A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.

Solidification behaviors of a single-crystal superalloy under lateral constraints

International Nuclear Information System (INIS)

Zhuangqi Hu; Huaming Wang

1993-01-01

The effect of lateral constraints ahead of solidification interface on the solidification behaviors of a newly developed hot corrosion resistant single-crystal nickel-base superalloy was investigated under commercial single-crystal production conditions. The lateral constraints or section variations ahead of solidification front were found to have drastic influences both on the modes of solidification and the profiles of solute segregation. As lateral constraints were imposed ahead of the directionally solidifying interface, the solidification microstructure of the single-crystal superalloy changed suddenly, through a γ/γ' eutectic-free zone which is characterized by an extremely-fine and highly-developed dendrite network, from the original well-branched dendritic structure to a fine cellular-dendrite or regular cell structure, accompanying which the primary arm spacing, the severity of segregation and the amount of microporosity decreased remarkably. The newly formed cellular dendrite or cell structure transforms always gradually to the initial coarse dendrite structure as the lateral constraint is finally released whether gradually or sharply. Moreover, an abnormal porosity zone was readily observed in the initial section beneath and away from the eutectic-free zone. The solidification microstructural changes were attributed to the drastic dynamical changes in local solidification cooling conditions and in momentum transport during solidification due to the presence of lateral constraint

General quadratic gauge theory: constraint structure, symmetries and physical functions

Energy Technology Data Exchange (ETDEWEB)

Gitman, D M [Institute of Physics, University of Sao Paulo (Brazil); Tyutin, I V [Lebedev Physics Institute, Moscow (Russian Federation)

2005-06-17

How can we relate the constraint structure and constraint dynamics of the general gauge theory in the Hamiltonian formulation to specific features of the theory in the Lagrangian formulation, especially relate the constraint structure to the gauge transformation structure of the Lagrangian action? How can we construct the general expression for the gauge charge if the constraint structure in the Hamiltonian formulation is known? Whether we can identify the physical functions defined as commuting with first-class constraints in the Hamiltonian formulation and the physical functions defined as gauge invariant functions in the Lagrangian formulation? The aim of the present paper is to consider the general quadratic gauge theory and to answer the above questions for such a theory in terms of strict assertions. To fulfil such a programme, we demonstrate the existence of the so-called superspecial phase-space variables in terms of which the quadratic Hamiltonian action takes a simple canonical form. On the basis of such a representation, we analyse a functional arbitrariness in the solutions of the equations of motion of the quadratic gauge theory and derive the general structure of symmetries by analysing a symmetry equation. We then use these results to identify the two definitions of physical functions and thus prove the Dirac conjecture.

Computer-Aided Transformation of PDE Models: Languages, Representations, and a Calculus of Operations

Science.gov (United States)

2016-01-05

Computer-aided transformation of PDE models: languages, representations, and a calculus of operations A domain-specific embedded language called...languages, representations, and a calculus of operations Report Title A domain-specific embedded language called ibvp was developed to model initial...Computer-aided transformation of PDE models: languages, representations, and a calculus of operations 1 Vision and background Physical and engineered systems

Backlund transformations as canonical transformations

International Nuclear Information System (INIS)

Villani, A.; Zimerman, A.H.

1977-01-01

Toda and Wadati as well as Kodama and Wadati have shown that the Backlund transformations, for the exponential lattice equation, sine-Gordon equation, K-dV (Korteweg de Vries) equation and modifies K-dV equation, are canonical transformation. It is shown that the Backlund transformation for the Boussinesq equation, for a generalized K-dV equation, for a model equation for shallow water waves and for the nonlinear Schroedinger equation are also canonical transformations [pt

Cost Optimal Design of a Single-Phase Dry Power Transformer

Directory of Open Access Journals (Sweden)

Raju Basak

2015-08-01

Full Text Available The Dry type transformers are preferred to their oil-immersed counterparts for various reasons, particularly because their operation is hazardless. The application of dry transformers was limited to small ratings in the earlier days. But now these are being used for considerably higher ratings.  Therefore, their cost-optimal design has gained importance. This paper deals with the design procedure for achieving cost optimal design of a dry type single-phase power transformer of small rating, subject to usual design constraints on efficiency and voltage regulation. The selling cost for the transformer has been taken as the objective function. Only two key variables have been chosen, the turns/volt and the height: width ratio of window, which affects the cost function to high degrees. Other variables have been chosen on the basis of designers’ experience. Copper has been used as conductor material and CRGOS as core material to achieve higher efficiency, lower running cost and compact design. The electrical and magnetic loadings have been kept at their maximum values without violating the design constraints. The optimal solution has been obtained by the method of exhaustive search using nested loops.

Modelling a single phase voltage controlled rectifier using Laplace transforms

Science.gov (United States)

Kraft, L. Alan; Kankam, M. David

1992-01-01

The development of a 20 kHz, AC power system by NASA for large space projects has spurred a need to develop models for the equipment which will be used on these single phase systems. To date, models for the AC source (i.e., inverters) have been developed. It is the intent of this paper to develop a method to model the single phase voltage controlled rectifiers which will be attached to the AC power grid as an interface for connected loads. A modified version of EPRI's HARMFLO program is used as the shell for these models. The results obtained from the model developed in this paper are quite adequate for the analysis of problems such as voltage resonance. The unique technique presented in this paper uses the Laplace transforms to determine the harmonic content of the load current of the rectifier rather than a curve fitting technique. Laplace transforms yield the coefficient of the differential equations which model the line current to the rectifier directly.

Observational constraints on cosmological models with Chaplygin gas and quadratic equation of state

International Nuclear Information System (INIS)

Sharov, G.S.

2016-01-01

Observational manifestations of accelerated expansion of the universe, in particular, recent data for Type Ia supernovae, baryon acoustic oscillations, for the Hubble parameter H ( z ) and cosmic microwave background constraints are described with different cosmological models. We compare the ΛCDM, the models with generalized and modified Chaplygin gas and the model with quadratic equation of state. For these models we estimate optimal model parameters and their permissible errors with different approaches to calculation of sound horizon scale r s ( z d ). Among the considered models the best value of χ 2 is achieved for the model with quadratic equation of state, but it has 2 additional parameters in comparison with the ΛCDM and therefore is not favored by the Akaike information criterion.

Thermomechanical constraints and constitutive formulations in thermoelasticity

Directory of Open Access Journals (Sweden)

Baek S.

2003-01-01

Full Text Available We investigate three classes of constraints in a thermoelastic body: (i a deformation-temperature constraint, (ii a deformation-entropy constraint, and (iii a deformation-energy constraint. These constraints are obtained as limits of unconstrained thermoelastic materials and we show that constraints (ii and (iii are equivalent. By using a limiting procedure, we show that for the constraint (i, the entropy plays the role of a Lagrange multiplier while for (ii and (iii, the absolute temperature plays the role of Lagrange multiplier. We further demonstrate that the governing equations for materials subject to constraint (i are identical to those of an unconstrained material whose internal energy is an affine function of the entropy, while those for materials subject to constraints (ii and (iii are identical to those of an unstrained material whose Helmholtz potential is affine in the absolute temperature. Finally, we model the thermoelastic response of a peroxide-cured vulcanizate of natural rubber and show that imposing the constraint in which the volume change depends only on the internal energy leads to very good predictions (compared to experimental results of the stress and temperature response under isothermal and isentropic conditions.

Liquidity Constraints and Fiscal Stabilization Policy

DEFF Research Database (Denmark)

Kristoffersen, Mark Strøm

It is often claimed that the presence of liquidity constrained households enhances the need for and the effects of fi…scal stabilization policies. This paper studies this in a model of a small open economy with liquidity constrained households. The results show that the consequences of liquidity...... constraints are more complex than previously thought: The optimal stabilization policy in case of productivity shocks is independent of the liquidity constraints, and the presence of liquidity constraints tends to reduce the need for an active policy stabilizing productivity shocks....

Stochastic Simulation of a Full-Chain Reptation Model with Constraint Release, Chain-Length Fluctuations and Chain Stretching

DEFF Research Database (Denmark)

Neergaard, Jesper; Schieber, Jay D.

1999-01-01

A self-consistent reptation model that includes chain stretching, chain-length fluctuations, segment connectivity and constraint release is used to predict transient and steady flows. Quantitative comparisons are made with entangledsolution data. The model is able to capture quantitatively all...

Distribution system constraints and their impact on distributed generation: final report

Energy Technology Data Exchange (ETDEWEB)

Thornycroft, J.; Caisley, A.; Russell, T.; Willis, S.; Youssef, R.; Bawden, R.; Holden, G.; Williams, J.

2004-05-01

This report examines constraints due to the connection of distributed generators to the distribution network focusing on small generators with the aim of developing technical and economic models to examine the relationship between the initial investment and the ensuing cost of the constraints under different scenarios. Constraints are defined as limitations to operation of connected generators, and the types of constraints, and the allocation of reinforcement and constraint costs are considered. Details are given of the modeling of sections of urban, rural and semi-rural network at Faversham, and the current constraints on this network are described.

The method for determination of parameters of the phenomenological continual model of soil organic matter transformation

Directory of Open Access Journals (Sweden)

S. I. Bartsev

2015-06-01

Full Text Available A possible method for experimental determination of parameters of the previously proposed continual mathematical model of soil organic matter transformation is theoretically considered in this paper. The previously proposed by the authors continual model of soil organic matter transformation, based on using the rate of matter transformation as a continual scale of its recalcitrance, describes the transformation process phenomenologically without going into detail of microbiological mechanisms of transformation. Thereby simplicity of the model is achieved. The model is represented in form of one differential equation in first­order partial derivatives, which has an analytical solution in elementary functions. The model equation contains a small number of empirical parameters which generally characterize environmental conditions where the matter transformation process occurs and initial properties of the plant litter. Given the values of these parameters, it is possible to calculate dynamics of soil organic matter stocks and its distribution over transformation rate. In the present study, possible approaches for determination of the model parameters are considered and a simple method of their experimental measurement is proposed. An experiment of an incubation of chemically homogeneous samples in soil and multiple sequential measurement of the sample mass loss with time is proposed. An equation of time dynamics of mass loss of incubated homogeneous sample is derived from the basic assumption of the presented soil organic matter transformation model. Thus, fitting by the least squares method the parameters of sample mass loss curve calculated according the proposed mass loss dynamics equation allows to determine the parameters of the general equation of soil organic transformation model.

About the use of rank transformation in sensitivity analysis of model output

International Nuclear Information System (INIS)

Saltelli, Andrea; Sobol', Ilya M

1995-01-01

Rank transformations are frequently employed in numerical experiments involving a computational model, especially in the context of sensitivity and uncertainty analyses. Response surface replacement and parameter screening are tasks which may benefit from a rank transformation. Ranks can cope with nonlinear (albeit monotonic) input-output distributions, allowing the use of linear regression techniques. Rank transformed statistics are more robust, and provide a useful solution in the presence of long tailed input and output distributions. As is known to practitioners, care must be employed when interpreting the results of such analyses, as any conclusion drawn using ranks does not translate easily to the original model. In the present note an heuristic approach is taken, to explore, by way of practical examples, the effect of a rank transformation on the outcome of a sensitivity analysis. An attempt is made to identify trends, and to correlate these effects to a model taxonomy. Employing sensitivity indices, whereby the total variance of the model output is decomposed into a sum of terms of increasing dimensionality, we show that the main effect of the rank transformation is to increase the relative weight of the first order terms (the 'main effects'), at the expense of the 'interactions' and 'higher order interactions'. As a result the influence of those parameters which influence the output mostly by way of interactions may be overlooked in an analysis based on the ranks. This difficulty increases with the dimensionality of the problem, and may lead to the failure of a rank based sensitivity analysis. We suggest that the models can be ranked, with respect to the complexity of their input-output relationship, by mean of an 'Association' index I y . I y may complement the usual model coefficient of determination R y 2 as a measure of model complexity for the purpose of uncertainty and sensitivity analysis

Structural Equation and Mei Conserved Quantity of Mei Symmetry for Appell Equations in Holonomic Systems with Unilateral Constraints

International Nuclear Information System (INIS)

Jia Liqun; Cui Jinchao; Zhang Yaoyu; Luo Shaokai

2009-01-01

Structural equation and Mei conserved quantity of Mei symmetry for Appell equations in holonomic systems with unilateral constraints are investigated. Appell equations and differential equations of motion for holonomic mechanic systems with unilateral constraints are established. The definition and the criterion of Mei symmetry for Appell equations in holonomic systems with unilateral constraints under the infinitesimal transformations of groups are also given. The expressions of the structural equation and Mei conserved quantity of Mei symmetry for Appell equations in holonomic systems with unilateral constraints expressed by Appell functions are obtained. An example is given to illustrate the application of the results. (general)

Constraints and Ambiguity

DEFF Research Database (Denmark)

Dove, Graham; Biskjær, Michael Mose; Lundqvist, Caroline Emilie

2017-01-01

groups of students building three models each. We studied groups building with traditional plastic bricks and also using a digital environment. The building tasks students undertake, and our subsequent analysis, are informed by the role constraints and ambiguity play in creative processes. Based...

Development and validation of a computational model to study the effect of foot constraint on ankle injury due to external rotation.

Science.gov (United States)

Wei, Feng; Hunley, Stanley C; Powell, John W; Haut, Roger C

2011-02-01

Recent studies, using two different manners of foot constraint, potted and taped, document altered failure characteristics in the human cadaver ankle under controlled external rotation of the foot. The posterior talofibular ligament (PTaFL) was commonly injured when the foot was constrained in potting material, while the frequency of deltoid ligament injury was higher for the taped foot. In this study an existing multibody computational modeling approach was validated to include the influence of foot constraint, determine the kinematics of the joint under external foot rotation, and consequently obtain strains in various ligaments. It was hypothesized that the location of ankle injury due to excessive levels of external foot rotation is a function of foot constraint. The results from this model simulation supported this hypothesis and helped to explain the mechanisms of injury in the cadaver experiments. An excessive external foot rotation might generate a PTaFL injury for a rigid foot constraint, and an anterior deltoid ligament injury for a pliant foot constraint. The computational models may be further developed and modified to simulate the human response for different shoe designs, as well as on various athletic shoe-surface interfaces, so as to provide a computational basis for optimizing athletic performance with minimal injury risk.

Protein structure analysis using the resonant recognition model and wavelet transforms

International Nuclear Information System (INIS)

Fang, Q.; Cosic, I.

1998-01-01

An approach based on the resonant recognition model and the discrete wavelet transform is introduced here for characterising proteins' biological function. The protein sequence is converted into a numerical series by assigning the electron-ion interaction potential to each amino acid from N-terminal to C-terminal. A set of peaks is found after performing a wavelet transform onto a numerical series representing a group of homologous proteins. These peaks are related to protein structural and functional properties and named characteristic vector of that protein group. Further more, the amino acids contributing mostly to a protein's biological functions, the so-called 'hot spots' amino acids, are predicted by the continuous wavelet transform. It is found that the hot spots are clustered around the protein's cleft structure. The wavelets approach provides a novel methods for amino acid sequence analysis as well as an expansion for the newly established macromolecular interaction model: the resonant recognition model. Copyright (1998) Australasian Physical and Engineering Sciences in Medicine

High frequency modeling of power transformers. Stresses and diagnostics

Energy Technology Data Exchange (ETDEWEB)

Bjerkan, Eilert

2005-05-15

In this thesis a reliable, versatile and rigorous method for high frequency power transformer modeling is searched and established. The purpose is to apply this model to sensitivity analysis of FRA (Frequency Response Analysis) which is a quite new diagnostic method for assessing the mechanical integrity of power transformer windings on-site. The method should be versatile in terms of being able to estimate internal and external over voltages and resonances. Another important aspect is that the method chosen is suitable for real transformer geometries. In order to verify the suitability of the model for real transformers, a specific test-object is used. This is a 20MVA transformer, and details are given in chapter 1.4. The high frequency power transformer model is established from geometrical and constructional information from the manufacturer, together with available material characteristics. All circuit parameters in the lumped circuit representation are calculated based on these data. No empirical modifications need to be performed. Comparison shows capability of reasonable accuracy in the range from 10 khz to 1 MHz utilizing a disc-to-disc representation. A compromise between accuracy of model due to discretization and complexity of the model in a turn-to-turn representation is inevitable. The importance of the iron core is emphasized through a comparison of representations with/without the core included. Frequency-dependent phenomena are accurately represented using an isotropic equivalent for windings and core, even with a coarse mesh for the FEM-model. This is achieved through a frequency-dependent complex permeability representation of the materials. This permeability is deduced from an analytical solution of the frequency-dependent magnetic field inside the conductors and the core. The importance of dielectric losses in a transformer model is also assessed. Since published data on the high frequency properties of press board are limited, some initial