- Home
- ▪
- About
- ▪
- News
- ▪
- Advanced Search
- ▪
- Mobile
- ▪
- Contact Us
- ▪
- Site Map
- ▪
- Help

1

Semantic annotation of requirements for automatic UML class diagram generation

Directory of Open Access Journals (Sweden)

Full Text Available The increasing complexity of software engineering requires effective methods and tools to support requirements analysts' activities. While much of a company's knowledge can be found in text repositories, current content management systems have limited capabilities for structuring and interpreting documents. In this context, we propose a tool for transforming text documents describing users' requirements to an UML model. The presented tool uses Natural Language Processing (NLP and semantic rules to generate an UML class diagram. The main contribution of our tool is to provide assistance to designers facilitating the transition from a textual description of user requirements to their UML diagrams based on GATE (General Architecture of Text by formulating necessary rules that generate new semantic annotations.

Soumaya Amdouni

2011-05-01

2

Semantic annotation of requirements for automatic UML class diagram generation

The increasing complexity of software engineering requires effective methods and tools to support requirements analysts' activities. While much of a company's knowledge can be found in text repositories, current content management systems have limited capabilities for structuring and interpreting documents. In this context, we propose a tool for transforming text documents describing users' requirements to an UML model. The presented tool uses Natural Language Processing (NLP) and semantic rules to generate an UML class diagram. The main contribution of our tool is to provide assistance to designers facilitating the transition from a textual description of user requirements to their UML diagrams based on GATE (General Architecture of Text) by formulating necessary rules that generate new semantic annotations.

Amdouni, Soumaya; Bouabid, Sondes

2011-01-01

3

From use cases to UML class diagrams using logic grammars and constraints

DEFF Research Database (Denmark)

We investigate the possibilities for automated transition from Use Cases in a restricted natural language syntax into UML class diagrams, by trying to capture the semantics of the natural language and map it into building blocks of the object oriented programming paradigm (classes, objects, methods, properties etc.). Syntax and semantic analysis is done in a framework of Definite Clause Grammars extended with Constraint Handling Rules, which generalizes previous approaches with a direct way to express domain knowledge utilized in the interpretation process as well as stating explicit rules for pronoun resolution. The latter involves an improvement of earlier work on assumptions with time stamps.

Christiansen, Henning; Have, Christian Theil

2007-01-01

4

OOAspectZ and aspect-oriented UML class diagrams for Aspect-oriented software modelling (AOSM

Directory of Open Access Journals (Sweden)

Full Text Available Regarding modularised software development, Aspect-oriented programming (AOP identifies and represents individually crosscutting concerns during the software development cycle’s programming stage. This article proposes and applies OOAspectZ to formal Aspect-oriented requirement specifications for prior stages of the software development cycle. It particularly concerns requirement specification and the structural design of data and behaviour, along with describing and applying Aspect-oriented UML class diagrams to designing classes, aspects and associations among classes and aspects during Aspect-oriented software development (AOSD.OOAspectZ is a language integrating both Object-Z and AspectZ formal languages whereas Aspect-oriented UML class diagrams represent AOP code, object class and crosscutting concern class structure by means of stereotypes. This article shows and applies the main OOAspectZ and AO UML class diagram characteristics to Aspect-oriented software modelling (AOSM using a classic example of AOP. Ideas for future work concerning an actual AOP version are also indicated.

Cristian Vidal Silva

2013-12-01

5

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish El OMG define el refinamiento como el proceso de transformación desde un modelo independiente de la plataforma de implementación hacia un modelo específico de la plataforma de implementación. Las herramientas CASE convencionales han experimentado problemas con este tipo de transformación, debido a l [...] a definición estática de los modelos incluidos en ellas, a las dificultades para la definición de reglas de transformación y al pobre rendimiento mostrado por ellas en la obtención de código. Las herramientas MetaCASE han surgido con nuevas capacidades para mejorar el refinamiento en el contexto de la transformación entre modelos. En este artículo se presenta una implementación en AToM3 para refinamiento que transforma un diagrama de clases UML independiente de la plataforma de implementación a un diagrama de clases UML dependiente de la plataforma de implementación Oracle® 9i. Además, se muestra el uso de esta clase de refinamiento con un caso de estudio. Abstract in english Defined by OMG, Refinement is a transformation process from a platform independent model to a platform specific model. CASE Tools have experienced problems with this kind of transformation, because of the static definition of metamodels included on them, difficulties for defining transformation rule [...] s and the poor performance showed by them in code obtaining. MetaCASE Tools have emerged with new capabilities for improving the refinement in the context of model transformation. In this paper, we present an AToM3-based implementation for refinement between a platform-independent UML Class Diagram and an Oracle® 9i-platform UML Class Model. Furthermore, we show the use of this kind of refinement with a study case.

CARLOS M., ZAPATA; CARLOS A., ÁLVAREZ; FERNANDO, ARANGO I..

6

From State Diagram to Class Diagram

DEFF Research Database (Denmark)

UML class diagram and Java source code are interrelated and Java code is a kind of interchange format. Working with UML state diagram in CASE tools, a corresponding xml file is maintained. Designing state diagrams is mostly performed manually using design patterns and coding templates - a time consuming process. This article demonstrates how to compile such a diagram into Java code and later, by reverse engineering, produce a class diagram. The process from state diagram via intermediate SAX parsed xml file to Apache Velocity generated Java code is described. The result is a fast reproducible Java code minimizing maintenance.

Borch, Ole; Madsen, Per Printz

2009-01-01

7

Class structure of electromechanical energy converter models with UML-diagrams application

Directory of Open Access Journals (Sweden)

Full Text Available Theoretical results are presented, mathematical model formation by means of inheritance from a generalized class template is shown for a general electromechanical energy converter.

V.Ye. Plyugin

2014-04-01

8

Review on Code Generation from UML Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available The Unified Modeling Language (UML [1] has now become the de-facto industry standard for objectoriented (OO software development. UML provides a set of diagrams to model structural and behavioral aspects of an object-oriented system[2,3].Automatic code generation is efficient which, in turn, helps the software engineers deliver the software on time. This paper represents an review for generating efficient and compact executable code from UML diagram. For this we first preprocess the given diagram for its correctness and then verify if for the same and then try to optimize the obtained diagram from these stages so as to reduce redundancies present in the diagram and finally generate the code for it.

Prajkta R. Pawde*1

2014-05-01

9

Improving modeling with layered UML diagrams

DEFF Research Database (Denmark)

Layered diagrams are diagrams whose elements are organized into sets of layers. Layered diagrams are routinely used in many branches of engineering, except Software Engineering. In this paper, we propose to add layered diagrams to UML modeling tools, and elaborate the concept by exploring usage scenarios. We validate the concept by implementation, lab assessments, and field testing. We conclude that layers enhance and complement conventional diagrams and model structuring techniques, are easy to add to existing modeling infrastructure, and are easy to apply by modelers.

Störrle, Harald

2013-01-01

10

Supporting UML Sequence Diagrams with a Processor Net Approach

Directory of Open Access Journals (Sweden)

Full Text Available UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagrams, containing messages related to system processes. It is difficult to examine alternative combinations of message passing. A solution is to translate these diagrams into an executable processor net model. This is based on the ‘actor model’, Petri net concepts and higher order net constructs. A case study taken from a flight reservation scenario is introduced and used to create a processor net model. This approach offers various advantages like identifying the main processes, executable model creation, verification, formalization, defining schemas and performance analysis.

Tony Spiteri Staines

2007-08-01

11

An Approach to Code Generation from UML Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available The Unified Modeling Language (UML has now become the de-facto industry standard for object-oriented (OO software development. UML provides a set of diagrams to model structural and behavioral aspects of an object-oriented system. Automatic translation of UML diagrams to object oriented code is highly desirable because it eliminates the chances of introduction of human errors in the translation process. Automatic code generation is efficient which, in turn, helps the software engineers deliver the software on time. However, major challenges in this area include checking consistency of UML models, and ensuring accuracy, maintainability, and efficiency of the generated code. This paper represents an approach to generate efficient and compact executable code from UML diagram. By analyzing the characteristics UML diagram, a coding strategy is proposed, and a structure identification and coding algorithm are put forward for code generation from UML diagram. Based on the coding strategy an algorithm is proposed to generate code from UML diagrams using some intermediate steps. The main objective of this paper is to generate the code from UML diagram.

Harshal D. Gurad

2014-01-01

12

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: English Abstract in spanish En la búsqueda de desarrollo del software modularizado, la Programación Orientada a Aspectos (POA) identifica y representa de manera separada funcionalidades cruzadas en la etapa de programación del ciclo de desarrollo del software. Para las etapas previas del ciclo de desarrollo del software, parti [...] cularmente, en la especificación de requerimientos y el diseño estructural de los datos y comportamientos, este trabajo propone y aplica OOAspectZ para la especificación formal de requerimientos orientados a aspectos, además, describe y aplica diagramas de clases UML orientados en el diseño y la asociación entre clases y aspectos, para el proceso de Desarrollo del Software Orientado a Aspectos (DSOA), respectivamente. Particularmente, OOAspectZ es un lenguaje que integra los lenguajes formales Object-Z y AspectZ, mientras que, los diagramas de clases UML orientados a aspectos representan la estructura del código de POA, clases de objetos y clases de funcionalidades cruzadas con el uso de estereotipos. Este artículo muestra y aplica las principales características de los lenguajes OOAspectZ y diagramas de clase UML orientados a aspectos, para la modelación del software orientado a aspectos (MSOA) que se aplican a un ejemplo clásico de POA, además, se entregan ideas de trabajo futuro respecto a una actual versión de POA. Abstract in english Regarding modularised software development, Aspect-oriented programming (AOP) identifies and represents individually crosscutting concerns during the software development cycle's programming stage. This article proposes and applies OOAspectZ to formal Aspect-oriented requirement specifications for p [...] rior stages of the software development cycle. It particularly concerns requirement specification and the structural design of data and behaviour, along with describing and applying Aspect-oriented UML class diagrams to designing classes, aspects and associations among classes and aspects during Aspect-oriented software development (AOSD). OOAspectZ is a language integrating both Object-Z and AspectZ formal languages whereas Aspect-oriented UML class diagrams represent AOP code, object class and crosscutting concern class structure by means of stereotypes. This article shows and applies the main OOAspectZ and AO UML class diagram characteristics to Aspect-oriented software modelling (AOSM) using a classic example of AOP. Ideas for future work concerning an actual AOP version are also indicated.

C, Vidal Silva; R., Saens; C, Del Río; R, Villarroel.

2013-12-01

13

Reconceptualization of Class-based Representation in UML

Directory of Open Access Journals (Sweden)

Full Text Available The requirement phase in the software development process is typically formulated using UML diagrams, including use cases and conceptual class diagrams. It is claimed that UML is suitable for modeling at the domain level; accordingly, many enhancements to these diagrams have been proposed to achieve a more comprehensive representation of functionality of the system from the conceptual (computation-independent point of view. This paper proposes a uniform conceptual methodology that integrates static and dynamic features to provide a foundation for system design in the next phase of development. UML-based modeling and this new methodology are contrasted in examples that demonstrate the feasibility of the new approach for use in formulating system requirements.

Sabah Al-Fedaghi

2012-11-01

14

Improving The Decisional Process By Using UML Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available In the last years, the world has moved from predominantly industrial society to information society, governed by a new set of rules, which allows access to digital technologies, processing, storage and transmission of information. Organizations include in their decisional process Business Intelligence components, which help the decision-makers to establish the conditions of financial equilibrium, to highlight weaknesses and strengths, to make predictions.Particularly, Unified Modelling Language (UML, as a formal and standardized language, allows the control of the system’s complexity, shows different but complementary views of the organization and ensures independence towards the implementation language and the domain of application. This article aims to show the way UML diagrams are used as support in a decisional process for a hotel company. UML diagrams designed help decisionmakers to analysis and discover the causes, to design and simulation of possible scenarios, to implement and measuring the results.

Udrica Mioara

2012-06-01

15

Verification of UML Model Elements Using B

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper describes the formal verification of UML model elements using B abstract machines. We study the UML metamodel of class diagrams, collaboration diagrams and state-chart diagrams as well as their well-formedness rules. Each element of UML models which is an instance of a metaclass, is transformed into a B abstract machine. The relationship between abstract machines is organised using the abstract syntax of UML class diagram of the UML metamodel. B specifications are proved by a B pro...

Truong, Ninh Thuan; Souquie?res, Jeanine

2006-01-01

16

Language and Tool Support for Class and State Machine Refinement in UML-B

UML-B is a ‘UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML-B. This paper introduces the notions of refined classes and refined state machines to enable refinement of classes and state machines in UML-B. Together with these notions, a technique for moving an event between classes to facilitate abstraction is also introduced. Our work makes explicit the structures of class and state machine refinement in UML-B. The UML-B drawing tool and Event-B translator are extended to support the new refinement concepts. A case study of an auto teller machine (ATM) is presented to demonstrate application and effectiveness of refined classes and refined state machines.

Said, Mar Yah; Butler, Michael; Snook, Colin

17

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La generación automática de código a partir de modelos ha sido una de las promesas parcialmente cumplidas en el desarrollo de software. La experiencia de las herramientas CASE, aún distante del automatismo absoluto, se complementa con algunos trabajos teóricos que se alejan de los estándares de mode [...] lamiento. En este artículo se proponen reglas para la generación de código a partir de metamodelos de diagramas de clases, secuencias y máquina de estados de UML. Las reglas están definidas en lógica de primer orden, permitiendo una especificación donde se evitan las ambigüedades y la necesidad de aprender un lenguaje de programación específico. Mediante un caso de estudio se representa la aplicación de las reglas de transformación, generando el código fuente de una clase en el lenguaje orientado a objetos Java. Abstract in english Automatic code generation from models has been one of the partially accomplished promises in software development. CASE Tools experiences, even so far from complete automatism, are complemented by some theoretic works, which torn apart modeling standards. In this paper we propose code generation rul [...] es from metamodels of the UML class, sequence, and state machine diagrams. The rules are defined on first-order logic, in order to allow the construction of a specification where both ambiguity and the need of learning a programming language are avoided. We also represent the application of transformation rules by means of a case study, and we generate source code of a class in the Java object-oriented programming language.

ANDRÉS, MUÑETÓN; CARLOS M., ZAPATA; FERNANDO, ARANGO.

18

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La generación automática de código a partir de modelos ha sido una de las promesas parcialmente cumplidas en el desarrollo de software. La experiencia de las herramientas CASE, aún distante del automatismo absoluto, se complementa con algunos trabajos teóricos que se alejan de los estándares de mode [...] lamiento. En este artículo se proponen reglas para la generación de código a partir de metamodelos de diagramas de clases, secuencias y máquina de estados de UML. Las reglas están definidas en lógica de primer orden, permitiendo una especificación donde se evitan las ambigüedades y la necesidad de aprender un lenguaje de programación específico. Mediante un caso de estudio se representa la aplicación de las reglas de transformación, generando el código fuente de una clase en el lenguaje orientado a objetos Java. Abstract in english Automatic code generation from models has been one of the partially accomplished promises in software development. CASE Tools experiences, even so far from complete automatism, are complemented by some theoretic works, which torn apart modeling standards. In this paper we propose code generation rul [...] es from metamodels of the UML class, sequence, and state machine diagrams. The rules are defined on first-order logic, in order to allow the construction of a specification where both ambiguity and the need of learning a programming language are avoided. We also represent the application of transformation rules by means of a case study, and we generate source code of a class in the Java object-oriented programming language.

ANDRÉS, MUÑETÓN; CARLOS M., ZAPATA; FERNANDO, ARANGO.

2007-11-01

19

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: English Abstract in spanish En este trabajo se propone una plataforma semántica de servicios que implementan los pasos de un método para la generación automática de código. El método se basa en información semántica y en MDA (model-driven architecture). La generación de código se logra relacionando semánticamente operaciones e [...] n diagramas de clases en UML (unified modeling language) con operaciones implementadas. La relación entre operaciones se hace consultando operaciones implementadas que tengan la misma postcondición de la operación bajo implementación. El código resultante es una secuencia de invocaciones a operaciones implementadas que, en conjunto, alcancen la postcondición de la operación bajo implementación. La semántica se especifica mediante un DSL (domain-specific language), también definido en este artículo. Los servicios de la plataforma y el método se prueban mediante un caso de estudio. Abstract in english In this paper, we propose a semantic service platform for implementing the steps of a semantic- and model-driven architecture (MDA)-based method for automated code generation. The code generation is achieved by semantically relating operations in unified modeling language (UML) class diagrams with i [...] mplemented operations. The relationship among operations is achieved by finding implemented operations with the same post-condition of the operation under implementation. The resultant code is a sequence of invocations to the implemented operations which, acting as a whole, achieve the post-condition of the operation under implementation. Semantics is specified by means of a domain-specific language (DSL), also defined in this paper. Services of the platform and the method are shown in execution in a case study.

ANDRÉS, MUÑETÓN; CARLOS, ZAPATA.

2012-04-01

20

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: English Abstract in spanish En este trabajo se propone una plataforma semántica de servicios que implementan los pasos de un método para la generación automática de código. El método se basa en información semántica y en MDA (model-driven architecture). La generación de código se logra relacionando semánticamente operaciones e [...] n diagramas de clases en UML (unified modeling language) con operaciones implementadas. La relación entre operaciones se hace consultando operaciones implementadas que tengan la misma postcondición de la operación bajo implementación. El código resultante es una secuencia de invocaciones a operaciones implementadas que, en conjunto, alcancen la postcondición de la operación bajo implementación. La semántica se especifica mediante un DSL (domain-specific language), también definido en este artículo. Los servicios de la plataforma y el método se prueban mediante un caso de estudio. Abstract in english In this paper, we propose a semantic service platform for implementing the steps of a semantic- and model-driven architecture (MDA)-based method for automated code generation. The code generation is achieved by semantically relating operations in unified modeling language (UML) class diagrams with i [...] mplemented operations. The relationship among operations is achieved by finding implemented operations with the same post-condition of the operation under implementation. The resultant code is a sequence of invocations to the implemented operations which, acting as a whole, achieve the post-condition of the operation under implementation. Semantics is specified by means of a domain-specific language (DSL), also defined in this paper. Services of the platform and the method are shown in execution in a case study.

ANDRÉS, MUÑETÓN; CARLOS, ZAPATA.

21

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains

Directory of Open Access Journals (Sweden)

Full Text Available If software architecture is assigned with formal semantics, then automatic verification and validation can be performed during the process of model refinement. In this paper, we emphasized on the formal semantics of UML state diagrams oriented performance analysis. The exact definitions of the basic elements and composition mechanism of UML state diagrams are proposed, UML state diagrams is abstracted as a multi-tuple, CTMC models are abstracted as stochastic Kripke structure, mapping rules between the above two mathematics models are proposed, furthermore the corresponding formal semantics are generated. Finally, an asynchronous parallel composition queuing network is presented to illustrate how the theory is applied to formalize UML state diagrams. The key properties of system are manually deduced and validated. The results are analyzed and compared with the automatic executing results through model checker, which validated the practicability and validity of the theory.

Yefei Zhao

2010-09-01

22

UML 2 Semantics and Applications

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction des

Lano, Kevin

2009-01-01

23

Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

Software testing involves identifying the test cases whichdiscover errors in the program. However, exhaustive testing ofsoftware is very time consuming. In this paper, a technique isproposed to prioritize test case scenarios by identifying the critical path clusters using genetic algorithm. The test case scenarios are derived from the UML activity diagram and state chart diagram. The testing efficiency is optimized by applying the genetic algorithm on the test data. The info...

Sharma, Chayanika; Sabharwal, Sangeeta; Sibal, Ritu

2014-01-01

24

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters

DEFF Research Database (Denmark)

Practical experience suggests that usage and understanding of UML diagrams is greatly affected by the quality of their layout. While existing research failed to provide conclusive evidence in support of this hypothesis, our own previous work provided substantial evidence to this effect. When studying different factors like diagram type and expertise level, it became apparent that diagram size plays an important role, too. Since we lack an adequate understanding of this notion, in this paper, we define diagram size metrics and study their impact to modeler performance. We find that there is a strong negative correlation between diagram size and modeler performance. Our results are highly significant. We utilize these results to derive a recommendation on diagram sizes that are optimal for model understanding.

Störrle, Harald

2014-01-01

25

DEFF Research Database (Denmark)

On a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases (UCs) and UML 2.0 Sequence Diagrams (SDs). The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPN is a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by the tool called CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.

Fernandes, Joao Miguel; Tjell, Simon

2007-01-01

26

Generating the body of the methods from class diagram operation semantics

Directory of Open Access Journals (Sweden)

Full Text Available Well-known CASE tools only generate the heading of the methods to automatically generate source code from UML diagrams. Some proposals partially generate the body of the methods; however they use non-standard modeling elements or hand-made source code elements. This paper proposes a process for generating the body of the methods from class diagram operations in an attempt to overcome such constraints. “Semantics of class operations” was thus defined as a way of linking class diagram o-perations to development platform implemented methods. These kinds of semantics use pre- and post-conditions belonging to the operations and the development platform library meta-model. This process is also exemplified by giving a case study. An UML instance of the java.sql package meta-model was created for developing the case study.

Carlos Mario Zapata Jaramillo

2010-05-01

27

Formal Verification of UML Profil

DEFF Research Database (Denmark)

The Unified Modeling Language (UML) is based on the Model Driven Development (MDD) approach which capturing the system functionality using the platform-independent model (PMI) and appropriate domain-specific languages. In UML base system notations, structural view is model by the class, components and object diagrams and behavioral view model by the activity, use case, state, and sequence diagram. However, UML does not provide the formal syntax, therefore its semantics is not formally definable, so for assure of correctness, we need to incorporate semantic reasoning through verification, specification, refinement, and incorporate into the development process. Our motivation of research is to make an easy structural view and suggest formal technique/ method which can be best applied or used for the UML based development system. We investigate the tools and methods, which broadly used for the formal verification of UML based systems.

Bhutto, Arifa; Hussain, Dil Muhammad Akbar

2011-01-01

28

Directory of Open Access Journals (Sweden)

Full Text Available If probabilistic model checking is applied in software architecture, function validation and quantitative analysis for Markov process based real-time model can be automatically performed in model refinement, which will improve software quality. In this paper, the exact definitions and mapping rules between UML state diagrams and probabilistic Kripke structure semantics are proposed, as well as the general translation algorithm of formal semantics. An asynchronous parallel composited DTMC system is illustrated, the key non-function properties of system are described by PCTL, which is automatically validated and analyzed by PRISM model checker. The key system properties are also manually deduced and proved, and compared with the experiment results. The mapping rules we proposed are bi-direction, so it can be used in both forward and reverse software engineering.

Yefei Zhao

2010-07-01

29

Automated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques?

Directory of Open Access Journals (Sweden)

Full Text Available UML State Chart Diagrams are the basic models used to derive test paths from intermediategraphs generated automatically using graph coverage techniques in addition to the tool support provided byMBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage,Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till today notexplored much. The algorithm employed is Prefix based combined with Chinese postman Problem Algorithmtogether. From State charts, first of all Model Coverage Graphs are constructed with help of TestOptimal andthen Test Paths are generated one by one. Testing is often incomplete, i.e. cannot cover all possible systembehaviours. There are several heuristic means to measure the quality of test suites, e.g. fault detection,mutation analysis, or coverage criteria. These means of quality measurement can also be used to decide whento stop testing. This paper is centred upon coverage criteria. There are many different kinds of coveragecriteria, e.g. focused on data flow, control flow, transition sequences, or boundary values. In this paper, wewill present new approaches, e.g. to combine coverage criteria and generation of test paths manually as wellas automatically using tools based on Chinese postman and prefix based algorithms.

Parampreet Kaur

2013-07-01

30

Scientific Electronic Library Online (English)

Full Text Available SciELO Mexico | Language: English Abstract in spanish Hay muchas posibilidades para diseñar un programa paralelo a fin de obtener el mejor desempeño posible. La selección de una estructura del programa, así como una organización de procesos, impacta sobre el desempeño a lograrse, y depende del problema a resolver. Ahora bien, para seleccionar una estru [...] ctura del programa como la mejor en términos de desempeño, el diseñador de software requiere de técnicas de modelación para evaluar diferentes opciones. Si la estructura de un programa paralelo puede modelarse como un conjunto de procesos interactivos, descritos en términos de Diagramas de Estado de UML, este artículo presenta una modelación para estimar el tiempo de ejecución promedio de un programa paralelo, descrito como un conjunto de procesos que corren en tiempos de ejecución con distribuciones determinística y exponencial. Abstract in english There are many possibilities to design a parallel program in order to obtain the best performance possible. The selection of a program structure, as an organisation of processes, impacts on the performance to be achieved, and depends on the problem to be solved. Now, in order to select a program str [...] ucture as the best in terms of performance, the software designer requires performance modelling techniques to evaluate different alternatives. If the structure of the parallel program can be modelled as a set of interacting processes, described in terms of UML State Diagrams, this paper presents a performance modelling to estimate the average execution time of a parallel program. Performance modelling is achieved by calculating the average execution time of a parallel program, described as a set of processes which run with deterministically and exponentially distributed execution times.

Jorge, Ortega Arjona.

2008-03-01

31

Scientific Electronic Library Online (English)

Full Text Available SciELO Mexico | Language: English Abstract in spanish Hay muchas posibilidades para diseñar un programa paralelo a fin de obtener el mejor desempeño posible. La selección de una estructura del programa, así como una organización de procesos, impacta sobre el desempeño a lograrse, y depende del problema a resolver. Ahora bien, para seleccionar una estru [...] ctura del programa como la mejor en términos de desempeño, el diseñador de software requiere de técnicas de modelación para evaluar diferentes opciones. Si la estructura de un programa paralelo puede modelarse como un conjunto de procesos interactivos, descritos en términos de Diagramas de Estado de UML, este artículo presenta una modelación para estimar el tiempo de ejecución promedio de un programa paralelo, descrito como un conjunto de procesos que corren en tiempos de ejecución con distribuciones determinística y exponencial. Abstract in english There are many possibilities to design a parallel program in order to obtain the best performance possible. The selection of a program structure, as an organisation of processes, impacts on the performance to be achieved, and depends on the problem to be solved. Now, in order to select a program str [...] ucture as the best in terms of performance, the software designer requires performance modelling techniques to evaluate different alternatives. If the structure of the parallel program can be modelled as a set of interacting processes, described in terms of UML State Diagrams, this paper presents a performance modelling to estimate the average execution time of a parallel program. Performance modelling is achieved by calculating the average execution time of a parallel program, described as a set of processes which run with deterministically and exponentially distributed execution times.

Jorge, Ortega Arjona.

32

Using UML State Diagrams for Modelling the Performance of Parallel Programs

Directory of Open Access Journals (Sweden)

Full Text Available Hay muchas posibilidades para diseñar un programa paralelo a fin de obtener el mejor desempeño posible. La selección de una estructura del programa, así como una organización de procesos, impacta sobre el desempeño a lograrse, y depende del problema a resolver. Ahora bien, para seleccionar una estructura del programa como la mejor en términos de desempeño, el diseñador de software requiere de técnicas de modelación para evaluar diferentes opciones. Si la estructura de un programa paralelo puede modelarse como un conjunto de procesos interactivos, descritos en términos de Diagramas de Estado de UML, este artículo presenta una modelación para estimar el tiempo de ejecución promedio de un programa paralelo, descrito como un conjunto de procesos que corren en tiempos de ejecución con distribuiciones determinística y exponencial.

Jorge Ortega Arjona

2008-01-01

33

An Aspectual UML Modelling Tool

Directory of Open Access Journals (Sweden)

Full Text Available The aspect-orientation is a complement for object-orientation. Thus, it would be logical to investigate the adaptability of UML to aspect-orientation. This research focuses on investigating the Aspect-Oriented UML (AOUML approaches for understanding the benefits of a comprehensive framework for AOUML. Based on this study’s review, it is evident that, of late, the complexity and size of systems have grown up, which accumulatively have led to the manifestation of new concerns. Moreover, these new concerns have cut-cross other concerns and core classes in the system by its nature. Due to this fact, the concept of Advance Separation of Concerns (ASoC has been put on the table of discussions and the need for an approach to model and represent these crosscutting concerns (Aspect, which is responsible for producing, spreading and tangling representation throughout the development life cycle, is vital. A proper databases have been searched using the suitable keywords, which match this research questions as recommended by systematic review process; this research has collected 468 studies and screened them to minimize the number of studies to 73, which are more appropriate and directly related for this present study. The general scope of this research is to model aspect (crosscutting concerns using standard UML diagrams 2.4.1 (latest edition. UML behavioural and structural diagrams have been implemented on the top of object-orientation concepts, it has not been meant to be used to model aspect-orientation. Thus, this research has proposed a complete tailored framework that represents aspect’s constructs using all UML diagrams. The objective of this position study is to investigate the aspectual UML modelling tool which is currently being designed and implemented.

Noorazean Mohd. Ali

2012-01-01

34

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La Arquitectura Orientada a Modelos (MDA) es la propuesta de refinamiento de la OMG orientada a la generación automática de código a partir de los Modelos UML de Sistemas Independientes de la Plataforma de Implementación. En este trabajo se presenta una metodología para transformar el Modelo de Clas [...] es UML a un Modelo UML Dependiente de la Plataforma Oracle9i®, siguiendo los lineamientos básicos presentados por esta arquitectura y utilizando a UML como lenguaje de modelado a través de todos los pasos de dicha transformación. Inicialmente las reglas de transformación del Modelo de Clases de UML al Modelo Objeto-Relacional soportado por Oracle9i® son recopiladas en Español y adaptadas a nivel de metamodelo, para lo cual fue necesario elaborar un metamodelo simplificado de la plataforma Oracle9i®. Este conjunto de reglas se hace automatizable al expresarlas en un formalismo lógico, que sea fácilmente ejecutable por una herramienta CASE que soporte un lenguaje formal. Finalmente, se aplican las reglas de refinamiento formalizadas al Modelo de Clases de un Caso Práctico de estudio obteniendo como resultado, un Modelo UML instancia del Metamodelo de la Plataforma Oracle9i®. Los aspectos del Modelo de Clases en los que se hace énfasis en la transformación son las invariantes y reglas de derivación de atributos definidas en el lenguaje formal OCL, así como las relaciones de asociación, composición y generalización entre Clases. Abstract in english Model Driven Architecture (MDA) is the OMG refinement proposal directed to the automatic code generation from UML implementation platform independent models. This work presents a methodology for transforming UML Class Model to UML Platform Dependent Model for Oracle9i®, following the basic ideas pro [...] posed by MDA and using the UML language as the modeling language in the transformation process. Initially, transformation rules from UML class model to the relational-object model supported by Oracle9i® are collected in spanish and adapted to metamodel level; to achieve it, it was necessary to elaborate a simplified Oracle9i® platform metamodel. This set of rules becomes automatizable when is expressed in a logical formalism, that is expected to be executed by a supporting formal language CASE tool. Finally, the formalized refinement rules are applied to UML class model from a practical study case, obtaining as a result an UML Model instance of Oracle9i® platform metamodel. Class Model aspects in which emphasize the transformation are the invariants and derivation rules of attributes defined in the OCL formal language, as well as the association, composition and generalization relationships between classes.

FERNANDO, ARANGO; MARÍA CLARA, GÓMEZ; CARLOS M., ZAPATA.

35

An Event-Based Methodology to Generate Class Diagrams and its Empirical Evaluation

Directory of Open Access Journals (Sweden)

Full Text Available Problem statement: Event-based systems have importance in many application domains ranging from real time monitoring systems in production, logistics, medical devices and networking to complex event processing in finance and security. The increasing popularity of Event-based systems has opened new challenging issues for them. One such issue is to carry out requirements analysis of event-based systems and build conceptual models. Currently, Object Oriented Analysis (OOA using Unified Modeling Language (UML is the most popular requirement analysis approach for which several OOA tools and techniques have been proposed. But none of the techniques and tools to the best of our knowledge, have focused on event-based requirements analysis, rather all are behavior-based approaches. Approach: This study described a requirement analysis approach specifically for event based systems. The proposed approach started from events occurring in the system and derives an importable class diagram specification in XML Metadata Interchange (XMI format for Argo UML tool. Requirements of the problem domain are captured as events in restricted natural language using the proposed Event Templates in order to reduce the ambiguity. Results: Rules were designed to extract a domain model specification (analysis-level class diagram from Event Templates. A prototype tool 'EV-ClassGEN' is also developed to provide automation support to extract events from requirements, document the extracted events in Event Templates and implement rules to derive specification for an analysis-level class diagram. The proposed approach is also validated through a controlled experiment by applying it on many cases from different application domains like real time systems, business applications, gaming. Conclusion: Results of the controlled experiment had shown that after studying and applying Event-based approach, student's perception about ease of use and usefulness of OOA technique has significantly improved. Their project reported showed positive feedback about Event-based approach. These results reinforced the evidence that by analyzing events that are likely to happen in a system, one can derive class diagram information from requirements.

Sandeep K. Singh

2010-01-01

36

Collaborative Learning of UML and SysML

Digital Repository Infrastructure Vision for European Research (DRIVER)

In the EU-funded project Embed4Auto, we have developed an Integrated Learning Environment (ILE) to support UML/SysML training. The ILE combines independent distance learning with collaborative problem solving and social networking. The learning environment incorporates a set of learning resources on the modeling languages UML2 and SysML, an educational modeling tool supporting class and sequence diagrams and a tool for sharing and discussing solutions to modeling exerc...

Sonja Trapp

2011-01-01

37

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish En este artículo se presenta un proceso para la transformación de sistemas basados en hardware/software descritos mediante UML a código esqueleto SystemC. Se introduce la herramienta UML2SC, basada en librerías de Java, mediante la cual se puede realizar este proceso de transformación. La herramient [...] a UML2SC, permite obtener código esqueleto SystemC a partir de modelos descritos en UML mediante los diagramas de clases y estructura compuesta. Los resultados de la utilización de esta herramienta se presentan mediante un ejemplo, el cual describe el modelo funcional de una CPU RISC de 16 bits. Abstract in english In this paper, we propose a transformation process in which SystemC skeleton code is extracted from UML models that describe hardware/software based systems. The tool UML2SC, which is based on Java libraries, is also introduced. This tool allows the transformation of UML class and composite structur [...] e diagrams to SystemC skeleton code. An implementation example is given to illustrate the transformation process implemented in the UML2SC tool. The example describes the model of a CPU RISC of 16 bits.

Blanca Alicia, Correa; Juan Fernando, Eusse; Danny, Múnera; Silvio, Sepúlveda; Juan Fernando, Vélez; José Edinson, Aedo.

2009-06-01

38

Directory of Open Access Journals (Sweden)

Full Text Available El diagrama de secuencias es un esquema conceptual que permite representar el comportamiento de un sistema, para lo cual emplea la especificación de los objetos que se encuentran en un escenario y la secuencia de mensajes intercambiados entre ellos, con el fin de llevar a cabo una transacción del sistema. Existen diferentes enfoques que buscan la generación automática de modelos conceptuales, como el diagrama de secuencias. Algunos trabajos parten del lenguaje natural, pero generan diagramas diferentes al de secuencias o, si lo hacen igual, dejan de lado elementos como los fragmentos combinados, que describen ciertas condiciones lógicas en el sistema. Otros trabajos parten del código fuente, el cual se suele ubicar en una fase más avanzada del ciclo de vida del software. En este artículo se define un método, basado en reglas heurísticas, que permite identificar los elementos del diagrama de secuencias, incluyendo los fragmentos combinados, tomando como punto de partida los esquemas preconceptuales. Se realiza la implementación de las reglas en la herramienta AToM³ aplicándolas a un caso de estudio.Sequence diagram is a conceptual schema for representing behavior of a system. For performing such a task, it employs the object spec from a scenario and the sequence of messages exchanged among the objects. These elements describe a transaction of the system. Several approaches try the automated generation of conceptual models (like sequence diagram. Some of them use natural language as a starting point, but they are focused on other diagrams. Some others are focused on sequence diagram, but they do not obtain elements like combined fragments describing several logical constraints of the system. Other approaches use source code as a starting point, but source code can be related to an advanced phase of the software development life cycle. In this paper we define a method based on heuristic rules for obtaining automatically the elements of the sequence diagram (including combined fragments from pre-conceptual schemas. These heuristic rules are implemented in the AToM³ tool and applied in a case study.

Carlos Mario Zapata

2008-12-01

39

Collaborative Learning of UML and SysML

Directory of Open Access Journals (Sweden)

Full Text Available In the EU-funded project Embed4Auto, we have developed an Integrated Learning Environment (ILE to support UML/SysML training. The ILE combines independent distance learning with collaborative problem solving and social networking. The learning environment incorporates a set of learning resources on the modeling languages UML2 and SysML, an educational modeling tool supporting class and sequence diagrams and a tool for sharing and discussing solutions to modeling exercises. First evaluations of the ILE have shown promising results.

Sonja Trapp

2011-07-01

40

A Systematic Approach for Constructing Static Class Diagrams from Software Requirements

Directory of Open Access Journals (Sweden)

Full Text Available The trend towards the use of object-oriented methods for software systems development has made it necessary for the use of object-oriented approaches in object-oriented software systems development. Class diagrams represent an essential component in any object-oriented system design. The development of such class diagrams in a systematic way is very crucial in an object-oriented development methodology. The main principles used in obtaining these class diagrams in a systematic way are described since class diagrams are very essential in object-oriented development practice.

Nabil Arman,

2010-05-01

41

Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method

Directory of Open Access Journals (Sweden)

Full Text Available B is a formal method which enables the automatic generation of an executable code through successive refinements from an abstract specification. Unified Modeling Language (UML specifications can be formally verified by analyzing the corresponding B specification, and integration of UML specifications and B method can overcomes the drawbacks of UML. In this paper the Class diagram of the flight control system is presented and each class operation is mapped to a B abstract machine. The flight control software behaviors are presented in the form of statecharts The B method is adopted to translate the statecharts into B specification of flight control software.Using UML and B method, flight control is refined and failure management is added. Finally proof obligations are presented to ensure the safety for the ertical control of artificial navigation of UAV.

Jiufu Liu

2014-04-01

42

Digital Repository Infrastructure Vision for European Research (DRIVER)

Relevance of the material, which is presented in papers, is conditioned by the requirements of the state-of-the-art universities in creation of the information-analysis systems of the education management. The main peculiarities of the design of the automated information-analysis management system by using UML are considered. The main diagrams of the information system were created by using the UML. The knowledge domain was analyzed; the functions and tasks of the automated system were define...

Lutsenko, Galyna V.; Grytsenko, Valeriy G.

2011-01-01

43

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish Para la generación automática de código fuente a partir de los diagramas de UML, las herramientas CASE convencionales sólo generan el encabezado de los métodos, y algunos esfuerzos adicionales generan parcialmente el cuerpo de los métodos, pero empleando elementos que se alejan de los estándares de [...] modelado y, en todo caso, muy cercanos a la elaboración manual de código fuente. Buscando superar esas limitaciones, en este artículo se propone un proceso para generar el cuerpo de los métodos del código fuente a partir de las operaciones del diagrama de clases. Para ello se define la “semántica de las operaciones”, que es una manera de ligar las operaciones del diagrama de clases y los métodos implementados en la plataforma de desarrollo, tomando como entradas las pre y poscondiciones de las operaciones y el metamodelo de las librerías de la plataforma de desarrollo. Finalmente, el proceso se ejemplifica con un caso de estudio, para el cual fue necesario elaborar una instancia en UML del metamodelo del paquete java.sql. Abstract in english Well-known CASE tools only generate the heading of the methods to automatically generate source code from UML diagrams. Some proposals partially generate the body of the methods; however they use non-standard modeling elements or hand-made source code elements. This paper proposes a process for gene [...] rating the body of the methods from class diagram operations in an attempt to overcome such constraints. “Semantics of class operations” was thus defined as a way of linking class diagram operations to development platform implemented methods. These kinds of semantics use pre- and post-conditions belonging to the operations and the development platform library meta-model. This process is also exemplified by giving a case study. An UML instance of the java.sql package meta-model was created for developing the case study.

Carlos Mario, Zapata J.; Andrés Felipe, Muñetón.

2008-12-01

44

Directory of Open Access Journals (Sweden)

Full Text Available Relevance of the material, which is presented in papers, is conditioned by the requirements of the state-of-the-art universities in creation of the information-analysis systems of the education management. The main peculiarities of the design of the automated information-analysis management system by using UML are considered. The main diagrams of the information system were created by using the UML. The knowledge domain was analyzed; the functions and tasks of the automated system were defined. The designed diagrams organize the base of the pattern of the structure and connections between the system elements and allow to trace the different aspects of its behavior. Hereafter the designed system might be supplemented by the diagrams to code generation.???????????? ?????????, ??????????? ? ??????, ?????????? ????????? ????????? ???????????? ? ????????? ????????????-??????????? ?????? ?????????? ?????????? ????????. ????????????? ??????????? ???????????? ??????????????? ????????????-??????????? ??????? ?????????? ?????????? ????????????? ???????? ?????????? Rational Rose. ?????????????? ???? UML ?????????? ??????? ???????? ?????? ????????????-??????????? ???????. ????????? ?????? ?????????? ???????, ????????? ??????? ?? ???????? ??????????????? ????????????? ???????, ?? ????????????. ?????????? ???????? ???????? ?????? ??????? ????????? ?? ??’????? ??? ?????????? ??????? ?? ?????????? ??????????????? ????? ??????? ?? ?????????. ? ??????????, ?????????? ??????? ???? ???? ????????? ?????????? ??? ????????? ????.

Galyna V. Lutsenko

2011-05-01

45

UML IN BUSINESS ADMINISTRATION

Directory of Open Access Journals (Sweden)

Full Text Available The article elaborates weather UML, primarily used in software engineering, can be a useful tool in business modeling and administration. By analyzing the advantages the modeling language has to offer we find that UML is visual and object oriented and that it is useful in expressing structure, interaction and behavior as well. With its help managers and business people can build models and diagrams to help put things into perspective. “Case Study 1” shows UML can be used as an analysis tool in business modeling to help increase the complexity and depth of the event or project that is being developed. “Case Study 2” attempts to prove that UML can also be efficiently used in finding solutions to newly appeared problems in a business environment. Despite the practicality of the Unified Modeling Language there is still some criticism brought to it. Some programmers consider it to be hard to learn and some developers claim that it is too abstract. The article concludes that despite the minor drawbacks; due to its adaptability and complex visual models, it is a very useful tool that adds value to the modeling of business structures and processes.

Daniel Ionita

2010-12-01

46

Directory of Open Access Journals (Sweden)

Full Text Available Through the comparison analysis of the similarity between UML and OWL based on the OWL syntax elements with reference to OWL Full language, the OWL structure could be described with existing UML language through the direct mapping and the extended mapping. So, the mapping of ontology model between OWL and UML could be realized and the automatic conversion could be processed by the extensible stylesheet language transformation. Further, this study proposed a UML model of collaborative members in manufacturing supply chain and generated the corresponding ontology model by the mapping conversion; with the help of Pellet and Protégé the syntax check and reasoning and validation were tested. The study shows that the method of automatic conversion from the UML class diagram to the OWL file that was proposed in this study is feasible and the result is accurate. In the field of ontology modeling, by the rich expression function of object-oriented graphics in UML model, the combination of UML language and OWL language with their advantages could effectively develop the ontology for the semantic web.

Xu Heng

2013-01-01

47

Neutrosophic Diagram and Classes of Neutrosophic Paradoxes or to the Outer-Limits of Science

Directory of Open Access Journals (Sweden)

Full Text Available These paradoxes are called "neutrosophic" since they are based on indeterminacy (or neutrality, i.e. neither true nor false, which is the third component in neutrosophic logic. We generalize the Venn diagram to a Neutrosophic Diagram, which deals with vague, inexact, ambiguous, illdefined ideas, statements, notions, entities with unclear borders. We define the neutrosophic truth table and introduce two neutrosophic operators (neuterization and antonymization operators give many classes of neutrosophic paradoxes.

Smaradache F.

2010-10-01

48

Directory of Open Access Journals (Sweden)

Full Text Available UML???????????????????????????????????Android??????????????????UML????????????????UML????????UML?????????UML???????UML????????????????????Java?????????????????????????????????????????????????????????UML?????????????????????????UML is a graphical modeling language for visualized construct and documentation representation. After demand of the function is analyzed, UML models of oil information appending, gas stations appending, oil information management and car oil consumption statistics are founded respectively based on UML tool in the information management system of car oil consumption on Mobile with Android OS. Then analysis and design of the application software are implemented. The application software is developed by using Java. The calculation method of car oil consumption is proposed based on the amount of oil left. It is more accurate and effective than traditional method which is based on oil lamp. The actual system shows that UML could be used to build system models effectively and also could improve the efficiency of application software development.

???

2014-05-01

49

A layout technique for class diagrams to be used in product configuration projects

DEFF Research Database (Denmark)

For several companies the use of product configurators has produced a range of benefits such as minimising the use of resources and shortening the lead times in product specification processes. When developing a product configurator, two kinds of models are often created, namely analysis and design models. The task of describing product knowledge in analysis models involves domain experts, for which reason the analysis language has to be easily understandable in order to avoid extensive training. For this task the so-called Product Variant Master (PVM) diagramming technique is often applied. On the other hand, the requirements for the design language are more focused on having a formalised and rich language. For this task class diagrams are often applied. To avoid the use of different modelling languages in the analysis and design phase, this paper proposes and tests a layout technique that incorporates the usability of PVMs into class diagrams.

Hvam, Lars; Mortensen, Niels Henrik

2010-01-01

50

Solving the Class Diagram Restructuring Transformation Case with FunnyQT

Directory of Open Access Journals (Sweden)

Full Text Available FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Class Diagram Restructuring Transformation Case. This solution and the GROOVE solution share the best overall solution award for this case.

Tassilo Horn

2013-11-01

51

UN MÉTODO DE INGENIERÍA INVERSA DE CÓDIGO JAVA HACIA DIAGRAMAS DE SECUENCIAS DE UML 2.0

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La Ingeniería inversa de software aparece como un proceso que ayuda al aseguramiento de la calidad y documentación de aplicaciones con deficiencias en los modelos de análisis y diseño. Además, ayuda en la disminución de costos y tiempos de mantenimiento. En la actualidad existen herramientas CASE y [...] algunas propuestas de investigación que realizan el proceso de ingeniería inversa a diagramas UML, en especial a los diagramas de clases y secuencias. Algunas se encuentran en fases experimentales; otras se enfocan mucho más en el diagrama de clases que en el de secuencias. Un tercer grupo obtiene algunos elementos del diagrama de secuencias, pero no posee muchos de los elementos que hacen parte de la especificación de UML 2.0. En este artículo se propone un método que automatiza la conversión de código JAVA en diagrama de secuencias de UML 2.0, por medio de la aplicación de reglas de transformación que convierten los elementos del código en elementos del diagrama. Se presenta también un ejemplo de aplicación del método con un prototipo que lo emplea, el UNC-Inversor. Abstract in english Software reverse engineering seems to be the process for helping software quality assurance and documentation in applications with low-quality analysis and design models. It also helps for decreasing maintenance cost and time. Currently, some CASE tools and research proposals assist analysts to deve [...] lop reverse engineering process with UML diagrams as a result (especially class and sequence diagram). Some of them have reached experimental phases. Some others are focused more on class diagram and less on sequence diagram. A third group of CASE tools and proposals obtains sequence diagram, but the resulting diagram lacks some of the elements of the UML 2.0 specification. In this paper, we propose a method for automating the conversion of JAVA code into UML 2.0 sequence diagram, by means of the application of transformation rules for converting code elements to the diagram elements. We also present an example of the method application through a prototype named UNC-Inversor.

Carlos Mario, Zapata; Óscar Andrés, Ochoa; Camilo, Vélez.

2008-07-01

52

Directory of Open Access Journals (Sweden)

Full Text Available Aspect-Orientation and Object-Orientation complement each other in a number of aspects. Hence, it is imperative to investigate level of adopting Unified Modelling Language (UML by the Aspect-Orientation. This study employed a systematic literature review to examine the approaches of Aspect-Oriented UML (AOUML. The rapid growth of complexities of systems, of late have eventually paved way for the emergence of new concerns. In fact these new concerns have cut-cross other concerns and core classes in the system by their nature. Therefore, it is crucial to focus on the concept of crosscutting concerns (Aspect, throughout the whole development life cycle, as they are accountable for generating, disseminating and interweaving depictions. The scope of this study is to depict and examine the current state of art of Aspect-Orientation modelling using UML. The UML diagrams have been implemented on the top of Object-Orientation concepts, it has not been meant to be used to model Aspect-Orientation. Thus, the motivation of this study is to propose a complete tailored formwork that represents Aspect’s constructs using all UML diagrams based on AspectJ constructs. The objective of this present study is find out the shortenings, lack of support, advantage and disadvantage of the existing well-known approaches of Aspect Modelling based on a carefully selected, evaluation and compression criteria. The examination and analysis have revealed that there are some deficiencies of Aspect representation in the early stage of software development, while using the existing UML. We have concluded that extensive research has to be carried out, for us to get a complete comprehensive framework modelling approach that covers all UML diagrams, rather than just a few, moreover we suggest that the assumption of modelling extensions have to depend on a reliable base.

Norazean Mohd Ali

2012-01-01

53

Comprehensive Aspectual UML approach to support AspectJ.

Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ. Through a comprehensive literature review, we identify and extensively examine all the available Aspect-Oriented UML modelling approaches and find that the existing Aspect-Oriented Design Modelling approaches using UML cannot be considered to provide a framework for a comprehensive Aspectual UML modelling approach and also that there is a lack of adequate Aspect-Oriented tool support. This study also proposes a set of Aspectual UML semantic rules and attempts to generate AspectJ pseudocode from UML diagrams. The proposed Aspectual UML modelling approach is formally evaluated using a focus group to test six hypotheses regarding performance; a "good design" criteria-based evaluation to assess the quality of the design; and an AspectJ-based evaluation as a reference measurement-based evaluation. The results of the focus group evaluation confirm all the hypotheses put forward regarding the proposed approach. The proposed approach provides a comprehensive set of Aspectual UML structural and behavioral diagrams, which are designed and implemented based on a comprehensive and detailed set of AspectJ programming constructs. PMID:25136656

Magableh, Aws; Shukur, Zarina; Ali, Noorazean Mohd

2014-01-01

54

Applying UML advanced applications

Unified Modeling Language (UML) is a general-purpose notation language for specifying and visualizing complex software, especially large, object-oriented projects. Object-oriented programming is when a programmer defines not only the data type of a data structure, but also the types of operations/functions that can be applied to the data structure. Applying UML addresses the practical issues faced by users in adopting UML. As the title suggests, it helps the reader in actually applying UML to real life situations, rather than just in learning the language. The book covers in depth detail o

Pooley, Rob

2003-01-01

55

Directory of Open Access Journals (Sweden)

Full Text Available The graphical user interfaces of software programs are used by researchers in the soft-ware engineeringfield to measure functionality, usability, durability, accessibility, and performance. This paper describes areverse engineering approach to transformthe cap-tured images of the distributed GUIs into classdiagram. The processed distributed GUIs come from different and separate client computers. From thedistributed GUIs, the inter-faces are captured as images, attributes and functions are extracted andprocessed through pattern recognitions mechanism to be stored into several temporary tablescorresponding to each client’s graphical user interface. These tables will be analyzed and processed intoone integrated normalized table eliminating any attribute redundancies. Further, the normalized the oneintegrated table is to create a class diagram

Khaled Musa

2013-06-01

56

Verification-Driven Slicing of UML/OCL Models

DEFF Research Database (Denmark)

Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors to other notations where they are harder to detect and trace. Formal verification techniques can check the correctness of a model, but their high computational complexity can limit their scalability. In this paper, we consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., “is it possible to create objects without violating any constraint?”). Current approaches to this problem have an exponential worst-case runtime. We propose a technique to improve their scalability by partitioning the original model into submodels (slices) which can be verified independently and where irrelevant information has been abstracted. The definition of the slicing procedure ensures that the property under verification is preserved after partitioning.

Shaikh, Asadullah; Clarisó Viladrosa, Robert

2010-01-01

57

A formal ORM-to -UML mapping algorithm

Digital Repository Infrastructure Vision for European Research (DRIVER)

The object-role model (ORM) data structure can be represented in the unified modeling language (UML) using the five fact encoding constructs: class attribute, association, association class, sub-class and the association qualifier. In the existing literature there exist numerous mappings of how individual fact types from an ORM information model can be mapped onto 'well-formed' UML expressions. What is lacking in the existing literature is a precise description of the conditions on the ...

Bollen, Peter

2002-01-01

58

Directory of Open Access Journals (Sweden)

Full Text Available Since 1986 the National Library of Medicine has begun a long term research project to build the Unified Medical Language System. The purpose of the UMLS is to improve the capability of the system to realize user's biomedical queries and further help retrieve and integrate relevant information. To achieve the goals of the UMLS project, NLM designed four knowledge sources: Metathesaurus, Semantic Network, Information Source Map, and Specialist Lexicon. In this paper, we introduce the development assumption and strategy of the UMLS and the implementation of the four knowledge sources. We also try to analyze the possibilities of applying the four knowledge sources of the UMLS to the present information environment in Taiwan. We hope that this paper is just a beginning for us, so-called information managers, to think about how to build a powerful Chinese database.[Article content in Chinese

Huei-chu Chang

1996-12-01

59

Directory of Open Access Journals (Sweden)

Full Text Available It is widely acknowledged that in software engineering, the usage of metrics at the initial phases of theobject oriented software can help designers to make better decisions. The quality of class diagrams couldbe a major determinant for the quality of the software product that is finally delivered. Quantitativemeasurements are useful to assess class diagram quality. Following this innovative thinking, two UMLclass diagrams are taken to measure the complexity and size. A set of metrics of complexity measures areused to measure the class diagrams. Seven known complexity measures are evaluated and compared forinheritance and interface usage in object oriented programming. Two UML class diagrams areintroduced with possible interfaces and measured the complexity metrics and a comparison has beenmade between the class inheritance and class interface usage through complexity measurements.

V. Krishnapriya

2010-12-01

60

UML Modeling and Parametric Design for Cross Shaft Universal Coupling CAD System

Directory of Open Access Journals (Sweden)

Full Text Available In order to realize rapid custom design for cross shaft universal coupling products, enterprises need a parametric CAD system. On the basis of analyzing its functional requirements, this paper proposed the overall functional framework of cross shaft universal coupling CAD system, which mainly includes user management, product drawing, product design, document management and technical interface functional modules, etc. Based on UML modeling method, analyzed its use cases models, key class diagrams and activity diagrams of the CAD system. Then, by using Visual Basic 6.0 ActiveX Automation technology and SQL Server database technology, a parametric CAD software for cross shaft universal coupling was successfully developed, which has been used in enterprise’s design. Its application shows that the parametric CAD software is convenient to operate, and can rapidly realize parametric design of cross shaft universal coupling parts, so it helps to reduce the labor intensity of designers, and improve the quality and efficiency of design.

Yongming Wang

2012-09-01

61

BGen: A UML Behavior Network Generator Tool

BGen software was designed for autogeneration of code based on a graphical representation of a behavior network used for controlling automatic vehicles. A common format used for describing a behavior network, such as that used in the JPL-developed behavior-based control system, CARACaS ["Control Architecture for Robotic Agent Command and Sensing" (NPO-43635), NASA Tech Briefs, Vol. 32, No. 10 (October 2008), page 40] includes a graph with sensory inputs flowing through the behaviors in order to generate the signals for the actuators that drive and steer the vehicle. A computer program to translate Unified Modeling Language (UML) Freeform Implementation Diagrams into a legacy C implementation of Behavior Network has been developed in order to simplify the development of C-code for behavior-based control systems. UML is a popular standard developed by the Object Management Group (OMG) to model software architectures graphically. The C implementation of a Behavior Network is functioning as a decision tree.

Huntsberger, Terry; Reder, Leonard J.; Balian, Harry

2010-01-01

62

In this number sorting activity students must use a Carroll Diagram to determine which two categories each number fits into. This activity can be completed in pairs or groups on printable versions or it can be completed as a whole class using the interactive white board (IWB). Included with this resource are printable versions of the Carroll Diagrams, guiding questions, extension and support suggestions, and a link to more challenging "More Carroll Diagrams".

Team, Nrich

2012-01-01

63

Model-Driven transformation with approach by modeling-From UML to N-tiers Web Model

Directory of Open Access Journals (Sweden)

Full Text Available Today, the N-tiers applications have become the norm for building enterprise software. In this paper we are going to present a model-driven approach to the development of N-tiers web applications based on the UML class diagram. The transformation language is the MOF 2.0 QVT (Meta-Object Facility 2.0 Query-View-Transformation standard which defines the meta-model for the development of model transformation. The transformation rules defined in this paper can generate, from the class diagram, an XML file containing the layers of N-tiers web application respecting a MVC2 (Model-View-Controller, DI (Dependency Injection and DAO (Data Access Object patterns. This file can be used to generate the end-to-end necessary code of a web application.

Redouane Esbai

2011-07-01

64

Test Case Generation For Concurrent Object-Oriented Systems Using Combinational Uml Models

Directory of Open Access Journals (Sweden)

Full Text Available Software testing is an important phase of software development to ensure the quality and reliability of the software. Due to some limitations of code based testing method, the researcher has been taken a new method to work upon UML model based testing. It is found that different UML model is having different coverage and capable of detecting different kinds of faults. Here we have taken combinational UML models to have better coverage and fault detection capability. Testing concurrent system is difficult task because due to concurrent interaction among the threads and the system results in test case explosion. In this paper we have presented an approach of generating test cases for concurrent systems using combinational UML models i.e. sequence diagram and activity diagram .Then a Sequence-Activity Graph (SAG is constructed from these two diagrams. Then that graph is traversed to generate test cases which are able to minimize test case explosion.

Swagatika Dalai, Arup Abhinna Acharya, Durga Prasad Mohapatra

2012-05-01

65

UMLS-Query: A Perl Module for Querying the UMLS

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Metathesaurus from the Unified Medical Language System (UMLS) is a widely used ontology resource, which is mostly used in a relational database form for terminology research, mapping and information indexing. A significant section of UMLS users use a MySQL installation of the metathesaurus and Perl programming language as their access mechanism. We describe UMLS-Query, a Perl module that provides functions for retrieving concept identifiers, mapping text-phrases to Metathesaurus concepts ...

Shah, Nigam H.; Musen, Mark A.

2008-01-01

66

Generating a Performance Stochastic Model from UML Specifications

Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language) model a performance model such as Stochastic Petri Net (SPN) or Stochastic process Algebra (SPA) models. Our work belongs to the same category. We propose to derive from a UML model a Stochastic Automata Network (SAN) in order to obtain performance predictions. Our approach is more flexible due to the SAN modularity and its high resemblance to UML' state-chart diagram.

Sbeity, Ihab; Dbouk, Mohamed

2012-01-01

67

Directory of Open Access Journals (Sweden)

Full Text Available Assistance is provided, in software development process, to Analysts in drawing UML diagrams and others by means of CASE tools. However, the task of the Stakeholder discourse understanding, a previous process in diagram drawing, is not supported by traditional CASE tools. In order to complete this task, Natural Language Processing has proposed a new kind of CASE tools, including both natural language interpretation and UML diagrams generation. We introduce, in this paper, UNC–Diagrammer, a novel CASE tool for graphically representing the Stakeholder discourse by means of Preconceptual Schemas. We also show that UNC-Diagrammer is capable of automatically transforming Pre-conceptual Schemas into three UML 2.0 diagrams. We finally demonstrate the use of UNC–Diagrammer through an example.

Carlos Zapata

2007-09-01

68

Operational analysis of sequence diagram specifications

Digital Repository Infrastructure Vision for European Research (DRIVER)

This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications ? refinement verification and refinement testing ? and both are implemented in an analysis tool we have named ?Escalator?. Further, we ma...

2007-01-01

69

Extended sequence diagram for human system interaction

Energy Technology Data Exchange (ETDEWEB)

Unified Modeling Language (UML) is a modeling language in the field of object oriented software engineering. The sequence diagram is a kind of interaction diagram that shows how processes operate with one another and in what order. It is a construct of a message sequence chart. It depicts the objects and classes involved in the scenario and the sequence of messages exchanged between the objects needed to carry out the functionality of the scenario. This paper proposes the Extended Sequence Diagram (ESD), which is capable of depicting human system interaction for nuclear power plants, as well as cognitive process of operators analysis. In the conventional sequence diagram, there is a limit to only identify the activities of human and systems interactions. The ESD is extended to describe operators' cognitive process in more detail. The ESD is expected to be used as a task analysis method for describing human system interaction. The ESD can also present key steps causing abnormal operations or failures and diverse human errors based on cognitive condition.

Hwang, Jong Rok; Choi, Sun Woo; Ko, Hee Ran; Kim, Jong Hyun [KEPCO International Nuclear Graduate School, Ulsan (Korea, Republic of)

2012-10-15

70

UML 2 Certification Guide Fundamental & Intermediate Exams

The popular Unified Modeling Language (UML) is both a language and notation developed by the Object Management Group (OMG) used to design and create specifications for software systems. With the recent release of version 2.0 UML, the OMG has started the OMG-Certified UML Professional Program to provide an objective measure of UML knowledge. As a certified UML professional a developer has an important credential to present to employers and clients. Certification also benefits companies looking for skilled UML practitioners by giving them a basis for making hiring and promotion decisions.UML 2 C

Weilkiens, Tim

2006-01-01

71

Risk Analysis Model Using UML and MADS Model

Directory of Open Access Journals (Sweden)

Full Text Available The purpose of this paper is to propose a model of risk analysis which combines two tools belonging to a different context. These both tools are MADS (Model of Analysis of Dysfunctional Systems and UML (Unified Model Language. The proposed method aims to integrate UML language, especially the collaboration diagram, in the MADS model. We represent the danger source system of MADS model with the collaboration diagram in order to define and model the scenarios of risk. The application of this method is illustrated with an example of a storage unit of chemicals. On the one hand, the proposed model provides a comprehensive view that facilitates the understanding of the organization of an industrial system, and on the another hand, it leads to more effective analysis of risks taking into account the interactions between the system components.

Hafida Bouloiz

2011-12-01

72

Using EUREQA for End-User UML Model Development through Design Patterns

Directory of Open Access Journals (Sweden)

Full Text Available This work presents the EUREQA approach for end-user development. The purpose of the tool is to narrow the cognitive gap between the end-user developer's mental model and the software model. The tool uses design patterns as building blocks allowing end-users to create UML class diagram models that capture their domain knowledge. The EUREQA tool hides from view the complexity of code thereby reducing the cognitive load on end-user developers. EUREQA makes non-functional quality issues a first-class concern allowing end-user developers to consider both functional and non-functional aspects of design alternatives. The tool uses visualization techniques to aid in non-functional quality assesment. The purpose of this paper is to evaluate and assess the opportunities and challenges of EUREQA. A qualitative, pilot evaluation of EUREQA shows that the visualization techniques work well, whereas there are issues with the abstraction gap between the visualization and class diagram.

Paul Gordon Austrem

2011-04-01

73

UML Profiles for Design Decisions and Non-Functional Requirements

Energy Technology Data Exchange (ETDEWEB)

A software architecture is composed of a collection of design decisions. Each design decision helps or hinders certain Non-Functional Requirements (NFR). Current software architecture views focus on expressing components and connectors in the system. Design decisions and their relationships with non-functional requirements are often captured in separate design documentation, not explicitly expressed in any views. This disassociation makes architecture comprehension and architecture evolution harder. In this paper, we propose a UML profile for modeling design decisions and an associated UML profile for modeling non-functional requirements in a generic way. The two UML profiles treat design decisions and nonfunctional requirements as first-class elements. Modeled design decisions always refer to existing architectural elements and thus maintain traceability between the two. We provide a mechanism for checking consistency over this traceability. An exemplar is given as

Zhu, Liming; Gorton, Ian

2007-06-30

74

Using UML as a Front-end for StreamIt Programs Verification and Generation

Directory of Open Access Journals (Sweden)

Full Text Available UML provides all benefits from the objectoriented paradigm, such as encapsulation and reusability. It has been proven very successful and is widely used in software designs while StreamIt is targeted to support stream processing domain for multi-core architectures. However, programming in StreamIt can be error-prone and does not adequately cope with early validated multimedia systems. In addition, software engineers usually prefer to employ UML, due to its higher abstraction level and visual nature. This paper proposes the mapping of the application model from UML to StreamIt. Our flow starts by establishing the application model using UML structure diagrams. The second step consists in formal verification of some desirable and/or undesirable properties such as deadlock using the rewriting logic based Maude language before StreamIt code generation.

Fateh Boutekkouk

2010-10-01

75

Performance Evaluation of UML2-Modeled Embedded Streaming Applications with System-Level Simulation

Directory of Open Access Journals (Sweden)

Full Text Available This article presents an efficient method to capture abstract performance model of streaming data real-time embedded systems (RTESs. Unified Modeling Language version 2 (UML2 is used for the performance modeling and as a front-end for a tool framework that enables simulation-based performance evaluation and design-space exploration. The adopted application meta-model in UML resembles the Kahn Process Network (KPN model and it is targeted at simulation-based performance evaluation. The application workload modeling is done using UML2 activity diagrams, and platform is described with structural UML2 diagrams and model elements. These concepts are defined using a subset of the profile for Modeling and Analysis of Realtime and Embedded (MARTE systems from OMG and custom stereotype extensions. The goal of the performance modeling and simulation is to achieve early estimates on task response times, processing element, memory, and on-chip network utilizations, among other information that is used for design-space exploration. As a case study, a video codec application on multiple processors is modeled, evaluated, and explored. In comparison to related work, this is the first proposal that defines transformation between UML activity diagrams and streaming data application workload meta models and successfully adopts it for RTES performance evaluation.

Tero Arpinen

2009-01-01

76

Using UMLS semantics for classification purposes.

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System (UMLS) contains semantic information about terms from various sources; each concept can be understood and located by its relationships to other concepts. We describe a method in which the semantic relationships between UMLS concepts are exploited for the purpose of classification. This method combines three existing components: 1) Mapping terms to UMLS concepts; 2) Restricting UMLS concepts to MeSH; and 3) Mapping MeSH terms to disease categories. When appl...

Bodenreider, O.

2000-01-01

77

The UMLS Knowledge Source server.

The UMLS Knowledge Source server is an evolving tool for accessing information stored in the UMLS Knowledge Sources. The system architecture is based on the client-server paradigm wherein remote site users send their requests to a centrally managed server at the U.S. National Library of Medicine. The client programs can run on platforms supporting the TCP/IP communication protocol. Access to the system is provided through a command-line interface and through an Application Programming Interface. PMID:8591140

McCray, A T; Razi, A

1995-01-01

78

DEFF Research Database (Denmark)

This invited paper presents a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The paper thus represents a mere repository of what we consider interesting case studies. The existence of the Unified Modeling Language [10,67,36,20] has caused, for one reason or another, the research community to try formalise one or another facet of UML. In this paper we report on another way to achieve what UML attempts to achieve: Broadness of application, convenience of notation, and multiplicity of views. Whether these different UML views are unified, integrated, correlated or merely co-located is for others to dispute. We also seek to support multiple views, but are also in no doubt that there must be sound, well defined relations between such views. We thus report on ways and means of integrating formal techniques such as RAISE (RSL) [58,59], Petri Nets [56,62,37,61,411, Message and Live Sequence Charts [42,43,44,64,13], Statecharts [23,24,26,27], RAISE with Timing (TRSL) [18,45,461, and TRSL with Duration Calculus (79,30]. In this way one achieves a firm foundation for combined uses of these formal development techniques, one that can be believably deployed for as wide a spectrum, or even a wider spectrum of software (and hardware) development, as, respectively than UML.

BjØrner, Dines; Haxthausen, Anne Elisabeth

2004-01-01

79

Scientific Electronic Library Online (English)

Full Text Available SciELO Brazil | Language: English Abstract in portuguese Pode-se afirmar que a evolução tecnológica (desenvolvimento de novos instrumentos de medição como, softwares, satélites e computadores, bem como, o barateamento das mídias de armazenamento) permite às Organizações produzirem e adquirirem grande quantidade de dados em curto espaço de tempo. Devido ao [...] volume de dados, Organizações de pesquisa se tornam potencialmente vulneráveis aos impactos da explosão de informações. Uma solução adotada por algumas Organizações é a utilização de ferramentas de sistemas de informação para auxiliar na documentação, recuperação e análise dos dados. No âmbito científico, essas ferramentas são desenvolvidas para armazenar diferentes padrões de metadados (dados sobre dados). Durante o processo de desenvolvimento destas ferramentas, destaca-se a adoção de padrões como a Linguagem Unificada de Modelagem (UML, do Inglês Unified Modeling Language), cujos diagramas auxiliam na modelagem de diferentes aspectos do software. O objetivo deste estudo é apresentar uma ferramenta de sistemas de informação para auxiliar na documentação dos dados das Organizações por meio de metadados e destacar o processo de modelagem de software, por meio da UML. Será abordado o Padrão de Metadados Digitais Geoespaciais, amplamente utilizado na catalogação de dados por Organizações científicas de todo mundo, e os diagramas dinâmicos e estáticos da UML como casos de uso, sequências e classes. O desenvolvimento das ferramentas de sistemas de informação pode ser uma forma de promover a organização e a divulgação de dados científicos. No entanto, o processo de modelagem requer especial atenção para o desenvolvimento de interfaces que estimularão o uso das ferramentas de sistemas de informação. Abstract in english It can be argued that technological developments (e.g., measuring instruments like software, satellite and computers, as well as, the cheapening of storage media) allow organizations to produce and acquire a great amount of data in a short time. Due to the data volume, research organizations become [...] potentially vulnerable to the information explosion impacts. An adopted solution is the use of information system tools to assist data documentation, retrieval and analysis. In the scientific scope, these tools are developed to store different metadata (data about data) patterns. During the development process of these tools, the adoption of standards such as the Unified Modeling Language (UML) stands out, whose diagrams assist the different scopes of software modeling. The objective of this study is to present an information system tool that assists organizations in the data documentation through the use of metadata and that highlights the software modeling process, through the UML. The Standard for Digital Geospatial Metadata will be approached, widely used to the dataset cataloging by scientific organizations around the world, and the dynamic and static UML diagrams like use cases, sequence and classes. The development of the information system tools can be a way to promote the scientific data organization and dissemination. However, the modeling process requires special attention during the development of interfaces that will stimulate the use of the information system tools.

Eduardo Batista de Moraes, Barbosa; Galeno José de, Sena.

80

A UML-based meta-framework for system design in public health informatics.

Digital Repository Infrastructure Vision for European Research (DRIVER)

The National Agenda for Public Health Informatics calls for standards in data and knowledge representation within public health, which requires a multi-level framework that links all aspects of public health. METHOD: The literature of public health informatics and public health informatics application were reviewed. A UML-based systems analysis was performed. Face validity of results was evaluated in analyzing the public health domain of lead poisoning. RESULTS: The core class of the UML-base...

Orlova, Anna O.; Lehmann, Harold

2002-01-01

81

From UML Specification into Implementation Using Object Mapping

Directory of Open Access Journals (Sweden)

Full Text Available In information systems, a system is analyzed using a modeling tool. Analysis is an important phase prior to implementation in order to obtain the correct requirements of the system. During the requirements phase, the software requirements specification (SRS is used to specify the system requirements. Then, this requirements specification is used to implement the system. The requirements specification can be represented using either a structure approach or an object-oriented approach. A UML (Unified Modeling Language specification is a well-known for representation of requirements specification in an object-oriented approach. In this paper, we present one case study and discuss how mapping from UML specification into implementation is done. The case study does not require advanced programming skills. However, it does require familiarity in creating and instantiating classes, object-oriented programming with inheritance, data structure, file processing and control loop. For the case study, UML specification is used in requirements phase and Borland C++ is used in implementation phase. Based on the case study, it shows that the proposed approach improved the understanding of mapping from UML specification into implementation.

Rosziati Ibrahim

2010-07-01

82

Modeling Value Chain Analysis of Distance Education using UML

Distance education continues to grow as a methodology for the delivery of course content in higher education in India as well as abroad. To manage this growing demand and to provide certain flexibility, there must be certain strategic planning about the use of ICT tools. Value chain analysis is a framework for breaking down the sequence of business functions into a set of activities through which utility could be added to service. Thus it can help to determine the competitive advantage that is enjoyed by an institute. To implement these business functions certain visual representation is required. UML allows for this representation by using a set of structural and behavioral diagrams. In this paper, the first section defines a framework for value chain analysis and highlights its advantages. The second section gives a brief overview of related work in this field. The third section gives a brief discussion on distance education. The fourth section very briefly introduces UML. The fifth section models value chain of distance education using UML. Finally we discuss the limitations and the problems posed in this domain.

Acharya, Anal; Mukherjee, Soumen

2010-10-01

83

UML in business process modeling

Directory of Open Access Journals (Sweden)

Full Text Available Selection and proper application of business process modeling methods and techniques have a significant impact on organizational improvement capabilities as well as proper understanding of functionality of information systems that shall support activity of the organization. A number of business process modeling notations were popularized in practice in recent decades. Most significant of the notations include Business Process Modeling Notation (OMG BPMN and several Unified Modeling Language (OMG UML extensions. In this paper, the assessment whether one of the most flexible and strictly standardized contemporary business process modeling notations, i.e. Rational UML Profile for Business Modeling, enable business analysts to prepare business models that are all-embracing and understandable by all the stakeholders. After the introduction, methodology of research is discussed. Section 2 presents selected case study results. The paper is concluded with a summary.

Bartosz Marcinkowski

2013-03-01

84

A scale-free network view of the UMLS to learn terminology translations.

The UMLS Metathesaurus belongs to the class of scale-free networks with few concept hubs possessing a large number of relationships. The hubs provide useful links between the concepts from disparate terminologies in the UMLS; however, they also exponentially increase the number of possible transitive cross-terminology paths. Towards the goal of using machine learning to rank cross-terminology translations, we propose a traversal algorithm that exploits the scale-free property of the UMLS to reduce the number of candidate translations. We characterize the concept hubs into "informational" and "noisy" concept hubs and provide an automated method to detect them. Using gold standard mappings from SNOMED-CT to ICD9CM, we found an average 20-fold reduction in the number of candidate mappings while achieving comparable recall and ranking results. A hub-driven traversal strategy provides a promising approach to generate high quality cross-terminology translations from the UMLS. PMID:17911805

Patel, Chintan O; Cimino, James J

2007-01-01

85

Performance Evaluation of Superscalar Processor Architecture Through UML

Directory of Open Access Journals (Sweden)

Full Text Available In the current scenario, most of the applications are based upon graphical user interface and dependent upon the object-oriented technology. Software Industries are interested to convert old structured based softwares into object-oriented based softwares and also to reduce the lines of the code of application for reduction in the execution time of application. Therefore, it is a big challenge to reduce the execution time of the application based upon the object-oriented technology. The present work deals with the reduction of execution time for the superscalar machine by the use of object-oriented approach. A well known modeling language i.e. Unified Modeling Language (UML is used to model the superscalar pipeline architecture. UML class and sequence models are designed before computations of the execution time and computed results are depicted in the form of tables and graphs. The comparisons are also made by taking the two object-oriented programming languages.

Taskeen Zaidi

2013-07-01

86

Enterprise architecture evaluation using architecture framework and UML stereotypes

Directory of Open Access Journals (Sweden)

Full Text Available There is an increasing need for enterprise architecture in numerous organizations with complicated systems with various processes. Support for information technology, organizational units whose elements maintain complex relationships increases. Enterprise architecture is so effective that its non-use in organizations is regarded as their institutional inability in efficient information technology management. The enterprise architecture process generally consists of three phases including strategic programing of information technology, enterprise architecture programing and enterprise architecture implementation. Each phase must be implemented sequentially and one single flaw in each phase may result in a flaw in the whole architecture and, consequently, in extra costs and time. If a model is mapped for the issue and then it is evaluated before enterprise architecture implementation in the second phase, the possible flaws in implementation process are prevented. In this study, the processes of enterprise architecture are illustrated through UML diagrams, and the architecture is evaluated in programming phase through transforming the UML diagrams to Petri nets. The results indicate that the high costs of the implementation phase will be reduced.

Narges Shahi

2014-08-01

87

Teaching Object-Oriented Modelling Using UML

The paper elaborates on experiences and lessons learned from the course on object-oriented analyses and design at the Faculty of Sciences, Novi Sad. In the paper we identify a set of issues concerning teaching modeling and UML. It is described experience of teaching UML to students with and without previous knowledge of object-oriented programming.

Boberi?-Krsti?ev, Danijela; Tešendi?, Danijela

2011-09-01

88

International Nuclear Information System (INIS)

The study of twistor diagrams is motivated by analogy with the Feynman diagrams of quantum field theory. The authors discuss the twistor diagrams corresponding to the scalar product of massless free fields and to a phi4-type interactions. (Auth.)

89

Uml Alanysis For Quality Assurance Management System for Higher Education

Directory of Open Access Journals (Sweden)

Full Text Available One of the most important concerns of the current institutions of higher education is the management process to ensure quality. The most important problems facing these institutions is the quality assurance evaluation process. One of the best ways to overcome this problem building a system based on a computer to manage that process. We will define this system as "a Quality Assurance Management system For Higher Education (QAMS". During this paper we will explain our vision and analysis to build such a system. During the system construction we must identify the main modules for the system and the relationships between them. Our QAMS will be constructed to enable the quality evaluator to evaluate the institution quality and generate the final quality report automatically without additional efforts. The main purpose from this paper is to explain our QAMS components. This view will be illustrated by using the UML language diagrams as use-case diagram, data flow diagram, flowchart, and activity diagram.

Mahmud Kandel

2010-04-01

90

The UMLS Knowledge Source Server : An Object Model For Delivering UMLS Data

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System® (UMLS ®), a project of the National Library of Medicine (NLM), regularly distributes a set of knowledge sources to the research community. These data are made available over the Internet through the UMLS Knowledge Source Server (UMLSKS). The new version of the UMLSKS is a complete redesign of the original system using Java and the Extensible Markup Language (XML) technologies to implement a fast, reliable, flexible, and extensible UMLS data retrieval sys...

Bangalore, Anantha; Thorn, Karen E.; Tilley, Carolyn; Peters, Lee

2003-01-01

91

Automatic Debugging Support for UML Designs

Digital Repository Infrastructure Vision for European Research (DRIVER)

Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are expensive. In this paper, we describe an approach which facilitates debugging of UML requirements and designs. The Unified Modeling Language (UML) is a set of notations for object-orient design of a software system. We have developed an algor...

Schumann, Johann

2000-01-01

92

Composition of UML Described Refactoring Rules

Digital Repository Infrastructure Vision for European Research (DRIVER)

Refactorings represent a powerful approach for improving the quality of software systems. A refactoring can be seen as a special kind of behavior preserving model transformation. The Object Constraint Language (OCL) together with the metamodel of Unified Modeling Language (UML) can be used for defining rules for refactoring UML models. This paper investigates descriptions of refactoring rules that can be checked, reused and composed. The main contribution of this paper is an algorithm to comp...

Markovic?, Slavis?a

2004-01-01

93

Foundations on Generation of Relationships Between Classes Based on Initial Business Knowledge

This chapter focuses on the development of the main component of platform independent model (PIM) of Model Driven Architecture, e.g., class diagram defined in Unified Modeling Language (UML), which has necessary details for transformation into platform specific model (PSM). It is important to formulate core principles of development of well-structured class diagram at a conceptual level, using knowledge of the problem domain, which consists of two interrelated models of system aspects - business processes and concept presentation. Definition of relationships of classes is important for PSM generation; therefore, the research on how it could be defined is performed. The hypothesis that it is possible to derive a class structure from initial business information is adduced. Information about the problem domain is presented in the form of two-hemisphere model that describes two interrelated parts of the most important aspects of a system, namely business process and concept models. These models serve as a source model for class diagram receiving. Capacity for the class diagram generation, based on the two-hemisphere model, is represented by a collection of graph transformations and illustrated with examples, where definition of different kinds of relationships (namely aggregation, dependency, generalization) is displayed.

Nikiforova, Oksana; Pavlova, Natalya

94

Some Rules to Transform Activity Diagrams into Colored Petri Nets

Directory of Open Access Journals (Sweden)

Full Text Available This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Activity Diagram (AD into a Colored Petri Net (CPN. ADs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation to Petri nets is to use the theoretical results in the Petri nets domain to analyze the equivalent Petri nets and infer properties of the original workflow. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of this model is an important topic , since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules.

Bhawana Agarwal

2012-11-01

95

Directory of Open Access Journals (Sweden)

Full Text Available The software architecture plays essential role for the development of the complicated software systems and it is important to evaluate the software architecture efficiency. One way to evaluate the software architecture is to create an executable model from the architecture. Unified Modeling Language (UML diagrams are used to describe the software architecture. UML has made it easy to use and to evaluate the necessary requirements at the software architecture level. It creates an executable model from these diagrams; yet, since the UML is a standard semi-formal language for describing the software architecture, evaluating the software architecture is not directly possible through it. Furthermore, in order to evaluate the software architecture, one needs to turn the actual model into the formal model. In this study, first we describe the architecture using the UML. Then, some properties of the software architecture are mentioned using the UML sequence diagram, deployment diagram, use case diagram, and component diagram. The necessary information associated with the qualitative characteristic of efficiency will be margined as clichés and labels to these diagrams. The independent and dependent components will be extracted from the component diagram. Finally, the resulted semi-formal model will be mapped into a formal model based on the colored Petri net and finally the evaluation will take place.

Siamak Khaksar Haghani

2014-06-01

96

A UML-based Instructional Modeling Language

Directory of Open Access Journals (Sweden)

Full Text Available This article presents our results about an exploratory research work on the potential add-ons of the UML formalism for the design and implementation of distant learning situations. Our work focus on the specific Problem-Based Learning situations but could be suitable for other learning theories and approaches. Then we propose the CPM language based on a UML profile specialization in order to describe instructional design models upstream formal ones specified with standards like IMS-LD. Our language is implemented within an existent UML-CASE tool which has been customized in order to experiment end-users (instructional designers facilities for the creation/support/maintenance of CPM models. The language has been tested on a complete case-study. We also briefly present and discuss additional works extending our contribution beyond the design stage. From these results, we stress the potentials of a Model-Driven instructional approach.

Christian SALLABERRY

2005-01-01

97

For all those who have wrestled with creating charts and diagrams in word processors, the Google Chrome application Lucidchart may be a long-awaited answer. Users can start using the intuitive drag-and-drop interface right away, although a free signup is required to save diagrams. By sharing a link with coworkers, project collaborators can work on the same diagram at the same time. This application is compatible with all computers running Google Chrome.

2012-08-24

98

Software engineering techniques applied to agricultural systems an object-oriented and UML approach

Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling Language (UML). The focus is on the presentation of rigorous step-by-step approaches for modeling flexible agricultural and environmental systems, starting with a conceptual diagram representing elements of the system and their relationships. Furthermore, diagrams such as sequential and collaboration diagrams are used to explain the dynamic and static aspects of the software system. This second edition includes: a new chapter on Object Constraint Language (OCL), a new section dedicated to the Model-VIEW-Controller (MVC) design pattern, new chapters presenting details of two MDA-based tools – the Virtual Enterprise and Olivia Nova, and a new chapter with exercises on conceptual modeling. It may be highly useful to undergraduate and graduate students as t...

Papajorgji, Petraq J

2014-01-01

99

FPGA Implementations of Ladder Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available The performance of programmable logic controllers is often constrained by the microprocessor and the real-time firmware of the controller. Field programmable gate arrays (FPGAs are an attractive potential implementation medium for high-speed control because of their fast and parallel execution and programmable nature. Ladder Diagrams are a standard graphical programming method for industrial controllers, but compilers from Ladder Diagrams to FPGA hardware do not yet exist. This paper explores the comparative speed of four different classes of FGPA implementation of Ladder Diagrams - Interpreted Software, Compiled Software, Interpreted Hardware and Compiled Hardware. It also explores parallel versus serial execution of Ladder Diagrams in hardware, and identifies timers as a major resource user in parallel implementations. Overall, a Shared Timer Serial Compiled Hardware system for FPGA implementation of Ladder Diagrams is recommended. Using comparable FPGA resources to other alternatives it provides a 20-600 times speed improvement over other solutions whilst maintaining correct Ladder Diagram semantics.

Neil William Bergmann

2013-02-01

100

Modelling electronic service systems using UML

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper presents a profile for modelling systems of electronic services using UML. Electronic services encapsulate business services, an organisational unit focused on delivering benefit to a consumer, to enhance communication, coordination and information management. Our profile is based on a formal, workflow-oriented description of electronic services that is abstracted from particular implementation technologies. Resulting models provide the basis for a formal analysis...

Skene, J.; Piccinelli, G.; Stearns, M.

2003-01-01

101

Integrating UML into SoC Design Process

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper, we proposed a method for integrating UML model into the current SoC design process. UML is introduced as a formal model of specification for SoC design. The consistency and completeness of the specification is validated based on the formal UML model. The implementation is validated by a systematic derivation of test scenarios from UML model. The method has been applied to the design of a new media-processing chip for mobile devices. The application of the method shows that it i...

Zhu, Qiang; Oishi, Ryosuke; Hasegawa, Takashi; Nakata, Tsuneo

2005-01-01

102

Software cost estimation using class point metrics (CPM)

Estimating cost for the software project is one of the most important and crucial task to maintain the software reliability. Many cost estimation models have been reported till now, but most of them have significant drawbacks due to rapid changes in the technology. For example, Source Line Of Code (SLOC) can only be counted when the software construction is complete. Function Point (FP) metric is deficient in handling Object Oriented Technology, as it was designed for procedural languages such as COBOL. Since Object-Oriented Programming became a popular development practice, most of the software companies started applying the Unified Modeling Language (UML). The objective of this research is to develop a new cost estimation model with the application of class diagram for the software cost estimation.

Ghode, Aditi; Periyasamy, Kasilingam

2011-12-01

103

Mapping UML 2.0 Activities to Zero-Safe Nets

Directory of Open Access Journals (Sweden)

Full Text Available UML 2.0 activity diagrams (ADs are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is unable to capture and preserve semantics of the newly defined high-level activities constructs such as Interruptible Activity Region. Particularly, basic Petri nets do not preserve the non-locality semantics and reactivity concept of ADs. This is mainly due to the absence of global synchronization mechanisms in basic Petri nets. Zero-safe nets are a high-level variant of Petri nets that ensure transitions global coordination thanks to a new kind of places, called zero places. Indeed, zero-safe nets naturally address Interruptible Activity Region that needs a special semantics, forcing the control flow by external events and defining a certain priority level of executions. Therefore, zero-safe nets are adopted in this work as semantic framework for UML 2.0 activity diagrams.

Kamel Barkaoui

2010-05-01

104

Scientific Electronic Library Online (English)

Full Text Available SciELO Brazil | Language: Portuguese Abstract in portuguese [...] Abstract in english In this article, we present data from a study in practical classes for General Chemistry. To this end, it was proposed to use a modified V diagram to replace traditional reporting. These reports consist of material commonly prepared in the subject, including introduction, materials and methods, resu [...] lts and discussion and conclusions. From the preparation of the modified V, the students were able to establish relationships between the theoretical and methodological aspects necessary for understanding the objects and events studied. Thus, student learning can be evaluated in light of the Theory of Meaningful Learning.

Maria Fernanda Campos, Mendonça; Márcia Regina, Cordeiro; Keila Bossolani, Kiill.

105

Efficient Representation of Timed UML 2 Interactions

DEFF Research Database (Denmark)

UML 2 interactions describe system behavior over time in a declarative way. The standard approach to defining their formal semantics enumerates traces of events; other representation formats, like Büchi automata or prime event structures, have been suggested, too. We describe another, more succinct format, interaction structures, which is based on asymmetric event structures. It simplifies the integration of real time, and complex operators like alt and break, and leads to an efficient semantic representation of interactions. We provide the formalism, and a prototypical implementation highlighting the benefits of our approach.

Knapp, Alexander; Störrle, Harald

2014-01-01

106

Scientific Electronic Library Online (English)

Full Text Available SciELO Brazil | Language: Portuguese Abstract in portuguese O desenvolvimento de sistemas automatizados de informações, que apóiam as atividades de projeto e manufatura de produtos, deve seguir um modelo como referência para permitir uma melhor compatibilidade e portabilidade de tais sistemas, principalmente quando inseridos num ambiente integrado de engenha [...] ria concorrente. Este artigo demonstra como a Linguagem de Modelagem Unificada (UML) pode ser aplicada em conjunto com o Modelo de Referência para Processamento Distribuído Aberto (ISO/RM-ODP), para o apoio ao desenvolvimento de sistemas de informações orientados a objetos. Enquanto o RM-ODP oferece um padrão para representação de diferentes pontos de vistas de tais sistemas, a UML é utilizada como notação para representação de cada uma destas vistas. Um processo baseado em Use Cases é empregado para apoiar a evolução da representação das informações dentro deste modelo de referência. O ambiente de projeto de moldes de injeção é utilizado como exemplo para ilustração dos diagramas da UML. Abstract in english The development of information systems to support design and manufacturing activities should follow a reference model in order to be compatible with major systems architectures. RM-ODP (Reference Model Open Distributed Processing) provides five level viewpoints against which information systems deve [...] lopment can be compared and classified. The RM-ODP does not dictate how the information system should be designed and implemented. Rather it highlights the content of the essential views of the system, which must be considered and hence facilitates comparison of alternatives systems. In contrast, computational methodologies provide ways to design and build information systems but usually do not take reference models into consideration. This paper shows how reference models and computational methodologies can be used in harmony, and demonstrates this through the application of a Use Case and UML combined methodology across the RM-ODP viewpoints. Injection mould design is used as an example to the UML representation diagrams.

Carlos Alberto, Costa.

2001-04-01

107

Energy Technology Data Exchange (ETDEWEB)

The description is presented of binary phase diagrams of titanium alloyed with the following elements: silver, aluminium, arsenic, gold, boron, barium, beryllium, bismuth, carbon, calcium, cadmium, cobalt, chromium, copper, iron, gallium, germanium, hydrogen, hafnium, indium, iridium, potassium, lithium, magnesium, manganese, molybdenum, nitrogen, sodium, niobium, nickel, oxygen, osmium, phosphorus, lead, palladium, platinum, plutonium, rhenium, lanthanium, cerium, preseodymium, neodymium, gadolinium, erbium, terbium, thulium, lutetium, rhodium, ruthenium, scandium, silicon, tin, strontium, tantalum, technetium, thorium, uranium, vanadium, tungsten, yttrium, ytterbium, zinc and zirconium.

Kubaschewski-von Goldbeck, O. (Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Metallurgie der Kernbrennstoffe und Theoretische Huettenkunde)

1983-01-01

108

International Nuclear Information System (INIS)

The description is presented of binary phase diagrams of titanium alloyed with the following elements: silver, aluminium, arsenic, gold, boron, barium, beryllium, bismuth, carbon, calcium, cadmium, cobalt, chromium, copper, iron, gallium, germanium, hydrogen, hafnium, indium, iridium, potassium, lithium, magnesium, manganese, molybdenum, nitrogen, sodium, niobium, nickel, oxygen, osmium, phosphorus, lead, palladium, platinum, plutonium, rhenium, lanthanium, cerium, preseodymium, neodymium, gadolinium, erbium, terbium, thulium, lutetium, rhodium, ruthenium, scandium, silicon, tin, strontium, tantalum, technetium, thorium, uranium, vanadium, tungsten, yttrium, ytterbium, zinc and zirconium

109

On the Impact of Diagram Layout: How Are Models Actually Read?

DEFF Research Database (Denmark)

This poster presents the latest results from a very large eye tracking study (n=29) that explores how modelers read UML diagrams. We find that various factors like layout quality, modeler experience, and diagram type lead to significant differences in diagram reading strategies. We derive elements of a theory of diagram reading behavior from our findings. This paper presents only late breaking results: all findings presented, theories constructed, and conclusions drawn are of a preliminary nature. This paper does not present the amount and degree of evidence that would allow us to consider the contents as being scientifically validated, yet.

Störrle, Harald; Baltsen, Nick

2014-01-01

110

International Nuclear Information System (INIS)

The composite Hubble diagram for 663 normal galaxies, 235 radio galaxies, and 265 quasi-stellar objects is given. The least squares solution to the Hubble diagram slope for each of the three classes of objects is compatible, within the errors, with that expected for a homogeneous, isotropic, expanding universe. If the Hubble constant H0=50 km s-1 Mpc-1, then =-21.150, =1043.96 ergs s-1, and sigma/subM/=0.887 for normal galaxies; =-23.061, =1044.72 ergs s-1, and sigma/subM/=0.684 for radio galaxies; and =-25.784, =1045.81 ergs s-1 and sigma/subM/=1.451 for the quasi-stellar objects. Here denotes the mean absolute visual magnitude, denotes the mean absolute optical luminosity, and sigma/subM/ denotes the dispersion in magnitude. It is shown that the uncertainty in the slope of the Hubble diagram for QSOs is comparable to that obtained for normal galaxies over a similar range in magnitude. This means that the scatter in the QSO Hubble diagram should not be used in arguments which question their cosmological nature. It is shown that the absolute optical luminosity of extragalactic objects increases with increasing redshift, and that any given object class occurs infrequently in the magnitude and redshift range of the others. These facts suggest an evolutionary sequence in which bright young QSutionary sequence in which bright young QSOs evolve into older, less luminous radio galaxies, which in turn evolve into the weaker, still older normal galaxies

111

Mapping UML Component Specifications to JEE Implementations

Directory of Open Access Journals (Sweden)

Full Text Available Component-based Software Engineering (CbSE has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is then implemented in a variety of software component models (e.g., COM+, CORBA, EJB. To achieve this, a sound mapping from the specification to a designated component model is critical. In addition, for rapid advances on Internet technologies, software systems have gradually been architected as processing in distributed environments. Since a distributed environment involves often synchronous/asynchronous messages communicating among various processes, this paper focuses therefore on the mapping issue from a component specification to a component model that particularly takes into consideration of the communicating of synchronous/asynchronous messages. To illustrate, an on-line e-Learning curriculum order system is modeled for demonstrating the mapping idea. In completing the component specification, we adopt the well-known UML Components method, while in the component model we use the Enterprise Java Beans (EJB standard in that EJB is the core component model of the JEE (J2EE platform which supports well distributed operations/services. With such a practical mapping, software systems can be developed in a more effective way by specifying requirements in UML Components and implementing software components in EJB with the communicating of synchronous/asynchronous messages among various processes.

Jyhjong Lin

2007-01-01

112

A Method for Reverse Engineering of Use Case Realisations in UML

Directory of Open Access Journals (Sweden)

Full Text Available We propose a novel method for recovering certain elements of the UML model of a software system. These include relationships between use cases as well as class roles in collaborations that realize each use case, identifying common functionality and thus establishing a hierarchical view of the model. The method is based on dynamic analysis of the system for the selected test cases that cover relevant use cases. The theory of formal concept analysis is applied to obtain classification of model elements, obtained by a static analysis of code, in terms of use case realizations.

Dragan Bojic

2001-05-01

113

Unambiguous UML Composite Structures: The OMEGA2 Experience

Starting from version 2.0, UML introduced hierarchical composite structures, which are a very expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that ensure UML composite structures are unambiguous and can be given a precise semantics. Our primary application of the static consistency rules defined in this paper is within the OMEGA UML profile [6], but these rules are general and applicable to other hierarchical component models based on the same concepts, such as MARTE GCM or SysML. The rule set has been formalized in OCL and is currently used in the OMEGA UML compiler.

Ober, Iulian; Dragomir, Iulia

114

Using UML for Modeling a Distributed Java Application

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Modeling Language consists of a set of mostly graphical description techniques for the specification and documentation of object-oriented systems. We describe the experiences gained while using UML 1.0 for the development of a small, distributed Java program for planning break supervision schedules in schools. Our motivation in this case study is not only to evaluate the techniques provided by UML and Java, but also to study their interrelationships and their methodical use from r...

Klaus Bergner; Andreas Rausch; Marc Sihling

2014-01-01

115

UML Modeling for the Watermarking Image File Using Transform Method

Digital Repository Infrastructure Vision for European Research (DRIVER)

Unified Modeling language (UML) is one of the important modeling languages used for the visual representation of the research problem. In the present paper, UML model has been designed for the watermarking in the image file using transform method because Digital watermarking is the process of embedding some information into a digital signal which is used to verify the authentication of image file or identity of its owner. In this paper digital signal is taken as picture and some information i...

Dr. Deepa Raj

2013-01-01

116

Resummation of Cactus Diagrams in Lattice QCD

We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, this expansion yields results remarkably close to corresponding nonperturbative estimates.

Panagopoulos, H

1998-01-01

117

Labeled UML model fragments composition by the SPL strategy

Directory of Open Access Journals (Sweden)

Full Text Available The software community intends to make use of a standard approach for the software development to not build software product from scratch. This approach ensures a high quality of software with a controllable cost. It affects the whole process of the software development, especially in the early phases e.g. analysis and design. One of the most widespread language to modulate and document those two stages is UML (Unified Modeling Language, but the reuse of the UML model is used in ad-hoc method so why do not build a systematic method for reusing some fragments of UML? To realize it, we need to adopt a reuse approach, so we choose the software product line (SPL, based in collecting variability of the domain (in our case is UML. In fact, UML and SPL have a common issue is the model driven engineering, since both of them based on the modeling approach. This paper overviews the different areas of UML and explains the process of software Product line with its born issues to wit: MDE (Model Driven Engineering and MDA (Model Driven Architect.

Rim Bouhaouel

2013-09-01

118

Towards Clone Detection in UML Domain Models

DEFF Research Database (Denmark)

Code clones - that is, duplicate fragments of code - have been studied for a long time. There is strong evidence that code clones are a major source of software faults. Anecdotal evidence suggests that this phenomenon is not restricted to code, but occurs in models in a very similar way. So it is likely that model clones are as detrimental to model quality as they are to code quality. However, programming language code and visual models also have significant differences so that notions and algorithms developed in the code clone arena cannot be transferred directly to model clones. In this article, we discuss how model clones arise by analyzing several practical scenarios. We propose a formal definition of models and clones, that allows us to specify a generic clone detection algorithm. Through a thorough analysis of the detail structure of sample UML domain models, recommendations for clone detection algorithms are derived. We investigate different algorithms and heuristics to detect clones, some of which we have implemented in the MQ_lone tool (pronounced "m clone").

Störrle, Harald

2010-01-01

119

Semantic mappings and locality of nursing diagnostic concepts in UMLS.

One solution for enhancing the interoperability between nursing information systems, given the availability of multiple nursing terminologies, is to cross-map existing nursing concepts. The Unified Medical Language System (UMLS) developed and distributed by the National Library of Medicine (NLM) is a knowledge resource containing cross-mappings of various terminologies in a unified framework. While the knowledge resource has been available for the last two decades, little research on the representation of nursing terminologies in UMLS has been conducted. As a first step, UMLS semantic mappings and concept locality were examined for nursing diagnostic concepts or problems selected from three terminologies (i.e., CCC, ICNP, and NANDA-I) along with corresponding SNOMED CT concepts. The evaluation of UMLS semantic mappings was conducted by measuring the proportion of concordance between UMLS and human expert mappings. The semantic locality of nursing diagnostic concepts was assessed by examining the associations of select concepts and the placement of the nursing concepts on the Semantic Network and Group. The study found that the UMLS mappings of CCC and NANDA-I concepts to SNOMED CT were highly concordant to expert mappings. The level of concordance in mappings of ICNP to SNOMED CT, CCC and NANDA-I within UMLS was relatively low, indicating the need for further research and development. Likewise, the semantic locality of ICNP concepts could be further improved. Various stakeholders need to collaborate to enhance the NLM knowledge resource and the interoperability of nursing data within the discipline as well as across health-related disciplines. PMID:21951759

Kim, Tae Youn; Coenen, Amy; Hardiker, Nicholas

2012-02-01

120

Well-formedness and typing rules for UML Composite Structures

Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structures for the OMEGA UML profile, an executable profile dedicated to the formal specification and validation of real-time systems, developed in a past project to which we contributed. However, the rules and principles stated here are applicable to other hierarchical component models based on the same concepts, such as SysML. The presented ruleset is supported by an OCL formalization which is described in this report. This formalization was applied on different complex models for the evaluation and validation of the proposed principles.

Dragomir, Iulia

2010-01-01

121

Ontology Based Semantics Checking for UML Activity Model

Directory of Open Access Journals (Sweden)

Full Text Available UML activity model is mainly used to model the behaviors of software system and the quality of activity model will influence the quality of software system. But because the UML activity model lacks strictly formal semantics, it is difficult to make formal semantics analysis and checking for activity model. An ontology based method of semantics checking for activity model is proposed. The semantics of activity model is divided into static semantics and dynamic semantics. The static semantics is transformed into OWL DL by an algorithm, and the dynamic semantics is described by DL-Safe rules. Then the consistency of UML activity model is analyzed and some model checking rules are defined, which enables model consistency checking by using an ontology reasoning tool.

Li Chen

2012-01-01

122

With the use of today's computer softwares, phase diagrams can readily be plotted with a wide choice of variables on the axes. Hillert defined a true phase diagram as a diagram where each point uniquely defines the stable phases. He also showed that not all choices of axis variables give true phase diagrams. In this note we will demonstrate that although the rules stated by Hillert are necessary they are not sufficient to have true phase diagrams.

Ågren, John; Schmid-Fetzer, Rainer

2014-10-01

123

For-LySa: UML for Authentication Analysis

DEFF Research Database (Denmark)

The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses with minimal overhead. In this paper, we present For-LySa, an instantiation of the DEGAS approach for authentication analysis, which exploits an existing analysis tool developed for the process calculus LySa. We discuss what information is needed for the analysis, and how to build the UML model of an authentication protocol in such a way that the needed information can be extracted from the model. We then present our prototype implementation and report on some promising results of its use.

Buchholtz, Mikael

2005-01-01

124

Beyond synonymy: exploiting the UMLS semantics in mapping vocabularies.

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System (UMLS) contains semantic information about terms from various sources, each concept can be understood and located by its relationships to other concepts: this is a result of the organizing principle of semantic locality. We describe a method in which the semantic relationships between concepts are used to map concepts from different vocabularies in the UMLS. Applied to mapping concepts to MeSH, this method is able to map 50 to 65% of the non-MeSH concepts t...

Bodenreider, O.; Nelson, S. J.; Hole, W. T.; Chang, H. F.

1998-01-01

125

Why Systems-on-Chip Needs More UML like a Hole in the Head

Let's be clear from the outset: SoC can most certainly make use of UML; SoC just doesn't need more UML, or even all of it. The advent of model mappings, coupled with marks that indicate which mapping rule to apply, enable a major simplification of the use of UML in SoC.

Mellor, Stephen J; Mccausland, Campbell

2011-01-01

126

Using UML State Diagrams for Modelling the Performance of Parallel Programs

Digital Repository Infrastructure Vision for European Research (DRIVER)

Hay muchas posibilidades para diseñar un programa paralelo a fin de obtener el mejor desempeño posible. La selección de una estructura del programa, así como una organización de procesos, impacta sobre el desempeño a lograrse, y depende del problema a resolver. Ahora bien, para seleccionar una estructura del programa como la mejor en términos de desempeño, el diseñador de software requiere de técnicas de modelación para evaluar diferentes opciones. Si la estructura de un programa p...

Jorge Ortega Arjona

2008-01-01

127

UMLS Concept Indexing for Production Databases: A Feasibility Study

Digital Repository Infrastructure Vision for European Research (DRIVER)

Objectives: To explore the feasibility of using the National Library of Medicine's Unified Medical Language System (UMLS) Metathesaurus as the basis for a computational strategy to identify concepts in medical narrative text preparatory to indexing. To quantitatively evaluate this strategy in terms of true positives, false positives (spuriously identified concepts) and false negatives (concepts missed by the identification process).

Nadkarni, Prakash; Chen, Roland; Brandt, Cynthia

2001-01-01

128

Extrinsic Curvature Embedding Diagrams

Embedding diagrams have been used extensively to visualize the properties of curved space in Relativity. We introduce a new kind of embedding diagram based on the {\\it extrinsic} curvature (instead of the intrinsic curvature). Such an extrinsic curvature embedding diagram, when used together with the usual kind of intrinsic curvature embedding diagram, carries the information of how a surface is {\\it embedded} in the higher dimensional curved space. Simple examples are given to illustrate the idea.

Lu, J L

2003-01-01

129

Argues that diagram interpretation is largely text-dependent and is also dependent upon the use of particular diagram-processing skills which may be very difficult to develop. Discusses some interpretation difficulties and advances strategies to help teachers make more effective use of diagrams. (Contains 20 references.) (Author/WRM)

Henderson, Garry

1999-01-01

130

This exercise should be used after you think students know what AFM diagrams are and how they work. This is sort of a quiz - to see if they can properly interpret the diagrams. There is no point moving on to real projects that involve AFM diagrams if the students don't understand the basics.

Perkins, Dexter

131

Root systems and diagram calculus. II. Quadratic forms for the Carter diagrams

We study the class C4 of Carter diagrams containing 4-cycle. For any G from C4, and hence, for the conjugacy class associated with G, we introduce the partial Cartan matrix B_L which is similar to the Cartan matrix B. We consider linkage diagrams obtained from G by adding one root together with its bonds such that the resulting subset of roots is linearly independent. We enumerate linkage diagrams for the Carter diagrams of C4 and D_l, E_6, E_7, E_8 by means of some properties of the partial Cartan matrix. The linkage diagrams connected under the action of dual partial Weyl group constitute one or more components. The obtained graph is called the linkage system which is similar to the weight system arising in the representation theory of the semisimple Lie algebras. For Carter diagrams E_6(a_i) and E_6 the linkage system has two components, each of which contains 27 elements; for Carter diagrams E_7(a_i) and for E_7, the linkage system has a single component containing 56 elements; for Carter diagrams D_l(a_i...

Stekolshchik, Rafael

2010-01-01

132

Objective: The purpose of this study was investigating situation and presenting a conceptual model for clinical governance information system by using UML in two sample hospitals. Background: However, use of information is one of the fundamental components of clinical governance; but unfortunately, it does not pay much attention to information management. Material and Methods: A cross sectional study was conducted in October 2012- May 2013. Data were gathered through questionnaires and interviews in two sample hospitals. Face and content validity of the questionnaire has been confirmed by experts. Data were collected from a pilot hospital and reforms were carried out and Final questionnaire was prepared. Data were analyzed by descriptive statistics and SPSS 16 software. Results: With the scenario derived from questionnaires, UML diagrams are presented by using Rational Rose 7 software. The results showed that 32.14 percent Indicators of the hospitals were calculated. Database was not designed and 100 percent of the hospital’s clinical governance was required to create a database. Conclusion: Clinical governance unit of hospitals to perform its mission, do not have access to all the needed indicators. Defining of Processes and drawing of models and creating of database are essential for designing of information systems. PMID:24825933

Jeddi, Fatemeh Rangraz; Farzandipoor, Mehrdad; Arabfard, Masoud; Hosseini, Azam Haj Mohammad

2014-01-01

133

General Methodology for developing UML models from UI

In recent past every discipline and every industry have their own methods of developing products. It may be software development, mechanics, construction, psychology and so on. These demarcations work fine as long as the requirements are within one discipline. However, if the project extends over several disciplines, interfaces have to be created and coordinated between the methods of these disciplines. Performance is an important quality aspect of Web Services because of their distributed nature. Predicting the performance of web services during early stages of software development is significant. In Industry, Prototype of these applications is developed during analysis phase of Software Development Life Cycle (SDLC). However, Performance models are generated from UML models. Methodologies for predicting the performance from UML models is available. Hence, In this paper, a methodology for developing Use Case model and Activity model from User Interface is presented. The methodology is illustrated with a case...

Reddy, Ch Ram Mohan; Srinivasa, K G; Kumar, T V Suresh; Kanth, K Rajani

2012-01-01

134

MDA based-approach for UML Models Complete Comparison

Directory of Open Access Journals (Sweden)

Full Text Available If a modeling task is distributed, it will frequently be necessary to integrate models developed by different team members. Problems occur in the models integration step and particularly, in the comparison phase of the integration. This issue had been discussed in several domains and various models. However, previous approaches have not correctly handled the semantic comparison. In the current paper, we provide a MDA-based approach for models comparison which aims at comparing UML models. We develop an hybrid approach which takes into account syntactic, semantic and structural comparison aspects. For this purpose, we use the domain ontology as well as other resources such as dictionaries. We propose a decision support system which permits the user to validate (or not correspondences extracted in the comparison phase. For implementation, we propose an extension of the generic correspondence metamodel AMW in order to transform UML models to the correspondence model.

Samia Benabdellah Chaouni

2011-03-01

135

Auto-Coding UML Statecharts for Flight Software

Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM).

Benowitz, Edward G; Clark, Ken; Watney, Garth J.

2006-01-01

136

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Background Large biomedical data sets have become increasingly important resources for medical researchers. Modern biomedical data sets are annotated with standard terms to describe the data and to support data linking between databases. The largest curated listing of biomedical terms is the the National Library of Medicine's Unified Medical Language System (UMLS. The UMLS contains more than 2 million biomedical terms collected from nearly 100 medical vocabularies. Many of the vocabularies contained in the UMLS carry restrictions on their use, making it impossible to share or distribute UMLS-annotated research data. However, a subset of the UMLS vocabularies, designated Category 0 by UMLS, can be used to annotate and share data sets without violating the UMLS License Agreement. Methods The UMLS Category 0 vocabularies can be extracted from the parent UMLS metathesaurus using a Perl script supplied with this article. There are 43 Category 0 vocabularies that can be used freely for research purposes without violating the UMLS License Agreement. Among the Category 0 vocabularies are: MESH (Medical Subject Headings, NCBI (National Center for Bioinformatics Taxonomy and ICD-9-CM (International Classification of Diseases-9-Clinical Modifiers. Results The extraction file containing all Category 0 terms and concepts is 72,581,138 bytes in length and contains 1,029,161 terms. The UMLS Metathesaurus MRCON file (January, 2003 is 151,048,493 bytes in length and contains 2,146,899 terms. Therefore the Category 0 vocabularies, in aggregate, are about half the size of the UMLS metathesaurus. A large publicly available listing of 567,921 different medical phrases were automatically coded using the full UMLS metatathesaurus and the Category 0 vocabularies. There were 545,321 phrases with one or more matches against UMLS terms while 468,785 phrases had one or more matches against the Category 0 terms. This indicates that when the two vocabularies are evaluated by their fitness to find at least one term for a medical phrase, the Category 0 vocabularies performed 86% as well as the complete UMLS metathesaurus. Conclusion The Category 0 vocabularies of UMLS constitute a large nomenclature that can be used by biomedical researchers to annotate biomedical data. These annotated data sets can be distributed for research purposes without violating the UMLS License Agreement. These vocabularies may be of particular importance for sharing heterogeneous data from diverse biomedical data sets. The software tools to extract the Category 0 vocabularies are freely available Perl scripts entered into the public domain and distributed with this article.

Berman Jules J

2003-06-01

137

Towards Diagram Understanding: A Pilot Study Measuring Cognitive Workload Through Eye-Tracking

DEFF Research Database (Denmark)

We investigate model understanding, in particular , how the quality of the UML diagram layout impacts cognitive load. We hypothesize that this w ill have a significant impact on the structure and effectiveness of engineers’ communication. In previous work, we have studied task performance measurements and subjective assessments; here, we also investigate behavioral indicators such as fixation and pupillary dilation. We use such indicators to explore diagram understanding- and reading strategies and how such strategies are impacted, e.g. by diagram type and expertise level. In the pilot eye-tracking experiment run so far, we have only examined a small number of participants (n=4), so our results are preliminary in nature and do not afford far reaching conclusions. They do, however, corroborate findings from earlier experiments, for example, showing that layout quality indeed matters and improves understanding. Our results also give rise to a number of new hypotheses about diagram understanding strategies thatwe are investigating in an ongoing data acquisition campaign.

Maier, Anja; Baltsen, Nick

2014-01-01

138

Directory of Open Access Journals (Sweden)

Full Text Available Efficient estimation and representation of an organisation's behaviour requires specification of business processes and modelling of actors' behaviour. Therefore the existing classical approaches that concentrate only on planned processes are not suitable and an approach that integrates process specifications with behavioural models of actors should be used instead. The present research indicates that a suitable approach should be based on interactive computing. This paper examines the integration of UML diagrams for process specifications, the Q-model specifications for modelling timing criteria of existing and planned processes and a multi-agent approach for simulating non-deterministic behaviour of human actors in an organisation. The corresponding original methodology is introduced and some of its applications as case studies are reviewed.

Raul Savimaa

2005-08-01

139

The notion of a braided chord diagram is introduced and studied. An equivalence relation is given which identifies all braidings of a fixed chord diagram. It is shown that finite-type invariants are stratified by braid index for knots which can be represented as closed 3-braids. Partial results are obtained about spanning sets for the algebra of chord diagrams of braid index 3.

Birman, J S; Birman, Joan S.; Trapp, Rolland

1998-01-01

140

Behavioral Modeling of WSN MAC Layer Security Attacks: A Sequential UML Approach

DEFF Research Database (Denmark)

Wireless sensor networks (WSNs) are growing enormously and becoming increasingly attractive for a variety of application areas such as tele-health monitoring, industry monitoring, home automation and many more. The primary weakness shared by all wireless application and technologies is the vulnerability to security attacks/threats. The performance and behavior of a WSN are vastly affected by such attacks. In order to be able to better address the vulnerabilities of WSNs in terms of security, it is important to understand the behavior of the attacks. This paper addresses the behavioral modeling of medium access control (MAC) security attacks in WSNs. The MAC layer is responsible for energy consumption, delay and channel utilization of the network and attacks on this layer can introduce significant degradation of the individual sensor nodes due to energy drain and in performance due to delays. The behavioral modeling of attacks will be beneficial for designing efficient and secure MAC layer protocols. The security attacks are modeled using a sequential diagram approach of Unified Modeling Language (UML). Further, a new attack definition, specific to hybrid MAC mechanisms, is proposed.

Pawar, Pranav M.; Nielsen, Rasmus Hjorth

2012-01-01

141

Analysis of Medical Student Content Searches that Resulted in Unidentified UMLS Concepts

Digital Repository Infrastructure Vision for European Research (DRIVER)

Many authors have reported on the use of the Unified Medical Language System (UMLS) to match concepts in free text. Unmatched search strings may be due to misspellings, concepts not in the UMLS, or searches for words not expected to be in the UMLS (e.g., names of people or places). We mapped search strings from a full-text, concept-based curriculum database to UMLS concepts and performed a failure analysis. The majority of unmatched text strings were medically related (71.7%). Unrecognized ab...

Rosenbaum, Benjamin P.; Denny, Joshua C.; Spickard, Anderson

2006-01-01

142

Polynomial functions on Young diagrams arising from bipartite graphs

We study the class of functions on the set of (generalized) Young diagrams arising as the number of embeddings of bipartite graphs. We give a criterion for checking when such a function is a polynomial function on Young diagrams (in the sense of Kerov and Olshanski) in terms of combinatorial properties of the corresponding bipartite graphs. Our method involves development of a differential calculus of functions on the set of generalized Young diagrams.

Do?ega, Maciej

2011-01-01

143

Diagrams for quantum oscillators

International Nuclear Information System (INIS)

Diagrams are constructed for matrix elements associated with perturbed harmonic oscillators in quantum mechanics. The diagrams are shown to enable efficient computation of energy shifts and transmission probabilities. An intuitive approach to the diagrammatic technique is used so that introductory quantum courses can incorporate the methods presented

144

Test Case Generation Based on Use case and Sequence Diagram

Directory of Open Access Journals (Sweden)

Full Text Available We present a comprehensive test case generation technique from UMLmodels. We use the features in UML 2.0 sequence diagram includingconditions, iterations, asynchronous messages and concurrent components.In our approach, test cases are derived from analysis artifacts such as usecases, their corresponding sequence diagrams and constraints specifiedacross all these artifacts. We construct Use case Dependency Graph (UDGfrom use case diagram and Concurrent Control Flow Graph (CCFG fromcorresponding sequence diagrams for test sequence generation. We focustesting on sequences of messages among objects of use case scenarios.Our testing strategy derives test cases using full predicate coverage criteria.Our proposed test case generation technique can be used for integration andsystem testing accommodating the object message and condition informationassociated with the use case scenarios. The test cases thus generated aresuitable for detecting synchronization and dependency of use cases andmessages, object interaction and operational faults. Finally, we have madean analysis and comparison of our approach with existing approaches, whichare based on other coverage criterion through an example.

Santosh Kumar Swain

2010-07-01

145

How to Interpret Circuit Diagrams

This site presents an explanation of how to interpret circuit diagrams. Two diagrams show the difference between a "short hand" circuit diagram and a more detailed one. The detailed circuit diagram is useful for those first learning circuits in an effort to eventually understand the "short hand" diagram without difficulty.

Lesurf, Jim

2013-06-07

146

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Directory of Open Access Journals (Sweden)

Full Text Available In this paper, we formally define Test Case Sequence Diagrams (TCSD as an easy-to-use means to specify test cases for components including timing constraints. These test cases are modeled using the UML2 syntax and can be specified by standard UML-modeling-tools. In a component-based design an early identification of errors can be achieved by a virtual integration of components before the actual system is build. We define such a procedure which integrates the individual test cases of the components according to the interconnections of a given architecture and checks if all specified communication sequences are consistent. Therefore, we formally define the transformation of TCSD into timed-arc Petri nets and a process for the combination of these nets. The applicability of our approach is demonstrated on an avionic use case from the ARP4761 standard.

Sven Sieverding

2013-02-01

147

reutilizables con XML, UML e IMS-LD

Directory of Open Access Journals (Sweden)

Full Text Available Se analiza la especificación IMS-Learning Design (LD, que permite el diseño de procesos de enseñanza-aprendizaje en forma de modelos registrados en archivos xml fácilmente reutilizables. Se valora la utilidad del estándar de modelado de sistemas denominado UML (Unified Modeling Language para establecer meta-modelos en la especificación IMS-LD, así como para elaborar modelos dinámicos que reflejen la organización de las actividades de un proceso de enseñanza-aprendizaje. Finalmente, se justifica la necesidad de disponer de herramientas informáticas para el diseño y ejecución de los procesos, de forma similar a como ocurre con los sistemas de workflow.

Jos\\u00E9 R. Hilera

2005-01-01

148

Applying UML and MDA to Real Systems Design

Traditionally system design has been made from a black box/functionality only perspective which forces the developer to concentrate on how the functionality can be decomposed and recomposed into so called components. While this technique is well established and well known it does suffer fromsome drawbacks; namely that the systems produced can often be forced into certain, incompatible architectures, difficult to maintain or reuse and the code itself difficult to debug. Now that ideas such as the OMG's Model Based Architecture (MDA) or Model Based Engineering (MBE) and the ubiquitous modelling language UML are being used (allegedly) and desired we face a number of challenges to existing techniques.

Oliver, Ian

2011-01-01

149

Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool

Digital Repository Infrastructure Vision for European Research (DRIVER)

La démonstration proposée concerne la traçabilité d'exigences tout au long du cycle de développement d'un système temps-réel, potentiellement distribué. L'outil TTool, basé sur un profil UML2, permet de saisir les exigences au format SysML, puis de confronter, par utilisation de techniques de vérification formelle, ces exigences aux diagrammes UML du système.

Saqui-sannes, Pierre; Apvrille, Ludovic

2009-01-01

150

UML 2.0 in a Nutshell A Desktop Quick Reference

This comprehensive guide has been fully revised to cover UML 2.0, today's standard method for modeling software systems. Packed with concise information, it's been crafted to help IT professionals read, create, and understand system artifacts expressed using UML. Also includes an example-rich tutorial for those who need familiarizing with the system

Pilone, Dan

2005-01-01

151

CoLeMo: A Collaborative Learning Environment for UML Modelling

This paper presents the design, implementation, and evaluation of a distributed collaborative UML modelling environment, CoLeMo. CoLeMo is designed for students studying UML modelling. It can also be used as a platform for collaborative design of software. We conducted formative evaluations and a summative evaluation to improve the environment and…

Chen, Weiqin; Pedersen, Roger Heggernes; Pettersen, Oystein

2006-01-01

152

From system requirements to source code: transitions in UML and RUP

Directory of Open Access Journals (Sweden)

Full Text Available There are many manuals explaining language specification among UML-related books. Only some of books mentioned concentrate on practical aspects of using the UML language in effective way using CASE tools and RUP. The current paper presents transitions from system requirements specification to structural source code, useful while developing an information system.

Stanis?aw Wrycza

2011-06-01

153

Modelling of scattering diagrams

International Nuclear Information System (INIS)

Scattering methods are most suitable for studying the structure of unknown systems. Especially colloidal objects are of interest for both fundamental and applied science. Therefore an enormous amount of work has been done to extract structure information of such systems out of scattering diagrams. In particular the correlation between the structure of colloidal systems and the scattering diagrams is not fully understood yet. To gain more insight into this topic we numerically calculated scattering diagrams of simple colloidal objects. In general experimental samples exhibit a significant polydispersity. In models, however, one usually assumes monodisperse particles. Consequently, we investigated the influence of a polydisperse distribution of diameters on scattering diagrams to determine the validity of the analysis. (orig.)

154

Using UML Behavioral Model to Support Aspect Oriented Model

Directory of Open Access Journals (Sweden)

Full Text Available Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.

Nauman Anwar

2013-03-01

155

Diagnostic diagrams of forbidden lines have been a useful tool for observers in astrophysics for many decades now. They are used to obtain information on the basic physical properties of thin gaseous nebulae. Moreover they are also the initial tool to derive thermodynamic properties of the plasma from observations to get ionization correction factors and thus to obtain proper abundances of the nebulae. Some diagnostic diagrams are in wavelengths domains which were difficult to take either due to missing wavelength coverage or low resolution of older spectrographs. Thus they were hardly used in the past. An upgrade of this useful tool is necessary because most of the diagrams were calculated using only the species involved as a single atom gas, although several are affected by well-known fluorescence mechanisms as well. Additionally the atomic data have improved up to the present time. The new diagnostic diagrams are calculated by using large grids of parameter space in the photoionization code CLOUDY. For a given basic parameter the input radiation field is varied to find the solutions with cooling-heating-equilibrium. Empirical numerical functions are fitted to provide formulas usable in e.g. data reduction pipelines. The resulting diagrams differ significantly from those used up to now and will improve the thermodynamic calculations.

Proxauf, B.; Kimeswenger, S.; Öttl, S.

2014-04-01

156

The Minkowski Diagram model displays the spacetime diagrams for two inertial observers. One or two events may be displayed and moved with the mouse. Optionally, the corresponding light cones may be shown, as well as the simultaneity lines in both reference frames. The spacetime interval is automatically computed. The simulation may be used to discuss simultaneity and causality in special relativity. You can modify this simulation if you have Ejs installed by right-clicking within the plot and selecting "Open Ejs Model" from the pop-up menu item. The Minkowski Diagram model was created using the Easy Java Simulations (Ejs) modeling tool. It is distributed as a ready-to-run (compiled) Java archive. Double clicking the ejs_ehu_special_relativity_minkowski.jar file will run the program if Java is installed. Please note that this resource requires at least version 1.5 of Java (JRE).

Aguirregabiria, Juan

2011-09-09

157

UML 2.0 - Overview and Perspectives in SoC Design

The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract design methods. The UML has become the standard for software systems modeling and thus the foundation of new design methods. Although the UML is defined as a general purpose modeling language, its application to hardware and hardware/software codesign is very limited. In order to successfully apply the UML at these fields, it is essential to understand its capabilities and to map it to a new domain.

Schattkowsky, Tim

2011-01-01

158

Knowledge acquisition from the UMLS sources: application to the description of surgical procedures.

The re-usability of lexicons and knowledge in medicine is a crucial challenge. The Unified Medical Language System (UMLS) project has attempted to provide a repository of concepts, semantically categorized for biomedical domain. This paper describes some results about the relevance of UMLS structures for specific purposes. We have focused on the description of surgical procedures. Discussion concerns synonymy of terms, granularity of concepts, and ontology. A preliminary work on the exploitation of interconcept links by a computerized application reveals a heterogeneous implementation of those relationships. However, the UMLS provides a powerful knowledge base for developers. PMID:8591317

Burgun, A; Bodenreider, O; Denier, P; Delamarre, D; Botti, G; Lukacs, B; Mayeux, D; Bremond, M; Kohler, F; Fieschi, M

1995-01-01

159

Attributed programmed graph grammars and their application to schematic diagram interpretation.

Attributed programmed graph grammars are introduced in this paper and their application to the interpretation of schematic diagrams is proposed. In contrast with most of the approaches to syntactic pattern recognition, where the grammar controls a parser, the grammar in our system is used as a generative tool. Two classes of diagrams are studied, namely circuit diagrams and flowcharts. The task is in either case to extract a description from an input diagram. PMID:22499631

Bunke, H

1982-06-01

160

Rerendering Semantic Ontologies Automatic Extensions to UMLS through Corpus Analytics

In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the semantic type coverage of a specific ontology, the National Library of Medicine's UMLS, with the use of robust finite state methods used in conjunction with large-scale corpus analytics of the domain corpus. We call this technique "semantic rerendering" of the ontology. This research has been done in the context of Medstract, a joint Brandeis-Tufts effort aimed at developing tools for analyzing biomedical language (i.e., Medline), as well as creating targeted databases of bio-entities, biological relations, and pathway data for biological researchers. Motivating the current research is the need to have robust and reliable semantic typing of syntactic elements in the Medline corpus, in order to improve the overall performance of the information extraction applications mentioned above.

Pustejovsky, J; Castano, J

2002-01-01

161

UML Model Transformation for a Product Line Design

Directory of Open Access Journals (Sweden)

Full Text Available There is a tremendous growth in computer and electronics industry in this era. This growth has made a major impact on hardware and software resources. A gap has occurred in designing the hardware resource because, only optimal amount of hardware resources is being used for an application development. The complexity of the design and the scarcity of time (for marketing require a standard procedural approach, to address problems such as validation, synthesis, verification and testing. We have proposed a procedural approach for the completeness of the hardware and software systems with lesseffort. We have created an executable model for the application. This model includes different software and hardware modules.A UML based compiler and a hardware-software co-simulation tool is used in ourprocedural approach, for reconfiguring the architectures and aids validation, verification, mapping and synthesis of the application with limited amount of effort.

R. Aroulcanessane

2013-10-01

162

Extending UML for trajectory data warehouses conceptual modelling

Directory of Open Access Journals (Sweden)

Full Text Available The new positioning and information capture technologies are able to treat data related to moving objects taking place in targeted phenomena. This gave birth to a new data source type called trajectory data (TD which handle information related to moving objects. Trajectory Data must be integrated in a new data warehouse type called trajectory data warehouse (TDW that is essential to model and to implement in order to analyze and understand the nature and the behavior of movements of objects in various contexts. However, classical conceptual modeling does not incorporate the specificity of trajectory data due to the complexity of their components that are spatial, temporal and thematic (semantic. For this reason, we focus in this paper on presenting the conceptual modeling of the trajectory data warehouse by defining a new profile using the StarUML extensibility mechanism

Wided Oueslati

2012-12-01

163

Toward a Human-Centered Uml for Risk Analysis

Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of this activity is risk analysis. During risk analysis, two main studies concerning human factors must be integrated: task analysis and human error analysis. This multidisciplinary analysis often leads to a work sharing between several stakeholders who use their own languages and techniques. This often produces consistency errors and understanding difficulties between them. Hence, this paper proposes to treat the risk analysis on the common expression language UML (Unified Modeling Language) and to handle human factors concepts for task analysis and human error analysis based on the features of this language. The approach is applied to the development of a medical robot for teleechography.

Guiochet, J; Baron, C; Boy, G; Guiochet, Jeremie; Motet, Gilles; Baron, Claude; Proxy, Guy Boy; ccsd-00003461, ccsd

2004-01-01

164

SUITABILITY OF UML STATE MACHINE FOR MODELING CHOREOGRAPHY OF SERVICES

Directory of Open Access Journals (Sweden)

Full Text Available Recently, a lot of research works have attempted to model the choreography of services by differentlanguages. Each language models the choreography on the basis of different view and level of abstraction.The features of each language demonstrate how much it is suitable for service choreography modeling.Among all languages, WS-CDL is a popular language which has the rich syntax to model choreography.But it is much limited for modeling the semantic and adaptability of choreography[16,18]. This paper aimsto show the suitability of such language to specify service choreography. For that, we define therequirements of a typical choreography language on the basis of a number of interaction patterns. Then,the UML state based language is checked out against those patterns to recognize its suitability foraddressing the requirements of service choreography. We also compare this language with other mainlanguages in terms of interaction patterns appeared within a compare ison table.

Azadeh Mellat

2011-11-01

165

Extending UML-RT for Control System Modeling

Directory of Open Access Journals (Sweden)

Full Text Available There is a growing interest in adopting object technologies for the development of real-time control systems. Several commercial tools, currently available, provide object-oriented modeling and design support for real-time control systems. While these products provide many useful facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time control systems design, i.e., providing support for a designer to reason about timeliness properties. We believe an approach that integrates the advancements in both object modeling and design methods and real-time scheduling theory is the key to successful use of object technology for real-time software. Surprisingly several past approaches to integrate the two either restrict the object models, or do not allow sophisticated schedulability analysis techniques. This study shows how schedulability analysis can be integrated with UML for Real-Time (UML-RT to deal with timing properties in real time control systems. More specifically, we develop the schedulability and feasibility analysis modeling for the external messages that may suffer release jitter due to being dispatched by a tick driven scheduler in real-time control system and we also develop the scheduliablity modeling for sporadic activities, where messages arrive sporadically then execute periodically for some bounded time. This method can be used to cope with timing constraints in realistic and complex real-time control systems. Using this method, a designer can quickly evaluate the impact of various implementation decisions on schedulability. In conjunction with automatic code generation, we believe that this will greatly streamline the design and development of real-time control systems software.

Qimin Gao

2004-01-01

166

Worldline Green functions for multiloop diagrams

International Nuclear Information System (INIS)

We propose a multiloop generalization of the Bern-Kosower formalism, based on Strassler's approach of evaluating worldline path integrals by worldline Green functions. Those Green functions are explicitly constructed for the basic two-loop graph, and for a loop with an arbitrary number of propagator insertions. For scalar and abelian gauge theories, the resulting integral representations allow to combine whole classes of Feynman diagrams into compact expressions. (orig.)

167

Multiple representations are a valuable tool to help students learn and understand physics concepts. Furthermore, representations help students learn how to think and act like real scientists. These representations include: pictures, free-body diagrams, energy bar charts, electrical circuits, and, more recently, computer simulations and…

Rosengrant, David

2011-01-01

168

Comparando UML y OWL en la representación del conocimiento: correspondencia sintáctica

Directory of Open Access Journals (Sweden)

Full Text Available UML y OWL son lenguajes insignias de dos de los paradigmas más importantes que han emergido en los últimos tiempos para dar soporte al desarrollo de software. En la revisión de la literatura afín no se encuentra ampliamente documentada la relación entre ambos, a pesar del creciente interés en la utilización conjunta de UML y OWL. El propósito de este trabajo es proporcionar una comparación objetiva, con ejemplos concretos de la sintaxis de UML y OWL, que permita crear una base sólida para aprovechar las ventajas de cada uno y combinarlos en el proceso de desarrollo de software. Además se realiza una introducción al Ontology Definition Model para la utilización de la metodología, las herramientas y la tecnología UML como soporte para el desarrollo y el mantenimiento de ontologías.

Susana M. Ram\\u00EDrez

2010-01-01

169

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

Directory of Open Access Journals (Sweden)

Full Text Available This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.

K. Lano

2013-11-01

170

Modelling e verification language testbenches in UML 2.0 with theme and marte

Digital Repository Infrastructure Vision for European Research (DRIVER)

This document presents a metamodel for the e Hardware Verification Language through example. The e metamodel is captured as a UML 2 profile (UML's mechanism for lightweight extension). Stereotypes from this profile can be used at the modeling level as annotations on models of hardware verification testbenches. This document is organised into sections corresponding to the main constructs of the Hardware Verification Language. For each of these constructs we present: 1) a snippet of c...

Linehan, Eamonn; Clarke, Siobha?n

2010-01-01

171

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

Digital Repository Infrastructure Vision for European Research (DRIVER)

En dépit de ses treize diagrammes, le langage UML (Unified Modeling Language) normalisé par l'OMG (Object Management Group) n'offre aucune facilité particulière pour appréhender convenablement la phase de traitement des exigences qui démarre le cycle de développement d'un système temps réel. La normalisation de SysML et des diagrammes d'exigences ouvre des perspectives qui ne sauraient faire oublier le manque de support méthodologique dont souffrent UML et SysML. Fort de ce constat,...

Fontan, Benjamin

2008-01-01

172

Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica

Digital Repository Infrastructure Vision for European Research (DRIVER)

This document presents the Modelica Modeling Language (ModelicaML) a UML Profile for Modelica. The purpose of the ModelicaML is to enable an efficient and effective way to create, read or understand, and maintain Modelica models. ModelicaML is defined as a graphical notation and facilitates different views (composition, inheritance, behavior) on Modelica models. It is based on a subset of the OMG Unified Modeling Language (UML) and reuses concepts from the OMG Systems Modeling Language (SysML...

Schamai, Wladimir

2009-01-01

173

Digital Repository Infrastructure Vision for European Research (DRIVER)

Integration of disparate biomedical terminologies is becoming increasingly important as links between biological science and clinical medicine grow. Mapping concepts in the Gene OntologyTM(GO) to the UMLS may help further this integration and allow for more efficient information exchange among researchers. Using a gold standard of GO term – UMLS concept mappings provided by the NCI, we examined the performance of various published and combined mapping techniques, in order to maximize precis...

Cantor, M. N.; Sarkar, I. N.; Gelman, R.; Hartel, F.; Bodenreider, O.; Lussier, Y. A.

2003-01-01

174

An Introduction to Tree Diagrams

This brief article describes the use of tree diagrams in calculating probabilities. The author provides examples of how tree diagrams are used to calculate specific probabilities and why the language chosen relates to the operations used to find the probability.

Cork, Stu

2014-01-01

175

An Efficient Manipulation Package for Biconditional Binary Decision Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

Biconditional Binary Decision Diagrams (BBDDs) are a novel class of binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables. Reduced and ordered BBDDs are remarkably compact and unique for a given Boolean function. In order to exploit BBDDs in Electronic Design Automation (EDA) applications, efficient manipulation algorithms must be developed and integrated in a software package. In this paper, we present the theory for eff...

Amaru?, Luca; Gaillardon, Pierre-emmanuel; Micheli, Giovanni

2014-01-01

176

Phase diagram of supercooled water confined to hydrophilic nanopores

Digital Repository Infrastructure Vision for European Research (DRIVER)

We present a phase diagram for water confined to cylindrical silica nanopores in terms of pressure, temperature and pore radius. The confining cylindrical wall is hydrophilic and disordered, which has a destabilizing effect on ordered water structure. The phase diagram for this class of systems is derived from general arguments, with parameters taken from experimental observations and computer simulations and with assumptions tested by computer simulation. Phase space divide...

Limmer, David T.; Chandler, David

2012-01-01

177

The Massive Thermal Basketball Diagram

The "basketball diagram" is a three-loop vacuum diagram for a scalar fieldtheory that cannot be expressed in terms of one-loop diagrams. We calculatethis diagram for a massive scalar field at nonzero temperature, reducing it toexpressions involving three-dimensional integrals that can be easily evaluatednumerically. We use this result to calculate the free energy for a massivescalar field with a phi^4 interaction to three-loop order.

Andersen, J O; Strickland, Michael T; Andersen, Jens O.; Braaten, Eric; Strickland, Michael

2000-01-01

178

Digital Repository Infrastructure Vision for European Research (DRIVER)

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give a...

Markl, Martin

2001-01-01

179

International Nuclear Information System (INIS)

This presentation describes the development of the proposed Process Flow Diagram (PFD) for the Tokamak Exhaust Processing System (TEP) of ITER. A brief review of design efforts leading up to the PFD is followed by a description of the hydrogen-like, air-like, and waterlike processes. Two new design values are described; the mostcommon and most-demanding design values. The proposed PFD is shown to meet specifications under the most-common and mostdemanding design values.

180

Automation of Feynman diagram evaluations

International Nuclear Information System (INIS)

A C-program DIANA (DIagram ANAlyser) for the automation of Feynman diagram evaluations is presented. It consists of two parts: the analyzer of diagrams and the interpreter of a special text manipulating language. This language can be used to create a source code for analytical or numerical evaluations and to keep the control of the process in general

181

Perfil UML Para el Modelado Visual de Requisitos Difusos

Directory of Open Access Journals (Sweden)

Full Text Available Modelar dominios de aplicación que involucren requisitos con términos vagos puede ser un proceso complejo,debido a que las herramientas de modelado disponibles en la actualidad no están concebidas para ello. Sin embargo,muchos requisitos de información en sistemas y aplicaciones actuales podrían involucrar términos vagos del lenguajenatural que expresan las preferencias del usuario. Algunos esfuerzos previos se han hecho en el área de consultas abases de datos incorporando la lógica difusa para la expresión de tales preferencias. En este trabajo, se define un perfilbajo UML que permite el modelado visual de requisitos de información basados en términos lingüísticos, ejemplode ellos son los llamados requerimientos fuzzy o difusos. El perfil propuesto se basa en estereotipos y lógica difusaextendida extendido OCL (Object Constraint Language. Dicho perfil posee una semántica formal que permiteeliminar ambigüedades, que puede ser representado gráficamente. Se ejemplifica la aplicación del perfil a través de uncaso de estudio de la vida real que muestra la sencillez y potencialidad de su uso.

Rosseline Rodríguez

2009-09-01

182

Making sense to modelers: Presenting UML class model differences in prose

DEFF Research Database (Denmark)

Understanding the difference between two models, such as different versions of a design, can be difficult. It is a commonly held belief in the model differencing community that the best way of presenting a model difference is by using graph or tree-based visualizations. We disagree and present an alternative approach where sets of low-level model differences are abstracted into high-level model differences that lend themselves to being presented textually. This format is informed by an explorative survey to elicit the change descriptions modelers use themselves. Our approach is validated by a controlled experiment that tests three alternatives to presenting model differences. Our findings support our claim that the approach presented here is superior to EMF Compare.

Störrle, Harald

2013-01-01

183

UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design

Digital Repository Infrastructure Vision for European Research (DRIVER)

UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover the adoption of UML 2 is a significant step towards a broader range of modeling capabilities. This paper provides an overview of the impact of these recent advances on the application of UML for SoC and NoC development, proposes a model-driven development method taking benefit of the best techniques recently introdu...

Vanderperren, Yves; Dehaene, Wim

2005-01-01

184

Makanin-Razborov Diagrams over Free Products

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin-Razborov diagram over free products with a finitely presented group. This MR diagram encodes all the quotients of a given finitely presented group that are free products, all its homomorphisms into free products, and equivalently all the solutions to a given system of equations over a free product.

Jaligot, E

2009-01-01

185

Diagramming Complex Activities

DEFF Research Database (Denmark)

We increasingly live in heterogeneous ever-changing webs of activities where human actions are intertwined with events created by automatic machines. In order to make such webs understandable to its human participants, their structure should be represented by displays emphasizing their action aspect. The paper suggests thematic roles as a semantics for actions, argues that a selection of well-known diagramming techniques can be defined within this theory, and uses the theory to discuss new issues related to process control and mobile technology.

Andersen, Peter BØgh

2005-01-01

186

Digital Repository Infrastructure Vision for European Research (DRIVER)

The most popular and perhaps the most effective way to represent the material flow in production units is the diagram known as Value Stream Map (VSM). Moreover these maps are also used to help in the identification of waste as well as a tool to support continuous improvement. Nevertheless, many of VSM limitations are known and thus there is room for the creation of other more effective ways to represent productive units as well as helping the identification of production waste. This paper pre...

Sa?, Jose? Carlos; Carvalho, Dinis; Sousa, Rui M.

2011-01-01

187

Equivalence Classes of Colorings

Digital Repository Infrastructure Vision for European Research (DRIVER)

For any link and for any modulus $m$ we introduce an equivalence relation on the set of non-trivial m-colorings of the link (an m-coloring has values in Z/mZ). Given a diagram of the link, the equivalence class of a non-trivial m-coloring is formed by each assignment of colors to the arcs of the diagram that is obtained from the former coloring by a permutation of the colors in the arcs which preserves the coloring condition at each crossing. This requirement implies topolog...

Ge, Jun; Jablan, Slavik; Kauffman, Louis H.; Lopes, Pedro

2012-01-01

188

Phase diagrams for surface alloys

DEFF Research Database (Denmark)

We discuss surface alloy phases and their stability based on surface phase diagrams constructed from the surface energy as a function of the surface composition. We show that in the simplest cases of pseudomorphic overlayers there are four generic classes of systems, characterized by the sign of the heat of segregation from the bulk and the sign of the excess interactions between the atoms in the surface (the surface mixing energy). We also consider the more complicated cases a with ordered surface phases, nonpseudomorphic overlayers, second layer segregation, and multilayers. The discussion is based on density-functional calculations using the coherent-potential approximation and on effective-medium theory. We give self-consistent density-functional results for the segregation energy and surface mixing energy for all combinations of the transition and noble metals. Finally we discuss in detail the cases Ag/Cu(100), Pt/Cu(111), Ag/Pt(111), Co/Cu(111), Fe/Cu(111), and Pd/Cu(110) in connection with available experimental results.

Christensen, AsbjØrn; Ruban, Andrei

1997-01-01

189

Impact decision support diagrams

One way to frame the job of planetary defense is to “find the optimal approach for finding the optimal approach” to NEO mitigation. This requires a framework for defining in advance what should be done under various circumstances. The two-dimensional action matrix from the recent NRC report “Defending Planet Earth” can be generalized to a notional “Impact Decision Support Diagram” by extending it into a third dimension. The NRC action matrix incorporated two important axes: size and time-to-impact, but probability of impact is also critical (it is part of the definitions of both the Torino and Palermo scales). Uncertainty has been neglected, but is also crucial. It can be incorporated by subsuming it into the NEO size axis by redefining size to be three standard deviations greater than the best estimate, thereby providing a built-in conservative margin. The independent variable is time-to-impact, which is known with high precision. The other two axes are both quantitative assessments of uncertainty and are both time dependent. Thus, the diagram is entirely an expression of uncertainty. The true impact probability is either one or zero, and the true size does not change. The domain contains information about the current uncertainty, which changes with time (as opposed to reality, which does not change).

Boslough, Mark

2014-10-01

190

International Nuclear Information System (INIS)

We present an analysis of the loop-induced magnetic dipole operator in the Randall-Sundrum model of a warped extra dimension with anarchic bulk fermions and an IR brane-localized Higgs. These operators are finite at one-loop order and we explicitly calculate the branching ratio for ??e? using the mixed position/momentum space formalism. The particular bound on the anarchic Yukawa and Kaluza-Klein (KK) scales can depend on the flavor structure of the anarchic matrices. It is possible for a generic model to either be ruled out or unaffected by these bounds without any fine-tuning. We quantify how these models realize this surprising behavior. We also review tree-level lepton flavor bounds in these models and show that these are on the verge of tension with the ??e? bounds from typical models with a 3 TeV Kaluza-Klein scale. Further, we illuminate the nature of the one-loop finiteness of these diagrams and show how to accurately determine the degree of divergence of a five-dimensional loop diagram using both the five-dimensional and KK formalism. This power counting can be obfuscated in the four-dimensional Kaluza-Klein formalism and we explicitly point out subtleties that ensure that the two formalisms agree. Finally, we remark on the existence of a perturbative regime in which these one-loop results give the dominant contribution.

191

Diagrammatic Reasoning with Classes and Relationships

DEFF Research Database (Denmark)

We present and discuss a diagrammatic visualization and reasoning language coming about by augmenting Euler diagrams with higraphs. The diagrams serve (hierarchical as well as trans-hierarchical) classification and specification of various logical relationships between classes. The diagrams rely on a well-defined underlying class-relationship logic, called CRL, being a fragment of predicate logic. The inference rules at the level of diagrams take form of simple diagrammatic ipso facto rules. The diagrams are intended for computerization by offering navigation and zooming facilities as known from road maps. As such they may facilitate ontological engineering, which often involves larger amounts of data. The underlying inference process is expressible in function-free definite clauses, datalog. We also discuss the relationship to similar diagram and logic proposals.

Nilsson, JØrgen Fischer

2013-01-01

192

Hopf diagrams and quantum invariants

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Reshetikhin-Turaev invariant, Turaev's TQFT, and many related constructions rely on the encoding of certain tangles (n-string links, or ribbon n-handles) as n-forms on the coend of a ribbon category. We introduce the monoidal category of Hopf diagrams, and describe a universal encoding of ribbon string links as Hopf diagrams. This universal encoding is an injective monoidal functor and admits a straightforward monoidal retraction. Any Hopf diagram with n legs yields a n-...

Bruguieres, Alain; Virelizier, Alexis

2005-01-01

193

(?, ?) uniform-scale chromaticity diagram

The non-uniformity of scale in the usual chromaticity diagrams is a very old problem in colour measurements. This program computes the transformation from the CIE 1931 ( x, y) chromaticity diagram to the recent uniform scale (?, ?) diagram and vice-versa. Moreover the program evaluates the most important colorimetric quantities for a comparison with the experimental data. Finally the chromatic gamut needed for TV applications is shown.

Oleari, Claudio; Formaleoni, Guido

1992-02-01

194

Generating function for web diagrams

We present the description of the exponentiated diagrams in terms of generating function within the universal diagrammatic technique. In particular, we show the exponentiation of the gauge theory amplitudes involving products of an arbitrary number of Wilson lines of arbitrary shapes, which generalizes the concept of web diagrams. The presented method gives a new viewpoint on the web diagrams and proves the non-Abelian exponentiation theorem.

Vladimirov, A. A.

2014-09-01

195

International Nuclear Information System (INIS)

We present a light-front calculation of the box diagram in Yukawa theory. The covariant box diagram is finite for the case of spin-1/2 constituents exchanging spin-0 particles. In light-front dynamics, however, individual time-ordered diagrams are divergent. We analyze the corresponding light-front singularities and show the equivalence between the light-front and covariant results by taming the singularities

196

A Platform Independent Model for MPSoC Scheduling Using UML-RT

Directory of Open Access Journals (Sweden)

Full Text Available Integration of object modeling and real-time scheduling theory is a key to successful use of object technology for real-time software. Unified Modeling language (UML is widely used modeling language in software engineering community which supports object-oriented design which in turn encourages component reuse. Recently, system modeling with a Unified Modeling language (UML is an active research area for developing MPSoC real-time system. Our aim is to propose a unified modeling approach from model design, simulation, until code generation to analyze Rate Monotonic Algorithm for global, partitioned and semipartitioned scheduling for MPSoC using UML-Real Time. As a technical contribution success ratio and average processor utilization for the generated periodic tasks is compared with various scheduling principles, to validate our proposal.

S. Ewins Pon Pushpa

2013-02-01

197

Integrating Software Architecture Concepts into the MDA Platform with UML Profile

Directory of Open Access Journals (Sweden)

Full Text Available Architecture Description Languages (ADLs provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is one of the principal aspects of MDA (Model Driven Architecture. Integration of ADLs within MDA confers to the MDA platform a higher level of abstraction and a degree of reuse of ADLs. Indeed they have significantly different platform metamodels which make the definition of mapping rules complex. This complexity is clearly noticeable when some software architecture concepts cannot be easily mapped to MDA platform. In this research, we propose to integrate software architecture within MDA. We define also strategy for direct transformation using a UML profile. It represents both software architecture model (PIM and MDA platform model (PSM in UML meta-model then elaborates transformation rules between results UML meta-models. The goal is to automate the process of deriving implementation platform from software concepts.

Adel Alti

2007-01-01

198

Phase diagrams of two-lane driven diffusive systems

We consider a large class of two-lane driven diffusive systems in contact with reservoirs at their boundaries and develop a stability analysis of mean-field profiles as a method to derive the phase diagrams of such systems. We illustrate the method by deriving phase diagrams for the asymmetric exclusion process coupled to various second lanes: a diffusive lane, an asymmetric exclusion process with advection in the same direction as the first lane, and an asymmetric exclusion process with advection in the opposite direction. The competing currents on the two lanes naturally lead to a very rich phenomenology and we find a variety of phase diagrams. It is shown that the stability analysis is equivalent to an 'extremal current principle' for the total current in the two lanes. We also point to classes of models where the analysis fails due to the lack of a dynamically stable current-density relation.

Evans, M. R.; Kafri, Y.; Sugden, K. E. P.; Tailleur, J.

2011-06-01

199

Arranging ISO 13606 archetypes into a knowledge base using UML connectors.

To enable the efficient reuse of standard based medical data we propose to develop a higher-level information model that will complement the archetype model of ISO 13606. This model will make use of the relationships that are specified in UML to connect medical archetypes into a knowledge base within a repository. UML connectors were analysed for their ability to be applied in the implementation of a higher-level model that will establish relationships between archetypes. An information model was developed using XML Schema notation. The model allows linking different archetypes of one repository into a knowledge base. Presently it supports several relationships and will be advanced in future. PMID:24743069

Kopanitsa, Georgy

2014-01-01

200

Teaching Tip: Using Activity Diagrams to Model Systems Analysis Techniques: Teaching What We Preach

Activity diagrams are used in Systems Analysis and Design classes as a visual tool to model the business processes of "as-is" and "to-be" systems. This paper presents the idea of using these same activity diagrams in the classroom to model the actual processes (practices and techniques) of Systems Analysis and Design. This tip…

Lending, Diane; May, Jeffrey

2013-01-01

201

Resummation of Cactus Diagrams in the Clover Improved Lattice Formulation of QCD

We extend to the clover improved lattice formulation of QCD the resummation of cactus diagrams, i.e. a certain class of tadpole-like gauge invariant diagrams. Cactus resummation yields an improved perturbative expansion. We apply it to the lattice renormalization of some two-fermion operators improving their one-loop perturbative estimates.

Panagopoulos, H

1999-01-01

202

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow

Directory of Open Access Journals (Sweden)

Full Text Available This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-on-chip (SoC. The terminal comprises video encoder and WLAN communications subsystems. In this paper, we present the UML models used in designing the functionality of the subsystems as well as the architecture of the terminal hardware. We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation. Currently, fully software encoder achieves the frame rate of 3.0 fps with three 50 MHz processors, which is one half of a reference C implementation. Thus, using UML and design automation reduces the performance, but we argue that this is highly accepted as we gain significant improvement in design efficiency and flexibility. The experiments with the UML-based design flow proved its suitability and competence in designing complex embedded multimedia terminals.

Petri Kukkala

2007-03-01

203

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow

Directory of Open Access Journals (Sweden)

Full Text Available This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-on-chip (SoC. The terminal comprises video encoder and WLAN communications subsystems. In this paper, we present the UML models used in designing the functionality of the subsystems as well as the architecture of the terminal hardware. We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation. Currently, fully software encoder achieves the frame rate of 3.0 fps with three 50 MHz processors, which is one half of a reference C implementation. Thus, using UML and design automation reduces the performance, but we argue that this is highly accepted as we gain significant improvement in design efficiency and flexibility. The experiments with the UML-based design flow proved its suitability and competence in designing complex embedded multimedia terminals.

Setälä Mikko

2007-01-01

204

Particles, Feynman Diagrams and All That

Quantum fields are introduced in order to give students an accurate qualitative understanding of the origin of Feynman diagrams as representations of particle interactions. Elementary diagrams are combined to produce diagrams representing the main features of the Standard Model.

Daniel, Michael

2006-01-01

205

Phase diagram of polypeptide chains

We use a coarse grained protein model that enables us to determine the equilibrium phase diagram of natively folded ?-helical and unfolded ?-sheet forming peptides. The phase diagram shows that there are only two thermodynamically stable peptide phases, the peptide solution and the bulk fibrillar phase. In addition, it reveals the existence of various metastable peptide phases. The liquidlike oligomeric phases are metastable with respect to the fibrillar phases, and there is a hierarchy of metastability. The presented phase diagram provides a solid basis for understanding the assembly of polypeptide chains into the phases formed in their natively folded and unfolded conformations.

Auer, Stefan

2011-11-01

206

Robot Control Using UML and Multi-agent System

Directory of Open Access Journals (Sweden)

Full Text Available Increased industrialization and new markets have led to an accumulation of used technical consumer goods, which results in greater exploitation of raw materials, energy and landfill sites. In order to reduce the use of natural resources conserve precious energy and limit the increase in waste volume. The application of disassembly techniques is the first step towards this prevention of waste. These techniques form a reliable and clean approach: "noble" or high-graded recycling. This paper presents a multi agent system for disassembly process, which is implemented in a computer-aided application for supervising of the disassembling system: the Interactive Intelligent Interface for Disassembling System. Unified modeling language diagrams are used for an internal and external definition of the disassembling system.

Ales Pavliska

2003-02-01

207

Resummation of cactus diagrams in lattice QCD, to all orders

International Nuclear Information System (INIS)

We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant tadpole-like diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, e.g. the lattice renormalization of some two-fermion operators, this expansion yields results remarkably close to corresponding nonperturbative estimates. We consider in our study both the Wilson and the clover action for fermions

208

Resummation of Cactus Diagrams in Lattice QCD, to all Orders

We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant tadpole-like diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, e.g. the lattice renormalization of some two-fermion operators, this expansion yields results remarkably close to corresponding nonperturbative estimates. We consider in our study both the Wilson and the clover action for fermions.

Panagopoulos, H

2000-01-01

209

Second report on sintering diagrams

Energy Technology Data Exchange (ETDEWEB)

Sintering-mechanism diagrams are diagrams with axes of neck-size or density, and temperature, which identify the fields of dominance of each of the several mechanisms which contribute to sintering, and show the rate or extent of sintering that all the mechanisms, acting together, produce. The present paper incorporates certain new ideas about sintering into the diagrams: the coupling of boundary diffusion and surface diffusion; new criteria for the stages of sintering; and an approximate treatment of particle rearrangement. Diagrams showing how both the neck size and the density of compacts of wires and of spheres change with time and temperature are developed. Their use is illustrated by an analysis of a large body of sintering data for both wires and spheres of Ag, Cu, Ni, Fe, W, NaCl and Stainless Steel.

Swinkels, F.B.; Ashby, M.F.

1980-04-01

210

Primitive phase diagram for hydrogen

International Nuclear Information System (INIS)

Using a combination of experimental data, empirical rules and extrapolation formula, plus first principles theory, the major phase boundaries are drawn in the phase diagram of hydrogen. The relevance to laser fusion is briefly referred to. (Auth.)

211

Phase diagrams of the elements

International Nuclear Information System (INIS)

A summary of the pressure-temperature phase diagrams of the elements is presented, with graphs of the experimentally determined solid-solid phase boundaries and melting curves. Comments, including theoretical discussion, are provided for each diagram. The crystal structure of each solid phase is identified and discussed. This work is aimed at encouraging further experimental and theoretical research on phase transitions in the elements

212

Sheaf cohomology in twistor diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

?One of the earlier achievements of twistor theory was the description of free zero rest mass fields on complexified Minkowski space in terms of holomorphic functions on twistor space. Interactions between these fields are given by certain spacetime integrals (represented by Feynmann diagrams), and some of these integrals have been translated into contour integrals in products of twistor spaces (represented by twistor diagrams). The principal advantage of the twistor...

Huggett, S. A.; Penrose, Roger; Roger Penrose

1980-01-01

213

International Nuclear Information System (INIS)

We continue our study of matrix models of dually weighted graphs. Among the attractive features of these models is the possibility to interpolate between ensembles of regular and random two-dimensional lattices, relevant for the study of the crossover from two-dimensional flat space to two-dimensional quantum gravity. We further develop the formalism of large N character expansions. In particular, a general method for determining the large N limit of a character is derived. This method, aside from being potentially useful for a far greater class of problems, allows us to exactly solve the matrix models of dually weighted graphs, reducing them to a well-posed Riemann-Hilbert problem. The power of the method is illustrated by explicitly solving a new model in which only positive curvature defects are permitted on the surface, an arbitrary amount of negative curvature being introduced at a single insertion. (orig.). With 10 figs

214

Multiloop Feynman diagrams and distribution theory

International Nuclear Information System (INIS)

UV renormalization of multiloop diagrams is studied using the techniques of the As-operation developed in precedent papers. A new representation of the Bogoliubov R-operation is obtained, which has the form of a subtraction from the momentum space integrand of its asymptotic expansion at large integration momenta in the sense of the distribution theory. The subtracted terms are obtained by applying to the integrand the As-operation with respect to all dimensional parameters (masses and external momenta) going to zero at an equal rate, and an additional renormalization (wherefrom the arbitrariness arises) of the logarithmically divergent term at the origin of the space of the integration momenta. The coefficients of the counterterms of the As-operation are exactly UV renormalized diagrams in the new representation, which fact drastically simplifies proofs of operator expansions. It is shown that the class of subtraction schemes thus defined contains the well-known MS scheme of 't Hooft. (authors). 17 refs.; 3 figs

215

The Delunification Process and Minimal Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

A link diagram is said to be lune-free if, when viewed as a 4-regular plane graph it does not have multiple edges between any pair of nodes. We prove that any colored link diagram is equivalent to a colored lune-free diagram with the same number of colors. Thus any colored link diagram with a minimum number of colors (known as a minimal diagram) is equivalent to a colored lune-free diagram with that same number of colors. We call the passage from a link diagram to an equival...

Jablan, Slavik; Kauffman, Louis; Lopes, Pedro

2014-01-01

216

Dynkin diagram sequences and stabilization phenomena

We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a condition on the weights that gives stabilization of tensor product and branching multiplicities. We show that all the results of the previous article can be naturally generalized to this setting. We also prove some properties of the partially ordered set of dominant weights of indefinite Kac-Moody algebras, and use this to give a more concrete definition of a stable representation ring. Finally, we consider the classical sequences $B_n, C_n, D_n$ that fall outside the purview of the earlier work, and work out some simple conditions on the weights which imply stabilization.

Viswanath, S

2005-01-01

217

The UMLS Knowledge Source Server: An Experience in Web 2.0 Technologies

The UMLS Knowledge Source Server (UMLSKS), developed at the National Library of Medicine (NLM), makes the knowledge sources of the Unified Medical Language System® (UMLS ®) available to the research community over the Internet. In 2003, the UMLSKS was redesigned utilizing state-of-the-art technologies available at that time. That design offered a significant improvement over the prior version but presented a set of technology-dependent issues that limited its functionality and usability. Four areas of desired improvement were identified: software interfaces, web interface content, system maintenance/deployment, and user authentication. By employing next generation web technologies, newer authentication paradigms and further refinements in modular design methods, these areas could be addressed and corrected to meet the ever increasing needs of UMLSKS developers. In this paper we detail the issues present with the existing system and describe the new system’s design using new technologies considered entrants in the Web 2.0 development era PMID:18693931

Thorn, Karen E.; Bangalore, Anantha K.; Browne, Allen C.

2007-01-01

218

Refinamiento del diagrama de clases UML a Oracle®9I en ATOM3

Directory of Open Access Journals (Sweden)

Full Text Available El OMG define el refinamiento como el proceso de transformación desde un modelo independiente de la plataforma de implementación hacia un modelo específico de la plataforma de implementación. Las herramientas CASE convencionales han experimentado problemas con este tipo de transformación, debido a la definición estática de los modelos incluidos en ellas, a las dificultades para la definición de reglas de transformación y al pobre rendimiento mostrado por ellas en la obtención de código. Las herramientas MetaCASE han surgido con nuevas capacidades para mejorar el refinamiento en el contexto de la transformación entre modelos. En este artículo se presenta una implementación en AToM3 para refinamiento que transforma un diagrama de clases UML independiente de la plataforma de implementación a un diagrama de clases UML dependiente de la plataforma de implementación Oracle® 9i. Además, se muestra el uso de esta clase de refinamiento con un caso de estudio.

CARLOS M. ZAPATA

2007-01-01

219

The System Analysis and Design of Student Management Information Based on UML

Digital Repository Infrastructure Vision for European Research (DRIVER)

Student management as an important part of university management, and according to the actual situation of the school work, student management information system can not only improve the efficiency of staff and students, but also can be significant savings. In this paper, objectoriented design methods are applied to the software systems. It uses Rose UML modeling to complete the requirement analysis of the student management system, and the functionality and performance analysis.<...

Feng, Fengjiao; Du, Xiaoming

2012-01-01

220

A collaborative knowledge management framework for supply chains: A UML-based model approach

Directory of Open Access Journals (Sweden)

Full Text Available In the most general cases, collaborative activities imply a distributed decision-making process which involves several supply chain nodes. In this paper, by means of a literature review, and by also considering the deficiencies of existing proposals, a collaborative knowledge management UML-based framework supported is proposed. In addition, this proposal synthesizes existing knowledge, and it not only fulfils, but enriches, each component with the modeller’s own knowledge.

David Peidro

2008-12-01

221

UML-based Requirements Analysis on Risk Pre-control System in Coal Enterprise

Digital Repository Infrastructure Vision for European Research (DRIVER)

Combining with the present situation of risk management in domestic coal enterprises,the overall flow of risk pre-control system of coal enterprise is designed on the basis of the ISO/FDIS31000 “Risk management—Principles and guidelines” released by the International Standards Organization and risk precontrol management system of safety in coal mine, UML(unified modeling language) is used as a tool to establish the model of system requirements analysis, risk management subsystem is take...

Huang Hui; Yin Dongyue

2013-01-01

222

Phase diagrams and crystal growth

Phase diagrams are briefly treated as generalized property-composition relationships, with respect to crystal technology optimization. The treatment is based on mutual interaction of three systems related to semiconductors: (a) the semiconducting material systems, (b0 the data bank, (c) the system of crystallization methods. A model is proposed enabling optimatization on the path from application requirements to the desired material. Further, several examples of the selection as to the composition of LED and laser diode material are given. Some of molten-solution-zone methods are being successfully introduced for this purpose. Common features of these methods, the application of phase diagrams, and their pecularities compared with other crystallization methods are illustrated by schematic diagrams and by examples. LPE methods, particularly the steady-state LPE methods such as Woodall's ISM and Nishizawa's TDM-CVP, and the CAM-S (Crystallization Method Providing Composition Autocontrol in Situ) have been chosen as examples. Another approach of exploiting phase diagrams for optimal material selection and for determination of growth condition before experimentation through a simple calculation is presented on InP-GaP solid solutions. Ternary phase diagrams are visualized in space through calculation and constructions based on the corresponding thermodynamic models and anaglyphs. These make it easy to observe and qualitatively analyze the crystallization of every composition. Phase diagrams can be also used as a powerful tool for the deduction of new crystallization methods. Eutectic crystallization is an example of such an approach where a modified molten-solution-zone method can give a sandwich structure with an abrupt concentration change. The concentration of a component can range from 0 to 100% in the different solid phases.

Venkrbec, Jan

1980-04-01

223

Directory of Open Access Journals (Sweden)

Full Text Available Neste artigo é apresentada uma abordagem de teste de software baseada em modelos que se concentra na identificação, automatização e derivação completa, ou parcial, de casos de teste a partir da composição de modelos UML que descrevem alguns aspectos do sistema que está sendo testado. A abordagem adotada provê uma considerável redução de esforço na geração de testes, aumentando a sua eficiência, diminuindo o ciclo de testes e evitando a realização tediosa e propensa a erros de um conjunto de casos de testes. Por fim, é apresentado um estudo de caso para demonstrar de modo prático os benefícios da abordagem proposta. In this paper we present a model-based testing approach that aims at identifying, automating and deriving functional test cases in whole or in part from UML models that describe some aspects of the system under test. Our approach provides a considerable reduction of the effort on the test generation, increasing the effectiveness of the tests, shortening the testing cycle, and avoiding tedious and error-prone editing of a suite of hand-crafted tests. Finally, we present a case study to demonstrate the practicality and usefulness of the proposed approach.

Alex Mulattieri Suarez Orozco

2009-06-01

224

Metadata-Based Modeling Approach: A Multi-Viewpoints UML Profile?

Directory of Open Access Journals (Sweden)

Full Text Available These papers is a process associated with UML, which deals with structural aspects to use in methodical a way, development process offers a complete multi-views modeling via dealing with both structural and behavioral aspects. The achieved work saved all features of multi-views system (MVS in metadata-based model as matrix/cross-table does not set about the behavior aspects of the modeling process. The metadatabased approach addresses a structural aspect related to the share of features’ views and to sharing data without referring to the way these views will respond or how to be able to synchronize them in order to obtain the behavior of multi-view objects (instances of a multi-view system. The achieved work in these papers aims to fill this space by providing a new mechanism to the UML profile that allows expressing the behavioral needs of a system. We will focus on describing the individual behavior of multi-view objects by Actors-Views that require adjustments of UML modeling concepts.

Ali Hassan Muosa?

2014-06-01

225

A Preliminary Correctness Evaluation Model of Object-Oriented Software Based on UML

Directory of Open Access Journals (Sweden)

Full Text Available Concurrent engineering is a philosophy that attempts to take into account of all the activities of a product life cycle early in the design stage. In the manufacturing industry, approximately 70% of a product`s manufacting and assembly costs are determined during the design stage. Similar to the software industry system analysis and design has significant influence on later activities of the software development life cycle. Object-oriented approach has been the main stream for software development, and unified Modeling Language (UML integrates most of the object-oriented modeling methods and has become the standards. This paper incorporates the CE concept into the evaluation of object-oriented software development and proposes a Hierarchical Aggregation Model (HAM to early evaluate the object-oriented software design quality based on UML. There are three advantages of using this model. First, this model can help reduce the project risk, cost, and time span, and eventually improve the software quality early in the software development life cycle. Secondly, this model facilitates the use of the standards of object-oriented modeling language, UML, which makes proposed model more applicable to real software development. Thirdly, this model is easy to implement, that can potentially be imbedded in CASE tools to directly support the project manager`s decision making.

S. Wesley Changchien

2002-01-01

226

ATTACK DESCRIPTION LANGUAGE FOR COLLABORATED ALERTS-USING XML AND UML

Directory of Open Access Journals (Sweden)

Full Text Available Statistics of Internet usage are increasing enormously. In harmony, the attacks are also escalating. In the recent era, IDS have gained more popularity in connection to network security. IDS deployed in the network will scan the hosts and the network. It will try to sense misuse detection or anomaly detection. Whenever there is any suspicious activity, IDS will immediately raise alarm. It would be apt to capture the complete description of the new attack as soon as alarm rises. This information to be collected may be heterogeneous because it may be from multiple users, process or hosts. Hence there is a need for common standard language that will work across various domains and platforms. XML is one such language.Writing an XML schema directly would be difficult and inconvenient. The best way to write XML schemas is to useUML models. Hence in this paper, we propose alert collbaration modeling architecture and attack description language using XML notion, which uses UML modeling. Keywords- IDS,Attack,description,XML,UML

K.V.S.N. Rama Rao

2011-07-01

227

ATTACK DESCRIPTION LANGUAGE FOR COLLABORATED ALERTS-USING XML AND UML

Directory of Open Access Journals (Sweden)

Full Text Available Statistics of Internet usage are increasing enormously. In harmony, the attacks are also escalating. In the recent era, IDS have gained more popularity in connection to network security. IDS deployed in the network will scan the hosts and the network. It will try to sense misuse detection or anomaly detection. Whenever there is any suspicious activity, IDS will immediately raise alarm. It would be apt to capture the complete description of the new attack as soon as alarm rises. This information to be collected may be heterogeneous because it may be from multiple users, process or hosts. Hence there is a need for common standard language that will work across various domains and platforms. XML is one such language.Writing an XML schema directly would be difficult and inconvenient. The best way to write XML schemas is to useUML models. Hence in this paper, we propose alert collbaration modeling architecture and attack description language using XML notion, which uses UML modeling. Keywords- IDS; Attack description; XML;UML

K.V.S.N. Rama Rao

2011-07-01

228

Topologically distinct Feynman diagrams for mass operator in electron-phonon interaction

Directory of Open Access Journals (Sweden)

Full Text Available The new method for designing topologically distinct Feynman diagrams for electron's mass operator in electron-phonon interaction is developed using the permutation group theory. The carried out classification of DPs allows to choose the classes, corresponding to disconnected diagrams, to singly connected diagrams, direct ("tadpole" diagrams, to diagrams corresponding to phonon Green functions. After this classification the set of considered double permutations is reduced to one class since only these are relevant to mass operator. We derive analytical expressions which allow to identify the DP, and to choose the phonon components, which are not accepted in every type. To avoid repetition of asymmetric diagrams, which correspond to the same analytical expression, we introduce the procedure of inversion in phonon component, and identify symmetric as well as a pair of asymmetric phonon components. For every type of DP (denoted by its digital encoding, taking into account its symmetry, we perform a set of transformations on this DP, list all DPs of the type and all the corresponding Feynman diagrams of mass operator automatically. It is clear that no more expressions (diagrams for the relevant order of perturbation theory for mass operator can be designed.

C.C. Tovstyuk

2009-01-01

229

Energy Technology Data Exchange (ETDEWEB)

The continuous introduction of more sophisticated and more complex automation systems is of high relevance for operations- and control devices for railway applications. One example of this trend is the European Train Control System (ETCS). I is harmonized for all European member states and currently deployed for commercial use on selected lines. Applications like ETCS take responsibility for passengers, environment and the rolling stock material. For this reason, the development of those applications is characterized by high demands on testing, documentation and quality assurance. Unfortunately, real projects have proven to achieve these high demands only with tremendous efforts as long as they stick to their traditional development processes and methods. Therefore, a wide spread exploration for new concepts regarding planning, implementation and - most of all - testing of safety relevant systems is under its way. This thesis contributes to the search for new design methods for such systems. It combines recent achievements in the environment of the Unified Modeling Language (UML) to an integrated approach for a consistent testcase- and system description in a single UML model. The model comprises the UML profiles SysML (System Modeling Language) and U2TP (UML 2 Testing Profile), which are officially specified and released by the Object Management Group (OMG). This thesis shows how based on these two profiles - a single, combined system- and testcase model can be build - relationships between requirements, implementation- and testcase can be established - requirement relationships can be evaluated automatically to ensure model consistency and to determine implementation and testcase coverage - C++-code can be generated directly from the model - TTCN-3-code (Testing and Test Control Notation, Version 3) can be derived automatically from the model - a toolchain can be set up which supports all mentioned functions. In order to prove the feasibility of this approach, a case study has been performed which shows how a component of the railway laboratory RailSiTe {sup registered} (Rail Simulation and Testing) of the German Aerospace Center has been described using a combined testcase- and system model. Apart from the case study and from the theoretical basics of combined UML models, this thesis deals with surrounding aspects of the modeling method. This includes comparisons with other means of description or embedding object-oriented modeling in traditional development processes. The overall result is that both the approach and the toolchain are working properly and can be applied in real world projects. The anticipated advantages like re-usage of model items, more efficient testing, more formal system descriptions and avoidance of discontinuous notations in the whole process appeared in the theoretical derivation as well as in the practical usage of the method. So there is reason to believe that this approach will find future applications outside its scientific origin. (orig.)

Knollmann, V.

2007-12-15

230

... offered in your community. Benefits of Taking a Childbirth Class A childbirth class can be a great forum to ask ... find support from other expectant couples at a childbirth class. Who would better understand the ups and ...

231

Power Network Voronoi Diagram and Dynamic Construction

Directory of Open Access Journals (Sweden)

Full Text Available Objective Voronoi diagrams are important in many fields in a series of sciences. Network Voronoi diagrams are useful to investigate dominance regions in a grid street system or a radial-circular street system. However, all generators may have different effect. To deal with a network Voronoi diagram with varied functions of generators, it must be worth formulating a power network Voronoi diagram. Method Adding weight value on generators, which is used to indicate factors related to are difficult to construct when the position relation of generators. Results A new concept of power network Voronoi diagram are proposed. In accordance with discrete construction method, achieved the construction of power network Voronoi diagram. Conclution The application example shows that the algorithm is both simple and useful, and it is of high potential value in practice. Power network Voronoi diagram both perfected the theory about Voronoi diagrams, and extended the range of applications of Voronoi diagrams.

Yili Tan

2012-04-01

232

Index of Animated Phase Diagrams

This is a collection of animated phase diagrams by Kenneth Windom at Iowa State University. These short Power Point animations can be used to illustrate equilibrium crystallization concepts. There are slide shows for plagioclase feldspars (albite and anorthite); forsterite, diopside and anorthite; forsterite, enstatite and silica; and diopside and anorthite.

Windom, Kenneth E.; University, Iowa S.

233

International Nuclear Information System (INIS)

The perturbation theory for the polaron energy is systematically treated on the diagrammatic basis. Feynman diagrams being constructed allow to calculate the polaron energy up to the third order in powers of the coupling constant. Similar calculations are performed for the average number of virtual phonons

234

Higher Order City Voronoi Diagrams

We investigate higher-order Voronoi diagrams in the city metric. This metric is induced by quickest paths in the L1 metric in the presence of an accelerating transportation network of axis-parallel line segments. For the structural complexity of kth-order city Voronoi diagrams of n point sites, we show an upper bound of O(k(n - k) + kc) and a lower bound of {\\Omega}(n + kc), where c is the complexity of the transportation network. This is quite different from the bound O(k(n - k)) in the Euclidean metric. For the special case where k = n - 1 the complexity in the Euclidean metric is O(n), while that in the city metric is {\\Theta}(nc). Furthermore, we develop an O(k^2(n + c) log n)-time iterative algorithm to compute the kth-order city Voronoi diagram and an O(nc log^2(n + c) log n)-time divide-and-conquer algorithm to compute the farthest-site city Voronoi diagram.

Gemsa, Andreas; Liu, Chih-Hung; Wagner, Dorothea

2012-01-01

235

Algorithmic approach to diagram techniques

International Nuclear Information System (INIS)

An algorithmic approach to diagram techniques of elementary particles is proposed. The definition and axiomatics of the theory of algorithms are presented, followed by the list of instructions of an algorithm formalizing the construction of graphs and the assignment of mathematical objects to them. (T.A.)

236

Animated Diagram: Sedimentary Rock Identification

This Flash-enabled diagram provides a scheme for sedimentary rock identification accompanied by pop-up images of the rocks. Rolling the mouse over highlighted boxes links texture, grain size, composition, and map symbols to images of a variety of sedimentary rocks. The animation is downloadable.

237

The nonforward QCD ladder diagrams

International Nuclear Information System (INIS)

We extend the standard analysis of the QCD planar ladder diagrams to the nonforward direction. Results are used for calculating exclusive and semiinclusive cross sections of diffractive photoproduction in the small-x region of ep-collisions. As an example we estimate the event rate for diffractive photoproduction of the neutral vector boson at Hera energies. (orig.)

238

Quark diagrams and the ?- nonleptonic decays

International Nuclear Information System (INIS)

The quark-diagram model for nonleptonic two-body baryon decays is discussed and applied to the decay of the ?- particle. Current algebra is not employed, but the relation between the quark diagrams and current algebra is explored

239

International Nuclear Information System (INIS)

In this study we obtain a T-P phase diagram of ice using the mean field theory. We fit our calculated phase line equations to the experimental T-P phase diagram. By choosing appropriately the coefficients in the free-energy expansions, our calculated phase diagram agrees well with the experimentally observed phase diagram of ice. Some thermodynamic functions are calculated using the free energy for the transitions studied here.

240

The Butterfly Diagram Internal Structure

International Nuclear Information System (INIS)

A time-latitude diagram, where the spotgroup area is taken into account, is presented for cycles 12 through 23. The results show that the spotted area is concentrated in few, small portions (knots) of the Butterfly Diagram (BD). The BD may be described as a cluster of knots. Knots are distributed in the butterfly wings in a seemingly randomly way. A knot may appear at either lower or higher latitudes than previous ones, in spite of the prevalent tendency to appear at lower and lower latitudes. Accordingly, the spotted area centroid, far from continuously drifting equatorward, drifts poleward or remains stationary in any hemisphere for significant fractions (? 1/3) of the cycle total duration. In a relevant number of semicycles, knots seem to form two roughly parallel, oblique chains, separated by an underspotted band. This picture suggests that two (or more) ''activity streams'' approach the equator at a rate higher than the spot zone as a whole.

241

Two-state shear diagrams for complex fluids in shear flow

The possible ``phase diagrams'' for shear-induced phase transitions between two phases are collected. We consider shear-thickening and shear-thinning fluids, under conditions of both common strain rate and common stress in the two phases, and present the four fundamental shear stress vs. strain-rate curves and discuss their concentration dependence. We outline how to construct more complicated phase diagrams, discuss in which class various experimental systems fall, and sketch how to reconstruct the phase diagrams from rheological measurements.

Olmsted, P D

1999-01-01

242

Phase diagram of a one-dimensional spin-orbital model

International Nuclear Information System (INIS)

We study a one-dimensional spin-orbital model using both analytical and numerical methods. Renormalization group calculations are performed in the vicinity of a special integrable point in the phase diagram with SU(4) symmetry. These indicate the existence of a gapless phase in an extended region of the phase diagram, missed in previous studies. This phase is SU(4) invariant at low energies apart from the presence of different velocities for spin and orbital degrees of freedom. The phase transition into a gapped dimerized phase is in a generalized Kosterlitz-Thouless universality class. The phase diagram of this model is sketched using the density matrix renormalization group technique

243

Causal diagrams in systems epidemiology

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Methods of diagrammatic modelling have been greatly developed in the past two decades. Outside the context of infectious diseases, systematic use of diagrams in epidemiology has been mainly confined to the analysis of a single link: that between a disease outcome and its proximal determinant(s. Transmitted causes ("causes of causes" tend not to be systematically analysed. The infectious disease epidemiology modelling tradition models the human population in its environment, typically with the exposure-health relationship and the determinants of exposure being considered at individual and group/ecological levels, respectively. Some properties of the resulting systems are quite general, and are seen in unrelated contexts such as biochemical pathways. Confining analysis to a single link misses the opportunity to discover such properties. The structure of a causal diagram is derived from knowledge about how the world works, as well as from statistical evidence. A single diagram can be used to characterise a whole research area, not just a single analysis - although this depends on the degree of consistency of the causal relationships between different populations - and can therefore be used to integrate multiple datasets. Additional advantages of system-wide models include: the use of instrumental variables - now emerging as an important technique in epidemiology in the context of mendelian randomisation, but under-used in the exploitation of "natural experiments"; the explicit use of change models, which have advantages with respect to inferring causation; and in the detection and elucidation of feedback.

Joffe Michael

2012-03-01

244

A Queuing Theory and Systems Modeling Course Based on Unified Modeling Language (UML)

This paper presents the implementation of a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done. It also presents how this method was evaluated by the teachers and the students that attended the course and answered a questionnaire. This course is based on the use of Unified Modeling Language (UML) as the mean to teach modeling of discrete event systems such as queues and networks and not on Mathematics that sometimes is too difficult for students to understand.

Perdos, Athanasios; Stephanides, George; Chatzigeorgiou, Alexander

245

A Trajectory UML Profile for Modeling Trajectory Data: A Mobile Hospital Use Case

Directory of Open Access Journals (Sweden)

Full Text Available A large amount of trajectory data resulting from moving objects can be collected thanks to localization based services and monitoring systems. Those trajectory data can be used for analysis purposes in many domains (medicine, commerce, environment…. For this reason, modeling trajectory data at the conceptual level is an important stair. In this paper, we propose a new profile based on UML in order to enhance the conceptual modeling of trajectory data related to mobile hospitals by new stereotypes and new icons.

Wided Oueslati

2011-02-01

246

A UMLS-based spell checker for natural language processing in vaccine safety

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Background The Institute of Medicine has identified patient safety as a key goal for health care in the United States. Detecting vaccine adverse events is an important public health activity that contributes to patient safety. Reports about adverse events following immunization (AEFI from surveillance systems contain free-text components that can be analyzed using natural language processing. To extract Unified Medical Language System (UMLS concepts from free text and classify AEFI reports based on concepts they contain, we first needed to clean the text by expanding abbreviations and shortcuts and correcting spelling errors. Our objective in this paper was to create a UMLS-based spelling error correction tool as a first step in the natural language processing (NLP pipeline for AEFI reports. Methods We developed spell checking algorithms using open source tools. We used de-identified AEFI surveillance reports to create free-text data sets for analysis. After expansion of abbreviated clinical terms and shortcuts, we performed spelling correction in four steps: (1 error detection, (2 word list generation, (3 word list disambiguation and (4 error correction. We then measured the performance of the resulting spell checker by comparing it to manual correction. Results We used 12,056 words to train the spell checker and tested its performance on 8,131 words. During testing, sensitivity, specificity, and positive predictive value (PPV for the spell checker were 74% (95% CI: 74–75, 100% (95% CI: 100–100, and 47% (95% CI: 46%–48%, respectively. Conclusion We created a prototype spell checker that can be used to process AEFI reports. We used the UMLS Specialist Lexicon as the primary source of dictionary terms and the WordNet lexicon as a secondary source. We used the UMLS as a domain-specific source of dictionary terms to compare potentially misspelled words in the corpus. The prototype sensitivity was comparable to currently available tools, but the specificity was much superior. The slow processing speed may be improved by trimming it down to the most useful component algorithms. Other investigators may find the methods we developed useful for cleaning text using lexicons specific to their area of interest.

Liu Fang

2007-02-01

247

DEFF Research Database (Denmark)

Virtual classes allow nested classes to be refined in subclasses. In this way nested classes can be seen as dependent abstractions of the objects of the enclosing classes. Expressing dependency via nesting, however, has two limitations: Abstractions that depend on more than one object cannot be modeled and a class must know all classes that depend on its objects. This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class variations as well as the flexibility of their modularization. Besides, dependent classes complement multi-methods in scenarios where multi-dispatched abstractions rather than multi-dispatched method are needed. They can also be used to express more precise signatures of multi-methods and even extend their dispatch semantics. We present a formal semantics of dependent classes and a machine-checked type soundness proof in Isabelle/HOL [29], the first of this kind for a language with virtual classes and path-dependent types. [29] T.Nipkow, L.C. Poulson, and M. Wenzel. Isabelle/HOL -- A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS, Springer, 2002

Gasiunas, Vaidas; Mezini, Mira

2007-01-01

248

Liftings of diagrams of semilattices by diagrams of dimension groups

We investigate categorical and amalgamation properties of the functor Idc assigning to every partially ordered abelian group G its semilattice of compact ideals Idc G. Our main result is the following. Theorem 1. Every diagram of finite Boolean semilattices indexed by a finite dismantlable partially ordered set can be lifted, with respect to the Idc functor, by a diagram of pseudo-simplicial vector spaces. Pseudo-simplicial vector spaces are a special kind of finite-dimensional partially ordered vector spaces (over the rationals) with interpolation. The methods introduced make it also possible to prove the following ring-theoretical result. Theorem 2. For any countable distributive join-semilattices S and T and any field K, any (v,0)-homomorphism $f: S\\to T$ can be lifted, with respect to the Idc functor on rings, by a homomorphism $f: A\\to B$ of K-algebras, for countably dimensional locally matricial algebras A and B over K. We also state a lattice-theoretical analogue of Theorem 2 (with respect to the Conc ...

Tuma, J; Tuma, Jiri; Wehrung, Friedrich

2005-01-01

249

Higher-order gravitational lensing reconstruction using Feynman diagrams

We develop a method for calculating the correlation structure of the Cosmic Microwave Background (CMB) using Feynman diagrams, when the CMB has been modified by gravitational lensing, Faraday rotation, patchy reionization, or other distorting effects. This method is used to calculate the bias of the Hu-Okamoto quadratic estimator in reconstructing the lensing power spectrum up to Script O (phi4) in the lensing potential phi. We consider both the diagonal noise TT TT, EB EB, etc. and, for the first time, the off-diagonal noise TT TE, TB EB, etc. The previously noted large Script O (phi4) term in the second order noise is identified to come from a particular class of diagrams. It can be significantly reduced by a reorganization of the phi expansion. These improved estimators have almost no bias for the off-diagonal case involving only one B component of the CMB, such as EE EB.

Jenkins, Elizabeth E.; Manohar, Aneesh V.; Waalewijn, Wouter J.; Yadav, Amit P. S.

2014-09-01

250

Higher-Order Gravitational Lensing Reconstruction using Feynman Diagrams

We develop a method for calculating the correlation structure of the Cosmic Microwave Background (CMB) using Feynman diagrams, when the CMB has been modified by gravitational lensing, Faraday rotation, patchy reionization, or other distorting effects. This method is used to calculate the bias of the Hu-Okamoto quadratic estimator in reconstructing the lensing power spectrum up to O(\\phi^4) in the lensing potential $\\phi$. We consider both the diagonal noise TTTT, EBEB, etc. and, for the first time, the off-diagonal noise TTTE, TBEB, etc. The previously noted large O(\\phi^4) term in the second order noise is identified to come from a particular class of diagrams. It can be significantly reduced by a reorganization of the $\\phi$ expansion. These improved estimators have almost no bias for the off-diagonal case involving only one $B$ component of the CMB, such as EEEB.

Jenkins, Elizabeth E; Waalewijn, Wouter J; Yadav, Amit P S

2014-01-01

251

Directory of Open Access Journals (Sweden)

Full Text Available Important qualitative parameters of the large softwaresystems are determined by indicators of effectiveness of thesoftware's, such as response time, operating power and error rate.Procedure modeling is an approach for evaluating the effectivenessand validation of the systems and, as well as it predicts therequirements of qualitative and quantitative performance andprovides a comparison between all kinds of designs with respect toperformance indicators.Present study suggested a method for converting the UMLdescription designing software to Stochastic Process Algebra(SPAmodel, which provides the application of using the UML indesigning software with high performance; in other words itputting the performance in designing software and a high qualitysoftware is designed.In order tomodeling the parts of system weuse state chart and for the interactions between the parts we use theCollaboration chart with the performance profile (using theperformance profile is the distinction between the suggestedapproach and the former ones.. An algorithm is provided forautomatic production of the SPA performance model from theXML(Extensible Markup Language documents and state andcollaboration charts with performance profiles(stereotype, labeland limitation, using the ExportXMI software, Argo UML isprovided, and then they gained SPA performance/operation modelin the PEPAworkbench tool is loaded for performance analysis,so as the designer can test thefulfill of performance goals of hisdesign according to type of different performance parameters andchanging in value and chooses the best option in designing.

Rahmat Zolfaghari

2013-07-01

252

The architecture of the CMS Level-1 Trigger Control and Monitoring System using UML

The architecture of the Compact Muon Solenoid (CMS) Level-1 Trigger Control and Monitoring software system is presented. This system has been installed and commissioned on the trigger online computers and is currently used for data taking. It has been designed to handle the trigger configuration and monitoring during data taking as well as all communications with the main run control of CMS. Furthermore its design has foreseen the provision of the software infrastructure for detailed testing of the trigger system during beam down time. This is a medium-size distributed system that runs over 40 PCs and 200 processes that control about 4000 electronic boards. The architecture of this system is described using the industry-standard Universal Modeling Language (UML). This way the relationships between the different subcomponents of the system become clear and all software upgrades and modifications are simplified. The described architecture has allowed for frequent upgrades that were necessary during the commissioning phase of CMS when the trigger system evolved constantly. As a secondary objective, the paper provides a UML usage example and tries to encourage the standardization of the software documentation of large projects across the LHC and High Energy Physics community.

Magrans de Abril, Marc; Da Rocha Melo, Jose L.; Ghabrous Larrea, Carlos; Hammer, Josef; Hartl, Christian; Lazaridis, Christos

2011-12-01

253

Meta-Model and UML Profile for Requirements Management of Software and Embedded Systems

Directory of Open Access Journals (Sweden)

Full Text Available Software and embedded system companies today encounter problems related to requirements management tool integration, incorrect tool usage, and lack of traceability. This is due to utilized tools with no clear meta-model and semantics to communicate requirements between different stakeholders. This paper presents a comprehensive meta-model for requirements management. The focus is on software and embedded system domains. The goal is to define generic requirements management domain concepts and abstract interfaces between requirements management and system development. This leads to a portable requirements management meta-model which can be adapted with various system modeling languages. The created meta-model is prototyped by translating it into a UML profile. The profile is imported into a UML tool which is used for rapid evaluation of meta-model concepts in practice. The developed profile is associated with a proof of concept report generator tool that automatically produces up-to-date documentation from the models in form of web pages. The profile is adopted to create an example model of embedded system requirement specification which is built with the profile.

Arpinen Tero

2011-01-01

254

The architecture of the CMS Level-1 Trigger Control and Monitoring System using UML

International Nuclear Information System (INIS)

The architecture of the Compact Muon Solenoid (CMS) Level-1 Trigger Control and Monitoring software system is presented. This system has been installed and commissioned on the trigger online computers and is currently used for data taking. It has been designed to handle the trigger configuration and monitoring during data taking as well as all communications with the main run control of CMS. Furthermore its design has foreseen the provision of the software infrastructure for detailed testing of the trigger system during beam down time. This is a medium-size distributed system that runs over 40 PCs and 200 processes that control about 4000 electronic boards. The architecture of this system is described using the industry-standard Universal Modeling Language (UML). This way the relationships between the different subcomponents of the system become clear and all software upgrades and modifications are simplified. The described architecture has allowed for frequent upgrades that were necessary during the commissioning phase of CMS when the trigger system evolved constantly. As a secondary objective, the paper provides a UML usage example and tries to encourage the standardization of the software documentation of large projects across the LHC and High Energy Physics community.

255

Community detection by graph Voronoi diagrams

Accurate and efficient community detection in networks is a key challenge for complex network theory and its applications. The problem is analogous to cluster analysis in data mining, a field rich in metric space-based methods. Common to these methods is a geometric, distance-based definition of clusters or communities. Here we propose a new geometric approach to graph community detection based on graph Voronoi diagrams. Our method serves as proof of principle that the definition of appropriate distance metrics on graphs can bring a rich set of metric space-based clustering methods to network science. We employ a simple edge metric that reflects the intra- or inter-community character of edges, and a graph density-based rule to identify seed nodes of Voronoi cells. Our algorithm outperforms most network community detection methods applicable to large networks on benchmark as well as real-world networks. In addition to offering a computationally efficient alternative for community detection, our method opens new avenues for adapting a wide range of data mining algorithms to complex networks from the class of centroid- and density-based clustering methods.

Deritei, Dávid; Lázár, Zsolt I.; Papp, István; Járai-Szabó, Ferenc; Sumi, Róbert; Varga, Levente; Ravasz Regan, Erzsébet; Ercsey-Ravasz, Mária

2014-06-01

256

Diagram genus, generators and applications

We continue the study of the genus of knot diagrams, deriving a new description of generators using Hirasawa's algorithm. This description leads to good estimates on the maximal number of crossings of generators and allows us to complete their classification for knots of genus 4. As applications of the genus 4 classification, we establish non-triviality of the skein polynomial on $k$-almost positive knots for $k\\le 4$, and of the Jones polynomial for $k\\le 3$. For $k\\le 4$, we classify the occurring achiral knots, and prove a trivializability result for $k$-almost positive unknot diagrams. This yields also estimates on the number of unknotting Reidemeister moves. We describe the positive knots of signature (up to) 4. Using a study of the skein polynomial, we prove the exactness of the Morton-Williams-Franks braid index inequality and the existence of a minimal string Bennequin surface for alternating knots up to genus 4. We also prove for such knots conjectures of Hoste and Fox about the roots and coefficient...

Stoimenow, A

2011-01-01

257

Solving Asymmetric Decision Problems with Influence Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

While influence diagrams have many advantages as a representation framework for Bayesian decision problems, they have a serious drawback in handling asymmetric decision problems. To be represented in an influence diagram, an asymmetric decision problem must be symmetrized. A considerable amount of unnecessary computation may be involved when a symmetrized influence diagram is evaluated by conventional algorithms. In this paper we present an approach for avoiding such unneces...

Qi, Runping; Zhang, Nevin Lianwen; Poole, David L.

2013-01-01

258

A note on irreducible Heegaard diagrams

Directory of Open Access Journals (Sweden)

Full Text Available We construct a Heegaard diagram of genus three for the real projective 3-space, which has no waves and pairs of complementary handles. The first example was given by Im and Kim but our diagram has smaller complexity. Furthermore the proof presented here is quite different to that of the quoted authors, and permits also to obtain a simple alternative proof of their result. Examples of irreducible Heegaard diagrams of certain connected sums complete the paper.

Alberto Cavicchioli

2006-07-01

259

A note on irreducible Heegaard diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

We construct a Heegaard diagram of genus three for the real projective 3-space, which has no waves and pairs of complementary handles. The first example was given by Im and Kim but our diagram has smaller complexity. Furthermore the proof presented here is quite different to that of the quoted authors, and permits also to obtain a simple alternative proof of their result. Examples of irreducible Heegaard diagrams of certain connected sums complete the paper.

Alberto Cavicchioli; Fulvia Spaggiari

2006-01-01

260

Nonparametric statistics of the quasar hubble diagrams

International Nuclear Information System (INIS)

A set of new, relatively general, and assumption-free statistical methods (described elsewhere) are used to derive information on the quasar luminosity function (LF) and distance-redshift relation from the optical and radio Hubble diagrams for 119 3CR and 4C quasars. The radio Hubble diagram is consistent with any distance-redshift relation, suggesting that there is no characteristic quasar radio luminosity. The optical Hubble diagram is consistent with three possibilities: (1)26 law

261

Bases of Schur algebras associated to cellularly stratified diagram algebras

We examine homomorphisms between induced modules for a certain class of cellularly stratified diagram algebras, including the BMW algebra, Temperley-Lieb algebra, Brauer algebra, and (quantum) walled Brauer algebra. We define the `permutation' modules for these algebras, these are one-sided ideals which allow us to study the diagrammatic Schur algebras of Hartmann, Henke, Koenig and Paget. We construct bases of these Schur algebras in terms of modified tableaux. On the way we prove that the (quantum) walled Brauer algebra and the Temperley-Lieb algebra are both cellularly stratified and therefore have well-defined Specht filtrations.

Bowman, C

2011-01-01

262

Merging Object and Process Diagrams for Business Information Modeling

While developing an information system for the University of Bern, we were faced with two major issues: managing software changes and adapting Business Information Models. Software techniques well-suited to software development teams exist, yet the models obtained are often too complex for the business user. We will first highlight the conceptual problems encountered while designing the Business Information Model. We will then propose merging class diagrams and business process modeling to achieve a necessary transparency. We will finally present a modeling tool we developed which, using pilot case studies, helps to show some of the advantages of a dual model approach.

Chénais, Patrick

2008-01-01

263

Hofstadter Butterfly Diagram in Noncommutative Space

We study an energy spectrum of electron moving under the constant magnetic field in two dimensional noncommutative space. It take place with the gauge invariant way. The Hofstadter butterfly diagram of the noncommutative space is calculated in terms of the lattice model which is derived by the Bopp's shift for space and by the Peierls substitution for external magnetic field. We also find the fractal structure in new diagram. Although the global features of the new diagram are similar to the diagram of the commutative space, the detail structure is different from it.

Takahashi, H; Takahashi, Hidenori; Yamanaka, Masanori

2006-01-01

264

Some remarks about underused Loedel diagrams

International Nuclear Information System (INIS)

We emphasize that it can be didactically very useful for students to realize how a space–time diagram of an observer, moving with a constant velocity with respect to another observer, can be obtained easily by means of a standard matrix of rotation, without recourse to imaginary axes and angles. These diagrams were introduced for the first time by Loedel and their main advantage over Minkowski diagrams is that a scale factor is not necessary to convert the units of an observer to those of another observer. We show this well-known property of Loedel diagrams using a new geometric approach. (paper)

265

Some remarks about underused Loedel diagrams

We emphasize that it can be didactically very useful for students to realize how a space-time diagram of an observer, moving with a constant velocity with respect to another observer, can be obtained easily by means of a standard matrix of rotation, without recourse to imaginary axes and angles. These diagrams were introduced for the first time by Loedel and their main advantage over Minkowski diagrams is that a scale factor is not necessary to convert the units of an observer to those of another observer. We show this well-known property of Loedel diagrams using a new geometric approach.

Benedetto, E.; Capriolo, M.; Feoli, A.; Tucci, D.

2013-01-01

266

Solving Hybrid Influence Diagrams with Deterministic Variables

We describe a framework and an algorithm for solving hybrid influence diagrams with discrete, continuous, and deterministic chance variables, and discrete and continuous decision variables. A continuous chance variable in an influence diagram is said to be deterministic if its conditional distributions have zero variances. The solution algorithm is an extension of Shenoy's fusion algorithm for discrete influence diagrams. We describe an extended Shenoy-Shafer architecture for propagation of discrete, continuous, and utility potentials in hybrid influence diagrams that include deterministic chance variables. The algorithm and framework are illustrated by solving two small examples.

Li, Yijing

2012-01-01

267

Variable stars across the observational HR diagram

International Nuclear Information System (INIS)

An overview of pulsating variable stars across the observational Hertzprung-Russel (HR) diagram is presented, together with a summary of their global properties. The HR diagram is presented with a third colour-coded dimension, visualizing the fraction of variable, the amplitude of variability or the period of variability. The distribution of variable stars in the other observational diagrams, such as the Period-Amplitude diagram, is also presented. Some of the progresses performed in the field of variable stars during the last decade are briefly summarized, and future projects that will improve our knowledge of variable stars are mentioned.

268

Unusual initial state interactions and Kinoshita diagram identities in perturbative QCD

International Nuclear Information System (INIS)

Unlike in QED, algebraic identities for individual single-cut Kinoshita diagrams with all soft gluons are generally violated by initial state spectator interactions in light-cone time-ordered perturbation theory. At g4 order, identities insuring IR cancellation for the real graphs considered by Bodwin, Brodsky and Lepage for ?? -> ?+?- + X when all gluons are soft can be obtained by summing over several of the corresponding single-cut diagrams. Although this fails for the two-loop virtuals' diagrams considered by BBL, summing over a larger class of possible two-loop virtual spectator interactions having two Glauber singularities does restore IR finiteness when both gluons are soft. For individual single-cut Kinoshita diagrams with an arbitrary number ladder exchanges, algebraic identities for the (Csub(F))sup(n/2) contribution from the initial state are derived. (orig.)

269

Thermal fluctuations and phase diagrams of the phase-field crystal model with pinning.

We study the influence of thermal fluctuations in the phase diagram of a recently introduced two-dimensional phase field crystal model with an external pinning potential. The model provides a continuum description of pinned lattice systems allowing for both elastic deformations and topological defects. We introduce a nonconserved version of the model and determine the ground-state phase diagram as a function of lattice mismatch and strength of the pinning potential. Monte Carlo simulations are used to determine the phase diagram as a function of temperature near commensurate phases. The results show a rich phase diagram with commensurate, incommensurate, and liquidlike phases with a topology strongly dependent on the type of ordered structure. A finite-size scaling analysis of the melting transition for the c(2x2) commensurate phase shows that the thermal correlation length exponent nu and specific heat behavior are consistent with the Ising universality class as expected from analytical arguments. PMID:18850995

Ramos, J A P; Granato, E; Achim, C V; Ying, S C; Elder, K R; Ala-Nissila, T

2008-09-01

270

A Regime Diagram for Subduction

Regime diagrams and associated scaling relations have profoundly influenced our understanding of planetary dynamics. Previous regime diagrams characterized the regimes of stagnant-lid, small viscosity contrast, transitional, and no-convection for temperature-dependent (Moresi and Solomatov, 1995), and non-linear power law rheologies (Solomatov and Moresi, 1997) as well as stagnant-lid, sluggish-lid, and mobile-lid regimes once the finite strength of rock was considered (Moresi and Solomatov, 1998). Scalings derived from such models have been the cornerstone for parameterized models of thermal evolution of rocky planets and icy moons for the past decade. While such a theory can predict the tectonic state of a planetary body, it is still rather incomplete in regards to predicting tectonics. For example, the mobile-lid regime is unspecific as to how continuous lithospheric recycling should occur on a terrestrial planet. Towards this goal, Gerya et al., (2008) advanced a new regime diagram aiming to characterize when subduction would manifest itself as a one-sided or two-sided downwelling and either symmetric or asymmetric. Here, we present a regime diagram for the case of a single-sided, asymmetric type of subduction (most Earth-like type). Using a 3-D numerical model of a free subduction, we describe a total of 5 different styles of subduction that can possibly occur. Each style is distinguished by its upper mantle slab morphology resulting from the sinking kinematics. We provide movies to illustrate the different styles and their progressive time-evolution. In each regime, subduction is accommodated by a combination of plate advance and slab rollback, with associated motions of forward plate velocity and trench retreat, respectively. We demonstrate that the preferred subduction mode depends upon two essential controlling factors: 1) buoyancy of the downgoing plate and 2) strength of plate in resisting bending at the hinge. We propose that a variety of subduction regimes are generated primarily as a product of two mechanisms. The first mechanism is that of the competition between the weight of the slab and the strength of the plate, which can be understood in terms of the applied bending moment, and this competition results in a particular radius of curvature (for which we provide a simple scaling theory). The second mechanism is the interaction between the slab and the more viscous lower mantle, which produces each regime's distinct slab morphology. Thus, the emergence of five distinct styles of subduction is a direct consequence of the presence of the modest barrier to flow into the lower mantle. Although only 2 of these styles presently operate on Earth, the possibility exists that other modes may have been the predominant mode in the past. Based on these models, we propose that the lithosphere is the primary factor in describing key elements of the plate tectonics system over time, rather than the convecting mantle. We discuss the various factors that may have influenced secular changes in Earth's tectonic behavior, some of which may have interesting consequences for the geochemical evolution of the Earth.

Stegman, D. R.; Farrington, R.; Capitanio, F. A.; Schellart, W. P.

2009-12-01

271

Phase diagram of ammonium nitrate

Ammonium Nitrate (AN) has often subjected to uses in improvised explosive devices, due to its wide availability as a fertilizer and its capability of becoming explosive with slight additions of organic and inorganic compounds. Yet, the origin of enhanced energetic properties of impure AN (or AN mixtures) is neither chemically unique nor well understood -resulting in rather catastrophic disasters in the past1 and thereby a significant burden on safety in using ammonium nitrates even today. To remedy this situation, we have carried out an extensive study to investigate the phase stability of AN at high pressure and temperature, using diamond anvil cells and micro-Raman spectroscopy. The present results confirm the recently proposed phase IV-to-IV' transition above 17 GPa2 and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400 °C.

Dunuwille, M.; Yoo, C. S.

2014-05-01

272

Phase diagram of ammonium nitrate

International Nuclear Information System (INIS)

Ammonium Nitrate (AN) is a fertilizer, yet becomes an explosive upon a small addition of chemical impurities. The origin of enhanced chemical sensitivity in impure AN (or AN mixtures) is not well understood, posing significant safety issues in using AN even today. To remedy the situation, we have carried out an extensive study to investigate the phase stability of AN and its mixtures with hexane (ANFO–AN mixed with fuel oil) and Aluminum (Ammonal) at high pressures and temperatures, using diamond anvil cells (DAC) and micro-Raman spectroscopy. The results indicate that pure AN decomposes to N2, N2O, and H2O at the onset of the melt, whereas the mixtures, ANFO and Ammonal, decompose at substantially lower temperatures. The present results also confirm the recently proposed phase IV-IV? transition above 17 GPa and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400°C

273

Multi-currency Influence Diagrams

DEFF Research Database (Denmark)

Solution of decision problems, which involve utilities of several currencies, have traditionally required the problems to be converted into decision problems involving utilities of only one currency. This conversion are carried out using a tacit transformation, under the assumption that the converted problem is equivalent to the original one. In this paper we present an extension of the Influence Diagram framework, which allows for these decision problems to be modelled in their original form. We present an algorithm that, given a conversion function between the currencies, discovers a characterization of all other such functions, which would give rise to the same optimal strategy. As this characterization can be complex, we give methods to present the functions in a more compact, but more inaccurate, manner

Nielsen, SØren Holbech; Nielsen, Thomas Dyhre

2004-01-01

274

FORMAL SPECIFICATION FOR REAL-TIME OBJECT ORIENTED SYSTEMS WITH UML DESIGN

Directory of Open Access Journals (Sweden)

Full Text Available Traditionally, real-time software system development focuses on low-level programming techniques to increase timeliness and operate within constraints; however, more recently higher-level, object-oriented methodologies are being used to create real-time software systems. This increase in object-oriented design for real- time systems is due to the improved use of active objects and concurrency in object-oriented languages. Real-time aspects have not only improved in many programming languages, but these real-time constraints are becoming more essential in general object-oriented software development. Consequently, the specification of real-time object-oriented systems is becoming important in software development processes. One of the many tools used to specify software is an executable specification language called Descartes. Descartes relates output data to input data as a function of the input data through a tree structure notation called "Hoare trees." This useful specification structure has been extended and supported for several types of systems since the language's creation in 1977. In particular, Descartes has been extended for the specification of real-time systems and for object-oriented designed systems. In spite of this, the combination of the two extensions for specification of real-time object oriented (RTOO systems has not been tested. Thus, the main objective was to validate that the combination of the two Descartes extensions either satisfied the needed specification for RTOO systems or that the language needed to be additionally extended. To gain further verification of these united Descartes extensions, the Unified Modeling Language (UML was used for comparison in aspects of design and effectiveness. In this research effort, UML 2.0, a widely used modeling language was used and analyzed to model security requirements along with the application requirements for real time object oriented systems. The outcome from this research effort was efficient modeling notations included to UML 2.0 modeling notations that can be used to specify security requirements in the beginning phase of software engineering, when application requirements are specified.

Benjamin D. Horne

2012-01-01

275

Universality classes for Coulomb frustrated phase separation

Digital Repository Infrastructure Vision for European Research (DRIVER)

We identify two "universality" classes in the Coulomb frustrated phase separation phenomenon. They correspond to two different kind of electronic compressibility anomalies often encountered in strongly correlated electronic systems. We discuss differences and similarities of their corresponding phase diagrams in two- and three-dimensional systems.

Ortix, C.; Lorenzana, J.; Di Castro, C.

2008-01-01

276

A Conceptual and UML models of procurement process for simulation framework

Directory of Open Access Journals (Sweden)

Full Text Available This paper presents a set of conceptual and UML models that can be used to construct a simulation framework of procurement process. Whereas the good control of this process is crucial as well it composes an interesting ratio of costs along the whole chain. For this purpose, we took into account the information and the material flows of the upstream supply chain that linking the manufacturer and its suppliers. Our contribution is to make a reusable and a modular pattern of procurement process, which is able to be configured and used for several manufacturer industries. In order to benchmark the different scenarios of each configuration and to furnish a decision aids tool, for the sake of the decision makers to obtain the right choices.

Abdessamad Douraid

2012-11-01

277

A UML 2.0 Profile to Model Block Cipher Algorithms

Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical information. To achieve higher performance, the security algorithms are usually implemented as dedicated hardware functional units attached to the main processing units of the embedded communication system. To save hardware resources, the designer usually performs a number of manipulations in the cipher algorithm lying at the core of the confidentiality and integrity operations to implement a simplified version of it that is suitable to be efficiently used in an embedded environment. This paper describes an extension to UML 2.0 to model the structure of contemporary block cipher algorithms, with the ultimate goal of synthesizing representations in a hardware description language from these models according to a model-driven development principle. This automated process should alleviate design complexity and increase the productivity of the developer during experimentation with different design alternatives.

Balderas-Contreras, Tomás; Rodriguez-Gomez, Gustavo; Cumplido, René

278

Reuse-based software development provides an opportunity for better quality and increased productivity in the software products. One of the most critical aspects of the quality of a software system is its performance. The systematic application of software performance engineering techniques throughout the development process can help to identify design alternatives that preserve desirable qualities such as extensibility and reusability while meeting performance objectives. In the present scenario, most of the performance failures are due to a lack of consideration of performance issues early in the development process, especially in the design phase. These performance failures results in damaged customer relations, lost productivity for users, cost overruns due to tuning or redesign, and missed market windows. In this paper, we propose UML based Performance Models for design assessment in a reuse based software development scenario.

Jasmine, K S

2009-01-01

279

A Trajectory UML profile For Modeling Trajectory Data: A Mobile Hospital Use Case

A large amount of data resulting from trajectories of moving objects activities are collected thanks to localization based services and some associated automated processes. Trajectories data can be used either for transactional and analysis purposes in various domains (heath care, commerce, environment, etc.). For this reason, modeling trajectory data at the conceptual level is an important stair leading to global vision and successful implementations. However, current modeling tools fail to fulfill specific moving objects activities requirements. In this paper, we propose a new profile based on UML in order to enhance the conceptual modeling of trajectory data related to mobile objects by new stereotypes and icons. As illustration, we present a mobile hospital use case.

Oueslati, Wided

2011-01-01

280

Tissue transglutaminase levels above 100 U/mL and celiac disease: A prospective study

Directory of Open Access Journals (Sweden)

Full Text Available AIM: To investigate whether a tissue-transglutaminase antibody (tTGA level ? 100 U/mL is sufficient for the diagnosis of celiac disease (CD. METHODS: Children suspected of having CD were prospectively included in our study between March 2009 and September 2011. All patients with immune globulin A deficiency and all patients on a gluten-free diet were excluded from the study. Anti-endomysium antibodies (EMA were detected by means of immunofluorescence using sections of distal monkey esophagus (EUROIMMUN, Luebeck, Germany. Serum anti-tTGA were measured by means of enzyme-linked immunosorbent assay using human recombinant tissue transglutaminase (ELiA Celikey IgA kit Phadia AB, Uppsala, Sweden. The histological slides were graded by a single experienced pathologist using the Marsh classification as modified by Oberhuber. Marsh II and III lesions were considered to be diagnostic for the disease. The positive predictive values (PPVs, negative predictive values (NPVs, sensitivity and specificity of EMA and tTGA along with their 95% CI (for the cut off values > 10 and ? 100 U/mL were calculated using histology as the gold standard for CD. RESULTS: A total of 183 children were included in the study. A total of 70 (38.3% were male, while 113 (61.7% were female. The age range was between 1.0 and 17.6 years, and the mean age was 6.2 years. One hundred twenty (65.6% patients had a small intestinal biopsy diagnostic for the disease; 3 patients had a Marsh II lesion, and 117 patients had a Marsh III lesion. Of the patients without CD, only 4 patients had a Marsh?I?lesion. Of the 183 patients, 136 patients were positive for EMA, of whom 20 did not have CD, yielding a PPV for EMA of 85% (95% CI: 78%-90% and a corresponding specificity of 68% (95% CI: 55%-79%. The NPV and specificity for EMA were 91% (95% CI: 79%-97% and 97% (95% CI: 91%-99%, respectively. Increased levels of tTGA were found in 130 patients, although only 116 patients truly had histological evidence of the disease. The PPV for tTGA was 89% (95% CI: 82%-94%, and the corresponding specificity was 78% (95% CI: 65%-87%. The NPV and sensitivity were 92% (95% CI: 81%-98% and 97% (95% CI: 91%-99%, respectively. A tTGA level ? 100 U/mL was found in 87 (47.5% patients, all of whom were also positive for EMA. In all these 87 patients, epithelial lesions confirming CD were found, giving a PPV of 100% (95%CI: 95%-100%. The corresponding specificity for this cut-off value was also 100% (95% CI: 93%-100%. Within this group, a total of 83 patients had symptoms, at least gastrointestinal and/or growth retardation. Three patients were asymptomatic but were screened because they belonged to a group at risk for CD (diabetes mellitus type 1 or positive family history. The fourth patient who lacked CD-symptoms was detected by coincidence during an endoscopy performed for gastro-intestinal bleeding. CONCLUSION: This study confirms based on prospective data that a small intestinal biopsy is not necessary for the diagnosis of CD in symptomatic patients with tTGA ? 100 U/mL.

Amani Mubarak

2012-01-01

281

Phase diagram and critical exponents of a Potts gauge glass

The two-dimensional q-state Potts model is subjected to a Zq symmetric disorder that allows for the existence of a Nishimori line. At q=2, this model coincides with the +/-J random-bond Ising model. For q>2, apart from the usual pure- and zero-temperature fixed points, the ferro/paramagnetic phase boundary is controlled by two critical fixed points: a weak disorder point, whose universality class is that of the ferromagnetic bond-disordered Potts model, and a strong disorder point which generalizes the usual Nishimori point. We numerically study the case q=3, tracing out the phase diagram and precisely determining the critical exponents. The universality class of the Nishimori point is inconsistent with percolation on Potts clusters.

Jacobsen, Jesper Lykke; Picco, Marco

2002-02-01

282

Phase diagram and critical exponents of a Potts gauge glass

The two-dimensional q-state Potts model is subjected to a Z_q symmetric disorder that allows for the existence of a Nishimori line. At q=2, this model coincides with the +/- J random-bond Ising model. For q>2, apart from the usual pure and zero-temperature fixed points, the ferro/paramagnetic phase boundary is controlled by two critical fixed points: a weak disorder point, whose universality class is that of the ferromagnetic bond-disordered Potts model, and a strong disorder point which generalizes the usual Nishimori point. We numerically study the case q=3, tracing out the phase diagram and precisely determining the critical exponents. The universality class of the Nishimori point is inconsistent with percolation on Potts clusters.

Lykke-Jacobsen, J; Jacobsen, Jesper Lykke; Picco, Marco

2002-01-01

283

Reading fitness landscape diagrams through HSAB concepts

Fitness landscapes are conceived as range of mountains, with local peaks and valleys. In terms of potential, such topographic variations indicate places of local instability or stability. The chemical potential, or electronegativity, its value changed of sign, carries similar information. In addition to chemical descriptors defined through hard-soft acid-base (HSAB) concepts and computed through density functional theory (DFT), the principles that rule chemical reactions allow the design of such landscape diagrams. The simplest diagram uses electrophilicity and hardness as coordinates. It allows examining the influence of maximum hardness or minimum electrophilicity principles. A third dimension is introduced within such a diagram by mapping the topography of electronegativity, polarizability or charge exchange. Introducing charge exchange during chemical reactions, or mapping a third parameter (f.i. polarizability) reinforces the information carried by a simple binary diagram. Examples of such diagrams are provided, using data from Earth Sciences, simple oxides or ligands.

Vigneresse, Jean-Louis

2014-10-01

284

Operations space diagram for ECRH and ECCD

A Clemmov-Mullaly-Allis (CMA) type diagram, the ECW-CMA diagram, for representing the operational possibilities of electron cyclotron heating and current drive (ECRH/ECCD) systems for fusion plasmas is presented. In this diagram, with normalized density and normalized magnetic field coordinates, the parameter range in which it is possible to achieve a given task (e.g. O-mode current drive for stabilizing a neoclassical tearing mode) appears as a region. With also the Greenwald density limit shown, this diagram condenses the information on operational possibilities, facilitating the overview required at the design phase. At the operations phase it may also prove useful in setting up experimental scenarios by showing operational possibilities, avoiding the need for survey type ray-tracing at the initial planning stages. The diagram may also serve the purpose of communicating operational possibilities to non-experts. JET and ITER like plasmas are used, but the method is generic.

Bindslev, Henrik

2004-07-01

285

Persistence Diagrams and the Heat Equation Homotopy

Persistence homology is a tool used to measure topological features that are present in data sets and functions. Persistence pairs births and deaths of these features as we iterate through the sublevel sets of the data or function of interest. I am concerned with using persistence to characterize the difference between two functions f, g : M -> R, where M is a topological space. Furthermore, I formulate a homotopy from g to f by applying the heat equation to the difference function g-f. By stacking the persistence diagrams associated with this homotopy, we create a vineyard of curves that connect the points in the diagram for f with the points in the diagram for g. I look at the diagrams where M is a square, a sphere, a torus, and a Klein bottle. Looking at these four topologies, we notice trends (and differences) as the persistence diagrams change with respect to time.

Fasy, Brittany Terese

2010-01-01

286

Operations space diagram for ECRH and ECCD

DEFF Research Database (Denmark)

A Clemmov-Mullaly-Allis (CMA) type diagram, the ECW-CMA diagram, for representing the operational possibilities of electron cyclotron heating and current drive (ECRH/ECCD) systems for fusion plasmas is presented. In this diagram, with normalized density and normalized magnetic field coordinates, the parameter range in which it is possible to achieve a given task (e.g. O-mode current drive for stabilizing a neoclassical tearing mode) appears as a region. With also the Greenwald density limit shown, this diagram condenses the information on operational possibilities, facilitating the overview required at the design phase. At the operations phase it may also prove useful in setting up experimental scenarios by showing operational possibilities, avoiding the need for survey type ray-tracing at the initial planning stages. The diagram may also serve the purpose of communicating operational possibilities to non-experts. JET and ITER like plasmas are used, but the method is generic.

Bindslev, H.

2004-01-01

287

Phase diagram of ammonium nitrate

Energy Technology Data Exchange (ETDEWEB)

Ammonium Nitrate (AN) is a fertilizer, yet becomes an explosive upon a small addition of chemical impurities. The origin of enhanced chemical sensitivity in impure AN (or AN mixtures) is not well understood, posing significant safety issues in using AN even today. To remedy the situation, we have carried out an extensive study to investigate the phase stability of AN and its mixtures with hexane (ANFO–AN mixed with fuel oil) and Aluminum (Ammonal) at high pressures and temperatures, using diamond anvil cells (DAC) and micro-Raman spectroscopy. The results indicate that pure AN decomposes to N{sub 2}, N{sub 2}O, and H{sub 2}O at the onset of the melt, whereas the mixtures, ANFO and Ammonal, decompose at substantially lower temperatures. The present results also confirm the recently proposed phase IV-IV{sup ?} transition above 17 GPa and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400°C.

Dunuwille, Mihindra; Yoo, Choong-Shik, E-mail: csyoo@wsu.edu [Department of Chemistry and Institute for Shock Physics, Washington State University, Pullman, Washington 99164 (United States)

2013-12-07

288

Exploring the QCD phase diagram

Lattice simulations employing reweighting and Taylor expansion techniques have predicted a (\\mu,T)-phase diagram according to general expectations, with an analytic quark-hadron crossover at \\mu=0 turning into a first order transition at some critical chemical potential \\mu_E. By contrast, recent simulations using imgainary \\mu followed by analytic continuation obtained a critical structure in the {m_{u,d},m_s,T,\\mu} parameter space favouring the absence of a critical point and first order line. I review the evidence for the latter scenario, arguing that the various raw data are not inconsistent with each other. Rather, the discrepancy appears when attempting to extract continuum results from the coarse (N_t=4) lattices simulated so far, and can be explained by cut-off effects. New (as yet unpublished) data are presented, which for N_f=3 and on N_t=4 confirm the scenario without a critical point. Moreover, simulations on finer N_t=6 lattices show that even if there is a critical point, continuum extrapolation...

Philipsen, Owe

2007-01-01

289

Digital Repository Infrastructure Vision for European Research (DRIVER)

O desenvolvimento de sistemas automatizados de informações, que apóiam as atividades de projeto e manufatura de produtos, deve seguir um modelo como referência para permitir uma melhor compatibilidade e portabilidade de tais sistemas, principalmente quando inseridos num ambiente integrado de engenharia concorrente. Este artigo demonstra como a Linguagem de Modelagem Unificada (UML) pode ser aplicada em conjunto com o Modelo de Referência para Processamento Distribuído Aberto (ISO/RM-ODP...

Carlos Alberto Costa

2001-01-01

290

Phase diagrams of self-organizing maps

We present a method which allows the analytic determination of phase diagrams in the self-organizing map, a model for the formation of topographic projection patterns in the brain and in signal processing applications. The method only requires an ansatz for the tesselation of the data space induced by the map, not for the explicit state of the map. We analytically obtain phase diagrams for various examples, including models for the development of orientation and ocular-dominance maps. The latter phase diagram exhibits transitions to broadening ocular-dominance patterns as observed in a recent experiment.

Bauer, H.-U.; Riesenhuber, M.; Geisel, T.

1996-09-01

291

Inhomogeneous phases in the QCD phase diagram

International Nuclear Information System (INIS)

We study the phase diagram of QCD by allowing for one-dimensional spatial modulations within NJL-type models, developing our formalism starting from well established analytical results. We find that the first order phase transition line is completely covered by a region, delimited by second order transition lines, where these lower-dimensional inhomogeneous phases are energetically favored. First we describe our formalism and show our results for the phase diagram, then we look at how the onset of the inhomogeneous phase occurs by comparing density profiles of the system. Finally, we study the effects on the phase diagram of adding vector interactions and the coupling with the Polyakov loop.

292

An UML Approach to Overcome Issues of Concurrency in Distributed Systems

Directory of Open Access Journals (Sweden)

Full Text Available A Distributed System is a collection of Independent Computers that appears to its Users’ as a single entity or Single System. These Independent Systems collaborate together to achieve a common goal. They communicate with each other via a network. Concurrency is one common characteristic of Distributed Systems. They help in achieving parallelism. There are issues of Concurrency in Distributed Systems. The main intention of this research is to uncover the issues of Distributed Systems in its design phase so that the cost incurred in the later stages for detecting and rectifying those issues can be reduced. This paper discusses the issues of concurrency in Distributed System and proposes a model that overcomes the issues. Generally Distributed Systems are modeled using Deployment Diagrams but in this paper we discuss the drawbacks of using Deployment diagram in showing concurrency in Distributed System and we provide a model using the Object Diagrams that overcomes the listed Drawbacks.

Om Kumar

2013-04-01

293

Astrophysics implication of dense matter phase diagram

International Nuclear Information System (INIS)

I will discuss the ways that astrophysics can help us to understand the phase diagram of dense matter. The examples will include gravitational wave from compact stars, cooling of compact stars, and effects on vorticity on compact star dynamics. (author)

294

Diagram method in research on coadjoint orbits

We correspond to any factor algebra of the unitriangular Lie algebra with respect to a regular ideal some permutation. In terms of this permutation one can construct a diagram, that allows to calculate index and maximal dimension of coadjoint representation.

Panov, A N

2009-01-01

295

Extended Influence Diagrams for System Quality Analysis

Directory of Open Access Journals (Sweden)

Full Text Available Making major changes in enterprise information systems, such as large IT-investments, often have a significant impact on business operations. Moreover, when deliberating which IT-changes to make, the consequences of choosing a certain scenario may be difficult to grasp. One way to ascertain the quality of IT investment decisions is through the use of methods from decision theory. This paper proposes the use of one such method to facilitate IT-investment decision making, viz. extended influence diagrams. An extended influence diagram is a tool able to completely describe and analyse a decision situation. The applicability of extended influence diagrams is demonstrated at the end of the paper by using an extended influence diagram in combination with the ISO/IEC 9126 software quality characteristics and metrics as means to assist a decision maker in a decision regarding an IT-investment.

Pontus Johnson

2007-09-01

296

Free energy diagrams for protein function.

Simplified representations can be powerful. Two common examples are sequence logos and ribbon diagrams. Both have been extraordinarily successful in capturing complex static features of sequences and structures. Capturing function is challenging, since activation involves triggered dynamic shifts between ON and OFF states. Here, we show that simple funnel drawings can capture and usefully portray proteins by their cellular triggering mechanism. The funnel shape around the proteins' native states can describe mechanisms of upstream signal integration and downstream response. "Function diagrams" are important: they can combine diverse biochemical data to visually distinguish among activation (or recruitment) mechanisms and tag proteins in cellular networks, clarifying their mechanism at a glance. We create templates for function classification and suggest that they can extend signaling pathway maps. Of note, the diagrams describe free energy landscapes; thus, they can be quantified. We name our dynamic free-energy diagrams dFEDs. PMID:24508196

Nussinov, Ruth; Tsai, Chung-Jung

2014-03-20

297

On divisorial filtrations associated with Newton diagrams

We consider divisorial filtration on the rings of functions on hypersurface singularities associated with Newton diagrams and their analogues for plane curve singularities. We compute the multi-variable Poincar\\'e series for the latter ones.

Ebeling, Wolfgang

2010-01-01

298

An Introduction to Binary Decision Diagrams

DEFF Research Database (Denmark)

This note is a short introduction to Binary Decision Diagrams (BDDs). It provides some background knowledge and describes the core algorithms. It is used in the course "C4340 Advanced Algorithms" at the Technical University of Denmark, autumn 1996.

Andersen, Henrik Reif

1996-01-01

299

Contraction and decomposition matrices for vacuum diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

Tensor reduction of vacuum diagrams uses contraction and decomposition matrices. We present general recurrence relations for the calculation of those matrices and an explicit formula for the 3-loop decomposition matrix and its determinant.

Knecht, K.; Veschelde, H.

2001-01-01

300

Random Young diagrams in a Rectangular Box

Digital Repository Infrastructure Vision for European Research (DRIVER)

We exhibit the limit shape of random Young diagrams having a distribution proportional to the exponential of their area, and confined in a rectangular box. The Ornstein-Uhlenbeck bridge arises from the fluctuations around the limit shape.

Beltoft, Dan; Boutillier, Ce?dric; Enriquez, Nathanae?l

2010-01-01

301

An analysis of Newton's projectile diagram

Newton's famous mountain projectile diagram, reproduced in countless science books, is analysed in detail - mathematically, graphically, and historically - perhaps for the first time. A study of the relationship between this diagram from Newton's On the System of the World and the written texts on projectile motion in this book and in the Principia reveals an ambiguity in Newton's presentation. We propose an explanation of the ambiguity based on an exploration of its roots in Newton's thought.

Topper, D.; Vincent, D. E.

1999-01-01

302

A proposed Ontology to support Modeling Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available This paper investigates ontology. Ontology exhibits enormous potential in making software more efficient, adaptive, and intelligent. It is recognized as one of the areas which will bring the next breakthrough in software development. Ontology specifies a rich description of the terminology, concepts and properties explicitly defining concepts. Since understanding concepts and terms is one of the difficulties in modeling diagrams, this paper suggests an ontology aiming to identify some heavily used modelling diagrams concepts to make them easier to perform.

Nisreen Innab

2010-09-01

303

Cohomology of Oriented Tree Diagram Lie Algebras

Digital Repository Infrastructure Vision for European Research (DRIVER)

Xu introduced a family of root-tree-diagram nilpotent Lie algebras of differential operators, in connection with evolution partial differential equations. We generalized his notion to more general oriented tree diagrams. These algebras are natural analogues of the maximal nilpotent Lie subalgebras of finite-dimensional simple Lie algebras. In this paper, we use Hodge Laplacian to study the cohomology of these Lie algebras. The "total rank conjecture" and "$b_2$-conjecture" f...

Luo, Li

2008-01-01

304

Elementary diagrams in nuclear and neutron matter

International Nuclear Information System (INIS)

Variational calculations of nuclear and neutron matter are currently performed using a diagrammatic cluster expansion with the aid of nonlinear integral equations for evaluating expectation values. These are the Fermi hypernetted chain (FHNC) and single-operator chain (SOC) equations, which are a way of doing partial diagram summations to infinite order. A more complete summation can be made by adding elementary diagrams to the procedure. The simplest elementary diagrams appear at the four-body cluster level; there is one such E4 diagram in Bose systems, but 35 diagrams in Fermi systems, which gives a level of approximation called FHNC/4. We developed a novel technique for evaluating these diagrams, by computing and storing 6 three-point functions, Sxyz(r12, r13, r23), where xyz (= ccd, cce, ddd, dde, dee, or eee) denotes the exchange character at the vertices 1, 2, and 3. All 35 Fermi E4 diagrams can be constructed from these 6 functions and other two-point functions that are already calculated. The elementary diagrams are known to be important in some systems like liquid 3He. We expect them to be small in nuclear matter at normal density, but they might become significant at higher densities appropriate for neutron star calculations. This year we programmed the FHNC/4 contributions to the energy and tested them in a number of simple model cases, including liquid 3He and Bethe's hluding liquid 3He and Bethe's homework problem. We get reasonable, but not exact agreement with earlier published work. In nuclear and neutron matter with the Argonne v14 interaction these contributions are indeed small corrections at normal density and grow to only 5-10 MeV/nucleon at 5 times normal density

305

Electronic antiferromagnetic correlations in cuprates phase diagram

Digital Repository Infrastructure Vision for European Research (DRIVER)

Modern state-of-the-art techniques allow us to explore the magnetic and electronic structures of cuprates throughout the whole phase diagram, which defines the central questions on their emergent high temperature superconductivity. However, a simplified and unified description of the order parameters in these colorful phases together with their complex relations is still undetermined. Here we establish this phase diagram and the related structures based on recent experimenta...

Yin, J. -x

2013-01-01

306

Preliminary Study of Impulse-Momentum Diagrams

In this paper we present a new representation to help students learn about momentum, impulse and conservation of momentum which we call an Impulse-Momentum Diagram. We include a description of this diagram as well as examples of how instructors can use them in the classroom. Next we present preliminary quantitative and qualitative data of a study we conducted where students used these representations. Our final analysis shows how students benefited from these representations.

Rosengrant, David; Mzoughi, Taha

2009-01-24

307

Bifurcation diagrams for two substrate oscillatory systems

The bifurcation diagrams for the Mn 2+-malonic acid-H 2SO 4-KBrO 3 an Mn 2--oxaloacetic acid-H 2SO 4-KBrO 3 systems have been studied in a stirred tank reactor. Complex oscillations associated with a period-doubling bifurcation were found. Bifurcation diagrams for the two substrate malonic-citric and malonic-oxaloacetic acid systems were also determined.

Mase?ko, Jerzy

1983-08-01

308

Assessing-to-Learn Physics: Strobe Diagram

This web page contains a concept question for introductory physics on the use of strobe diagrams to demonstrate acceleration. Given four different diagrams, users must decide which objects are accelerating. This item can be used as a "Question of The Day" or with an electronic classroom response system (Clickers). Background information and tips to elicit critical thinking are also provided. This item is part of a larger library of similar questions, which may be searched by grade level and topic.

2008-11-18

309

The Voronoi diagram of circles made easy

DEFF Research Database (Denmark)

Proximity queries among circles could be effectively answered if the Delaunay graph for sets of circles could be computed in an efficient and exact way. In this paper, we first show a necessary and sufficient condition of connectivity of the Voronoi diagram of circles. Then, we show how the Delaunay graph of circles (the dual graph of the Voronoi diagram of circles) can be computed exactly, and in a much simpler way, by computing the eigenvalues of a two by two matrix.

Anton, François; Mioc, Darka

2007-01-01

310

For decades the central theoretical tool for computing scattering amplitudes has been the Feynman diagram. However, Feynman diagrams are just too slow, even on fast computers, to be able to go beyond the leading order in QCD, for complicated events with many jets of hadrons in the final state. Such events are produced copiously at the LHC, and constitute formidable backgrounds to many searches for new physics. Over the past few years, alternative methods that go beyond ...

CERN. Geneva

2013-01-01

311

ISS EPS Orbital Replacement Unit Block Diagrams

The attached documents are being provided to Switching Power Magazine for information purposes. This magazine is writing a feature article on the International Space Station Electrical Power System, focusing on the switching power processors. These units include the DC-DC Converter Unit (DDCU), the Bi-directional Charge/Discharge Unit (BCDU), and the Sequential Shunt Unit (SSU). These diagrams are high-level schematics/block diagrams depicting the overall functionality of each unit.

Schmitz, Gregory V.

2001-01-01

312

Value of Evidence on Influence Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper, we introduce evidence propagation operations on influence diagrams and a concept of value of evidence, which measures the value of experimentation. Evidence propagation operations are critical for the computation of the value of evidence, general update and inference operations in normative expert systems which are based on the influence diagram (generalized Bayesian network) paradigm. The value of evidence allows us to compute directly an outcome sensitivity,...

Ezawa, Kazuo J.

2013-01-01

313

Enumeration of many-body skeleton diagrams

The many-body dynamics of interacting electrons in condensed matter and quantum chemistry is often studied at the quasiparticle level, where the perturbative diagrammatic series is partially resummed. Based on Hedin's equations for self-energy, polarization, propagator, effective potential, and vertex function, dressed (skeleton) Feynman diagrams are enumerated. Such diagram counts provide useful simple checks for extensions of the theory for future realistic simulations.

Molinari, L. G.; Manini, N.

2006-06-01

314

Four-states phase diagram of proteins

A four states phase diagram for protein folding as a function of temperature and solvent quality is derived from an improved 2-d lattice model taking into account the temperature dependence of the hydrophobic effect. The phase diagram exhibits native, globule and two coil-type regions. In agreement with experiment, the model reproduces the phase transitions indicative of both warm and cold denaturations. Finally, it predicts transitions between the two coil states and a critical point.

Collet, O

2005-01-01

315

Calculating Voronoi diagrams using simple chemical reactions

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper overviews work on the use of simple chemical reactions to calculate Voronoi diagrams and undertake other related geometric calculations. This work highlights that this type of specialised chemical processor is a model example of a parallel processor. For example increasing the complexity of the input data within a given area does not increase the computation time. These processors are also able to calculate two or more Voronoi diagrams in parallel. Due to the spec...

Costello, Ben Lacy

2014-01-01

316

Presents a classroom activity in which students calculate the amount and types of trash thrown out by their class at school to investigate how much trash is generated, where it goes, and speculate about alternatives. Students need to be familiar with the concepts of weight, volume, and numbers. (MCO)

Chemecology, 1992

1992-01-01

317

An Extension of UML Modeling for Web Hypermedia Design: A Case Study

Directory of Open Access Journals (Sweden)

Full Text Available It is obvious that the design efforts taken in modeling web hypermedia application are significantly different to basic web information systems. The designs should emphasis on domain structure, complex processes and interactions, functions and operations, hyperlinks structure, and logical abstract presentation designs. This paper present and discuss the design of a web hypermedia application – a case study, called SLEX-Web application. It is a web hypermedia application of a faculty in university environment that offers general information and learning application to its users. The existence of complex processes and interactions are highlighted and taken as examples to present some of complexity issues arise in the design efforts. The main objective is to describe how those processes and interactions should be treated, modeled, and translated into user interface elements through the major design processes. A systematic UML-based design method, called Com+HDM is used as the medium of design approach and notations. Finally, this paper will summarize the design efforts by giving some arguments, lessons learned, and conclusions at the end of the paper.

Azrul Hazri Jantan

2012-01-01

318

Fishbone Diagrams: Organize Reading Content with a "Bare Bones" Strategy

Fishbone diagrams, also known as Ishikawa diagrams or cause-and-effect diagrams, are one of the many problem-solving tools created by Dr. Kaoru Ishikawa, a University of Tokyo professor. Part of the brilliance of Ishikawa's idea resides in the simplicity and practicality of the diagram's basic model--a fish's skeleton. This article describes how…

Clary, Renee; Wandersee, James

2010-01-01

319

Non Local Theories: New Rules for Old Diagrams

We show that a general variant of the Wick theorems can be used to reduce the time ordered products in the Gell-Mann & Low formula for a certain class on non local quantum field theories, including the case where the interaction lagrangian is defined in terms of twisted products. The only necessary modification is the replacement of the Stueckelberg-Feynman propagator by the general propagator (the ``contractor'' of Denk and Schweda) Script D(y-y';tau-tau')=(1/i)(Delta+(y-y') theta(tau-tau')+Delta+(y'-y)theta(tau'-tau)) where the violations of locality and causality are represented by the dependence of tau,tau' on other points, besides those involved in the contraction. This leads naturally to a diagrammatic expansion of the Gell-Mann & Low formula, in terms of the same diagrams as in the local case, the only necessary modification concerning the Feynman rules. The ordinary local theory is easily recovered as a special case, and there is a one-to-one correspondence between the local and non local contributions corresponding to the same diagrams, which is preserved while performing the large scale limit of the theory.

Piacitelli, Gherardo

2004-08-01

320

The Phase Diagram of Neutral Quark Matter

In this thesis, I study the phase diagram of dense, locally neutral three-flavor quark matter as a function of the strange quark mass, the quark chemical potential, and the temperature, employing a general nine-parameter ansatz for the gap matrix. I also study the phase diagram of dense, locally neutral three-flavor quark matter within the framework of a Nambu-Jona-Lasinio (NJL) model. In the analysis, dynamically generated quark masses are taken into account self-consistently. The phase diagram in the plane of temperature and quark chemical potential is presented. In addition, I study the effect of neutrino trapping on the phase diagram of dense, locally neutral three-flavor quark matter within the same NJL model. The phase diagrams in the plane of temperature and quark chemical potential, as well as in the plane of temperature and lepton-number chemical potential are presented. The implications of these results for the evolution of protoneutron stars are briefly discussed.

Ruester, S B

2006-01-01

321

On phase diagrams of magnetic reconnection

International Nuclear Information System (INIS)

Recently, “phase diagrams” of magnetic reconnection were developed to graphically organize the present knowledge of what type, or phase, of reconnection is dominant in systems with given characteristic plasma parameters. Here, a number of considerations that require caution in using the diagrams are pointed out. First, two known properties of reconnection are omitted from the diagrams: the history dependence of reconnection and the absence of reconnection for small Lundquist number. Second, the phase diagrams mask a number of features. For one, the predicted transition to Hall reconnection should be thought of as an upper bound on the Lundquist number, and it may happen for considerably smaller values. Second, reconnection is never “slow,” it is always “fast” in the sense that the normalized reconnection rate is always at least 0.01. This has important implications for reconnection onset models. Finally, the definition of the relevant Lundquist number is nuanced and may differ greatly from the value based on characteristic scales. These considerations are important for applications of the phase diagrams. This is demonstrated by example for solar flares, where it is argued that it is unlikely that collisional reconnection can occur in the corona

322

Interface in potts ferromagnet: phase diagram and critical exponents

International Nuclear Information System (INIS)

Within a real-space renormalisation-group framework, the q-state Potts ferromagnet is treated in a simple cubic lattice constituted by two different semi-infinite bulks (respectively characterized by the coupling constants J1 and J2) separated by a (1, 0, 0) interface (characterized by J sub(S)). The use of a rather sophisticated two-terminal cluster enables a quite reliable discussion of the phase diagram and its universality classes. Four physically different phases are obtained, namely the paramagnetic and the double-bulk and surface ferromagnetic ones. The critical surface contains a multicritical line (associated with J1 noy= J2) which in turn contains a special point associated with J1 = J2. (Author)

323

Hints for families of GRBs improving the Hubble diagram

As soon as their extragalactic origins were established, the hope to make Gamma - Ray Bursts (GRBs) standardizeable candles to probe the very high - z universe has opened the search for scaling relations between redshift independent observable quantities and distance dependent ones. Although some remarkable success has been achieved, the empirical correlations thus found are still affected by a significant intrinsic scatter which downgrades the precision in the inferred GRBs Hubble diagram. We investigate here whether this scatter may come from fitting together objects belonging to intrinsically different classes. To this end, we rely on a cladistics analysis to partition GRBs in homogenous families according to their rest frame properties. Although the poor statistics prevent us from drawing a definitive answer, we find that both the intrinsic scatter and the coefficients of the $E_{peak}$\\,-\\,$E_{iso}$ and $E_{peak}$\\,-\\,$L$ correlations significantly change depending on which subsample is fitted. It turns ...

Cardone, Vincenzo F

2013-01-01

324

Galaxy Emission Line Classification Using Three-dimensional Line Ratio Diagrams

Two-dimensional (2D) line ratio diagnostic diagrams have become a key tool in understanding the excitation mechanisms of galaxies. The curves used to separate the different regions—H II-like or excited by an active galactic nucleus (AGN)—have been refined over time but the core technique has not evolved significantly. However, the classification of galaxies based on their emission line ratios really is a multi-dimensional problem. Here we exploit recent software developments to explore the potential of three-dimensional (3D) line ratio diagnostic diagrams. We introduce the \\cal {ZQE} diagrams, which are a specific set of 3D diagrams that separate the oxygen abundance and the ionization parameter of H II region-like spectra and also enable us to probe the excitation mechanism of the gas. By examining these new 3D spaces interactively, we define the \\cal {ZE} diagnostics, a new set of 2D diagnostics that can provide the metallicity of objects excited by hot young stars and that cleanly separate H II region-like objects from the different classes of AGNs. We show that these \\cal {ZE} diagnostics are consistent with the key log [N II]/H? versus log [O III]/H? diagnostic currently used by the community. They also have the advantage of attaching a probability that a given object belongs to one class or the other. Finally, we discuss briefly why \\cal {ZQE} diagrams can provide a new way to differentiate and study the different classes of AGNs in anticipation of a dedicated follow-up study.

Vogt, Frédéric P. A.; Dopita, Michael A.; Kewley, Lisa J.; Sutherland, Ralph S.; Scharwächter, Julia; Basurah, Hassan M.; Ali, Alaa; Amer, Morsi A.

2014-10-01

325

International Nuclear Information System (INIS)

Structures submitted to a constant primary load and a cyclic (thermal) secondary load may for certain combinations of load ratio, geometry and material properties undergo ratchetting, i.e. a situation where the strains increase at each cycle of the applied thermal load until failure or prohibitively large accumulated deformations occur. This report resulting from CEC Study Contract RAP-054-UK having mainly fast breeder reactor applications in mind, discusses the so-called Brussels diagrams which are a practical tool for the designer for assessing a particular design situation with respect to ratchetting. Brussels diagrams show four regions: elastic, shakedown, reverse plasticity and ratchetting. The theory of Brussels diagrams is presented. It is the upper bound shakedown theory, specialized for axisymmetric shell elements and in which the upper bound is minimized by linear programming techniques. This theory is extended to the reverse plasticity region and has been implemented in two finite element axisymmetric shell programs which calculate a sequence of points on the ratchetting boundary. Three classes of problems are discussed: (i) The uniaxial transient Bree problem. (ii) The cylindrical tube subjected to axial load and stationary or moving temperature discontinuity. (iii) A range of Brussels diagrams for axisymmetric geometries and thermal loadings typical of LMFBRs. The discussion includes comparisons with some experiments and considerations on the sensitivity of the diagrams to the material assumptions

326

Intrinsic computation refers to how dynamical systems store, structure, and transform historical and spatial information. By graphing a measure of structural complexity against a measure of randomness, complexity-entropy diagrams display the different kinds of intrinsic computation across an entire class of systems. Here, we use complexity-entropy diagrams to analyze intrinsic computation in a broad array of deterministic nonlinear and linear stochastic processes, including maps of the interval, cellular automata, and Ising spin systems in one and two dimensions, Markov chains, and probabilistic minimal finite-state machines. Since complexity-entropy diagrams are a function only of observed configurations, they can be used to compare systems without reference to system coordinates or parameters. It has been known for some time that in special cases complexity-entropy diagrams reveal that high degrees of information processing are associated with phase transitions in the underlying process space, the so-called "edge of chaos." Generally, though, complexity-entropy diagrams differ substantially in character, demonstrating a genuine diversity of distinct kinds of intrinsic computation. PMID:19123616

Feldman, David P; McTague, Carl S; Crutchfield, James P

2008-12-01

327

Intrinsic computation refers to how dynamical systems store, structure, and transform historical and spatial information. By graphing a measure of structural complexity against a measure of randomness, complexity-entropy diagrams display the different kinds of intrinsic computation across an entire class of systems. Here, we use complexity-entropy diagrams to analyze intrinsic computation in a broad array of deterministic nonlinear and linear stochastic processes, including maps of the interval, cellular automata, and Ising spin systems in one and two dimensions, Markov chains, and probabilistic minimal finite-state machines. Since complexity-entropy diagrams are a function only of observed configurations, they can be used to compare systems without reference to system coordinates or parameters. It has been known for some time that in special cases complexity-entropy diagrams reveal that high degrees of information processing are associated with phase transitions in the underlying process space, the so-called "edge of chaos." Generally, though, complexity-entropy diagrams differ substantially in character, demonstrating a genuine diversity of distinct kinds of intrinsic computation.

Feldman, David P.; McTague, Carl S.; Crutchfield, James P.

2008-12-01

328

Typical 101 courses discourage many students from pursuing higher level science and math courses. Introductory classes in science and math serve largely as a filter, screening out all but the most promising students, and leaving the majority of college graduates—including most prospective teachers—with little understanding of how science works, according to a study conducted for the National Science Foundation. Because few teachers, particularly at the elementary level, experience any collegiate science teaching that stresses skills of inquiry and investigation, they simply never learn to use those methods in their teaching, the report states.

White, M. Catherine

329

The plutonium-oxygen phase diagram

International Nuclear Information System (INIS)

Identification of products formed by the reaction of plutonium metal with liquid water at 23 degree C indicates that the plutonium-oxygen phase diagram is similar to the cerium-oxygen and praseodymium-oxygen diagrams. Quantitative measurements of H2 formation and analytical data suggest that a sequence of hydrolysis reactions produces oxide hydrides of trivalent plutonium, Pu2O3, mixed-valent oxides and PuO2. The intermediate oxides are the n = 7, 9, 10 and 12 members of the PunO2n-2 homologous series. Properties of the residue formed by thermal decomposition of the initial hydrolysis product, plutonium monoxide monhydride (PuOH), are consistent with the formation of metastable plutonium monoxide. Crystal-chemical, thermodynamic, and kinetic factors are evaluated, but definitive assignment of the equilibrium Pu-O diagram is not possible. 22 refs., 6 figs., 1 tab

330

Phase diagrams of diluted transverse Ising nanowire

International Nuclear Information System (INIS)

In this paper, the phase diagrams of diluted Ising nanowire consisting of core and surface shell coupling by Jcs exchange interaction are studied using the effective field theory with a probability distribution technique, in the presence of transverse fields in the core and in the surface shell. We find a number of characteristic phenomena. In particular, the effect of concentration c of magnetic atoms, the exchange interaction core/shell, the exchange in surface and the transverse fields in core and in surface shell of phase diagrams are investigated. - Highlights: ? We use the EFT to investigate the phase diagrams of Ising transverse nanowire. ? Ferrimagnetic and ferromagnetic cases are investigated. ? The effects of the dilution and the transverse fields in core and shell are studied. ? Behavior of the transition temperature with the exchange interaction is given

331

Techniques for Calculating two-loop Diagrams

Methods developed by the Bielefeld-DESY-Dubna collaboration in recent years are: DIANA (DIagram ANAlyser), a program to produce ``FORM input'' for Feynman diagrams, starting from the Feynman rules; methods to calculate scalar diagrams: Taylor expansion in small momenta squared in connection with a mapping and the Padé method to sum the series. Recently program packages for the large mass expansion were written and applied to the $Z \\to b\\bar{b}$ decay. Reviews of these activities were presented in the proceedings of the Ustro\\'{n} '97 and Rheinsberg '98 conferences. Here we concentrate on recent developements in the large mass expansion, applied to the two-loop contribution of the $Z \\to b\\bar{b}$ decay in the $m_b=0$ approximation, taking into account higher order terms of the expansion in $M_W^2/m_t^2$.

Fleischer, J

1999-01-01

332

On phase diagram of boron nitride

International Nuclear Information System (INIS)

Thermodynamic calculation of BNh ? BNsph equilibrium curve is conducted using the experimentally obtained BNsph formation enthalpy value as well as data on temperature dependences of (4-300 K) heat capacity and (300-1600 K) enthalpy of BN sph. monocrystals (h-hexagonal crystal lattice sph-sphalerite type cubic lattice). The calculation has shown that boron nitride phase diagram low-temperature region differs basically from the respective region in the carbon diagram. Under normal conditions BNsph appears to be a stable modification in contrast to BNh. At p=0.1 MPa BNsph appears to be a stable modification up to the temperature of up to ? 160 K. Calculations of BNw ? BNsph and BNw ? BNh equilibrium curves allowed one to make a preliminary conclusion concerning the absence of BNw stability region in the BN phase diagram (w-type of wurtzite)

333

Solvable lattice models labelled by Dynkin diagrams

An equivalence between generalised restricted solid-on-solid (RSOS) models, associated with sets of graphs, and multi-colour loop models is established. As an application we consider solvable loop models and in this way obtain new solvable families of critical RSOS models. These families can all be classified by the Dynkin diagrams of the simply-laced Lie algebras. For one of the RSOS models, labelled by the Lie algebra pair (A$_L$,A$_L$) and related to the C$_2^{(1)}$ vertex model, we give an off-critical extension, which breaks the Z$_2$ symmetry of the Dynkin diagrams.

Warnaar, O; Warnaar, Ole; Nienhuis, Bernard

1993-01-01

334

Thermal Bubble Diagrams Near Zero Energy

Digital Repository Infrastructure Vision for European Research (DRIVER)

The zero four-momentum and equal mass limits are taken for the bubble diagram of scalar fields. It is seen that RTF and ITF are in complete agreement. However contributions from this diagram to both retarded and time-ordered functions do depend on the order of the limits and can be infinite in some cases. This shows explicitly that the relation between the free energy and a derivative expansion of a thermal effective action is generally much more complicated that is the case...

Evans, Ts

1993-01-01

335

Phase diagram of silicon from atomistic simulations.

In this Letter we present a calculation of the temperature-pressure phase diagram of Si in a range of pressures covering from -5 to 20 GPa and temperatures up to the melting point. The phase boundaries and triple points between the diamond, liquid, beta-Sn, and Si34 clathrate phases are reported. We have employed efficient simulation techniques to calculate free energies and to numerically integrate the Clausius-Clapeyron equation, combined with a tight-binding model capable of an accuracy comparable to that of first-principles methods. The resulting phase diagram agrees well with the available experimental data. PMID:15783976

Kaczmarski, M; Bedoya-Martínez, O N; Hernández, E R

2005-03-11

336

Fusion Diagrams in the - and - Systems

A calculation model of the Gibbs energy of ternary oxide compounds from the binary components was used. Thermodynamic properties of -- ternary systems in the condensed state were calculated. Thermodynamic data of binary and ternary compounds were used to determine the stable sections. The probability of reactions between the corresponding components in the -- system was estimated. Fusibility diagrams of systems - and - were studied by physical-chemical analysis. The isothermal section of the phase diagram of -- at 298 K is built, as well as the projection of the liquid surface of --.

Asadov, M. M.; Akhmedova, N. A.

2014-10-01

337

HIP phase diagram of YBCO type superconductor

International Nuclear Information System (INIS)

This paper discusses the oxygen and partial pressure - temperature phase diagram of YBCO type superconductors reported before by the authors, which showed that YBa2Cu4Ox phase formation from Y2Ba4Cu7Oz with CuO, as well as from YBa2Cu3Oy with CuO are oxidation reactions. The total gas pressure - temperature phase diagram shows that the YBa2Cu4Ox with CuO increases with increasing the total gas pressure. On this phase boundary line, the fugacity of oxygen increases with increasing the total gas pressure even at constant oxygen partial pressure

338

Phase diagram of silicon from atomistic simulations

In this letter we present a calculation of the temperature-pressure phase diagram of Si in a range of pressures covering from -5 to 20 GPa and temperatures up to the melting point. The phase boundaries and triple points between the diamond, liquid, $\\beta$-Sn and ${Si}_{34}$ clathrate phases are reported. We have employed efficient simulation techniques to calculate free energies and to numerically integrate the Clausius-Clapeyron equation, combined with a tight binding model capable of an accuracy comparable to that of first-principles methods. The resulting phase diagram agrees well with the available experimental data.

Kaczmarski, M; Hernandez, E R

2005-01-01

339

A Connection diagram of power control system

International Nuclear Information System (INIS)

This book contains connection diagrams of power control system. The contents of this book are connection of main circuit, connection of electric machine devices, connection of instrument transformer, selection method of control cable and connection, connection of computing circuit, connection of automatic controller, connection of control power circuit, connection of protective relay circuit, connection of closed distribution center, connection of power control device, connection of calculator devices, practical case of power connection in the generator and practical case of power connection in the substation. This is the second book of the power connection diagram series.

340

Phase diagrams of quenched titanium alloys

International Nuclear Information System (INIS)

Problems of formation of phase composition at quenching of Ti-Al-V system alloys from ?- and (?+?) -regions are considered. In contrast to the known theoretical metastable diagrams of ternary systems, new phase regions in which there is metastable ?-phase nonstable relative to applied stress or plastic strain, are ascertained. For VT16 and VT23 industrial titanium alloys the following diagrams are plotted: phase composition after quenching - heating temperature for quenching - holding time, taking into account completeness of ??? transformation at heating for quenching. On the basis of determined regularities classification of industrial (?+?)-titanium alloys is redetermined according to phase composition and structure in quenched state

341

Vertex Models and Random Labyrinths: Phase Diagrams for Ice-type Vertex Models

We propose a simple geometric recipe for constructing phase diagrams for a general class of vertex models obeying the ice rule. The disordered phase maps onto the intersecting loop model which is interesting in its own right and is related to several other statistical mechanical models. This mapping is also useful in understanding some ordered phases of these vertex models as they correspond to the polymer loop models with cross-links in their vulcanised phase.

Shtengel, K; Shtengel, Kirill

2004-01-01

342

Anisotropic Young diagrams and Jack symmetric functions

We study the Young graph with edge multiplicities arising in a Pieri-type formula for Jack symmetric polynomials $P_\\mu(x;a)$ with a parameter $a$. Starting with the empty diagram, we define recurrently the `dimensions' New proofs are given for two known results. The first is the $a$-hook formula for $\\dim_a$, first found by R.Stanley. Secondly, we prove (for all complex $u$ and $v$) a generalization of the identity immediate successors of a Young diagram $\\mu$ with $n$ boxes. Here $c(b)$ is the content of a new box $b$. The identity is known to imply the existence of an interesting family of positive definite central functions on the infinite symmetric group. The approach is based on the interpretation of a Young diagram as a pair of interlacing sequences, so that analytic techniques may be used to solve combinatorial problems. We show that when dealing with Jack polynomials $P_\\mu(x;a)$, it makes sense to consider `anisotropic' Young diagrams made of rectangular boxes of size $1\\times a$.

Kerov, S V

1997-01-01

343

Mixed wasted integrated program: Logic diagram

International Nuclear Information System (INIS)

The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development's Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR)

344

Fission stability diagram of 240Pu

Digital Repository Infrastructure Vision for European Research (DRIVER)

We have used an axially symmetric deformed Thomas-Fermi model to evaluate the fission barrier of 240Pu as a function of the quadrupole moment Q2 for different values of the angular momentum L and temperature T. The fission stability diagram of this nucleus is investigated.

Garcias, Francisca; Barranco Go?mez, Manuel; Wio, Horacio S.; Ngo?, Christian; Nemeth, J.

1989-01-01

345

Shockwave Physics Studios: Free Body Diagrams

This interactive activity, part of The Physics Classroom tutorial collection, provides self-directed practice in constructing free-body diagrams. Twelve descriptions of physical situations are presented; the goal is to determine the type and relative magnitude of the forces acting upon the described object. Additional help is provided with one click on "Web Help".

Henderson, Tom

2011-09-27

346

The Starfish Diagram: Statistical visualization tool

The Starfish Diagram is a statistical visualization tool that simultaneously displays the properties of an individual and its parent sample through a series of histograms. The code is useful for large datasets for which one needs to understand the standing or significance of a single entry.

Konstantopoulos, Iraklis S.

2014-07-01

347

Phase diagram of the Z(4)-model

International Nuclear Information System (INIS)

Systems with Z(4) global symmetry defined on a square lattice are studied both by Monte Carlo simulations and by the Migdal-Kadanoff renormalization group scheme. A phase diagram is obtained with quantitative predictions as to the location of the boundaries between the different phases. Four distinct phases are observed. (Author)

348

Ferromagnetic phase diagram of neutron matter

Digital Repository Infrastructure Vision for European Research (DRIVER)

The magnetic properties of matter under extreme conditions are of particular importance to understanding the neutron star interior. One contributing factor to the magnetic field of a neutron star could be the ferromagnetic phase of nuclear matter. In this letter we present a self-consistent, relativistic description of ferromagnetism in dense matter, within which the ferromagnetic phase diagram for neutron matter is calculated.

Diener, J. P. W.; Scholtz, F. G.

2010-01-01

349

Parallel Computation of Feynman diagrams with DIANA

Digital Repository Infrastructure Vision for European Research (DRIVER)

Co-operation of the Feynman DIagram ANAlyzer (DIANA) with the underlying operational system (UNIX) is presented. We discuss operators to run external commands and a recent development of parallel processing facilities and an extension in the spirit of a component model.

Tentyukov, M.; Fleischer, J.

2003-01-01

350

Weight diagram construction of Lax operators

Energy Technology Data Exchange (ETDEWEB)

We review and expand methods introduced in our previous paper. It is proved that cyclic weight diagrams corresponding to representations of affine Lie algebras allow one to construct the associated Lax operator. The resultant Lax operator is in the Miura-like form and generates the modified KdV equations. The algorithm is extended to the super-symmetric case.

Carbon, S.L.; Piard, E.J.

1991-10-01

351

Drawing conformal diagrams for a fractal landscape

International Nuclear Information System (INIS)

Generic models of cosmological inflation and the recently proposed scenarios of a recycling universe and the string theory landscape predict spacetimes whose global geometry is a stochastic, self-similar fractal. To visualize the complicated causal structure of such a universe, one usually draws a conformal (Carter-Penrose) diagram. I develop a new method for drawing conformal diagrams, applicable to arbitrary 1+1-dimensional spacetimes. This method is based on a qualitative analysis of intersecting lightrays and thus avoids the need for explicit transformations of the spacetime metric. To demonstrate the power and simplicity of this method, I present derivations of diagrams for spacetimes of varying complication. I then apply the lightray method to three different models of an eternally inflating universe (scalar-field inflation, recycling universe, and string theory landscape) involving the nucleation of nested asymptotically flat, de Sitter and/or anti-de Sitter bubbles. I show that the resulting diagrams contain a characteristic fractal arrangement of lines

352

Influence diagram in evaluating the subjective judgment

International Nuclear Information System (INIS)

The author developed the idea of the subjective influence diagrams to evaluate subjective judgment. The subjective judgment of a stake holder is a primary decision making proposition. It involves a basic decision process an the individual attitude of the stake holder for his decision purpose. The subjective judgment dominates the some final decisions. A complex decision process may include the subjective judgment. An influence diagram framework is a simplest tool for analyzing subjective judgment process. In the framework, the characters of influence diagrams generate the describing the analyzing, and the evaluating of the subjective judgment. The relationship between the information and the decision, such as independent character between them, is the main issue. Then utility function is the calculating tool to evaluation, the stake holder can make optimal decision. Through the analysis about the decision process and relationship, the building process of the influence diagram identically describes the subjective judgment. Some examples are given to explain the property of subjective judgment and the analysis process

353

The Keynesian Diagram: A Cross to Bear?

In elementary economics courses students are often introduced to the basic concepts of macroeconomics through very simplified static models, and the concept of a macroeconomic equilibrium is generally explained with the help of an aggregate demand/aggregate supply (AD/AS) model and an income/expenditure model (via the Keynesian cross diagram).…

Fleck, Juergen

354

Phase diagrams of mixed carbide fuel system

International Nuclear Information System (INIS)

The mixed carbide fuel with impurities of oxygen and nitrogen is a biphasic system. The equilibrium phase compositions and phase fields change with change in carbon, oxygen and nitrogen content, Pu/U ratio and temperature. Based on mass balance and Gibbs energy data, phase diagrams of (U,Pu)-C-N-O system were calculated at different temperatures. (author)

355

NTNU Java: Free-Body Force Diagram

This applet illustrates the forces on a block on an inclined plane. A free-body diagram shows the gravitational, normal, frictional and net force vectors. The weight, angle of the plane, and coefficient of friction can be changed by the user. The user can also apply an external force to the block. The motion resulting from the forces is not shown.

Hwang, Fu-Kwun

2005-02-07

356

Diagrammatic methods for spinors in Feynman diagrams

International Nuclear Information System (INIS)

We introduce new graphical methods which simplify the manipulation of group-theoretic factors involving spinors which arise, for example, in the evaluation of Feynman diagrams. These methods are applicable to both internal and Poincare symmetries, and form a natural extension of previous techniques for fundamental and adjoint representations, which are also reviewed in this paper

357

Order parameters and phase diagrams of multiferroics

International Nuclear Information System (INIS)

The symmetry properties, order parameters, and magnetoelectric phase diagrams of multiferroics are discussed. After brief reviews of Ni3V2O8, TbMnO3, and RbFe(MoO4)2, we present a detailed analysis of RMn2O5 (with R = Y, Ho, Dy, Er, Tb, Tm). (review article)

358

Order Parameters and Phase Diagrams of Multiferroics

Digital Repository Infrastructure Vision for European Research (DRIVER)

The symmetry properties, order parameters, and magnetoelectric phase diagrams of multiferroics are discussed. After brief reviews of Ni$_3$V$_2$O$_8$, TbMnO$_3$, and RbFe(MoO$_4$)$_2$, we present a detailed analysis of RMn$_2$O$_5$ (with R=Y, Ho, Dy, Er, Tb, Tm).

Harris, A. B.; Aharony, Amnon; Entin-wohlman, O.

2008-01-01

359

Complexities of One-Component Phase Diagrams

For most materials, the solid at and near the triple-point temperature is denser than the liquid with which it is in equilibrium. However, for water and certain other materials, the densities of the phases are reversed, with the solid being less dense. The profound consequences for the appearance of the "pVT" diagram of one-component materials…

Ciccioli, Andrea; Glasser, Leslie

2011-01-01

360

Construction of Lax operators from weight diagrams

International Nuclear Information System (INIS)

We show that cyclic weight diagrams corresponding to representations of affine Lie algebras allow one to read-off the associated Lax operator. The resultant Lax pair generates the modified KdV equations, and have been shown in some cases to produce acceptable solutions of the string equation of matrix models

361

Diagram of a LEP superconducting cavity

This diagram gives a schematic representation of the superconducting radio-frequency cavities at LEP. Liquid helium is used to cool the cavity to 4.5 degrees above absolute zero so that very high electric fields can be produced, increasing the operating energy of the accelerator. Superconducting cavities were used only in the LEP-2 phase of the accelerator, from 1996 to 2000.

1991-01-01

362

Weight diagram construction of Lax operators

International Nuclear Information System (INIS)

We review and expand methods introduced in our previous paper. It is proved that cyclic weight diagrams corresponding to representations of affine Lie algebras allow one to construct the associated Lax operator. The resultant Lax operator is in the Miura-like form and generates the modified KdV equations. The algorithm is extended to the super-symmetric case

363

Phase Diagram of Vertically Shaken Granular Matter

A shallow, vertically shaken granular bed in a quasi 2-D container is studied experimentally yielding a wider variety of phenomena than in any previous study: (1) bouncing bed, (2) undulations, (3) granular Leidenfrost effect, (4) convection rolls, and (5) granular gas. These phenomena and the transitions between them are characterized by dimensionless control parameters and combined in a full experimental phase diagram.

Eshuis, P; Lohse, D; Van der Meer, D; Van der Weele, K; Bos, Robert; Eshuis, Peter; Lohse, Detlef; Meer, Devaraj van der; Weele, Ko van der

2006-01-01

364

Phase diagram of vertically shaken granular matter

A shallow, vertically shaken granular bed in a quasi-two-dimensional container is explored experimentally yielding a wider variety of phenomena than in any previous study: (1) bouncing bed, (2) undulations, (3) granular Leidenfrost effect, (4) convection rolls, and (5) granular gas. These phenomena and the transitions among them are characterized by dimensionless control parameters and combined in a full experimental phase diagram.

Eshuis, Peter; van der Weele, Ko; van der Meer, Devaraj; Bos, Robert; Lohse, Detlef

2007-12-01

365

Venn Diagram Approach to Heisenberg Inequalities

Directory of Open Access Journals (Sweden)

Full Text Available We report on a proof to the Heisenberg inequalities, for both vector-like and scalar-like variables, that is basedon statistical dependence of quantum events on appropriate Venn diagrams. A similar proof is provided for the“energy-velocity” uncertainty principle of Haidar (2010.

Nassar H. S. Haidar

2012-04-01

366

Graphic lambda calculus and knot diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.

Buliga, Marius

2012-01-01

367

Directory of Open Access Journals (Sweden)

Full Text Available We introduce the concept of weak radical classes and proceed to construct these classes. In section 2 we define strongly austere semimodules. Theorem 1 characterizes strongly autere semimodules with respect to modular maximal subtractive ideals. We present an example of a weak radical class that can be neither a semiradical class nor a radical class. In section 4 we show that the semiradical class over a certain restricted class of semirings is equivalent to the weak radical class. We also demonstrate the construction of a semiradical class over this class. Finally, we show in example 3 that a semiradical class need not to be a radical class.

Huda Mohammed J. Al-Thani

2004-12-01

368

Energy Technology Data Exchange (ETDEWEB)

Purpose: Radiation Therapy Oncology Group (RTOG) trial 9704 was the largest randomized trial to use adjuvant chemoradiation therapy for patients with pancreatic cancer. This report analyzes 5-year survival by serum level of tumor marker CA 19-9 of {<=}90 vs >90 U/mL and compares results to the those of the CONKO-001 trial. Methods and Materials: CA 19-9 expression was analyzed as a dichotomized variable ({<=}90 vs >90 U/mL). Cox proportional hazard models were used to identify the impact of the CA 19-9 value on overall survival (OS). Actuarial estimates of OS were calculated using the Kaplan-Meier method. Results: Both univariate (hazard ratio [HR] = 3.2; 95% confidence interval [CI], 2.3-4.3, P<.0001) and multivariate (HR = 3.1; 95% CI, 2.2-4.2, P<.0001) analyses demonstrated a statistically significant decrease in OS for CA 19-9 serum level of {>=}90 U/mL. For patients in the gemcitabine (Gem) treatment arm with CA 19-9 <90 U/mL, median survival was 21 months. For patients with CA 19-9 {>=}90 U/mL, this number dropped to 10 months. In patients with pancreatic head tumors in the Gem treatment arm with RT quality assurance per protocol and CA 19-9 of <90 U/mL, median survival and 5-year rate were 24 months and 34%. In comparison, the median survival and 5-year OS rate for patients in the Gem arm of the CONKO trial were 22 months and 21%. Conclusions: This analysis demonstrates that patients with postresection CA 19-9 values {>=}90 U/mL had a significantly worse survival. Patients with pancreatic head tumors treated with Gem with CA 19-9 serum level of <90 U/mL and per protocol RT had favorable survival compared to that seen in the CONKO trial. CA 19-9 is a stratification factor for the current RTOG adjuvant pancreas trial (0848).

Berger, Adam C., E-mail: adam.berger@jefferson.edu [Thomas Jefferson University Hospital, Philadelphia, Pennsylvania (United States); Winter, Kathryn [RTOG Statistical Center, Philadelphia, Pennsylvania (United States); Hoffman, John P. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Regine, William F. [University of Maryland Medical Systems, Baltimore, Maryland (United States); Abrams, Ross A. [Rush University Medical Center, Chicago, Illinois (United States); Safran, Howard [Division of Hematology/Oncology, The Miriam Hospital, Providence, Rhode Island (United States); Freedman, Gary M. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Benson, Alan B. [Northwestern Memorial Hospital, Chicago, Illinois (United States); MacDonald, John [St. Vincent' s Comprehensive Cancer Center, New York, New York (United States); Willett, Christopher G. [Duke University Medical Center, Durham, North Carolina (United States)

2012-11-01

369

International Nuclear Information System (INIS)

Purpose: Radiation Therapy Oncology Group (RTOG) trial 9704 was the largest randomized trial to use adjuvant chemoradiation therapy for patients with pancreatic cancer. This report analyzes 5-year survival by serum level of tumor marker CA 19-9 of ?90 vs >90 U/mL and compares results to the those of the CONKO-001 trial. Methods and Materials: CA 19-9 expression was analyzed as a dichotomized variable (?90 vs >90 U/mL). Cox proportional hazard models were used to identify the impact of the CA 19-9 value on overall survival (OS). Actuarial estimates of OS were calculated using the Kaplan-Meier method. Results: Both univariate (hazard ratio [HR] = 3.2; 95% confidence interval [CI], 2.3-4.3, P<.0001) and multivariate (HR = 3.1; 95% CI, 2.2-4.2, P<.0001) analyses demonstrated a statistically significant decrease in OS for CA 19-9 serum level of ?90 U/mL. For patients in the gemcitabine (Gem) treatment arm with CA 19-9 <90 U/mL, median survival was 21 months. For patients with CA 19-9 ?90 U/mL, this number dropped to 10 months. In patients with pancreatic head tumors in the Gem treatment arm with RT quality assurance per protocol and CA 19-9 of <90 U/mL, median survival and 5-year rate were 24 months and 34%. In comparison, the median survival and 5-year OS rate for patients in the Gem arm of the CONKO trial were 22 months and 21%. Conclusions: This analysis demonstrates that patients with postresection CA 19-9 values ?90 U/mL had a significantly worse survival. P significantly worse survival. Patients with pancreatic head tumors treated with Gem with CA 19-9 serum level of <90 U/mL and per protocol RT had favorable survival compared to that seen in the CONKO trial. CA 19-9 is a stratification factor for the current RTOG adjuvant pancreas trial (0848).

370

This paper presents bifurcation and generalized bifurcation diagrams for a rotational model of an oblate satellite. Special attention is paid to parameter values describing one of Saturn's moons, Hyperion. For various oblateness the largest Lyapunov Characteristic Exponent (LCE) is plotted. The largest LCE in the initial condition as well as in the mixed parameter-initial condition space exhibits a fractal structure, for which the fractal dimension was calculated. It results from the bifurcation diagrams of which most of the parameter values for preselected initial conditions lead to chaotic rotation. The First Recurrence Time (FRT) diagram provides an explanation of the birth of chaos and the existence of quasi-periodic windows occuring in the bifurcation diagrams.

Tarnopolski, Mariusz

2013-01-01

371

Petrologic hypothesis testing with Pearce element ratio diagrams: derivation of diagram axes

In petrology, Pearce element ratio (PER) diagrams have been used: i) to determine whether members of a rock suite are co-genetic, ii) to identify the minerals involved in differentiation processes, and iii) to evaluate the extent to which those mineral are involved. The axis coefficients of each diagram are chosen such that sorting of minerals or combinations of minerals will generate unique and predictable trends. Unfortunately, selection of the optimal combination of axis coefficients is a difficult task, especially if the system being investigated has a large number of phases or complicated solid solution minerals. Our work has established a formal set of rules and matrix operations which facilitate the determination of PER diagram axes coefficients. This methodology can be used to determine the unit molar vector displacement caused by the addition or subtraction of a specific mineral, given a set of axis coefficients. It can also be used to create PER diagrams on which minerals have predetermined vector displacements. By designating all vector displacements to be parallel, axis coefficients for assemblage test diagrams can be determined to test the following hypothesis: the observed chemical variation is due to the addition ( or removal) of a specific set of minerals. Alternatively, by designating all vector displacements to be mutually perpendicular, phase discrimination diagrams can be created which test whether the observed chemical variations require a specific phase to be involved in differentiation. Phase discrimination diagrams also provide a means to estimate the extent of that involvement. This methodology facilitates construction of powerful yet simple PER diagrams which provide an effective means of testing alternative differentiation hypotheses.

Stanley, C. R.; Russell, J. K.

1989-09-01

372

A Modeling and Verification Approach Based on Graph Transformation

Directory of Open Access Journals (Sweden)

Full Text Available UML is a standard modeling language with an open notation and several concepts to be widely used in software modeling. However UML suffers from a lack of formal semantics. So, their models still need to be formally checked against incoherencies or inconsistencies. To reach this goal we propose in this paper, a framework and a tool based on graph transformation allowing an automatic translation of some UML diagrams to equivalent Maude formal specifications. To realize this automatic mapping we use UML Class diagram formalism to define three meta-models. The first one for Class Diagram, the second for State Machine Diagram and the third for the Communication Diagram. Then, we propose a graph grammar to generate Maude specifications of the UML diagrams based on theses meta-models. The meta-modeling tool AToM3 is used to produce our visual modeling tool according to the proposed UML meta-models. An example is presented to illustrate our approach.

Wafa Chama

2013-02-01

373

Collaborative Learning Skills in Multi-touch Tables for UML Software Design

Directory of Open Access Journals (Sweden)

Full Text Available The use of Multi-touch interfaces for collaborative learning has received significant attention. Their ability to synchronously accommodate multiple users is an advantage in co-located collaborative design tasks. This paper explores the Multi-touch interface’s potential in collaborative Unified Modeling Language diagramming by comparing it to a PC-based tool, looking at the Collaborative Learning Skills and amount of physical interactions in both conditions. The results show that even though participants talked more in the PC-based condition, the use of the Multi-touch table increased the amount of physical interactions, and encouraged the “Creative Conflict” skills amongst the team members.

Nilufar Baghaei

2013-04-01

374

As computer technology advances, clinicians and biomedical researchers are becoming more dependent upon information from online databases and information systems. By using specially configured computer workstations and high-speed computer networks, it is now possible to access this information in a rapid and straightforward manner. To empower users by providing these capabilities, the authors are assembling a variety of network workstations to be located throughout Yale-New Haven Medical Center. At the heart of the workstation is NetMenu, a program designed to help users connect to a number of important online information systems, including a hospital order entry and results reporting system, a drug reference, bibliographic retrieval systems, and educational programs. In addition, as part of the National Library of Medicine's Unified Medical Language System (UMLS) project, the authors have developed a local prototype of the UMLS Information Sources Map (ISM) and a companion query assistant program to complement the NetMenu in helping users select and connect automatically to information services relevant to a particular question. The ISM query assistant draws from a listing of many online information sources accessible via local and international networks. PMID:8472006

Clyman, J I; Powsner, S M; Paton, J A; Miller, P L

1993-01-01

375

Teaching Verbal Chains Using Flow Diagrams and Texts

A discussion of the recent diagram and attention theory and research surprisingly suggests that a single flow diagram with instructive questions constitutes an effective learning medium in terms of verbal chaining. (Author)

Holliday, William G.

1976-01-01

376

Table of Feynman diagrams of the interacting Fermion Green's function

The Feynman diagrams of the Green's function expansion of fermions interacting with a nonrelativistic 2-body interaction are displayed in first, second, and third perturbative order of the interaction as 2, 10, and 74 diagrams, respectively. A name convention for the diagrams is proposed and then used to tabulate the diagrams of fourth to seventh order. The Hartree-Fock approximation summons up 2, 8, 40, and 224 of them in first through fourth order.

Mathar, Richard J.

377

Massive basketball diagram for a thermal scalar field theory

The ``basketball diagram'' is a three-loop vacuum diagram for a scalar field theory that cannot be expressed in terms of one-loop diagrams. We calculate this diagram for a massive scalar field at nonzero temperature, reducing it to expressions involving three-dimensional integrals that can be easily evaluated numerically. We use this result to calculate the free energy for a massive scalar field with a ?4 interaction to three-loop order.

Andersen, Jens O.; Braaten, Eric; Strickland, Michael

2000-08-01

378

Massive basketball diagram for a thermal scalar field theory

International Nuclear Information System (INIS)

The ''basketball diagram'' is a three-loop vacuum diagram for a scalar field theory that cannot be expressed in terms of one-loop diagrams. We calculate this diagram for a massive scalar field at nonzero temperature, reducing it to expressions involving three-dimensional integrals that can be easily evaluated numerically. We use this result to calculate the free energy for a massive scalar field with a ?4 interaction to three-loop order. (c) 2000 The American Physical Society

379

Timing requirement description diagrams for real-time system verification

Digital Repository Infrastructure Vision for European Research (DRIVER)

TURTLE is a real-time UML profile introduced a few years ago to address the analysis, design and deployment of time-constrained systems. The profile has a formal semantics. Further, it is supported by an open source toolkit: TTool. The latter enables formal verification of TURTLE models without specific knowledge of mathematical notations or formal languages. This paper proposes to extend TURTLE to cover the requirement capture phase, to check a model against formally expressed temporal requi...

Fontan, Benjamin; Saqui-sannes, Pierre; Apvrille, Ludovic

2008-01-01

380

Asteroseismic diagrams for solar-type stars

We explore the feasibility of applying the Christensen-Dalsgaard diagram to real asteroseismic data and provide quantitative measures of the uncertainty associated with the results. We also propose a new kind of seismic diagram, based on the determination of the locations of sharp acoustic features inside a star. We show that by combining the information about the position of the base of the convective envelope or the HeII ionisation zone with a measure of the average large separation, it is possible to constrain the unknown chemical composition or the various parameters characterising the physical processes in the stellar interior. We demonstrate the application of this technique to the analysis of mock data for a CoRoT target star.

Mazumdar, A

2005-01-01

381

The geometry of on-shell diagrams

The fundamental role of on-shell diagrams in quantum field theory has been recently recognized. On-shell diagrams, or equivalently bipartite graphs, provide a natural bridge connecting gauge theory to powerful mathematical structures such as the Grassmannian. We perform a detailed investigation of the combinatorial and geometric objects associated to these graphs. We mainly focus on their relation to polytopes and toric geometry, the Grassmannian and its stratification. Our work extends the current understanding of these connections along several important fronts, most notably eliminating restrictions imposed by planarity, positivity, reducibility and edge removability. We illustrate our ideas with several explicit examples and introduce concrete methods that considerably simplify computations. We consider it highly likely that the structures unveiled in this article will arise in the on-shell study of scattering amplitudes beyond the planar limit. Our results can be conversely regarded as an expansion in the understanding of the Grassmannian in terms of bipartite graphs.

Franco, Sebastián; Galloni, Daniele; Mariotti, Alberto

2014-08-01

382

Loop series expansion with propagation diagrams

The Bethe approximation is a successful method for approximating partition functions of probabilistic models associated with a graph. Recently, Chertkov and Chernyak derived an interesting formula called Loop Series Expansion, which is an expansion of the partition function. The main term of the series is the Bethe approximation while other terms are labelled by subgraphs called generalized loops. In this paper, we derive a loop series expansion of binary pairwise Markov random fields with propagation diagrams, which describe rules how first messages and secondary messages propagate. The advantage of our approach is that the loop series expansion formula is given in the form of a polynomial with coefficients positive integers. Using the propagation diagrams, we establish a new formula that shows a relation between the exact marginal probabilities and their Bethe approximations.

Watanabe, Yusuke

2008-01-01

383

1-loop Color structures and sunny diagrams

Recently the space of tree level color structures for gluon scattering was determined in arXiv:1403.6837 together with its transformation properties under permutations. Here we generalize the discussion to loops, demonstrating a reduction of an arbitrary color diagram to its vacuum skeleton plus rays. For 1-loop there are no residual relations and we determine the space of color structures both diagrammatically and algebraically in terms of certain sunny diagrams. We present the generating function for the characteristic polynomials and a list of irreducible representations for $3 \\le n \\le 9$ external legs. Finally we present a new proof for the 1-loop shuffle relations based on the cyclic shuffle and split operations.

Kol, Barak

2014-01-01

384

Persistence diagrams of cortical surface data.

We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy multivariate data including geometric noise. The main tool is persistent homology which can be encoded in persistence diagrams. These diagrams visually show how the number of connected components of the sublevel sets of the signal changes. The use of local critical values of a function differs from the usual statistical parametric mapping framework, which mainly uses the mean signal in quantifying imaging data. Our proposed method uses all the local critical values in characterizing the signal and by doing so offers a completely new data reduction and analysis framework for quantifying the signal. As an illustration, we apply this method to a 1D simulated signal and 2D cortical thickness data. In case of the latter, extra homological structures are evident in an control group over the autistic group. PMID:19694279

Chung, Moo K; Bubenik, Peter; Kim, Peter T

2009-01-01

385

Random matrix models for phase diagrams

We describe a random matrix approach that can provide generic and readily soluble mean-field descriptions of the phase diagram for a variety of systems ranging from QCD to high-T_c materials. Instead of working from specific models, phase diagrams are constructed by averaging over the ensemble of theories that possesses the relevant symmetries of the problem. Although approximate in nature, this approach has a number of advantages. First, it can be useful in distinguishing generic features from model-dependent details. Second, it can help in understanding the `minimal' number of symmetry constraints required to reproduce specific phase structures. Third, the robustness of predictions can be checked with respect to variations in the detailed description of the interactions. Finally, near critical points, random matrix models bear strong similarities to Ginsburg-Landau theories with the advantage of additional constraints inherited from the symmetries of the underlying interaction. These constraints can be help...

Vanderheyden, Benoit

2011-01-01

386

Growth Diagrams for the Schubert Multiplication

We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.

Lenart, Cristian

2009-01-01

387

Bifurcation Diagram for Compartmentalized Granular Gases

The bifurcation diagram for a vibro-fluidized granular gas in N connected compartments is constructed and discussed. At vigorous driving, the uniform distribution (in which the gas is equi-partitioned over the compartments) is stable. But when the driving intensity is decreased this uniform distribution becomes unstable and gives way to a clustered state. For the simplest case, N=2, this transition takes place via a pitchfork bifurcation but for all N>2 the transition involves saddle-node bifurcations. The associated hysteresis becomes more and more pronounced for growing N. In the bifurcation diagram, apart from the uniform and the one-peaked distributions, also a number of multi-peaked solutions occur. These are transient states. Their physical relevance is discussed in the context of a stability analysis.

Van der Meer, D; Lohse, D; Meer, Devaraj van der; Weele, Ko van der; Lohse, Detlef

2001-01-01

388

An updated Gamma Ray Bursts Hubble diagram

Digital Repository Infrastructure Vision for European Research (DRIVER)

Gamma ray bursts (GRBs) have recently attracted much attention as a possible way to extend the Hubble diagram to very high redshift. To this aim, the luminosity (or isotropic emitted energy) of a GRB at redshift z must be evaluated from a correlation with a distance independent quantity so that one can then solve for the luminosity distance D_L(z) and hence the distance modulus mu(z). Averaging over five different two parameters correlations and using a fiducial cosmological...

Capozziello, Salvatore

2009-01-01

389

Phase Diagrams of Strongly Interacting Theories

DEFF Research Database (Denmark)

We summarize the phase diagrams of SU, SO and Sp gauge theories as function of the number of flavors, colors, and matter representation as well as the ones of phenomenologically relevant chiral gauge theories such as the Bars-Yankielowicz and the generalized Georgi-Glashow models. We finally report on the intriguing possibility of the existence of gauge-duals for nonsupersymmetric gauge theories and the impact on their conformal window.

Sannino, Francesco

2010-01-01

390

Using Venn Diagrams to Compare Two Ecosystems

This lesson plan helps students identify and describe differences between two related ecosystems. By acquiring geographic information from a number of sources, and by using that information to complete a Venn diagram - two overlapping ovals in which one can chart the exclusive and shared characteristics of two ecosystems - students will understand the distribution of temperate and tropical rain forests and the unique characteristics of both.

391

International Nuclear Information System (INIS)

A complete phase diagram of the Dy-Sb system has been constructed by a set of data on the thermal, X-ray phase and microstructural analyses. Temperature limits of the existence of Dy5Sb3, Dy4Sb3 and DySb antimonides are determined, the last two antimonides have been shown for the first time to undergo polymorphous transformation at 1630 and 1890 deg C, respectively. Microhardness is determined for all the phases of the system

392

Mixed wasted integrated program: Logic diagram

Energy Technology Data Exchange (ETDEWEB)

The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development`s Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR).

Mayberry, J.; Stelle, S. [Science Applications International Corp., Idaho Falls, ID (United States); O`Brien, M. [Univ. of Arizona, Tucson, AZ (United States); Rudin, M. [Univ. of Nevada, Las Vegas, NV (United States); Ferguson, J. [Lockheed Idaho Technologies Co., Idaho Falls, ID (United States); McFee, J. [I.T. Corp., Albuquerque, NM (United States)

1994-11-30

393

New indices for analysing partial ranking diagrams

Energy Technology Data Exchange (ETDEWEB)

Interest is growing in decision making strategies and several techniques are now available. The assessment of priorities is a typical premise before final decisions are taken. Total and partial order ranking (POR) strategies, which from a mathematical point of view are based on elementary methods of discrete mathematics, appear as an attractive and simple tool to asses priorities. Despite the well-known total ranking strategies, which are scalar methods combining the different criteria values into a global index which always ranks elements in an ordered sequence, the partial order ranking is a vectorial approach which recognises that not all the elements can be directly compared with all the others. In fact when many criteria are considered, contradictions in the ranking are bound to exist and the higher the number of criteria, the higher the probability that contradictions in the ranking occur. The Hasse diagram technique (HDT) is a very useful tool to perform partial order ranking. The results of the partial order ranking are visualised in a diagram, called Hasse diagram. Incomparable elements are located at the same geometrical height and as high as possible in the diagram, thus incomparable elements are arranged in levels. The quality of a ranking procedure has to be evaluated by a deep analysis and by several indices, i.e. scalar functions that describe features of an ordered set and allow comparison among different rankings. For this purpose, new indices for ranking analysis are proposed here, compared with the ones found in literature and tested on theoretical examples and on real data.

Pavan, M.; Todeschini, R

2004-07-05

394

New indices for analysing partial ranking diagrams

International Nuclear Information System (INIS)

Interest is growing in decision making strategies and several techniques are now available. The assessment of priorities is a typical premise before final decisions are taken. Total and partial order ranking (POR) strategies, which from a mathematical point of view are based on elementary methods of discrete mathematics, appear as an attractive and simple tool to asses priorities. Despite the well-known total ranking strategies, which are scalar methods combining the different criteria values into a global index which always ranks elements in an ordered sequence, the partial order ranking is a vectorial approach which recognises that not all the elements can be directly compared with all the others. In fact when many criteria are considered, contradictions in the ranking are bound to exist and the higher the number of criteria, the higher the probability that contradictions in the ranking occur. The Hasse diagram technique (HDT) is a very useful tool to perform partial order ranking. The results of the partial order ranking are visualised in a diagram, called Hasse diagram. Incomparable elements are located at the same geometrical height and as high as possible in the diagram, thus incomparable elements are arranged in levels. The quality of a ranking procedure has to be evaluated by a deep analysis and by several indices, i.e. scalar functions that describe features of an ordered set and allow comparison among different rankings. For this purpose, new indices for ranking analysis are proposed here, compared with the ones found in literature and tested on theoretical examples and on real data

395

Numerical determination of the forming limit diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

Purpose: At present the industrial practice demands a reliable determination of forming limits which assuresthe prediction of properly selecting the forming process in a digital environment. Therefore, technological limitsdefined with the forming limit diagrams (FLDs) have to be known. The experimental evaluation of FLDs forsheet metal is time consuming and demands expensive equipment. The experimental work could be omitted bypredicting the FLD with numerical simulations.Design/methodology/ap...

Pepelnjak, T.; Kuzman, K.

2007-01-01

396

Feynman diagram approach to atomic collisions

International Nuclear Information System (INIS)

A quantum field theoretic formulation of atomic collision phenomena involving non-relativistic free and bound systems is developed and a calculational procedure in terms of Feynman diagrams is prescribed. Matrix elements of several atomic collision processes have been calculated. In most cases standard quantum mechanical results are reproduced. But in some cases new terms appear in the scattering matrix whose contribution though negligibly small in the low energy region, become important at higher energies. (auth.)

397

Formal Semantics of Time Sequence Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

Time Sequence Diagrams (TSDs) are a graphical representation employed to clarify the communication between service users and a service provider in the ISO/OSI basic reference model. In this paper we define the syntax and semantics of a textual representation for TSDs. As well, we provide a method for translating TSDs into this language. Furthermore, some extensions of TSDs are introduced that allow some special facets of an arbitrary layer to be described.

Christian Facchi

2014-01-01

398

Improving Web Database Access Using Decision Diagrams

Digital Repository Infrastructure Vision for European Research (DRIVER)

In some areas of management and commerce, especially in Electronic commerce (E-commerce), that are accelerated by advances in Web technologies, it is essential to support the decision making process using formal methods. Among the problems of E-commerce applications: reducing the time of data access so that huge databases can be searched quickly; decreasing the cost of database design ... etc. We present the application of Decision Diagrams design using Information Theory ap...

Popel, Denis V.; Al-hakeem, Nawar

2002-01-01

399

Energy Level Diagrams for Black Hole Orbits

Digital Repository Infrastructure Vision for European Research (DRIVER)

A spinning black hole with a much smaller black hole companion forms a fundamental gravitational system, like a colossal classical analog to an atom. In an appealing if imperfect analogy to atomic physics, this gravitational atom can be understood through a discrete spectrum of periodic orbits. Exploiting a correspondence between the set of periodic orbits and the set of rational numbers, we are able to construct periodic tables of orbits and energy level diagrams of the acc...

Levin, Janna

2009-01-01

400

Quark triangle diagrams and radiative meson decays

International Nuclear Information System (INIS)

The radiative meson decays V ? P? and P ? ?? are analysed using the quark triangle diagram. Experimental date yield well determined estimates of the universal quark-antiquark-meson couplings gVqq'-bar and gPqq'-bar for the light meson sector. Also predictions for the ratios of neutral to charged heavy meson decay coupling constants are given and await experimental confirmation. 8 refs., 3 tabs., 2 figs

401

Drawing Tree Diagrams: Problems and Suggestions

Directory of Open Access Journals (Sweden)

Full Text Available Starting from the theoretical goal of syntax, and taking the difference between pedagogical grammar and syntax into consideration, this article, based on the author’s teaching practice and review of exam papers, analyzes common problems in drawing tree diagrams such as ternary branching and improper marking of grammatical categories, followed by proposals for constructing such representations, with a view to helping students to achieve reasonable and elegant drawings, and also to helping teachers to teach syntax more fruitfully.

Qiang Wang

2010-11-01

402

47 CFR 80.867 - Ship station tools, instruction books, circuit diagrams and testing equipment.

...station tools, instruction books, circuit diagrams and testing equipment. 80...station tools, instruction books, circuit diagrams and testing equipment. ...equipment, instruction books and circuit diagrams to enable the...

2010-10-01

403

Oak Ridge National Laboratory Technology Logic Diagram. Executive Summary

Energy Technology Data Exchange (ETDEWEB)

This executive summary contains a description of the logic diagram format; some examples from the diagram (Vol. 2) and associated technology evaluation data sheets (Vol. 3); a complete (albeit condensed) listing of the RA, D&D, and WM problems at ORNL; and a complete listing of the technology rankings for all the areas covered by the diagram.

1993-06-30

404

Dinosaur Extinction: Causal Loop Diagram of Earth Feedback System

This site features a causal loop diagram from system dynamics methodology showing the solar-earth-space energy flow system (the dominant flow system driving earth's surficial systems, including the biosphere) and interactive natural earthly processes that influence it. Also included is a discussion of the diagram, and a link to a page that explains how to read causal loop diagrams.

Mclean, Dewey M.; Tech, Virginia

405

Time-Temperature-Sensitization diagram for VIRGO 14 SB steel

International Nuclear Information System (INIS)

Using a suitable combination of the various available standards for the determination of the susceptibility of austenitic stainless steels to intergranular corrosion, a Time-Temperature-Sensitization diagram for Virgo 14 SB steel was established. A similar diagram was also obtained using ASTM standard A 262 practices A and E. The significant features of the TTS diagrams have been described. (author)

406

Random matrix models for phase diagrams

International Nuclear Information System (INIS)

We describe a random matrix approach that can provide generic and readily soluble mean-field descriptions of the phase diagram for a variety of systems ranging from quantum chromodynamics to high-Tc materials. Instead of working from specific models, phase diagrams are constructed by averaging over the ensemble of theories that possesses the relevant symmetries of the problem. Although approximate in nature, this approach has a number of advantages. First, it can be useful in distinguishing generic features from model-dependent details. Second, it can help in understanding the 'minimal' number of symmetry constraints required to reproduce specific phase structures. Third, the robustness of predictions can be checked with respect to variations in the detailed description of the interactions. Finally, near critical points, random matrix models bear strong similarities to Ginsburg-Landau theories with the advantage of additional constraints inherited from the symmetries of the underlying interaction. These constraints can be helpful in ruling out certain topologies in the phase diagram. In this Key Issues Review, we illustrate the basic structure of random matrix models, discuss their strengths and weaknesses, and consider the kinds of system to which they can be applied.

407

Java classes for nonprocedural variogram modeling

A set of Java TM classes was written for variogram modeling to support research for US EPA's Regional Vulnerability Assessment Program (ReVA). The modeling objectives of this research program are to use conceptual programming tools for numerical analysis for regional risk assessment. The classes presented use of object-oriented design elements, and their use is described for the benefit of programmers. To help facilitate their use, class diagrams and standard JavaDoc commenting were employed. Java's support for polymorphism and inheritance is used and these are described as ways to promote extension of these classes for other geostatistical applications. Among the advantages is the ease of programming, code reuse, and conceptual, rather than procedural implementation. A graphical application for variogram modeling that uses the classes is also provided and described. It can also be used by non-programmers. This application uses a generalized least-squares fitting algorithm for robust parametric variogram model fitting through the variogram cloud. This feature makes this program unique from other freely available variogram modeling programs, though the classes are presented primarily so they may be extended for use in other Java programs. More traditional variogram plotting and fitting utilities are also provided. This application is graphical and platform-neutral. It uses classes of the recently proposed Java API for linear algebra, called the JAMA package.

Faulkner, Barton R.

2002-04-01

408

Directory of Open Access Journals (Sweden)

Full Text Available In this paper, formal methods were introduced into the real-time embedded software testing field and a real-time extended finite state machine, called rt_EFSM, was studied firstly. And then, the process of the integrated application based on real-time extended Unified Modeling Language (UML and improved formal method in real-time embedded software testing are put forward. Furthermore, the extension scheme of the real-time UML, including the improvement and extension of state transitions and time constraints described mechanism, and the conversion method from real-time UML to rt_EFSM ware proposed. Finally, combined with the testing process of flight control software of an unmanned aerial vehicle (UAV, a method to generate the time-extended UIO sequence (ex_UIO was put forward. Finally, the method to generate test cases automatically according to ex_UIO sequence was brought forward. The method proposed in this paper can fully make use of the advantages of tool resources of the UML which has been as the industry standard, but also the advantages of formal methods in accuracy, effectiveness and automation support.

Yongfeng Yin

2010-12-01

409

International Nuclear Information System (INIS)

evelopment model. Our final conclusions are presented in section V, where we present the MORDICUS project devoted to a concrete realization of our UML methodological framework, and the deep affinities between our work and the emerging 'Model Driven Architecture' (MDA) paradigm developed by the Object Management Group. (author)

410

Delta diagram based test for the Halphen (A and B) and the Gamma distributions

The most used statistical distributions to fit extreme value data in hydrology, can be regrouped in three classes: class C of regularly varying distributions and class D of sub exponential distributions, depending on their tail behaviour. The Halphen distributions (Halphen type A (HA) and Halphen type B (HB)) have both the Gamma (G2) distribution as limiting case and all these three distributions belong to the class D and can be displayed in the (Delta1 = ln(A/G); Delta2 = ln(G/H)) moment ratio diagram based on Geometric (G), Arithmetic (A) and Harmonic (H) means. In this study, a statistical test for discriminating between HA, HB and the Gamma distribution is developed. The methodology is based on Monte Carlo simulation for (1) the determination of the confidence regions around the Gamma curve for each fixed couple (Delta1 , Delta2) and (2) the study of the power of the proposed test for both alternatives HA and HB distributions and comparison with the Likelihood Ratio Test (LRT). Results showed that the test is powerful especially for high values of skewness and is far better than the LRT. This test will be included, shortly, in Decision Support System (DSS) of the HYFRAN-PLUS software. Key words: Halphen distributions, Gamma distribution, Heavy tailed distribution, Monte Carlo simulation, (Delta1 , Delta2) diagram, power of the test, HYFRAN-PLUS.

El Adlouni, Salaheddine; Bobée, Bernard

2014-05-01

411

Sinc function representation and three-loop master diagrams

International Nuclear Information System (INIS)

We test the Sinc function representation, a novel method for numerically evaluating Feynman diagrams, by using it to evaluate the three-loop master diagrams. Analytical results have been obtained for all these diagrams, and we find excellent agreement between our calculations and the exact values. The Sinc function representation converges rapidly, and it is straightforward to obtain accuracies of 1 part in 106 for these diagrams and with longer runs we found results better than 1 part in 1012. Finally, this paper extends the Sinc function representation to diagrams containing massless propagators

412

y? Diagram, a powerful optical design method for laser systems.

We present a new method for synthesizing and analyzing laser systems based on the use of the y? diagram. The diagram is commonly used to represent two rays, the marginal and the chief rays, as they propagate through an optical system. Since a Gaussian beam can be represented by two rays, it is possible to use the y? diagram to represent these rays. This results in a representation of the beam as a single ray line on the y? diagram with simple graphic interpretations for the beam parameters. An equivalent representation of the Gaussian beam on the u? diagram is also presented and discussed. Complex design problems may be reduced to simple graphic problems, which often lead directly to algebraic solutions. Examples of y? diagrams are given for beam transfer through simple optical systems, including gradient optics. Diagram transformations are discussed and design examples are given of a three-element afocal system and a three-element collimator. PMID:20725196

Kessler, D; Shack, R V

1992-05-20

413

VennDiagram: a package for the generation of highly-customizable Venn and Euler diagrams in R

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Background Visualization of orthogonal (disjoint or overlapping datasets is a common task in bioinformatics. Few tools exist to automate the generation of extensively-customizable, high-resolution Venn and Euler diagrams in the R statistical environment. To fill this gap we introduce VennDiagram, an R package that enables the automated generation of highly-customizable, high-resolution Venn diagrams with up to four sets and Euler diagrams with up to three sets. Results The VennDiagram package offers the user the ability to customize essentially all aspects of the generated diagrams, including font sizes, label styles and locations, and the overall rotation of the diagram. We have implemented scaled Venn and Euler diagrams, which increase graphical accuracy and visual appeal. Diagrams are generated as high-definition TIFF files, simplifying the process of creating publication-quality figures and easing integration with established analysis pipelines. Conclusions The VennDiagram package allows the creation of high quality Venn and Euler diagrams in the R statistical environment.

Boutros Paul C

2011-01-01

414

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Background This paper focuses on measuring the efficiency and effectiveness of two diagramming methods employed in key informant interviews with clinicians and health care administrators. The two methods are 'participatory diagramming', where the respondent creates a diagram that assists in their communication of answers, and 'graphic elicitation', where a researcher-prepared diagram is used to stimulate data collection. Methods These two diagramming methods were applied in key informant interviews and their value in efficiently and effectively gathering data was assessed based on quantitative measures and qualitative observations. Results Assessment of the two diagramming methods suggests that participatory diagramming is an efficient method for collecting data in graphic form, but may not generate the depth of verbal response that many qualitative researchers seek. In contrast, graphic elicitation was more intuitive, better understood and preferred by most respondents, and often provided more contemplative verbal responses, however this was achieved at the expense of more interview time. Conclusion Diagramming methods are important for eliciting interview data that are often difficult to obtain through traditional verbal exchanges. Subject to the methodological limitations of the study, our findings suggest that while participatory diagramming and graphic elicitation have specific strengths and weaknesses, their combined use can provide complementary information that would not likely occur with the application of only one diagramming method. The methodological insights gained by examining the efficiency and effectiveness of these diagramming methods in our study should be helpful to other researchers considering their incorporation into qualitative research designs.

Ritvo Paul G

2008-08-01

415

Phase diagram of water in carbon nanotubes

Digital Repository Infrastructure Vision for European Research (DRIVER)

A phase diagram of water in single-walled carbon nanotubes at atmospheric pressure is proposed, which summarizes ice structures and their melting points as a function of the tube diameter up to 1.7 nm. The investigation is based on extensive molecular dynamics simulations over numerous thermodynamic states on the temperature–diameter plane. Spontaneous freezing of water in the simulations and the analysis of ice structures at 0 K suggest that there exist at least nine ice phases in the cyli...

Takaiwa, Daisuke; Hatano, Itaru; Koga, Kenichiro; Tanaka, Hideki

2008-01-01

416

Calculation of superalloy phase diagrams. III

International Nuclear Information System (INIS)

Previously computed descriptions of binary systems have been employed to calculate isothermal sections in the Ni--Nb--W, Nb--Cr--Ti, Cr--Ti--Fe, and Nb--Ni--Al systems which compare favorably with limited experimental data. Explicit descriptions of the Co--Mo, Co--W, Co--Ti, Co--Nb, Co--Al, and Co--Cr systems have been developed in line with lattice stability, thermochemical and phase diagram data to permit calculation of cobalt-base superalloy systems

417

Phase diagram of a granular superconductor

International Nuclear Information System (INIS)

The phase diagram of a granular superconductor is constructed in the self-consistent harmonic approximation (SCHA) for the order-parameter-phase fluctuation. At zero temperature, the condition for the existence of coherence (CJ> or =0.07) obtained in the SCHA in the ordered-granule-lattice model turns out to be less rigid than the corresponding condition derived without any allowance for the correlation between the phase oscillations of different granules. The long-wave spectrum of the phase oscillations in a granular superconductor is determined

418

Thermal analysis and alloy phase diagrams

International Nuclear Information System (INIS)

A summary of the activity performed in the investigation of metallic alloys over many years is presented. General attention is given to research carried out by using thermoanalytical techniques and their application to the determination of phase diagrams. The results obtained in the systematic investigation of several binary and ternary systems involving rare earth metals are briefly outlined and discussed within a more general picture of the alloying behaviour of these metals. A report with reference to the groups of alloys especially investigated and to a number of experimental difficulties encountered and solutions adopted is given

419

Microwave instability at transition: Stability diagram approach

A simple model of a beam at transition driven by a storage ring impedance is formulated in the framework of the nonlinear Vlasov equation. This yields a set of coupled equations of motion describing time evolution of a single coherent mode and the overall equilibrium density distribution function. At transition, contour integration in the dispersion relation can be carried out analytically and a simple closed formula for the coherent frequency is obtained. From the resulting stability diagram, further conclusions about the growth time of the microwave instability and the longitudinal emittance blowup at transition are derived.

Bogacz, S. A.

1991-05-01

420

A practical guide to Feynman diagrams

International Nuclear Information System (INIS)

These lectures serve as an introduction to the basic ideas of relativistic quantum theory, perturbation theory and the Feynman diagram calculus, in the context of electromagnetic interactions. The main objective is to get the student as rapidly as possible to the point where he can calculate the lowest order cross-sections for a variety of two-body electromagnetic processes. The techniques are considered under the headings: relativistic wave equations, electrodynamics of spinless particles, and electrodynamics of spin-1/2 particles. A selection of problems and exercises is included. (U.K.)

421

Divergent loop diagrams in cavity QCD

International Nuclear Information System (INIS)

A numerical technique based on free-space dimensional regularization is introduced in the cavity. In this cavity regularization method, the energy shift is expressed as the integral of a divergent spectral function, from which the divergence may be extracted using the analytical free-space expression. Quadratically divergent loop diagrams must be regularized by separating off tadpole-like terms - in this way it is ensured that no unmanageable divergent boundary conditions remain. The technique is used to evaluate the self-energy of the gluon in a spherical cavity. 8 refs., 1 fig., 1 tab

422

Chiral symmetry and the nucleon-nucleon interaction: Tensor decomposition of Feynman diagrams

International Nuclear Information System (INIS)

A class of Lagrangians that describe the interaction of nucleons and pions and that provide a nonlinear representation of chiral symmetry is considered. We simplify the form of these Lagrangians by making an expansion in inverse powers of f? and calculate the irreducible fermion-fermion scattering amplitude to order f?-4. Some of the integrals encountered in these calculations are divergent and are regulated with a (Euclidean) momentum-space cutoff, ?, where ? congruent 1 GeV. While elements of the S matrix are independent of the form of the Lagrangian used, somewhat different results are obtained for the irreducible amplitudes calculated with Lagrangians that have either pseudoscalar or pseudovector coupling of the pion field to the nucleon. We compare our results for the isoscalar irreducible amplitudes to the potentials used in the one-boson-exchange model of the nucleon-nucleon force. In the case of pseudovector coupling, there is only a single relevant diagram of order g4, a ''crossed-box'' diagram. We find that this crossed-box diagram is well represented by the exchange of a ''pseudo-eta'' particle, that is, an isoscalar-pseudoscalar meson with an imaginary coupling constant. There is also a relatively small scalar attraction seen, while tensor, vector, and axial vector terms are quite small. We also consider a Lagrangian with pseudoscalar coupling. In this case, there are four diagrams of order g4 in tr diagrams of order g4 in the irreducible amplitude. Again, we find a significant attractive pseudoscalar exchange term (''pseudo-eta''). Relatively small repulsive interactions of vector and scalar type are also found in this case. Further analysis of the isoscalar amplitude requires that we extend our model to reproduce the dynamics of correlated two-pion exchange

423

Patterns in the sine map bifurcation diagram

Numerical computations of bifurcation maps for one dimensional maps show patterns (regular jumps in point density) in the zones of chaotic behaviour. In this work, empiric formulas are given for these patterns for an entire class of maps.

Lalescu, Cristian Constantin

2010-01-01

424

Trigeneration System: Visualization through Ternary Diagrams

Directory of Open Access Journals (Sweden)

Full Text Available The simultaneous production of power, heat and refrigeration in trigeneration plants is potentially more efficient than producing these same utilities in separate facilities, mainly due to the increased opportunities for process integration. Hence, trigeneration is also inherently more cost-effective and thermodynamically efficient, resulting in lower CO2 footprint. Various methods have been developed for the synthesis of such plants. In this study, we propose a graphical approach where power, heat and refrigeration or cooling form the vertices of a ternary diagram. A thermal process unit may thus be represented as a point within the ternary diagram, with its coordinates denoting the ratios of its heat, power and cooling outputs. Thus, units producing two streams lie along the edges of the triangular field while those producing three streams fall inside it. Subsequently sizing of such process units that make up a trigeneration plant can be accomplished using lever-arm mixing rules within this triangular coordinate system. The use of the graphical methodology is illustrated with two case studies.

R.R. Tan

2014-01-01

425

Critical point analysis of phase envelope diagram

International Nuclear Information System (INIS)

Phase diagram or phase envelope is a relation between temperature and pressure that shows the condition of equilibria between the different phases of chemical compounds, mixture of compounds, and solutions. Phase diagram is an important issue in chemical thermodynamics and hydrocarbon reservoir. It is very useful for process simulation, hydrocarbon reactor design, and petroleum engineering studies. It is constructed from the bubble line, dew line, and critical point. Bubble line and dew line are composed of bubble points and dew points, respectively. Bubble point is the first point at which the gas is formed when a liquid is heated. Meanwhile, dew point is the first point where the liquid is formed when the gas is cooled. Critical point is the point where all of the properties of gases and liquids are equal, such as temperature, pressure, amount of substance, and others. Critical point is very useful in fuel processing and dissolution of certain chemicals. Here in this paper, we will show the critical point analytically. Then, it will be compared with numerical calculations of Peng-Robinson equation by using Newton-Raphson method. As case studies, several hydrocarbon mixtures are simulated using by Matlab

426

Interactive Cost Configuration Over Decision Diagrams

DEFF Research Database (Denmark)

In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of feasible solutions into a tractable representation is an important approach to delivering efficient backtrack-free user interaction online. In particular,binary decision diagrams (BDDs) have been successfully used as a compilation target for product and service configuration. In this paper we discuss how to extend BDD-based configuration to scenarios involving cost functions which express user preferences. We first show that an efficient, robust and easy to implement extension is possible if the cost function is additive, and feasible solutions are represented using multi-valued decision diagrams (MDDs). We also discuss the effect on MDD size if the cost function is non-additive or if it is encoded explicitly into MDD. We then discuss interactive configuration in the presence of multiple cost functions. We prove that even in its simplest form, multiple-cost configuration is NP-hard in the input MDD. However, for solving two-cost configuration we develop a pseudo-polynomial scheme and a fully polynomial approximation scheme. The applicability of our approach is demonstrated through experiments over real-world configuration models and product-catalogue datasets. Response times are generally within a fraction of a second even for very large instances.

Pisinger, David

2010-01-01

427

Using influence diagrams for data worth analysis

International Nuclear Information System (INIS)

Decision-making under uncertainty describes most environmental remediation and waste management problems. Inherent limitations in knowledge concerning contaminants, environmental fate and transport, remedies, and risks force decision-makers to select a course of action based on uncertain and incomplete information. Because uncertainties can be reduced by collecting additional data., uncertainty and sensitivity analysis techniques have received considerable attention. When costs associated with reducing uncertainty are considered in a decision problem, the objective changes; rather than determine what data to collect to reduce overall uncertainty, the goal is to determine what data to collect to best differentiate between possible courses of action or decision alternatives. Environmental restoration and waste management requires cost-effective methods for characterization and monitoring, and these methods must also satisfy regulatory requirements. Characterization and monitoring activities imply that, sooner or later, a decision must be made about collecting new field data. Limited fiscal resources for data collection should be committed only to those data that have the most impact on the decision at lowest possible cost. Applying influence diagrams in combination with data worth analysis produces a method which not only satisfies these requirements but also gives rise to an intuitive representation of complex structures not possible in the more traditional decision trssible in the more traditional decision tree representation. This paper demonstrates the use of influence diagrams in data worth analysis by applying to a monitor-and-treat problem often encountered in environmental decision problems

428

Critical point analysis of phase envelope diagram

Energy Technology Data Exchange (ETDEWEB)

Phase diagram or phase envelope is a relation between temperature and pressure that shows the condition of equilibria between the different phases of chemical compounds, mixture of compounds, and solutions. Phase diagram is an important issue in chemical thermodynamics and hydrocarbon reservoir. It is very useful for process simulation, hydrocarbon reactor design, and petroleum engineering studies. It is constructed from the bubble line, dew line, and critical point. Bubble line and dew line are composed of bubble points and dew points, respectively. Bubble point is the first point at which the gas is formed when a liquid is heated. Meanwhile, dew point is the first point where the liquid is formed when the gas is cooled. Critical point is the point where all of the properties of gases and liquids are equal, such as temperature, pressure, amount of substance, and others. Critical point is very useful in fuel processing and dissolution of certain chemicals. Here in this paper, we will show the critical point analytically. Then, it will be compared with numerical calculations of Peng-Robinson equation by using Newton-Raphson method. As case studies, several hydrocarbon mixtures are simulated using by Matlab.

Soetikno, Darmadi; Siagian, Ucok W. R. [Department of Petroleum Engineering, Institut Teknologi Bandung, Jl. Ganesha 10, Bandung 40132 (Indonesia); Kusdiantara, Rudy, E-mail: rkusdiantara@s.itb.ac.id; Puspita, Dila, E-mail: rkusdiantara@s.itb.ac.id; Sidarto, Kuntjoro A., E-mail: rkusdiantara@s.itb.ac.id; Soewono, Edy; Gunawan, Agus Y. [Department of Mathematics, Institut Teknologi Bandung, Jl. Ganesha 10, Bandung 40132 (Indonesia)

2014-03-24

429

Revisiting the phase diagram of hard ellipsoids

In this work, the well-known Frenkel-Mulder phase diagram of hard ellipsoids of revolution [D. Frenkel and B. M. Mulder, Mol. Phys. 55, 1171 (1985)] is revisited by means of replica exchange Monte Carlo simulations. The method provides good sampling of dense systems and so, solid phases can be accessed without the need of imposing a given structure. At high densities, we found plastic solids and fcc-like crystals for semi-spherical ellipsoids (prolates and oblates), and SM2 structures [P. Pfleiderer and T. Schilling, Phys. Rev. E 75, 020402 (2007)] for x : 1-prolates and 1 : x-oblates with x >= 3. The revised fluid-crystal and isotropic-nematic transitions reasonably agree with those presented in the Frenkel-Mulder diagram. An interesting result is that, for small system sizes (100 particles), we obtained 2:1- and 1.5:1-prolate equations of state without transitions, while some order is developed at large densities. Furthermore, the symmetric oblate cases are also reluctant to form ordered phases.

Odriozola, Gerardo

2012-04-01

430

The Critical Importance of Russell's Diagram

The idea of dwarf and giants stars, but not the nomenclature, was first established by Eijnar Hertzsprung in 1905; his first diagrams in support appeared in 1911. In 1913 Henry Norris Russell could demonstrate the effect far more strikingly because he measured the parallaxes of many stars at Cambridge, and could plot absolute magnitude against spectral type for many points. The general concept of dwarf and giant stars was essential in the galactic structure work of Harlow Shapley, Russell's first graduate student. In order to calibrate the period-luminosity relation of Cepheid variables, he was obliged to fall back on statistical parallax using only 11 Cepheids, a very sparse sample. Here the insight provided by the Russell diagram became critical. The presence of yellow K giant stars in globular clusters credentialed his calibration of the period-luminosity relation by showing that the calibrated luminosity of the Cepheids was comparable to the luminosity of the K giants. It is well known that in 1920 Shaple...

Gingerich, Owen

2013-01-01

431

Instability Regions in the Upper HR Diagram

The following instability regions for blueward evolving supergiants are outlined and compared: (1) Areas in the Hertzsprung-Russell(HR) diagram where stars are dynamically unstable. (2) Areas where the effective acceleration in the upper part of the photospheres is negative, hence directed outward. (3) Areas where the sonic points of the stellar wind (Where wind velocity = sound velocity) are situated inside the photospheres, at a level deeper than tau(sub Ross) = 0.01. We compare the results with the positions of actual stars in the HR diagram and we find evidence that the recent strong contraction of the yellow hypergiant HR8752 was initiated in a period during which (g(sub eff)) is less than 0, whereupon the star became dynamically unstable. The instability and extreme shells around IRC+10420 are suggested to be related to three factors: (g(sub eff)) is less than 0; the sonic point is situated inside the photosphere; and the star is dynamically unstable.

deJager, Cornelis; Lobel, Alex; Nieuwenhuijzen, Hans; Stothers, Richard; Hansen, James E. (Technical Monitor)

2001-01-01

432

Recent Results in Ring-Diagram Analysis

The ring-diagram technique was developed by Frank Hill 25 years ago and matured quickly during the late 1990s. It is nowadays one of the most commonly used techniques in local helioseismology. The method consists in the power spectral analysis of solar acoustic oscillations on small regions (2° to 30°) of the solar surface. The power spectrum resembles a set of trumpets nested inside each other and for a given frequency, it looks like a ring, hence the technique's name. It provides information on the horizontal flow field and thermodynamic structure in the layers immediately below the photosphere. With data regularly provided by MDI, GONG, and more recently HMI, many important results have been achieved. In recently years, these results include estimations of the meridional circulation and its evolution with solar cycle; flows associated with active regions, as well as, flow divergence and vorticity, and thermal structure beneath and around active regions. Much progress is expected with data now provided by HMI's high spatial resolution observations and high duty cycle. There are two data processing pipelines (GONG and HMI) providing free access to the data and the results of the ring-diagram analysis. Here we will discuss the most recent results and improvements in the technique, as well as, the many challenges that still remain.

Rabello-Soares, M. C.

2013-12-01

433

Preliminary Master Logic Diagram for ITER operation

International Nuclear Information System (INIS)

This paper describes the work performed to develop a Master Logic Diagram (MLD) for the operations phase of the International Thermonuclear Experimental Reactor (ITER). The MLD is a probabilistic risk assessment tool used to identify the broad set of potential initiating events that could lead to an offsite radioactive or toxic chemical release from the facility under study. The MLD described here is complementary to the failure modes and effects analyses (FMEAs) that have been performed for ITER's major plant systems in the engineering evaluation of the facility design. While the FMEAs are a bottom-up or component level approach, the MLD is a top-down or facility level approach to identifying the broad spectrum of potential events. Strengths of the MLD are that it analyzes the entire plant, depicts completeness in the accident initiator process, provides an independent method for identification, and can also identify potential system interactions. MLDs have been used successfully as a hazard analysis tool. This paper describes the process used for the ITER MLD to treat the variety of radiological and toxicological source terms present in the ITER design. One subtree of the nineteen page MLD is shown to illustrate the levels of the diagram

434

Colour Magnitude Diagrams of Transiting Exoplanets

Colour-Magnitude diagrams form a traditional way of representing luminous objects in the Universe and compare them to each others. Here, the photometric distances of 44 transiting exoplanetary systems were estimated. For seven of those, parallaxes confirm the methodology. From the combination of those measurements with fluxes obtained while planets were occulted by their host stars, colour-magnitude diagrams are composed in the near and mid IR. When possible, planets are plotted with field brown dwarfs who often have similar sizes and equilibrium temperatures, thus offering a natural empirical comparison sample. Exoplanets are also compared to the expected loci of pure blackbodies. In general planets do not agree with the brown dwarfs sequences, and neither do they match blackbodies. It is however possible to affirm that they are not featureless and that they display an increasing diversity in colour with decreasing intrinsic luminosity. A missing source of absorption within the [4.5 ?m] band, for some planets, would generally reconcile hot Jupiters with brown dwarfs’ cool atmospheres. Alternatively, measuring the emission of gas giants cooler than 1 000 K would disentangle whether planets’ atmospheres behave like brown dwarfs’ atmospheres, like blackbodies, or whether they form their own sequence.

Triaud, Amaury H. M. J.

2014-06-01

435

Phase diagram of twisted mass lattice QCD

International Nuclear Information System (INIS)

We use the effective chiral Lagrangian to analyze the phase diagram of two-flavor twisted mass lattice QCD as a function of the normal and twisted masses, generalizing previous work for the untwisted theory. We first determine the chiral Lagrangian including discretization effects up to next-to-leading order (NLO) in a combined expansion in which m?2/(4?f?)2?a? (a being the lattice spacing, and ?=?QCD). We then focus on the region where m?2/(4?f?)2?(a?)2, in which case competition between leading and NLO terms can lead to phase transitions. As for untwisted Wilson fermions, we find two possible phase diagrams, depending on the sign of a coefficient in the chiral Lagrangian. For one sign, there is an Aoki phase for pure Wilson fermions, with flavor and parity broken, but this is washed out into a crossover if the twisted mass is nonvanishing. For the other sign, there is a first order transition for pure Wilson fermions, and we find that this transition extends into the twisted mass plane, ending with two symmetrical second order points at which the mass of the neutral pion vanishes. We provide graphs of the condensate and pion masses for both scenarios, and note a simple mathematical relation between them. These results may be of importance to numerical simulations

436

We investigated strategies used by readers when reading a science article with a diagram and assessed whether semantic and spatial representations were constructed while reading the diagram. Seventy-one undergraduate participants read a scientific article while tracking their eye movements and then completed a reading comprehension test. Our results showed that the text-diagram referencing strategy was commonly used. However, some readers adopted other reading strategies, such as reading the diagram or text first. We found all readers who had referred to the diagram spent roughly the same amount of time reading and performed equally well. However, some participants who ignored the diagram performed more poorly on questions that tested understanding of basic facts. This result indicates that dual coding theory may be a possible theory to explain the phenomenon. Eye movement patterns indicated that at least some readers had extracted semantic information of the scientific terms when first looking at the diagram. Readers who read the scientific terms on the diagram first tended to spend less time looking at the same terms in the text, which they read after. Besides, presented clear diagrams can help readers process both semantic and spatial information, thereby facilitating an overall understanding of the article. In addition, although text-first and diagram-first readers spent similar total reading time on the text and diagram parts of the article, respectively, text-first readers had significantly less number of saccades of text and diagram than diagram-first readers. This result might be explained as text-directed reading.

Jian, Yu-Cin; Wu, Chao-Jung

2014-10-01

437

Formalization of the Data Flow Diagram Rules for Consistency Check

Directory of Open Access Journals (Sweden)

Full Text Available In system development life cycle (SDLC, a system model can be developed using Data Flow Diagram(DFD. DFD is graphical diagrams for specifying, constructing and visualizing the model of a system.DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and itsrules for drawing and defining the diagrams. We then formalize these rules and develop the tool based onthe formalized rules. The formalized rules for consistency check between the diagrams are used indeveloping the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed.The tool automates the process of manual consistency check between data flow diagrams.

Rosziati Ibrahim

2010-10-01

438

Zero temperature phase diagram of finite connectivity spin glasses

Digital Repository Infrastructure Vision for European Research (DRIVER)

The zero temperature phase diagram of spin glasses on finite connectivity graphs is investigated, with or without magnetic field and/or ferromagnetic bias, for mean field (using the cavity method) and Edwards-Anderson (using numerical ground states computations) models. In the mean field case we show that the phase diagram is complex and compute the equivalent of the zero temperature de Almeida-Thouless line. In the 3d model however, we found a trivial phase diagram. This pa...

Krzakala, Florent

2004-01-01

439

Sequential influence diagrams : a unified asymmetry framework

DEFF Research Database (Denmark)

We describe a new graphical language for specifying asymmetric decision problems. The language is based on a filtered merge of several existing languages including sequential valuation networks, asymmetric influence diagrams, and unconstrained influence diagrams. Asymmetry is encoded using a structure resembling a clustered decision tree, whereas the representation of the uncertainty model is based on the (unconstrained) influence diagram framework. We illustrate the proposed language by modeling several highly asymmetric decision problems, and we describe an efficient solution procedure. Udgivelsesdato: MAY

Jensen, Finn Verner; Nielsen, Thomas Dyhre

2006-01-01

440

The position of brown dwarfs on the universal diagrams

International Nuclear Information System (INIS)

The paper on the position of brown dwarf stars on a universal diagram was presented to the workshop on ''Astrophysics of brown dwarfs'', Virginia, USA, 1985. The two universal diagrams contain plots of various stellar objects (including brown dwarfs in terms of various physical quantities mass, entropy, luminosity and temperature). The author suggests that the entropy-mass diagram indicates that brown dwarfs could make a substantial contribution to the dark matter density in the solar vicinity. (U.K.)

441

Phase diagram of compressively strained nickelate thin films

Digital Repository Infrastructure Vision for European Research (DRIVER)

The complex phase diagrams of strongly correlated oxides arise from the coupling between physical and electronic structure. This can lead to a renormalization of the phase boundaries when considering thin films rather than bulk crystals due to reduced dimensionality and epitaxial strain. The well-established bulk RNiO3 phase diagram shows a systematic dependence between the metal-insulator transition and the perovskite A-site rare-earth ion, R. Here, we explore the equivalent phase diagram fo...

Disa, A. S.; Kumah, D. P.; Ngai, J. H.; Specht, E. D.; Arena, D. A.; Walker, F. J.; Ahn, C. H.

2013-01-01

442

V-Diagram Applications On Chosen Subjects In Chemistry Education

Digital Repository Infrastructure Vision for European Research (DRIVER)

Based on the above mentioned significance of using Vee diagram applications in laboratories, the answer to the question, “Does using Vee diagrams in selected topics in laboratories contribute to education and instruction as well as meaningful learning?” is explored. In the study, the “concept mapping” and the 16-item scale used to identify “attitudes towards the use of Vee diagrams” developed by Okebukola (1992) and “attitude scale towards chemistry laboratory” developed by re...

Karac?uha, Zuhal; Morgi?l, I?nci; Sec?ken, Nilgu?n

2005-01-01

443

Unknotting rectangular diagrams of the trivial knot by exchanging moves

Digital Repository Infrastructure Vision for European Research (DRIVER)

If a rectangular diagram represents the trivial knot, then it can be deformed into the rectangular diagram with only two vertical edges by a finite sequence of merge operations and exchange operations, without increasing the number of vertical edges, which was shown by I. A. Dynnikov. We show in this paper that we need no merge operations to deform a rectangular diagram of the trivial knot to one with no crossings.

Hayashi, Chuichiro; Yamada, Sayaka

2013-01-01

444

Realizing Exterior Cromwell moves on rectangular diagrams by Reidemeister moves

Digital Repository Infrastructure Vision for European Research (DRIVER)

If a rectangular diagram represents the trivial knot, then it can be deformed into the trivial rectangular diagram with only four edges by a finite sequence of merge operations and exchange operations, without increasing the number of edges, which was shown by I. A. Dynnikov. Using this, Henrich and Kauffman gave an upper bound for the number of Reidemeister moves needed for unknotting a knot diagram of the trivial knot. However, exchange or merge moves on the top and bo...

Ando, Tatsuo; Hayashi, Chuichiro; Nishikawa, Yuki

2014-01-01

445

Probability measures on the space of persistence diagrams

International Nuclear Information System (INIS)

This paper shows that the space of persistence diagrams has properties that allow for the definition of probability measures which support expectations, variances, percentiles and conditional probabilities. This provides a theoretical basis for a statistical treatment of persistence diagrams, for example computing sample averages and sample variances of persistence diagrams. We first prove that the space of persistence diagrams with the Wasserstein metric is complete and separable. We then prove a simple criterion for compactness in this space. These facts allow us to show the existence of the standard statistical objects needed to extend the theory of topological persistence to a much larger set of applications

446

Diagram-Based Support for Collaborative Learning in Mathematical Exercise

This paper focuses on the collaborative learning of mathematics in which learners effectively acquire knowledge of common exercises through discussion with other learners. During collaborative learning, learners sometimes cannot solve exercises successfully, because they cannot derive answers by themselves or they hesitate to propose answers through discussion. To cope with such situations, this paper proposes two support functions using diagrams to encourage active discussion, since diagrams are often used to graphically illustrate mathematical concepts. One function indicates the differences between learner diagrams and the group diagram in order to encourage participation in discussions. To compare the characteristics of diagrams drawn by different learners, internal representation of the diagram, which consists of types of figures and remarkable relations to other figures, is introduced. The other function provides hints in the group diagram so that all learners can consider their answers collaboratively through discussions. Since preparing hints for all exercises is difficult, rules for drawing supplementary figures, which are general methods for drawing supplementary figures that correspond to individual answering methods/formulas, are also developed. By applying available rules to current group diagram, appropriate supplementary figures that can solve current learning situations may be generated. The experimental results showed that the generated hints successfully increased the number of utterances in the groups. Moreover, learners were also able to derive answers by themselves and tended to propose more opinions in discussions when the uniqueness of their diagrams was indicated.

Kojiri, Tomoko; Murase, Yosuke; Watanabe, Toyohide

447

Visualization design and verification of Ada tasking using timing diagrams

The use of timing diagrams is recommended in the design and testing of multi-task Ada programs. By displaying the task states vs. time, timing diagrams can portray the simultaneous threads of data flow and control which characterize tasking programs. This description of the system's dynamic behavior from conception to testing is a necessary adjunct to other graphical techniques, such as structure charts, which essentially give a static view of the system. A series of steps is recommended which incorporates timing diagrams into the design process. Finally, a description is provided of a prototype Ada Execution Analyzer (AEA) which automates the production of timing diagrams from VAX/Ada debugger output.

Vidale, R. F.; Szulewski, P. A.; Weiss, J. B.

1986-01-01

448

Binary Decision Diagrams for Affine Approximation

Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this classical approach, querying uses Horn over- and under-approximations of a given knowledge-base, which is represented as a propositional formula in conjunctive normal form (CNF). Along with the class of Horn functions, one could imagine other Boolean function classes that might serve the same purpose, owing to attractive deduction-computational properties similar to those of the Horn functions. Indeed, Zanuttini has suggested that the class of affine Boolean functions could be useful in knowledge compilation and has presented an affine approximation algorithm. Since CNF is awkward for presenting affine functions, Zanuttini considers both a sets-of-models representation and the use of modulo 2 congruence equations. In this paper, we propose an algorithm based on reduced ordered bina...

Henshall, Kevin; Sondergaard, Harald; Whiting, Leigh

2008-01-01

449

Probing the QCD phase diagram with fluctuations

The relevance of higher order cumulants of conserved charges for the analysis of freeze-out and critical conditions in heavy ion collisions at LHC and RHIC is discussed. Using properties of $O(4)$ scaling functions, the generic structure of these higher cumulants at vanishing baryon chemical potential is discussed. Chiral model calculations are then used to study their properties at non-zero baryon chemical potential. It is argued that the rapid variation of sixth and higher order cumulants at the phase boundary may be used to explore the QCD phase diagram in experiment. Moreover, results for the Polyakov loop susceptibilities in SU(3) lattice gauge theory as well as in (2+1) flavor lattice QCD are discussed. An analysis of the ratios of susceptibilities indicates that the deconfinement transition is reflected in characteristic modifications of these ratios.

Friman, Bengt

2014-01-01

450

Calculation of superalloy phase diagrams. IV

International Nuclear Information System (INIS)

Explicit descriptions of the Fe--Mo, Fe--W, Fe--Nb, W--Cr and Ti--W binary systems have been developed in line with lattice stability, thermochemical and phase diagram data. These descriptions, along with similar results derived previously, have been employed to calculate isothermal sections in the Cr--Al--Fe, Fe--Mo--Cr, Fe--W--Cr, Ni--Al--Co, Nb--Ti--W, Ti--W--Mo, Cr--W--Mo, Ni--Mo--W, and Ni--W--Ti systems for comparison with experimental results. The effects of carbon impurities on miscibility gap formation in the Ti--W, Nb--Ti--W, Ti--W--Mo and Cr--W--Mo systems are discussed

451

Recent results in Ring Diagram analysis

The ring-diagram technique was developed by Frank Hill 25 years ago and developed quickly during the late 1990s. It is nowadays one of the most commonly used techniques in local helioseismology. The method consists in the power spectral analysis of solar acoustic oscillations on small regions (2 to 30 degrees) of the solar surface. The power spectrum resembles a set of trumpets nested inside each other and, for a given frequency, it looks like a ring, hence the technique's name. It provides information on the horizontal flow field and thermodynamic structure in the layers immediately below the photosphere. With data regularly provided by MDI (on board SOHO), GONG+ network and more recently HMI (on SDO), many important results have been achieved. In recently years, these results include estimations of the meridional circulation and its evolution with solar cycle; flows associated with active regions, as well as, flow divergence and vorticity; and thermal structure beneath and around active regions. Much progre...

Rabello-Soares, M Cristina

2013-01-01

452

The terbium-iron phase diagram

International Nuclear Information System (INIS)

The terbium-iron phase diagram has been determined using metallographic, X-ray diffraction, differential thermal analysis, and electron microprobe techniques. The terminal solubilities of the two elements are extremely restricted, of the order of 0.1 at.% for Tb in Fe. A eutectic reaction takes place at 28 at.% Fe, 8470C. The four intermetallic compounds, TbFe2, TbFe3, Tb6Fe23, and Tb2Fe17 melt non-congruently at 1187, 1212, 1276, and 13120C, respectively. The Tb2Fe17 compound appears in the rhombohedral Th2Zn17 modification on the Tb-rich side and in the hexagonal Th2Ni17 modification on the Fe-rich side of the stoichiometric composition. (Auth.)

453

Stages of the 'actual' loading diagram

International Nuclear Information System (INIS)

Characteristics of the loading diagrams for polycrystalline ?-Fe, alloys BT-1 and BT-6 with submicrocrystalline (SMC) structure, as well as polycrystalline Al+5% Mg and Al+10% Al2O3 with a pronounced effect of intermittent flow, were obtained, taking into account the deformation of the sample in zone of the neck formation before the fraction. The method for measuring the degree of plastic deformation in the local zone of minimum cross-section was offered. It is shown that for determination the stages of strain hardening material during loading is fundamentally important the consideration of plastic strain localization in the local volume of the sample at the stage forming the neck before the fracture of the material.

454

Bianchi I meets the Hubble diagram

We improve existing fits of the Bianchi I metric to the Hubble diagram of supernovae and find an intriguing yet non-significant signal for anisotropy that should be verified or falsified in the near future by the Large Synoptic Survey Telescope. Since the literature contains two different formulas for the apparent luminosity as a function of time of flight in Bianchi I metrics, we present an independent derivation confirming the result by Saunders (1969). The present fit differs from earlier ones by Koivisto & Mota and by Campanelli et al. in that we use Saunders' formula, a larger sample of supernovae, Union 2 and JLA, and we use the general Bianchi I metric with three distinct eigenvalues.

Schucker, Thomas; Valent, Galliano

2014-01-01

455

Transformation of BPMN Diagrams to YAWL Nets

Directory of Open Access Journals (Sweden)

Full Text Available Business Process Modeling Notation (BPMN is the de facto standard for modeling business processes on a conceptual level. However, BPMN lacks a formal semantics and many of its features need to be further interpret, Consequently that hinders BPMN as a standard to statically check the semantic correctness of models. YAWL (Yet Another Workflow Language allows the specification of executable workflow models. A transformation between these two languages enables the integration of different levels of abstraction in process modeling. This paper discusses how to transform BPMN diagrams to YAWL nets. The benefits of the transformation are threefold. Firstly, it clarifies the semantics of BPMN via a mapping to YAWL. Secondly, the deployment of BPMN business process models is simplified. Thirdly, BPMN models can be analyzed with YAWL verification tools.

Jianhong Ye

2010-04-01

456

The phase diagram of random threshold networks

International Nuclear Information System (INIS)

Threshold networks are used as models for neural or gene regulatory networks. They show rich dynamical behaviour with a transition between a frozen phase and a chaotic phase. We investigate the phase diagram of randomly connected threshold networks with real-valued thresholds h and a fixed number of inputs per node. The nodes are updated according to the same rules as in a model of the cell-cycle network of Saccharomyces cereviseae (Li et al 2004 Proc. Natl Acad. Sci. USA 101 4781-6). Using the annealed approximation, we derive expressions for the time evolution of the proportion of nodes in the 'on' and 'off' states, and for the sensitivity ?. The results are compared with simulations of quenched networks. We find that for integer values of h the simulations show marked deviations from the annealed approximation even for large networks. This can be attributed to the particular choice of the updating rule

457

Improving perturbation theory with cactus diagrams

We study a systematic improvement of perturbation theory for gauge fields on the lattice [hep-lat/0606001]; the improvement entails resumming, to all orders in the coupling constant, a dominant subclass of tadpole diagrams. This method, originally proposed for the Wilson gluon action, is extended here to encompass all possible gluon actions made of closed Wilson loops; any fermion action can be employed as well. The effect of resummation is to replace various parameters in the action (coupling constant, Symanzik and clover coefficient) by ``dressed'' values; the latter are solutions to certain coupled integral equations, which are easy to solve numerically. Some positive features of this method are: a) It is gauge invariant, b) it can be systematically applied to improve (to all orders) results obtained at any given order in perturbation theory, c) it does indeed absorb in the dressed parameters the bulk of tadpole contributions. Two different applications are presented: The additive renormalization of fermio...

Constantinou, M; Skouroupathis, A; Constantinou, Martha; Panagopoulos, Haralambos; Skouroupathis, Apostolos

2006-01-01

458

Influence Diagrams for Optimal Maintenance Planning

DEFF Research Database (Denmark)

Over the last two decades Bayesian networks and influence diagrams have received notable attention within the field of artificial intelligence and expert systems. During the last few years the technology has been further developed for problem solving within other engineering fields. The objective of this study is to present a conceptual bayesian network model for probabilistic prediction of fatigue crack growth in welded steel tubes. It is shown that despite discretization of the variable domain, the prediction is in good agreement with results obtained by the well-established structural reliability methods FORM/SORM. The Bayesian network model is argumented by decision and utility nodes, thus forming a full decision model for inspection planning. With the applied program package the optimal inspection plan is easily obtained. Moreover, the updating facilities allow for fast changes of the inspection plan when new knowledge becomes availabe.

Friis-Hansen, Andreas

2000-01-01

459

REPRESENTING MARKOV CHAINS WITH TRANSITION DIAGRAMS

Directory of Open Access Journals (Sweden)

Full Text Available Stochastic processes have many useful applications and are taught in several university programmes. Students often encounter difficulties in learning stochastic processes and Markov chains, in particular. In this article we describe a teaching strategy that uses transition diagrams to represent a Markov chain and to re-define properties of its states in simple terms of directed graphs. This strategy utilises the studentsâ?? intuition and makes the learning of complex concepts about Markov chains faster and easier. The method is illustrated by worked examples. The described strategy helps students to master properties of finite Markov chains, so they have a solid basis for the study of infinite Markov chains and other stochastic processes.

Farida Kachapova

2013-01-01

460

Bayesian Image Reconstruction Based on Voronoi Diagrams

We present a Bayesian Voronoi image reconstruction technique (VIR) for interferometric data. Bayesian analysis applied to the inverse problem allows us to derive the a-posteriori probability of a novel parameterization of interferometric images. We use a variable Voronoi diagram as our model in place of the usual fixed pixel grid. A quantization of the intensity field allows us to calculate the likelihood function and a-priori probabilities. The Voronoi image is optimized including the number of polygons as free parameters. We apply our algorithm to deconvolve simulated interferometric data. Residuals, restored images and chi^2 values are used to compare our reconstructions with fixed grid models. VIR has the advantage of modeling the image with few parameters, obtaining a better image from a Bayesian point of view.

Cabrera, G F; Hitschfeld, N

2007-01-01