Model-Checking Real-Time Control Programs

DEFF Research Database (Denmark)

Iversen, T. K.; Kristoffersen, K. J.; Larsen, Kim Guldstrand

2000-01-01

In this paper, we present a method for automatic verification of real-time control programs running on LEGO(R) RCX(TM) bricks using the verification tool UPPALL. The control programs, consisting of a number of tasks running concurrently, are automatically translated into the mixed automata model...... of UPPAAL. The fixed scheduling algorithm used by the LEGO(R) RCX(TM) processor is modeled in UPPALL, and supply of similar (sufficient) timed automata models for the environment allows analysis of the overall real-time system using the tools of UPPALL. To illustrate our technique for sorting LEGO(R) bricks...

Programming model for distributed intelligent systems

Science.gov (United States)

Sztipanovits, J.; Biegl, C.; Karsai, G.; Bogunovic, N.; Purves, B.; Williams, R.; Christiansen, T.

1988-01-01

A programming model and architecture which was developed for the design and implementation of complex, heterogeneous measurement and control systems is described. The Multigraph Architecture integrates artificial intelligence techniques with conventional software technologies, offers a unified framework for distributed and shared memory based parallel computational models and supports multiple programming paradigms. The system can be implemented on different hardware architectures and can be adapted to strongly different applications.

Model Checking JAVA Programs Using Java Pathfinder

Science.gov (United States)

Havelund, Klaus; Pressburger, Thomas

2000-01-01

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Testing the Structure of Hydrological Models using Genetic Programming

Science.gov (United States)

Selle, B.; Muttil, N.

2009-04-01

Genetic Programming is able to systematically explore many alternative model structures of different complexity from available input and response data. We hypothesised that genetic programming can be used to test the structure hydrological models and to identify dominant processes in hydrological systems. To test this, genetic programming was used to analyse a data set from a lysimeter experiment in southeastern Australia. The lysimeter experiment was conducted to quantify the deep percolation response under surface irrigated pasture to different soil types, water table depths and water ponding times during surface irrigation. Using genetic programming, a simple model of deep percolation was consistently evolved in multiple model runs. This simple and interpretable model confirmed the dominant process contributing to deep percolation represented in a conceptual model that was published earlier. Thus, this study shows that genetic programming can be used to evaluate the structure of hydrological models and to gain insight about the dominant processes in hydrological systems.

The Design of Model-Based Training Programs

Science.gov (United States)

Polson, Peter; Sherry, Lance; Feary, Michael; Palmer, Everett; Alkin, Marty; McCrobie, Dan; Kelley, Jerry; Rosekind, Mark (Technical Monitor)

1997-01-01

This paper proposes a model-based training program for the skills necessary to operate advance avionics systems that incorporate advanced autopilots and fight management systems. The training model is based on a formalism, the operational procedure model, that represents the mission model, the rules, and the functions of a modem avionics system. This formalism has been defined such that it can be understood and shared by pilots, the avionics software, and design engineers. Each element of the software is defined in terms of its intent (What?), the rationale (Why?), and the resulting behavior (How?). The Advanced Computer Tutoring project at Carnegie Mellon University has developed a type of model-based, computer aided instructional technology called cognitive tutors. They summarize numerous studies showing that training times to a specified level of competence can be achieved in one third the time of conventional class room instruction. We are developing a similar model-based training program for the skills necessary to operation the avionics. The model underlying the instructional program and that simulates the effects of pilots entries and the behavior of the avionics is based on the operational procedure model. Pilots are given a series of vertical flightpath management problems. Entries that result in violations, such as failure to make a crossing restriction or violating the speed limits, result in error messages with instruction. At any time, the flightcrew can request suggestions on the appropriate set of actions. A similar and successful training program for basic skills for the FMS on the Boeing 737-300 was developed and evaluated. The results strongly support the claim that the training methodology can be adapted to the cockpit.

LEARNING CREATIVE WRITING MODEL BASED ON NEUROLINGUISTIC PROGRAMMING

OpenAIRE

Rustan, Edhy

2017-01-01

The objectives of the study are to determine: (1) condition on learning creative writing at high school students in Makassar, (2) requirement of learning model in creative writing, (3) program planning and design model in ideal creative writing, (4) feasibility of model study based on creative writing in neurolinguistic programming, and (5) the effectiveness of the learning model based on creative writing in neurolinguisticprogramming.The method of this research uses research development of L...

Programming biological models in Python using PySB.

Science.gov (United States)

Lopez, Carlos F; Muhlich, Jeremy L; Bachman, John A; Sorger, Peter K

2013-01-01

Mathematical equations are fundamental to modeling biological networks, but as networks get large and revisions frequent, it becomes difficult to manage equations directly or to combine previously developed models. Multiple simultaneous efforts to create graphical standards, rule-based languages, and integrated software workbenches aim to simplify biological modeling but none fully meets the need for transparent, extensible, and reusable models. In this paper we describe PySB, an approach in which models are not only created using programs, they are programs. PySB draws on programmatic modeling concepts from little b and ProMot, the rule-based languages BioNetGen and Kappa and the growing library of Python numerical tools. Central to PySB is a library of macros encoding familiar biochemical actions such as binding, catalysis, and polymerization, making it possible to use a high-level, action-oriented vocabulary to construct detailed models. As Python programs, PySB models leverage tools and practices from the open-source software community, substantially advancing our ability to distribute and manage the work of testing biochemical hypotheses. We illustrate these ideas using new and previously published models of apoptosis.

Database structure for plasma modeling programs

International Nuclear Information System (INIS)

Dufresne, M.; Silvester, P.P.

1993-01-01

Continuum plasma models often use a finite element (FE) formulation. Another approach is simulation models based on particle-in-cell (PIC) formulation. The model equations generally include four nonlinear differential equations specifying the plasma parameters. In simulation a large number of equations must be integrated iteratively to determine the plasma evolution from an initial state. The complexity of the resulting programs is a combination of the physics involved and the numerical method used. The data structure requirements of plasma programs are stated by defining suitable abstract data types. These abstractions are then reduced to data structures and a group of associated algorithms. These are implemented in an object oriented language (C++) as object classes. Base classes encapsulate data management into a group of common functions such as input-output management, instance variable updating and selection of objects by Boolean operations on their instance variables. Operations are thereby isolated from specific element types and uniformity of treatment is guaranteed. Creation of the data structures and associated functions for a particular plasma model is reduced merely to defining the finite element matrices for each equation, or the equations of motion for PIC models. Changes in numerical method or equation alterations are readily accommodated through the mechanism of inheritance, without modification of the data management software. The central data type is an n-relation implemented as a tuple of variable internal structure. Any finite element program may be described in terms of five relational tables: nodes, boundary conditions, sources, material/particle descriptions, and elements. Equivalently, plasma simulation programs may be described using four relational tables: cells, boundary conditions, sources, and particle descriptions

An interactive program for pharmacokinetic modeling.

Science.gov (United States)

Lu, D R; Mao, F

1993-05-01

A computer program, PharmK, was developed for pharmacokinetic modeling of experimental data. The program was written in C computer language based on the high-level user-interface Macintosh operating system. The intention was to provide a user-friendly tool for users of Macintosh computers. An interactive algorithm based on the exponential stripping method is used for the initial parameter estimation. Nonlinear pharmacokinetic model fitting is based on the maximum likelihood estimation method and is performed by the Levenberg-Marquardt method based on chi 2 criterion. Several methods are available to aid the evaluation of the fitting results. Pharmacokinetic data sets have been examined with the PharmK program, and the results are comparable with those obtained with other programs that are currently available for IBM PC-compatible and other types of computers.

Developing robotic behavior using a genetic programming model

International Nuclear Information System (INIS)

Pryor, R.J.

1998-01-01

This report describes the methodology for using a genetic programming model to develop tracking behaviors for autonomous, microscale robotic vehicles. The use of such vehicles for surveillance and detection operations has become increasingly important in defense and humanitarian applications. Through an evolutionary process similar to that found in nature, the genetic programming model generates a computer program that when downloaded onto a robotic vehicle's on-board computer will guide the robot to successfully accomplish its task. Simulations of multiple robots engaged in problem-solving tasks have demonstrated cooperative behaviors. This report also discusses the behavior model produced by genetic programming and presents some results achieved during the study

Applying Model Checking to Industrial-Sized PLC Programs

CERN Document Server

AUTHOR|(CDS)2079190; Darvas, Daniel; Blanco Vinuela, Enrique; Tournier, Jean-Charles; Bliudze, Simon; Blech, Jan Olaf; Gonzalez Suarez, Victor M

2015-01-01

Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of safety-critical software but is still underused in industry due to the complexity of building and managing formal models of real applications. In this paper, we propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (\\eg CTL, LTL) on PLC programs. This methodology is based on an intermediate model (IM), meant to transform PLC programs written in various standard languages (ST, SFC, etc.) to different modeling languages of verification tools. We present the syntax and semantics of the IM and the transformation rules of the ST and SFC languages to the nuXmv model checker passing through the intermediate model. Finally, two real cases studies of \\CERN PLC programs, written mainly in th...

Dynamic programming models and applications

CERN Document Server

Denardo, Eric V

2003-01-01

Introduction to sequential decision processes covers use of dynamic programming in studying models of resource allocation, methods for approximating solutions of control problems in continuous time, production control, more. 1982 edition.

Automatic generation of Fortran programs for algebraic simulation models

International Nuclear Information System (INIS)

Schopf, W.; Rexer, G.; Ruehle, R.

1978-04-01

This report documents a generator program by which econometric simulation models formulated in an application-orientated language can be transformed automatically in a Fortran program. Thus the model designer is able to build up, test and modify models without the need of a Fortran programmer. The development of a computer model is therefore simplified and shortened appreciably; in chapter 1-3 of this report all rules are presented for the application of the generator to the model design. Algebraic models including exogeneous and endogeneous time series variables, lead and lag function can be generated. In addition, to these language elements, Fortran sequences can be applied to the formulation of models in the case of complex model interrelations. Automatically the generated model is a module of the program system RSYST III and is therefore able to exchange input and output data with the central data bank of the system and in connection with the method library modules can be used to handle planning problems. (orig.) [de

Evolution of a minimal parallel programming model

International Nuclear Information System (INIS)

Lusk, Ewing; Butler, Ralph; Pieper, Steven C.

2017-01-01

Here, we take a historical approach to our presentation of self-scheduled task parallelism, a programming model with its origins in early irregular and nondeterministic computations encountered in automated theorem proving and logic programming. We show how an extremely simple task model has evolved into a system, asynchronous dynamic load balancing (ADLB), and a scalable implementation capable of supporting sophisticated applications on today’s (and tomorrow’s) largest supercomputers; and we illustrate the use of ADLB with a Green’s function Monte Carlo application, a modern, mature nuclear physics code in production use. Our lesson is that by surrendering a certain amount of generality and thus applicability, a minimal programming model (in terms of its basic concepts and the size of its application programmer interface) can achieve extreme scalability without introducing complexity.

Model - Model Pembelajaran pada Program Studi Pendidikan Guru Madrasah Ibtidaiyah (PGMI STAIN Samarinda

Directory of Open Access Journals (Sweden)

Syeh Hawib Hamzah

2014-06-01

Full Text Available The model of learning is a vital thing in education. A good appropriate model of learning could reach the goal of learning efficently and effectively. The lecturers of education and teacher training program of STAIN Samarinda implement a various teaching and learning models when they perform their teaching, such as: model of contectual teaching, social interaction, informational proces, personal-based learning, behaviorism, cooperative learning, and problem-based learning.

Testing the structure of a hydrological model using Genetic Programming

Science.gov (United States)

Selle, Benny; Muttil, Nitin

2011-01-01

SummaryGenetic Programming is able to systematically explore many alternative model structures of different complexity from available input and response data. We hypothesised that Genetic Programming can be used to test the structure of hydrological models and to identify dominant processes in hydrological systems. To test this, Genetic Programming was used to analyse a data set from a lysimeter experiment in southeastern Australia. The lysimeter experiment was conducted to quantify the deep percolation response under surface irrigated pasture to different soil types, watertable depths and water ponding times during surface irrigation. Using Genetic Programming, a simple model of deep percolation was recurrently evolved in multiple Genetic Programming runs. This simple and interpretable model supported the dominant process contributing to deep percolation represented in a conceptual model that was published earlier. Thus, this study shows that Genetic Programming can be used to evaluate the structure of hydrological models and to gain insight about the dominant processes in hydrological systems.

Logic integer programming models for signaling networks.

Science.gov (United States)

Haus, Utz-Uwe; Niermann, Kathrin; Truemper, Klaus; Weismantel, Robert

2009-05-01

We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this, we use the two different mathematical tools of Propositional Logic and Integer Programming. The power of discrete mathematics for handling qualitative as well as quantitative data has so far not been exploited in molecular biology, which is mostly driven by experimental research, relying on first-order or statistical models. The arising logic statements and integer programs are analyzed and can be solved with standard software. For a restricted class of problems the logic models reduce to a polynomial-time solvable satisfiability algorithm. Additionally, a more dynamic model enables enumeration of possible time resolutions in poly-logarithmic time. Computational experiments are included.

Stellar Atmospheric Modelling for the ACCESS Program

Science.gov (United States)

Morris, Matthew; Kaiser, Mary Elizabeth; Bohlin, Ralph; Kurucz, Robert; ACCESS Team

2018-01-01

A goal of the ACCESS program (Absolute Color Calibration Experiment for Standard Stars) is to enable greater discrimination between theoretical astrophysical models and observations, where the comparison is limited by systematic errors associated with the relative flux calibration of the targets. To achieve these goals, ACCESS has been designed as a sub-orbital rocket borne payload and ground calibration program, to establish absolute flux calibration of stellar targets at flight candidates, as well as a selection of A and G stars from the CALSPEC database. Stellar atmosphere models were generated using Atlas 9 and Atlas 12 Kurucz stellar atmosphere software. The effective temperature, log(g), metallicity, and redenning were varied and the chi-squared statistic was minimized to obtain a best-fit model. A comparison of these models and the results from interpolation between grids of existing models will be presented. The impact of the flexibility of the Atlas 12 input parameters (e.g. solar metallicity fraction, abundances, microturbulent velocity) is being explored.

Flexible building stock modelling with array-programming

DEFF Research Database (Denmark)

Brøgger, Morten; Wittchen, Kim Bjarne

2017-01-01

Many building stock models employ archetype-buildings in order to capture the essential characteristics of a diverse building stock. However, these models often require multiple archetypes, which make them inflexible. This paper proposes an array-programming based model, which calculates the heat...... tend to overestimate potential energy-savings, if we do not consider these discrepancies. The proposed model makes it possible to compute and visualize potential energy-savings in a flexible and transparent way....

Report of the 2014 Programming Models and Environments Summit

Energy Technology Data Exchange (ETDEWEB)

Heroux, Michael [US Dept. of Energy, Washington, DC (United States); Lethin, Richard [US Dept. of Energy, Washington, DC (United States)

2016-09-19

Programming models and environments play the essential roles in high performance computing of enabling the conception, design, implementation and execution of science and engineering application codes. Programmer productivity is strongly influenced by the effectiveness of our programming models and environments, as is software sustainability since our codes have lifespans measured in decades, so the advent of new computing architectures, increased concurrency, concerns for resilience, and the increasing demands for high-fidelity, multi-physics, multi-scale and data-intensive computations mean that we have new challenges to address as part of our fundamental R&D requirements. Fortunately, we also have new tools and environments that make design, prototyping and delivery of new programming models easier than ever. The combination of new and challenging requirements and new, powerful toolsets enables significant synergies for the next generation of programming models and environments R&D. This report presents the topics discussed and results from the 2014 DOE Office of Science Advanced Scientific Computing Research (ASCR) Programming Models & Environments Summit, and subsequent discussions among the summit participants and contributors to topics in this report.

Process of a cyclotron modeling with SNOP program

International Nuclear Information System (INIS)

Smirnov, V.L.

2015-01-01

The description of the SNOP program developed in JINR and intended for numerical modeling of a beam dynamics in accelerating setups of cyclotron type is presented. The main methods of work with program components, and also stages of numerical modeling of a cyclotron, the analysis of the main characteristics of the accelerated bunch by means of the SNOP are given. The explanation of some algorithms and procedures used in the program is given. [ru

A model technology transfer program for independent operators

Energy Technology Data Exchange (ETDEWEB)

Schoeling, L.G.

1996-08-01

In August 1992, the Energy Research Center (ERC) at the University of Kansas was awarded a contract by the US Department of Energy (DOE) to develop a technology transfer regional model. This report describes the development and testing of the Kansas Technology Transfer Model (KTTM) which is to be utilized as a regional model for the development of other technology transfer programs for independent operators throughout oil-producing regions in the US. It describes the linkage of the regional model with a proposed national technology transfer plan, an evaluation technique for improving and assessing the model, and the methodology which makes it adaptable on a regional basis. The report also describes management concepts helpful in managing a technology transfer program.

Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming

Science.gov (United States)

Brodsky, Yu. I.

2015-01-01

The work is devoted to the application of Bourbaki's structure theory to substantiate the synthesis of simulation models of complex multicomponent systems, where every component may be a complex system itself. An application of the Bourbaki's structure theory offers a new approach to the design and computer implementation of simulation models of complex multicomponent systems—model synthesis and model-oriented programming. It differs from the traditional object-oriented approach. The central concept of this new approach and at the same time, the basic building block for the construction of more complex structures is the concept of models-components. A model-component endowed with a more complicated structure than, for example, the object in the object-oriented analysis. This structure provides to the model-component an independent behavior-the ability of standard responds to standard requests of its internal and external environment. At the same time, the computer implementation of model-component's behavior is invariant under the integration of models-components into complexes. This fact allows one firstly to construct fractal models of any complexity, and secondly to implement a computational process of such constructions uniformly-by a single universal program. In addition, the proposed paradigm allows one to exclude imperative programming and to generate computer code with a high degree of parallelism.

Development of a Logic Model to Guide Evaluations of the ASCA National Model for School Counseling Programs

Science.gov (United States)

Martin, Ian; Carey, John

2014-01-01

A logic model was developed based on an analysis of the 2012 American School Counselor Association (ASCA) National Model in order to provide direction for program evaluation initiatives. The logic model identified three outcomes (increased student achievement/gap reduction, increased school counseling program resources, and systemic change and…

Modelling of windmill induction generators in dynamic simulation programs

DEFF Research Database (Denmark)

Akhmatov, Vladislav; Knudsen, Hans

1999-01-01

with and without a model of the mechanical shaft. The reason for the discrepancies are explained, and it is shown that the phenomenon is due partly to the presence of DC offset currents in the induction machine stator, and partly to the mechanical shaft system of the wind turbine and the generator rotor......For AC networks with large amounts of induction generators-in case of e.g. windmills-the paper demonstrates a significant discrepancy in the simulated voltage recovery after faults in weak networks, when comparing result obtained with dynamic stability programs and transient programs, respectively....... It is shown that it is possible to include a transient model in dynamic stability programs and thus obtain correct results also in dynamic stability programs. A mechanical model of the shaft system has also been included in the generator model...

The ASC Sequoia Programming Model

Energy Technology Data Exchange (ETDEWEB)

Seager, M

2008-08-06

In the late 1980's and early 1990's, Lawrence Livermore National Laboratory was deeply engrossed in determining the next generation programming model for the Integrated Design Codes (IDC) beyond vectorization for the Cray 1s series of computers. The vector model, developed in mid 1970's first for the CDC 7600 and later extended from stack based vector operation to memory to memory operations for the Cray 1s, lasted approximately 20 years (See Slide 5). The Cray vector era was deemed an extremely long lived era as it allowed vector codes to be developed over time (the Cray 1s were faster in scalar mode than the CDC 7600) with vector unit utilization increasing incrementally over time. The other attributes of the Cray vector era at LLNL were that we developed, supported and maintained the Operating System (LTSS and later NLTSS), communications protocols (LINCS), Compilers (Civic Fortran77 and Model), operating system tools (e.g., batch system, job control scripting, loaders, debuggers, editors, graphics utilities, you name it) and math and highly machine optimized libraries (e.g., SLATEC, and STACKLIB). Although LTSS was adopted by Cray for early system generations, they later developed COS and UNICOS operating systems and environment on their own. In the late 1970s and early 1980s two trends appeared that made the Cray vector programming model (described above including both the hardware and system software aspects) seem potentially dated and slated for major revision. These trends were the appearance of low cost CMOS microprocessors and their attendant, departmental and mini-computers and later workstations and personal computers. With the wide spread adoption of Unix in the early 1980s, it appeared that LLNL (and the other DOE Labs) would be left out of the mainstream of computing without a rapid transition to these 'Killer Micros' and modern OS and tools environments. The other interesting advance in the period is that systems were being

Measurement control program at model facility

International Nuclear Information System (INIS)

Schneider, R.A.

1984-01-01

A measurement control program for the model plant is described. The discussion includes the technical basis for such a program, the application of measurement control principles to each measurement, and the use of special experiments to estimate measurement error parameters for difficult-to-measure materials. The discussion also describes the statistical aspects of the program, and the documentation procedures used to record, maintain, and process the basic data

BWR Refill-Reflood Program, Task 4.7 - model development: TRAC-BWR component models

International Nuclear Information System (INIS)

Cheung, Y.K.; Parameswaran, V.; Shaug, J.C.

1983-09-01

TRAC (Transient Reactor Analysis Code) is a computer code for best-estimate analysis for the thermal hydraulic conditions in a reactor system. The development and assessment of the BWR component models developed under the Refill/Reflood Program that are necessary to structure a BWR-version of TRAC are described in this report. These component models are the jet pump, steam separator, steam dryer, two-phase level tracking model, and upper-plenum mixing model. These models have been implemented into TRAC-B02. Also a single-channel option has been developed for individual fuel-channel analysis following a system-response calculation

Statistical and Machine Learning Models to Predict Programming Performance

OpenAIRE

Bergin, Susan

2006-01-01

This thesis details a longitudinal study on factors that influence introductory programming success and on the development of machine learning models to predict incoming student performance. Although numerous studies have developed models to predict programming success, the models struggled to achieve high accuracy in predicting the likely performance of incoming students. Our approach overcomes this by providing a machine learning technique, using a set of three significant...

Model for behavior observation training programs

International Nuclear Information System (INIS)

Berghausen, P.E. Jr.

1987-01-01

Continued behavior observation is mandated by ANSI/ANS 3.3. This paper presents a model for behavior observation training that is in accordance with this standard and the recommendations contained in US NRC publications. The model includes seventeen major topics or activities. Ten of these are discussed: Pretesting of supervisor's knowledge of behavior observation requirements, explanation of the goals of behavior observation programs, why behavior observation training programs are needed (legal and psychological issues), early indicators of emotional instability, use of videotaped interviews to demonstrate significant psychopathology, practice recording behaviors, what to do when unusual behaviors are observed, supervisor rationalizations for noncompliance, when to be especially vigilant, and prevention of emotional instability

Automation of program model developing for complex structure control objects

International Nuclear Information System (INIS)

Ivanov, A.P.; Sizova, T.B.; Mikhejkina, N.D.; Sankovskij, G.A.; Tyufyagin, A.N.

1991-01-01

A brief description of software for automated developing the models of integrating modular programming system, program module generator and program module library providing thermal-hydraulic calcualtion of process dynamics in power unit equipment components and on-line control system operation simulation is given. Technical recommendations for model development are based on experience in creation of concrete models of NPP power units. 8 refs., 1 tab., 4 figs

Uncertain and multi-objective programming models for crop planting structure optimization

Directory of Open Access Journals (Sweden)

Mo LI,Ping GUO,Liudong ZHANG,Chenglong ZHANG

2016-03-01

Full Text Available Crop planting structure optimization is a significant way to increase agricultural economic benefits and improve agricultural water management. The complexities of fluctuating stream conditions, varying economic profits, and uncertainties and errors in estimated modeling parameters, as well as the complexities among economic, social, natural resources and environmental aspects, have led to the necessity of developing optimization models for crop planting structure which consider uncertainty and multi-objectives elements. In this study, three single-objective programming models under uncertainty for crop planting structure optimization were developed, including an interval linear programming model, an inexact fuzzy chance-constrained programming (IFCCP model and an inexact fuzzy linear programming (IFLP model. Each of the three models takes grayness into account. Moreover, the IFCCP model considers fuzzy uncertainty of parameters/variables and stochastic characteristics of constraints, while the IFLP model takes into account the fuzzy uncertainty of both constraints and objective functions. To satisfy the sustainable development of crop planting structure planning, a fuzzy-optimization-theory-based fuzzy linear multi-objective programming model was developed, which is capable of reflecting both uncertainties and multi-objective. In addition, a multi-objective fractional programming model for crop structure optimization was also developed to quantitatively express the multi-objective in one optimization model with the numerator representing maximum economic benefits and the denominator representing minimum crop planting area allocation. These models better reflect actual situations, considering the uncertainties and multi-objectives of crop planting structure optimization systems. The five models developed were then applied to a real case study in Minqin County, north-west China. The advantages, the applicable conditions and the solution methods

Logic models as a tool for sexual violence prevention program development.

Science.gov (United States)

Hawkins, Stephanie R; Clinton-Sherrod, A Monique; Irvin, Neil; Hart, Laurie; Russell, Sarah Jane

2009-01-01

Sexual violence is a growing public health problem, and there is an urgent need to develop sexual violence prevention programs. Logic models have emerged as a vital tool in program development. The Centers for Disease Control and Prevention funded an empowerment evaluation designed to work with programs focused on the prevention of first-time male perpetration of sexual violence, and it included as one of its goals, the development of program logic models. Two case studies are presented that describe how significant positive changes can be made to programs as a result of their developing logic models that accurately describe desired outcomes. The first case study describes how the logic model development process made an organization aware of the importance of a program's environmental context for program success; the second case study demonstrates how developing a program logic model can elucidate gaps in organizational programming and suggest ways to close those gaps.

Best Practices in Academic Management. Study Programs Classification Model

Directory of Open Access Journals (Sweden)

Ofelia Ema Aleca

2016-05-01

Full Text Available This article proposes and tests a set of performance indicators for the assessment of Bachelor and Master studies, from two perspectives: the study programs and the disciplines. The academic performance at the level of a study program shall be calculated based on success and efficiency rates, and at discipline level, on the basis of rates of efficiency, success and absenteeism. This research proposes a model of classification of the study programs within a Bachelor and Master cycle based on the education performance and efficiency. What recommends this model as a best practice model in academic management is the possibility of grouping a study program or a discipline in a particular category of efficiency

Modelling the work flow of a nuclear waste management program

Energy Technology Data Exchange (ETDEWEB)

Hoeyer Mortensen, K. [Aarhus Univ., Computer Science Dept. (Denmark); Pinci, V. [Meta Software Corporation, Cambridge, MA (United States)

1997-03-01

In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. SADT (Structural Analysis and Design Technique) is used in order to provide a work-flow description of the functions to be performed by the waste management program. This description is then translated into a number of Coloured Petri Nets (CPN or CP-nets) corresponding to different program functions where additional behavioural inscriptions provide basis for simulation. Each of these CP-nets is simulated to produce timed event charts that are useful for understanding the behaviour of the program functions under different scenarios. Then all the CPN models are linked together to form a single stand-alone application that is useful for validating the interaction and cooperation between the different program functions. A technique for linking executable CPN models is developed for supporting large modelling projects and parallel development of independent CPN models. (au) 11 refs.

Modelling the work flow of a nuclear waste management program

International Nuclear Information System (INIS)

Hoeyer Mortensen, K.; Pinci, V.

1997-03-01

In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. SADT (Structural Analysis and Design Technique) is used in order to provide a work-flow description of the functions to be performed by the waste management program. This description is then translated into a number of Coloured Petri Nets (CPN or CP-nets) corresponding to different program functions where additional behavioural inscriptions provide basis for simulation. Each of these CP-nets is simulated to produce timed event charts that are useful for understanding the behaviour of the program functions under different scenarios. Then all the CPN models are linked together to form a single stand-alone application that is useful for validating the interaction and cooperation between the different program functions. A technique for linking executable CPN models is developed for supporting large modelling projects and parallel development of independent CPN models. (au) 11 refs

Optimum workforce-size model using dynamic programming approach

African Journals Online (AJOL)

This paper presents an optimum workforce-size model which determines the minimum number of excess workers (overstaffing) as well as the minimum total recruitment cost during a specified planning horizon. The model is an extension of other existing dynamic programming models for manpower planning in the sense ...

Dependent-Chance Programming Models for Capital Budgeting in Fuzzy Environments

Institute of Scientific and Technical Information of China (English)

LIANG Rui; GAO Jinwu

2008-01-01

Capital budgeting is concerned with maximizing the total net profit subject to budget constraints by selecting an appropriate combination of projects. This paper presents chance maximizing models for capital budgeting with fuzzy input data and multiple conflicting objectives. When the decision maker sets a prospec-tive profit level and wants to maximize the chances of the total profit achieving the prospective profit level, a fuzzy dependent-chance programming model, a fuzzy multi-objective dependent-chance programming model, and a fuzzy goal dependent-chance programming model are used to formulate the fuzzy capital budgeting problem. A fuzzy simulation based genetic algorithm is used to solve these models. Numerical examples are provided to illustrate the effectiveness of the simulation-based genetic algorithm and the po-tential applications of these models.

Fuzzy Goal Programming Approach in Selective Maintenance Reliability Model

Directory of Open Access Journals (Sweden)

Neha Gupta

2013-12-01

Full Text Available 800x600 In the present paper, we have considered the allocation problem of repairable components for a parallel-series system as a multi-objective optimization problem and have discussed two different models. In first model the reliability of subsystems are considered as different objectives. In second model the cost and time spent on repairing the components are considered as two different objectives. These two models is formulated as multi-objective Nonlinear Programming Problem (MONLPP and a Fuzzy goal programming method is used to work out the compromise allocation in multi-objective selective maintenance reliability model in which we define the membership functions of each objective function and then transform membership functions into equivalent linear membership functions by first order Taylor series and finally by forming a fuzzy goal programming model obtain a desired compromise allocation of maintenance components. A numerical example is also worked out to illustrate the computational details of the method.  Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4

Parallel phase model : a programming model for high-end parallel machines with manycores.

Energy Technology Data Exchange (ETDEWEB)

Wu, Junfeng (Syracuse University, Syracuse, NY); Wen, Zhaofang; Heroux, Michael Allen; Brightwell, Ronald Brian

2009-04-01

This paper presents a parallel programming model, Parallel Phase Model (PPM), for next-generation high-end parallel machines based on a distributed memory architecture consisting of a networked cluster of nodes with a large number of cores on each node. PPM has a unified high-level programming abstraction that facilitates the design and implementation of parallel algorithms to exploit both the parallelism of the many cores and the parallelism at the cluster level. The programming abstraction will be suitable for expressing both fine-grained and coarse-grained parallelism. It includes a few high-level parallel programming language constructs that can be added as an extension to an existing (sequential or parallel) programming language such as C; and the implementation of PPM also includes a light-weight runtime library that runs on top of an existing network communication software layer (e.g. MPI). Design philosophy of PPM and details of the programming abstraction are also presented. Several unstructured applications that inherently require high-volume random fine-grained data accesses have been implemented in PPM with very promising results.

Modelling and Formal Verification of Timing Aspects in Large PLC Programs

CERN Document Server

Fernandez Adiego, B; Blanco Vinuela, E; Tournier, J-C; Gonzalez Suarez, V M; Blech, J O

2014-01-01

One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to model and verify timing aspects of PLC programs. Two approaches are proposed to allow the users to balance the trade-off between the complexity of the model, i.e. its number of states, and the set of specifications possible to be verified. A tool supporting the methodology which allows to produce models for different model checkers directly from PLC programs has been developed. Verification of timing aspects for real-life PLC programs are presented in this paper using NuSMV.

Cost estimation model for advanced planetary programs, fourth edition

Science.gov (United States)

Spadoni, D. J.

1983-01-01

The development of the planetary program cost model is discussed. The Model was updated to incorporate cost data from the most recent US planetary flight projects and extensively revised to more accurately capture the information in the historical cost data base. This data base is comprised of the historical cost data for 13 unmanned lunar and planetary flight programs. The revision was made with a two fold objective: to increase the flexibility of the model in its ability to deal with the broad scope of scenarios under consideration for future missions, and to maintain and possibly improve upon the confidence in the model's capabilities with an expected accuracy of 20%. The Model development included a labor/cost proxy analysis, selection of the functional forms of the estimating relationships, and test statistics. An analysis of the Model is discussed and two sample applications of the cost model are presented.

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.

76 FR 68011 - Medicare Program; Advanced Payment Model

Science.gov (United States)

2011-11-02

...This notice announces the testing of the Advance Payment Model for certain accountable care organizations participating in the Medicare Shared Savings Program scheduled to begin in 2012, and provides information about the model and application process.

Description of mathematical models and computer programs

International Nuclear Information System (INIS)

1977-01-01

The paper gives a description of mathematical models and computer programs for analysing possible strategies for spent fuel management, with emphasis on economic analysis. The computer programs developed, describe the material flows, facility construction schedules, capital investment schedules and operating costs for the facilities used in managing the spent fuel. The computer programs use a combination of simulation and optimization procedures for the economic analyses. Many of the fuel cycle steps (such as spent fuel discharges, storage at the reactor, and transport to the RFCC) are described in physical and economic terms through simulation modeling, while others (such as reprocessing plant size and commissioning schedules, interim storage facility commissioning schedules etc.) are subjected to economic optimization procedures to determine the approximate lowest-cost plans from among the available feasible alternatives

A Linear Programming Model to Optimize Various Objective Functions of a Foundation Type State Support Program.

Science.gov (United States)

Matzke, Orville R.

The purpose of this study was to formulate a linear programming model to simulate a foundation type support program and to apply this model to a state support program for the public elementary and secondary school districts in the State of Iowa. The model was successful in producing optimal solutions to five objective functions proposed for…

Utility of Small Animal Models of Developmental Programming.

Science.gov (United States)

Reynolds, Clare M; Vickers, Mark H

2018-01-01

Any effective strategy to tackle the global obesity and rising noncommunicable disease epidemic requires an in-depth understanding of the mechanisms that underlie these conditions that manifest as a consequence of complex gene-environment interactions. In this context, it is now well established that alterations in the early life environment, including suboptimal nutrition, can result in an increased risk for a range of metabolic, cardiovascular, and behavioral disorders in later life, a process preferentially termed developmental programming. To date, most of the mechanistic knowledge around the processes underpinning development programming has been derived from preclinical research performed mostly, but not exclusively, in laboratory mouse and rat strains. This review will cover the utility of small animal models in developmental programming, the limitations of such models, and potential future directions that are required to fully maximize information derived from preclinical models in order to effectively translate to clinical use.

Gstat: a program for geostatistical modelling, prediction and simulation

Science.gov (United States)

Pebesma, Edzer J.; Wesseling, Cees G.

1998-01-01

Gstat is a computer program for variogram modelling, and geostatistical prediction and simulation. It provides a generic implementation of the multivariable linear model with trends modelled as a linear function of coordinate polynomials or of user-defined base functions, and independent or dependent, geostatistically modelled, residuals. Simulation in gstat comprises conditional or unconditional (multi-) Gaussian sequential simulation of point values or block averages, or (multi-) indicator sequential simulation. Besides many of the popular options found in other geostatistical software packages, gstat offers the unique combination of (i) an interactive user interface for modelling variograms and generalized covariances (residual variograms), that uses the device-independent plotting program gnuplot for graphical display, (ii) support for several ascii and binary data and map file formats for input and output, (iii) a concise, intuitive and flexible command language, (iv) user customization of program defaults, (v) no built-in limits, and (vi) free, portable ANSI-C source code. This paper describes the class of problems gstat can solve, and addresses aspects of efficiency and implementation, managing geostatistical projects, and relevant technical details.

Devil is in the details: Using logic models to investigate program process.

Science.gov (United States)

Peyton, David J; Scicchitano, Michael

2017-12-01

Theory-based logic models are commonly developed as part of requirements for grant funding. As a tool to communicate complex social programs, theory based logic models are an effective visual communication. However, after initial development, theory based logic models are often abandoned and remain in their initial form despite changes in the program process. This paper examines the potential benefits of committing time and resources to revising the initial theory driven logic model and developing detailed logic models that describe key activities to accurately reflect the program and assist in effective program management. The authors use a funded special education teacher preparation program to exemplify the utility of drill down logic models. The paper concludes with lessons learned from the iterative revision process and suggests how the process can lead to more flexible and calibrated program management. Copyright © 2017 Elsevier Ltd. All rights reserved.

A CONCEPTUAL MODEL OF THE LIFE CYCLE OF THE PROGRAM

Directory of Open Access Journals (Sweden)

Марія Костянтинівна СУХОНОС

2016-02-01

Full Text Available A conceptual model of the life cycle of the program is proposed. This model is based on the value approach. As a resulting index, it uses a category of complex structural value. This model renders the process of the life cycle of the program in the context of time/result. It assumes the presence of four basic phases of the life cycle, namely, initiation, planning, executing and closing. Also, this model formalizes interconnection of management processes of integration of program and management of its community and subprocesses. Selection of a value approach for the forming of a resulting index of a program determines by a variety of results of the program. This is a result of its variety and complexity in the process of finding a criterion for evaluation. Worked out a mechanism for assessing the value of the program. It consists of four steps and involves using of conventional methods (decomposition and expert estimates. As a unit of measurement assumes to use points and rating scale with the maximum score a hundred points. A complex value, which is evaluated at one hundred points, is a result of the program. It is critically important in the process of current and final evaluation of the program.

Community Based Educational Model on Water Conservation Program

Science.gov (United States)

Sudiajeng, L.; Parwita, I. G. L.; Wiraga, I. W.; Mudhina, M.

2018-01-01

The previous research showed that there were indicators of water crisis in the northern and eastern part of Denpasar city and most of coastal area experienced on seawater intrusion. The recommended water conservation programs were rainwater harvesting and educate the community to develop a water saving and environmentally conscious culture. This research was conducted to built the community based educational model on water conservation program through ergonomics SHIP approach which placed the human aspect as the first consideration, besides the economic and technically aspects. The stakeholders involved in the program started from the problem analyses to the implementation and the maintenance as well. The model was built through three main steps, included determination of accepted design; building the recharge wells by involving local communities; guidance and assistance in developing a water saving and environmentally conscious culture for early childhood, elementary and junior high school students, community and industry. The program was implemented based on the “TRIHITA KARANA” concept, which means the relationship between human to God, human-to-human, and human to environment. Through the development of the model, it is expected to grow a sense of belonging and awareness from the community to maintain the sustainability of the program.

A Leadership Model for University Geology Department Teacher Inservice Programs.

Science.gov (United States)

Sheldon, Daniel S.; And Others

1983-01-01

Provides geology departments and science educators with a leadership model for developing earth science inservice programs. Model emphasizes cooperation/coordination among departments, science educators, and curriculum specialists at local/intermediate/state levels. Includes rationale for inservice programs and geology department involvement in…

State of the Short Dipole Model Program for the LHC

CERN Document Server

Andreyev, N I; Kurtyka, T; Oberli, L R; Perini, D; Russenschuck, Stephan; Siegel, N; Siemko, A; Tommasini, D; Vanenkov, I; Walckiers, L

1998-01-01

Superconducting single and twin aperture 1-m long dipole magnets are currently being fabricated at CERN at a rate of about one per month in the framework of the short dipole model program for the LHC. The program allows to study performance improvements coming from refinements in design, components and assembly options and to accumulate statistics based on a small-scale production. The experience thus gained provides in turn feedback into the long magnet program in industry. In recent models initial quenching fields above 9 T have been obtained and after a short training the conductor limit at 2 K is reached, resulting in a central bore field exceeding 10 T. The paper describes the features of recent single aperture models, the results obtained during cold tests and the plans to ensure the continuation of a vigorous model program providing input for the fabrication of the main LHC dipoles.

Genetic Programming for Automatic Hydrological Modelling

Science.gov (United States)

Chadalawada, Jayashree; Babovic, Vladan

2017-04-01

One of the recent challenges for the hydrologic research community is the need for the development of coupled systems that involves the integration of hydrologic, atmospheric and socio-economic relationships. This poses a requirement for novel modelling frameworks that can accurately represent complex systems, given, the limited understanding of underlying processes, increasing volume of data and high levels of uncertainity. Each of the existing hydrological models vary in terms of conceptualization and process representation and is the best suited to capture the environmental dynamics of a particular hydrological system. Data driven approaches can be used in the integration of alternative process hypotheses in order to achieve a unified theory at catchment scale. The key steps in the implementation of integrated modelling framework that is influenced by prior understanding and data, include, choice of the technique for the induction of knowledge from data, identification of alternative structural hypotheses, definition of rules, constraints for meaningful, intelligent combination of model component hypotheses and definition of evaluation metrics. This study aims at defining a Genetic Programming based modelling framework that test different conceptual model constructs based on wide range of objective functions and evolves accurate and parsimonious models that capture dominant hydrological processes at catchment scale. In this paper, GP initializes the evolutionary process using the modelling decisions inspired from the Superflex framework [Fenicia et al., 2011] and automatically combines them into model structures that are scrutinized against observed data using statistical, hydrological and flow duration curve based performance metrics. The collaboration between data driven and physical, conceptual modelling paradigms improves the ability to model and manage hydrologic systems. Fenicia, F., D. Kavetski, and H. H. Savenije (2011), Elements of a flexible approach

Two Models for Implementing Senior Mentor Programs in Academic Medical Settings

Science.gov (United States)

Corwin, Sara J.; Bates, Tovah; Cohan, Mary; Bragg, Dawn S.; Roberts, Ellen

2007-01-01

This paper compares two models of undergraduate geriatric medical education utilizing senior mentoring programs. Descriptive, comparative multiple-case study was employed analyzing program documents, archival records, and focus group data. Themes were compared for similarities and differences between the two program models. Findings indicate that…

A model for the design and programming of multi-cores

NARCIS (Netherlands)

Jesshope, C.; Grandinetti, L.

2008-01-01

This paper describes a machine/programming model for the era of multi-core chips. It is derived from the sequential model but replaces sequential composition with concurrent composition at all levels in the program except at the level where the compiler is able to make deterministic decisions on

A model of nonparticipation in alcohol treatment programs.

Science.gov (United States)

Burton, T L; Williamson, D L

1997-01-01

Why do the vast majority of those who suffer harm from drinking fail to obtain treatment? Based on a review of research literature and educational and treatment program materials, a model of nonparticipation in treatment is proposed whereby particular population groups are separated out according to whether or not they exhibit specified characteristics related to both harm from drinking and attitudes towards treatment. Eleven groups have been identified in the model, each of which has different reasons for failing to seek and/or obtain treatment. It is suggested that differing educational program messages should be sent to each group. While the model does not purport to be wholly inclusive of all nonparticipation, it offers a basis for addressing the variety of disparate groups that suffer harm from drinking but do not obtain treatment.

LP II--A GOAL PROGRAMMING MODEL FOR MEDIA.

Science.gov (United States)

CHARNES, A.; AND OTHERS

A GOAL PROGRAMING MODEL FOR SELECTING MEDIA IS PRESENTED WHICH ALTERS THE OBJECTIVE AND EXTENDS PREVIOUS MEDIA MODELS BY ACCOUNTING FOR CUMULATIVE DUPLICATING AUDIENCES OVER A VARIETY OF TIME PERIODS. THIS PERMITS DETAILED CONTROL OF THE DISTRIBUTION OF MESSAGE FREQUENCIES DIRECTED AT EACH OF NUMEROUS MARKETING TARGETS OVER A SEQUENCE OF…

Developing an active implementation model for a chronic disease management program.

Science.gov (United States)

Smidth, Margrethe; Christensen, Morten Bondo; Olesen, Frede; Vedsted, Peter

2013-04-01

Introduction and diffusion of new disease management programs in healthcare is usually slow, but active theory-driven implementation seems to outperform other implementation strategies. However, we have only scarce evidence on the feasibility and real effect of such strategies in complex primary care settings where municipalities, general practitioners and hospitals should work together. The Central Denmark Region recently implemented a disease management program for chronic obstructive pulmonary disease (COPD) which presented an opportunity to test an active implementation model against the usual implementation model. The aim of the present paper is to describe the development of an active implementation model using the Medical Research Council's model for complex interventions and the Chronic Care Model. We used the Medical Research Council's five-stage model for developing complex interventions to design an implementation model for a disease management program for COPD. First, literature on implementing change in general practice was scrutinised and empirical knowledge was assessed for suitability. In phase I, the intervention was developed; and in phases II and III, it was tested in a block- and cluster-randomised study. In phase IV, we evaluated the feasibility for others to use our active implementation model. The Chronic Care Model was identified as a model for designing efficient implementation elements. These elements were combined into a multifaceted intervention, and a timeline for the trial in a randomised study was decided upon in accordance with the five stages in the Medical Research Council's model; this was captured in a PaTPlot, which allowed us to focus on the structure and the timing of the intervention. The implementation strategies identified as efficient were use of the Breakthrough Series, academic detailing, provision of patient material and meetings between providers. The active implementation model was tested in a randomised trial

State Space Reduction for Model Checking Agent Programs

NARCIS (Netherlands)

S.-S.T.Q. Jongmans (Sung-Shik); K.V. Hindriks; M.B. van Riemsdijk; L. Dennis; O. Boissier; R.H. Bordini (Rafael)

2012-01-01

htmlabstractState space reduction techniques have been developed to increase the efficiency of model checking in the context of imperative programming languages. Unfortunately, these techniques cannot straightforwardly be applied to agents: the nature of states in the two programming paradigms

Credibilistic programming an introduction to models and applications

CERN Document Server

2014-01-01

It provides fuzzy programming approach to solve real-life decision problems in fuzzy environment. Within the framework of credibility theory, it provides a self-contained, comprehensive and up-to-date presentation of fuzzy programming models, algorithms and applications in portfolio analysis.

Programming While Construction of Engineering 3D Models of Complex Geometry

Science.gov (United States)

Kheyfets, A. L.

2017-11-01

The capabilities of geometrically accurate computational 3D models construction with the use of programming are presented. The construction of models of an architectural arch and a glo-boid worm gear is considered as an example. The models are designed in the AutoCAD pack-age. Three programs of construction are given. The first program is for designing a multi-section architectural arch. The control of the arch’s geometry by impacting its main parameters is shown. The second program is for designing and studying the working surface of a globoid gear’s worm. The article shows how to make the animation for this surface’s formation. The third program is for formation of a worm gear cavity surface. The cavity formation dynamics is studied. The programs are written in the AutoLisp programming language. The program texts are provided.

LDA-Based Unified Topic Modeling for Similar TV User Grouping and TV Program Recommendation.

Science.gov (United States)

Pyo, Shinjee; Kim, Eunhui; Kim, Munchurl

2015-08-01

Social TV is a social media service via TV and social networks through which TV users exchange their experiences about TV programs that they are viewing. For social TV service, two technical aspects are envisioned: grouping of similar TV users to create social TV communities and recommending TV programs based on group and personal interests for personalizing TV. In this paper, we propose a unified topic model based on grouping of similar TV users and recommending TV programs as a social TV service. The proposed unified topic model employs two latent Dirichlet allocation (LDA) models. One is a topic model of TV users, and the other is a topic model of the description words for viewed TV programs. The two LDA models are then integrated via a topic proportion parameter for TV programs, which enforces the grouping of similar TV users and associated description words for watched TV programs at the same time in a unified topic modeling framework. The unified model identifies the semantic relation between TV user groups and TV program description word groups so that more meaningful TV program recommendations can be made. The unified topic model also overcomes an item ramp-up problem such that new TV programs can be reliably recommended to TV users. Furthermore, from the topic model of TV users, TV users with similar tastes can be grouped as topics, which can then be recommended as social TV communities. To verify our proposed method of unified topic-modeling-based TV user grouping and TV program recommendation for social TV services, in our experiments, we used real TV viewing history data and electronic program guide data from a seven-month period collected by a TV poll agency. The experimental results show that the proposed unified topic model yields an average 81.4% precision for 50 topics in TV program recommendation and its performance is an average of 6.5% higher than that of the topic model of TV users only. For TV user prediction with new TV programs, the average

SPSS and SAS programming for the testing of mediation models.

Science.gov (United States)

Dudley, William N; Benuzillo, Jose G; Carrico, Mineh S

2004-01-01

Mediation modeling can explain the nature of the relation among three or more variables. In addition, it can be used to show how a variable mediates the relation between levels of intervention and outcome. The Sobel test, developed in 1990, provides a statistical method for determining the influence of a mediator on an intervention or outcome. Although interactive Web-based and stand-alone methods exist for computing the Sobel test, SPSS and SAS programs that automatically run the required regression analyses and computations increase the accessibility of mediation modeling to nursing researchers. To illustrate the utility of the Sobel test and to make this programming available to the Nursing Research audience in both SAS and SPSS. The history, logic, and technical aspects of mediation testing are introduced. The syntax files sobel.sps and sobel.sas, created to automate the computation of the regression analysis and test statistic, are available from the corresponding author. The reported programming allows the user to complete mediation testing with the user's own data in a single-step fashion. A technical manual included with the programming provides instruction on program use and interpretation of the output. Mediation modeling is a useful tool for describing the relation between three or more variables. Programming and manuals for using this model are made available.

A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC

Science.gov (United States)

Ajiro, Takashi; Tsuchida, Kensei

A concurrent model of computation and a language based on the model for bit-level operation are useful for developing asynchronous and concurrent programs compositionally, which frequently use bit-level operations. Some examples are programs for video games, hardware emulation (including virtual machines), and signal processing. However, few models and languages are optimized and oriented to bit-level concurrent computation. We previously developed a visual programming language called A-BITS for bit-level concurrent programming. The language is based on a dataflow-like model that computes using processes that provide serial bit-level operations and FIFO buffers connected to them. It can express bit-level computation naturally and develop compositionally. We then devised a concurrent computation model called APEC (Asynchronous Program Elements Connection) for bit-level concurrent computation. This model enables precise and formal expression of the process of computation, and a notion of primitive program elements for controlling and operating can be expressed synthetically. Specifically, the model is based on a notion of uniform primitive processes, called primitives, that have three terminals and four ordered rules at most, as well as on bidirectional communication using vehicles called carriers. A new notion is that a carrier moving between two terminals can briefly express some kinds of computation such as synchronization and bidirectional communication. The model's properties make it most applicable to bit-level computation compositionally, since the uniform computation elements are enough to develop components that have practical functionality. Through future application of the model, our research may enable further research on a base model of fine-grain parallel computer architecture, since the model is suitable for expressing massive concurrency by a network of primitives.

Optimization Research of Generation Investment Based on Linear Programming Model

Science.gov (United States)

Wu, Juan; Ge, Xueqian

Linear programming is an important branch of operational research and it is a mathematical method to assist the people to carry out scientific management. GAMS is an advanced simulation and optimization modeling language and it will combine a large number of complex mathematical programming, such as linear programming LP, nonlinear programming NLP, MIP and other mixed-integer programming with the system simulation. In this paper, based on the linear programming model, the optimized investment decision-making of generation is simulated and analyzed. At last, the optimal installed capacity of power plants and the final total cost are got, which provides the rational decision-making basis for optimized investments.

Symbolic Game Semantics for Model Checking Program Families

DEFF Research Database (Denmark)

Dimovski, Aleksandar

2016-01-01

represent program families with infinite integers as so-called (finite-state) featured symbolic automata. Specifically designed model checking algorithms are then employed to verify safety of all programs from a family at once and pinpoint those programs that are unsafe (respectively, safe). We present...... a prototype tool implementing this approach, and we illustrate it with several examples....

A goal programming model for environmental policy analysis: Application to Spain

International Nuclear Information System (INIS)

San Cristóbal, José Ramón

2012-01-01

Sustainable development has become an important part of international and national approaches to integrate economic, environmental, social and ethical considerations so that a good quality of life can be enjoyed by current and future generations for as long as possible. However, nowadays sustainable development is threatened by industrial pollution emissions which cause serious environmental problems. Due to a lack of adequate quantitative models for environmental policy analysis, there is a strong need for analytical models in order to know the effects of environmental policies. In the present paper, a goal programming model, based on an environmental/input–output linear programming model, is developed and applied to the Spanish economy. The model combines relations between economic, energy, social and environmental effects, providing valuable information for policy-makers in order to define and examine the different goals that must be implemented to reach sustainability. - Highlights: ► In this paper a goal programming model is developed. ► The model considers environmental, energy, social and economic goals. ► The model shows the effects of a reduction in greenhouse gasses emission and energy requirements. ► The model is applied to the Spanish economy.

Model-based automated testing of critical PLC programs.

CERN Document Server

Fernández Adiego, B; Tournier, J-C; González Suárez, V M; Bliudze, S

2014-01-01

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model based approach which uses the BIP (Behavior, Interactions and Priorities) framework to perform automated testing of PLC programs developed with the UNICOS (UNified Industrial COntrol System) framework. This paper defines the translation procedure and rules from UNICOS to BIP which can be fully automated in order to hide the complexity of the underlying model from the control engineers. The approach is illustrated and validated through the study of a water treatment process.

PWM CONTROLLER'S MODELS FOR INVESTIGATION ACS IN SPICEFAMILY ECAD PROGRAMS

Directory of Open Access Journals (Sweden)

O. V. VASYLENKO

2018-05-01

Full Text Available Purpose. To improve simulation and design of Automatic Control Systems in the SPICE-compatible programs and to obtain separate economic and universal macromodels of PWM controller. Development of an PWM controller economical macromodel for the study of automatic control systems (ACS in computer-aided design (ECAD  programs, which does not generate algorithmic failures in comparison with the existing models of PWM. Findings. Analysis of SPICE-family applications’ mathematical basis allowed to classifying existing models of PWM-controllers, defining their suitability for ACS simulation. The criteria for the synthesis of new models have been defined. For the SPICE 3G algorithms, the Switch and Averaged models based on behavioral elements has been developed. Universal and economical PWM controller macromodel based on the simple algorithm for determining the output signal with minimum numbers of input parameters has been designed. For the Automated Measuring magnetic susceptibility System, the macromodel of quasi-PWM signal generator have been designed, which is used in the compensation subsystem. This model is different from the existing ones: it synthesizes the staircase output signal instead the pulse one, thus, there is direct control of the amplitude of the output signal, which is taken averaged. The adequacy of the models is confirmed as comparison of the simulation results during investigations of the model already existing in the SPICE program, as well as the results of experiments with real ACS. The modeling of the PWM controller was carried out on the basis of behavioral elements from the ECAD library, simulation (solution of algebra-differential equations systems with programming elements is based on SPICE algorithms. The object of the study was the simulation process of ACS with the pulse-width principle of adjusting the output value. The subject of the research are the models of PWM controllers. Originality. The new macromodel of PWM

Photovoltaic subsystem marketing and distribution model: programming manual. Final report

Energy Technology Data Exchange (ETDEWEB)

1982-07-01

Complete documentation of the marketing and distribution (M and D) computer model is provided. The purpose is to estimate the costs of selling and transporting photovoltaic solar energy products from the manufacturer to the final customer. The model adjusts for the inflation and regional differences in marketing and distribution costs. The model consists of three major components: the marketing submodel, the distribution submodel, and the financial submodel. The computer program is explained including the input requirements, output reports, subprograms and operating environment. The program specifications discuss maintaining the validity of the data and potential improvements. An example for a photovoltaic concentrator collector demonstrates the application of the model.

Support for Programming Models in Network-on-Chip-based Many-core Systems

DEFF Research Database (Denmark)

Rasmussen, Morten Sleth

This thesis addresses aspects of support for programming models in Network-on- Chip-based many-core architectures. The main focus is to consider architectural support for a plethora of programming models in a single system. The thesis has three main parts. The first part considers parallelization...... models to be supported by a single architecture. The architecture features a specialized network interface processor which allows extensive configurability of the memory system. Based on this architecture, a detailed implementation of the cache coherent shared memory programming model is presented...

Stochastic linear programming models, theory, and computation

CERN Document Server

Kall, Peter

2011-01-01

This new edition of Stochastic Linear Programming: Models, Theory and Computation has been brought completely up to date, either dealing with or at least referring to new material on models and methods, including DEA with stochastic outputs modeled via constraints on special risk functions (generalizing chance constraints, ICC’s and CVaR constraints), material on Sharpe-ratio, and Asset Liability Management models involving CVaR in a multi-stage setup. To facilitate use as a text, exercises are included throughout the book, and web access is provided to a student version of the authors’ SLP-IOR software. Additionally, the authors have updated the Guide to Available Software, and they have included newer algorithms and modeling systems for SLP. The book is thus suitable as a text for advanced courses in stochastic optimization, and as a reference to the field. From Reviews of the First Edition: "The book presents a comprehensive study of stochastic linear optimization problems and their applications. … T...

Empirical evaluation of the conceptual model underpinning a regional aquatic long-term monitoring program using causal modelling

Science.gov (United States)

Irvine, Kathryn M.; Miller, Scott; Al-Chokhachy, Robert K.; Archer, Erik; Roper, Brett B.; Kershner, Jeffrey L.

2015-01-01

Conceptual models are an integral facet of long-term monitoring programs. Proposed linkages between drivers, stressors, and ecological indicators are identified within the conceptual model of most mandated programs. We empirically evaluate a conceptual model developed for a regional aquatic and riparian monitoring program using causal models (i.e., Bayesian path analysis). We assess whether data gathered for regional status and trend estimation can also provide insights on why a stream may deviate from reference conditions. We target the hypothesized causal pathways for how anthropogenic drivers of road density, percent grazing, and percent forest within a catchment affect instream biological condition. We found instream temperature and fine sediments in arid sites and only fine sediments in mesic sites accounted for a significant portion of the maximum possible variation explainable in biological condition among managed sites. However, the biological significance of the direct effects of anthropogenic drivers on instream temperature and fine sediments were minimal or not detected. Consequently, there was weak to no biological support for causal pathways related to anthropogenic drivers’ impact on biological condition. With weak biological and statistical effect sizes, ignoring environmental contextual variables and covariates that explain natural heterogeneity would have resulted in no evidence of human impacts on biological integrity in some instances. For programs targeting the effects of anthropogenic activities, it is imperative to identify both land use practices and mechanisms that have led to degraded conditions (i.e., moving beyond simple status and trend estimation). Our empirical evaluation of the conceptual model underpinning the long-term monitoring program provided an opportunity for learning and, consequently, we discuss survey design elements that require modification to achieve question driven monitoring, a necessary step in the practice of

A model technology transfer program for independent operators: Kansas Technology Transfer Model (KTTM)

Energy Technology Data Exchange (ETDEWEB)

Schoeling, L.G.

1993-09-01

This report describes the development and testing of the Kansas Technology Transfer Model (KTTM) which is to be utilized as a regional model for the development of other technology transfer programs for independent operators throughout oil-producing regions in the US. It describes the linkage of the regional model with a proposed national technology transfer plan, an evaluation technique for improving and assessing the model, and the methodology which makes it adaptable on a regional basis. The report also describes management concepts helpful in managing a technology transfer program. The original Tertiary Oil Recovery Project (TORP) activities, upon which the KTTM is based, were developed and tested for Kansas and have proved to be effective in assisting independent operators in utilizing technology. Through joint activities of TORP and the Kansas Geological Survey (KGS), the KTTM was developed and documented for application in other oil-producing regions. During the course of developing this model, twelve documents describing the implementation of the KTTM were developed as deliverables to DOE. These include: (1) a problem identification (PI) manual describing the format and results of six PI workshops conducted in different areas of Kansas, (2) three technology workshop participant manuals on advanced waterflooding, reservoir description, and personal computer applications, (3) three technology workshop instructor manuals which provides instructor material for all three workshops, (4) three technologies were documented as demonstration projects which included reservoir management, permeability modification, and utilization of a liquid-level acoustic measuring device, (5) a bibliography of all literature utilized in the documents, and (6) a document which describes the KTTM.

Programming for the Public Good: Ensuring Public Value Through the Cooperative Extension Program Development Model

Directory of Open Access Journals (Sweden)

Nancy Franz

2015-06-01

Full Text Available Effective Cooperative Extension programs produce important private and public value for individuals, families, businesses, and communities. However, the public value of Extension programming often goes unmeasured and unarticulated. Extension needs to reclaim its role as a key provider of public value for Land-Grant Universities through strong educational programs driven by infusing public value into all elements of the Extension Program Development Model. This article describes Extension’s public value movement including organizational, professional, program, and scholarship development efforts to enhance public good effectiveness articulation. Lessons learned, implications, and next steps for Extension’s public value success through a strong program development model are also shared.

GIGMF - A statistical model program

International Nuclear Information System (INIS)

Vladuca, G.; Deberth, C.

1978-01-01

The program GIGMF computes the differential and integrated statistical model cross sections for the reactions proceeding through a compound nuclear stage. The computational method is based on the Hauser-Feshbach-Wolfenstein theory, modified to include the modern version of Tepel et al. Although the program was written for a PDP-15 computer, with 16K high speed memory, many reaction channels can be taken into account with the following restrictions: the pro ectile spin must be less than 2, the maximum spin momenta of the compound nucleus can not be greater than 10. These restrictions are due solely to the storage allotments and may be easily relaxed. The energy of the impinging particle, the target and projectile masses, the spin and paritjes of the projectile, target, emergent and residual nuclei the maximum orbital momentum and transmission coefficients for each reaction channel are the input parameters of the program. (author)

User Guide and Documentation for Five MODFLOW Ground-Water Modeling Utility Programs

Science.gov (United States)

Banta, Edward R.; Paschke, Suzanne S.; Litke, David W.

2008-01-01

This report documents five utility programs designed for use in conjunction with ground-water flow models developed with the U.S. Geological Survey's MODFLOW ground-water modeling program. One program extracts calculated flow values from one model for use as input to another model. The other four programs extract model input or output arrays from one model and make them available in a form that can be used to generate an ArcGIS raster data set. The resulting raster data sets may be useful for visual display of the data or for further geographic data processing. The utility program GRID2GRIDFLOW reads a MODFLOW binary output file of cell-by-cell flow terms for one (source) model grid and converts the flow values to input flow values for a different (target) model grid. The spatial and temporal discretization of the two models may differ. The four other utilities extract selected 2-dimensional data arrays in MODFLOW input and output files and write them to text files that can be imported into an ArcGIS geographic information system raster format. These four utilities require that the model cells be square and aligned with the projected coordinate system in which the model grid is defined. The four raster-conversion utilities are * CBC2RASTER, which extracts selected stress-package flow data from a MODFLOW binary output file of cell-by-cell flows; * DIS2RASTER, which extracts cell-elevation data from a MODFLOW Discretization file; * MFBIN2RASTER, which extracts array data from a MODFLOW binary output file of head or drawdown; and * MULT2RASTER, which extracts array data from a MODFLOW Multiplier file.

Automated Generation of Formal Models from ST Control Programs for Verification Purposes

CERN Document Server

Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Blech, J-O; Gonzalez Suarez, V

2014-01-01

In large industrial control systems such as the ones installed at CERN, one of the main issues is the ability to verify the correct behaviour of the Programmable Logic Controller (PLC) programs. While manual and automated testing can achieve good results, some obvious problems remain unsolved such as the difficulty to check safety or liveness properties. This paper proposes a general methodology and a tool to verify PLC programs by automatically generating formal models for different model checkers out of ST code. The proposed methodology defines an automata-based formalism used as intermediate model (IM) to transform PLC programs written in ST language into different formal models for verification purposes. A tool based on Xtext has been implemented that automatically generates models for the NuSMV and UPPAAL model checkers and the BIP framework.

Game Theory and its Relationship with Linear Programming Models ...

African Journals Online (AJOL)

Game Theory and its Relationship with Linear Programming Models. ... This paper shows that game theory and linear programming problem are closely related subjects since any computing method devised for ... AJOL African Journals Online.

Research on Propagation Model of Malicious Programs in Ad Hoc Wireless Network

Directory of Open Access Journals (Sweden)

Weimin GAO

2014-01-01

Full Text Available Ad Hoc wireless network faces more security threats than traditional network due to its P2P system structure and the limited node resources. In recent years, malicious program has become one of the most important researches on international network security and information security. The research of malicious programs on wireless network has become a new research hotspot in the field of malicious programs. This paper first analyzed the Ad Hoc network system structure, security threats, the common classification of malicious programs and the bionic propagation model. Then starting from the differential equations of the SEIR virus propagation model, the question caused by introducing the SEIR virus propagation model in Ad Hoc wireless network was analyzed. This paper improved the malicious program propagation model through introducing the network topology features and concepts such as immunization delay, and designed an improved algorithm combined with the dynamic evolution of malware propagation process. Considering of the network virus propagation characteristics, network characteristics and immunization strategy to improve simulation model experiment analysis, the experimental results show that both the immunization strategy and the degrees of node can affect the propagation of malicious program.

A Collective Case Study of Secondary Students' Model-Based Inquiry on Natural Selection through Programming in an Agent-Based Modeling Environment

Science.gov (United States)

Xiang, Lin

This is a collective case study seeking to develop detailed descriptions of how programming an agent-based simulation influences a group of 8 th grade students' model-based inquiry (MBI) by examining students' agent-based programmable modeling (ABPM) processes and the learning outcomes. The context of the present study was a biology unit on natural selection implemented in a charter school of a major California city during spring semester of 2009. Eight 8th grade students, two boys and six girls, participated in this study. All of them were low socioeconomic status (SES). English was a second language for all of them, but they had been identified as fluent English speakers at least a year before the study. None of them had learned either natural selection or programming before the study. The study spanned over 7 weeks and was comprised of two study phases. In phase one the subject students learned natural selection in science classroom and how to do programming in NetLogo, an ABPM tool, in a computer lab; in phase two, the subject students were asked to program a simulation of adaptation based on the natural selection model in NetLogo. Both qualitative and quantitative data were collected in this study. The data resources included (1) pre and post test questionnaire, (2) student in-class worksheet, (3) programming planning sheet, (4) code-conception matching sheet, (5) student NetLogo projects, (6) videotaped programming processes, (7) final interview, and (8) investigator's field notes. Both qualitative and quantitative approaches were applied to analyze the gathered data. The findings suggested that students made progress on understanding adaptation phenomena and natural selection at the end of ABPM-supported MBI learning but the progress was limited. These students still held some misconceptions in their conceptual models, such as the idea that animals need to "learn" to adapt into the environment. Besides, their models of natural selection appeared to be

International Nuclear Model. Volume 3. Program description

International Nuclear Information System (INIS)

Andress, D.

1985-01-01

This is Volume 3 of three volumes of documentation of the International Nuclear Model (INM). This volume presents the Program Description of the International Nuclear Model, which was developed for the Nuclear and Alternate Fuels Division (NAFD), Office of Coal, Nuclear, Electric and Alternate Fuels, Energy Information Administration (EIA), US Department of Energy (DOE). The International Nuclear Model (INM) is a comprehensive model of the commercial nuclear power industry. It simulates economic decisions for reactor deployment and fuel management decision based on an input set of technical economic and scenario parameters. The technical parameters include reactor operating characteristics, fuel cycle timing and mass loss factors, and enrichment tails assays. Economic parameters include fuel cycle costs, financial data, and tax alternatives. INM has a broad range of scenario options covering, for example, process constraints, interregional activities, reprocessing, and fuel management selection. INM reports reactor deployment schedules, electricity generation, and fuel cycle requirements and costs. It also has specialized reports for extended burnup and permanent disposal. Companion volumes to Volume 3 are: Volume 1 - Model Overview, and Volume 2 - Data Base Relationships

Portfolio optimization by using linear programing models based on genetic algorithm

Science.gov (United States)

Sukono; Hidayat, Y.; Lesmana, E.; Putra, A. S.; Napitupulu, H.; Supian, S.

2018-01-01

In this paper, we discussed the investment portfolio optimization using linear programming model based on genetic algorithms. It is assumed that the portfolio risk is measured by absolute standard deviation, and each investor has a risk tolerance on the investment portfolio. To complete the investment portfolio optimization problem, the issue is arranged into a linear programming model. Furthermore, determination of the optimum solution for linear programming is done by using a genetic algorithm. As a numerical illustration, we analyze some of the stocks traded on the capital market in Indonesia. Based on the analysis, it is shown that the portfolio optimization performed by genetic algorithm approach produces more optimal efficient portfolio, compared to the portfolio optimization performed by a linear programming algorithm approach. Therefore, genetic algorithms can be considered as an alternative on determining the investment portfolio optimization, particularly using linear programming models.

A Multiobjective Programming Method for Ranking All Units Based on Compensatory DEA Model

Directory of Open Access Journals (Sweden)

Haifang Cheng

2014-01-01

Full Text Available In order to rank all decision making units (DMUs on the same basis, this paper proposes a multiobjective programming (MOP model based on a compensatory data envelopment analysis (DEA model to derive a common set of weights that can be used for the full ranking of all DMUs. We first revisit a compensatory DEA model for ranking all units, point out the existing problem for solving the model, and present an improved algorithm for which an approximate global optimal solution of the model can be obtained by solving a sequence of linear programming. Then, we applied the key idea of the compensatory DEA model to develop the MOP model in which the objectives are to simultaneously maximize all common weights under constraints that the sum of efficiency values of all DMUs is equal to unity and the sum of all common weights is also equal to unity. In order to solve the MOP model, we transform it into a single objective programming (SOP model using a fuzzy programming method and solve the SOP model using the proposed approximation algorithm. To illustrate the ranking method using the proposed method, two numerical examples are solved.

Solving a bi-objective mathematical programming model for bloodmobiles location routing problem

Directory of Open Access Journals (Sweden)

Masoud Rabbani

2017-01-01

Full Text Available Perishability of platelets, uncertainty of donors’ arrival and conflicting views in platelet supply chain have made platelet supply chain planning a problematic issue. In this paper, mobile blood collection system for platelet production is investigated. Two mathematical models are presented to cover the bloodmobile collection planning problem. The first model is a multi-objective fuzzy mathematical programming in which the bloodmobiles locations are considered with the aim of maximizing potential amount of blood collection and minimizing the operational cost. The second model is a vehicle routing problem with time windows which studies the shuttles routing problem. To tackle the first model, it is reformulated as a crisp multi objective linear programming model and then solved through a fuzzy multi objective programming approach. Several sensitivity analysis are conducted on important parameters to demonstrate the applicability of the proposed model. The proposed model is then solved by using a tailored Simulated Annealing (SA algorithm. The numerical results demonstrate promising efficiency of the proposed solution method.

PDDP, A Data Parallel Programming Model

Directory of Open Access Journals (Sweden)

Karen H. Warren

1996-01-01

Full Text Available PDDP, the parallel data distribution preprocessor, is a data parallel programming model for distributed memory parallel computers. PDDP implements high-performance Fortran-compatible data distribution directives and parallelism expressed by the use of Fortran 90 array syntax, the FORALL statement, and the WHERE construct. Distributed data objects belong to a global name space; other data objects are treated as local and replicated on each processor. PDDP allows the user to program in a shared memory style and generates codes that are portable to a variety of parallel machines. For interprocessor communication, PDDP uses the fastest communication primitives on each platform.

Transforming PLC Programs into Formal Models for Verification Purposes

CERN Document Server

Darvas, D; Blanco, E

2013-01-01

Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

Time Aquatic Resources Modeling and Analysis Program (STARMAP)

Data.gov (United States)

Federal Laboratory Consortium — Colorado State University has received funding from the U.S. Environmental Protection Agency (EPA) for its Space-Time Aquatic Resources Modeling and Analysis Program...

EvoBuild: A Quickstart Toolkit for Programming Agent-Based Models of Evolutionary Processes

Science.gov (United States)

Wagh, Aditi; Wilensky, Uri

2018-04-01

Extensive research has shown that one of the benefits of programming to learn about scientific phenomena is that it facilitates learning about mechanisms underlying the phenomenon. However, using programming activities in classrooms is associated with costs such as requiring additional time to learn to program or students needing prior experience with programming. This paper presents a class of programming environments that we call quickstart: Environments with a negligible threshold for entry into programming and a modest ceiling. We posit that such environments can provide benefits of programming for learning without incurring associated costs for novice programmers. To make this claim, we present a design-based research study conducted to compare programming models of evolutionary processes with a quickstart toolkit with exploring pre-built models of the same processes. The study was conducted in six seventh grade science classes in two schools. Students in the programming condition used EvoBuild, a quickstart toolkit for programming agent-based models of evolutionary processes, to build their NetLogo models. Students in the exploration condition used pre-built NetLogo models. We demonstrate that although students came from a range of academic backgrounds without prior programming experience, and all students spent the same number of class periods on the activities including the time students took to learn programming in this environment, EvoBuild students showed greater learning about evolutionary mechanisms. We discuss the implications of this work for design research on programming environments in K-12 science education.

Simulation model for wind energy storage systems. Volume III. Program descriptions. [SIMWEST CODE

Energy Technology Data Exchange (ETDEWEB)

Warren, A.W.; Edsinger, R.W.; Burroughs, J.D.

1977-08-01

The effort developed a comprehensive computer program for the modeling of wind energy/storage systems utilizing any combination of five types of storage (pumped hydro, battery, thermal, flywheel and pneumatic). An acronym for the program is SIMWEST (Simulation Model for Wind Energy Storage). The level of detail of SIMWEST is consistent with a role of evaluating the economic feasibility as well as the general performance of wind energy systems. The software package consists of two basic programs and a library of system, environmental, and load components. Volume III, the SIMWEST program description contains program descriptions, flow charts and program listings for the SIMWEST Model Generation Program, the Simulation program, the File Maintenance program and the Printer Plotter program. Volume III generally would not be required by SIMWEST user.

Appplication of a general fluid mechanics program to NTP system modeling

International Nuclear Information System (INIS)

Lee, S.K.

1993-01-01

An effort is currently underway at NASA and the Department of Energy (DOE) to develop an accurate model for predicting nuclear thermal propulsion (NTP) system performance. The objective of the effort is to develop several levels of computer programs which vary in detail and complexity according to user's needs. The current focus is on the Level 1 steady-state, parametric system model. This system model will combine a general fluid mechanics program, SAFSIM, with the ability to analyze turbines, pumps, nozzles, and reactor physics. SAFSIM (System Analysis Flow SIMulator) is a FORTRAN computer program that simulates integrated performance of systems involving fluid mechanics, heat transfer, and reactor dynamics. SAFSIM has the versatility to allow simulation of almost any system, including a nuclear reactor system. The focus of this paper is the validation of SAFSIM's capabilities as a base computational engine for a nuclear thermal propulsion system model. Validation is being accomplished by modeling of a nuclear engine test using SAFSIM and comparing the results to known experimental data

The Use of Molecular Modeling Programs in Medicinal Chemistry Instruction.

Science.gov (United States)

Harrold, Marc W.

1992-01-01

This paper describes and evaluates the use of a molecular modeling computer program (Alchemy II) in a pharmaceutical education program. Provided are the hardware requirements and basic program features as well as several examples of how this program and its features have been applied in the classroom. (GLR)

Comparison of Building Energy Modeling Programs: Building Loads

Energy Technology Data Exchange (ETDEWEB)

Zhu, Dandan [Tsinghua Univ., Beijing (China); Hong, Tianzhen [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Yan, Da [Tsinghua Univ., Beijing (China); Wang, Chuang [Tsinghua Univ., Beijing (China)

2012-06-01

This technical report presented the methodologies, processes, and results of comparing three Building Energy Modeling Programs (BEMPs) for load calculations: EnergyPlus, DeST and DOE-2.1E. This joint effort, between Lawrence Berkeley National Laboratory, USA and Tsinghua University, China, was part of research projects under the US-China Clean Energy Research Center on Building Energy Efficiency (CERC-BEE). Energy Foundation, an industrial partner of CERC-BEE, was the co-sponsor of this study work. It is widely known that large discrepancies in simulation results can exist between different BEMPs. The result is a lack of confidence in building simulation amongst many users and stakeholders. In the fields of building energy code development and energy labeling programs where building simulation plays a key role, there are also confusing and misleading claims that some BEMPs are better than others. In order to address these problems, it is essential to identify and understand differences between widely-used BEMPs, and the impact of these differences on load simulation results, by detailed comparisons of these BEMPs from source code to results. The primary goal of this work was to research methods and processes that would allow a thorough scientific comparison of the BEMPs. The secondary goal was to provide a list of strengths and weaknesses for each BEMP, based on in-depth understandings of their modeling capabilities, mathematical algorithms, advantages and limitations. This is to guide the use of BEMPs in the design and retrofit of buildings, especially to support China’s building energy standard development and energy labeling program. The research findings could also serve as a good reference to improve the modeling capabilities and applications of the three BEMPs. The methodologies, processes, and analyses employed in the comparison work could also be used to compare other programs. The load calculation method of each program was analyzed and compared to

MAGDM linear-programming models with distinct uncertain preference structures.

Science.gov (United States)

Xu, Zeshui S; Chen, Jian

2008-10-01

Group decision making with preference information on alternatives is an interesting and important research topic which has been receiving more and more attention in recent years. The purpose of this paper is to investigate multiple-attribute group decision-making (MAGDM) problems with distinct uncertain preference structures. We develop some linear-programming models for dealing with the MAGDM problems, where the information about attribute weights is incomplete, and the decision makers have their preferences on alternatives. The provided preference information can be represented in the following three distinct uncertain preference structures: 1) interval utility values; 2) interval fuzzy preference relations; and 3) interval multiplicative preference relations. We first establish some linear-programming models based on decision matrix and each of the distinct uncertain preference structures and, then, develop some linear-programming models to integrate all three structures of subjective uncertain preference information provided by the decision makers and the objective information depicted in the decision matrix. Furthermore, we propose a simple and straightforward approach in ranking and selecting the given alternatives. It is worth pointing out that the developed models can also be used to deal with the situations where the three distinct uncertain preference structures are reduced to the traditional ones, i.e., utility values, fuzzy preference relations, and multiplicative preference relations. Finally, we use a practical example to illustrate in detail the calculation process of the developed approach.

A Compromise Programming Model for Highway Maintenance Resources Allocation Problem

Directory of Open Access Journals (Sweden)

Hui Xiong

2012-01-01

Full Text Available This paper formulates a bilevel compromise programming model for allocating resources between pavement and bridge deck maintenances. The first level of the model aims to solve the resource allocation problems for pavement management and bridge deck maintenance, without considering resource sharing between them. At the second level, the model uses the results from the first step as an input and generates the final solution to the resource-sharing problem. To solve the model, the paper applies genetic algorithms to search for the optimal solution. We use a combination of two digits to represent different maintenance types. Results of numerical examples show that the conditions of both pavements and bridge decks are improved significantly by applying compromise programming, rather than conventional methods. Resources are also utilized more efficiently when the proposed method is applied.

Educational Program Evaluation Model, From the Perspective of the New Theories

Directory of Open Access Journals (Sweden)

Soleiman Ahmady

2014-05-01

Full Text Available Introduction: This study is focused on common theories that influenced the history of program evaluation and introduce the educational program evaluation proposal format based on the updated theory. Methods: Literature searches were carried out in March-December 2010 with a combination of key words, MeSH terms and other free text terms as suitable for the purpose. A comprehensive search strategy was developed to search Medline by the PubMed interface, ERIC (Education Resources Information Center and the main journal of medical education regarding current evaluation models and theories. We included all study designs in our study. We found 810 articles related to our topic, and finally 63 with the full text article included. We compared documents and used expert consensus for selection the best model. Results: We found that the complexity theory using logic model suggests compatible evaluation proposal formats, especially with new medical education programs. Common components of a logic model are: situation, inputs, outputs, and outcomes that our proposal format is based on. Its contents are: title page, cover letter, situation and background, introduction and rationale, project description, evaluation design, evaluation methodology, reporting, program evaluation management, timeline, evaluation budget based on the best evidences, and supporting documents. Conclusion: We found that the logic model is used for evaluation program planning in many places, but more research is needed to see if it is suitable for our context.

Model-based problem solving through symbolic regression via pareto genetic programming

NARCIS (Netherlands)

Vladislavleva, E.

2008-01-01

Pareto genetic programming methodology is extended by additional generic model selection and generation strategies that (1) drive the modeling engine to creation of models of reduced non-linearity and increased generalization capabilities, and (2) improve the effectiveness of the search for robust

An approach for evaluating utility-financed energy conservation programs. The economic welfare model

Energy Technology Data Exchange (ETDEWEB)

Costello, K W; Galen, P S

1985-09-01

The main objective of this paper is to illustrate how the economic welfare model may be used to measure the economic efficiency effects of utility-financed energy conservation programs. The economic welfare model is the theoretical structure that was used in this paper to develop a cost/benefit test. This test defines the net benefit of a conservation program as the change in the sum of consumer and producer surplus. The authors advocate the operation of the proposed cost/benefit model as a screening tool to eliminate from more detailed review those programs where the expected net benefits are less than zero. The paper presents estimates of the net benefit derived from different specified cost/benefit models for four illustrative pilot programs. These models are representative of those which have been applied or are under review by utilities and public utility commissions. From the numerical results, it is shown that net benefit is greatly affected by the assumptions made about the nature of welfare gains to program participants. The main conclusion that emerges from the numerical results is that the selection of a cost/benefit model is a crucial element in evaluating utility-financed energy conservation programs. The paper also briefly addresses some of the major unresolved issues in utility-financed energy conservation programs. 2 figs., 3 tabs., 10 refs. (A.V.)

Stochastic Fractional Programming Approach to a Mean and Variance Model of a Transportation Problem

Directory of Open Access Journals (Sweden)

V. Charles

2011-01-01

Full Text Available In this paper, we propose a stochastic programming model, which considers a ratio of two nonlinear functions and probabilistic constraints. In the former, only expected model has been proposed without caring variability in the model. On the other hand, in the variance model, the variability played a vital role without concerning its counterpart, namely, the expected model. Further, the expected model optimizes the ratio of two linear cost functions where as variance model optimize the ratio of two non-linear functions, that is, the stochastic nature in the denominator and numerator and considering expectation and variability as well leads to a non-linear fractional program. In this paper, a transportation model with stochastic fractional programming (SFP problem approach is proposed, which strikes the balance between previous models available in the literature.

Model Pembelajaran Neurolinguistic Programming Berorientasi Karakter Bagi Peningkatan Kemampuan Menulis Siswa SMP

OpenAIRE

-, Wikanengsih

2013-01-01

Abstract: Character-oriented Learning Model of Neurolinguistic-Programming to Improve Writing Ability. This mixed-method study aims to determine the effectiveness of character-oriented learning model of neurolinguistic programming (NLP) in improving students' writing ability. Employing a sequential exploratory strategy, this study began the first phase, which was qualitative in nature, to generate the hypo­thetical learning model. The second phase, which was quantitative, was a pilot applicat...

The Bridges SOI Model School Program at Palo Verde School, Palo Verde, Arizona.

Science.gov (United States)

Stock, William A.; DiSalvo, Pamela M.

The Bridges SOI Model School Program is an educational service based upon the SOI (Structure of Intellect) Model School curriculum. For the middle seven months of the academic year, all students in the program complete brief daily exercises that develop specific cognitive skills delineated in the SOI model. Additionally, intensive individual…

Resource allocation decision modeling for a Louisiana Public Benefit Fund program

International Nuclear Information System (INIS)

Kaiser, Mark J.; Pulsipher, Allan G.

2003-01-01

A simulation model is developed to value energy efficiency improvement programs in Louisiana proposed to be delivered through a Public Benefits Fund. A uniform 1 mill/kW h non-bypassable surcharge on the electric rates of all electricity users is proposed to be distributed for low-income bill assistance, low-income weatherization, and energy efficiency programs across the residential and commercial sector of Louisiana. The economic and environmental impact of the energy improvement programs is coupled to a stochastic linear program to specify the resource allocation subject to policy and system constraints. The model is illustrated through a realistic policy scenario. (Author)

Molecular analysis of the replication program in unicellular model organisms.

Science.gov (United States)

Raghuraman, M K; Brewer, Bonita J

2010-01-01

Eukaryotes have long been reported to show temporal programs of replication, different portions of the genome being replicated at different times in S phase, with the added possibility of developmentally regulated changes in this pattern depending on species and cell type. Unicellular model organisms, primarily the budding yeast Saccharomyces cerevisiae, have been central to our current understanding of the mechanisms underlying the regulation of replication origins and the temporal program of replication in particular. But what exactly is a temporal program of replication, and how might it arise? In this article, we explore this question, drawing again on the wealth of experimental information in unicellular model organisms.

Modeling and prioritizing demand response programs in power markets

International Nuclear Information System (INIS)

Aalami, H.A.; Moghaddam, M. Parsa; Yousefi, G.R.

2010-01-01

One of the responsibilities of power market regulator is setting rules for selecting and prioritizing demand response (DR) programs. There are many different alternatives of DR programs for improving load profile characteristics and achieving customers' satisfaction. Regulator should find the optimal solution which reflects the perspectives of each DR stakeholder. Multi Attribute Decision Making (MADM) is a proper method for handling such optimization problems. In this paper, an extended responsive load economic model is developed. The model is based on price elasticity and customer benefit function. Prioritizing of DR programs can be realized by means of Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method. Considerations of ISO/utility/customer regarding the weighting of attributes are encountered by entropy method. An Analytical Hierarchy Process (AHP) is used for selecting the most effective DR program. Numerical studies are conducted on the load curve of the Iranian power grid in 2007. (author)

Solving seismological problems using sgraph program: II-waveform modeling

International Nuclear Information System (INIS)

Abdelwahed, Mohamed F.

2012-01-01

One of the seismological programs to manipulate seismic data is SGRAPH program. It consists of integrated tools to perform advanced seismological techniques. SGRAPH is considered a new system for maintaining and analyze seismic waveform data in a stand-alone Windows-based application that manipulate a wide range of data formats. SGRAPH was described in detail in the first part of this paper. In this part, I discuss the advanced techniques including in the program and its applications in seismology. Because of the numerous tools included in the program, only SGRAPH is sufficient to perform the basic waveform analysis and to solve advanced seismological problems. In the first part of this paper, the application of the source parameters estimation and hypocentral location was given. Here, I discuss SGRAPH waveform modeling tools. This paper exhibits examples of how to apply the SGRAPH tools to perform waveform modeling for estimating the focal mechanism and crustal structure of local earthquakes.

Evaluation model applied to TRANSPETRO's Marine Terminals Standardization Program

Energy Technology Data Exchange (ETDEWEB)

Almeida, Maria Fatima Ludovico de; Mueller, Gabriela [Pontificia Universidade Catolica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, RJ (Brazil). Instituto Tecnologico; Garcia, Luciano Maldonado [TRANSPETRO - PETROBRAS Transporte S.A., Rio de Janeiro, RJ (Brazil)

2009-07-01

This paper describes an innovative evaluation model applied to TRANSPETRO's 'Marine Terminals Standardization Program' based on updating approaches of programs evaluation and organizational learning. Since the program was launched in 2004, the need for having an evaluation model able to evaluate its implementation progress, to measure the degree of standards compliance and its potential economic, social and environmental impacts has become evident. Within a vision of safe and environmentally responsible operations of marine terminals, this evaluation model was jointly designed by TRANSPETRO and PUC-Rio to promote continuous improvement and learning in operational practices and in the standardization process itself. TRANSPETRO believes that standardization supports its services and management innovation capability by creating objective and internationally recognized parameters, targets and metrology for its business activities. The conceptual model and application guidelines for this important tool are presented in this paper, as well as the next steps towards its implementation. (author)

Understanding science teacher enhancement programs: Essential components and a model

Science.gov (United States)

Spiegel, Samuel Albert

Researchers and practioners alike recognize that "the national goal that every child in the United States has access to high-quality school education in science and mathematics cannot be realized without the availability of effective professional development of teachers" (Hewson, 1997, p. 16). Further, there is a plethora of reports calling for the improvement of professional development efforts (Guskey & Huberman, 1995; Kyle, 1995; Loucks-Horsley, Hewson, Love, & Stiles, 1997). In this study I analyze a successful 3-year teacher enhancement program, one form of professional development, to: (1) identify essential components of an effective teacher enhancement program; and (2) create a model to identify and articulate the critical issues in designing, implementing, and evaluating teacher enhancement programs. Five primary sources of information were converted into data: (1) exit questionnaires, (2) exit surveys, (3) exit interview transcripts, (4) focus group transcripts, and (5) other artifacts. Additionally, a focus group was used to conduct member checks. Data were analyzed in an iterative process which led to the development of the list of essential components. The Components are categorized by three organizers: Structure (e.g., science research experience, a mediator throughout the program), Context (e.g., intensity, collaboration), and Participant Interpretation (e.g., perceived to be "safe" to examine personal beliefs and practices, actively engaged). The model is based on: (1) a 4-year study of a successful teacher enhancement program; (2) an analysis of professional development efforts reported in the literature; and (3) reflective discussions with implementors, evaluators, and participants of professional development programs. The model consists of three perspectives, cognitive, symbolic interaction, and organizational, representing different viewpoints from which to consider issues relevant to the success of a teacher enhancement program. These

Summary of multi-core hardware and programming model investigations

Energy Technology Data Exchange (ETDEWEB)

Kelly, Suzanne Marie; Pedretti, Kevin Thomas Tauke; Levenhagen, Michael J.

2008-05-01

This report summarizes our investigations into multi-core processors and programming models for parallel scientific applications. The motivation for this study was to better understand the landscape of multi-core hardware, future trends, and the implications on system software for capability supercomputers. The results of this study are being used as input into the design of a new open-source light-weight kernel operating system being targeted at future capability supercomputers made up of multi-core processors. A goal of this effort is to create an agile system that is able to adapt to and efficiently support whatever multi-core hardware and programming models gain acceptance by the community.

User Delay Cost Model and Facilities Maintenance Cost Model for a Terminal Control Area : Volume 3. User's Manual and Program Documentation for the Facilities Maintenance Cost Model

Science.gov (United States)

1978-05-01

The Facilities Maintenance Cost Model (FMCM) is an analytic model designed to calculate expected annual labor costs of maintenance within a given FAA maintenance sector. The model is programmed in FORTRAN IV and has been demonstrated on the CDC Krono...

Visual Environment for Rich Data Interpretation (VERDI) program for environmental modeling systems

Science.gov (United States)

VERDI is a flexible, modular, Java-based program used for visualizing multivariate gridded meteorology, emissions and air quality modeling data created by environmental modeling systems such as the CMAQ model and WRF.

MaMR: High-performance MapReduce programming model for material cloud applications

Science.gov (United States)

Jing, Weipeng; Tong, Danyu; Wang, Yangang; Wang, Jingyuan; Liu, Yaqiu; Zhao, Peng

2017-02-01

With the increasing data size in materials science, existing programming models no longer satisfy the application requirements. MapReduce is a programming model that enables the easy development of scalable parallel applications to process big data on cloud computing systems. However, this model does not directly support the processing of multiple related data, and the processing performance does not reflect the advantages of cloud computing. To enhance the capability of workflow applications in material data processing, we defined a programming model for material cloud applications that supports multiple different Map and Reduce functions running concurrently based on hybrid share-memory BSP called MaMR. An optimized data sharing strategy to supply the shared data to the different Map and Reduce stages was also designed. We added a new merge phase to MapReduce that can efficiently merge data from the map and reduce modules. Experiments showed that the model and framework present effective performance improvements compared to previous work.

Demand response modeling considering Interruptible/Curtailable loads and capacity market programs

International Nuclear Information System (INIS)

Aalami, H.A.; Moghaddam, M. Parsa; Yousefi, G.R.

2010-01-01

Recently, a massive focus has been made on demand response (DR) programs, aimed to electricity price reduction, transmission lines congestion resolving, security enhancement and improvement of market liquidity. Basically, demand response programs are divided into two main categories namely, incentive-based programs and time-based programs. The focus of this paper is on Interruptible/Curtailable service (I/C) and capacity market programs (CAP), which are incentive-based demand response programs including penalties for customers in case of no responding to load reduction. First, by using the concept of price elasticity of demand and customer benefit function, economic model of above mentioned programs is developed. The proposed model helps the independent system operator (ISO) to identify and employ relevant DR program which both improves the characteristics of the load curve and also be welcome by customers. To evaluate the performance of the model, simulation study has been conducted using the load curve of the peak day of the Iranian power system grid in 2007. In the numerical study section, the impact of these programs on load shape and load level, and benefit of customers as well as reduction of energy consumption are shown. In addition, by using strategy success indices the results of simulation studies for different scenarios are analyzed and investigated for determination of the scenarios priority. (author)

TET_2MCNP: A conversion program to implement tetrahearal-mesh models in MCNP

International Nuclear Information System (INIS)

Han, Min Cheol; Yeom, Yeon Soo; Nguyen, Thng Tat; Choi, Chan Soo; Lee, Hyun Su; Kim, Chan Hyeong

2016-01-01

Tetrahedral-mesh geometries can be used in the MCNP code, but the MCNP code accepts only the geometry in the Abaqus input file format; hence, the existing tetrahedral-mesh models first need to be converted to the Abacus input file format to be used in the MCNP code. In the present study, we developed a simple but useful computer program, TET_2MCNP, for converting TetGen-generated tetrahedral-mesh models to the Abacus input file format. TET_2MCNP is written in C++ and contains two components: one for converting a TetGen output file to the Abacus input file and the other for the reverse conversion process. The TET_2MCP program also produces an MCNP input file. Further, the program provides some MCNP-specific functions: the maximum number of elements (i.e., tetrahedrons) per part can be limited, and the material density of each element can be transferred to the MCNP input file. To test the developed program, two tetrahedral-mesh models were generated using TetGen and converted to the Abaqus input file format using TET_2MCNP. Subsequently, the converted files were used in the MCNP code to calculate the object- and organ-averaged absorbed dose in the sphere and phantom, respectively. The results show that the converted models provide, within statistical uncertainties, identical dose values to those obtained using the PHITS code, which uses the original tetrahedral-mesh models produced by the TetGen program. The results show that the developed program can successfully convert TetGen tetrahedral-mesh models to Abacus input files. In the present study, we have developed a computer program, TET_2MCNP, which can be used to convert TetGen-generated tetrahedral-mesh models to the Abaqus input file format for use in the MCNP code. We believe this program will be used by many MCNP users for implementing complex tetrahedral-mesh models, including computational human phantoms, in the MCNP code

Using Virtual ATE Model to Migrate Test Programs

Institute of Scientific and Technical Information of China (English)

王晓明; 杨乔林

1995-01-01

Bacause of high development costs of IC (Integrated Circuit)test programs,recycling existing test programs from one kind of ATE (Automatic Test Equipment) to another or generating directly from CAD simulation modules to ATE is more and more valuable.In this paper,a new approach to migrating test programs is presented.A virtual ATE model based on object-oriented paradigm is developed;it runs Test C++ (an intermediate test control language) programs and TeIF(Test Inftermediate Format-an intermediate pattern),migrates test programs among three kinds of ATE (Ando DIC8032,Schlumberger S15 and GenRad 1732) and generates test patterns from two kinds of CAD 9Daisy and Panda) automatically.

Variable thickness transient ground-water flow model. Volume 3. Program listings

International Nuclear Information System (INIS)

Reisenauer, A.E.

1979-12-01

The Assessment of Effectiveness of Geologic Isolation Systems (AEGIS) Program is developing and applying the methodology for assessing the far-field, long-term post-closure safety of deep geologic nuclear waste repositories. AEGIS is being performed by Pacific Northwest Laboratory (PNL) under contract with the Office of Nuclear Waste Isolation (OWNI) for the Department of Energy (DOE). One task within AEGIS is the development of methodology for analysis of the consequences (water pathway) from loss of repository containment as defined by various release scenarios. Analysis of the long-term, far-field consequences of release scenarios requires the application of numerical codes which simulate the hydrologic systems, model the transport of released radionuclides through the hydrologic systems to the biosphere, and, where applicable, assess the radiological dose to humans. Hydrologic and transport models are available at several levels of complexity or sophistication. Model selection and use are determined by the quantity and quality of input data. Model development under AEGIS and related programs provides three levels of hydrologic models, two levels of transport models, and one level of dose models (with several separate models). This is the third of 3 volumes of the description of the VTT (Variable Thickness Transient) Groundwater Hydrologic Model - second level (intermediate complexity) two-dimensional saturated groundwater flow

Modeling and prototyping of biometric systems using dataflow programming

Science.gov (United States)

Minakova, N.; Petrov, I.

2018-01-01

The development of biometric systems is one of the labor-intensive processes. Therefore, the creation and analysis of approaches and techniques is an urgent task at present. This article presents a technique of modeling and prototyping biometric systems based on dataflow programming. The technique includes three main stages: the development of functional blocks, the creation of a dataflow graph and the generation of a prototype. A specially developed software modeling environment that implements this technique is described. As an example of the use of this technique, an example of the implementation of the iris localization subsystem is demonstrated. A variant of modification of dataflow programming is suggested to solve the problem related to the undefined order of block activation. The main advantage of the presented technique is the ability to visually display and design the model of the biometric system, the rapid creation of a working prototype and the reuse of the previously developed functional blocks.

NLOM - a program for nonlocal optical model calculations

International Nuclear Information System (INIS)

Kim, B.T.; Kyum, M.C.; Hong, S.W.; Park, M.H.; Udagawa, T.

1992-01-01

A FORTRAN program NLOM for nonlocal optical model calculations is described. It is based on a method recently developed by Kim and Udagawa, which utilizes the Lanczos technique for solving integral equations derived from the nonlocal Schroedinger equation. (orig.)

Integration of a Multizone Airflow Model into a Thermalsimulation Program

DEFF Research Database (Denmark)

Jensen, Rasmus Lund; Sørensen, Karl Grau; Heiselberg, Per

2007-01-01

An existing computer model for dynamic hygrothermal analysis of buildings has been extended with a multizone airflow model based on loop equations to account for the coupled thermal and airflow in natural and hybrid ventilated buildings. In water distribution network and related fields loop...... a methodology adopted from water distribution network that automatically sets up the independent loops and is easy to implement into a computer program. Finally an example of verification of the model is given which demonstrates the ability of the models to accurately predict the airflow of a simple multizone...

Coping modeling problem solving versus mastery modeling: effects on adherence, in-session process, and skill acquisition in a residential parent-training program.

Science.gov (United States)

Cunningham, C E; Davis, J R; Bremner, R; Dunn, K W; Rzasa, T

1993-10-01

This trial compared two approaches used to introduce parenting skills in a residential staff training program. Fifty staff were randomly assigned to: mastery modelling in which videotaped models demonstrated new skills, coping modelling problem solving (CMPS) in which participants formulated their own solutions to the errors depicted by videotaped models, or a waiting-list control group. In both, leaders used modelling, role playing, and homework projects to promote mastery and transfer of new skills. The skills of all groups improved, but CMPS participants attended more sessions, were late to fewer sessions, completed more homework, engaged in more cooperative in-session interaction, rated the program more positively, and reported higher job accomplishment scores. These data suggest that CMPS allowing participants to formulate their own solutions may enhance adherence and reduce the resistance observed in more didactic programs.

A software complex intended for constructing applied models and meta-models on the basis of mathematical programming principles

Directory of Open Access Journals (Sweden)

Михаил Юрьевич Чернышов

2013-12-01

Full Text Available A software complex (SC elaborated by the authors on the basis of the language LMPL and representing a software tool intended for synthesis of applied software models and meta-models constructed on the basis of mathematical programming (MP principles is described. LMPL provides for an explicit form of declarative representation of MP-models, presumes automatic constructing and transformation of models and the capability of adding external software packages. The following software versions of the SC have been implemented: 1 a SC intended for representing the process of choosing an optimal hydroelectric power plant model (on the principles of meta-modeling and 2 a SC intended for representing the logic-sense relations between the models of a set of discourse formations in the discourse meta-model.

76 FR 34712 - Medicare Program; Pioneer Accountable Care Organization Model; Extension of the Submission...

Science.gov (United States)

2011-06-14

... stakeholders to develop initiatives to test innovative payment and service delivery models to reduce program...] Medicare Program; Pioneer Accountable Care Organization Model; Extension of the Submission Deadlines for... of the Pioneer Accountable Care Organization Model letters of intent to June 30, 2011 and the...

An Effective Model of the Retinoic Acid Induced HL-60 Differentiation Program.

Science.gov (United States)

Tasseff, Ryan; Jensen, Holly A; Congleton, Johanna; Dai, David; Rogers, Katharine V; Sagar, Adithya; Bunaciu, Rodica P; Yen, Andrew; Varner, Jeffrey D

2017-10-30

In this study, we present an effective model All-Trans Retinoic Acid (ATRA)-induced differentiation of HL-60 cells. The model describes reinforcing feedback between an ATRA-inducible signalsome complex involving many proteins including Vav1, a guanine nucleotide exchange factor, and the activation of the mitogen activated protein kinase (MAPK) cascade. We decomposed the effective model into three modules; a signal initiation module that sensed and transformed an ATRA signal into program activation signals; a signal integration module that controlled the expression of upstream transcription factors; and a phenotype module which encoded the expression of functional differentiation markers from the ATRA-inducible transcription factors. We identified an ensemble of effective model parameters using measurements taken from ATRA-induced HL-60 cells. Using these parameters, model analysis predicted that MAPK activation was bistable as a function of ATRA exposure. Conformational experiments supported ATRA-induced bistability. Additionally, the model captured intermediate and phenotypic gene expression data. Knockout analysis suggested Gfi-1 and PPARg were critical to the ATRAinduced differentiation program. These findings, combined with other literature evidence, suggested that reinforcing feedback is central to hyperactive signaling in a diversity of cell fate programs.

MODEL PEMBELAJARAN NEUROLINGUISTIC PROGRAMMING BERORIENTASI KARAKTER BAGI PENINGKATAN KEMAMPUAN MENULIS SISWA SMP

Directory of Open Access Journals (Sweden)

Wikanengsih -

2014-06-01

Abstrak: Model Pembelajaran Neurolinguistic Programming Berorientasi Karakter untuk Mening­katkan Kemampuan Menulis Siswa. Penelitian ini bertujuan untuk mengetahui keefektifan model pem­belajaran neurolinguistik programming berorientasi karakter (MPNLPBK terhadap kemampuan menulis siswa. Metode penelitian yang digunakan metode penelitian kombinasi (mixed method jenis sequential exploratory strategy. Hasil penelitian tahap pertama (penelitian kualitatif menghasilkan model pembelajaran hipotetik. Penelitian tahap kedua merupakan uji coba penerapan model hipotetik (penelitian kuantitatif. Hasil pengujian menunjukkan bahwa pembelajaran menulis dengan menggunakan MPNLPBK dapat meningkatkan kemampuan menulis siswa kelompok eksperimen. Selain itu, berdasarkan hasil pengamatan terhadap aspek karakter komunikatif, toleran, tanggungjawab dan kreatif siswa, terdapat perkembangan pada diri siswa untuk setiap aspek tersebut.

Implementing a citizen's DWI reporting program using the Extra Eyes model

Science.gov (United States)

2008-09-01

This manual is a guide for law enforcement agencies and community organizations in creating and implementing a citizens DWI reporting program in their communities modeling the Operation Extra Eyes program. Extra Eyes is a program that engages volu...

A multi-objective programming model for assessment the GHG emissions in MSW management

Energy Technology Data Exchange (ETDEWEB)

Mavrotas, George, E-mail: mavrotas@chemeng.ntua.gr [National Technical University of Athens, Iroon Polytechniou 9, Zografou, Athens, 15780 (Greece); Skoulaxinou, Sotiria [EPEM SA, 141 B Acharnon Str., Athens, 10446 (Greece); Gakis, Nikos [FACETS SA, Agiou Isidorou Str., Athens, 11471 (Greece); Katsouros, Vassilis [Athena Research and Innovation Center, Artemidos 6 and Epidavrou Str., Maroussi, 15125 (Greece); Georgopoulou, Elena [National Observatory of Athens, Thisio, Athens, 11810 (Greece)

2013-09-15

Highlights: • The multi-objective multi-period optimization model. • The solution approach for the generation of the Pareto front with mathematical programming. • The very detailed description of the model (decision variables, parameters, equations). • The use of IPCC 2006 guidelines for landfill emissions (first order decay model) in the mathematical programming formulation. - Abstract: In this study a multi-objective mathematical programming model is developed for taking into account GHG emissions for Municipal Solid Waste (MSW) management. Mathematical programming models are often used for structure, design and operational optimization of various systems (energy, supply chain, processes, etc.). The last twenty years they are used all the more often in Municipal Solid Waste (MSW) management in order to provide optimal solutions with the cost objective being the usual driver of the optimization. In our work we consider the GHG emissions as an additional criterion, aiming at a multi-objective approach. The Pareto front (Cost vs. GHG emissions) of the system is generated using an appropriate multi-objective method. This information is essential to the decision maker because he can explore the trade-offs in the Pareto curve and select his most preferred among the Pareto optimal solutions. In the present work a detailed multi-objective, multi-period mathematical programming model is developed in order to describe the waste management problem. Apart from the bi-objective approach, the major innovations of the model are (1) the detailed modeling considering 34 materials and 42 technologies, (2) the detailed calculation of the energy content of the various streams based on the detailed material balances, and (3) the incorporation of the IPCC guidelines for the CH{sub 4} generated in the landfills (first order decay model). The equations of the model are described in full detail. Finally, the whole approach is illustrated with a case study referring to the

A multi-objective programming model for assessment the GHG emissions in MSW management

International Nuclear Information System (INIS)

Mavrotas, George; Skoulaxinou, Sotiria; Gakis, Nikos; Katsouros, Vassilis; Georgopoulou, Elena

2013-01-01

Highlights: • The multi-objective multi-period optimization model. • The solution approach for the generation of the Pareto front with mathematical programming. • The very detailed description of the model (decision variables, parameters, equations). • The use of IPCC 2006 guidelines for landfill emissions (first order decay model) in the mathematical programming formulation. - Abstract: In this study a multi-objective mathematical programming model is developed for taking into account GHG emissions for Municipal Solid Waste (MSW) management. Mathematical programming models are often used for structure, design and operational optimization of various systems (energy, supply chain, processes, etc.). The last twenty years they are used all the more often in Municipal Solid Waste (MSW) management in order to provide optimal solutions with the cost objective being the usual driver of the optimization. In our work we consider the GHG emissions as an additional criterion, aiming at a multi-objective approach. The Pareto front (Cost vs. GHG emissions) of the system is generated using an appropriate multi-objective method. This information is essential to the decision maker because he can explore the trade-offs in the Pareto curve and select his most preferred among the Pareto optimal solutions. In the present work a detailed multi-objective, multi-period mathematical programming model is developed in order to describe the waste management problem. Apart from the bi-objective approach, the major innovations of the model are (1) the detailed modeling considering 34 materials and 42 technologies, (2) the detailed calculation of the energy content of the various streams based on the detailed material balances, and (3) the incorporation of the IPCC guidelines for the CH 4 generated in the landfills (first order decay model). The equations of the model are described in full detail. Finally, the whole approach is illustrated with a case study referring to the application

Workplace Lactation Programs in Small WIC Service Sites: A Potential Model.

Science.gov (United States)

Angeletti, Michelle A; Llossas, Jose R

2018-03-01

The Special Supplemental Nutrition Program for Women, Infants, and Children (WIC) has an opportunity to protect, promote, and support breastfeeding by implementing and modeling workplace lactation programs in small WIC agencies that may have barriers regarding the lack of both human and financial resources. The goal of this article was to describe effective strategies for agency administrators in small WIC service sites so that they can reduce barriers, successfully implement workplace lactation policies and programs, and model successful strategies for other small employers. Copyright © 2017 Society for Nutrition Education and Behavior. Published by Elsevier Inc. All rights reserved.

Selecting the Best Forecasting-Implied Volatility Model Using Genetic Programming

Directory of Open Access Journals (Sweden)

Wafa Abdelmalek

2009-01-01

Full Text Available The volatility is a crucial variable in option pricing and hedging strategies. The aim of this paper is to provide some initial evidence of the empirical relevance of genetic programming to volatility's forecasting. By using real data from S&P500 index options, the genetic programming's ability to forecast Black and Scholes-implied volatility is compared between time series samples and moneyness-time to maturity classes. Total and out-of-sample mean squared errors are used as forecasting's performance measures. Comparisons reveal that the time series model seems to be more accurate in forecasting-implied volatility than moneyness time to maturity models. Overall, results are strongly encouraging and suggest that the genetic programming approach works well in solving financial problems.

CORCON: a computer program for modelling molten fuel/concrete interactions

International Nuclear Information System (INIS)

Muir, J.F.

1980-01-01

A computer program modelling the interaction between molten core materials and structural concrete is being developed to provide a capability for making quantitative estimates of reactor fuel-melt accidents. The principal phenomenological models, inter-component heat transfer, concrete erosion, and melt/gas chemical reactions, are described. A code test comparison calculation is discussed

User's guide to Model Viewer, a program for three-dimensional visualization of ground-water model results

Science.gov (United States)

Hsieh, Paul A.; Winston, Richard B.

2002-01-01

Model Viewer is a computer program that displays the results of three-dimensional groundwater models. Scalar data (such as hydraulic head or solute concentration) may be displayed as a solid or a set of isosurfaces, using a red-to-blue color spectrum to represent a range of scalar values. Vector data (such as velocity or specific discharge) are represented by lines oriented to the vector direction and scaled to the vector magnitude. Model Viewer can also display pathlines, cells or nodes that represent model features such as streams and wells, and auxiliary graphic objects such as grid lines and coordinate axes. Users may crop the model grid in different orientations to examine the interior structure of the data. For transient simulations, Model Viewer can animate the time evolution of the simulated quantities. The current version (1.0) of Model Viewer runs on Microsoft Windows 95, 98, NT and 2000 operating systems, and supports the following models: MODFLOW-2000, MODFLOW-2000 with the Ground-Water Transport Process, MODFLOW-96, MOC3D (Version 3.5), MODPATH, MT3DMS, and SUTRA (Version 2D3D.1). Model Viewer is designed to directly read input and output files from these models, thus minimizing the need for additional postprocessing. This report provides an overview of Model Viewer. Complete instructions on how to use the software are provided in the on-line help pages.

Development and Implementation of a Program Management Maturity Model

Energy Technology Data Exchange (ETDEWEB)

Hartwig, Laura; Smith, Matt

2008-12-15

In 2006, Honeywell Federal Manufacturing & Technologies (FM&T) announced an updatedvision statement for the organization. The vision is “To be the most admired team within the NNSA [National Nuclear Security Administration] for our relentless drive to convert ideas into the highest quality products and services for National Security by applying the right technology, outstanding program management and best commercial practices.” The challenge to provide outstanding program management was taken up by the Program Management division and the Program Integration Office (PIO) of the company. This article describes how Honeywell developed and deployed a program management maturity model to drive toward excellence.

FMCSA safety program effectiveness measurement : Intervention Model in fiscal year 2007

Science.gov (United States)

2011-04-01

This report presents results from FMCSAs Roadside Intervention Model for fiscal year 2007. The model estimates the number of crashes avoided, as well as injuries avoided and lives saved, as a result of the Agencys roadside inspection program. T...

Thermal models of buildings. Determination of temperatures, heating and cooling loads. Theories, models and computer programs

Energy Technology Data Exchange (ETDEWEB)

Kaellblad, K

1998-05-01

The need to estimate indoor temperatures, heating or cooling load and energy requirements for buildings arises in many stages of a buildings life cycle, e.g. at the early layout stage, during the design of a building and for energy retrofitting planning. Other purposes are to meet the authorities requirements given in building codes. All these situations require good calculation methods. The main purpose of this report is to present the authors work with problems related to thermal models and calculation methods for determination of temperatures and heating or cooling loads in buildings. Thus the major part of the report deals with treatment of solar radiation in glazing systems, shading of solar and sky radiation and the computer program JULOTTA used to simulate the thermal behavior of rooms and buildings. Other parts of thermal models of buildings are more briefly discussed and included in order to give an overview of existing problems and available solutions. A brief presentation of how thermal models can be built up is also given and it is a hope that the report can be useful as an introduction to this part of building physics as well as during development of calculation methods and computer programs. The report may also serve as a help for the users of energy related programs. Independent of which method or program a user choose to work with it is his or her own responsibility to understand the limits of the tool, else wrong conclusions may be drawn from the results 52 refs, 22 figs, 4 tabs

[The model program of psycho-social treatment and staff training].

Science.gov (United States)

Ikebuchi, Emi

2012-01-01

The model program of psycho-social treatment and staff training were reported in this issue. The mission of model program is supporting recovery of persons with mental illness and their family as well as empowering their hope and sense of values. The personal support specialists belonging to multi-disciplinary team have responsibility to support life-long process of recovery across hospitalization, out-patients clinic, day treatment, and outreach service. The shared value of multi-disciplinary team (the community life supporting team) is recovery so that the team renders self directive life, various alternatives of their lives, and peer group with models of recovery to persons with mental illness. There should be several technologies which are used in the team such as engagement, psycho-education, cognitive-behavior therapy, care-management, cooperating with other resources. The responsibility, assessment and evaluation techniques, guarantee of opportunities for training, and auditing system of the team and process of treatment are important factors to educate team staff. Raising effective multi-disciplinary team requires existence of a mentor or good model near the team.

ICU early physical rehabilitation programs: financial modeling of cost savings.

Science.gov (United States)

Lord, Robert K; Mayhew, Christopher R; Korupolu, Radha; Mantheiy, Earl C; Friedman, Michael A; Palmer, Jeffrey B; Needham, Dale M

2013-03-01

To evaluate the potential annual net cost savings of implementing an ICU early rehabilitation program. Using data from existing publications and actual experience with an early rehabilitation program in the Johns Hopkins Hospital Medical ICU, we developed a model of net financial savings/costs and presented results for ICUs with 200, 600, 900, and 2,000 annual admissions, accounting for both conservative- and best-case scenarios. Our example scenario provided a projected financial analysis of the Johns Hopkins Medical ICU early rehabilitation program, with 900 admissions per year, using actual reductions in length of stay achieved by this program. U.S.-based adult ICUs. Financial modeling of the introduction of an ICU early rehabilitation program. Net cost savings generated in our example scenario, with 900 annual admissions and actual length of stay reductions of 22% and 19% for the ICU and floor, respectively, were $817,836. Sensitivity analyses, which used conservative- and best-case scenarios for length of stay reductions and varied the per-day ICU and floor costs, across ICUs with 200-2,000 annual admissions, yielded financial projections ranging from -$87,611 (net cost) to $3,763,149 (net savings). Of the 24 scenarios included in these sensitivity analyses, 20 (83%) demonstrated net savings, with a relatively small net cost occurring in the remaining four scenarios, mostly when simultaneously combining the most conservative assumptions. A financial model, based on actual experience and published data, projects that investment in an ICU early rehabilitation program can generate net financial savings for U.S. hospitals. Even under the most conservative assumptions, the projected net cost of implementing such a program is modest relative to the substantial improvements in patient outcomes demonstrated by ICU early rehabilitation programs.

The effect of workload constraints in linear programming models for production planning

NARCIS (Netherlands)

Jansen, M.M.; Kok, de A.G.; Adan, I.J.B.F.

2011-01-01

Linear programming (LP) models for production planning incorporate a model of the manufacturing system that is necessarily deterministic. Although these deterministic models are the current state-of-the-art, it should be recognized that they are used in an environment that is inherently stochastic.

The effect of workload constraints in mathematical programming models for production planning

NARCIS (Netherlands)

Jansen, M.M.; Kok, de A.G.; Adan, I.J.B.F.

2010-01-01

Linear and mixed integer programming models for production planning incorporate a model of the manufacturing system that is necessarily deterministic. Although these eterministic models are the current-state-of-art, it should be recognized that they are used in an environment that is inherently

ModelMate - A graphical user interface for model analysis

Science.gov (United States)

Banta, Edward R.

2011-01-01

ModelMate is a graphical user interface designed to facilitate use of model-analysis programs with models. This initial version of ModelMate supports one model-analysis program, UCODE_2005, and one model software program, MODFLOW-2005. ModelMate can be used to prepare input files for UCODE_2005, run UCODE_2005, and display analysis results. A link to the GW_Chart graphing program facilitates visual interpretation of results. ModelMate includes capabilities for organizing directories used with the parallel-processing capabilities of UCODE_2005 and for maintaining files in those directories to be identical to a set of files in a master directory. ModelMate can be used on its own or in conjunction with ModelMuse, a graphical user interface for MODFLOW-2005 and PHAST.

Modeling Clinic for Industrial Mathematics: A Collaborative Project Under Erasmus+ Program

DEFF Research Database (Denmark)

Jurlewicz, Agnieszka; Nunes, Claudia; Russo, Giovanni

2018-01-01

Modeling Clinic for Industrial Mathematics (MODCLIM) is a Strategic Partnership for the Development of Training Workshops and Modeling Clinic for Industrial Mathematics, funded through the European Commission under the Erasmus Plus Program, Key Action 2: Cooperation for innovation and the exchang...

Logic Models for Program Design, Implementation, and Evaluation: Workshop Toolkit. REL 2015-057

Science.gov (United States)

Shakman, Karen; Rodriguez, Sheila M.

2015-01-01

The Logic Model Workshop Toolkit is designed to help practitioners learn the purpose of logic models, the different elements of a logic model, and the appropriate steps for developing and using a logic model for program evaluation. Topics covered in the sessions include an overview of logic models, the elements of a logic model, an introduction to…

A Comparison of Four Software Programs for Implementing Decision Analytic Cost-Effectiveness Models.

Science.gov (United States)

Hollman, Chase; Paulden, Mike; Pechlivanoglou, Petros; McCabe, Christopher

2017-08-01

The volume and technical complexity of both academic and commercial research using decision analytic modelling has increased rapidly over the last two decades. The range of software programs used for their implementation has also increased, but it remains true that a small number of programs account for the vast majority of cost-effectiveness modelling work. We report a comparison of four software programs: TreeAge Pro, Microsoft Excel, R and MATLAB. Our focus is on software commonly used for building Markov models and decision trees to conduct cohort simulations, given their predominance in the published literature around cost-effectiveness modelling. Our comparison uses three qualitative criteria as proposed by Eddy et al.: "transparency and validation", "learning curve" and "capability". In addition, we introduce the quantitative criterion of processing speed. We also consider the cost of each program to academic users and commercial users. We rank the programs based on each of these criteria. We find that, whilst Microsoft Excel and TreeAge Pro are good programs for educational purposes and for producing the types of analyses typically required by health technology assessment agencies, the efficiency and transparency advantages of programming languages such as MATLAB and R become increasingly valuable when more complex analyses are required.

A visual LISP program for voxelizing AutoCAD solid models

Science.gov (United States)

Marschallinger, Robert; Jandrisevits, Carmen; Zobl, Fritz

2015-01-01

AutoCAD solid models are increasingly recognized in geological and geotechnical 3D modeling. In order to bridge the currently existing gap between AutoCAD solid models and the grid modeling realm, a Visual LISP program is presented that converts AutoCAD solid models into voxel arrays. Acad2Vox voxelizer works on a 3D-model that is made up of arbitrary non-overlapping 3D-solids. After definition of the target voxel array geometry, 3D-solids are scanned at grid positions and properties are streamed to an ASCII output file. Acad2Vox has a novel voxelization strategy that combines a hierarchical reduction of sampling dimensionality with an innovative use of AutoCAD-specific methods for a fast and memory-saving operation. Acad2Vox provides georeferenced, voxelized analogs of 3D design data that can act as regions-of-interest in later geostatistical modeling and simulation. The Supplement includes sample geological solid models with instructions for practical work with Acad2Vox.

Wavelet-linear genetic programming: A new approach for modeling monthly streamflow

Science.gov (United States)

Ravansalar, Masoud; Rajaee, Taher; Kisi, Ozgur

2017-06-01

The streamflows are important and effective factors in stream ecosystems and its accurate prediction is an essential and important issue in water resources and environmental engineering systems. A hybrid wavelet-linear genetic programming (WLGP) model, which includes a discrete wavelet transform (DWT) and a linear genetic programming (LGP) to predict the monthly streamflow (Q) in two gauging stations, Pataveh and Shahmokhtar, on the Beshar River at the Yasuj, Iran were used in this study. In the proposed WLGP model, the wavelet analysis was linked to the LGP model where the original time series of streamflow were decomposed into the sub-time series comprising wavelet coefficients. The results were compared with the single LGP, artificial neural network (ANN), a hybrid wavelet-ANN (WANN) and Multi Linear Regression (MLR) models. The comparisons were done by some of the commonly utilized relevant physical statistics. The Nash coefficients (E) were found as 0.877 and 0.817 for the WLGP model, for the Pataveh and Shahmokhtar stations, respectively. The comparison of the results showed that the WLGP model could significantly increase the streamflow prediction accuracy in both stations. Since, the results demonstrate a closer approximation of the peak streamflow values by the WLGP model, this model could be utilized for the simulation of cumulative streamflow data prediction in one month ahead.

A Goal Programming Model for the Siting of Multilevel EMS Systems.

Science.gov (United States)

1980-03-01

Management," unpublished Ph.D. thesis, University of Texas, Austin, Texas, 1971. -23- (11) Daskin , M. and E. Stern, " A Multiobjective Set Covering...GOAL PROGRAM4MING MODEL FOR THE SITING OF MULTILEVEL EMS SYSTE-ETC(U) UNM1AR 80 A CHARNES, J E STORBECK N000iA-75-C-569 WICLASSIFIED CCS-366 N...366 A GOAL PROGRAMMING MODEL FOR THE SITING OF MULTILEVEL EMS SYSTEMS by A . Charnes J. Storbeck March 1980 This project was partially supported by

Original article Rehabilitation model program for seriously ill patients

Directory of Open Access Journals (Sweden)

Adrienne Kegye

2014-10-01

Full Text Available Background Patients receiving cancer treatment start lifestyle changes mostly at the end of the treatment during the rehabilitation period. Most often, the first step is a dietary change and physical exercises built into the daily routine. Patients who do this in groups led by qualified therapists and based on professional counseling can build more effective and more permanent changes into their life. To develop a complex rehabilitation program which, in the short term, aims to familiarize patients with a lifestyle which harmonizes the physical, mental, spiritual and social spheres of life and, in the long term, to build it into their everyday life in order to ameliorate the physical and mental state and reduce the psychological symptoms and the isolation of patients. The physical component focuses on diet and exercise. The psycho-social-spiritual support focuses on discovering inner sources of strength, developing active coping mechanisms and helping to achieve more open communication. Participants and procedure In February and March 2011, 8 patients treated for malignant tumors participated in the model program. The components of the model program were psychotherapy, physiotherapy, cancer consultation, nutrition counseling, creative activities and walking. Results During the period of the model program the isolation of the patients decreased and their social support and ability of coping with the illness ameliorated. They reported an ease in anxiety and depression in their everyday activities. According to feedback, their communication with each other, with the staff and with their relatives became more open. Altogether this had advantageous effects on the functioning of the ward and the mood of the staff. Conclusions The rehabilitation program confirmed that beside individual psycho-social support, beneficial and economic psycho-social support can be provided for the patients in group form along with the most effective assignment of the

A Programming Model for Massive Data Parallelism with Data Dependencies

International Nuclear Information System (INIS)

Cui, Xiaohui; Mueller, Frank; Potok, Thomas E.; Zhang, Yongpeng

2009-01-01

Accelerating processors can often be more cost and energy effective for a wide range of data-parallel computing problems than general-purpose processors. For graphics processor units (GPUs), this is particularly the case when program development is aided by environments such as NVIDIA s Compute Unified Device Architecture (CUDA), which dramatically reduces the gap between domain-specific architectures and general purpose programming. Nonetheless, general-purpose GPU (GPGPU) programming remains subject to several restrictions. Most significantly, the separation of host (CPU) and accelerator (GPU) address spaces requires explicit management of GPU memory resources, especially for massive data parallelism that well exceeds the memory capacity of GPUs. One solution to this problem is to transfer data between the GPU and host memories frequently. In this work, we investigate another approach. We run massively data-parallel applications on GPU clusters. We further propose a programming model for massive data parallelism with data dependencies for this scenario. Experience from micro benchmarks and real-world applications shows that our model provides not only ease of programming but also significant performance gains

More scalability, less pain: A simple programming model and its implementation for extreme computing

International Nuclear Information System (INIS)

Lusk, E.L.; Pieper, S.C.; Butler, R.M.

2010-01-01

This is the story of a simple programming model, its implementation for extreme computing, and a breakthrough in nuclear physics. A critical issue for the future of high-performance computing is the programming model to use on next-generation architectures. Described here is a promising approach: program very large machines by combining a simplified programming model with a scalable library implementation. The presentation takes the form of a case study in nuclear physics. The chosen application addresses fundamental issues in the origins of our Universe, while the library developed to enable this application on the largest computers may have applications beyond this one.

Program Package for 3d PIC Model of Plasma Fiber

Science.gov (United States)

Kulhánek, Petr; Břeň, David

2007-08-01

A fully three dimensional Particle in Cell model of the plasma fiber had been developed. The code is written in FORTRAN 95, implementation CVF (Compaq Visual Fortran) under Microsoft Visual Studio user interface. Five particle solvers and two field solvers are included in the model. The solvers have relativistic and non-relativistic variants. The model can deal both with periodical and non-periodical boundary conditions. The mechanism of the surface turbulences generation in the plasma fiber was successfully simulated with the PIC program package.

TET{sub 2}MCNP: A conversion program to implement tetrahearal-mesh models in MCNP

Energy Technology Data Exchange (ETDEWEB)

Han, Min Cheol; Yeom, Yeon Soo; Nguyen, Thng Tat; Choi, Chan Soo; Lee, Hyun Su; Kim, Chan Hyeong [Dept. of Nuclear Engineering, Hanyang University, Seoul (Korea, Republic of)

2016-12-15

Tetrahedral-mesh geometries can be used in the MCNP code, but the MCNP code accepts only the geometry in the Abaqus input file format; hence, the existing tetrahedral-mesh models first need to be converted to the Abacus input file format to be used in the MCNP code. In the present study, we developed a simple but useful computer program, TET{sub 2}MCNP, for converting TetGen-generated tetrahedral-mesh models to the Abacus input file format. TET{sub 2}MCNP is written in C++ and contains two components: one for converting a TetGen output file to the Abacus input file and the other for the reverse conversion process. The TET{sub 2}MCP program also produces an MCNP input file. Further, the program provides some MCNP-specific functions: the maximum number of elements (i.e., tetrahedrons) per part can be limited, and the material density of each element can be transferred to the MCNP input file. To test the developed program, two tetrahedral-mesh models were generated using TetGen and converted to the Abaqus input file format using TET{sub 2}MCNP. Subsequently, the converted files were used in the MCNP code to calculate the object- and organ-averaged absorbed dose in the sphere and phantom, respectively. The results show that the converted models provide, within statistical uncertainties, identical dose values to those obtained using the PHITS code, which uses the original tetrahedral-mesh models produced by the TetGen program. The results show that the developed program can successfully convert TetGen tetrahedral-mesh models to Abacus input files. In the present study, we have developed a computer program, TET{sub 2}MCNP, which can be used to convert TetGen-generated tetrahedral-mesh models to the Abaqus input file format for use in the MCNP code. We believe this program will be used by many MCNP users for implementing complex tetrahedral-mesh models, including computational human phantoms, in the MCNP code.

Hybrid programming model for implicit PDE simulations on multicore architectures

KAUST Repository

Kaushik, Dinesh; Keyes, David E.; Balay, Satish; Smith, Barry F.

2011-01-01

The complexity of programming modern multicore processor based clusters is rapidly rising, with GPUs adding further demand for fine-grained parallelism. This paper analyzes the performance of the hybrid (MPI+OpenMP) programming model in the context of an implicit unstructured mesh CFD code. At the implementation level, the effects of cache locality, update management, work division, and synchronization frequency are studied. The hybrid model presents interesting algorithmic opportunities as well: the convergence of linear system solver is quicker than the pure MPI case since the parallel preconditioner stays stronger when hybrid model is used. This implies significant savings in the cost of communication and synchronization (explicit and implicit). Even though OpenMP based parallelism is easier to implement (with in a subdomain assigned to one MPI process for simplicity), getting good performance needs attention to data partitioning issues similar to those in the message-passing case. © 2011 Springer-Verlag.

MBA in Education Leadership: A Model for Developing an Interdisciplinary Principal Preparation Program

Science.gov (United States)

Smith, Rachel A.; Somers, John

2016-01-01

This paper presents a model for developing an interdisciplinary principal preparation program, an MBA in Education Leadership, which integrates best practices in both education and business within an educational context. The paper addresses gaps that exist in many traditional principal preparation programs and provides an alternative model, which…

Uncertain programming models for portfolio selection with uncertain returns

Science.gov (United States)

Zhang, Bo; Peng, Jin; Li, Shengguo

2015-10-01

In an indeterminacy economic environment, experts' knowledge about the returns of securities consists of much uncertainty instead of randomness. This paper discusses portfolio selection problem in uncertain environment in which security returns cannot be well reflected by historical data, but can be evaluated by the experts. In the paper, returns of securities are assumed to be given by uncertain variables. According to various decision criteria, the portfolio selection problem in uncertain environment is formulated as expected-variance-chance model and chance-expected-variance model by using the uncertainty programming. Within the framework of uncertainty theory, for the convenience of solving the models, some crisp equivalents are discussed under different conditions. In addition, a hybrid intelligent algorithm is designed in the paper to provide a general method for solving the new models in general cases. At last, two numerical examples are provided to show the performance and applications of the models and algorithm.

An Analysis of OpenACC Programming Model: Image Processing Algorithms as a Case Study

Directory of Open Access Journals (Sweden)

M. J. Mišić

2014-06-01

Full Text Available Graphics processing units and similar accelerators have been intensively used in general purpose computations for several years. In the last decade, GPU architecture and organization changed dramatically to support an ever-increasing demand for computing power. Along with changes in hardware, novel programming models have been proposed, such as NVIDIA’s Compute Unified Device Architecture (CUDA and Open Computing Language (OpenCL by Khronos group. Although numerous commercial and scientific applications have been developed using these two models, they still impose a significant challenge for less experienced users. There are users from various scientific and engineering communities who would like to speed up their applications without the need to deeply understand a low-level programming model and underlying hardware. In 2011, OpenACC programming model was launched. Much like OpenMP for multicore processors, OpenACC is a high-level, directive-based programming model for manycore processors like GPUs. This paper presents an analysis of OpenACC programming model and its applicability in typical domains like image processing. Three, simple image processing algorithms have been implemented for execution on the GPU with OpenACC. The results were compared with their sequential counterparts, and results are briefly discussed.

A model surveillance program based on regulatory experience

International Nuclear Information System (INIS)

Conte, R.J.

1980-01-01

A model surveillance program is presented based on regulatory experience. The program consists of three phases: Program Delineation, Data Acquistion and Data Analysis. Each phase is described in terms of key quality assurance elements and some current philosophies is the United States Licensing Program. Other topics include the application of these ideas to test equipment used in the surveillance progam and audits of the established program. Program Delineation discusses the establishment of administrative controls for organization and the description of responsibilities using the 'Program Coordinator' concept, with assistance from Data Acquisition and Analysis Teams. Ideas regarding frequency of surveillance testing are also presented. The Data Acquisition Phase discusses various methods for acquiring data including operator observations, test procedures, operator logs, and computer output, for trending equipment performance. The Data Analysis Phase discusses the process for drawing conclusions regarding component/equipment service life, proper application, and generic problems through the use of trend analysis and failure rate data. (orig.)

Genetic Programming and Standardization in Water Temperature Modelling

Directory of Open Access Journals (Sweden)

Maritza Arganis

2009-01-01

Full Text Available An application of Genetic Programming (an evolutionary computational tool without and with standardization data is presented with the aim of modeling the behavior of the water temperature in a river in terms of meteorological variables that are easily measured, to explore their explanatory power and to emphasize the utility of the standardization of variables in order to reduce the effect of those with large variance. Recorded data corresponding to the water temperature behavior at the Ebro River, Spain, are used as analysis case, showing a performance improvement on the developed model when data are standardized. This improvement is reflected in a reduction of the mean square error. Finally, the models obtained in this document were applied to estimate the water temperature in 2004, in order to provide evidence about their applicability to forecasting purposes.

A new neural network model for solving random interval linear programming problems.

Science.gov (United States)

Arjmandzadeh, Ziba; Safi, Mohammadreza; Nazemi, Alireza

2017-05-01

This paper presents a neural network model for solving random interval linear programming problems. The original problem involving random interval variable coefficients is first transformed into an equivalent convex second order cone programming problem. A neural network model is then constructed for solving the obtained convex second order cone problem. Employing Lyapunov function approach, it is also shown that the proposed neural network model is stable in the sense of Lyapunov and it is globally convergent to an exact satisfactory solution of the original problem. Several illustrative examples are solved in support of this technique. Copyright © 2017 Elsevier Ltd. All rights reserved.

DOD low energy model installation program

International Nuclear Information System (INIS)

Fournier, D.F. Jr.

1993-01-01

The Model Low Energy Installation Program is a demonstration of an installation-wide, comprehensive energy conservation program that meets the Department of Defense (DoD) energy management goals of reducing energy usage and costs by at least 20%. It employs the required strategies for meeting these goals, quantifies the environmental compliance benefits resulting from energy conservation and serves as a prototype for DoD wide application. This project will develop both analysis tools and implementation procedures as well as demonstrate the effectiveness of a comprehensive, coordinated energy conservation program based on state-of-the-art technologies. A military installation is in reality a small to medium sized city. It generally has a complete utilities infrastructure including water supply and distribution, sewage collection and treatment, electrical supply and distribution, central heating and cooling plants with thermal distribution, and a natural gas distribution system. These utilities are quite extensive and actually consume about 10-15% of the energy on the facility not counting the energy going into the central plants

Networked Timetable Stability Improvement Based on a Bilevel Optimization Programming Model

Directory of Open Access Journals (Sweden)

Xuelei Meng

2014-01-01

Full Text Available Train timetable stability is the possibility to recover the status of the trains to serve as arranged according to the original timetable when the trains are disturbed. To improve the train timetable stability from the network perspective, the bilevel programming model is constructed, in which the upper level programming is to optimize the timetable stability on the network level and the lower is to improve the timetable stability on the dispatching railway segments. Timetable stability on the network level is defined with the variances of the utilization coefficients of the section capacity and station capacity. Weights of stations and sections are decided by the capacity index number and the degrees. The lower level programming focuses on the buffer time distribution plan of the trains operating on the sections and stations, taking the operating rules of the trains as constraints. A novel particle swarm algorithm is proposed and designed for the bilevel programming model. The computing case proves the feasibility of the model and the efficiency of the algorithm. The method outlined in this paper can be embedded in the networked train operation dispatching system.

Transnational nursing programs: models, advantages and challenges.

Science.gov (United States)

Wilson, Michael

2002-07-01

Conducting transnational programs can be a very rewarding activity for a School, Faculty or University. Apart from increasing the profile of the university, the conduct of transnational programs can also provide the university with openings for business opportunities, consultative activities, and collaborative research. It can also be a costly exercise placing an enormous strain on limited resources with little reward for the provider. Transnational ventures can become nonviable entities in a very short period of time due to unanticipated global economic trends. Transnational courses offered by Faculties of Business and Computing are commonplace, however, there is a growing number of health science programs, particularly nursing that are being offered transnational. This paper plans an overview of several models employed for the delivery of transnational nursing courses and discusses several key issues pertaining to conducting courses outside the host university's country.

Model-Based Systems Engineering Pilot Program at NASA Langley

Science.gov (United States)

Vipavetz, Kevin G.; Murphy, Douglas G.; Infeld, Samatha I.

2012-01-01

NASA Langley Research Center conducted a pilot program to evaluate the benefits of using a Model-Based Systems Engineering (MBSE) approach during the early phase of the Materials International Space Station Experiment-X (MISSE-X) project. The goal of the pilot was to leverage MBSE tools and methods, including the Systems Modeling Language (SysML), to understand the net gain of utilizing this approach on a moderate size flight project. The System Requirements Review (SRR) success criteria were used to guide the work products desired from the pilot. This paper discusses the pilot project implementation, provides SysML model examples, identifies lessons learned, and describes plans for further use on MBSE on MISSE-X.

Model design for Large-Scale Seismic Test Program at Hualien, Taiwan

International Nuclear Information System (INIS)

Tang, H.T.; Graves, H.L.; Chen, P.C.

1991-01-01

The Large-Scale Seismic Test (LSST) Program at Hualien, Taiwan, is a follow-on to the soil-structure interaction (SSI) experiments at Lotung, Taiwan. The planned SSI studies will be performed at a stiff soil site in Hualien, Taiwan, that historically has had slightly more destructive earthquakes in the past than Lotung. The LSST is a joint effort among many interested parties. Electric Power Research Institute (EPRI) and Taipower are the organizers of the program and have the lead in planning and managing the program. Other organizations participating in the LSST program are US Nuclear Regulatory Commission (NRC), the Central Research Institute of Electric Power Industry (CRIEPI), the Tokyo Electric Power Company (TEPCO), the Commissariat A L'Energie Atomique (CEA), Electricite de France (EdF) and Framatome. The LSST was initiated in January 1990, and is envisioned to be five years in duration. Based on the assumption of stiff soil and confirmed by soil boring and geophysical results the test model was designed to provide data needed for SSI studies covering: free-field input, nonlinear soil response, non-rigid body SSI, torsional response, kinematic interaction, spatial incoherency and other effects. Taipower had the lead in design of the test model and received significant input from other LSST members. Questions raised by LSST members were on embedment effects, model stiffness, base shear, and openings for equipment. This paper describes progress in site preparation, design and construction of the model and development of an instrumentation plan

Inexact Multistage Stochastic Chance Constrained Programming Model for Water Resources Management under Uncertainties

Directory of Open Access Journals (Sweden)

Hong Zhang

2017-01-01

Full Text Available In order to formulate water allocation schemes under uncertainties in the water resources management systems, an inexact multistage stochastic chance constrained programming (IMSCCP model is proposed. The model integrates stochastic chance constrained programming, multistage stochastic programming, and inexact stochastic programming within a general optimization framework to handle the uncertainties occurring in both constraints and objective. These uncertainties are expressed as probability distributions, interval with multiply distributed stochastic boundaries, dynamic features of the long-term water allocation plans, and so on. Compared with the existing inexact multistage stochastic programming, the IMSCCP can be used to assess more system risks and handle more complicated uncertainties in water resources management systems. The IMSCCP model is applied to a hypothetical case study of water resources management. In order to construct an approximate solution for the model, a hybrid algorithm, which incorporates stochastic simulation, back propagation neural network, and genetic algorithm, is proposed. The results show that the optimal value represents the maximal net system benefit achieved with a given confidence level under chance constraints, and the solutions provide optimal water allocation schemes to multiple users over a multiperiod planning horizon.

Program description of FIBRAM (Fiber Optic Radiation Attenuation Model): a radiation attenuation model for optical fibers

International Nuclear Information System (INIS)

Ingram, W.J.

1987-06-01

The report describes a fiber-optics system model and its computer implementation. This implementation can calculate the bit error ratio (BER) versus time for optical fibers that have been exposed to gamma radiation. The program is designed so that the user may arbitrarily change any or all of the system input variables and produce separate outputs. The primary output of the program is a table of the BER as a function of time. This table may be stored on magnetic media and later incorporated into computer graphic programs. The program was written in FORTRAN 77 for the IBM PC/AT/XT computers. Flow charts and program listings are included in the report

Patients' mental models and adherence to outpatient physical therapy home exercise programs.

Science.gov (United States)

Rizzo, Jon

2015-05-01

Within physical therapy, patient adherence usually relates to attending appointments, following advice, and/or undertaking prescribed exercise. Similar to findings for general medical adherence, patient adherence to physical therapy home exercise programs (HEP) is estimated between 35 and 72%. Adherence to HEPs is a multifactorial and poorly understood phenomenon, with no consensus regarding a common theoretical framework that best guides empirical or clinical efforts. Mental models, a construct used to explain behavior and decision-making in the social sciences, may serve as this framework. Mental models comprise an individual's tacit thoughts about how the world works. They include assumptions about new experiences and expectations for the future based on implicit comparisons between current and past experiences. Mental models play an important role in decision-making and guiding actions. This professional theoretical article discusses empirical research demonstrating relationships among mental models, prior experience, and adherence decisions in medical and physical therapy contexts. Specific issues related to mental models and physical therapy patient adherence are discussed, including the importance of articulation of patients' mental models, assessment of patients' mental models that relate to exercise program adherence, discrepancy between patient and provider mental models, and revision of patients' mental models in ways that enhance adherence. The article concludes with practical implications for physical therapists and recommendations for further research to better understand the role of mental models in physical therapy patient adherence behavior.

A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems

Directory of Open Access Journals (Sweden)

Paweł Sitek

2016-01-01

Full Text Available This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs and constraint optimization problems (COPs. Two paradigms, CLP (constraint logic programming and MP (mathematical programming, are integrated in the framework. The integration is supplemented with the original method of problem transformation, used in the framework as a presolving method. The transformation substantially reduces the feasible solution space. The framework automatically generates CSP and COP models based on current values of data instances, questions asked by a user, and set of predicates and facts of the problem being modeled, which altogether constitute a knowledge database for the given problem. This dynamic generation of dedicated models, based on the knowledge base, together with the parameters changing externally, for example, the user’s questions, is the implementation of the autonomous search concept. The models are solved using the internal or external solvers integrated with the framework. The architecture of the framework as well as its implementation outline is also included in the paper. The effectiveness of the framework regarding the modeling and solution search is assessed through the illustrative examples relating to scheduling problems with additional constrained resources.

Modeling on a PWR power conversion system with system program

International Nuclear Information System (INIS)

Gao Rui; Yang Yanhua; Lin Meng

2007-01-01

Based on the power conversion system of nuclear and conventional islands of Daya Bay Power Station, this paper models the thermal-hydraulic systems of primary and secondary loops for PWR by using the PWR best-estimate program-RELAP5. To simulate the full-scope power conversion system, not only the traditional basic system models of nuclear island, but also the major system models of conventional island are all considered and modeled. A comparison between the calculated results and the actual data of reactor demonstrates a fine match for Daya Bay Nuclear Power Station, and manifests the feasibility in simulating full-scope power conversion system of PWR by RELAP5 at the same time. (authors)

Modeling the Isentropic Head Value of Centrifugal Gas Compressor using Genetic Programming

Directory of Open Access Journals (Sweden)

Safiyullah Ferozkhan

2016-01-01

Full Text Available Gas compressor performance is vital in oil and gas industry because of the equipment criticality which requires continuous operations. Plant operators often face difficulties in predicting appropriate time for maintenance and would usually rely on time based predictive maintenance intervals as recommended by original equipment manufacturer (OEM. The objective of this work is to develop the computational model to find the isentropic head value using genetic programming. The isentropic head value is calculated from the OEM performance chart. Inlet mass flow rate and speed of the compressor are taken as the input value. The obtained results from the GP computational models show good agreement with experimental and target data with the average prediction error of 1.318%. The genetic programming computational model will assist machinery engineers to quantify performance deterioration of gas compressor and the results from this study will be then utilized to estimate future maintenance requirements based on the historical data. In general, this genetic programming modelling provides a powerful solution for gas compressor operators to realize predictive maintenance approach in their operations.

Marketing for a Web-Based Master's Degree Program in Light of Marketing Mix Model

Science.gov (United States)

Pan, Cheng-Chang

2012-01-01

The marketing mix model was applied with a focus on Web media to re-strategize a Web-based Master's program in a southern state university in U.S. The program's existing marketing strategy was examined using the four components of the model: product, price, place, and promotion, in hopes to repackage the program (product) to prospective students…

High Performance Programming Using Explicit Shared Memory Model on Cray T3D1

Science.gov (United States)

Simon, Horst D.; Saini, Subhash; Grassi, Charles

1994-01-01

The Cray T3D system is the first-phase system in Cray Research, Inc.'s (CRI) three-phase massively parallel processing (MPP) program. This system features a heterogeneous architecture that closely couples DEC's Alpha microprocessors and CRI's parallel-vector technology, i.e., the Cray Y-MP and Cray C90. An overview of the Cray T3D hardware and available programming models is presented. Under Cray Research adaptive Fortran (CRAFT) model four programming methods (data parallel, work sharing, message-passing using PVM, and explicit shared memory model) are available to the users. However, at this time data parallel and work sharing programming models are not available to the user community. The differences between standard PVM and CRI's PVM are highlighted with performance measurements such as latencies and communication bandwidths. We have found that the performance of neither standard PVM nor CRI s PVM exploits the hardware capabilities of the T3D. The reasons for the bad performance of PVM as a native message-passing library are presented. This is illustrated by the performance of NAS Parallel Benchmarks (NPB) programmed in explicit shared memory model on Cray T3D. In general, the performance of standard PVM is about 4 to 5 times less than obtained by using explicit shared memory model. This degradation in performance is also seen on CM-5 where the performance of applications using native message-passing library CMMD on CM-5 is also about 4 to 5 times less than using data parallel methods. The issues involved (such as barriers, synchronization, invalidating data cache, aligning data cache etc.) while programming in explicit shared memory model are discussed. Comparative performance of NPB using explicit shared memory programming model on the Cray T3D and other highly parallel systems such as the TMC CM-5, Intel Paragon, Cray C90, IBM-SP1, etc. is presented.

A Pareto-optimal moving average multigene genetic programming model for daily streamflow prediction

Science.gov (United States)

Danandeh Mehr, Ali; Kahya, Ercan

2017-06-01

Genetic programming (GP) is able to systematically explore alternative model structures of different accuracy and complexity from observed input and output data. The effectiveness of GP in hydrological system identification has been recognized in recent studies. However, selecting a parsimonious (accurate and simple) model from such alternatives still remains a question. This paper proposes a Pareto-optimal moving average multigene genetic programming (MA-MGGP) approach to develop a parsimonious model for single-station streamflow prediction. The three main components of the approach that take us from observed data to a validated model are: (1) data pre-processing, (2) system identification and (3) system simplification. The data pre-processing ingredient uses a simple moving average filter to diminish the lagged prediction effect of stand-alone data-driven models. The multigene ingredient of the model tends to identify the underlying nonlinear system with expressions simpler than classical monolithic GP and, eventually simplification component exploits Pareto front plot to select a parsimonious model through an interactive complexity-efficiency trade-off. The approach was tested using the daily streamflow records from a station on Senoz Stream, Turkey. Comparing to the efficiency results of stand-alone GP, MGGP, and conventional multi linear regression prediction models as benchmarks, the proposed Pareto-optimal MA-MGGP model put forward a parsimonious solution, which has a noteworthy importance of being applied in practice. In addition, the approach allows the user to enter human insight into the problem to examine evolved models and pick the best performing programs out for further analysis.

Assembly language program design used in model DD80 multifunction microcomputer multichannel analyzer

Energy Technology Data Exchange (ETDEWEB)

Yiziang, Wei; Ying, Chen; Xide, Zhao

1985-05-01

This paper describes the structures, features, flowcharts and design considerations of assembly language program used in Model DD80 (FH1920) multifunction microcomputer multichannel analyzer. On the Model TRS-80 (I) microcomputer with DD80 multifunction interface this program can be used in spectrum data acquisition, spectrum live display and some spectrum data processing.

Keys to the House: Unlocking Residential Savings With Program Models for Home Energy Upgrades

Energy Technology Data Exchange (ETDEWEB)

Grevatt, Jim [Energy Futures Group (United States); Hoffman, Ian [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Hoffmeyer, Dale [US Department of Energy, Washington, DC (United States)

2017-07-05

After more than 40 years of effort, energy efficiency program administrators and associated contractors still find it challenging to penetrate the home retrofit market, especially at levels commensurate with state and federal goals for energy savings and emissions reductions. Residential retrofit programs further have not coalesced around a reliably successful model. They still vary in design, implementation and performance, and they remain among the more difficult and costly options for acquiring savings in the residential sector. If programs are to contribute fully to meeting resource and policy objectives, administrators need to understand what program elements are key to acquiring residential savings as cost effectively as possible. To that end, the U.S. Department of Energy (DOE) sponsored a comprehensive review and analysis of home energy upgrade programs with proven track records, focusing on those with robustly verified savings and constituting good examples for replication. The study team reviewed evaluations for the period 2010 to 2014 for 134 programs that are funded by customers of investor-owned utilities. All are programs that promote multi-measure retrofits or major system upgrades. We paid particular attention to useful design and implementation features, costs, and savings for nearly 30 programs with rigorous evaluations of performance. This meta-analysis describes program models and implementation strategies for (1) direct install retrofits; (2) heating, ventilating and air-conditioning (HVAC) replacement and early retirement; and (3) comprehensive, whole-home retrofits. We analyze costs and impacts of these program models, in terms of both energy savings and emissions avoided. These program models can be useful guides as states consider expanding their strategies for acquiring energy savings as a resource and for emissions reductions. We also discuss the challenges of using evaluations to create program models that can be confidently applied in

Systemic Analysis, Mapping, Modeling, and Simulation of the Advanced Accelerator Applications Program

International Nuclear Information System (INIS)

Guan, Yue; Laidler, James J.; Morman, James A.

2002-01-01

Advanced chemical separations methods envisioned for use in the Department of Energy Advanced Accelerator Applications (AAA) program have been studied using the Systemic Analysis, Mapping, Modeling, and Simulation (SAMMS) method. This integrated and systematic method considers all aspects of the studied process as one dynamic and inter-dependent system. This particular study focuses on two subjects: the chemical separation processes for treating spent nuclear fuel, and the associated non-proliferation implications of such processing. Two levels of chemical separation models are developed: level 1 models treat the chemical process stages by groups; and level 2 models depict the details of each process stage. Models to estimate the proliferation risks based on proliferation barrier assessment are also developed. This paper describes the research conducted for the single-stratum design in the AAA program. Further research conducted for the multi-strata designs will be presented later. The method and models described in this paper can help in the design of optimized processes that fulfill the chemical separation process specifications and non-proliferation requirements. (authors)

From Safety Critical Java Programs to Timed Process Models

DEFF Research Database (Denmark)

Thomsen, Bent; Luckow, Kasper Søe; Thomsen, Lone Leth

2015-01-01

frameworks, we have in recent years pursued an agenda of translating hard-real-time embedded safety critical programs written in the Safety Critical Java Profile [33] into networks of timed automata [4] and subjecting those to automated analysis using the UPPAAL model checker [10]. Several tools have been...... built and the tools have been used to analyse a number of systems for properties such as worst case execution time, schedulability and energy optimization [12–14,19,34,36,38]. In this paper we will elaborate on the theoretical underpinning of the translation from Java programs to timed automata models...... and briefly summarize some of the results based on this translation. Furthermore, we discuss future work, especially relations to the work in [16,24] as Java recently has adopted first class higher order functions in the form of lambda abstractions....

Power Grid Construction Project Portfolio Optimization Based on Bi-level programming model

Science.gov (United States)

Zhao, Erdong; Li, Shangqi

2017-08-01

As the main body of power grid operation, county-level power supply enterprises undertake an important emission to guarantee the security of power grid operation and safeguard social power using order. The optimization of grid construction projects has been a key issue of power supply capacity and service level of grid enterprises. According to the actual situation of power grid construction project optimization of county-level power enterprises, on the basis of qualitative analysis of the projects, this paper builds a Bi-level programming model based on quantitative analysis. The upper layer of the model is the target restriction of the optimal portfolio; the lower layer of the model is enterprises’ financial restrictions on the size of the enterprise project portfolio. Finally, using a real example to illustrate operation proceeding and the optimization result of the model. Through qualitative analysis and quantitative analysis, the bi-level programming model improves the accuracy and normative standardization of power grid enterprises projects.

A Multi-Criteria Goal Programming Model to Analyze the Sustainable Goals of India

Directory of Open Access Journals (Sweden)

Srikant Gupta

2018-03-01

Full Text Available There is an ever-growing demand for sustainable development (SD plans, in order to foster a country’s economic growth by implementing suitable policies and initiative programs for the development of the primary, the secondary and the tertiary sectors. We present a multi-criteria modeling approach using the linear programming problem (LPP framework for a simultaneous optimization of these three sectors. Furthermore, we develop a fuzzy goal programming (FGP model that provides an optimal allocation of resources by achieving future goals on the gross domestic product (GDP, the electricity consumption (EC and the greenhouse gas (GHG emissions. Furthermore, a weighted model of FGP is presented to obtain varying solutions according to the priorities set by the decision-maker for achieving future goals of GDP growth, EC and GHG emissions. The presented models provide useful insight for decision-makers when implementing strategies across different sectors. As a model country, we chose India by the year 2030. A study of economic policies and sustainable development goals (SDGs for India is finally carried out.

Menu variations for diabetes mellitus patients using Goal Programming model

Science.gov (United States)

Dhoruri, Atmini; Lestari, Dwi; Ratnasari, Eminugroho

2017-08-01

Diabetes mellitus (DM) was a chronic metabolic disease characterized by higher than normal blood glucose level (normal blood glucose level = = 80 -120 mg/dl). In this study, type 2 DM which mostly caused by unhealthy eating habits would be investigated. Related to eating habit, DM patients needed dietary menu planning with an extracare regarding their nutrients intake (energy, protein, fat and carbohydrate). Therefore, the measures taken were by organizing nutritious dietary menu for diabetes mellitus patients. Dietary menu with appropriate amount of nutrients was organized by considering the amount of calories, proteins, fats and carbohydrates. In this study, Goal Programming model was employed to determine optimal dietary menu variations for diabetes mellitus patients by paying attention to optimal expenses. According to the data obtained from hospitals in Yogyakarta, optimal menu variations would be analyzed by using Goal Programming model and would be completed by using LINGO computer program.

Application of the simplex method of linear programming model to ...

African Journals Online (AJOL)

This work discussed how the simplex method of linear programming could be used to maximize the profit of any business firm using Saclux Paint Company as a case study. It equally elucidated the effect variation in the optimal result obtained from linear programming model, will have on any given firm. It was demonstrated ...

76 FR 29249 - Medicare Program; Pioneer Accountable Care Organization Model: Request for Applications

Science.gov (United States)

2011-05-20

... Affordable Care Act, to test innovative payment and service delivery models that reduce spending under.... This Model will test the effectiveness of a combination of the following: Payment arrangements that...] Medicare Program; Pioneer Accountable Care Organization Model: Request for Applications AGENCY: Centers for...

78 FR 8535 - Medicare Program: Comprehensive End-Stage Renal Disease Care Model Announcement

Science.gov (United States)

2013-02-06

... develop and test innovative health care payment and service delivery models that show promise of reducing... test innovative payment and service delivery models that reduce spending under Medicare, Medicaid or...] Medicare Program: Comprehensive End-Stage Renal Disease Care Model Announcement AGENCY: Centers for...

Development of CANDU 6 Primary Heat Transport System Modeling Program

International Nuclear Information System (INIS)

Seo, Hyung-beom; Kim, Sung-min; Park, Joong-woo; Kim, Kwang-su; Ko, Dae-hack; Han, Bong-seob

2007-01-01

NUCIRC is a steady-state thermal-hydraulic code used for design and performance analyses of CANDU Heat Transport System. The code is used to build PHT model in Wolsong NPP and to calculate channel flow distribution. Wolsong NPP has to calculate channel flow distribution and quality of coolant at the ROH header after every outage by OPP (Operating Policy and Principal). PHT modeling work is time consuming which need a lot of operation experience and specialty. It is very difficult to build PHT model as plant operator in two weeks which is obligate for plant operation after every outage. That is why Wolsong NPP develop NUMODEL (NUcirc MODELing) with many-years experience and a know-how of using NUCIRC code. NUMODEL is computer program which is used to create PHT model based on utilizing NUCIRC code

Can Household Benefit from Stochastic Programming Models?

DEFF Research Database (Denmark)

Rasmussen, Kourosh Marjani; Madsen, Claus A.; Poulsen, Rolf

2014-01-01

The Danish mortgage market is large and sophisticated. However, most Danish mortgage banks advise private home-owners based on simple, if sensible, rules of thumb. In recent years a number of papers (from Nielsen and Poulsen in J Econ Dyn Control 28:1267–1289, 2004 over Rasmussen and Zenios in J...... Risk 10:1–18, 2007 to Pedersen et al. in Ann Oper Res, 2013) have suggested a model-based, stochastic programming approach to mortgage choice. This paper gives an empirical comparison of performance over the period 2000–2010 of the rules of thumb to the model-based strategies. While the rules of thumb.......3–0.9 %-points (depending on the borrower’s level of conservatism) compared to the rules of thumb without increasing the risk. The answer to the question in the title is thus affirmative....

Salt Repository Project: Waste Package Program (WPP) modeling activiteis: FY 1984 annual report

International Nuclear Information System (INIS)

Kuhn, W.L.; Simonson, S.A.; Pulsipher, B.A.

1987-03-01

The Pacific Northwest Laboratory (PNL) is supporting the US Department of Energy's (DOE) Salt Repository Project (SRP) through its Waste Package Program (WPP). During FY 1984, the WPP continued its program of waste package component development and interactions testing and application of the resulting data base to develop predictive models describing waste package degradation and radionuclide release. Within the WPP, the Modeling Task (Task 04 during FY 1984) was conducted to interpret the tests in such a way that scientifically defensible models can be developed for use in qualification of the waste package

Expand the Modeling Capabilities of DOE's EnergyPlus Building Energy Simulation Program

Energy Technology Data Exchange (ETDEWEB)

Don Shirey

2008-02-28

EnergyPlus{trademark} is a new generation computer software analysis tool that has been developed, tested, and commercialized to support DOE's Building Technologies (BT) Program in terms of whole-building, component, and systems R&D (http://www.energyplus.gov). It is also being used to support evaluation and decision making of zero energy building (ZEB) energy efficiency and supply technologies during new building design and existing building retrofits. Version 1.0 of EnergyPlus was released in April 2001, followed by semiannual updated versions over the ensuing seven-year period. This report summarizes work performed by the University of Central Florida's Florida Solar Energy Center (UCF/FSEC) to expand the modeling capabilities of EnergyPlus. The project tasks involved implementing, testing, and documenting the following new features or enhancement of existing features: (1) A model for packaged terminal heat pumps; (2) A model for gas engine-driven heat pumps with waste heat recovery; (3) Proper modeling of window screens; (4) Integrating and streamlining EnergyPlus air flow modeling capabilities; (5) Comfort-based controls for cooling and heating systems; and (6) An improved model for microturbine power generation with heat recovery. UCF/FSEC located existing mathematical models or generated new model for these features and incorporated them into EnergyPlus. The existing or new models were (re)written using Fortran 90/95 programming language and were integrated within EnergyPlus in accordance with the EnergyPlus Programming Standard and Module Developer's Guide. Each model/feature was thoroughly tested and identified errors were repaired. Upon completion of each model implementation, the existing EnergyPlus documentation (e.g., Input Output Reference and Engineering Document) was updated with information describing the new or enhanced feature. Reference data sets were generated for several of the features to aid program users in selecting proper

Stochastic programming framework for Lithuanian pension payout modelling

Directory of Open Access Journals (Sweden)

Audrius Kabašinskas

2014-12-01

Full Text Available The paper provides a scientific approach to the problem of selecting a pension fund by taking into account some specific characteristics of the Lithuanian Republic (LR pension accumulation system. The decision making model, which can be used to plan a long-term pension accrual of the Lithuanian Republic (LR citizens, in an optimal way is presented. This model focuses on factors that influence the sustainability of the pension system selection under macroeconomic, social and demographic uncertainty. The model is formalized as a single stage stochastic optimization problem where the long-term optimal strategy can be obtained based on the possible scenarios generated for a particular participant. Stochastic programming methods allow including the pension fund rebalancing moment and direction of investment, and taking into account possible changes of personal income, changes of society and the global financial market. The collection of methods used to generate scenario trees was found useful to solve strategic planning problems.

Animal Models and Bone Histomorphometry: Translational Research for the Human Research Program

Science.gov (United States)

Sibonga, Jean D.

2010-01-01

This slide presentation reviews the use of animal models to research and inform bone morphology, in particular relating to human research in bone loss as a result of low gravity environments. Reasons for use of animal models as tools for human research programs include: time-efficient, cost-effective, invasive measures, and predictability as some model are predictive for drug effects.

Replacement model of city bus: A dynamic programming approach

Science.gov (United States)

Arifin, Dadang; Yusuf, Edhi

2017-06-01

This paper aims to develop a replacement model of city bus vehicles operated in Bandung City. This study is driven from real cases encountered by the Damri Company in the efforts to improve services to the public. The replacement model propounds two policy alternatives: First, to maintain or keep the vehicles, and second is to replace them with new ones taking into account operating costs, revenue, salvage value, and acquisition cost of a new vehicle. A deterministic dynamic programming approach is used to solve the model. The optimization process was heuristically executed using empirical data of Perum Damri. The output of the model is to determine the replacement schedule and the best policy if the vehicle has passed the economic life. Based on the results, the technical life of the bus is approximately 20 years old, while the economic life is an average of 9 (nine) years. It means that after the bus is operated for 9 (nine) years, managers should consider the policy of rejuvenation.

Enhancement of weld failure and tube ejection model in PENTAP program

International Nuclear Information System (INIS)

Jung, Jaehoon; An, Sang Mo; Ha, Kwang Soon; Kim, Hwan Yeol

2014-01-01

The reactor vessel pressure, the debris mass, the debris temperature, and the component of material can have an effect on the penetration tube failure modes. Furthermore, these parameters are interrelated. There are some representative severe accident codes such as MELCOR, MAAP, and PENTAP program. MELCOR decides on a penetration tube failure by its failure temperature such as 1273K simply. MAAP considers all penetration failure modes and has the most advanced model for a penetration tube failure model. However, the validation work against the experimental data is very limited. PENTAP program which evaluates the possible penetration tube failure modes such as creep failure, weld failure, tube ejection, and a long term tube failure under given accident condition was developed by KAERI. The experiment for the tube ejection is being performed by KAERI. The temperature distribution and the ablation rate of both weld and lower vessel wall can be obtained through the experiment. This paper includes the updated calculation steps for the weld failure and the tube ejection modes of the PENTAP program to apply the experimental results. PENTAP program can evaluate the possible penetration tube failure modes. It still requires a large amount of efforts to increase the prediction of failure modes. Some calculation steps are necessary for applying the experimental and the numerical data in the PENTAP program. In this study, new calculation steps are added to PENTAP program to enhance the weld failure and tube ejection models using KAERI's experimental data which are the ablation rate and temperature distribution of weld and lower vessel wall

Penerapan Aplikasi Program Penjualan Dan Pembelian Menggunakan Model Rapid Application Development

Directory of Open Access Journals (Sweden)

Annisa Febriani

2017-09-01

Abstract The development of information technology at the moment quickly and rapidly, supported by one means namely computer. Of course the computer has been equipped with a particular application is used to help facilitate the work of the man to manage the data of an organization or company so that getting accurate results and according to needs. The results of the observations that have been made, showed a sales and purchase activities are still using manual systems, one of them at a clothing store. Starting from the data processing of the goods, the difficulty of checking stock, purchase transaction, sales transactions, as well as other data storage associated with all types of such activities, so that it could make a loss for the store owner, errors in the logging and less akuratnya the report is made. Judging from the large number of transactions done on clothing stores, required system information more quickly and accurately. Thus, the author makes the program architecture-based computer, use the Microsoft Visual Basic.net programming language and the MySQL database, so that the information and activities that occur can be done quickly and accurately. The methods used in making architecture the program using the model of Rapid Application Development (RAD. This RAD model is an adaptation of the waterfall model for high speed version of the development of each component of its software. Results achieved from the discussion of this theme is the form of the application program selling and buying the ready-made. In this case, the use of the application program is the best solution to solve the existing problems, as well as with the use of application programs can be reached by an activity which is effective and efficient in supporting that activity, especially for addressing the problem of the sale and purchase of.   Keywords: Sales Program, Purchasing Program.

Modeling and Synthesis Support for the North American Carbon Program

Science.gov (United States)

Baskaran, L.; Cook, R. B.; Thornton, P. E.; Post, W. M.; Wilson, B. E.; Dadi, U.

2007-12-01

The Modeling and Synthesis Thematic Data Center (MAST-DC) supports the North American Carbon Program by providing data products and data management services needed for modeling and synthesis activities. The overall objective of MAST-DC is to provide advanced data management support to NACP investigators doing modeling and synthesis, thereby freeing those investigators from having to perform data management functions. MAST-DC has compiled a number of data products for North America, including sub-pixel land-water content, daily meteorological data, and soil, land cover, and elevation data. In addition, we have developed an internet-based WebGIS system that enables users to browse, query, display, subset, and download spatial data using a standard web browser. For the mid-continent intensive, MAST-DC is working with a group of data assimilation modelers to generate a consistent set of meteorological data to drive bottom-up models.

A Game-Theoretic Model for Distributed Programming by Contract

DEFF Research Database (Denmark)

Henriksen, Anders Starcke; Hvitved, Tom; Filinski, Andrzej

2009-01-01

We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment.  Classical PBC is characterized by absolute conformance of code to its specification, assigning blame in case of failures, and a hierarchical, cooperative decomposition model – none...

Generalized fish life-cycle poplulation model and computer program

International Nuclear Information System (INIS)

DeAngelis, D.L.; Van Winkle, W.; Christensen, S.W.; Blum, S.R.; Kirk, B.L.; Rust, B.W.; Ross, C.

1978-03-01

A generalized fish life-cycle population model and computer program have been prepared to evaluate the long-term effect of changes in mortality in age class 0. The general question concerns what happens to a fishery when density-independent sources of mortality are introduced that act on age class 0, particularly entrainment and impingement at power plants. This paper discusses the model formulation and computer program, including sample results. The population model consists of a system of difference equations involving age-dependent fecundity and survival. The fecundity for each age class is assumed to be a function of both the fraction of females sexually mature and the weight of females as they enter each age class. Natural mortality for age classes 1 and older is assumed to be independent of population size. Fishing mortality is assumed to vary with the number and weight of fish available to the fishery. Age class 0 is divided into six life stages. The probability of survival for age class 0 is estimated considering both density-independent mortality (natural and power plant) and density-dependent mortality for each life stage. Two types of density-dependent mortality are included. These are cannibalism of each life stage by older age classes and intra-life-stage competition

Improving energy efficiency and smart grid program analysis with agent-based end-use forecasting models

International Nuclear Information System (INIS)

Jackson, Jerry

2010-01-01

Electric utilities and regulators face difficult challenges evaluating new energy efficiency and smart grid programs prompted, in large part, by recent state and federal mandates and financial incentives. It is increasingly difficult to separate electricity use impacts of individual utility programs from the impacts of increasingly stringent appliance and building efficiency standards, increasing electricity prices, appliance manufacturer efficiency improvements, energy program interactions and other factors. This study reviews traditional approaches used to evaluate electric utility energy efficiency and smart-grid programs and presents an agent-based end-use modeling approach that resolves many of the shortcomings of traditional approaches. Data for a representative sample of utility customers in a Midwestern US utility are used to evaluate energy efficiency and smart grid program targets over a fifteen-year horizon. Model analysis indicates that a combination of the two least stringent efficiency and smart grid program scenarios provides peak hour reductions one-third greater than the most stringent smart grid program suggesting that reductions in peak demand requirements are more feasible when both efficiency and smart grid programs are considered together. Suggestions on transitioning from traditional end-use models to agent-based end-use models are provided.

Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

CERN Document Server

Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

2014-01-01

Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

EVALUASI PROGRAM PEMBELAJARAN IPA SMP MENGGUNAKAN MODEL COUNTENANCE STAKE

Directory of Open Access Journals (Sweden)

Astin Lukum

2015-06-01

THE EVALUATION OF SCIENCE TEACHING ON JUNIOR HIGH SCHOOL USING STAKE’S COUNTENANCE MODEL Abstract The purpose of the study was to describe the science learning program on junior high school in Bone Bolanga district based on the Regulation of Minister of Education and Culture of the Republic of Indonesia, Number 65 of 2013 about Processing Standard of Primary and Secondary Education. This study used Stake’s Countanance evaluation model. The data were collected using observation, interview and documentation techniques. The conclusion was: (1 the planning of science learning was categorized fair (68%, it was found that lesson plan was not in accordance with the learning processing standard. (2 The implementation of science learning was categorized fair (57%, that unconformitted with learning processing implementation standard. (3 Student learning outcomes have not met the completeness of minimum criteria (KKM that categorized enough (65% and (4 There were the contingency of planing learning proces and outcome. Keywords: Program Evaluation, Stake's Countenance, Science Learning

Using Runtime Analysis to Guide Model Checking of Java Programs

Science.gov (United States)

Havelund, Klaus; Norvig, Peter (Technical Monitor)

2001-01-01

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

An Equilibrium Chance-Constrained Multiobjective Programming Model with Birandom Parameters and Its Application to Inventory Problem

Directory of Open Access Journals (Sweden)

Zhimiao Tao

2013-01-01

Full Text Available An equilibrium chance-constrained multiobjective programming model with birandom parameters is proposed. A type of linear model is converted into its crisp equivalent model. Then a birandom simulation technique is developed to tackle the general birandom objective functions and birandom constraints. By embedding the birandom simulation technique, a modified genetic algorithm is designed to solve the equilibrium chance-constrained multiobjective programming model. We apply the proposed model and algorithm to a real-world inventory problem and show the effectiveness of the model and the solution method.

Evaluation of HIV Risk Reduction and Intervention Programs via Latent Growth Model.

Science.gov (United States)

Wang, Jichuan; Siegal, Harvey A.; Falck, Russel S.; Carlson, Robert G.; Rahman, Ahmmed

1999-01-01

Demonstrates how the latent growth model can be applied to the evaluation of programs targeting HIV risk behavior among drug users. Multigroup piecewise latent growth models were fit to longitudinal data with three repeated response measures. Participants were 430 drug users and their sex partners. (SLD)

Global Analysis, Interpretation and Modelling: An Earth Systems Modelling Program

Science.gov (United States)

Moore, Berrien, III; Sahagian, Dork

1997-01-01

The Goal of the GAIM is: To advance the study of the coupled dynamics of the Earth system using as tools both data and models; to develop a strategy for the rapid development, evaluation, and application of comprehensive prognostic models of the Global Biogeochemical Subsystem which could eventually be linked with models of the Physical-Climate Subsystem; to propose, promote, and facilitate experiments with existing models or by linking subcomponent models, especially those associated with IGBP Core Projects and with WCRP efforts. Such experiments would be focused upon resolving interface issues and questions associated with developing an understanding of the prognostic behavior of key processes; to clarify key scientific issues facing the development of Global Biogeochemical Models and the coupling of these models to General Circulation Models; to assist the Intergovernmental Panel on Climate Change (IPCC) process by conducting timely studies that focus upon elucidating important unresolved scientific issues associated with the changing biogeochemical cycles of the planet and upon the role of the biosphere in the physical-climate subsystem, particularly its role in the global hydrological cycle; and to advise the SC-IGBP on progress in developing comprehensive Global Biogeochemical Models and to maintain scientific liaison with the WCRP Steering Group on Global Climate Modelling.

Particle Tracking Model (PTM) with Coastal Modeling System (CMS)

Science.gov (United States)

2015-11-04

Coastal Inlets Research Program Particle Tracking Model (PTM) with Coastal Modeling System ( CMS ) The Particle Tracking Model (PTM) is a Lagrangian...currents and waves. The Coastal Inlets Research Program (CIRP) supports the PTM with the Coastal Modeling System ( CMS ), which provides coupled wave...and current forcing for PTM simulations. CMS -PTM is implemented in the Surface-water Modeling System, a GUI environment for input development

The assembly language program design used in model DD80 multifunction microcomputer multichannel analyzer

International Nuclear Information System (INIS)

Wei Yiziang; Chen Ying; Zhao Xide

1985-01-01

This paper describes the structures, features, flowcharts and design considerations of assembly language program used in Model DD80 (FH1920) multifunction microcomputer multichannel analyzer. On the Model TRS-80 (I) microcomputer with DD80 multifunction interface this program can be used in spectrum data acquisition, spectrum live display and some spectrum data processing

1/3-scale model testing program

International Nuclear Information System (INIS)

Yoshimura, H.R.; Attaway, S.W.; Bronowski, D.R.; Uncapher, W.L.; Huerta, M.; Abbott, D.G.

1989-01-01

This paper describes the drop testing of a one-third scale model transport cask system. Two casks were supplied by Transnuclear, Inc. (TN) to demonstrate dual purpose shipping/storage casks. These casks will be used to ship spent fuel from DOEs West Valley demonstration project in New York to the Idaho National Engineering Laboratory (INEL) for long term spent fuel dry storage demonstration. As part of the certification process, one-third scale model tests were performed to obtain experimental data. Two 9-m (30-ft) drop tests were conducted on a mass model of the cask body and scaled balsa and redwood filled impact limiters. In the first test, the cask system was tested in an end-on configuration. In the second test, the system was tested in a slap-down configuration where the axis of the cask was oriented at a 10 degree angle with the horizontal. Slap-down occurs for shallow angle drops where the primary impact at one end of the cask is followed by a secondary impact at the other end. The objectives of the testing program were to (1) obtain deceleration and displacement information for the cask and impact limiter system, (2) obtain dynamic force-displacement data for the impact limiters, (3) verify the integrity of the impact limiter retention system, and (4) examine the crush behavior of the limiters. This paper describes both test results in terms of measured deceleration, post test deformation measurements, and the general structural response of the system

An Environmental Management Maturity Model of Construction Programs Using the AHP-Entropy Approach

Directory of Open Access Journals (Sweden)

Libiao Bai

2018-06-01

Full Text Available The accelerating process of urbanization in China has led to considerable opportunities for the development of construction projects, however, environmental issues have become an important constraint on the implementation of these projects. To quantitatively describe the environmental management capabilities of such projects, this paper proposes a 2-dimensional Environmental Management Maturity Model of Construction Program (EMMMCP based on an analysis of existing projects, group management theory and a management maturity model. In this model, a synergetic process was included to compensate for the lack of consideration of synergies in previous studies, and it was involved in the construction of the first dimension, i.e., the environmental management index system. The second dimension, i.e., the maturity level of environment management, was then constructed by redefining the hierarchical characteristics of construction program (CP environmental management maturity. Additionally, a mathematical solution to this proposed model was derived via the Analytic Hierarchy Process (AHP-entropy approach. To verify the effectiveness and feasibility of this proposed model, a computational experiment was conducted, and the results show that this approach could not only measure the individual levels of different processes, but also achieve the most important objective of providing a reference for stakeholders when making decisions on the environmental management of construction program, which reflects this model is reasonable for evaluating the level of environmental management maturity in CP. To our knowledge, this paper is the first study to evaluate the environmental management maturity levels of CP, which would fill the gap between project program management and environmental management and provide a reference for relevant management personnel to enhance their environmental management capabilities.

Developing a Novel Multi-objective Programming Model for Personnel Assignment Problem

Directory of Open Access Journals (Sweden)

Mehdi Seifbarghy

2014-05-01

Full Text Available The assignment of personnel to the right positions in order to increase organization's performance is one of the most crucial tasks in human resource management. In this paper, personnel assignment problem is formulated as a multi-objective binary integer programming model in which skills, level of satisfaction and training cost of personnel are considered simultaneously in productive company. The purpose of this model is to obtain the best matching between candidates and positions. In this model, a set of methods such as a group analytic hierarchy process (GAHP, Shannon entropy, coefficient of variation (CV and fuzzy logic are used to calculate the weights of evaluation criteria, weights of position and coefficient of objective functions. This proposed model can rationalize the subjective judgments of decision makers with mathematic models.

A Cost-Effectiveness Analysis Model for Evaluating and Planning Secondary Vocational Programs

Science.gov (United States)

Kim, Jin Eun

1977-01-01

This paper conceptualizes a cost-effectiveness analysis and describes a cost-effectiveness analysis model for secondary vocational programs. It generates three kinds of cost-effectiveness measures: program effectiveness, cost efficiency, and cost-effectiveness and/or performance ratio. (Author)

Milestone-specific, Observed data points for evaluating levels of performance (MODEL) assessment strategy for anesthesiology residency programs.

Science.gov (United States)

Nagy, Christopher J; Fitzgerald, Brian M; Kraus, Gregory P

2014-01-01

Anesthesiology residency programs will be expected to have Milestones-based evaluation systems in place by July 2014 as part of the Next Accreditation System. The San Antonio Uniformed Services Health Education Consortium (SAUSHEC) anesthesiology residency program developed and implemented a Milestones-based feedback and evaluation system a year ahead of schedule. It has been named the Milestone-specific, Observed Data points for Evaluating Levels of performance (MODEL) assessment strategy. The "MODEL Menu" and the "MODEL Blueprint" are tools that other anesthesiology residency programs can use in developing their own Milestones-based feedback and evaluation systems prior to ACGME-required implementation. Data from our early experience with the streamlined MODEL blueprint assessment strategy showed substantially improved faculty compliance with reporting requirements. The MODEL assessment strategy provides programs with a workable assessment method for residents, and important Milestones data points to programs for ACGME reporting.

Development of a program logic model and evaluation plan for a participatory ergonomics intervention in construction.

Science.gov (United States)

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2014-03-01

Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. © 2013 Wiley Periodicals, Inc.

Development of a Program Logic Model and Evaluation Plan for a Participatory Ergonomics Intervention in Construction

Science.gov (United States)

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2013-01-01

Background Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. Methods In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. Results The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Conclusions Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. PMID:24006097

Evaluation of Medical Education virtual Program: P3 model.

Science.gov (United States)

Rezaee, Rita; Shokrpour, Nasrin; Boroumand, Maryam

2016-10-01

In e-learning, people get involved in a process and create the content (product) and make it available for virtual learners. The present study was carried out in order to evaluate the first virtual master program in medical education at Shiraz University of Medical Sciences according to P3 Model. This is an evaluation research study with post single group design used to determine how effective this program was. All students 60 who participated more than one year in this virtual program and 21 experts including teachers and directors participated in this evaluation project. Based on the P3 e-learning model, an evaluation tool with 5-point Likert rating scale was designed and applied to collect the descriptive data. Students reported storyboard and course design as the most desirable element of learning environment (2.30±0.76), but they declared technical support as the less desirable part (1.17±1.23). Presence of such framework in this regard and using it within the format of appropriate tools for evaluation of e-learning in universities and higher education institutes, which present e-learning curricula in the country, may contribute to implementation of the present and future e-learning curricula efficiently and guarantee its implementation in an appropriate way.

Molecular analysis of the replication program in unicellular model organisms

OpenAIRE

Raghuraman, M. K.; Brewer, Bonita J.

2010-01-01

Eukaryotes have long been reported to show temporal programs of replication, different portions of the genome being replicated at different times in S phase, with the added possibility of developmentally regulated changes in this pattern depending on species and cell type. Unicellular model organisms, primarily the budding yeast Saccharomyces cerevisiae, have been central to our current understanding of the mechanisms underlying the regulation of replication origins and the temporal program o...

Modelling the effects of U.S. ENERGY STARR appliance programs

International Nuclear Information System (INIS)

Feldman, Shel; Hoefgen, Lynn; Wilson-Wright, Lisa; Li, Angela

2005-01-01

Numerous U.S. utilities and market transformation organizations have invested heavily in the ENERGY STAR program, designed to increase market penetration of energy-efficient products (e.g., home appliances, lighting products, windows). Major activities involve stimulating production and promotion of qualifying models, as well as stocking, sales support and financial incentives to customers-all of which entail considerable investments of public funds. Several studies have shown that customer awareness of ENERGY STAR has increased across the country, particularly where energy-efficiency programs have been most active. Furthermore, studies in regions with aggressive programs have shown that the market penetration of qualifying products has increased rapidly. Until recently, however, policy makers have lacked reliable studies that compare changes in market penetration across regions with and without programs while factoring out effects of demographic and other background factors (e.g., education, income, and climate). Also lacking have been attempts to assess whether heavy promotion of the ENERGY STAR brand with some appliances (e.g., clothes washers) has affected the market penetration of less-promoted qualifying appliances. In this paper, the authors address these issues, using a database of the market penetration of four major home appliances at national retailers in each of the individual states over a multi-year period, based on multivariate statistical models. Results include both analyses of the overall trend of market penetration (1998-2002) for the appliances considered and the incremental effects of the 2003 program. The results lead to recommendations regarding the design of programs supporting ENERGY STAR compliant appliances and the key components of those programs

SUBCALC 2.0 -- Substation magnetic field modeling program: User's manual

International Nuclear Information System (INIS)

Pappa, J.R.; Silva, J.M.; Kasten, D.; Sebo, S.; Ohio State Univ., Columbus, OH

1995-11-01

SUBCALC, a Microsoft reg-sign Windows trademark application, allows users to map magnetic fields in or around electric utility substations from common types of substation equipment. SUBCALC allows users to create a substation using predefined transmission and distribution lines and other substation components and to quickly modify them to match the desired operating conditions. Users have the option of invoking Power Line Calculator, a program that integrates with SUBCALC, to define power line conditions such as currents, phase angles, power factor, or symmetric components for three-phase lines that are unbalanced or carry net current. SUBCALC 2.0 offers numerous modeling, user interface, and editing enhancements. For example, users can now produce multi-segmented linear profile plots, take spot measurements anywhere in the model, extend lines with automatic connectivity to preexisting structures, and produce phantom extensions of lines beyond the model to avoid a ''stunted'' appearance to the field map. The program's output is available in four possible formats, including a three-dimensional map of the magnetic field, two-dimensional contours, two-dimensional profile plots, and a table with statistical values. All formats may be printed, accompanied by a three-dimensional view of the world the user has drawn

Application of the Single Hardening Model in the Finite Element Program ABAQUS

DEFF Research Database (Denmark)

Jakobsen, Kim Parsberg

model, developed by Lade and Kim (Kim & Lade 1988, Lade & Kim 1988a, Lade & Kim 1988b) is implemented as a user defined material module, UMAT, in the commercial finite element program, ABAQUS. The advantages of the Single Hardening Model Iie in its ability to predict elastic and plastic displacements...

The Repeated School-to-Work Transition: Evidence from a Dynamic Programming Model

DEFF Research Database (Denmark)

Nielsen, Helena Skyt

by youths after high school graduation. It is assumed that the decision is taken year by year, and it is analyzed in a discrete choice dynamic programming model. In this forward-looking behavioral model, it is shown that a small bonus would remove interruptions of the educational careers just after high...

The Proposed Model of Collaborative Virtual Learning Environment for Introductory Programming Course

Science.gov (United States)

Othman, Mahfudzah; Othman, Muhaini

2012-01-01

This paper discusses the proposed model of the collaborative virtual learning system for the introductory computer programming course which uses one of the collaborative learning techniques known as the "Think-Pair-Share". The main objective of this study is to design a model for an online learning system that facilitates the…

EPA Supersites Program-related emissions-based particulate matter modeling: initial applications and advances.

Science.gov (United States)

Russell, Armistead G

2008-02-01

One objective of the U.S. Environmental Protection Agency's (EPA's) Supersite Program was to provide data that could be used to more thoroughly evaluate and improve air quality models, and then have those models used to address both scientific and policy-related issues dealing with air quality management. In this direction, modeling studies have used Supersites-related data and are reviewed here. Fine temporal resolution data have been used both to test model components (e.g., the inorganic thermodynamic routines) and air quality modeling systems (in particular, Community Multiscale Air Quality [CMAQ] and Comprehensive Air Quality Model with extensions [CAMx] applications). Such evaluations suggest that the inorganic thermodynamic approaches being used are accurate, as well as the description of sulfate production, although there are significant uncertainties in production of nitric acid, biogenic and ammonia emissions, secondary organic aerosol formation, and the ability to follow the formation and evolution of ultrafine particles. Model applications have investigated how PM levels will respond to various emissions controls, suggesting that nitrate will replace some of the reductions in sulfate particulate matter (PM), although the replacement is small in the summer. Although not part of the Supersite program, modeling being conducted by EPA, regional planning organizations, and states for policy purposes has benefited from the detailed data collected, and the PM models have advanced by their more widespread use.

A Conceptual Modeling for a GoldSim Program for Safety Assessment of an LILW Repository

International Nuclear Information System (INIS)

Lee, Youn Myoung; Hwang, Yong Soo; Kang, Chul Hyung; Lee, Sung Ho

2009-12-01

Modeling study and development of a total system performance assessment (TSPA) program, by which an assessment of safety and performance for a low- and intermediate-level radioactive waste disposal repository with normal or abnormal nuclide release cases associated with the various FEPs involved in the performance of the proposed repository could be made has been carrying out by utilizing GoldSim under contract with KRMC. The report deals with a detailed conceptual modeling scheme by which a GoldSim program modules, all of which are integrated into a TSPA program as well as the input data set currently available. In-depth system models that are conceptually and rather practically described and then ready for implementing into a GoldSim program are introduced with plenty of illustrative conceptual models and sketches. The GoldSim program that will be finally developed through this project is expected to be successfully applied to the post closure safety assessment required both for the LILW repository and pyro processed repository by the regulatory body with both increased practicality and much reduced uncertainty

Fractured rock modeling in the National Waste Terminal Storage Program: a review of requirements and status

International Nuclear Information System (INIS)

St John, C.; Krug, A.; Key, S.; Monsees, J.

1983-05-01

Generalized computer codes capable of forming the basis for numerical models of fractured rock masses are being used within the NWTS program. Little additional development of these codes is considered justifiable, except in the area of representation of discrete fractures. On the other hand, model preparation requires definition of medium-specific constitutive descriptions and site characteristics and is therefore legitimately conducted by each of the media-oriented projects within the National Waste Terminal Storage program. However, it is essential that a uniform approach to the role of numerical modeling be adopted, including agreement upon the contribution of modeling to the design and licensing process and the need for, and means of, model qualification for particular purposes. This report discusses the role of numerical modeling, reviews the capabilities of several computer codes that are being used to support design or performance assessment, and proposes a framework for future numerical modeling activities within the NWTS program

Sustainable Cost Models for mHealth at Scale: Modeling Program Data from m4RH Tanzania.

Directory of Open Access Journals (Sweden)

Emily R Mangone

Full Text Available There is increasing evidence that mobile phone health interventions ("mHealth" can improve health behaviors and outcomes and are critically important in low-resource, low-access settings. However, the majority of mHealth programs in developing countries fail to reach scale. One reason may be the challenge of developing financially sustainable programs. The goal of this paper is to explore strategies for mHealth program sustainability and develop cost-recovery models for program implementers using 2014 operational program data from Mobile for Reproductive Health (m4RH, a national text-message (SMS based health communication service in Tanzania.We delineated 2014 m4RH program costs and considered three strategies for cost-recovery for the m4RH program: user pay-for-service, SMS cost reduction, and strategic partnerships. These inputs were used to develop four different cost-recovery scenarios. The four scenarios leveraged strategic partnerships to reduce per-SMS program costs and create per-SMS program revenue and varied the structure for user financial contribution. Finally, we conducted break-even and uncertainty analyses to evaluate the costs and revenues of these models at the 2014 user volume (125,320 and at any possible break-even volume.In three of four scenarios, costs exceeded revenue by $94,596, $34,443, and $84,571 at the 2014 user volume. However, these costs represented large reductions (54%, 83%, and 58%, respectively from the 2014 program cost of $203,475. Scenario four, in which the lowest per-SMS rate ($0.01 per SMS was negotiated and users paid for all m4RH SMS sent or received, achieved a $5,660 profit at the 2014 user volume. A Monte Carlo uncertainty analysis demonstrated that break-even points were driven by user volume rather than variations in program costs.These results reveal that breaking even was only probable when all SMS costs were transferred to users and the lowest per-SMS cost was negotiated with telecom partners

Sustainable Cost Models for mHealth at Scale: Modeling Program Data from m4RH Tanzania.

Science.gov (United States)

Mangone, Emily R; Agarwal, Smisha; L'Engle, Kelly; Lasway, Christine; Zan, Trinity; van Beijma, Hajo; Orkis, Jennifer; Karam, Robert

2016-01-01

There is increasing evidence that mobile phone health interventions ("mHealth") can improve health behaviors and outcomes and are critically important in low-resource, low-access settings. However, the majority of mHealth programs in developing countries fail to reach scale. One reason may be the challenge of developing financially sustainable programs. The goal of this paper is to explore strategies for mHealth program sustainability and develop cost-recovery models for program implementers using 2014 operational program data from Mobile for Reproductive Health (m4RH), a national text-message (SMS) based health communication service in Tanzania. We delineated 2014 m4RH program costs and considered three strategies for cost-recovery for the m4RH program: user pay-for-service, SMS cost reduction, and strategic partnerships. These inputs were used to develop four different cost-recovery scenarios. The four scenarios leveraged strategic partnerships to reduce per-SMS program costs and create per-SMS program revenue and varied the structure for user financial contribution. Finally, we conducted break-even and uncertainty analyses to evaluate the costs and revenues of these models at the 2014 user volume (125,320) and at any possible break-even volume. In three of four scenarios, costs exceeded revenue by $94,596, $34,443, and $84,571 at the 2014 user volume. However, these costs represented large reductions (54%, 83%, and 58%, respectively) from the 2014 program cost of $203,475. Scenario four, in which the lowest per-SMS rate ($0.01 per SMS) was negotiated and users paid for all m4RH SMS sent or received, achieved a $5,660 profit at the 2014 user volume. A Monte Carlo uncertainty analysis demonstrated that break-even points were driven by user volume rather than variations in program costs. These results reveal that breaking even was only probable when all SMS costs were transferred to users and the lowest per-SMS cost was negotiated with telecom partners. While this

NASA's Lunar and Planetary Mapping and Modeling Program

Science.gov (United States)

Law, E.; Day, B. H.; Kim, R. M.; Bui, B.; Malhotra, S.; Chang, G.; Sadaqathullah, S.; Arevalo, E.; Vu, Q. A.

2016-12-01

NASA's Lunar and Planetary Mapping and Modeling Program produces a suite of online visualization and analysis tools. Originally designed for mission planning and science, these portals offer great benefits for education and public outreach (EPO), providing access to data from a wide range of instruments aboard a variety of past and current missions. As a component of NASA's Science EPO Infrastructure, they are available as resources for NASA STEM EPO programs, and to the greater EPO community. As new missions are planned to a variety of planetary bodies, these tools are facilitating the public's understanding of the missions and engaging the public in the process of identifying and selecting where these missions will land. There are currently three web portals in the program: the Lunar Mapping and Modeling Portal or LMMP (http://lmmp.nasa.gov), Vesta Trek (http://vestatrek.jpl.nasa.gov), and Mars Trek (http://marstrek.jpl.nasa.gov). Portals for additional planetary bodies are planned. As web-based toolsets, the portals do not require users to purchase or install any software beyond current web browsers. The portals provide analysis tools for measurement and study of planetary terrain. They allow data to be layered and adjusted to optimize visualization. Visualizations are easily stored and shared. The portals provide 3D visualization and give users the ability to mark terrain for generation of STL files that can be directed to 3D printers. Such 3D prints are valuable tools in museums, public exhibits, and classrooms - especially for the visually impaired. Along with the web portals, the program supports additional clients, web services, and APIs that facilitate dissemination of planetary data to a range of external applications and venues. NASA challenges and hackathons are also providing members of the software development community opportunities to participate in tool development and leverage data from the portals.

NASA Space Radiation Program Integrative Risk Model Toolkit

Science.gov (United States)

Kim, Myung-Hee Y.; Hu, Shaowen; Plante, Ianik; Ponomarev, Artem L.; Sandridge, Chris

2015-01-01

NASA Space Radiation Program Element scientists have been actively involved in development of an integrative risk models toolkit that includes models for acute radiation risk and organ dose projection (ARRBOD), NASA space radiation cancer risk projection (NSCR), hemocyte dose estimation (HemoDose), GCR event-based risk model code (GERMcode), and relativistic ion tracks (RITRACKS), NASA radiation track image (NASARTI), and the On-Line Tool for the Assessment of Radiation in Space (OLTARIS). This session will introduce the components of the risk toolkit with opportunity for hands on demonstrations. The brief descriptions of each tools are: ARRBOD for Organ dose projection and acute radiation risk calculation from exposure to solar particle event; NSCR for Projection of cancer risk from exposure to space radiation; HemoDose for retrospective dose estimation by using multi-type blood cell counts; GERMcode for basic physical and biophysical properties for an ion beam, and biophysical and radiobiological properties for a beam transport to the target in the NASA Space Radiation Laboratory beam line; RITRACKS for simulation of heavy ion and delta-ray track structure, radiation chemistry, DNA structure and DNA damage at the molecular scale; NASARTI for modeling of the effects of space radiation on human cells and tissue by incorporating a physical model of tracks, cell nucleus, and DNA damage foci with image segmentation for the automated count; and OLTARIS, an integrated tool set utilizing HZETRN (High Charge and Energy Transport) intended to help scientists and engineers study the effects of space radiation on shielding materials, electronics, and biological systems.

Possibility/Necessity-Based Probabilistic Expectation Models for Linear Programming Problems with Discrete Fuzzy Random Variables

Directory of Open Access Journals (Sweden)

Hideki Katagiri

2017-10-01

Full Text Available This paper considers linear programming problems (LPPs where the objective functions involve discrete fuzzy random variables (fuzzy set-valued discrete random variables. New decision making models, which are useful in fuzzy stochastic environments, are proposed based on both possibility theory and probability theory. In multi-objective cases, Pareto optimal solutions of the proposed models are newly defined. Computational algorithms for obtaining the Pareto optimal solutions of the proposed models are provided. It is shown that problems involving discrete fuzzy random variables can be transformed into deterministic nonlinear mathematical programming problems which can be solved through a conventional mathematical programming solver under practically reasonable assumptions. A numerical example of agriculture production problems is given to demonstrate the applicability of the proposed models to real-world problems in fuzzy stochastic environments.

SP@CE - An SP-based programming model for consumer electronics streaming applications

NARCIS (Netherlands)

Varbanescu, Ana Lucia; Nijhuis, Maik; Escribano, Arturo González; Sips, Henk; Bos, Herbert; Bal, Henri

2007-01-01

Efficient programming of multimedia streaming applications for Consumer Electronics (CE) devices is not trivial. As a solution for this problem, we present SP@CE, a novel programming model designed to balance the specific requirements of CE streaming applications with the simplicity and efficiency

A model for planning the chemical integrated system under uncertainty by the grey programming approach

DEFF Research Database (Denmark)

Ren, Jingzheng; Tan, Shiyu; Dong, Lichun

2013-01-01

demand, and the production capacity have been considered as mutative variables, then an improved model in which some parameters are not constant has been developed and a new method to solve the grey linear programming has been proposed. In the grey programming model, the value of credibility can...

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking

National Research Council Canada - National Science Library

Clarke, Edmund; Kroening, Daniel; Yorav, Karen

2003-01-01

.... We describe experimental results on various reactive present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking...

Repair models of cell survival and corresponding computer program for survival curve fitting

International Nuclear Information System (INIS)

Shen Xun; Hu Yiwei

1992-01-01

Some basic concepts and formulations of two repair models of survival, the incomplete repair (IR) model and the lethal-potentially lethal (LPL) model, are introduced. An IBM-PC computer program for survival curve fitting with these models was developed and applied to fit the survivals of human melanoma cells HX118 irradiated at different dose rates. Comparison was made between the repair models and two non-repair models, the multitar get-single hit model and the linear-quadratic model, in the fitting and analysis of the survival-dose curves. It was shown that either IR model or LPL model can fit a set of survival curves of different dose rates with same parameters and provide information on the repair capacity of cells. These two mathematical models could be very useful in quantitative study on the radiosensitivity and repair capacity of cells

Development of a Rheumatoid Arthritis Education Program using the PRECEDE_PROCEED Model

Directory of Open Access Journals (Sweden)

Kaveh Bahmanpour

2011-12-01

Full Text Available Background: In order to help rheumatoid arthritis (RA patients in carrying out and attaining relevant self-care behaviors and adaptation to the physical limitations of this disease and, conse-quently, promoting their level of health status, an education program based on the PRECEDE component of the PRECEDE–PROCEED model targeting patients with RA was developed. This paper describes the planning of a RA Patient Education Program (RAPEP designed to promote their quality of life.Methods: The development of the program began with a comprehensive review of the literature. This included a review of the signs and symptoms of RA, accompanying functional disabilities, previous educational programs and the effect of the disease on the patient’s quality of life. Be-sides, in order to help inform RAPEP program development, and organize the survey according to the factors identified in the PRECEDE model a cross-sectional survey was applied on a non-prob-ability sample of 181 outpatients in Yazd, center of Iran.Results: The quality of life (QOL problem identified was the considerable low role functioning, health perception and physical functioning due to chronic pain. One of the most significant modi-fiable behavioral factors impacting pain and functional limitations was self-care behaviors in RA patients. Higher level of knowledge, attitude, self-efficacy, enabling factors and social support is associated with better self-care behavior.Conclusions: The PRECEDE component of the PRECEDE–PROCEED model provided a com-prehensive conceptual framework for the development of RAPEP aiming at RA patients in Yazd. Further research to evaluate this educational program is suggested.

The Norwegian Healthier Goats program--modeling lactation curves using a multilevel cubic spline regression model.

Science.gov (United States)

Nagel-Alne, G E; Krontveit, R; Bohlin, J; Valle, P S; Skjerve, E; Sølverød, L S

2014-07-01

In 2001, the Norwegian Goat Health Service initiated the Healthier Goats program (HG), with the aim of eradicating caprine arthritis encephalitis, caseous lymphadenitis, and Johne's disease (caprine paratuberculosis) in Norwegian goat herds. The aim of the present study was to explore how control and eradication of the above-mentioned diseases by enrolling in HG affected milk yield by comparison with herds not enrolled in HG. Lactation curves were modeled using a multilevel cubic spline regression model where farm, goat, and lactation were included as random effect parameters. The data material contained 135,446 registrations of daily milk yield from 28,829 lactations in 43 herds. The multilevel cubic spline regression model was applied to 4 categories of data: enrolled early, control early, enrolled late, and control late. For enrolled herds, the early and late notations refer to the situation before and after enrolling in HG; for nonenrolled herds (controls), they refer to development over time, independent of HG. Total milk yield increased in the enrolled herds after eradication: the total milk yields in the fourth lactation were 634.2 and 873.3 kg in enrolled early and enrolled late herds, respectively, and 613.2 and 701.4 kg in the control early and control late herds, respectively. Day of peak yield differed between enrolled and control herds. The day of peak yield came on d 6 of lactation for the control early category for parities 2, 3, and 4, indicating an inability of the goats to further increase their milk yield from the initial level. For enrolled herds, on the other hand, peak yield came between d 49 and 56, indicating a gradual increase in milk yield after kidding. Our results indicate that enrollment in the HG disease eradication program improved the milk yield of dairy goats considerably, and that the multilevel cubic spline regression was a suitable model for exploring effects of disease control and eradication on milk yield. Copyright © 2014

Predictive Models of Duration of Ground Delay Programs in New York Area Airports

Science.gov (United States)

Kulkarni, Deepak

2011-01-01

Initially planned GDP duration often turns out to be an underestimate or an overestimate of the actual GDP duration. This, in turn, results in avoidable airborne or ground delays in the system. Therefore, better models of actual duration have the potential of reducing delays in the system. The overall objective of this study is to develop such models based on logs of GDPs. In a previous report, we described descriptive models of Ground Delay Programs. These models were defined in terms of initial planned duration and in terms of categorical variables. These descriptive models are good at characterizing the historical errors in planned GDP durations. This paper focuses on developing predictive models of GDP duration. Traffic Management Initiatives (TMI) are logged by Air Traffic Control facilities with The National Traffic Management Log (NTML) which is a single system for automated recoding, coordination, and distribution of relevant information about TMIs throughout the National Airspace System. (Brickman, 2004 Yuditsky, 2007) We use 2008-2009 GDP data from the NTML database for the study reported in this paper. NTML information about a GDP includes the initial specification, possibly one or more revisions, and the cancellation. In the next section, we describe general characteristics of Ground Delay Programs. In the third section, we develop models of actual duration. In the fourth section, we compare predictive performance of these models. The final section is a conclusion.

A process model of voluntary travel behavior modification and effects of Travel Feedback Programs (TFPs)

OpenAIRE

Taniguchi, Ayako

2007-01-01

This study tested an integrated process model of travel behavior modification. We used a model that combined the theory of planned behavior (TPB), norm activation theory (NAT), a theory of implementation intention, and theories of habit. To test the integrated model, we used panel data (n = 208) obtained before and after travel feedback programs (TFPs); the TFP is a communication program aimed at voluntary travel behavior modification, from automobile use to non-auto means of travel such as p...

Modeling a forced to natural convection boiling test with the program LOOP-W

International Nuclear Information System (INIS)

Carbajo, J.J.

1984-01-01

Extensive testing has been conducted in the Simulant Boiling Flow Visualization (SBFV) loop in which water is boiled in a vertical transparent tube by circulating hot glycerine in an annulus surrounding the tube. Tests ranged from nonboiling forced convection to oscillatory boiling natural convection. The program LOOP-W has been developed to analyze these tests. This program is a multi-leg, one-dimensional, two-phase equilibrium model with slip between the phases. In this study, a specific test, performed at low power where non-boiling forced convection was changed to boiling natural convection and then to non-boiling again, has been modeled with the program LOOP-W

Nutritional programming of gastrointestinal tract development. Is the pig a good model for man?

Science.gov (United States)

Guilloteau, Paul; Zabielski, Romuald; Hammon, Harald M; Metges, Cornelia C

2010-06-01

The consequences of early-life nutritional programming in man and other mammalian species have been studied chiefly at the metabolic level. Very few studies, if any, have been performed in the gastrointestinal tract (GIT) as the target organ, but extensive GIT studies are needed since the GIT plays a key role in nutrient supply and has an impact on functions of the entire organism. The possible deleterious effects of nutritional programming at the metabolic level were discovered following epidemiological studies in human subjects, and confirmed in animal models. Investigating the impact of programming on GIT structure and function would need appropriate animal models due to ethical restrictions in the use of human subjects. The aim of the present review is to discuss the use of pigs as an animal model as a compromise between ethically acceptable animal studies and the requirement of data which can be interpolated to the human situation. In nutritional programming studies, rodents are the most frequently used model for man, but GIT development and digestive function in rodents are considerably different from those in man. In that aspect, the pig GIT is much closer to the human than that of rodents. The swine species is closely comparable with man in many nutritional and digestive aspects, and thus provides ample opportunity to be used in investigations on the consequences of nutritional programming for the GIT. In particular, the 'sow-piglets' dyad could be a useful tool to simulate the 'human mother-infant' dyad in studies which examine short-, middle- and long-term effects and is suggested as the reference model.

Abs: a high-level modeling language for cloud-aware programming

NARCIS (Netherlands)

N. Bezirgiannis (Nikolaos); F.S. de Boer (Frank)

2016-01-01

textabstractCloud technology has become an invaluable tool to the IT business, because of its attractive economic model. Yet, from the programmers’ perspective, the development of cloud applications remains a major challenge. In this paper we introduce a programming language that allows Cloud

A Collective Case Study of Secondary Students' Model-Based Inquiry on Natural Selection through Programming in an Agent-Based Modeling Environment

Science.gov (United States)

Xiang, Lin

2011-01-01

This is a collective case study seeking to develop detailed descriptions of how programming an agent-based simulation influences a group of 8th grade students' model-based inquiry (MBI) by examining students' agent-based programmable modeling (ABPM) processes and the learning outcomes. The context of the present study was a biology unit on…

Coding a Weather Model: DOE-FIU Science & Technology Workforce Development Program.

Energy Technology Data Exchange (ETDEWEB)

Bradley, Jon David [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2017-12-01

DOE Fellow, Andres Cremisini, completed a 10-week internship with Sandia National Laboratories (SNL) in Albuquerque, New Mexico. Under the management of Kristopher Klingler and the mentorship of Jon Bradley, he was tasked with conceiving and coding a realistic weather model for use in physical security applications. The objective was to make a weather model that could use real data to accurately predict wind and precipitation conditions at any location of interest on the globe at any user-determined time. The intern received guidance on software design, the C++ programming language and clear communication of project goals and ongoing progress. In addition, Mr. Cremisini was given license to structure the program however he best saw fit, an experience that will benefit ongoing research endeavors.

Final Report: Center for Programming Models for Scalable Parallel Computing

Energy Technology Data Exchange (ETDEWEB)

Mellor-Crummey, John [William Marsh Rice University

2011-09-13

As part of the Center for Programming Models for Scalable Parallel Computing, Rice University collaborated with project partners in the design, development and deployment of language, compiler, and runtime support for parallel programming models to support application development for the “leadership-class” computer systems at DOE national laboratories. Work over the course of this project has focused on the design, implementation, and evaluation of a second-generation version of Coarray Fortran. Research and development efforts of the project have focused on the CAF 2.0 language, compiler, runtime system, and supporting infrastructure. This has involved working with the teams that provide infrastructure for CAF that we rely on, implementing new language and runtime features, producing an open source compiler that enabled us to evaluate our ideas, and evaluating our design and implementation through the use of benchmarks. The report details the research, development, findings, and conclusions from this work.

Evaluation of a Digital Game-Based Learning Program for Enhancing Youth Mental Health: A Structural Equation Modeling of the Program Effectiveness.

Science.gov (United States)

Huen, Jenny My; Lai, Eliza Sy; Shum, Angie Ky; So, Sam Wk; Chan, Melissa Ky; Wong, Paul Wc; Law, Y W; Yip, Paul Sf

2016-10-07

Digital game-based learning (DGBL) makes use of the entertaining power of digital games for educational purposes. Effectiveness assessment of DGBL programs has been underexplored and no attempt has been made to simultaneously model both important components of DGBL: learning attainment (ie, educational purposes of DGBL) and engagement of users (ie, entertaining power of DGBL) in evaluating program effectiveness. This study aimed to describe and evaluate an Internet-based DGBL program, Professor Gooley and the Flame of Mind, which promotes mental health to adolescents in a positive youth development approach. In particular, we investigated whether user engagement in the DGBL program could enhance their attainment on each of the learning constructs per DGBL module and subsequently enhance their mental health as measured by psychological well-being. Users were assessed on their attainment on each learning construct, psychological well-being, and engagement in each of the modules. One structural equation model was constructed for each DGBL module to model the effect of users' engagement and attainment on the learning construct on their psychological well-being. Of the 498 secondary school students that registered and participated from the first module of the DGBL program, 192 completed all 8 modules of the program. Results from structural equation modeling suggested that a higher extent of engagement in the program activities facilitated users' attainment on the learning constructs on most of the modules and in turn enhanced their psychological well-being after controlling for users' initial psychological well-being and initial attainment on the constructs. This study provided evidence that Internet intervention for mental health, implemented with the technologies and digital innovations of DGBL, could enhance youth mental health. Structural equation modeling is a promising approach in evaluating the effectiveness of DGBL programs.

Document Models

Directory of Open Access Journals (Sweden)

A.A. Malykh

2017-08-01

Full Text Available In this paper, the concept of locally simple models is considered. Locally simple models are arbitrarily complex models built from relatively simple components. A lot of practically important domains of discourse can be described as locally simple models, for example, business models of enterprises and companies. Up to now, research in human reasoning automation has been mainly concentrated around the most intellectually intensive activities, such as automated theorem proving. On the other hand, the retailer business model is formed from ”jobs”, and each ”job” can be modelled and automated more or less easily. At the same time, the whole retailer model as an integrated system is extremely complex. In this paper, we offer a variant of the mathematical definition of a locally simple model. This definition is intended for modelling a wide range of domains. Therefore, we also must take into account the perceptual and psychological issues. Logic is elitist, and if we want to attract to our models as many people as possible, we need to hide this elitism behind some metaphor, to which ’ordinary’ people are accustomed. As such a metaphor, we use the concept of a document, so our locally simple models are called document models. Document models are built in the paradigm of semantic programming. This allows us to achieve another important goal - to make the documentary models executable. Executable models are models that can act as practical information systems in the described domain of discourse. Thus, if our model is executable, then programming becomes redundant. The direct use of a model, instead of its programming coding, brings important advantages, for example, a drastic cost reduction for development and maintenance. Moreover, since the model is well and sound, and not dissolved within programming modules, we can directly apply AI tools, in particular, machine learning. This significantly expands the possibilities for automation and

Mathematical models and algorithms for the computer program 'WOLF'

International Nuclear Information System (INIS)

Halbach, K.

1975-12-01

The computer program FLOW finds the nonrelativistic self- consistent set of two-dimensional ion trajectories and electric fields (including space charges from ions and electrons) for a given set of initial and boundary conditions for the particles and fields. The combination of FLOW with the optimization code PISA gives the program WOLF, which finds the shape of the emitter which is consistent with the plasma forming it, and in addition varies physical characteristics such as electrode position, shapes, and potentials so that some performance characteristics are optimized. The motivation for developing these programs was the desire to design optimum ion source extractor/accelerator systems in a systematic fashion. The purpose of this report is to explain and derive the mathematical models and algorithms which approximate the real physical processes. It serves primarily to document the computer programs. 10 figures

NEURO-FUZZY MODELING APPLIED IN PROGRAM MANAGEMENT TO INCREASE LOCAL PUBLIC ADMINISTRATION PERFORMANCE

Directory of Open Access Journals (Sweden)

Adrian-Mihai Zaharia-Radulescu

2016-07-01

Full Text Available One of the challenges in local public administration is dealing with an increasing number of competing requests coming from the communities they serve. The traditional approach would be to handle each request as a standalone project and be prioritized according to benefits and budget available. More and more nowadays program management is becoming a standard approach in managing the initiatives of local public administration. Program management approach is itself an enabler for performance in public sector organizations by allowing an organization to better coordinate its efforts and resources in managing a portfolio of projects. This paper aims to present how neuro-fuzzy modeling applied in program management can help an organization to increase its performance. Neuro-fuzzy modeling would lead organizations one step further by allowing them to simulate different scenarios and manage better the risks accompanying their initiatives. The research done by the authors is theoretical and combines knowledge from different areas and a neuro-fuzzy model is proposed and discussed.

Using program logic model analysis to evaluate and better deliver what works

International Nuclear Information System (INIS)

Megdal, Lori; Engle, Victoria; Pakenas, Larry; Albert, Scott; Peters, Jane; Jordan, Gretchen

2005-01-01

There is a rich history in using program theories and logic models (PT/LM) for evaluation, monitoring, and program refinement in a variety of fields, such as health care, social and education programs. The use of these tools to evaluate and improve energy efficiency programs has been growing over the last 5-7 years. This paper provides an overview of the state-of-the-art methods of logic model development, with analysis that significantly contributed to: Assessing the logic behind how the program expects to be able to meets its ultimate goals, including the 'who', the 'how', and through what mechanism. In doing so, gaps and questions that still need to be addressed can be identified. Identifying and prioritize the indicators that should be measured to evaluate the program and program theory. Determining key researchable questions that need to be answered by evaluation/research, to assess whether the mechanism assumed to cause the changes in actions, attitudes, behaviours, and business practices is workable and efficient. Also will assess the validity in the program logic and the likelihood that the program can accomplish its ultimate goals. Incorporating analysis of prior like programs and social science theories in a framework to identify opportunities for potential program refinements. The paper provides an overview of the tools, techniques and references, and uses as example the energy efficiency program analysis conducted for the New York State Energy Research and Development Authority's (NYSERDA) New York ENERGY $MART SM programs

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.

Science.gov (United States)

Guziolowski, Carito; Videla, Santiago; Eduati, Federica; Thiele, Sven; Cokelaer, Thomas; Siegel, Anne; Saez-Rodriguez, Julio

2013-09-15

Logic modeling is a useful tool to study signal transduction across multiple pathways. Logic models can be generated by training a network containing the prior knowledge to phospho-proteomics data. The training can be performed using stochastic optimization procedures, but these are unable to guarantee a global optima or to report the complete family of feasible models. This, however, is essential to provide precise insight in the mechanisms underlaying signal transduction and generate reliable predictions. We propose the use of Answer Set Programming to explore exhaustively the space of feasible logic models. Toward this end, we have developed caspo, an open-source Python package that provides a powerful platform to learn and characterize logic models by leveraging the rich modeling language and solving technologies of Answer Set Programming. We illustrate the usefulness of caspo by revisiting a model of pro-growth and inflammatory pathways in liver cells. We show that, if experimental error is taken into account, there are thousands (11 700) of models compatible with the data. Despite the large number, we can extract structural features from the models, such as links that are always (or never) present or modules that appear in a mutual exclusive fashion. To further characterize this family of models, we investigate the input-output behavior of the models. We find 91 behaviors across the 11 700 models and we suggest new experiments to discriminate among them. Our results underscore the importance of characterizing in a global and exhaustive manner the family of feasible models, with important implications for experimental design. caspo is freely available for download (license GPLv3) and as a web service at http://caspo.genouest.org/. Supplementary materials are available at Bioinformatics online. santiago.videla@irisa.fr.

Evaluation of medical education virtual program: P3 model

Directory of Open Access Journals (Sweden)

RITA REZAEE

2016-10-01

Full Text Available Introduction: In e-learning, people get involved in a process and create the content (product and make it available for virtual learners. The present study was carried out in order to evaluate the first virtual master program in medical education at Shiraz University of Medical Sciences according to P3 Model. Methods: This is an evaluation research study with post single group design used to determine how effective this program was. All students 60 who participated more than one year in this virtual program and 21 experts including teachers and directors participated in this evaluation project. Based on the P3 e-learning model, an evaluation tool with 5-point Likert rating scale was designed and applied to collect the descriptive data. Results: Students reported storyboard and course design as the most desirable element of learning environment (2.30±0.76, but they declared technical support as the less desirable part (1.17±1.23. Conclusion: Presence of such framework in this regard and using it within the format of appropriate tools for evaluation of e-learning in universities and higher education institutes, which present e-learning curricula in the country, may contribute to implementation of the present and future e-learning curricula efficiently and guarantee its implementation in an appropriate way.

Assessment model validity document. NAMMU: A program for calculating groundwater flow and transport through porous media

International Nuclear Information System (INIS)

Cliffe, K.A.; Morris, S.T.; Porter, J.D.

1998-05-01

NAMMU is a computer program for modelling groundwater flow and transport through porous media. This document provides an overview of the use of the program for geosphere modelling in performance assessment calculations and gives a detailed description of the program itself. The aim of the document is to give an indication of the grounds for having confidence in NAMMU as a performance assessment tool. In order to achieve this the following topics are discussed. The basic premises of the assessment approach and the purpose of and nature of the calculations that can be undertaken using NAMMU are outlined. The concepts of the validation of models and the considerations that can lead to increased confidence in models are described. The physical processes that can be modelled using NAMMU and the mathematical models and numerical techniques that are used to represent them are discussed in some detail. Finally, the grounds that would lead one to have confidence that NAMMU is fit for purpose are summarised

MathModelica - An Extensible Modeling and Simulation Environment with Integrated Graphics and Literate Programming

OpenAIRE

Fritzson, Peter; Gunnarsson, Johan; Jirstrand, Mats

2002-01-01

MathModelica is an integrated interactive development environment for advanced system modeling and simulation. The environment integrates Modelica-based modeling and simulation with graphic design, advanced scripting facilities, integration of program code, test cases, graphics, documentation, mathematical type setting, and symbolic formula manipulation provided via Mathematica. The user interface consists of a graphical Model Editor and Notebooks. The Model Editor is a graphical user interfa...

Models for Theory-Based M.A. and Ph.D. Programs.

Science.gov (United States)

Botan, Carl; Vasquez, Gabriel

1999-01-01

Presents work accomplished at the 1998 National Communication Association Summer Conference. Outlines reasons for theory-based education in public relations. Presents an integrated model of student outcomes, curriculum, pedagogy, and assessment for theory-based master's and doctoral programs, including assumptions made and rationale for such…

THE PROPOSED MODEL OF COLLABORATIVE VIRTUAL LEARNING ENVIRONMENT FOR INTRODUCTORY PROGRAMMING COURSE

Directory of Open Access Journals (Sweden)

Mahfudzah OTHMAN

2012-01-01

Full Text Available This paper discusses the proposed model of the collaborative virtual learning system for the introductory computer programming course which uses one of the collaborative learning techniques known as the “Think-Pair-Share”. The main objective of this study is to design a model for an online learning system that facilitates the collaborative learning activities in a virtual environment such as online communications and pair or small group discussions. In order to model the virtual learning environment, the RUP methodology has been used where it involves the data collection phase and the analysis and design phase. Fifty respondents have been randomly selected to participate in the data collection phase to investigate the students’ interest and learning styles as well as their learning preferences. The results have shown the needs for the development of online small group discussions that can be used as an alternative learning style for programming courses. The proposed design of the virtual learning system named as the Online Collaborative Learning System or OCLS is being depicted using the object-oriented models which are the use-case model and class diagram in order to show the concise processes of virtual “Think-Pair-Share” collaborative activities. The “Think-Pair-Share” collaborative learning technique that is being used in this model has been chosen because of its simplicity and relatively low-risk. This paper also presents the proposed model of the system’s architecture that will become the guidelines for the physical development of OCLS using the web-based applications.

A linear goal programming model for urban energy-economy-environment interaction

Energy Technology Data Exchange (ETDEWEB)

Kambo, N.S.; Handa, B.R. (Indian Inst. of Tech., New Delhi (India). Dept. of Mathematics); Bose, R.K. (Tata Energy Research Inst., New Delhi (India))

1991-01-01

This paper provides a comprehensive and systematic analysis of energy and pollution problems interconnected with the economic structure, by using a multi-objective sectoral end-use model for addressing regional energy policy issues. The multi-objective model proposed for the study is a 'linear goal programming (LGP)' technique of analysing a 'reference energy system (RES)' in a framework within which alternative policies and technical strategies may be evaluated. The model so developed has further been tested for the city of Delhi (India) for the period 1985 - 86, and a scenario analysis has been carried out by assuming different policy options. (orig./BWJ).

On the Reliability of Nonlinear Modeling using Enhanced Genetic Programming Techniques

Science.gov (United States)

Winkler, S. M.; Affenzeller, M.; Wagner, S.

The use of genetic programming (GP) in nonlinear system identification enables the automated search for mathematical models that are evolved by an evolutionary process using the principles of selection, crossover and mutation. Due to the stochastic element that is intrinsic to any evolutionary process, GP cannot guarantee the generation of similar or even equal models in each GP process execution; still, if there is a physical model underlying to the data that are analyzed, then GP is expected to find these structures and produce somehow similar results. In this paper we define a function for measuring the syntactic similarity of mathematical models represented as structure trees; using this similarity function we compare the results produced by GP techniques for a data set representing measurement data of a BMW Diesel engine.

Mixed integer linear programming model for dynamic supplier selection problem considering discounts

Directory of Open Access Journals (Sweden)

Adi Wicaksono Purnawan

2018-01-01

Full Text Available Supplier selection is one of the most important elements in supply chain management. This function involves evaluation of many factors such as, material costs, transportation costs, quality, delays, supplier capacity, storage capacity and others. Each of these factors varies with time, therefore, supplier identified for one period is not necessarily be same for the next period to supply the same product. So, mixed integer linear programming (MILP was developed to overcome the dynamic supplier selection problem (DSSP. In this paper, a mixed integer linear programming model is built to solve the lot-sizing problem with multiple suppliers, multiple periods, multiple products and quantity discounts. The buyer has to make a decision for some products which will be supplied by some suppliers for some periods cosidering by discount. To validate the MILP model with randomly generated data. The model is solved by Lingo 16.

Adaptation and Re-Use of Spacecraft Power System Models for the Constellation Program

Science.gov (United States)

Hojnicki, Jeffrey S.; Kerslake, Thomas W.; Ayres, Mark; Han, Augustina H.; Adamson, Adrian M.

2008-01-01

NASA's Constellation Program is embarking on a new era of space exploration, returning to the Moon and beyond. The Constellation architecture will consist of a number of new spacecraft elements, including the Orion crew exploration vehicle, the Altair lunar lander, and the Ares family of launch vehicles. Each of these new spacecraft elements will need an electric power system, and those power systems will need to be designed to fulfill unique mission objectives and to survive the unique environments encountered on a lunar exploration mission. As with any new spacecraft power system development, preliminary design work will rely heavily on analysis to select the proper power technologies, size the power system components, and predict the system performance throughout the required mission profile. Constellation projects have the advantage of leveraging power system modeling developments from other recent programs such as the International Space Station (ISS) and the Mars Exploration Program. These programs have developed mature power system modeling tools, which can be quickly modified to meet the unique needs of Constellation, and thus provide a rapid capability for detailed power system modeling that otherwise would not exist.

Inexact nonlinear improved fuzzy chance-constrained programming model for irrigation water management under uncertainty

Science.gov (United States)

Zhang, Chenglong; Zhang, Fan; Guo, Shanshan; Liu, Xiao; Guo, Ping

2018-01-01

An inexact nonlinear mλ-measure fuzzy chance-constrained programming (INMFCCP) model is developed for irrigation water allocation under uncertainty. Techniques of inexact quadratic programming (IQP), mλ-measure, and fuzzy chance-constrained programming (FCCP) are integrated into a general optimization framework. The INMFCCP model can deal with not only nonlinearities in the objective function, but also uncertainties presented as discrete intervals in the objective function, variables and left-hand side constraints and fuzziness in the right-hand side constraints. Moreover, this model improves upon the conventional fuzzy chance-constrained programming by introducing a linear combination of possibility measure and necessity measure with varying preference parameters. To demonstrate its applicability, the model is then applied to a case study in the middle reaches of Heihe River Basin, northwest China. An interval regression analysis method is used to obtain interval crop water production functions in the whole growth period under uncertainty. Therefore, more flexible solutions can be generated for optimal irrigation water allocation. The variation of results can be examined by giving different confidence levels and preference parameters. Besides, it can reflect interrelationships among system benefits, preference parameters, confidence levels and the corresponding risk levels. Comparison between interval crop water production functions and deterministic ones based on the developed INMFCCP model indicates that the former is capable of reflecting more complexities and uncertainties in practical application. These results can provide more reliable scientific basis for supporting irrigation water management in arid areas.

Fuzzy chance constrained linear programming model for scrap charge optimization in steel production

DEFF Research Database (Denmark)

Rong, Aiying; Lahdelma, Risto

2008-01-01

the uncertainty based on fuzzy set theory and constrain the failure risk based on a possibility measure. Consequently, the scrap charge optimization problem is modeled as a fuzzy chance constrained linear programming problem. Since the constraints of the model mainly address the specification of the product...

Studying the teaching of kindness: A conceptual model for evaluating kindness education programs in schools.

Science.gov (United States)

Kaplan, Deanna M; deBlois, Madeleine; Dominguez, Violeta; Walsh, Michele E

2016-10-01

Recent research suggests that school-based kindness education programs may benefit the learning and social-emotional development of youth and may improve school climate and school safety outcomes. However, how and to what extent kindness education programming influences positive outcomes in schools is poorly understood, and such programs are difficult to evaluate in the absence of a conceptual model for studying their effectiveness. In partnership with Kind Campus, a widely adopted school-based kindness education program that uses a bottom-up program framework, a methodology called concept mapping was used to develop a conceptual model for evaluating school-based kindness education programs from the input of 123 middle school students and approximately 150 educators, school professionals, and academic scholars. From the basis of this model, recommendations for processes and outcomes that would be useful to assess in evaluations of kindness education programs are made, and areas where additional instrument development may be necessary are highlighted. The utility of the concept mapping method as an initial step in evaluating other grassroots or non-traditional educational programming is also discussed. Copyright © 2016 Elsevier Ltd. All rights reserved.

Requirements Modeling with Agent Programming

Science.gov (United States)

Dasgupta, Aniruddha; Krishna, Aneesh; Ghose, Aditya K.

Agent-oriented conceptual modeling notations are highly effective in representing requirements from an intentional stance and answering questions such as what goals exist, how key actors depend on each other, and what alternatives must be considered. In this chapter, we review an approach to executing i* models by translating these into set of interacting agents implemented in the CASO language and suggest how we can perform reasoning with requirements modeled (both functional and non-functional) using i* models. In this chapter we particularly incorporate deliberation into the agent design. This allows us to benefit from the complementary representational capabilities of the two frameworks.

Tecnomatix Plant Simulation modeling and programming by means of examples

CERN Document Server

Bangsow, Steffen

2015-01-01

This book systematically introduces the development of simulation models as well as the implementation and evaluation of simulation experiments with Tecnomatix Plant Simulation. It deals with all users of Plant Simulation, who have more complex tasks to handle. It also looks for an easy entry into the program. Particular attention has been paid to introduce the simulation flow language SimTalk and its use in various areas of the simulation. The author demonstrates with over 200 examples how to combine the blocks for simulation models and how to deal with SimTalk for complex control and analys

The Displacement Effect of Labour-Market Programs: Estimates from the MONASH Model

OpenAIRE

Peter B. Dixon; Maureen T. Rimmer

2005-01-01

A key question concerning labour-market programs is the extent to which they generate jobs for their target group at the expense of others. This effect is measured by displacement percentages. We describe a version of the MONASH model designed to quantify the effects of labour-market programs. Our simulation results suggests that: (1) labour-market programs can generate significant long-run increases in employment; (2) displacement percentages depend on how a labour-market program affects the...

CO-CD base management model of Universitas Terbuka community service program

Science.gov (United States)

Kridasakti, S. W.; Sudirah; Siregar, H.

2018-03-01

These studies were to respond whether the UT social-aid management had been executed under CO-CD principles (Ife J. 1995) and what CO-CD base community service management model can be built. The goals of these evaluational studies were UT social-aid managerial performance profile (2011-2013) and CO-CD management model development. The methods used were Survey and FGD. For data collection were involving the UT officers, the counterparts, and the documents. The analysis used combination between the Performance Analysis (Irawan P., 2003) and the CIPP (Stuffelbeam, D, L., & Shinkfield, A, J., 1985). The findings showed that the quantitative targeting in program completion was credible in achievement (85%). However, the “qulitative targeting” of the management goals was indicating far from a good-stage (≤5.0_Interval-Force: 1-10 Scale). The “Gap” was due to the absent of socialization_needs-analysis_maintenance_release factors on the UT social-service grand-policy. The trial of CO-CD Base Management Model had been imposed to the community that turned out to be very effective to self-help, and the ensuing SOP had been successfully defined. Conclusion, ‘CO-CD Principles’ were not designed in UT community service programs management. However, if efficiency and effectivity likely to be achieved, the SOP of ‘CO-CD Base Management Model has to be adopted.

Consideration in selecting crops for the human-rated life support system: a Linear Programming model

Science.gov (United States)

Wheeler, E. F.; Kossowski, J.; Goto, E.; Langhans, R. W.; White, G.; Albright, L. D.; Wilcox, D.; Henninger, D. L. (Principal Investigator)

1996-01-01

A Linear Programming model has been constructed which aids in selecting appropriate crops for CELSS (Controlled Environment Life Support System) food production. A team of Controlled Environment Agriculture (CEA) faculty, staff, graduate students and invited experts representing more than a dozen disciplines, provided a wide range of expertise in developing the model and the crop production program. The model incorporates nutritional content and controlled-environment based production yields of carefully chosen crops into a framework where a crop mix can be constructed to suit the astronauts' needs. The crew's nutritional requirements can be adequately satisfied with only a few crops (assuming vitamin mineral supplements are provided) but this will not be satisfactory from a culinary standpoint. This model is flexible enough that taste and variety driven food choices can be built into the model.

Compartment modelling in nuclear medicine: a new program for the determination of transfer coefficients

International Nuclear Information System (INIS)

Hallstadius, L.

1986-01-01

In many investigations concerning transport/exchange of matter in a natural system, e.g. functional studies in nuclear medicine, it is advantageous to relate experimental results to a model of the system. A new computer program is presented for the determination of linear transfer coefficients in a compartment model from experimentally observed time-compartment content curves. The program performs a least-square fit with the specified precision of the observed values as weight factors. The resulting uncertainty in the calculated transfer coefficients may also be assessed. The application of the program in nuclear medicine is demonstrated and discussed. (author)

Forecasting Shaharchay River Flow in Lake Urmia Basin using Genetic Programming and M5 Model Tree

Directory of Open Access Journals (Sweden)

S. Samadianfard

2017-01-01

Full Text Available Introduction: Precise prediction of river flows is the key factor for proper planning and management of water resources. Thus, obtaining the reliable methods for predicting river flows has great importance in water resource engineering. In the recent years, applications of intelligent methods such as artificial neural networks, fuzzy systems and genetic programming in water science and engineering have been grown extensively. These mentioned methods are able to model nonlinear process of river flows without any need to geometric properties. A huge number of studies have been reported in the field of using intelligent methods in water resource engineering. For example, Noorani and Salehi (23 presented a model for predicting runoff in Lighvan basin using adaptive neuro-fuzzy network and compared the performance of it with neural network and fuzzy inference methods in east Azerbaijan, Iran. Nabizadeh et al. (21 used fuzzy inference system and adaptive neuro-fuzzy inference system in order to predict river flow in Lighvan river. Khalili et al. (13 proposed a BL-ARCH method for prediction of flows in Shaharchay River in Urmia. Khu et al. (16 used genetic programming for runoff prediction in Orgeval catchment in France. Firat and Gungor (11 evaluated the fuzzy-neural model for predicting Mendes river flow in Turkey. The goal of present study is comparing the performance of genetic programming and M5 model trees for prediction of Shaharchay river flow in the basin of Lake Urmia and obtaining a comprehensive insight of their abilities. Materials and Methods: Shaharchay river as a main source of providing drinking water of Urmia city and agricultural needs of surrounding lands and finally one of the main input sources of Lake Urmia is quite important in the region. For obtaining the predetermined goals of present study, average monthly flows of Shaharchay River in Band hydrometric station has been gathered from 1951 to 2011. Then, two third of mentioned

The NASA/National Space Science Data Center trapped radiation environment model program, 1964 - 1991

International Nuclear Information System (INIS)

Vette, J.I.

1991-11-01

The major effort that NASA, initially with the help of the United States Air Force (USAF), carried out for 27 years to synthesize the experimental and theoretical results of space research related to energetic charged particles into a quantitative description of the terrestrial trapped radiation environment in the form of model environments is detailed. The effort is called the Trapped Radiation Environment Modeling Program (TREMP). In chapter 2 the historical background leading to the establishment of this program is given. Also, the purpose of this modeling program as established by the founders of the program is discussed. This is followed in chapter 3 by the philosophy and approach that was applied in this program throughout its lifetime. As will be seen, this philosophy led to the continuation of the program long after it would have expired. The highlights of the accomplishments are presented in chapter 4. A view to future possible efforts in this arena is given in chapter 5, mainly to pass on to future workers the differences that are perceived from these many years of experience. Chapter 6 is an appendix that details the chronology of the development of TREMP. Finally, the references, which document the work accomplished over these years, are presented in chapter 7

LUDEP 1. 0, a personal computer program to implement the new ICRP respiratory tract model

Energy Technology Data Exchange (ETDEWEB)

Jarvis, N.S.; Birchall, A. (National Radiological Protection Board, Chilton (United Kingdom))

1994-01-01

The International Commission on Radiological Protection has recently approved a new model of the human respiratory tract. This model has been designed to represent realistically the deposition and biokinetic behaviour of inhaled radionuclides, and to calculate doses to the respiratory tract. In order to examine the practical application and radiological implications of the new model, a Personal Computer program has been developed. LUDEP 1.0 is a user-friendly program for the IBM-compatible PC which enables the user to calculate doses to the respiratory tract and to other organs. (author).

Multi-gene genetic programming based predictive models for municipal solid waste gasification in a fluidized bed gasifier.

Science.gov (United States)

Pandey, Daya Shankar; Pan, Indranil; Das, Saptarshi; Leahy, James J; Kwapinski, Witold

2015-03-01

A multi-gene genetic programming technique is proposed as a new method to predict syngas yield production and the lower heating value for municipal solid waste gasification in a fluidized bed gasifier. The study shows that the predicted outputs of the municipal solid waste gasification process are in good agreement with the experimental dataset and also generalise well to validation (untrained) data. Published experimental datasets are used for model training and validation purposes. The results show the effectiveness of the genetic programming technique for solving complex nonlinear regression problems. The multi-gene genetic programming are also compared with a single-gene genetic programming model to show the relative merits and demerits of the technique. This study demonstrates that the genetic programming based data-driven modelling strategy can be a good candidate for developing models for other types of fuels as well. Copyright © 2014 Elsevier Ltd. All rights reserved.

Fuzzy bilevel programming with multiple non-cooperative followers: model, algorithm and application

Science.gov (United States)

Ke, Hua; Huang, Hu; Ralescu, Dan A.; Wang, Lei

2016-04-01

In centralized decision problems, it is not complicated for decision-makers to make modelling technique selections under uncertainty. When a decentralized decision problem is considered, however, choosing appropriate models is no longer easy due to the difficulty in estimating the other decision-makers' inconclusive decision criteria. These decision criteria may vary with different decision-makers because of their special risk tolerances and management requirements. Considering the general differences among the decision-makers in decentralized systems, we propose a general framework of fuzzy bilevel programming including hybrid models (integrated with different modelling methods in different levels). Specially, we discuss two of these models which may have wide applications in many fields. Furthermore, we apply the proposed two models to formulate a pricing decision problem in a decentralized supply chain with fuzzy coefficients. In order to solve these models, a hybrid intelligent algorithm integrating fuzzy simulation, neural network and particle swarm optimization based on penalty function approach is designed. Some suggestions on the applications of these models are also presented.

Off-critical statistical models: factorized scattering theories and bootstrap program

International Nuclear Information System (INIS)

Mussardo, G.

1992-01-01

We analyze those integrable statistical systems which originate from some relevant perturbations of the minimal models of conformal field theories. When only massive excitations are present, the systems can be efficiently characterized in terms of the relativistic scattering data. We review the general properties of the factorizable S-matrix in two dimensions with particular emphasis on the bootstrap principle. The classification program of the allowed spins of conserved currents and of the non-degenerate S-matrices is discussed and illustrated by means of some significant examples. The scattering theories of several massive perturbations of the minimal models are fully discussed. Among them are the Ising model, the tricritical Ising model, the Potts models, the series of the non-unitary minimal models M 2,2n+3 , the non-unitary model M 3,5 and the scaling limit of the polymer system. The ultraviolet limit of these massive integrable theories can be exploited by the thermodynamics Bethe ansatz, in particular the central charge of the original conformal theories can be recovered from the scattering data. We also consider the numerical method based on the so-called conformal space truncated approach which confirms the theoretical results and allows a direct measurement of the scattering data, i.e. the masses and the S-matrix of the particles in bootstrap interaction. The problem of computing the off-critical correlation functions is discussed in terms of the form-factor approach

Promoting Strategic STEM Education Outreach Programming Using a Systems-Based STEM-EO Model

Science.gov (United States)

Ward, Annmarie R.

2015-01-01

In this paper a STEM Education Outreach (STEM-EO) Model for promoting strategic university outreach programming at Penn State University to the benefit of university, school district and community stakeholders is described. The model considers STEM-EO as a complex system involving overarching learning goals addressed within four outreach domains…

Comparing the engineering program feeders from SiF and convention models

Science.gov (United States)

Roongruangsri, Warawaran; Moonpa, Niwat; Vuthijumnonk, Janyawat; Sangsuwan, Kampanart

2018-01-01

This research aims to compare the relationship between two types of engineering program feeder models within the technical education systems of Rajamangala University of Technology Lanna (RMUTL), Chiangmai, Thailand. To illustrate, the paper refers to two typologies of feeder models, which are the convention and the school in factory (SiF) models. The new SiF model is developed through a collaborative educational process between the sectors of industry, government and academia, using work-integrated learning. The research methodology were use to compared features of the the SiF model with conventional models in terms of learning outcome, funding budget for the study, the advantages and disadvantages from the point of view of students, professors, the university, government and industrial partners. The results of this research indicate that the developed SiF feeder model is the most pertinent ones as it meet the requirements of the university, the government and the industry. The SiF feeder model showed the ability to yield positive learning outcomes with low expenditures per student for both the family and the university. In parallel, the sharing of knowledge between university and industry became increasingly important in the process, which resulted in the improvement of industrial skills for professors and an increase in industrial based research for the university. The SiF feeder model meets its demand of public policy in supporting a skilled workforce for the industry, which could be an effective tool for the triple helix educational model of Thailand.

Modelling the effect of structural QSAR parameters on skin penetration using genetic programming

International Nuclear Information System (INIS)

Chung, K K; Do, D Q

2010-01-01

In order to model relationships between chemical structures and biological effects in quantitative structure–activity relationship (QSAR) data, an alternative technique of artificial intelligence computing—genetic programming (GP)—was investigated and compared to the traditional method—statistical. GP, with the primary advantage of generating mathematical equations, was employed to model QSAR data and to define the most important molecular descriptions in QSAR data. The models predicted by GP agreed with the statistical results, and the most predictive models of GP were significantly improved when compared to the statistical models using ANOVA. Recently, artificial intelligence techniques have been applied widely to analyse QSAR data. With the capability of generating mathematical equations, GP can be considered as an effective and efficient method for modelling QSAR data

Cervical cancer prevention program in Jakarta, Indonesia: See and Treat model in developing country

OpenAIRE

Nuranna, Laila; Aziz, Mohamad Farid; Cornain, Santoso; Purwoto, Gatot; Purbadi, Sigit; Budiningsih, Setyawati; Siregar, Budiningsih; Peters, Alexander Arnold Willem

2012-01-01

Objective The purpose of this study was to describe the implementation of single visit approach or See-visual inspection of the cervix with acetic acid (VIA)-and Treat-immediate cryotherapy in the VIA positive cases-model for the cervical cancer prevention in Jakarta, Indonesia. Methods An observational study in community setting for See and Treat program was conducted in Jakarta from 2007 until 2010. The program used a proactive and coordinative with VIA and cryotherapy (Proactive-VO) model ...

Mixed Integer Linear Programming model for Crude Palm Oil Supply Chain Planning

Science.gov (United States)

Sembiring, Pasukat; Mawengkang, Herman; Sadyadharma, Hendaru; Bu'ulolo, F.; Fajriana

2018-01-01

The production process of crude palm oil (CPO) can be defined as the milling process of raw materials, called fresh fruit bunch (FFB) into end products palm oil. The process usually through a series of steps producing and consuming intermediate products. The CPO milling industry considered in this paper does not have oil palm plantation, therefore the FFB are supplied by several public oil palm plantations. Due to the limited availability of FFB, then it is necessary to choose from which plantations would be appropriate. This paper proposes a mixed integer linear programming model the supply chain integrated problem, which include waste processing. The mathematical programming model is solved using neighborhood search approach.

Optimization Models for Reaction Networks: Information Divergence, Quadratic Programming and Kirchhoff’s Laws

Directory of Open Access Journals (Sweden)

Julio Michael Stern

2014-03-01

Full Text Available This article presents a simple derivation of optimization models for reaction networks leading to a generalized form of the mass-action law, and compares the formal structure of Minimum Information Divergence, Quadratic Programming and Kirchhoff type network models. These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and statistical significance of sharp or precise hypotheses in empirical science.

NDEA FOREIGN LANGUAGE INSTITUTE PROGRAMS--THE DEVELOPMENT OF A NEW EDUCATIONAL MODEL.

Science.gov (United States)

AXELROD, JOSEPH

FOREIGN LANGUAGE INSTITUTE PROGRAMS, HAVING ADOPTED A STRUCTURE OUTSIDE OF THE DOMINANT MODEL IN EDUCATION, HIGHLIGHT WHAT IS WRONG WITH THE ESTABLISHED HIGHER EDUCATIONAL SYSTEM AND GIVE CLUES AS TO HOW IT MAY BE IMPROVED. THESE INSTITUTE PROGRAMS OFFER A PERSONALIZED ATMOSPHERE, WITH CURRICULAR UNITY, WHERE LEARNING IS MORE OF A GROUP ACTIVITY,…

Program description of FIBRAM: a radiation attenuation model for optical fibers

International Nuclear Information System (INIS)

Ingram, W.J.

1987-06-01

The report describes a fiber optics system model and its computer implementation. This implementation can calculate the bit error ratio (BER) versus time for optical fibers that have been exposed to gamma radiation. The program is designed so that the user may arbitrarily change any or all of the system input variables and produce separate output calculations. The primary output of the program is a table of the BER as a function of time. This table may be stored on magnetic media and later incorporated into computer graphics programs

COMPETENCE-BASED APPROACH TO MODELLING STRUCTURES OF THE MAIN EDUCATIONAL PROGRAM

Directory of Open Access Journals (Sweden)

V. A. Gerasimova

2015-01-01

Full Text Available By the analysis results of scientific works in the field of competence-based approach in education authors proved need of computer support of the planning and development stage of the main educational program, they developed the main educational program structure automatic formation model on the graphs basis, offered the integrated criterion of an discipline assessment and developed a strategic map of a discipline complex assessment. The executed theoretical researches are a basis for creation of the main educational program planning and development support automated system.

Improved atmospheric dispersion modelling in the new program system UFOMOD for accident consequence assessments

International Nuclear Information System (INIS)

Panitz, H.J.

1988-01-01

An essential aim of the improvements of the new program system UFOMOD for Accident Consequence Assessments (ACAs) was to substitute the straightline Gaussian plume model conventionally used in ACA models by more realistic atmospheric dispersion models. To identify improved models which can be applied in ACA codes and to quantify the implications of different concepts of dispersion modelling on the results of an ACA, probabilistic comparative calculations with different atmospheric dispersion models have been carried out. The study showed that there are trajectory models available which can be applied in ACAs and that these trajectory models provide more realistic results of ACAs than straight-line Gaussian models. This led to a completly novel concept of atmospheric dispersion modelling which distinguish between two different distance ranges of validity: the near range ( 50 km). The two ranges are assigned to respective trajectory models

Teaching Scientific Computing: A Model-Centered Approach to Pipeline and Parallel Programming with C

Directory of Open Access Journals (Sweden)

Vladimiras Dolgopolovas

2015-01-01

Full Text Available The aim of this study is to present an approach to the introduction into pipeline and parallel computing, using a model of the multiphase queueing system. Pipeline computing, including software pipelines, is among the key concepts in modern computing and electronics engineering. The modern computer science and engineering education requires a comprehensive curriculum, so the introduction to pipeline and parallel computing is the essential topic to be included in the curriculum. At the same time, the topic is among the most motivating tasks due to the comprehensive multidisciplinary and technical requirements. To enhance the educational process, the paper proposes a novel model-centered framework and develops the relevant learning objects. It allows implementing an educational platform of constructivist learning process, thus enabling learners’ experimentation with the provided programming models, obtaining learners’ competences of the modern scientific research and computational thinking, and capturing the relevant technical knowledge. It also provides an integral platform that allows a simultaneous and comparative introduction to pipelining and parallel computing. The programming language C for developing programming models and message passing interface (MPI and OpenMP parallelization tools have been chosen for implementation.

Optimal blood glucose level control using dynamic programming based on minimal Bergman model

Science.gov (United States)

Rettian Anggita Sari, Maria; Hartono

2018-03-01

The purpose of this article is to simulate the glucose dynamic and the insulin kinetic of diabetic patient. The model used in this research is a non-linear Minimal Bergman model. Optimal control theory is then applied to formulate the problem in order to determine the optimal dose of insulin in the treatment of diabetes mellitus such that the glucose level is in the normal range for some specific time range. The optimization problem is solved using dynamic programming. The result shows that dynamic programming is quite reliable to represent the interaction between glucose and insulin levels in diabetes mellitus patient.

Agent-based modeling as a tool for program design and evaluation.

Science.gov (United States)

Lawlor, Jennifer A; McGirr, Sara

2017-12-01

Recently, systems thinking and systems science approaches have gained popularity in the field of evaluation; however, there has been relatively little exploration of how evaluators could use quantitative tools to assist in the implementation of systems approaches therein. The purpose of this paper is to explore potential uses of one such quantitative tool, agent-based modeling, in evaluation practice. To this end, we define agent-based modeling and offer potential uses for it in typical evaluation activities, including: engaging stakeholders, selecting an intervention, modeling program theory, setting performance targets, and interpreting evaluation results. We provide demonstrative examples from published agent-based modeling efforts both inside and outside the field of evaluation for each of the evaluative activities discussed. We further describe potential pitfalls of this tool and offer cautions for evaluators who may chose to implement it in their practice. Finally, the article concludes with a discussion of the future of agent-based modeling in evaluation practice and a call for more formal exploration of this tool as well as other approaches to simulation modeling in the field. Copyright © 2017 Elsevier Ltd. All rights reserved.

Application of Logic Models in a Large Scientific Research Program

Science.gov (United States)

O'Keefe, Christine M.; Head, Richard J.

2011-01-01

It is the purpose of this article to discuss the development and application of a logic model in the context of a large scientific research program within the Commonwealth Scientific and Industrial Research Organisation (CSIRO). CSIRO is Australia's national science agency and is a publicly funded part of Australia's innovation system. It conducts…

The ACR-program for automatic finite element model generation for part through cracks

International Nuclear Information System (INIS)

Leinonen, M.S.; Mikkola, T.P.J.

1989-01-01

The ACR-program (Automatic Finite Element Model Generation for Part Through Cracks) has been developed at the Technical Research Centre of Finland (VTT) for automatic finite element model generation for surface flaws using three dimensional solid elements. Circumferential or axial cracks can be generated on the inner or outer surface of a cylindrical or toroidal geometry. Several crack forms are available including the standard semi-elliptical surface crack. The program can be used in the development of automated systems for fracture mechanical analyses of structures. The tests for the accuracy of the FE-mesh have been started with two-dimensional models. The results indicate that the accuracy of the standard mesh is sufficient for practical analyses. Refinement of the standard mesh is needed in analyses with high load levels well over the limit load of the structure

Two fuzzy possibilistic bi-objective zero-one programming models for outsourcing the equipment maintenance problem

Science.gov (United States)

Vahdani, Behnam; Jolai, Fariborz; Tavakkoli-Moghaddam, Reza; Meysam Mousavi, S.

2012-07-01

Maintenance outsourcing can be regarded as a strategic weapon to increase productivity and customer satisfaction in many companies, and this critical activity can be performed in a more efficient and effective way. This article presents two novel fuzzy possibilistic bi-objective zero-one programming (FPBOZOP) models for outsourcing of the equipment maintenance. In these models, cost parameters, including outsourcing cost, risk cost, time operations for performing the equipment maintenance and reliability level, as well as other influential parameters are considered through the outsourcing process. Moreover, the presented models can measure the capability of the company in doing different activities, unlike previous studies, in order to see the possibility of maintenance in-house, and can lead to make a best decision on the basis of the models' results. Both models are developed under uncertainty, which bring top managers the possibility of assigning more than one equipment or project to the supplier so that the profit is maximized, and the cost is minimized by considering bi-objectives concurrently. Then, a new fuzzy mathematical programming based possibilistic approach is introduced as a solution methodology from the recent literature to solve the proposed bi-objective zero-one programming (BOZOP) models and to reach a preferred compromise solution. Furthermore, a real-case study is utilized to demonstrate and to validate the effectiveness of the presented models. The computational results revealed that the models can be implemented in variety of problems in the domain of the equipment maintenance outsourcing and project outsourcing either from theory or application perspectives.

Development of the Dutch Johne's disease control program supported by a simulation model

NARCIS (Netherlands)

Groenendaal, H.; Nielen, M.; Hesselink, J.W.

2003-01-01

The development of a simulation model, "JohneSSim", was part of a research program aimed at designing a national Johne's disease control program for The Netherlands. Initially, the focus was mainly directed towards different compulsory "test-and-cull" strategies. However, the results from the

Reduced-Size Integer Linear Programming Models for String Selection Problems: Application to the Farthest String Problem.

Science.gov (United States)

Zörnig, Peter

2015-08-01

We present integer programming models for some variants of the farthest string problem. The number of variables and constraints is substantially less than that of the integer linear programming models known in the literature. Moreover, the solution of the linear programming-relaxation contains only a small proportion of noninteger values, which considerably simplifies the rounding process. Numerical tests have shown excellent results, especially when a small set of long sequences is given.

On the Cutting Edge Professional Development Program - An effective model built from years of experience

Science.gov (United States)

Bruckner, M. Z.; Macdonald, H.; Beane, R. J.; Manduca, C. A.; Mcconnell, D. A.; Mogk, D. W.; Tewksbury, B. J.; Wiese, K.; Wysession, M. E.; Iverson, E. A. R.; Fox, S.

2015-12-01

The On the Cutting Edge (CE) program offers a successful model for designing and convening professional development events. Information about the model is now available on the CE website. The program model has evolved from more than 12 years of experience, building with input from strong leaders and participants. CE offers face-to-face, virtual, and hybrid events, and features a rich website that supports these professional development events as well as a growing community with a shared interest in effective geoscience teaching. Data from national surveys, participant feedback, and self-report data indicate the program's success in improving undergraduate geoscience education. Successes are also demonstrated in classroom observations using RTOP, indicating a significant difference in teaching style among participants and non-participants. A suite of web pages, with a planning timeline, provides guidance to those interested in designing and convening face-to-face or virtual events based on the CE model. The pages suggest ways to develop robust event goals and evaluation tools, how to choose strong leaders and recruit diverse participants, advice for designing effective event programs that utilize participant expertise, websites, and web tools, and suggestions for effectively disseminating event results and producing useful products. The CE model has been successfully transferred to projects that vary in scale and discipline. Best practices from the CE model include (1) thinking of the workshop as shared enterprise among conveners and participants; (2) incorporating conveners and participants who bring diverse viewpoints and approaches; (3) promoting structured discussions that utilize participants' expertise; (4) emphasizing practical strategies to effect change; and (5) using the website as a platform to prepare for the workshop, share ideas, and problem-solve challenges. Learn more about how to utilize this model for your project at:serc.carleton.edu/NAGTWorkshops/workshops/convene

Trait-based model development to support breeding programs. A case study for salt tolerance and rice.

Science.gov (United States)

Paleari, Livia; Movedi, Ermes; Confalonieri, Roberto

2017-06-28

Eco-physiological models are increasingly used to analyze G × E × M interactions to support breeding programs via the design of ideotypes for specific contexts. However, available crop models are only partly suitable for this purpose, since they often lack clear relationships between parameters and traits breeders are working on. Taking salt stress tolerance and rice as a case study, we propose a paradigm shift towards the building of ideotyping-specific models explicitly around traits involved in breeding programs. Salt tolerance is a complex trait relying on different physiological processes that can be alternatively selected to improve the overall crop tolerance. We developed a new model explicitly accounting for these traits and we evaluated its performance using data from growth chamber experiments (e.g., R 2 ranged from 0.74 to 0.94 for the biomass of different plant organs). Using the model, we were able to show how an increase in the overall tolerance can derive from completely different physiological mechanisms according to soil/water salinity dynamics. The study demonstrated that a trait-based approach can increase the usefulness of mathematical models for supporting breeding programs.

Yield curve event tree construction for multi stage stochastic programming models

DEFF Research Database (Denmark)

Rasmussen, Kourosh Marjani; Poulsen, Rolf

Dynamic stochastic programming (DSP) provides an intuitive framework for modelling of financial portfolio choice problems where market frictions are present and dynamic re--balancing has a significant effect on initial decisions. The application of these models in practice, however, is limited....... Indeed defining a universal and tractable framework for fully ``appropriate'' event trees is in our opinion an impossible task. A problem specific approach to designing such event trees is the way ahead. In this paper we propose a number of desirable properties which should be present in an event tree...

C++, objected-oriented programming, and astronomical data models

Science.gov (United States)

Farris, A.

1992-01-01

Contemporary astronomy is characterized by increasingly complex instruments and observational techniques, higher data collection rates, and large data archives, placing severe stress on software analysis systems. The object-oriented paradigm represents a significant new approach to software design and implementation that holds great promise for dealing with this increased complexity. The basic concepts of this approach will be characterized in contrast to more traditional procedure-oriented approaches. The fundamental features of objected-oriented programming will be discussed from a C++ programming language perspective, using examples familiar to astronomers. This discussion will focus on objects, classes and their relevance to the data type system; the principle of information hiding; and the use of inheritance to implement generalization/specialization relationships. Drawing on the object-oriented approach, features of a new database model to support astronomical data analysis will be presented.

Multiobjective Optimization of Aircraft Maintenance in Thailand Using Goal Programming: A Decision-Support Model

Directory of Open Access Journals (Sweden)

Yuttapong Pleumpirom

2012-01-01

Full Text Available The purpose of this paper is to develop the multiobjective optimization model in order to evaluate suppliers for aircraft maintenance tasks, using goal programming. The authors have developed a two-step process. The model will firstly be used as a decision-support tool for managing demand, by using aircraft and flight schedules to evaluate and generate aircraft-maintenance requirements, including spare-part lists. Secondly, they develop a multiobjective optimization model by minimizing cost, minimizing lead time, and maximizing the quality under various constraints in the model. Finally, the model is implemented in the actual airline's case.

Transforming process models : executable rewrite rules versus a formalized Java program

NARCIS (Netherlands)

Van Gorp, P.M.E.; Eshuis, H.; Petriu, D.C.; Rouquette, N.

2010-01-01

In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In

Transforming process models : executable rewrite rules versus a formalized Java program

NARCIS (Netherlands)

Van Gorp, P.M.E.; Eshuis, H.

2010-01-01

In the business process management community, transformations for process models are usually programmed using imperative languages. The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In the Graph and

Does Head Start differentially benefit children with risks targeted by the program's service model?

Science.gov (United States)

Miller, Elizabeth B; Farkas, George; Duncan, Greg J

Data from the Head Start Impact Study ( N = 3540) were used to test for differential benefits of Head Start after one program year and after kindergarten on pre-academic and behavior outcomes for children at risk in the domains targeted by the program's comprehensive services. Although random assignment to Head Start produced positive treatment main effects on children's pre-academic skills and behavior problems, residualized growth models showed that random assignment to Head Start did not differentially benefit the pre-academic skills of children with risk factors targeted by the Head Start service model. The models showed detrimental impacts of Head Start for maternal-reported behavior problems of high-risk children, but slightly more positive impacts for teacher-reported behavior. Policy implications for Head Start are discussed.

Positive Mathematical Programming Approaches – Recent Developments in Literature and Applied Modelling

Directory of Open Access Journals (Sweden)

Thomas Heckelei

2012-05-01

Full Text Available This paper reviews and discusses the more recent literature and application of Positive Mathematical Programming in the context of agricultural supply models. Specifically, advances in the empirical foundation of parameter specifications as well as the economic rationalisation of PMP models – both criticized in earlier reviews – are investigated. Moreover, the paper provides an overview on a larger set of models with regular/repeated policy application that apply variants of PMP. Results show that most applications today avoid arbitrary parameter specifications and rely on exogenous information on supply responses to calibrate model parameters. However, only few approaches use multiple observations to estimate parameters, which is likely due to the still considerable technical challenges associated with it. Equally, we found only limited reflection on the behavioral or technological assumptions that could rationalise the PMP model structure while still keeping the model’s advantages.

MARKETING COMMUNICATION IN ONLINE SOCIAL PROGRAMS: OHANIAN MODEL OF SOURCE CREDIBILITY

Directory of Open Access Journals (Sweden)

Serban Corina

2010-07-01

Full Text Available The development of the Internet as a medium for interaction with customers has resulted in many changes regarding the promotion of organizations. Online marketing is nowadays used not only to sell a product on the market, but also requires ideas and behavioral change. Non-profit organizations active in online communication are based on the quality of their provided information. Crediblity, attractiveness and usefullness are the key elements that provide effective online social programs. This paper aims to extend the scope of research in the field of social marketing by studying the Ohanian model in the online environment. The goal is to highlight the important theories and social models intrinsic to the online non-profit organizations’ communication. The results show that the efficiency of social programs depends on the level of incorporated elements of social theories in the design, content and structure of the website.

A linear programming model to optimize diets in environmental policy scenarios.

Science.gov (United States)

Moraes, L E; Wilen, J E; Robinson, P H; Fadel, J G

2012-03-01

The objective was to develop a linear programming model to formulate diets for dairy cattle when environmental policies are present and to examine effects of these policies on diet formulation and dairy cattle nitrogen and mineral excretions as well as methane emissions. The model was developed as a minimum cost diet model. Two types of environmental policies were examined: a tax and a constraint on methane emissions. A tax was incorporated to simulate a greenhouse gas emissions tax policy, and prices of carbon credits in the current carbon markets were attributed to the methane production variable. Three independent runs were made, using carbon dioxide equivalent prices of $5, $17, and $250/t. A constraint was incorporated into the model to simulate the second type of environmental policy, reducing methane emissions by predetermined amounts. The linear programming formulation of this second alternative enabled the calculation of marginal costs of reducing methane emissions. Methane emission and manure production by dairy cows were calculated according to published equations, and nitrogen and mineral excretions were calculated by mass conservation laws. Results were compared with respect to the values generated by a base least-cost model. Current prices of the carbon credit market did not appear onerous enough to have a substantive incentive effect in reducing methane emissions and altering diet costs of our hypothetical dairy herd. However, when emissions of methane were assumed to be reduced by 5, 10, and 13.5% from the base model, total diet costs increased by 5, 19.1, and 48.5%, respectively. Either these increased costs would be passed onto the consumer or dairy producers would go out of business. Nitrogen and potassium excretions were increased by 16.5 and 16.7% with a 13.5% reduction in methane emissions from the base model. Imposing methane restrictions would further increase the demand for grains and other human-edible crops, which is not a progressive

Proposing an Aggregate Production Planning Model by Goal Programming Approach, a Case Study

Directory of Open Access Journals (Sweden)

Mansoureh Farzam Rad

2014-06-01

Full Text Available Production planning is one of the most important functions in the process of production management. Production planning in the intermediate range of time is termed as aggregate production planning (APP. Aggregate production planning is an important upper level planning activity in a production management system. The present study tries to suggest an aggregate production planning model for products of Hafez tile factory during one year. Due to this fact that the director of the company seeks 3 main objectives to determine the optimal production rate, the linear goal planning method was employed. After solving the problem, in order to examine the efficiency and the distinctiveness of this method in compare to linear programming, the problem was modeled just by considering one objective then was solved by linear programming approach. The findings revealed the goal programming with multi objectives resulted more appropriate solution rather than linear programming with just one objective.

A fuzzy compromise programming approach for the Black-Litterman portfolio selection model

Directory of Open Access Journals (Sweden)

Mohsen Gharakhani

2013-01-01

Full Text Available In this paper, we examine advanced optimization approach for portfolio problem introduced by Black and Litterman to consider the shortcomings of Markowitz standard Mean-Variance optimization. Black and Litterman propose a new approach to estimate asset return. They present a way to incorporate the investor’s views into asset pricing process. Since the investor’s view about future asset return is always subjective and imprecise, we can represent it by using fuzzy numbers and the resulting model is multi-objective linear programming. Therefore, the proposed model is analyzed through fuzzy compromise programming approach using appropriate membership function. For this purpose, we introduce the fuzzy ideal solution concept based on investor preference and indifference relationships using canonical representation of proposed fuzzy numbers by means of their correspondingα-cuts. A real world numerical example is presented in which MSCI (Morgan Stanley Capital International Index is chosen as the target index. The results are reported for a portfolio consisting of the six national indices. The performance of the proposed models is compared using several financial criteria.

The National Cancer Informatics Program (NCIP) Annotation and Image Markup (AIM) Foundation model.

Science.gov (United States)

Mongkolwat, Pattanasak; Kleper, Vladimir; Talbot, Skip; Rubin, Daniel

2014-12-01

Knowledge contained within in vivo imaging annotated by human experts or computer programs is typically stored as unstructured text and separated from other associated information. The National Cancer Informatics Program (NCIP) Annotation and Image Markup (AIM) Foundation information model is an evolution of the National Institute of Health's (NIH) National Cancer Institute's (NCI) Cancer Bioinformatics Grid (caBIG®) AIM model. The model applies to various image types created by various techniques and disciplines. It has evolved in response to the feedback and changing demands from the imaging community at NCI. The foundation model serves as a base for other imaging disciplines that want to extend the type of information the model collects. The model captures physical entities and their characteristics, imaging observation entities and their characteristics, markups (two- and three-dimensional), AIM statements, calculations, image source, inferences, annotation role, task context or workflow, audit trail, AIM creator details, equipment used to create AIM instances, subject demographics, and adjudication observations. An AIM instance can be stored as a Digital Imaging and Communications in Medicine (DICOM) structured reporting (SR) object or Extensible Markup Language (XML) document for further processing and analysis. An AIM instance consists of one or more annotations and associated markups of a single finding along with other ancillary information in the AIM model. An annotation describes information about the meaning of pixel data in an image. A markup is a graphical drawing placed on the image that depicts a region of interest. This paper describes fundamental AIM concepts and how to use and extend AIM for various imaging disciplines.

An effective streamflow process model for optimal reservoir operation using stochastic dual dynamic programming

OpenAIRE

Raso , L.; Malaterre , P.O.; Bader , J.C.

2017-01-01

International audience; This article presents an innovative streamflow process model for use in reservoir operational rule design in stochastic dual dynamic programming (SDDP). Model features, which can be applied independently, are (1) a multiplicative process model for the forward phase and its linearized version for the backward phase; and (2) a nonuniform time-step length that is inversely proportional to seasonal variability. The advantages are (1) guaranteeing positive streamflow values...

A Management Information System Model for Program Management. Ph.D. Thesis - Oklahoma State Univ.; [Computerized Systems Analysis

Science.gov (United States)

Shipman, D. L.

1972-01-01

The development of a model to simulate the information system of a program management type of organization is reported. The model statistically determines the following parameters: type of messages, destinations, delivery durations, type processing, processing durations, communication channels, outgoing messages, and priorites. The total management information system of the program management organization is considered, including formal and informal information flows and both facilities and equipment. The model is written in General Purpose System Simulation 2 computer programming language for use on the Univac 1108, Executive 8 computer. The model is simulated on a daily basis and collects queue and resource utilization statistics for each decision point. The statistics are then used by management to evaluate proposed resource allocations, to evaluate proposed changes to the system, and to identify potential problem areas. The model employs both empirical and theoretical distributions which are adjusted to simulate the information flow being studied.

The disconnected values model improves mental well-being and fitness in an employee wellness program.

Science.gov (United States)

Anshel, Mark H; Brinthaupt, Thomas M; Kang, Minsoo

2010-01-01

This study examined the effect of a 10-week wellness program on changes in physical fitness and mental well-being. The conceptual framework for this study was the Disconnected Values Model (DVM). According to the DVM, detecting the inconsistencies between negative habits and values (e.g., health, family, faith, character) and concluding that these "disconnects" are unacceptable promotes the need for health behavior change. Participants were 164 full-time employees at a university in the southeastern U.S. The program included fitness coaching and a 90-minute orientation based on the DVM. Multivariate Mixed Model analyses indicated significantly improved scores from pre- to post-intervention on selected measures of physical fitness and mental well-being. The results suggest that the Disconnected Values Model provides an effective cognitive-behavioral approach to generating health behavior change in a 10-week workplace wellness program.

Simulations, Imaging, and Modeling: A Unique Theme for an Undergraduate Research Program in Biomechanics.

Science.gov (United States)

George, Stephanie M; Domire, Zachary J

2017-07-01

As the reliance on computational models to inform experiments and evaluate medical devices grows, the demand for students with modeling experience will grow. In this paper, we report on the 3-yr experience of a National Science Foundation (NSF) funded Research Experiences for Undergraduates (REU) based on the theme simulations, imaging, and modeling in biomechanics. While directly applicable to REU sites, our findings also apply to those creating other types of summer undergraduate research programs. The objective of the paper is to examine if a theme of simulations, imaging, and modeling will improve students' understanding of the important topic of modeling, provide an overall positive research experience, and provide an interdisciplinary experience. The structure of the program and the evaluation plan are described. We report on the results from 25 students over three summers from 2014 to 2016. Overall, students reported significant gains in the knowledge of modeling, research process, and graduate school based on self-reported mastery levels and open-ended qualitative responses. This theme provides students with a skill set that is adaptable to other applications illustrating the interdisciplinary nature of modeling in biomechanics. Another advantage is that students may also be able to continue working on their project following the summer experience through network connections. In conclusion, we have described the successful implementation of the theme simulation, imaging, and modeling for an REU site and the overall positive response of the student participants.

Mathematical model for HIV spreads control program with ART treatment

Science.gov (United States)

Maimunah; Aldila, Dipo

2018-03-01

In this article, using a deterministic approach in a seven-dimensional nonlinear ordinary differential equation, we establish a mathematical model for the spread of HIV with an ART treatment intervention. In a simplified model, when no ART treatment is implemented, disease-free and the endemic equilibrium points were established analytically along with the basic reproduction number. The local stability criteria of disease-free equilibrium and the existing criteria of endemic equilibrium were analyzed. We find that endemic equilibrium exists when the basic reproduction number is larger than one. From the sensitivity analysis of the basic reproduction number of the complete model (with ART treatment), we find that the increased number of infected humans who follow the ART treatment program will reduce the basic reproduction number. We simulate this result also in the numerical experiment of the autonomous system to show how treatment intervention impacts the reduction of the infected population during the intervention time period.

Two-stage stochastic programming model for the regional-scale electricity planning under demand uncertainty

International Nuclear Information System (INIS)

Huang, Yun-Hsun; Wu, Jung-Hua; Hsu, Yu-Ju

2016-01-01

Traditional electricity supply planning models regard the electricity demand as a deterministic parameter and require the total power output to satisfy the aggregate electricity demand. But in today's world, the electric system planners are facing tremendously complex environments full of uncertainties, where electricity demand is a key source of uncertainty. In addition, electricity demand patterns are considerably different for different regions. This paper developed a multi-region optimization model based on two-stage stochastic programming framework to incorporate the demand uncertainty. Furthermore, the decision tree method and Monte Carlo simulation approach are integrated into the model to simplify electricity demands in the form of nodes and determine the values and probabilities. The proposed model was successfully applied to a real case study (i.e. Taiwan's electricity sector) to show its applicability. Detail simulation results were presented and compared with those generated by a deterministic model. Finally, the long-term electricity development roadmap at a regional level could be provided on the basis of our simulation results. - Highlights: • A multi-region, two-stage stochastic programming model has been developed. • The decision tree and Monte Carlo simulation are integrated into the framework. • Taiwan's electricity sector is used to illustrate the applicability of the model. • The results under deterministic and stochastic cases are shown for comparison. • Optimal portfolios of regional generation technologies can be identified.

A mixed integer program to model spatial wildfire behavior and suppression placement decisions

Science.gov (United States)

Erin J. Belval; Yu Wei; Michael. Bevers

2015-01-01

Wildfire suppression combines multiple objectives and dynamic fire behavior to form a complex problem for decision makers. This paper presents a mixed integer program designed to explore integrating spatial fire behavior and suppression placement decisions into a mathematical programming framework. Fire behavior and suppression placement decisions are modeled using...

Partnership model of vocational education with the business sector in civil engineering expertise program of Vocational Secondary Schools

Directory of Open Access Journals (Sweden)

I Kadek Budi Sandika

2018-01-01

Full Text Available This study aims to: (1 develop a partnership model of vocational education with business sectors in civil engineering expertise program of vocational secondary schools in Bali and (2testing the effectiveness and efficiency of partnership model developed. The study used the design and development model of Richey & Klein (2009, which consists of three main phases, namely the phase of model development, model validation, and model testing. The phase of model development used the qualitative approach, through literature review, observation and interview. Expert review techniques were used in the model validation phase. The model testing used pre-experimental design with one-shot case study. The study found that the partnership model of vocational education with the business sector in civil engineering expertise program of vocational secondary schools in Bali involves several components, such as key stakeholders, the underlying principle of partnership, orientation/common goal, the management of educational resources (teachers and facilities, curriculum development, implementation of learning/training and work practices, competency test of graduates, distribution of learning outcomes/output, as well as monitoring, evaluation and feedback of partnership program. Experimental results show that the partnership model developed has met all of the criteria (effective, practical and efficient.

The bumper bundle book of modelling NLP modelling made simple

CERN Document Server

Burgess, Fran

2014-01-01

A Neurolinguistic Programming textbook which focusses on the core activity of NLP - modelling. It covers the thinking behind NLP modelling, presents an extensive range of modelling methodologies and skills, offers applications of modelling, and provides specific details for model and technique construction.

A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems

OpenAIRE

Sitek, Paweł; Wikarek, Jarosław

2016-01-01

This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and constraint optimization problems (COPs). Two paradigms, CLP (constraint logic programming) and MP (mathematical programming), are integrated in the framework. The integration is supplemented with the original method of problem transformation, used in the framework as a presolving method. The transformation substantially reduces the feasible solution space. The framework a...

Constitutive properties and material model development for marine sediments in support of the subseabed disposal program

International Nuclear Information System (INIS)

Baladi, G.Y.; Akers, S.A.

1981-01-01

The purpose of the theoretical investigation was to develop an appropriate elastic-plastic effective-stress constitutive model and the necessary numerical algorithms for seabed sediments for use in computer code simulations of both early-time dynamic penetration of waste canisters and late-time hole closure. The purpose of the experimental program was to provide high-pressure dynamic stress-strain and strength properties for seabed sediments of interest, which in conjunction with data provided by the University of Rhode Island (URI), could be used to guide the development and verification of a constitutive model for such materials. The results of the theoretical program are documented in Part I of this report, which contains four chapters. The fundamental basis of elastic-plastic constitutive models is presented in Chapter 1. The numerical implementation of the elastic-plastic models is discussed in Chapter 2. The development of the effective-stress constitutive model for seabed sediments is presented in Chapter 3. The behavior of this effective-stress model under hydrostatic and triaxial compression test conditions is illustrated in Chapter 4. Part II deals with the experimental program and includes five chapters. Chapter 1 deals with background geotechnical information regarding the physical properties of seabed sediments and presents the scope of the experimental program. Testing equipment and specimen preparation are described in Chapter 2. Chapter 3 outlines test procedures and techniques. Test results are presented in Chapter 4. Representative constitutive properties for Pacific illite are given in Chapter 5. Comparison of the final effective-stress constitutive model fits with laboratory test data are presented in Part III. The numerical values of the material model constants for Pacific illite are also summarized therein. Part IV contains a summary and recommendations for future work

Using Set Covering with Item Sampling to Analyze the Infeasibility of Linear Programming Test Assembly Models

Science.gov (United States)

Huitzing, Hiddo A.

2004-01-01

This article shows how set covering with item sampling (SCIS) methods can be used in the analysis and preanalysis of linear programming models for test assembly (LPTA). LPTA models can construct tests, fulfilling a set of constraints set by the test assembler. Sometimes, no solution to the LPTA model exists. The model is then said to be…

Model Program Pemberdayaan Masyarakat Desa Berbasis Komunitas

Directory of Open Access Journals (Sweden)

Yusuf Adam Hilman

2018-01-01

Full Text Available This study examines the issue of community empowerment, which is considered to be a solution problem of poverty, which is more interesting when the community of "Janda" becomes an important object. This research focuses on the study of community-based community empowerment model in Janda village. Purpose is able to measure the effectiveness and also the ideal form of community empowerment program model in the village of Janda, Dadapan Village, Balong District, Ponorogo Regency. The research are method qualitative descriptive approach, with object in research is the people members, especially mothers who berrstatus "widow" in the Dadapan Village, Balong District, Ponorogo Regency.. Activities include 1. Training of processed food from the existing agricultural potential, 2. Make a kitchen granary from the land around the community. 3. Train the art activities of mothers who are "Janda". From concluded this research is community empowerment activities in Dadapan Village, Balong District, Ponorogo Regency, which have been done are very focused on "Janda", so that the activity is expected to contribute, to the life of those who is distressed or increase the independence of the family, with this activity, economical but psychologically they will be motivated to become a powerful individual.

Consumer-operated service program members' explanatory models of mental illness and recovery.

Science.gov (United States)

Hoy, Janet M

2014-10-01

Incorporating individuals' understandings and explanations of mental illness into service delivery offers benefits relating to increased service relevance and meaning. Existing research delineates explanatory models of mental illness held by individuals in home, outpatient, and hospital-based contexts; research on models held by those in peer-support contexts is notably absent. In this article, I describe themes identified within and across explanatory models of mental illness and recovery held by mental health consumers (N = 24) at one peer center, referred to as a consumer-operated service center (COSP). Participants held explanatory models inclusive of both developmental stressors and biomedical causes, consistent with a stress-diathesis model (although no participant explicitly referenced such). Explicit incorporation of stress-diathesis constructs into programming at this COSP offers the potential of increasing service meaning and relevance. Identifying and incorporating shared meanings across individuals' understandings of mental illness likewise can increase relevance and meaning for particular subgroups of service users. © The Author(s) 2014.

The transition equation of the state intensities for exciton model and the calculation program

International Nuclear Information System (INIS)

Yu Xian; Zheng Jiwen; Liu Guoxing; Chen Keliang

1995-01-01

An equation set of the exciton model is given and calculation program is developed. The process of approaching to equilibrium state has been investigated with the program for 12 C + 64 Ni reaction at energy 72 MeV

Evaluation Of Model Based Systems Engineering Processes For Integration Into Rapid Acquisition Programs

Science.gov (United States)

2016-09-01

for the required simulation allowed the MK6LE project to avoid the risk of having lower level model components not integrating together. The initial...that programs that applied MBSE at the lower levels, in particular the MK54 Torpedo program, expressed regrets of limiting the re-architecture to the

Factor Analysis of the HEW National Strategy for Youth Development Model's Community Program Impact Scales.

Science.gov (United States)

Truckenmiller, James L.

The former HEW (Health, Education, and Welfare) National Strategy for Youth Development Model proposed a community-based program to promote positive youth development and to prevent delinquency through a sequence of youth needs assessments, needs-targeted programs, and program impact evaluation. HEW Community Program Impact Scales data obtained…

A Model for Mental Health Programming in Schools and Communities: Introduction to the Mini-Series.

Science.gov (United States)

Nastasi, Bonnie K.

1998-01-01

Describes conceptual framework for mini-series on mental health programming. Model includes five components considered to be critical for comprehensive and effective programming. Components include: action research, ecological perspective of program development, collaborative/participatory approach, prevention to treatment via mental health…

Helium embrittlement model and program plan for weldability of ITER materials

International Nuclear Information System (INIS)

Louthan, M.R. Jr.; Kanne, W.R. Jr.; Tosten, M.H.; Rankin, D.T.; Cross, B.J.

1997-02-01

This report presents a refined model of how helium embrittles irradiated stainless steel during welding. The model was developed based on experimental observations drawn from experience at the Savannah River Site and from an extensive literature search. The model shows how helium content, stress, and temperature interact to produce embrittlement. The model takes into account defect structure, time, and gradients in stress, temperature and composition. The report also proposes an experimental program based on the refined helium embrittlement model. A parametric study of the effect of initial defect density on the resulting helium bubble distribution and weldability of tritium aged material is proposed to demonstrate the roll that defects play in embrittlement. This study should include samples charged using vastly different aging times to obtain equivalent helium contents. Additionally, studies to establish the minimal sample thickness and size are needed for extrapolation to real structural materials. The results of these studies should provide a technical basis for the use of tritium aged materials to predict the weldability of irradiated structures. Use of tritium charged and aged material would provide a cost effective approach to developing weld repair techniques for ITER components

Farm Planning by Fuzzy Multi Objective Programming Model

Directory of Open Access Journals (Sweden)

m Raei Jadidi

2010-05-01

Full Text Available In current study, Fuzzy Goal Programming (FGP model by considering a set of social and economic goals, was applied to optimal land allocation in Koshksaray district, Marand city, East Azarbaijan province, Iran. Farmer goals including total cultivable area, factor of production, production levels of various crops and total expected profit were considered fuzzily in establishment of the model. The goals were considered by 16 scenarios in the form of single objective, compound and priority structures. Results showed that, cost minimization in single objective and compound scenario is the best as compared with current conditions. In priority structure, scenario 10 with priorities of profit maximization, cost minimization, satisfying of production goals considering cost minimization and production goals, and scenario 13 with priorities of profit maximization, satisfying factor of production goals, cost minimization and fulfilling production goals, had minimum Euclidean Distance and satisfied the fuzzy objectives. Moreover, dry barley, irrigated and dry wheat and irrigated barely had maximum and minimum cultivated area, respectively. According to the findings, by reallocation of resources, farmers can achieve their better goals and objectives.

Food and energy choices for India: a programming model with partial endogenous energy requirements.

Science.gov (United States)

Parikh, K S; Srinivasan, T N

1980-09-01

This paper presents a mathematical model for all matter-energy processing subsystems at the level of the society, specifically India. It explores India's choices in the food and energy sectors over the coming decades. Alternative land intensive, irrigation energy intensive, and fertilizer intensive techniques of food production are identified using a nonlinear programming model. The land saved is devoted to growing firewood. The optimum combination of railway (steam, diesel, and electric traction) and road (automobiles, diesel trucks, and diesel and gasoline buses) transport is determined. For the oil sector, two alternative sources of supply of crude oil and petroleum products are included, namely, domestic production and imports. The optimum choice is determined through a linear programming model. While the model is basically a static one, designed to determine the optimal choice for the target year of 2000-2001, certain intertemporal detail is incorporated for electricity generation. The model minimizes the costs of meeting the needs for food, transport in terms of passenger kilometers and goods per ton per kilometer, energy needs for domestic cooking and lighting, and the energy needs of the rest of the economy.

Modeling Flight: The Role of Dynamically Scaled Free-Flight Models in Support of NASA's Aerospace Programs

Science.gov (United States)

Chambers, Joseph

2010-01-01

community, Leonardo da Vinci, George Cayley, and the Wright brothers are examples of early aviation pioneers who frequently used models during their scientific efforts to understand and develop flying machines. Progress in the technology associated with model testing in worldwide applications has firmly established model aircraft as a key element in new aerospace research and development programs. Models are now routinely used in many applications and roles, including aerodynamic data gathering in wind tunnel investigations for the analysis of full-scale aircraft designs, proof-of-concept demonstrators for radical aeronautical concepts, and problem-solving exercises for vehicles already in production. The most critical contributions of aerospace models are to provide confidence and risk reduction for new designs and to enhance the safety and efficiency of existing configurations.

Aviation Safety Modeling and Simulation (ASMM) Propulsion Fleet Modeling: A Tool for Semi-Automatic Construction of CORBA-based Applications from Legacy Fortran Programs

Science.gov (United States)

Sang, Janche

2003-01-01

Within NASA's Aviation Safety Program, NASA GRC participates in the Modeling and Simulation Project called ASMM. NASA GRC s focus is to characterize the propulsion systems performance from a fleet management and maintenance perspective by modeling and through simulation predict the characteristics of two classes of commercial engines (CFM56 and GE90). In prior years, the High Performance Computing and Communication (HPCC) program funded, NASA Glenn in developing a large scale, detailed simulations for the analysis and design of aircraft engines called the Numerical Propulsion System Simulation (NPSS). Three major aspects of this modeling included the integration of different engine components, coupling of multiple disciplines, and engine component zooming at appropriate level fidelity, require relatively tight coupling of different analysis codes. Most of these codes in aerodynamics and solid mechanics are written in Fortran. Refitting these legacy Fortran codes with distributed objects can increase these codes reusability. Aviation Safety s modeling and simulation use in characterizing fleet management has similar needs. The modeling and simulation of these propulsion systems use existing Fortran and C codes that are instrumental in determining the performance of the fleet. The research centers on building a CORBA-based development environment for programmers to easily wrap and couple legacy Fortran codes. This environment consists of a C++ wrapper library to hide the details of CORBA and an efficient remote variable scheme to facilitate data exchange between the client and the server model. Additionally, a Web Service model should also be constructed for evaluation of this technology s use over the next two- three years.

U.S. Department of Energy Reference Model Program RM1: Experimental Results

Energy Technology Data Exchange (ETDEWEB)

Hill, Craig [Univ. of Minnesota, Minneapolis, MN (United States); Neary, Vincent Sinclair [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Gunawan, Budi [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Guala, Michele [Univ. of Minnesota, Minneapolis, MN (United States); Sotiropoulos, Fotis [Univ. of Minnesota, Minneapolis, MN (United States)

2014-10-01

The Reference Model Project (RMP), sponsored by the U.S. Department of Energy’s (DOE) Wind and Water Power Technologies Program within the Office of Energy Efficiency & Renewable Energy (EERE), aims at expediting industry growth and efficiency by providing non-proprietary Reference Models (RM) of MHK technology designs as study objects for open-source research and development (Neary et al. 2014a,b). As part of this program, MHK turbine models were tested in a large open channel facility at the University of Minnesota’s St. Anthony Falls Laboratory (UMN-SAFL). Reference Model 1 (RM2) is a 1:40 geometric scale dual-rotor axial flow horizontal axis device with counter-rotating rotors, each with a rotor diameter d_T = 0.5m. Precise blade angular position and torque measurements were synchronized with three acoustic Doppler velocimeters (ADVs) aligned with each rotor and the midpoint for RM1. Flow conditions for each case were controlled such that depth, h = 1m, and volumetric flow rate, Q_w = 2.425m3s^-1, resulting in a hub height velocity of approximately U_hub = 1.05ms^-1 and blade chord length Reynolds numbers of R_ec ≈ 3.0x105. Vertical velocity profiles collected in the wake of each device from 1 to 10 rotor diameters are used to estimate the velocity recovery and turbulent characteristics in the wake, as well as the interaction of the counter-rotating rotor wakes. The development of this high resolution laboratory investigation provides a robust dataset that enables assessing turbulence performance models and their ability to accurately predict device performance metrics, including computational fluid dynamics (CFD) models that can be used to predict turbulent inflow environments, reproduce wake velocity deficit, recovery and higher order turbulent statistics, as well as device performance metrics.

U.S. Department of Energy Reference Model Program RM1: Experimental Results.

Energy Technology Data Exchange (ETDEWEB)

Hill, Craig [Univ. of Minnesota, Minneapolis, MN (United States); Neary, Vincent Sinclair [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Gunawan, Budi [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Guala, Michele [Univ. of Minnesota, Minneapolis, MN (United States); Sotiropoulos, Fotis [Univ. of Minnesota, Minneapolis, MN (United States)

2017-08-01

The Reference Model Project (RMP), sponsored by the U.S. Department of Energy’s (DOE) Wind and Water Power Technologies Program within the Office of Energy Efficiency & Renewable Energy (EERE), aims at expediting industry growth and efficiency by providing nonproprietary Reference Models (RM) of MHK technology designs as study objects for opensource research and development (Neary et al. 2014a,b). As part of this program, MHK turbine models were tested in a large open channel facility at the University of Minnesota’s St. Anthony Falls Laboratory (UMN-SAFL). Reference Model 1 (RM1) is a 1:40 geometric scale dual-rotor axial flow horizontal axis device with counter-rotating rotors, each with a rotor diameter dT = 0.5m. Precise blade angular position and torque measurements were synchronized with three acoustic Doppler velocimeters (ADVs) aligned with each rotor and the midpoint for RM1. Flow conditions for each case were controlled such that depth, h = 1m, and volumetric flow rate, Qw = 2.425m3s-1, resulting in a hub height velocity of approximately Uhub = 1.05ms-1 and blade chord length Reynolds numbers of Rec ≈ 3.0x105. Vertical velocity profiles collected in the wake of each device from 1 to 10 rotor diameters are used to estimate the velocity recovery and turbulent characteristics in the wake, as well as the interaction of the counter-rotating rotor wakes. The development of this high resolution laboratory investigation provides a robust dataset that enables assessing turbulence performance models and their ability to accurately predict device performance metrics, including computational fluid dynamics (CFD) models that can be used to predict turbulent inflow environments, reproduce wake velocity deficit, recovery and higher order turbulent statistics, as well as device performance metrics.

The Father Friendly Initiative within Families: Using a logic model to develop program theory for a father support program.

Science.gov (United States)

Gervais, Christine; de Montigny, Francine; Lacharité, Carl; Dubeau, Diane

2015-10-01

The transition to fatherhood, with its numerous challenges, has been well documented. Likewise, fathers' relationships with health and social services have also begun to be explored. Yet despite the problems fathers experience in interactions with healthcare services, few programs have been developed for them. To explain this, some authors point to the difficulty practitioners encounter in developing and structuring the theory of programs they are trying to create to promote and support father involvement (Savaya, R., & Waysman, M. (2005). Administration in Social Work, 29(2), 85), even when such theory is key to a program's effectiveness (Chen, H.-T. (2005). Practical program evaluation. Thousand Oaks, CA: Sage Publications). The objective of the present paper is to present a tool, the logic model, to bridge this gap and to equip practitioners for structuring program theory. This paper addresses two questions: (1) What would be a useful instrument for structuring the development of program theory in interventions for fathers? (2) How would the concepts of a father involvement program best be organized? The case of the Father Friendly Initiative within Families (FFIF) program is used to present and illustrate six simple steps for developing a logic model that are based on program theory and demonstrate its relevance. Crown Copyright © 2015. Published by Elsevier Ltd. All rights reserved.

A successful model for longitudinal community-engaged health research: the 2040 Partners for Health Student Program.

Science.gov (United States)

Redman, Romany M; Reinsvold, Magdalena C; Reddy, Anireddy; Bennett, Paige E; Hoerauf, Janine M; Puls, Kristina M; Ovrutsky, Alida R; Ly, Alexandra R; White, Gregory; McNeil, Owetta; Meredith, Janet J

2017-06-01

Community-based participatory research [CBPR] is an emerging approach to collaborative research aimed at creating locally effective and sustainable interventions. The 2040 Partners for Health student program was developed as a unique model of longitudinal CBPR. Analysis of this program and its components illuminates both the challenges and the opportunities inherent in community engagement. The program rests on a foundation of a community-based, non-profit organization and a supportive academic university centre. Inter-professional health students and community members of underserved populations work together on different health projects by employing an adapted CBPR methodology. Three successful examples of sustainable CBPR projects are briefly described. The three projects are presented as primary outcomes resulting from this model. Benefits and challenges of the model as an approach to community-engaged research are discussed as well as secondary benefits of student participation. The 2040 Partners for Health student program represents a successful model of CBPR, illuminating common challenges and reiterating the profound value of community-engaged research. © The Author 2017. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

PEMILIHAN PROGRAM PENGENTASAN KEMISKINAN MELALUI PENGEMBANGAN MODEL PEMBERDAYAAN MASYARAKAT DENGAN PENDEKATAN SISTEM

Directory of Open Access Journals (Sweden)

Sutikno Sutikno

2015-06-01

Full Text Available This research aims to compile the programs for poverty alleviation by community empowerment model and review the determination program as effectiveness evaluation poverty alleviation program which still can’t be worked properly. Stages the compiling program of poverty alleviation is mapping the socioeconomic conditions of the poor, basic infrastructure conditions, socio-cultural issues, and potential issues; identifying the hopes and predicting the economic development opportunities; creating the poverty alleviation program by SWOT analysis and planning implementation program with KPD. Based on the result of SWOT and scoring analysis, the selected programs are training and assistance, the establishment of cooperative saving and loans, clean water for poor households, rural development with the utilization of clean water, household waste management, and package education program A, B, and C.

Data Decision-Making and Program-Wide Implementation of the Pyramid Model. Roadmap to Effective Intervention Practices #7

Science.gov (United States)

Fox, Lise; Veguilla, Myrna; Perez Binder, Denise

2014-01-01

The Technical Assistance Center on Social Emotional Intervention for Young Children (TACSEI) Roadmap on "Data Decision-Making and Program-Wide Implementation of the Pyramid Model" provides programs with guidance on how to collect and use data to ensure the implementation of the Pyramid Model with fidelity and decision-making that…

RFI Math Model programs for predicting intermodulation interference

Science.gov (United States)

Stafford, J. M.

1974-01-01

Receivers operating on a space vehicle or an aircraft having many on-board transmitters are subject to intermodulation interference from mixing in the transmitting antenna systems, the external environment, or the receiver front-ends. This paper presents the techniques utilized in RFI Math Model computer programs that were developed to aid in the prevention of interference by predicting problem areas prior to occurrence. Frequencies and amplitudes of possible intermodulation products generated in the external environment are calculated and compared to receiver sensitivities. Intermodulation products generated in receivers are evaluated to determine the adequacy of preselector ejection.

A Risk and Prevention Counselor Training Program Model: Theory and Practice

Science.gov (United States)

Mason, Michael J.; Nakkula, Michael J.

2008-01-01

The need for training mental health counselors in risk and prevention is presented, and justification of the development of an innovative and integrative prevention training program is offered. Theoretical underpinnings that connect the counseling discipline to the field of prevention are described. A risk and prevention training model from…

A two-factor, stochastic programming model of Danish mortgage-backed securities

DEFF Research Database (Denmark)

Nielsen, Søren S.; Poulsen, Rolf

2004-01-01

-trivial, both in terms of deciding on an initial mortgage, and in terms of managing (rebalancing) it optimally.We propose a two-factor, arbitrage-free interest-rate model, calibrated to observable security prices, and implement on top of it a multi-stage, stochastic optimization program with the purpose...

Experimental program for physics-of-failure modeling of electrolytic capacitors towards prognostics and health management

International Nuclear Information System (INIS)

Rana, Y.S.; Banerjee, Shantanab; Singh, Tej; Varde, P.V.

2017-01-01

Prognostics and Health Management (PHM) is a method used for predicting reliability of a component or system by assessing its current health and future operating conditions. A physics-of-failure (PoF)-based program on PHM for reliability prediction has been initiated at our institute. As part of the program, we aim at developing PoF-based models for degradation of electronic components and their experimental validation. In this direction, a database on existing PoF models for different electronic components has been prepared. We plan to experimentally determine the model constants and propose suitable methodology for PHM. Electrolytic capacitors are one of the most common passive components which find their applications in devices such as power supplies in aircrafts and printed circuit boards (PCBs) for regulation and protection of a nuclear reactor. Experimental studies have established that electrolytic capacitors degrade under electrical and thermal stress and tend to fail before their anticipated useful life at normal operating conditions. Equivalent series resistance (ESR) and capacitance (C) are the two main parameters used for monitoring health of such capacitors. In this paper, we present an experimental program for thermal and electrical overstress studies towards degradation models for electrolytic capacitors. (author)

Computer program to solve two-dimensional shock-wave interference problems with an equilibrium chemically reacting air model

Science.gov (United States)

Glass, Christopher E.

1990-08-01

The computer program EASI, an acronym for Equilibrium Air Shock Interference, was developed to calculate the inviscid flowfield, the maximum surface pressure, and the maximum heat flux produced by six shock wave interference patterns on a 2-D, cylindrical configuration. Thermodynamic properties of the inviscid flowfield are determined using either an 11-specie, 7-reaction equilibrium chemically reacting air model or a calorically perfect air model. The inviscid flowfield is solved using the integral form of the conservation equations. Surface heating calculations at the impingement point for the equilibrium chemically reacting air model use variable transport properties and specific heat. However, for the calorically perfect air model, heating rate calculations use a constant Prandtl number. Sample calculations of the six shock wave interference patterns, a listing of the computer program, and flowcharts of the programming logic are included.

Fault-Tolerant Robot Programming through Simulation with Realistic Sensor Models

Directory of Open Access Journals (Sweden)

Axel Waggershauser

2008-11-01

Full Text Available We introduce a simulation system for mobile robots that allows a realistic interaction of multiple robots in a common environment. The simulated robots are closely modeled after robots from the EyeBot family and have an identical application programmer interface. The simulation supports driving commands at two levels of abstraction as well as numerous sensors such as shaft encoders, infrared distance sensors, and compass. Simulation of on-board digital cameras via synthetic images allows the use of image processing routines for robot control within the simulation. Specific error models for actuators, distance sensors, camera sensor, and wireless communication have been implemented. Progressively increasing error levels for an application program allows for testing and improving its robustness and fault-tolerance.

Service systems concepts, modeling, and programming

CERN Document Server

Cardoso, Jorge; Poels, Geert

2014-01-01

This SpringerBrief explores the internal workings of service systems. The authors propose a lightweight semantic model for an effective representation to capture the essence of service systems. Key topics include modeling frameworks, service descriptions and linked data, creating service instances, tool support, and applications in enterprises.Previous books on service system modeling and various streams of scientific developments used an external perspective to describe how systems can be integrated. This brief introduces the concept of white-box service system modeling as an approach to mo

An inexact mixed risk-aversion two-stage stochastic programming model for water resources management under uncertainty.

Science.gov (United States)

Li, W; Wang, B; Xie, Y L; Huang, G H; Liu, L

2015-02-01

Uncertainties exist in the water resources system, while traditional two-stage stochastic programming is risk-neutral and compares the random variables (e.g., total benefit) to identify the best decisions. To deal with the risk issues, a risk-aversion inexact two-stage stochastic programming model is developed for water resources management under uncertainty. The model was a hybrid methodology of interval-parameter programming, conditional value-at-risk measure, and a general two-stage stochastic programming framework. The method extends on the traditional two-stage stochastic programming method by enabling uncertainties presented as probability density functions and discrete intervals to be effectively incorporated within the optimization framework. It could not only provide information on the benefits of the allocation plan to the decision makers but also measure the extreme expected loss on the second-stage penalty cost. The developed model was applied to a hypothetical case of water resources management. Results showed that that could help managers generate feasible and balanced risk-aversion allocation plans, and analyze the trade-offs between system stability and economy.

Modelling of offshore wind turbine wakes with the wind farm program FLaP

DEFF Research Database (Denmark)

Lange, B.; Waldl, H.P.; Guerrero, A.G.

2003-01-01

The wind farm layout program FLaP estimates the wind speed at any point in a wind farm and the power output of the turbines. The ambient flow conditions and the properties of the turbines and the farm are used as input. The core of the program is an axisymmetric wake model describing the wake...

Programs OPTMAN and SHEMMAN Version 6 (1999) - Coupled-Channels optical model and collective nuclear structure calculation -

Energy Technology Data Exchange (ETDEWEB)

Chang, Jong Hwa; Lee, Jeong Yeon; Lee, Young Ouk; Sukhovitski, Efrem Sh [Korea Atomic Energy Research Institute, Taejeon (Korea)

2000-01-01

Programs SHEMMAN and OPTMAN (Version 6) have been developed for determinations of nuclear Hamiltonian parameters and for optical model calculations, respectively. The optical model calculations by OPTMAN with coupling schemes built on wave functions functions of non-axial soft-rotator are self-consistent, since the parameters of the nuclear Hamiltonian are determined by adjusting the energies of collective levels to experimental values with SHEMMAN prior to the optical model calculation. The programs have been installed at Nuclear Data Evaluation Laboratory of KAERI. This report is intended as a brief manual of these codes. 43 refs., 9 figs., 1 tabs. (Author)

A modeling paradigm for interdisciplinary water resources modeling: Simple Script Wrappers (SSW)

Science.gov (United States)

Steward, David R.; Bulatewicz, Tom; Aistrup, Joseph A.; Andresen, Daniel; Bernard, Eric A.; Kulcsar, Laszlo; Peterson, Jeffrey M.; Staggenborg, Scott A.; Welch, Stephen M.

2014-05-01

Holistic understanding of a water resources system requires tools capable of model integration. This team has developed an adaptation of the OpenMI (Open Modelling Interface) that allows easy interactions across the data passed between models. Capabilities have been developed to allow programs written in common languages such as matlab, python and scilab to share their data with other programs and accept other program's data. We call this interface the Simple Script Wrapper (SSW). An implementation of SSW is shown that integrates groundwater, economic, and agricultural models in the High Plains region of Kansas. Output from these models illustrates the interdisciplinary discovery facilitated through use of SSW implemented models. Reference: Bulatewicz, T., A. Allen, J.M. Peterson, S. Staggenborg, S.M. Welch, and D.R. Steward, The Simple Script Wrapper for OpenMI: Enabling interdisciplinary modeling studies, Environmental Modelling & Software, 39, 283-294, 2013. http://dx.doi.org/10.1016/j.envsoft.2012.07.006 http://code.google.com/p/simple-script-wrapper/

Model Manipulation for End-User Modelers

DEFF Research Database (Denmark)

Acretoaie, Vlad

, and transformations using their modeling notation and editor of choice. The VM* languages are implemented via a single execution engine, the VM* Runtime, built on top of the Henshin graph-based transformation engine. This approach combines the benefits of flexibility, maturity, and formality. To simplify model editor......End-user modelers are domain experts who create and use models as part of their work. They are typically not Software Engineers, and have little or no programming and meta-modeling experience. However, using model manipulation languages developed in the context of Model-Driven Engineering often...... requires such experience. These languages are therefore only used by a small subset of the modelers that could, in theory, benefit from them. The goals of this thesis are to substantiate this observation, introduce the concepts and tools required to overcome it, and provide empirical evidence in support...

Elements of modeling

International Nuclear Information System (INIS)

Bozoki, E.

1987-01-01

There is burgeoning interest in modeling-based accelerator control. With more and more stringent requirements on the performance, the importance of knowing, controlling, predicting the behavior of the accelerator system is growing. Modeling means two things: (1) the development of programs and data which predict the outcome of a measurement, and (2) devising and performing measurements to find the machine physics parameter and their behavior under different conditions. These two sides should be tied together in an iterative process. With knowledge gained on the real system, the model will be modified, calibrated, and fine-tuned. The model of a system consists of data and the modeling program. The Modeling Based Control Programs (MBC) should in the on-line mode control, optimize, and correct the machine. In the off-line mode, the MBC is used to simulate the machine as well as explore and study its behavior and responses under a wide variety of circumstances. 15 refs., 3 figs

A Critical Agency Network Model for Building an Integrated Outreach Program

Science.gov (United States)

Kiyama, Judy Marquez; Lee, Jenny J.; Rhoades, Gary

2012-01-01

This study considers a distinct case of a college outreach program that integrates student affairs staff, academic administrators, and faculty across campus. The authors find that social networks and critical agency help to understand the integration of these various professionals and offer a critical agency network model of enacting change.…

MECCA coordinated research program: analysis of climate models uncertainties used for climatic changes study

International Nuclear Information System (INIS)

Caneill, J.Y.; Hakkarinen, C.

1992-01-01

An international consortium, called MECCA, (Model Evaluation Consortium for Climate Assessment) has been created in 1991 by different partners including electric utilities, government and academic groups to make available to the international scientific community, a super-computer facility for climate evolution studies. The first phase of the program consists to assess uncertainties of climate model simulations in the framework of global climate change studies. Fourteen scientific projects have been accepted on an international basis in this first phase. The second phase of the program will consist in the evaluation of a set of long climate simulations realized with coupled ocean/atmosphere models, in order to study the transient aspects of climate changes and the associated uncertainties. A particular attention will be devoted, on the consequences of these assessments on climate impact studies, and on the regional aspects of climate changes

MININR: a geochemical computer program for inclusion in water flow models - an application study

Energy Technology Data Exchange (ETDEWEB)

Felmy, A.R.; Reisenauer, A.E.; Zachara, J.M.; Gee, G.W.

1984-02-01

MININR is a reduced form of the computer program MINTEQ which calculates equilibrium precipitation/dissolution of solid phases, aqueous speciation, adsorption, and gas phase equilibrium. The user-oriented features in MINTEQ were removed to reduce the size and increase the computational speed. MININR closely resembles the MINEQL computer program developed by Westall (1976). The main differences between MININR and MINEQL involve modifications to accept an initial starting mass of solid and necessary changes for linking with a water flow model. MININR in combination with a simple water flow model which considers only dilution was applied to a laboratory column packed with retorted oil shale and percolated with distilled water. Experimental and preliminary model simulation results are presented for the constituents K/sup +/, Na/sup +/, SO/sub 4//sup 2 -/, Mg/sup 2 +/, Ca/sup 2 +/, CO/sub 3//sup 2 -/ and pH.

Diet models with linear goal programming: impact of achievement functions.

Science.gov (United States)

Gerdessen, J C; de Vries, J H M

2015-11-01

Diet models based on goal programming (GP) are valuable tools in designing diets that comply with nutritional, palatability and cost constraints. Results derived from GP models are usually very sensitive to the type of achievement function that is chosen.This paper aims to provide a methodological insight into several achievement functions. It describes the extended GP (EGP) achievement function, which enables the decision maker to use either a MinSum achievement function (which minimizes the sum of the unwanted deviations) or a MinMax achievement function (which minimizes the largest unwanted deviation), or a compromise between both. An additional advantage of EGP models is that from one set of data and weights multiple solutions can be obtained. We use small numerical examples to illustrate the 'mechanics' of achievement functions. Then, the EGP achievement function is demonstrated on a diet problem with 144 foods, 19 nutrients and several types of palatability constraints, in which the nutritional constraints are modeled with fuzzy sets. Choice of achievement function affects the results of diet models. MinSum achievement functions can give rise to solutions that are sensitive to weight changes, and that pile all unwanted deviations on a limited number of nutritional constraints. MinMax achievement functions spread the unwanted deviations as evenly as possible, but may create many (small) deviations. EGP comprises both types of achievement functions, as well as compromises between them. It can thus, from one data set, find a range of solutions with various properties.

KAJIAN STRATEGI DAN PROGRAM PERBAIKAN OPERASIONALISASI DARI MILK DISTRICT MODEL NESTLÉ DI JAWA TIMUR

Directory of Open Access Journals (Sweden)

Bambang Ali Nugroho

2012-06-01

Full Text Available The objective of this study was to explore the improvement of Nestle milk district model in East Java. Secondary data on dairy development in East Java was used to analyse internal and external factors. SWOT analysis method was used to evaluate existing condition of dairy development in East Java and to build a recomended strategy to improve milk district model. In simplest terms, setting up a milk district involved: a negotiating agreements with farmers for twice-daily collection of their milk, b installing chilling centers in the larger community and collection points in the villages or adapting existing collection infrastructure, c arranging transportation from collection centers to the district’s factory, and d implementing a program to improve milk quality. In reality building a milk district model is not core business or core competence of Nestle but its something absolutely necessary to be introduced. After this program have been introduced, the smallscale dairy farmers were capable to organise themselves to produce freshmilk. Nestle have introduced various insentive systems to support smallscale dairy farmers capacity to guarantee that they have self responsability in dairy farming activities have positive impacts on productivity, quality product and product safety, that all that aspects will give benefit to Nestle. (Key words: Milk district model, Dairy farmer, Dairy cooperative, Milk processing industry, Strategy, Program

Guidance for implementing an environmental, safety, and health-assurance program. Volume 15. A model plan for line organization environmental, safety, and health-assurance programs

Energy Technology Data Exchange (ETDEWEB)

Ellingson, A.C.; Trauth, C.A. Jr.

1982-01-01

This is 1 of 15 documents designed to illustrate how an Environmental, Safety and Health (ES and H) Assurance Program may be implemented. The generic definition of ES and H Assurance Programs is given in a companion document entitled An Environmental, Safety and Health Assurance Program Standard. This particular document presents a model operational-level ES and H Assurance Program that may be used as a guide by an operational-level organization in developing its own plan. The model presented here reflects the guidance given in the total series of 15 documents.

Cash transfer program and education investment: A model for social evolution

Science.gov (United States)

Schimit, P. H. T.; Monteiro, L. H. A.; Omar, N.

2014-03-01

Assume that the households of a country are socially classified according to the monthly total income, and that they can be part of a lower, a middle or an upper class. By using multi-agent systems, here we model and simulate the economic evolution of households which earn a wage, pay taxes and invest in education. The return of the education investment is monthly added to the salary of the family, and it is function of the corresponding grand total put in education along the time. When a family is unemployed, we consider that it receives cash due to a social program made by the government. The time evolution of the percentages of households belonging to each class is investigated by varying the government investment in such a program of cash transfer and the proportion of employed households in the population. We show that the government should invest in the unemployed lower class if it intends a growth of the middle class. We also propose and analyze a mean-field approximation written in terms of ordinary differential equations. In addition, we verify that our model fits real data from Brazil, in the period between 2003 (when the cash transfer program Bolsa Família was launched) and 2011.

A resource facility for kinetic analysis: modeling using the SAAM computer programs.

Science.gov (United States)

Foster, D M; Boston, R C; Jacquez, J A; Zech, L

1989-01-01

Kinetic analysis and integrated system modeling have contributed significantly to understanding the physiology and pathophysiology of metabolic systems in humans and animals. Many experimental biologists are aware of the usefulness of these techniques and recognize that kinetic modeling requires special expertise. The Resource Facility for Kinetic Analysis (RFKA) provides this expertise through: (1) development and application of modeling technology for biomedical problems, and (2) development of computer-based kinetic modeling methodologies concentrating on the computer program Simulation, Analysis, and Modeling (SAAM) and its conversational version, CONversational SAAM (CONSAM). The RFKA offers consultation to the biomedical community in the use of modeling to analyze kinetic data and trains individuals in using this technology for biomedical research. Early versions of SAAM were widely applied in solving dosimetry problems; many users, however, are not familiar with recent improvements to the software. The purpose of this paper is to acquaint biomedical researchers in the dosimetry field with RFKA, which, together with the joint National Cancer Institute-National Heart, Lung and Blood Institute project, is overseeing SAAM development and applications. In addition, RFKA provides many service activities to the SAAM user community that are relevant to solving dosimetry problems.

Optimizing Biorefinery Design and Operations via Linear Programming Models

Energy Technology Data Exchange (ETDEWEB)

Talmadge, Michael; Batan, Liaw; Lamers, Patrick; Hartley, Damon; Biddy, Mary; Tao, Ling; Tan, Eric

2017-03-28

The ability to assess and optimize economics of biomass resource utilization for the production of fuels, chemicals and power is essential for the ultimate success of a bioenergy industry. The team of authors, consisting of members from the National Renewable Energy Laboratory (NREL) and the Idaho National Laboratory (INL), has developed simple biorefinery linear programming (LP) models to enable the optimization of theoretical or existing biorefineries. The goal of this analysis is to demonstrate how such models can benefit the developing biorefining industry. It focuses on a theoretical multi-pathway, thermochemical biorefinery configuration and demonstrates how the biorefinery can use LP models for operations planning and optimization in comparable ways to the petroleum refining industry. Using LP modeling tools developed under U.S. Department of Energy's Bioenergy Technologies Office (DOE-BETO) funded efforts, the authors investigate optimization challenges for the theoretical biorefineries such as (1) optimal feedstock slate based on available biomass and prices, (2) breakeven price analysis for available feedstocks, (3) impact analysis for changes in feedstock costs and product prices, (4) optimal biorefinery operations during unit shutdowns / turnarounds, and (5) incentives for increased processing capacity. These biorefinery examples are comparable to crude oil purchasing and operational optimization studies that petroleum refiners perform routinely using LPs and other optimization models. It is important to note that the analyses presented in this article are strictly theoretical and they are not based on current energy market prices. The pricing structure assigned for this demonstrative analysis is consistent with $4 per gallon gasoline, which clearly assumes an economic environment that would favor the construction and operation of biorefineries. The analysis approach and examples provide valuable insights into the usefulness of analysis tools for

Modelling the Influence of Awareness Programs by Media on the Drinking Dynamics

Directory of Open Access Journals (Sweden)

Hai-Feng Huo

2014-01-01

Full Text Available We develop a nonlinear mathematical model with the effect of awareness programs on the binge drinking. Due to the fact that awareness programs are capable of inducing behavioral changes in nondrinkers, we introduce a separate class by avoiding contacts with the heavy drinkers. Furthermore we assume that cumulative density of awareness programs increases at a rate proportional to the number of heavy drinkers. We establish some sufficient conditions for the stability of the alcohol free and the alcohol present equilibria and give some numerical simulations to explain our main result. Our results show that awareness programs is an effective measure in reducing alcohol problems.

The Use of Engineering Design Concept for Computer Programming Course: A Model of Blended Learning Environment

Science.gov (United States)

Tritrakan, Kasame; Kidrakarn, Pachoen; Asanok, Manit

2016-01-01

The aim of this research is to develop a learning model which blends factors from learning environment and engineering design concept for learning in computer programming course. The usage of the model was also analyzed. This study presents the design, implementation, and evaluation of the model. The research methodology is divided into three…

ModelMage: a tool for automatic model generation, selection and management.

Science.gov (United States)

Flöttmann, Max; Schaber, Jörg; Hoops, Stephan; Klipp, Edda; Mendes, Pedro

2008-01-01

Mathematical modeling of biological systems usually involves implementing, simulating, and discriminating several candidate models that represent alternative hypotheses. Generating and managing these candidate models is a tedious and difficult task and can easily lead to errors. ModelMage is a tool that facilitates management of candidate models. It is designed for the easy and rapid development, generation, simulation, and discrimination of candidate models. The main idea of the program is to automatically create a defined set of model alternatives from a single master model. The user provides only one SBML-model and a set of directives from which the candidate models are created by leaving out species, modifiers or reactions. After generating models the software can automatically fit all these models to the data and provides a ranking for model selection, in case data is available. In contrast to other model generation programs, ModelMage aims at generating only a limited set of models that the user can precisely define. ModelMage uses COPASI as a simulation and optimization engine. Thus, all simulation and optimization features of COPASI are readily incorporated. ModelMage can be downloaded from http://sysbio.molgen.mpg.de/modelmage and is distributed as free software.

Optimal timing of joint replacement using mathematical programming and stochastic programming models.

Science.gov (United States)

Keren, Baruch; Pliskin, Joseph S

2011-12-01

The optimal timing for performing radical medical procedures as joint (e.g., hip) replacement must be seriously considered. In this paper we show that under deterministic assumptions the optimal timing for joint replacement is a solution of a mathematical programming problem, and under stochastic assumptions the optimal timing can be formulated as a stochastic programming problem. We formulate deterministic and stochastic models that can serve as decision support tools. The results show that the benefit from joint replacement surgery is heavily dependent on timing. Moreover, for a special case where the patient's remaining life is normally distributed along with a normally distributed survival of the new joint, the expected benefit function from surgery is completely solved. This enables practitioners to draw the expected benefit graph, to find the optimal timing, to evaluate the benefit for each patient, to set priorities among patients and to decide if joint replacement should be performed and when.

Linear programming models and methods of matrix games with payoffs of triangular fuzzy numbers

CERN Document Server

Li, Deng-Feng

2016-01-01

This book addresses two-person zero-sum finite games in which the payoffs in any situation are expressed with fuzzy numbers. The purpose of this book is to develop a suite of effective and efficient linear programming models and methods for solving matrix games with payoffs in fuzzy numbers. Divided into six chapters, it discusses the concepts of solutions of matrix games with payoffs of intervals, along with their linear programming models and methods. Furthermore, it is directly relevant to the research field of matrix games under uncertain economic management. The book offers a valuable resource for readers involved in theoretical research and practical applications from a range of different fields including game theory, operational research, management science, fuzzy mathematical programming, fuzzy mathematics, industrial engineering, business and social economics. .

Development of demand functions and their inclusion in linear programming forecasting models

International Nuclear Information System (INIS)

Chamberlin, J.H.

1976-05-01

The purpose of the paper is to present a method for including demand directly within a linear programming model, and to use this method to analyze the effect of the Liquid Metal Fast Breeder Reactor upon the nuclear energy system

AN INTEGER PROGRAMMING MODEL FOR HIERARCHICAL WORKFORCE

Directory of Open Access Journals (Sweden)

BANU SUNGUR

2013-06-01

Full Text Available The model presented in this paper is based on the model developed by Billionnet for the hierarchical workforce problem. In Billionnet’s Model, while determining the workers’ weekly costs, weekly working hours of workers are not taken into consideration. In our model, the weekly costs per worker are reduced in proportion to the working hours per week. Our model is illustrated on the Billionnet’s Example. The models in question are compared and evaluated on the basis of the results obtained from the example problem. A reduction is achieved in the total cost by the proposed model.

A History of Sandia’s Water Decision Modeling and Analysis Program

Energy Technology Data Exchange (ETDEWEB)

Lowry, Thomas Stephen [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States). Earth Systems Analysis; Pate, Ronald C. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States). Earth Systems Analysis

2016-10-01

This document provides a brief narrative, and selected project descriptions, that represent Sandia’s history involving data, modeling, and analysis related to water, energy-water nexus, and energy-water-agriculture nexus within the context of climate change. Sandia National Laboratories has been engaged since the early-1990s with program development involving data, modeling, and analysis projects that address the interdependent issues, risks, and technology-based mitigations associated with increasing demands and stresses being placed on energy, water, and agricultural/food resources, and the related impacts on their security and sustainability in the face of both domestic and global population growth, expanding economic development, and climate change.

JUPITER: Joint Universal Parameter IdenTification and Evaluation of Reliability - An Application Programming Interface (API) for Model Analysis

Science.gov (United States)

Banta, Edward R.; Poeter, Eileen P.; Doherty, John E.; Hill, Mary C.

2006-01-01

he Joint Universal Parameter IdenTification and Evaluation of Reliability Application Programming Interface (JUPITER API) improves the computer programming resources available to those developing applications (computer programs) for model analysis.The JUPITER API consists of eleven Fortran-90 modules that provide for encapsulation of data and operations on that data. Each module contains one or more entities: data, data types, subroutines, functions, and generic interfaces. The modules do not constitute computer programs themselves; instead, they are used to construct computer programs. Such computer programs are called applications of the API. The API provides common modeling operations for use by a variety of computer applications.The models being analyzed are referred to here as process models, and may, for example, represent the physics, chemistry, and(or) biology of a field or laboratory system. Process models commonly are constructed using published models such as MODFLOW (Harbaugh et al., 2000; Harbaugh, 2005), MT3DMS (Zheng and Wang, 1996), HSPF (Bicknell et al., 1997), PRMS (Leavesley and Stannard, 1995), and many others. The process model may be accessed by a JUPITER API application as an external program, or it may be implemented as a subroutine within a JUPITER API application . In either case, execution of the model takes place in a framework designed by the application programmer. This framework can be designed to take advantage of any parallel processing capabilities possessed by the process model, as well as the parallel-processing capabilities of the JUPITER API.Model analyses for which the JUPITER API could be useful include, for example: Compare model results to observed values to determine how well the model reproduces system processes and characteristics.Use sensitivity analysis to determine the information provided by observations to parameters and predictions of interest.Determine the additional data needed to improve selected model

F-Nets and Software Cabling: Deriving a Formal Model and Language for Portable Parallel Programming

Science.gov (United States)

DiNucci, David C.; Saini, Subhash (Technical Monitor)

1998-01-01

Parallel programming is still being based upon antiquated sequence-based definitions of the terms "algorithm" and "computation", resulting in programs which are architecture dependent and difficult to design and analyze. By focusing on obstacles inherent in existing practice, a more portable model is derived here, which is then formalized into a model called Soviets which utilizes a combination of imperative and functional styles. This formalization suggests more general notions of algorithm and computation, as well as insights into the meaning of structured programming in a parallel setting. To illustrate how these principles can be applied, a very-high-level graphical architecture-independent parallel language, called Software Cabling, is described, with many of the features normally expected from today's computer languages (e.g. data abstraction, data parallelism, and object-based programming constructs).

Chance-constrained programming models for capital budgeting with NPV as fuzzy parameters

Science.gov (United States)

Huang, Xiaoxia

2007-01-01

In an uncertain economic environment, experts' knowledge about outlays and cash inflows of available projects consists of much vagueness instead of randomness. Investment outlays and annual net cash flows of a project are usually predicted by using experts' knowledge. Fuzzy variables can overcome the difficulties in predicting these parameters. In this paper, capital budgeting problem with fuzzy investment outlays and fuzzy annual net cash flows is studied based on credibility measure. Net present value (NPV) method is employed, and two fuzzy chance-constrained programming models for capital budgeting problem are provided. A fuzzy simulation-based genetic algorithm is provided for solving the proposed model problems. Two numerical examples are also presented to illustrate the modelling idea and the effectiveness of the proposed algorithm.

Microscopic simulation model of superconducting transmission lines for standard microwave CAD programs

International Nuclear Information System (INIS)

Hoefer, G.J.; Kratz, H.A.

1993-01-01

Superconducting lines are very promising candidates for fast signal transmission in integrated circuits, because of their low losses and dispersion, which result in large usable bandwidths. Coplanar waveguides are of special interest, since only one superconducting layer is needed for their implementation. This requirement fits well the present day capabilities of the high temperature superconductor technology. At present, the major drawback of this type of transmission line is the lack of accurate and fast CAD models including the special properties of superconducting electrodes. In the following we will briefly describe the essentials of a model for the case of superconducting lines. For a complete description the reader is referenced to. The model has been proven to be useful in conjunction with commercially available microwave CAD programs. (orig.)

Using RUFDATA to guide a logic model for a quality assurance process in an undergraduate university program.

Science.gov (United States)

Sherman, Paul David

2016-04-01

This article presents a framework to identify key mechanisms for developing a logic model blueprint that can be used for an impending comprehensive evaluation of an undergraduate degree program in a Canadian university. The evaluation is a requirement of a comprehensive quality assurance process mandated by the university. A modified RUFDATA (Saunders, 2000) evaluation model is applied as an initiating framework to assist in decision making to provide a guide for conceptualizing a logic model for the quality assurance process. This article will show how an educational evaluation is strengthened by employing a RUFDATA reflective process in exploring key elements of the evaluation process, and then translating this information into a logic model format that could serve to offer a more focussed pathway for the quality assurance activities. Using preliminary program evaluation data from two key stakeholders of the undergraduate program as well as an audit of the curriculum's course syllabi, a case is made for, (1) the importance of inclusivity of key stakeholders participation in the design of the evaluation process to enrich the authenticity and accuracy of program participants' feedback, and (2) the diversification of data collection methods to ensure that stakeholders' narrative feedback is given ample exposure. It is suggested that the modified RUFDATA/logic model framework be applied to all academic programs at the university undergoing the quality assurance process at the same time so that economies of scale may be realized. Copyright © 2015 Elsevier Ltd. All rights reserved.

Linear programming model can explain respiration of fermentation products

Science.gov (United States)

Möller, Philip; Liu, Xiaochen; Schuster, Stefan

2018-01-01

Many differentiated cells rely primarily on mitochondrial oxidative phosphorylation for generating energy in the form of ATP needed for cellular metabolism. In contrast most tumor cells instead rely on aerobic glycolysis leading to lactate to about the same extent as on respiration. Warburg found that cancer cells to support oxidative phosphorylation, tend to ferment glucose or other energy source into lactate even in the presence of sufficient oxygen, which is an inefficient way to generate ATP. This effect also occurs in striated muscle cells, activated lymphocytes and microglia, endothelial cells and several mammalian cell types, a phenomenon termed the “Warburg effect”. The effect is paradoxical at first glance because the ATP production rate of aerobic glycolysis is much slower than that of respiration and the energy demands are better to be met by pure oxidative phosphorylation. We tackle this question by building a minimal model including three combined reactions. The new aspect in extension to earlier models is that we take into account the possible uptake and oxidation of the fermentation products. We examine the case where the cell can allocate protein on several enzymes in a varying distribution and model this by a linear programming problem in which the objective is to maximize the ATP production rate under different combinations of constraints on enzymes. Depending on the cost of reactions and limitation of the substrates, this leads to pure respiration, pure fermentation, and a mixture of respiration and fermentation. The model predicts that fermentation products are only oxidized when glucose is scarce or its uptake is severely limited. PMID:29415045

Linear programming model can explain respiration of fermentation products.

Science.gov (United States)

Möller, Philip; Liu, Xiaochen; Schuster, Stefan; Boley, Daniel

2018-01-01

Many differentiated cells rely primarily on mitochondrial oxidative phosphorylation for generating energy in the form of ATP needed for cellular metabolism. In contrast most tumor cells instead rely on aerobic glycolysis leading to lactate to about the same extent as on respiration. Warburg found that cancer cells to support oxidative phosphorylation, tend to ferment glucose or other energy source into lactate even in the presence of sufficient oxygen, which is an inefficient way to generate ATP. This effect also occurs in striated muscle cells, activated lymphocytes and microglia, endothelial cells and several mammalian cell types, a phenomenon termed the "Warburg effect". The effect is paradoxical at first glance because the ATP production rate of aerobic glycolysis is much slower than that of respiration and the energy demands are better to be met by pure oxidative phosphorylation. We tackle this question by building a minimal model including three combined reactions. The new aspect in extension to earlier models is that we take into account the possible uptake and oxidation of the fermentation products. We examine the case where the cell can allocate protein on several enzymes in a varying distribution and model this by a linear programming problem in which the objective is to maximize the ATP production rate under different combinations of constraints on enzymes. Depending on the cost of reactions and limitation of the substrates, this leads to pure respiration, pure fermentation, and a mixture of respiration and fermentation. The model predicts that fermentation products are only oxidized when glucose is scarce or its uptake is severely limited.

Managing problem employees: a model program and practical guide.

Science.gov (United States)

Miller, Laurence

2010-01-01

This article presents a model program for managing problem employees that includes a description ofthe basic types of problem employees and employee problems, as well as practical recommendations for. (1) selection and screening, (2) education and training, (3) coaching and counseling, (4) discipline, (5) psychological fitness-for-duty evaluations, (6) mental health services, (7) termination, and (8) leadership and administrative strategies. Throughout, the emphasis on balancing the need for order and productivity in the workplace with fairness and concern for employee health and well-being.

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

DEFF Research Database (Denmark)

Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro

2014-01-01

to the state space explosion. Several techniques have been proposed to mitigate those problems so to make verification under relaxed memory models feasible. We discuss how to adopt some of those techniques in a Maude-based approach to language prototyping, and suggest the use of other techniques that have been......Relaxed memory models offer suitable abstractions of the actual optimizations offered by multi-core architectures and by compilers of concurrent programming languages. Using such abstractions for verification purposes is challenging in part due to their inherent non-determinism which contributes...

Faculty Development Program Models to Advance Teaching and Learning Within Health Science Programs

Science.gov (United States)

Lancaster, Jason W.; Stein, Susan M.; MacLean, Linda Garrelts; Van Amburgh, Jenny

2014-01-01

Within health science programs there has been a call for more faculty development, particularly for teaching and learning. The primary objectives of this review were to describe the current landscape for faculty development programs for teaching and learning and make recommendations for the implementation of new faculty development programs. A thorough search of the pertinent health science databases was conducted, including the Education Resource Information Center (ERIC), MEDLINE, and EMBASE, and faculty development books and relevant information found were reviewed in order to provide recommendations for best practices. Faculty development for teaching and learning comes in a variety of forms, from individuals charged to initiate activities to committees and centers. Faculty development has been effective in improving faculty perceptions on the value of teaching, increasing motivation and enthusiasm for teaching, increasing knowledge and behaviors, and disseminating skills. Several models exist that can be implemented to support faculty teaching development. Institutions need to make informed decisions about which plan could be most successfully implemented in their college or school. PMID:24954939

Faculty development program models to advance teaching and learning within health science programs.

Science.gov (United States)

Lancaster, Jason W; Stein, Susan M; MacLean, Linda Garrelts; Van Amburgh, Jenny; Persky, Adam M

2014-06-17

Within health science programs there has been a call for more faculty development, particularly for teaching and learning. The primary objectives of this review were to describe the current landscape for faculty development programs for teaching and learning and make recommendations for the implementation of new faculty development programs. A thorough search of the pertinent health science databases was conducted, including the Education Resource Information Center (ERIC), MEDLINE, and EMBASE, and faculty development books and relevant information found were reviewed in order to provide recommendations for best practices. Faculty development for teaching and learning comes in a variety of forms, from individuals charged to initiate activities to committees and centers. Faculty development has been effective in improving faculty perceptions on the value of teaching, increasing motivation and enthusiasm for teaching, increasing knowledge and behaviors, and disseminating skills. Several models exist that can be implemented to support faculty teaching development. Institutions need to make informed decisions about which plan could be most successfully implemented in their college or school.

A retrospective review of the Honduras AIN-C program guided by a community health worker performance logic model.

Science.gov (United States)

Rodríguez, Daniela C; Peterson, Lauren A

2016-05-06

Factors that influence performance of community health workers (CHWs) delivering health services are not well understood. A recent logic model proposed categories of support from both health sector and communities that influence CHW performance and program outcomes. This logic model has been used to review a growth monitoring program delivered by CHWs in Honduras, known as Atención Integral a la Niñez en la Comunidad (AIN-C). A retrospective review of AIN-C was conducted through a document desk review and supplemented with in-depth interviews. Documents were systematically coded using the categories from the logic model, and gaps were addressed through interviews. Authors reviewed coded data for each category to analyze program details and outcomes as well as identify potential issues and gaps in the logic model. Categories from the logic model were inconsistently represented, with more information available for health sector than community. Context and input activities were not well documented. Information on health sector systems-level activities was available for governance but limited for other categories, while not much was found for community systems-level activities. Most available information focused on program-level activities with substantial data on technical support. Output, outcome, and impact data were drawn from various resources and suggest mixed results of AIN-C on indicators of interest. Assessing CHW performance through a desk review left gaps that could not be addressed about the relationship of activities and performance. There were critical characteristics of program design that made it contextually appropriate; however, it was difficult to identify clear links between AIN-C and malnutrition indicators. Regarding the logic model, several categories were too broad (e.g., technical support, context) and some aspects of AIN-C did not fit neatly in logic model categories (e.g., political commitment, equity, flexibility in implementation). The

Human factors engineering program review model

International Nuclear Information System (INIS)

1994-07-01

The staff of the Nuclear Regulatory Commission is performing nuclear power plant design certification reviews based on a design process plan that describes the human factors engineering (HFE) program elements that are necessary and sufficient to develop an acceptable detailed design specification and an acceptable implemented design. There are two principal reasons for this approach. First, the initial design certification applications submitted for staff review did not include detailed design information. Second, since human performance literature and industry experiences have shown that many significant human factors issues arise early in the design process, review of the design process activities and results is important to the evaluation of an overall design. However, current regulations and guidance documents do not address the criteria for design process review. Therefore, the HFE Program Review Model (HFE PRM) was developed as a basis for performing design certification reviews that include design process evaluations as well as review of the final design. A central tenet of the HFE PRM is that the HFE aspects of the plant should be developed, designed, and evaluated on the basis of a structured top-down system analysis using accepted HFE principles. The HFE PRM consists of ten component elements. Each element in divided into four sections: Background, Objective, Applicant Submittals, and Review Criteria. This report describes the development of the HFE PRM and gives a detailed description of each HFE review element

Petri Nets Based Modelling of Control Flow for Memory-Aid Interactive Programs in Telemedicine

CERN Document Server

Khoromskaia, V K

2004-01-01

Petri Nets (PN) based modelling of the control flow for the interactive memory assistance programs designed for personal pocket computers and having special requirements for robustness is considered. The proposed concept allows one to elaborate the programs which can give users a variety of possibilities for a day-time planning in the presence of environmental and time restrictions. First, a PN model for a known simple algorithm is constructed and analyzed using the corresponding state equations and incidence matrix. Then a PN graph for a complicated algorithm with overlapping actions and choice possibilities is designed, supplemented by an example of its analysis. Dynamic behaviour of this graph is tested by tracing of all possible paths of the flow of control using the PN simulator. It is shown that PN based modelling provides reliably predictable performance of interactive algorithms with branched structures and concurrency requirements.

Safety Assessment for LILW Near-Surface Disposal Facility Using the IAEA Reference Model and MASCOT Program

International Nuclear Information System (INIS)

Kim, Hyun Joo; Park, Joo Wan; Kim, Chang Lak

2002-01-01

A reference scenario of vault safety case prepared by the IAEA for the near-surface disposal facility of low-and intermediate-level radioactive wastes is assessed with the MASCOT program. The appropriate conceptual models for the MASCOT implementation is developed. An assessment of groundwater pathway through a drinking well as a geosphere-biosphere interface is performed first, then biosphere pathway is analysed to estimate the radiological consequences of the disposed radionuclides based on compartment modeling approach. The validity of conceptual modeling for the reference scenario is investigated where possible comparing to the results generated by the other assessment. The result of this study shows that the typical conceptual model for groundwater pathway represented by the compartment model can be satisfactorily used for safety assessment of the entire disposal system in a consistent way. It is also shown that safety assessment of a disposal facility considering complex and various pathways would be possible by the MASCOT program

How robotics programs influence young women's career choices : a grounded theory model

Science.gov (United States)

Craig, Cecilia Dosh-Bluhm

The fields of engineering, computer science, and physics have a paucity of women despite decades of intervention by universities and organizations. Women's graduation rates in these fields continue to stagnate, posing a critical problem for society. This qualitative grounded theory (GT) study sought to understand how robotics programs influenced young women's career decisions and the program's effect on engineering, physics, and computer science career interests. To test this, a study was mounted to explore how the FIRST (For Inspiration and Recognition of Science and Technology) Robotics Competition (FRC) program influenced young women's college major and career choices. Career theories suggested that experiential programs coupled with supportive relationships strongly influence career decisions, especially for science, technology, engineering, and mathematics careers. The study explored how and when young women made career decisions and how the experiential program and! its mentors and role models influenced career choice. Online focus groups and interviews (online and face-to-face) with 10 female FRC alumnae and GT processes (inductive analysis, open coding, categorizations using mind maps and content clouds) were used to generate a general systems theory style model of the career decision process for these young women. The study identified gender stereotypes and other career obstacles for women. The study's conclusions include recommendations to foster connections to real-world challenges, to develop training programs for mentors, and to nurture social cohesion, a mostly untapped area. Implementing these recommendations could help grow a critical mass of women in engineering, physics, and computer science careers, a social change worth pursuing.

MODEL KAJI TINDAK PROGRAM PEMBANGUNAN PARTISIPATIF PENGENTASAN KEMISKINAN DAN RAWAN PANGAN

Directory of Open Access Journals (Sweden)

P. Eko Prasetyo

2015-06-01

Full Text Available The objective of the article was to explain essential and urgency of the model of participative development program as an effort to maximize real potencies: economy, social, poli- tic and local culture, so that they can meet living need themselves independently and sustainability. The subjects of the study are all local poor people in Bringin rural area. Result of the research indicated that people awareness can maximize their potency that determined by the creativity and not due to the facility as government gave. The research explained that the incapable people problem was not merely due to absence of capital. However, it was due to awareness and working ethos that awakening in order to resolve the poverty problem. Therefore, in the evaluative action at least it was required four pillars, namely: job opportunity, social protection, capability improvement and people-empowering pillars. Then, evaluative action implementation of widening empowerment program based on local resource and creative economy was an essential, urgent strategy model to develop as effort of resolving poverty.

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...

Higher Education Program Curricula Models in Tourism and Hospitality Education: A Review of the Literature

Science.gov (United States)

Scotland, Miriam

2006-01-01

The relevancy of program curricula in tourism and hospitality education has been called into question by key stakeholders in light of ongoing changes in the multifaceted tourism and hospitality industry. Various program models have been identified. Program content and quality of student preparedness have been debated. Balance and areas of emphasis…

Assessing the New Competencies for Resident Education: A Model from an Emergency Medicine Program.