These are representative sample records from Science.gov related to your search topic.
For comprehensive and current results, perform a real-time search at Science.gov.
1

Assessing the Comprehension of UML Class Diagrams via Eye Tracking  

Microsoft Academic Search

Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtrusive manner as users performed various comprehension tasks on UML class diagrams. The goal of the study is to identify specific characteristics of UML class diagrams, such as layout, color, and

Shehnaaz Yusuf; Huzefa H. Kagdi; Jonathan I. Maletic

2007-01-01

2

Automatic Code Generation From UML Class and Statechart Diagrams  

E-print Network

Fariha and our children, Rameen and Sarmad for their love, encouragement and support #12;1 Abstract of automated software tools that facilitate the development process from analysis through coding. In UML of the classes is represented by a set of statechart diagrams. To facilitate the software development process

Tanaka, Jiro

3

Composition Inference for UML Class Diagrams Ana Milanova  

E-print Network

-to analysis, reverse engineering, ownership 1. INTRODUCTION In modern software development design recovery through reverse engineering is performed often; in a typical iterative development process reverse in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships

Bystroff, Chris

4

An Empirical Study on the Comprehension of Stereotyped UML Class Diagram Layouts  

E-print Network

An Empirical Study on the Comprehension of Stereotyped UML Class Diagram Layouts Bonita Sharif@cs.kent.edu, jmaletic@cs.kent.edu Abstract An empirical study is presented that investigates how stereotype based. Along with general aesthetics, the layouts are primarily organized based on the class stereotypes

Maletic, Jonathan I.

5

The effect of layout on the comprehension of UML class diagrams: A controlled experiment  

Microsoft Academic Search

The results of a controlled experiment assessing the effects of different layout strategies on the comprehension of UML class diagrams of two software systems is presented. Six different categories of software comprehension tasks, with varying degrees of difficulty, are used to assess the layouts. Each task consists of several questions aimed at measuring the comprehensibility of a layout. The study

Bonita Sharif; Jonathan I. Maletic

2009-01-01

6

Supporting collaborative learning and problem-solving in a constraint-based CSCL environment for UML class diagrams  

Microsoft Academic Search

We present COLLECT-UML, a constraint-based intelligent tutoring system (ITS) that teaches object-oriented analysis and design\\u000a using Unified Modelling Language (UML). UML is easily the most popular object-oriented modelling technology in current practice.\\u000a While teaching how to design UML class diagrams, COLLECT-UML also provides feedback on collaboration. Being one of constraint-based\\u000a tutors, COLLECT-UML represents the domain knowledge as a set of

Nilufar Baghaei; Antonija Mitrovic; Warwick Irwin

2007-01-01

7

Designing UML diagrams for technical documentation  

Microsoft Academic Search

This paper presents a framework for improving the presentation of Unified Modeling Language (UML) diagrams, as applied in technical documentation produced at the IBM Toronto Software Laboratory. UML diagrams are a key part of program design. They can enhance understanding of complex programming concepts, and assist in problem analysis and solution design. In turn, UML diagrams can add significant value

Neil MacKinnon; Steve Murphy

2003-01-01

8

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited  

E-print Network

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited Shahar Maoz , Jan Oliver Ringert present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existingAlloy uses a deeper embedding strategy. Rather than mapping each CD construct to a semantically

Maoz, Shahar

9

An Experiment in Using Model Driven Development: Compiling UML State Diagrams into VHDL  

E-print Network

Driven Development techniques as a means of compiling UML State Diagrams into synthesisable VHDL code need significant improvement in the MDD tools and techniques in order to make this an easily useableAn Experiment in Using Model Driven Development: Compiling UML State Diagrams into VHDL David

Bordbar, Behzad

10

The BPM to UML activity diagram transformation using XSLT  

E-print Network

business processes of an organization. Problems con- nected with a complexity of notation and missing, 118 00, Praha 1, Czech Republic karel.richta@mff.cuni.cz Abstract. The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe

11

Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains  

Microsoft Academic Search

The objective of this paper is to automatically generate a MCUM (Markov chain usage model) starting from an OMG UML-SD (sequence diagram) in order to derive TTCN-3 (testing and test control notation version 3) compatible test case definitions. Our approach is a combination of statistical usage testing and specification-based testing. Within this paper, special attention is given to international standardized

Matthias Beyer; Winfried Dulz; Fenhua Zhen

2003-01-01

12

From UML to Alloy and Back Again Seyyed M.A. Shah, Kyriakos Anastasakis, and Behzad Bordbar  

E-print Network

From UML to Alloy and Back Again Seyyed M.A. Shah, Kyriakos Anastasakis, and Behzad Bordbar School in the design domain. This paper presents a study involving UML2Alloy, a tool for transforming UML models in form of UML class diagrams which are augmented with OCL constraints, to Alloy. The conversion allows

Bordbar, Behzad

13

Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams  

Microsoft Academic Search

(Abstract)Safety analysis is very important to the software system which matches the safety requirement. Based on the model of safety-critical software, this paper analyzes the existing safety analysis methods and UML modeling language in the applications of safety-critical software, proposes a new method of safety description against the weakness of UML modeling language, and sets up a model of ATP

HUANG Yi-jun; XU Zhong-wei

14

Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations  

Microsoft Academic Search

Agent-oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase requirements which includes organizational contexts, stakeholder intentions and rationale. On the other hand, Unified Modeling Language (UML) is suitable for later phases of requirement capture which usually focus on completeness, consistency, and automated verification of functional requirements for the new system. In this paper, we

Moshiur Bhuiyan; M. M. Zahidul Islam; Aneesh Krishna; Aditya K. Ghose

2007-01-01

15

Doclet To Synthesize UML  

NASA Technical Reports Server (NTRS)

The RoseDoclet computer program extends the capability of Java doclet software to automatically synthesize Unified Modeling Language (UML) content from Java language source code. [Doclets are Java-language programs that use the doclet application programming interface (API) to specify the content and format of the output of Javadoc. Javadoc is a program, originally designed to generate API documentation from Java source code, now also useful as an extensible engine for processing Java source code.] RoseDoclet takes advantage of Javadoc comments and tags already in the source code to produce a UML model of that code. RoseDoclet applies the doclet API to create a doclet passed to Javadoc. The Javadoc engine applies the doclet to the source code, emitting the output format specified by the doclet. RoseDoclet emits a Rose model file and populates it with fully documented packages, classes, methods, variables, and class diagrams identified in the source code. The way in which UML models are generated can be controlled by use of new Javadoc comment tags that RoseDoclet provides. The advantage of using RoseDoclet is that Javadoc documentation becomes leveraged for two purposes: documenting the as-built API and keeping the design documentation up to date.

Barry, Matthew R.; Osborne, Richard N.

2005-01-01

16

Realization of UML Class and State Machine Models in the C# Code Generation and Execution Framework  

Microsoft Academic Search

Many benefits are expected due to usage of code generation tools. A reliable application should be created effectively based on complex structural and behavioral models. Model driven approach for program development is realized in Framework for eXecutable UML (FXU). The tool transforms UML models into C# source code and supports execution of the application reflecting the behavioral model. The framework

Anna Derezinska; Romuald Pilitowski

2009-01-01

17

An Investigation of Difficulties Experienced by Students Developing Unified Modelling Language (UML) Class and Sequence Diagrams  

ERIC Educational Resources Information Center

Object-oriented analysis and design (OOAD) is not an easy subject to learn. There are many challenges confronting students when studying OOAD. Students have particular difficulty abstracting real-world problems within the context of OOAD. They are unable to effectively build object-oriented (OO) models from the problem domain because they…

Sien, Ven Yu

2011-01-01

18

Precise Identification of Composition Relationships for UML Class Diagrams Ana Milanova  

E-print Network

in reverse engineering tools that support itera- tive model-driven development. 1. Introduction In modern software development design recovery through reverse engineering is performed often; in a typ- ical iterative development process reverse engineering is performed at the beginning of every iteration to re

Bystroff, Chris

19

UML Tutorial  

NSDL National Science Digital Library

It provides a very high level introduction to UML. It also suggests some further reading materials on business process modeling, the use case model, the logical model, the component model and the dynamic model. (UNC E-Learning Grant)

2007-01-23

20

A formal and sound transformation from Focal to UML : an application to airport security regulations  

Microsoft Academic Search

We propose an automatic transformation of Focal specifications to UML class diagrams. The main motivation for this work lies within the framework of the EDEMOI project, which aims to integrate and apply several requirements engineering and formal methods techniques to analyze airport\\u000a security regulations. The idea is to provide a graphical documentation of formal models for developers, and in the

David Delahaye; Jean-frédéric Étienne; Véronique Viguié Donzeau-Gouge

2008-01-01

21

Formalizing Computer Forensics Process with UML  

Microsoft Academic Search

This paper introduces modeling methodologies to computer forensics to provide formalism and structured approach to computer\\u000a forensics activities. It studies how to use UML diagrams to model and visualize various aspects of a computer forensics system.\\u000a It first applies UML to model the basic components of a computer forensic process and their relationships. It then uses UML\\u000a to further visualize

Chun Ruan; Ewa Huebner

2009-01-01

22

Automatic Synthesis of UML Designs from Requirements in an Iterative Process  

NASA Technical Reports Server (NTRS)

The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented systems. UML combines various object-oriented graphical design notations under one common framework. A major factor for the broad acceptance of UML is that it can be conveniently used in a highly iterative, Use Case (or scenario-based) process (although the process is not a part of UML). Here, the (pre-) requirements for the software are specified rather informally as Use Cases and a set of scenarios. A scenario can be seen as an individual trace of a software artifact. Besides first sketches of a class diagram to illustrate the static system breakdown, scenarios are a favorite way of communication with the customer, because scenarios describe concrete interactions between entities and are thus easy to understand. Scenarios with a high level of detail are often expressed as sequence diagrams. Later in the design and implementation stage (elaboration and implementation phases), a design of the system's behavior is often developed as a set of statecharts. From there (and the full-fledged class diagram), actual code development is started. Current commercial UML tools support this phase by providing code generators for class diagrams and statecharts. In practice, it can be observed that the transition from requirements to design to code is a highly iterative process. In this talk, a set of algorithms is presented which perform reasonable synthesis and transformations between different UML notations (sequence diagrams, Object Constraint Language (OCL) constraints, statecharts). More specifically, we will discuss the following transformations: Statechart synthesis, introduction of hierarchy, consistency of modifications, and "design-debugging".

Schumann, Johann; Whittle, Jon; Clancy, Daniel (Technical Monitor)

2001-01-01

23

Biomedical Terminology Mapper for UML projects  

PubMed Central

As the biomedical community collects and generates more and more data, the need to describe these datasets for exchange and interoperability becomes crucial. This paper presents a mapping algorithm that can help developers expose local implementations described with UML through standard terminologies. The input UML class or attribute name is first normalized and tokenized, then lookups in a UMLS-based dictionary are performed. For the evaluation of the algorithm 142 UML projects were extracted from caGrid and automatically mapped to National Cancer Institute (NCI) terminology concepts. Resulting mappings at the UML class and attribute levels were compared to the manually curated annotations provided in caGrid. Results are promising and show that this type of algorithm could speed-up the tedious process of mapping local implementations to standard biomedical terminologies. PMID:24303278

Thibault, Julien C.; Frey, Lewis

24

Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product Line Organizations  

Microsoft Academic Search

UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today's UML modeling tools support sophisticated

Mervi Koivulahti-Ojala; Timo Käkölä

2010-01-01

25

UML MODELLING OF DIGITAL FORENSIC PROCESS MODELS (DFPMs)  

Microsoft Academic Search

A number of forensic processes have been used successfully in the field of Digital Forensics. The aim of this paper is to model some of these processes by using the Unified Modeling Language (UML) - specifically the behavioural Use Cases and Activity diagrams. This modelling gives a clear indication of the limitations of these processes. A UML-based comparison is made

Michael Kohn; J. H. P. Elo

26

Manipulation of 3-dimensional Visualizations of Java Class Relations  

Microsoft Academic Search

The construction of large-scale programs is sup- ported by tools an engineer may use to graphically design the structure of a software under develop- ment. Diagrams, such as UML class diagrams, are then automatically translated into code-frames. Functionality is implemented in a textual manner. In this paper, we contribute to this procedure in a different way. Instead of using two

Klaus Alfert; Alexander Fronk

2002-01-01

27

A UML 2.0 profile for WebML modeling  

Microsoft Academic Search

In recent years, we have witnessed how the Web Engineer- ing community considers the use of standard UML nota- tion, techniques and supporting tools for modeling Web sys- tems, including the adaptation of their own modeling lan- guages, representation diagrams and development processes to UML. This interest for being MOF and UML-compliant arises from the increasing need to be able

Nathalie Moreno; Piero Fraternalli; Antonio Vallecillo

2006-01-01

28

Modeling the UMLS using an OODB.  

PubMed Central

The Unified Medical Language System combines many well established authoritative medical informatics terminologies in one system. Such a resource is very valuable to the healthcare industry. However, the UMLS is very large and complex and poses serious comprehension problems for users and maintenance personnel. Furthermore, the sets of concepts of semantic types are not semantically uniform and thus are difficult to study. We describe a method to represent two components of the UMLS, the Metathesaurus (META) and the Semantic Network, as an OODB. The resulting UMLS OODB schema is deeper and more refined than the Semantic Network. It offers semantically uniform classes, which improves support for comprehension and navigation of META. The UMLS OODB also exposes problems in the semantic type classifications. PMID:10566325

Gu, H.; Perl, Y.; Geller, J.; Halper, M.; Liu, L. M.; Cimino, J. J.

1999-01-01

29

UML-PSI: The UML Performance Simulator  

Microsoft Academic Search

In this paper we describe UML- , a software performance evaluation tool based on process-oriented simulation. The tool can be used to evaluate performances of software systems which are described at a high level of abstraction. This allows the software modeler to estimate the system performances before actually building it, at the design phase. We consider software specifications as Unified

Moreno Marzolla; Simonetta Balsamo

2004-01-01

30

UMLAnT: an Eclipse plugin for animating and testing UML designs  

Microsoft Academic Search

We describe the UML Animator and Tester (UMLAnT), which is an Eclipse plug-in for animating and testing UML models. UMLAnT can be used both by developers in the software industry and students who are learning concepts in object-oriented modeling. UMLAnT helps designers visualize the behavior specified in a UML model by displaying animated object diagrams and sequence diagrams. UMLAnT allows

Trung T. Dinh-trong; Sudipto Ghosh; Michael Hamilton; Brent Wilkins

2005-01-01

31

Comprehensive Aspectual UML Approach to Support AspectJ  

PubMed Central

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; Mohd. Ali, Noorazean

2014-01-01

32

Formalizing Spider Diagrams  

Microsoft Academic Search

Geared to complement UML and to the specification of large software systems by non-mathematicians,spider di- agrams are a visual language that generalizes the popu- lar and intuitive Venn diagrams and Euler circles. The language design emphasized scalability and expressiveness while retaining intuitiveness. In this extended abstract we describe spider diagrams from a mathematical standpoint and show how their formal semantics

Joseph Gil; John Howse; Stuart Kent

1999-01-01

33

Analysis of UML Stereotypes within the UML Metamodel  

E-print Network

Analysis of UML Stereotypes within the UML Metamodel Martin Gogolla Brian Henderson-Sellers University of Bremen University of Technology, Sydney Abstract. Stereotypes are a powerful and potentially expressive exten- sion mechanism in the Uni#12;ed Modeling Language (UML). However, it seems that stereotypes

Gogolla, Martin - Fachbereich 3

34

Automatic Debugging Support for UML Designs  

NASA Technical Reports Server (NTRS)

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 algorithm which translates requirement specifications in the form of annotated sequence diagrams into structured statecharts. This algorithm detects conflicts between sequence diagrams and inconsistencies in the domain knowledge. After synthesizing statecharts from sequence diagrams, these statecharts usually are subject to manual modification and refinement. By using the "backward" direction of our synthesis algorithm. we are able to map modifications made to the statechart back into the requirements (sequence diagrams) and check for conflicts there. Fed back to the user conflicts detected by our algorithm are the basis for deductive-based debugging of requirements and domain theory in very early development stages. Our approach allows to generate explanations oil why there is a conflict and which parts of the specifications are affected.

Schumann, Johann; Swanson, Keith (Technical Monitor)

2001-01-01

35

BGen: A UML Behavior Network Generator Tool  

NASA Technical Reports Server (NTRS)

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

36

Secure Systems Development with UML  

E-print Network

Secure Systems Development with UML: Applications to Telemedicine Jan Jürjens Software & Systems://www.jurjens.de/jan #12;Jan Jürjens, TU Munich: Secure Systems Development with UML: Telemedicine 2 A need for Security Society and economies rely on computer networks for communication, finance, energy distribution

Jurjens, Jan

37

Implementation of UML Schema to RDBM  

NASA Astrophysics Data System (ADS)

Multiple disciplines - especially those within the earth and physical sciences, and increasingly those within social science and medical fields - require Geographic Information (GI) i.e. information concerning phenomena implicitly or explicitly associated with a location relative to the Earth [1]. Therefore geographic datasets are increasingly being shared, exchanged and frequently used for purposes other than those for which they were originally intended. The ISO Technical Committee 211 (ISO/TC 211) together with Open Geospatial Consortium (OGC) provide a series of standards and guidelines for developing application schemas which should: a) capture relevant conceptual aspects of the data involved; and b) be sufficient to satisfy previously defined use-cases of a specific or cross-domain concerns. In addition, the Hollow World technology offers an accessible and industry-standardised methodology for creating and editing Application Schema UML models which conform to international standards for interoperable GI [2]. We present a technology which seamlessly transforms an Application Schema UML model to a relational database model (RDBM). This technology, using the same UML information model, complements the XML transformation of an information model produced by the FullMoon tool [2]. In preparation for the generation of a RDBM the UML model is first mapped to a collection of OO classes and relationships. Any external dependencies that exist are then resolved through the same mechanism. However, a RDBM does not support a hierarchical (relational) data structure - a function that may be required by UML models. Previous approaches have addressed this problem through use of nested sets or an adjacent list to represent such structure. Our unique strategy addresses the hierarchical data structure issue, whether singular or multiple inheritance, by hiding a delegation pattern within an OO class. This permits the object-relational mapping (ORM) software used to generate the RDBM to easily map the class into the RDBM. In other words the particular structure of the resulting OO class may expose a "composition-like aspect" to the ORM whilst maintaining an "inherited-like aspect" for use within an OO program. This methodology has been used to implement a software application to manages the new CEDA metadata model which is based on MOLES 3.4, Python, Django and SQLAlchemy.

Nagni, M.; Ventouras, S.; Parton, G.

2012-04-01

38

Real-time multispectral imaging system for online poultry fecal inspection using UML  

NASA Astrophysics Data System (ADS)

A prototype real-time multispectral imaging system for fecal and ingesta contaminant detection on broiler carcasses has been developed. The prototype system includes a common aperture camera with three optical trim filters (517, 565 and 802-nm wavelength), which were selected by visible/NIR spectroscopy and validated by a hyperspectral imaging system with decision tree algorithm. The on-line testing results showed that the multispectral imaging technique can be used effectively for detecting feces (from duodenum, ceca, and colon) and ingesta on the surface of poultry carcasses with a processing speed of 140 birds per minute. This paper demonstrated both multispectral imaging hardware and real-time image processing software. For the software development, the Unified Modeling Language (UML) design approach was used for on-line application. The UML models included class, object, activity, sequence, and collaboration diagram. User interface model included seventeen inputs and six outputs. A window based real-time image processing software composed of eleven components, which represented class, architecture, and activity. Both hardware and software for a real-time fecal detection were tested at the pilot-scale poultry processing plant. The run-time of the software including online calibration was fast enough to inspect carcasses on-line with an industry requirement. Based on the preliminary test at the pilot-scale processing line, the system was able to acquire poultry images in real-time. According to the test results, the imaging system is reliable for the harsh environments and UML based image processing software is flexible and easy to be updated when additional parameters are needed for in-plant trials.

Park, Bosoon; Kise, Michio; Lawrence, Kurt C.; Windham, William R.; Smith, Douglas P.; Thai, Chi N.

2006-10-01

39

UML Profiles for Design Decisions and Non-Functional Requirements  

SciTech Connect

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

40

Time Exceptions in Sequence Diagrams Oddleif Halvorsen1  

E-print Network

. We give a for- mal definition of time exceptions in sequence diagrams and show that the concepts Both the UML 2.1 simple time model (Sect. 2.1) and the UML profile for Schedulability, Performance and Time (Sect. 2.2) introduce concepts and no- tations for defining time constraints, but do not consider

Runde, Ragnhild Kobro

41

A UML profile for the OBO relation ontology  

PubMed Central

Background Ontologies have increasingly been used in the biomedical domain, which has prompted the emergence of different initiatives to facilitate their development and integration. The Open Biological and Biomedical Ontologies (OBO) Foundry consortium provides a repository of life-science ontologies, which are developed according to a set of shared principles. This consortium has developed an ontology called OBO Relation Ontology aiming at standardizing the different types of biological entity classes and associated relationships. Since ontologies are primarily intended to be used by humans, the use of graphical notations for ontology development facilitates the capture, comprehension and communication of knowledge between its users. However, OBO Foundry ontologies are captured and represented basically using text-based notations. The Unified Modeling Language (UML) provides a standard and widely-used graphical notation for modeling computer systems. UML provides a well-defined set of modeling elements, which can be extended using a built-in extension mechanism named Profile. Thus, this work aims at developing a UML profile for the OBO Relation Ontology to provide a domain-specific set of modeling elements that can be used to create standard UML-based ontologies in the biomedical domain. Results We have studied the OBO Relation Ontology, the UML metamodel and the UML profiling mechanism. Based on these studies, we have proposed an extension to the UML metamodel in conformance with the OBO Relation Ontology and we have defined a profile that implements the extended metamodel. Finally, we have applied the proposed UML profile in the development of a number of fragments from different ontologies. Particularly, we have considered the Gene Ontology (GO), the PRotein Ontology (PRO) and the Xenopus Anatomy and Development Ontology (XAO). Conclusions The use of an established and well-known graphical language in the development of biomedical ontologies provides a more intuitive form of capturing and representing knowledge than using only text-based notations. The use of the profile requires the domain expert to reason about the underlying semantics of the concepts and relationships being modeled, which helps preventing the introduction of inconsistencies in an ontology under development and facilitates the identification and correction of errors in an already defined ontology. PMID:23095840

2012-01-01

42

Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems  

NASA Astrophysics Data System (ADS)

The intended behavior of any system such as services, tasks or functions can be captured by functional requirements of the system. As our dependence on online services has grown steadily, the web applications are being developed employing the SOA. BPEL4WS provides a means for expressing functional requirements of an SOA-based system by providing constructs to capture business goals and objectives for the system. In this paper we propose an approach for transforming user-centered requirements captured using UML into a corresponding BPEL specification, where the business processes are captured by means of use-cases from which UML sequence diagrams and activity diagrams are extracted. Subsequently these UML models are mapped to BPEL specifications that capture the essence of the initial business requirements to develop the SOA-based system by employing CASE tools. A student housing system is used as a case study to illustrate this approach and the system is validated using NetBeans.

Vemulapalli, Anisha; Subramanian, Nary

43

TC2SMV: UML State Chart Diagram SMV CASE  

E-print Network

) (safety assessment) . , FTA (Fault Tree Analysis) [1], FMEA (Failure Mode and Effect Analysis] [10, 11, 12, 13, 14] [15, 16, 17] . , [15] mechanical software fault tree . Mechanical software fault tree , VIS [18] 2012 Vol.39, No.1(B) #12; mechanical fault tree . 3

44

Modeling Value Chain Analysis of Distance Education using UML  

NASA Astrophysics Data System (ADS)

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

45

UML-Based Integration Testing Jean Hartmann  

E-print Network

execution, UML statecharts, COM/DCOM, CORBA. 1. Introduction While standardized testing strategies and tools of standardized testing techniques and tools for distributed software components has just begun [18]. Three keyUML-Based Integration Testing Jean Hartmann Siemens Corporate Research 755 College Road East

46

Towards a UML Extension for Hypermedia Design  

Microsoft Academic Search

The acceptance of UML as a de facto standard for the de- sign of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for UML extensions to model hy- permedia applications running on the Internet. In this paper we propose such an extension for modeling the navigation and the user interfaces of hypermedia

Hubert Baumeister; Nora Koch; Luis Mandel

1999-01-01

47

UMLsec: Extending UML for Secure Systems  

E-print Network

2 1 UMLsec: Extending UML for Secure Systems Development Jan Jürjens Software & Systems Engineering Munich: UMLsec: Extending UML for Secure Systems Development 2 A need for Security Society and economies rely on computer networks for communication, finance, energy distribution, transportation... Attacks

Jurjens, Jan

48

Defining UML Family Members Using Prefaces  

Microsoft Academic Search

The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular

Steve Cook; Anneke Kleppe; Jos Warmer; Richard Mitchell; Bernhard Rumpe; Alan Cameron Wills

1999-01-01

49

UML for ABM Hugues Bersini  

E-print Network

;Sociological emergent effect · Thomas Schelling experiment · How weak racism creates strong seggregation 5 #12Engine = new Engine();}} ­ 3) class Engine{} 4) class CityCar extends Car{} 5) class SportCar extends Car

Steels, Luc

50

Phase Equilibria Diagrams Database  

National Institute of Standards and Technology Data Gateway

SRD 31 NIST/ACerS Phase Equilibria Diagrams Database (PC database for purchase)   The Phase Equilibria Diagrams Database contains commentaries and more than 21,000 diagrams for non-organic systems, including those published in all 21 hard-copy volumes produced as part of the ACerS-NIST Phase Equilibria Diagrams Program (formerly titled Phase Diagrams for Ceramists): Volumes I through XIV (blue books); Annuals 91, 92, 93; High Tc Superconductors I & II; Zirconium & Zirconia Systems; and Electronic Ceramics I. Materials covered include oxides as well as non-oxide systems such as chalcogenides and pnictides, phosphates, salt systems, and mixed systems of these classes.

51

On the evaluation of a certain class of Feynman diagrams in x-space: Sunrise-type topologies at any loop order  

SciTech Connect

We review recently developed new powerful techniques to compute a class of Feynman diagrams at any loop order, known as sunrise-type diagrams. These sunrise-type topologies have many important applications in many different fields of physics and we believe it to be timely to discuss their evaluation from a unified point of view. The method is based on the analysis of the diagrams directly in configuration space which, in the case of the sunrise-type diagrams and diagrams related to them, leads to enormous simplifications as compared to the traditional evaluation of loops in momentum space. We present explicit formulae for their analytical evaluation for arbitrary mass configurations and arbitrary dimensions at any loop order. We discuss several limiting cases in their kinematical regimes which are e.g. relevant for applications in HQET and NRQCD. We completely solve the problem of renormalization using simple formulae for the counterterms within dimensional regularization. An important application is the computation of the multi-particle phase space in D-dimensional space-time which we discuss. We present some examples of their numerical evaluation in the general case of D-dimensional space-time as well as in integer dimensions D = D{sub 0} for different values of dimensions including the most important practical cases D{sub 0} = 2, 3, 4. Substantial simplifications occur for odd integer space-time dimensions where the final results can be expressed in closed form through elementary functions. We discuss the use of recurrence relations naturally emerging in configuration space for the calculation of special series of integrals of the sunrise topology. We finally report on results for the computation of an extension of the basic sunrise topology, namely the spectacle topology and the topology where an irreducible loop is added.

Groote, S. [Tartu Ulikooli Teoreetilise Fueuesika Instituut, Taehe 4, EE-51010 Tartu (Estonia); Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany)], E-mail: groote@thep.physik.uni-mainz.de; Koerner, J.G. [Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany); Pivovarov, A.A. [Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany); Institute for Nuclear Research of the Russian Academy of Sciences, Moscow 117312 (Russian Federation)

2007-10-15

52

Sculpting the UMLS Refined Semantic Network  

PubMed Central

Background The Refined Semantic Network (RSN) for the UMLS was previously introduced to complement the UMLS Semantic Network (SN). The RSN partitions the UMLS Metathesaurus (META) into disjoint groups of concepts. Each such group is semantically uniform. However, the RSN was initially an order of magnitude larger than the SN, which is undesirable since to be useful, a semantic network should be compact. Most semantic types in the RSN represent combinations of semantic types in the UMLS SN. Such a “combination semantic type” is called Intersection Semantic Type (IST). Many ISTs are assigned to very few concepts. Moreover, when reviewing those concepts, many semantic type assignment inconsistencies were found. After correcting those inconsistencies many ISTs, among them some that contradicted UMLS rules, disappeared, which made the RSN smaller. Objective The authors performed a longitudinal study with the goal of reducing the size of the RSN to become compact. This goal was achieved by correcting inconsistencies and errors in the IST assignments in the UMLS, which additionally helped identify and correct ambiguities, inconsistencies, and errors in source terminologies widely used in the realm of public health. Methods In this paper, we discuss the process and steps employed in this longitudinal study and the intermediate results for different stages. The sculpting process includes removing redundant semantic type assignments, expanding semantic type assignments, and removing illegitimate ISTs by auditing ISTs of small extents. However, the emphasis of this paper is not on the auditing methodologies employed during the process, since they were introduced in earlier publications, but on the strategy of employing them in order to transform the RSN into a compact network. For this paper we also performed a comprehensive audit of 168 “small ISTs” in the 2013AA version of the UMLS to finalize the longitudinal study. Results Over the years it was found that the editors of the UMLS introduced some new inconsistencies that resulted in the reintroduction of unwarranted ISTs that had already been eliminated as a result of their previous corrections. Because of that, the transformation of the RSN into a compact network covering all necessary categories for the UMLS was slowed down. The corrections suggested by an audit of the 2013AA version of the UMLS achieve a compact RSN of equal magnitude as the UMLS SN. The number of ISTs has been reduced to 336. We also demonstrate how auditing the semantic type assignments of UMLS concepts can expose other modeling errors in the UMLS source terminologies, e.g., SNOMED CT, LOINC, and RxNORM that are important for health informatics. Such errors would otherwise stay hidden. Conclusions It is hoped that the UMLS curators will implement all required corrections and use the RSN along with the SN when maintaining and extending the UMLS. When used correctly, the RSN will support the prevention of the accidental introduction of inconsistent semantic type assignments into the UMLS. Furthermore, this way the RSN will support the exposure of other hidden errors and inconsistencies in health informatics terminologies, which are sources of the UMLS. Notably, the development of the RSN materializes the deeper, more refined Semantic Network for the UMLS that its designers envisioned originally but had not implemented.

Morrey, C. Paul; Perl, Yehoshua; Elhanan, Gai; Chen, Ling; Chen, Yan; Geller, James

2014-01-01

53

Extended Activity Diagrams for Adaptive Workflow Modelling  

Microsoft Academic Search

Activity diagrams are a recognized form of modelling real time systems and have been included in the list of UML techniques for modelling the dynamic aspects of object oriented systems. In this paper, we explain how workflow techniques can be used for developing models of larger chunks of systems. These chunks are expressed through the use of worklets. This can

Elizabeth Chang; E. Gautama; Tharam S. Dillon

2001-01-01

54

Automated Measurement of UML Models: an open toolset approach  

Microsoft Academic Search

The Unified Modeling Language (UML) is the de facto standard language for modeling object-oriented software systems. As the importance of UML within organizations increases, the need for measuring UML models arises. This paper describes a UML measurement tool that not only fully supports the measurement of models according to the most popular metrics definitions, but also provides an open measurement

Luigi Lavazza; Alberto Agostini

2005-01-01

55

Formal Definition of UML's Package Concept  

Microsoft Academic Search

: UML is the first OO modeling language with a useful modularizationand information hiding concept. It supports nesting, import, and refinement ofso-called packages. This paper translates UML's informal package definition intopredicate logic formulas and solves some open problems concerning the visibilityof exported and imported modeling elements.Furthermore, the formulas will be transformed into a specification based on PROgrammedGraph REwriting Systems. We

A. Schurr; Rwth Aachen

1998-01-01

56

SecureUML: A UML-Based Modeling Language for Model-Driven Security  

Microsoft Academic Search

Abstract We present a modeling language for the model - driven development of secure, distributed systems based on the Unified Modeling Language (UML) Our approach is based on role - based access control with additional support for specifying authorization constraints We show how UML can be used to spec - ify information related to access control in the overall design

Torsten Lodderstedt; David A. Basin; Jürgen Doser

2002-01-01

57

Mapping Cancer Patients' Symptoms to UMLS Concepts  

PubMed Central

A prerequisite for patient-friendly personal health records (PHR) is their ability to allow seamless integration of patient terminology with professional terminologies. In this work, we mapped a set of symptoms/problems from the self-assessment component of a cancer patient support system to concepts in the Unified Medical Language System (UMLS) Metathesaurus. Our objective was to learn how the UMLS can be used as a tool to connect patient terminology with professional vocabularies. The mapping to UMLS was done with the help of ten expert cancer nurses who evaluated concepts, their synonyms and placement in the source vocabulary hierarchical structure. The UMLS concepts were also compared with terms and phrases found in patient medical records that addressed the same set of symptoms. In this study we observed several problems related to the use of the UMLS Metathesaurus as a tool to connect from patient-level expressions to professional-level classification systems. More work is needed to increase interoperability between layperson health applications and clinical systems. PMID:16779130

Slaughter, Laura; Ruland, Cornelia; Rotegard, Ann Kristin

2005-01-01

58

Evaluating Reliability of System Sequence Diagram Using Fuzzy Petri Net 1 H.Nematzadeh,  

E-print Network

Abstract-Since UML is semi formal, many researches and effort have been performed to transform this language in to formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative parameters could be achieved with more accuracy. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzer. This paper attempts to transform system sequence diagram created in fuzzy UML into fuzzy Petri net. Then the reliability is calculated.

Safaai Bin Deris

59

The Neighborhood Auditing Tool: A Hybrid Interface for Auditing the UMLS  

PubMed Central

The UMLS’s integration of more than 100 source vocabularies, not necessarily consistent with one another, causes some inconsistencies. The purpose of auditing the UMLS is to detect such inconsistencies and to suggest how to resolve them while observing the requirement of fully representing the content of each source in the UMLS. A software tool, called the Neighborhood Auditing Tool (NAT), that facilitates UMLS auditing is presented. The NAT supports “neighborhood-based” auditing, where, at any given time, an auditor concentrates on a single focus concept and one of a variety of neighborhoods of its closely related concepts. Typical diagrammatic displays of concept networks have a number of shortcomings, so the NAT utilizes a hybrid diagram/text interface that features stylized neighborhood views which retain some of the best features of both the diagrammatic layouts and text windows while avoiding the shortcomings. The NAT allows an auditor to display knowledge from both the Metathesaurus (concept) level and the Semantic Network (semantic type) level. Various additional features of the NAT that support the auditing process are described. The usefulness of the NAT is demonstrated through a group of case studies. Its impact is tested with a study involving a select group of auditors. PMID:19475725

Morrey, C. Paul; Geller, James; Halper, Michael; Perl, Yehoshua

2009-01-01

60

Towards A UML Based Approach to Role Engineering Pete Epstein  

E-print Network

Towards A UML Based Approach to Role Engineering Pete Epstein AT&T Laboratories 6012 Lochanora Lane, Rational is one of these companies who offer the Rose product. UML products generate C* code for a program

Sandhu, Ravi

61

Velocity diagrams  

NASA Technical Reports Server (NTRS)

The selection and design of velocity diagrams for axial flow turbines are considered. Application is treated in two parts which includes: (1) mean-section diagrams, and (2) radial variation of diagrams. In the first part, the velocity diagrams occurring at the mean section are assumed to represent the average conditions encountered by the turbine. The different types of diagrams, their relation to stage efficiency, and their selection when staging is required are discussed. In the second part, it is shown that in certain cases the mean-section diagrams may or may not represent the average flow conditions for the entire blade span. In the case of relatively low hub- to tip-radius ratios, substantial variations in the velocity diagrams are encountered. The radial variations in flow conditions and their effect on the velocity diagrams are considered.

Whitney, W. J.; Stewart, W. L.

1972-01-01

62

UMLsec: Extending UML for Secure Systems Development ?  

E-print Network

UMLsec: Extending UML for Secure Systems Development ? Jan Jurjens ?? Software & Systems Engineering, Dep. of Informatics Munich University of Technology, Germany Abstract. Developing secure-critical systems is diÃ?cult and there are many well-known examples of security weaknesses exploited in practice

Jurjens, Jan

63

UML2Alloy: A Challenging Model Transformation  

E-print Network

UML2Alloy: A Challenging Model Transformation Kyriakos Anastasakis1 , Behzad Bordbar1 , Geri Georg2,iray]@cs.colostate.edu Abstract. Alloy is a formal language, which has been applied to mod- elling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis

Bordbar, Behzad

64

Modeling industrial embedded systems with UML  

Microsoft Academic Search

The main purpose of this paper is to present how the Unified Modeling Language (UML) can be used for modeling industrial embedded systems. By using a car radios production line as a running example, the paper demonstrates the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of

João M. Fernandes; Ricardo Jorge Machado; Henrique D. Santos

2000-01-01

65

USE: A UML-Based Specification Environment for Validating UML and OCL  

E-print Network

today as a de-facto standard for developing software. UML and its sub-language OCL (Warmer and Kleppe semantics of OCL hand in hand with a Java implementation (Richters and Gogolla, 2001) based on an OCL meta

Gogolla, Martin - Fachbereich 3

66

The Optimal Team Size for UML Design Inspections  

Microsoft Academic Search

Recent evidence indicates that the UML (Unified Modeling Language) is the most preferred andwidely used modeling technique for object-oriented analysis and design. With UML becoming sopopular, there is a need to have good quality assurance techniques for projects using it. Ourfocus in this study is on the inspections of UML design documents. The basic premise of softwareinspections is that they

Shaheen Boodoo; Khaled El Emam; Oliver Laintenberger; Nazim Madhavji

2000-01-01

67

UMLS knowledge for biomedical language processing.  

PubMed Central

This paper describes efforts to provide access to the free text in biomedical databases. The focus of the effort is the development of SPECIALIST, an experimental natural language processing system for the biomedical domain. The system includes a broad coverage parser supported by a large lexicon, modules that provide access to the extensive Unified Medical Language System (UMLS) Knowledge Sources, and a retrieval module that permits experiments in information retrieval. The UMLS Metathesaurus and Semantic Network provide a rich source of biomedical concepts and their interrelationships. Investigations have been conducted to determine the type of information required to effect a map between the language of queries and the language of relevant documents. Mappings are never straightforward and often involve multiple inferences. PMID:8472004

McCray, A T; Aronson, A R; Browne, A C; Rindflesch, T C; Razi, A; Srinivasan, S

1993-01-01

68

Second international workshop on Layout of (Software) Engineering diagrams (LED'08)  

Microsoft Academic Search

Traditionally, diagrams play an important role in many disciplines from electrical engineering (e.g. Karnaugh diagrams), civil and mechanical engineering (construction plans), geography (maps), and so on. In Software Engineering, diagrammatic languages like IDEF, UML or ARIS are commonplace today. With the rise of model driven development and domain specific languages, such languages will be even more widespread in the future.

Andrew Fish; Harald Störrle

2008-01-01

69

Phase Diagrams  

NSDL National Science Digital Library

This problem set challenges students to interpret a simplified temperature-composition phase diagram for the system enstatite (Mg2Si2O6) - diopside (CaMgSi2O6), which are common constituents of peridotites, gabbros, and basalts. Students are provided with the phase diagram and asked to answer 13 questions about it.

70

Venn Diagrams and Logic  

NSDL National Science Digital Library

This math lesson from Illuminations uses Venn diagrams to illustrate direct, indirect and transitive reasoning. Students will learn the definitions of direct, indirect and transitive reasoning and give examples of each. Several student activity sheets are included. The material is intended for grades 9-12 and should require 2 and a half class periods to complete.

2011-01-04

71

UML for electronic systems design: a comprehensive overview  

Microsoft Academic Search

UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen\\u000a as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description\\u000a combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC)\\u000a and hardware-related

Yves Vanderperren; Wolfgang Mueller; Wim Dehaene

2008-01-01

72

Geometric Relations Among Voronoi Diagrams  

Microsoft Academic Search

Two general classes of Voronoi diagrams are introduced and, along with their modifications to higher order, are shown to be geometrically related. This geometric background, on one hand, serves to analyze the size and the combinatorial structure, and on the other hand, implies general and efficient methods of construction, for various important types of Voronoi diagrams considered in the literature.

Franz Aurenhammer; Hiroshi Imai

1987-01-01

73

Development of SafetyCritical Systems and Modelbased Risk Analysis with UML  

E-print Network

: -- Adaptating UML to critical system application domains. -- Advancing the correct use of UML in the application­support for critical systems development with UML. The tutorial aims to give background knowledge on using UML can be analyzed mechanically by referring to a precise semantics of the used fragment of UML

Jurjens, Jan

74

Development of Safety-Critical Systems and Model-based Risk Analysis with UML  

E-print Network

: ­ Adaptating UML to critical system application domains. ­ Advancing the correct use of UML in the application-support for critical systems development with UML. The tutorial aims to give background knowledge on using UML be analyzed mechanically by referring to a precise semantics of the used fragment of UML. For critical systems

Jurjens, Jan

75

Utilizing UML and patterns for safety critical systems  

Microsoft Academic Search

This article discusses methods of object-oriented analysis and design in UML suitable for the specific needs developing safety critical software systems, and to which degree safety can be related to components. Different patterns, typical for safety related software, are mapped into UML models. The safety aspects are characterized by that the focus is not only on the fulfillment of functional

Kai T. Hansen; Ingolf Gullesen

76

Developing Safety-Critical Systems with UML Jan Jurjens  

E-print Network

Developing Safety-Critical Systems with UML Jan J¨urjens Software & Systems Engineering, TU Munich, Germany Abstract. Safety-critical systems have to be developed carefully to pre- vent loss of life use UML for model-based development of safety- critical systems with the aim to increase the quality

Jurjens, Jan

77

Extending UML to model GUI: A new profile  

Microsoft Academic Search

Graphical user interfaces (GUIs) are fundamental part of software systems now days. This provides user with a facility to interact with the system. It is very important to clearly specify and precisely analyze GUI requirements before implementation of any system. Traditionally UML is considered as one of successful languages to model software requirements and specifications. But UML does not provide

ABDUL RAUF; M. A. B. U. Rahim; M. Ramzan; A. A. Shahid

2010-01-01

78

Bruno Bouzy 14/06/01 UNIFIED MODELING LANGUAGE (UML)  

E-print Network

principaux auteurs de la notation UML sont Grady Booch, Ivar Jacobson et Jim Rumbaugh. Elle est utilisée pour que OMT (Object Modeling Technique) et OOSE (Object Oriented Software Engineering) et Booch. Les-Alain Muller ­ Modélisation objet avec UML, Eyrolles 1997. Rumbaugh ­ OMT, cours et exercices, Eyrolles. #12

Bouzy, Bruno

79

Guelph Physics Tutorials: Free Body Diagrams  

NSDL National Science Digital Library

This website offers a tutorial on free body diagrams. The tutorial includes an introduction to free body diagrams, example problems, a series of self-paced questions, and a free body diagram java applet. This is part of series of tutorials on physics and mathematics used in physics classes.

2007-04-23

80

Venn diagrams  

NSDL National Science Digital Library

These online resources offer varied opportunities to work with Venn diagrams, one of many tools used in logic and reasoning. Their use is especially helpful in learning foundational notions of definition and set theory. One of the five Process Standards promoted by NCTM, Reasoning and Proof requires middle school students to sharpen such skills as they learn to develop mathematical argument.

National Science Digital Library (NSDL) Middle School Portal Staff

2008-03-10

81

Representing Thoughts, Words, and Things in the UMLS  

PubMed Central

The authors describe a framework, based on the Ogden-Richards semiotic triangle, for understanding the relationship between the Unified Medical Language System (UMLS) and the source terminologies from which the UMLS derives its content. They pay particular attention to UMLS's Concept Unique Identifier (CUI) and the sense of “meaning” it represents as contrasted with the sense of “meaning” represented by the source terminologies. The CUI takes on emergent meaning through linkage to terms in different terminology systems. In some cases, a CUI's emergent meaning can differ significantly from the original sources' intended meanings of terms linked by that CUI. Identification of these different senses of meaning within the UMLS is consistent with historical themes of semantic interpretation of language. Examination of the UMLS within such a historical framework makes it possible to better understand the strengths and limitations of the UMLS approach for integrating disparate terminologic systems and to provide a model, or theoretic foundation, for evaluating the UMLS as a Possible World—that is, as a mathematical formalism that represents propositions about some perspective or interpretation of the physical world. PMID:9760390

Campbell, Keith E.; Oliver, Diane E.; Spackman, Kent A.; Shortliffe, Edward H.

1998-01-01

82

State-Transition Diagrams for Biologists  

PubMed Central

It is clearly in the tradition of biologists to conceptualize the dynamical evolution of biological systems in terms of state-transitions of biological objects. This paper is mainly concerned with (but obviously not limited too) the immunological branch of biology and shows how the adoption of UML (Unified Modeling Language) state-transition diagrams can ease the modeling, the understanding, the coding, the manipulation or the documentation of population-based immune software model generally defined as a set of ordinary differential equations (ODE), describing the evolution in time of populations of various biological objects. Moreover, that same UML adoption naturally entails a far from negligible representational economy since one graphical item of the diagram might have to be repeated in various places of the mathematical model. First, the main graphical elements of the UML state-transition diagram and how they can be mapped onto a corresponding ODE mathematical model are presented. Then, two already published immune models of thymocyte behavior and time evolution in the thymus, the first one originally conceived as an ODE population-based model whereas the second one as an agent-based one, are refactored and expressed in a state-transition form so as to make them much easier to understand and their respective code easier to access, to modify and run. As an illustrative proof, for any immunologist, it should be possible to understand faithfully enough what the two software models are supposed to reproduce and how they execute with no need to plunge into the Java or Fortran lines. PMID:22844438

Bersini, Hugues; Klatzmann, David; Six, Adrien; Thomas-Vaslin, Veronique

2012-01-01

83

UML 2.0 State Machines: Complete Formal Semantics Via core state machine  

Microsoft Academic Search

UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, espe- cially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i)

Harald Fecher; Jens Schönborn

2006-01-01

84

www.uml.edu/physics Investigating Emerging Technologies  

E-print Network

academic and research activities in heavy-ion spectroscopy, radiation protection and medical physics Combining radiation biology and medical physics 12 Radiological Health Physics Advancing radiation safetywww.uml.edu/physics Investigating Emerging Technologies The Applied Physics Programs

Massachusetts at Lowell, University of

85

Using UML for Modeling a Distributed Java Application  

E-print Network

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 requirements analysis to implementation. Based on our observations some proposals for extensions and changes to the UML are made. Because the example is complete and self-contained and provides methodical guidelines and hints, it can also be used as a tutorial for UML 1.0 and for object-oriented development in general.

Klaus Bergner; Andreas Rausch; Marc Sihling

1997-01-01

86

Evaluation of a UMLS Auditing Process of Semantic Type Assignments  

PubMed Central

The UMLS is a terminological system that integrates many source terminologies. Each concept in the UMLS is assigned one or more semantic types from the Semantic Network, an upper level ontology for biomedicine. Due to the complexity of the UMLS, errors exist in the semantic type assignments. Finding assignment errors may unearth modeling errors. Even with sophisticated tools, discovering assignment errors requires manual review. In this paper we describe the evaluation of an auditing project of UMLS semantic type assignments. We studied the performance of the auditors who reviewed potential errors. We found that four auditors, interacting according to a multi-step protocol, identified a high rate of errors (one or more errors in 81% of concepts studied) and that results were sufficiently reliable (0.67 to 0.70) for the two most common types of errors. However, reliability was low for each individual auditor, suggesting that review of potential errors is resource-intensive. PMID:18693845

Gu, Huanying; Hripcsak, George; Chen, Yan; Morrey, C. Paul; Elhanan, Gai; Cimino, James J.; Geller, James; Perl, Yehoshua

2007-01-01

87

UML (panel): the language of blueprints for software?  

Microsoft Academic Search

The Unified Method was launched by Grady Booch and Jim Rumbaugh at an OOPSLA'95 Conference Fringe meeting organised by Rational Software Corporation. In 1996 the Unified Method was re-scoped to a notation, and renamed the Unified Modeling Language (UML).Earlier this year, UML was submitted to the Object Management Group for standardisation and has been endorsed by Microsoft, IBM, HP, Platinum

Derek Coleman; Viktor Ohnjec; John Artim; Erick Rivas; Jim Rumbaugh; Rebecca Wirfs-bracle

1997-01-01

88

Tema 1. El Lenguaje Unificado de Modelado, UML  

E-print Network

­ Diagramas de despliegue Colaboraciones UML, Metamodelado y MDA Bibliografía G. Booch, J. Rumbaugh, I Mucha confusión. En 1994, Booch, Rumbaugh y Jacobson deciden unificar las notaciones de sus métodos-Mellor OOram Wirfs-Broks BON Fusion Open Catalysis ¡Y muchos más! ¡Guerra de métodos! Evolución UML Grady Booch

Molina, Jesús García

89

UML-F: A Modeling Language for Object-Oriented Frameworks  

Microsoft Academic Search

The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points. The paper discusses some of the relevant aspects of UML-F, which is based on standard UML extension mechanisms. A case study shows how it can be

Marcus Fontoura; Wolfgang Pree; Bernhard Rumpe

2000-01-01

90

Use of Affinity Diagrams as Instructional Tools in Inclusive Classrooms.  

ERIC Educational Resources Information Center

This article describes how the affinity diagram, a tool for gathering information and organizing it into natural groupings, can be used in inclusive classrooms. It discusses how students can be taught to use an affinity diagram, how affinity diagrams can be used to reflect many voices, and how affinity diagrams can be used to plan class projects.…

Haselden, Polly G.

2003-01-01

91

Semantic Mappings and Locality of Nursing Diagnostic Concepts in UMLS  

PubMed Central

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

2011-01-01

92

Concrete and abstract Voronoi diagrams  

SciTech Connect

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves which are required to have some simple properties that are actually possessed by most bisectors of concrete Voronoi diagrams. Abstract Voronoi diagrams can be computed efficiently and there exists a worst-case efficient algorithm of divide-and-conquer type that applies to all abstract Voronoi diagrams satisfying a certain constraint. The author shows that this constraint is fulfilled by the concrete diagrams based no large classes of metrics in the plane.

Klein, R. (Universitat-Gesamthochschule Essen (DE))

1989-01-01

93

Representation of everyday clinical nursing language in UMLS and SNOMED.  

PubMed Central

Everyday clinical nursing language is informal and idiosyncratic. Whether the everyday language of nurses can be represented by standardized vocabulary systems, such as the UMLS and SNOMED, was the focus of the study. Computer systems that allow clinicians to pick terms that are familiar are likely to be better accepted and thus more effective than systems that impose formal terminologies on users. Nursing phrases were extracted from handwritten shift notes, reduced to atomic-level terms, and matched to UMLS and SNOMED. Exact matches were obtained for 56% of terms in UMLS and 49% in SNOMED. Fifty-nine semantic types and 24 different source vocabularies were represented by the terms. Nursing vocabularies were represented by only 5% of source vocabulary citations. PMID:8947644

Lange, L. L.

1996-01-01

94

FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION  

E-print Network

to develop a platform to formal verification and validation of a simulation models. A model is a hypo of the development it is pos- sible to make the simulation predict system behaviour. Verification and Validation (V to verify, with model checking techniques or validate by simulation, the composition of the trace issue from

Paris-Sud XI, Université de

95

Vehicle System Management Modeling in UML for Ares I  

NASA Technical Reports Server (NTRS)

The Spacecraft & Vehicle Systems Department of Marshall Space Flight Center is responsible for modeling the Vehicle System Management for the Ares I vehicle which was a part of the now canceled Constellation Program. An approach to generating the requirements for the Vehicle System Management was to use the Unified Modeling Language technique to build and test a model that would fulfill the Vehicle System Management requirements. UML has been used on past projects (flight software) in the design phase of the effort but this was the first attempt to use the UML technique from a top down requirements perspective.

Pearson, Newton W.; Biehn, Bradley A.; Curry, Tristan D.; Martinez, Mario R.

2011-01-01

96

Locational optimization problems solved through Voronoi diagrams  

Microsoft Academic Search

This paper reviews a class of continuous locational optimization problems (where an optimal location or an optimal configuration of facilities is found in a continuum on a plane or a network) that can be solved through the Voronoi diagram. Eight types of continuous locational optimization problems are formulated, and these problems are solved through the ordinary Voronoi diagram, the farthest-point

Atsuyuki Okabe; Atsuo Suzuki

1997-01-01

97

Fixed Informal Informal mainly UML Graphical Modeling Framework (GMF) Notation  

E-print Network

? Graphical modeling languages are defined with their: ?Abstract syntax: formally using MOF ?Concrete graphical syntax: informally using text and (example) figures ? Formal diagram definition is needed ?Enables interchange of modeling diagrams among tools ?Enables consistent rendering of diagrams by tools ?Enables consistent interpretation of diagrams by users

Maged Elaasar; M Spec

2012-01-01

98

System Test Synthesis from UML Models of Distributed Software  

E-print Network

System Test Synthesis from UML Models of Distributed Software 1 This work has been partially, F-31106 Toulouse Cedex, France Alain.Leguennec@telelogic.com Abstract. The object-oriented software for automated synthesis of test cases from generic test scenarios and a design model of the application

Paris-Sud XI, Université de

99

Combining OCL and Programming Languages for UML Model Processing  

Microsoft Academic Search

Model processing tasks, like model checking, merging, slicing, and synthesis, need ecien t and maintainable mechanisms to dene models, as well as to query, compare and manipulate information in them. Although the Object Constraint Language (OCL) is primarily meant for expressing constraints for UML models, it can also be used for various model processing purposes. In this paper we discuss

Mika Siikarla; Jari Peltonen; Petri Selonen

2004-01-01

100

Model-based Security Engineering with UML Jan Jurjens  

E-print Network

Model-based Security Engineering with UML Jan J¨urjens Dep. of Informatics, TU Munich, Germany Abstract. Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development

Jurjens, Jan

101

Visualization of Learning Scenarios with UML4LD  

ERIC Educational Resources Information Center

Present Educational Modelling Languages are used to formally specify abstract learning scenarios in a machine-interpretable format. Current tooling does not provide teachers/designers with some graphical facilities to help them in reusing existent scenarios. They need human-readable representations. This paper discusses the UML4LD experimental…

Laforcade, Pierre

2007-01-01

102

GENERATION OF UML USE CASES FROM MEASUR ONTOLOGY CHARTS  

E-print Network

GENERATION OF UML USE CASES FROM MEASUR ONTOLOGY CHARTS AN MDA APPROACH D R . G E O R G E T S A R interaction with the system from an ontology chart? Significance: Simplified, easy to understand view > [Condition] #12;WHAT IS A MEASUR'S ONTOLOGY CHART #12;TYPES OF AFFORDANCES #12;ONTOLOGY CHART

Lano, Kevin Charles

103

Simulation and Verification of UML-based Railway Interlocking Designs  

E-print Network

. Keywords: Railway Interlocking System, UML, Simulation, Verification, Model Checking, Multi-Object Checking by simulation and animation, the other is verification by model checking. The first method is supported to cover all the possible situations by test cases for verification and validation. Verification by model

Paris-Sud XI, Université de

104

Fixing Inconsistencies in UML Design Models Alexander Egyed  

E-print Network

, how to locate choices for fixing them, and how to predict the positive and nega- tive side effects inconsistencies and to predict their positive and negative side effects. However, inconsis- tencies software develop- ment and so are their unintentional side effects. The focus of this paper is on UML

Egyed, Alexander

105

Ontology Modeling Using UML Xin Wang Christine W. Chan  

E-print Network

Ontology Modeling Using UML Xin Wang Christine W. Chan Department of Computer Science, University is a comprehensive knowledge model which enables the developer to practice a "higher" level of reuse of knowledge. Typically, different modeling languages are employed in different phases of software development

106

BUSINESS PROCESSES EXTENSIONS TO UML PROFILE FOR BUSINESS MODELING  

E-print Network

BUSINESS PROCESSES EXTENSIONS TO UML PROFILE FOR BUSINESS MODELING Pedro Sinogas, André Vasconcelos@ceo.inesc.pt, jneves@ieee.org, rmendes@ceo.inesc.pt, jmt@inesc.pt Key words: Business Modeling, Business Process competitive global economy, the demand for high quality products manufactured at low costs with shorter cycle

107

Validation of UML and OCL Models by Automatic Snapshot Generation  

E-print Network

], or the NEPTUNE tool [CCJ + 03]). One of the #12;rst systems supporting OCL was our UML Speci- #12;cation of this paper is as follows. Section 2 gives an overview of an example scenario which is used in this paper

Gogolla, Martin - Fachbereich 3

108

Bridging the gap between Acme and UML for CBD  

Microsoft Academic Search

Abstract: Architecture Description Languages (ADLs) such as Acme (amainstream second generation ADL which contains the mostcommon ADL constructs) provide formality in the descriptionof software architectures, but are not easily reconciled with dayto-day development concerns, thus hampering their adoption bya larger community. UML, on the other hand, has become thede facto standard notation for design modeling, both in industryand in academia.

Miguel Goulão; Fernando Brito e Abreu

2003-01-01

109

USE: A UMLBased Specification Environment for Validating UML and OCL  

E-print Network

today as a de­facto standard for developing software. UML and its sub­language OCL (Warmer and Kleppe semantics of OCL hand in hand with a Java implementation (Richters and Gogolla, 2001) based on an OCL meta

Gogolla, Martin - Fachbereich 3

110

Generating Tests from UML Specifications Jeff Offutt and Aynur Abdurazik ?  

E-print Network

Generating Tests from UML Specifications Jeff Offutt and Aynur Abdurazik ? George Mason University, Fairfax VA 22030, USA Abstract. Although most industry testing of complex software is con­ ducted at the system level, most formal research has focused on the unit level. As a result, most system level testing

Offutt, Jeff

111

The Role of Experience and Ability in Comprehension Tasks supported by UML Stereotypes  

E-print Network

The Role of Experience and Ability in Comprehension Tasks supported by UML Stereotypes Filippo in the form of UML stereotypes, motivate them by im- proved understandability and modifiability. However, em the effectiveness of UML stereotypes for Web design in support to comprehen- sion tasks. Replications with different

Di Penta, Massimiliano

112

Metamodelling of production systems process models using UML stereotypes Herv Panetto, Jean-Franois Ptin  

E-print Network

Metamodelling of production systems process models using UML stereotypes Hervé Panetto, Jean Network. #12;Metamodelling of production systems process models using UML stereotypes Abstract: This paper process. This approach is based on the use UML stereotypes, based on a systemic approach, to globally

Paris-Sud XI, Université de

113

Evaluation Methodology for UML and GML Application Schemas Quality  

NASA Astrophysics Data System (ADS)

INSPIRE Directive implementation in Poland has caused the significant increase of interest in making spatial data and services available, particularly among public administration and private institutions. This entailed a series of initiatives that aim to harmonise different spatial data sets, so to ensure their internal logical and semantic coherence. Harmonisation lets to reach the interoperability of spatial databases, then among other things enables joining them together. The process of harmonisation requires either working out new data structures or adjusting existing data structures of spatial databases to INSPIRE guidelines and recommendations. Data structures are described with the use of UML and GML application schemas. Although working out accurate and correct application schemas isn't an easy task. There should be considered many issues, for instance recommendations of ISO 19100 series of Geographic Information Standards, appropriate regulations for given problem or topic, production opportunities and limitations (software, tools). In addition, GML application schema is deeply connected with UML application schema, it should be its translation. Not everything that can be expressed in UML, though can be directly expressed in GML, and this can have significant influence on the spatial data sets interoperability, and thereby the ability to valid data exchange. For these reasons, the capability to examine and estimate UML and GML application schemas quality, therein also the capability to explore their entropy, would be very important. The principal subject of this research is to propose an evaluation methodology for UML and GML application schemas quality prepared in the Head Office of Geodesy and Cartography in Poland within the INSPIRE Directive implementation works.

Chojka, Agnieszka

2014-05-01

114

True Phase Diagrams  

NASA Astrophysics Data System (ADS)

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

115

Phase Diagrams and Chemographic Projections  

NSDL National Science Digital Library

This exercise is a good way to get students thinking about the phase rule, metastable and stable reactions and phase diagrams. The exercise contains a lot of reading, and is suitable for in-class work or for homework. The idea is that students can do this on their own with little help from their instructor. The students only answer a few questions making this is more of a tutorial than a worksheet.

Perkins, Dexter

116

Latent Semantic Indexing of medical diagnoses using UMLS semantic structures.  

PubMed Central

The relational files within the UMLS Metathesaurus contain rich semantic associations to main concepts. We invoked the technique of Latent Semantic Indexing to generate information matrices based on these relationships and created "semantic vectors" using singular value decomposition. Evaluations were made on the complete set and subsets of Metathesaurus main concepts with the semantic type "Disease or Syndrome." Real number matrices were created with main concepts, lexical variants, synonyms, and associated expressions. Ancestors, children, siblings, and related terms were added to alternative matrices, preserving the hierarchical direction of the relation as the imaginary component of a complex number. Preliminary evaluation suggests that this technique is robust. A major advantage is the exploitation of semantic features which derive from a statistical decomposition of UMLS structures, possibly reducing dependence on the tedious construction of semantic frames by humans. PMID:1807584

Chute, C. G.; Yang, Y.; Evans, D. A.

1991-01-01

117

Extending a natural language parser with UMLS knowledge.  

PubMed Central

Over the past several years our research efforts have been directed toward the identification of natural language processing methods and techniques for improving access to biomedical information stored in computerized form. To provide a testing ground for some of these ideas we have undertaken the development of SPECIALIST, a prototype system for parsing and accessing biomedical text. The system includes linguistic and biomedical knowledge. Linguistic knowledge involves rules and facts about the grammar of the language. Biomedical knowledge involves rules and facts about the domain of biomedicine. The UMLS knowledge sources, Meta-1 and the Semantic Network, as well as the UMLS test collection, have recently contributed to the development of the SPECIALIST system. PMID:1807586

McCray, A. T.

1991-01-01

118

Advanced Methods and Tools for a Precise UML  

Microsoft Academic Search

Imagine for a moment you are a software ‘architect’ in the year 2003. You’re working at home as usual, and decide to use your\\u000a quantum computer to do some system modelling. Imagine also that the UML is ‘still’ the de-facto language for software engineering.\\u000a As a language it has made some big advances of the last few years. The last

Andy Evans; Steve Cook; Steve Mellor; Jos Warmer; Alan Wills

119

A Critical Look upon UML 1.0  

E-print Network

: The Unified Modeling Language consists of a set of mostly graphical description techniques for the specification, modeling, and documentation of object-oriented systems. Based on the experience gained in using UML 1.0 for the development of a medium-sized, distributed Java program, we comment on its strengths and weaknesses. Furthermore, some proposals for extensions and changes are made. 1 Introduction The Unified Modeling Language has been proposed by Grady Booch, Ivar Jacobson, and James Rumbaugh as a standard notation for object-oriented analysis and design [BRJ97]. UML version 1.0 incorporates and improves the successful methods OOA/OOD [Boo94], OMT [RBP + 91], and OOSE [Jac92] developed by the same authors, and adds some new contributions. This evaluation of UML 1.0 is based on a case study in which we have developed a medium-sized, distributed Java system for planning break supervision schedules in large schools. The application example was provided originally in [RSLML96] ...

K. Bergner; A. Rausch; M. Sihling

1998-01-01

120

Simplified Voronoi Diagrams  

E-print Network

The Voronoi diagram has proved to be a useful tool in a variety of contexts in computational geometry. Our interest here is in using the diagram to simplify the planning of collision-free paths for a robot among ...

Canny, John

1987-04-01

121

Conceptual Model of Clinical Governance Information System for Statistical Indicators by Using UML in Two Sample Hospitals  

PubMed Central

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

122

Simplified Voronoi Diagrams  

Microsoft Academic Search

We are interested in Voronoi diagrams as a tool in robot path planning, where thesearch for a path in an r dimensional space may be simplified to a search on an r - 1dimensional Voronoi diagram. We define a Voronoi diagram V based on a measure ofdistance which is not a true metric. This formulation has lower algebraic complexity thanthe

John F. Canny; Bruce Randall Donald

1988-01-01

123

AFM Diagram Quiz  

NSDL National Science Digital Library

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

124

SSBRP Communication & Data System Development using the Unified Modeling Language (UML)  

NASA Technical Reports Server (NTRS)

The Unified Modeling Language (UML) is the standard method for specifying, visualizing, and documenting the artifacts of an object-oriented system under development. UML is the unification of the object-oriented methods developed by Grady Booch and James Rumbaugh, and of the Use Case Model developed by Ivar Jacobson. This paper discusses the application of UML by the Communications and Data Systems (CDS) team to model the ground control and command of the Space Station Biological Research Project (SSBRP) User Operations Facility (UOF). UML is used to define the context of the system, the logical static structure, the life history of objects, and the interactions among objects.

Windrem, May; Picinich, Lou; Givens, John J. (Technical Monitor)

1998-01-01

125

A DIAGRAM APPROACH TO AUTOMATIC GENERATION OF JSP\\/SERVLET WEB APPLICATIONS  

Microsoft Academic Search

We defined diagrams called Web transition diagrams to rep- resent overall behavior of Web applications. Using these diagrams, we can generate server program type Web ap- plications such as CGI-based Web applications, and server page type Web applications such as ASP-based Web appli- cations. The purpose of this paper is to design Web transi- tion diagrams to represent wider class

Kornkamol Jamroendararasame; Tetsuya Suzuki; Takehiro Tokuda

126

Dependability Modeling and Assessment in UML-Based Software Development  

PubMed Central

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling?analysis?assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results. PMID:22988428

Bernardi, Simona; Merseguer, Jose; Petriu, Dorina C.

2012-01-01

127

Venn Diagram Shape Sorter  

NSDL National Science Digital Library

In this activity, students practice placing big and small shapes into Venn diagrams depending on the rules of the diagram. Students can either specify these rules or have the applet assign the rules so they can try to figure them out by placing shapes in the diagram. This activity allows students to explore Venn diagrams and the terms associated with set theory. This activity includes supplemental materials, including background information about the topics covered, a description of how to use the application, and exploration questions for use with the java applet.

2010-01-01

128

Design and realize the electromotor choice expert system of sewing machine based on UML  

Microsoft Academic Search

The unified modeling language (UML), which is introduced in this paper, is an important technology about the developing method of object-oriented software. UML can make each component of the large complicated system visualize, then indicate and construct the system model, and build up various documents. This paper, which takes the electromotor choice expert system of sewing machine as an instance,

Chuanhong Zhou; Liang Gao; Zhixue Liu

2009-01-01

129

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems  

E-print Network

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems Ning Ge for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are stan- dardized modelling languages, Model Checking 1 Introduction Safety Critical Real-Time Systems (RTS) have strong timing requirements

Paris-Sud XI, Université de

130

Exploration games for safety-critical system design with UML 2.0  

Microsoft Academic Search

Abstract. UML has its origin in mainstream software engineering and is often used informally by software designers. Critical systems on the other hand are usually speci ed very precisely and frequently require formal veri cation. In this paper we introduce the idea of using games to traverse smoothly from an informally de ned design in UML to one that is

Jennifer Tenzer

2004-01-01

131

Verification of UML models by translation to Colin Snook, Vitaly Savicks and Michael Butler  

E-print Network

is valid for all instantiations of the model whereas a simulation must choose a typical instantiationVerification of UML models by translation to UML-B Colin Snook, Vitaly Savicks and Michael Butler, encourages large models to be expressed in a single, detailed level and relies on simulation and model

Southampton, University of

132

UML2ALLOY: A TOOL FOR LIGHTWEIGHT MODELLING OF DISCRETE EVENT SYSTEMS  

E-print Network

UML2ALLOY: A TOOL FOR LIGHTWEIGHT MODELLING OF DISCRETE EVENT SYSTEMS Behzad Bordbar School United Kingdom K.Anastasakis@cs.bham.ac.uk ABSTRACT Alloy is a textual language developed by Daniel of the UML and Alloy into a single CASE tool, which aims to take advantage of the positive aspect of both

Bordbar, Behzad

133

Representing the UMLS as an Object-oriented Database: Modeling Issues and Advantages  

Microsoft Academic Search

ObjectiveThe Unified Medical Language System (UMLS) combines many well-established authoritative medical informatics terminologies in one knowledge representation system. Such a resource is very valuable to the health care community and industry. However, the UMLS is very large and complex and poses serious comprehension problems for users and maintenance personnel. The authors present a representation to support the user's comprehension and

Gu Huanying; Perl Yehoshua; Geller James; Halper Michael; Liu Li-min; Cimino James J

2000-01-01

134

Using OCL for De ning Precise, Domain-Speci c UML Stereotypes Martin Gogolla  

E-print Network

the extension mech- anisms of the Uni#12;ed Modeling Language UML. It introduces a new appproach for de#12;ning- straint Language OCL. 1 Introduction The Uni#12;ed Modeling Language UML [8] allows for three extension Workshop on Requirement Engineering (AWRE'2001), University of New South Wales, UNSW Printer Room, Sydney

Gogolla, Martin - Fachbereich 3

135

A Metamodel-Based OCL-Compiler for UML and MOF  

Microsoft Academic Search

After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language

Sten Loecher; Stefan Ocke

2004-01-01

136

Lenses and Ray Diagrams  

NSDL National Science Digital Library

This is the first time that students will draw technical ray diagrams (in previous experiments, they simply sketched the rays). They need a little instruction in drawing ray diagrams before they can do it, so the activity is not purely inquiry. But it is

Horton, Michael

2009-05-30

137

Automated UMLS-based comparison of medical forms.  

PubMed

Medical forms are very heterogeneous: on a European scale there are thousands of data items in several hundred different systems. To enable data exchange for clinical care and research purposes there is a need to develop interoperable documentation systems with harmonized forms for data capture. A prerequisite in this harmonization process is comparison of forms. So far--to our knowledge--an automated method for comparison of medical forms is not available. A form contains a list of data items with corresponding medical concepts. An automatic comparison needs data types, item names and especially item with these unique concept codes from medical terminologies. The scope of the proposed method is a comparison of these items by comparing their concept codes (coded in UMLS). Each data item is represented by item name, concept code and value domain. Two items are called identical, if item name, concept code and value domain are the same. Two items are called matching, if only concept code and value domain are the same. Two items are called similar, if their concept codes are the same, but the value domains are different. Based on these definitions an open-source implementation for automated comparison of medical forms in ODM format with UMLS-based semantic annotations was developed. It is available as package compareODM from http://cran.r-project.org. To evaluate this method, it was applied to a set of 7 real medical forms with 285 data items from a large public ODM repository with forms for different medical purposes (research, quality management, routine care). Comparison results were visualized with grid images and dendrograms. Automated comparison of semantically annotated medical forms is feasible. Dendrograms allow a view on clustered similar forms. The approach is scalable for a large set of real medical forms. PMID:23861827

Dugas, Martin; Fritz, Fleur; Krumm, Rainer; Breil, Bernhard

2013-01-01

138

Verification of Arithmetic Functions with Binary Moment Diagrams  

E-print Network

, either expressed or implied, of Wright Laboratory or the United States Government. #12; Keywords: Formal Diagrams (BDDs) represent Boolean functions. Within the class of linear functions, we can embed arbitary

Bryant, Randal E.

139

Diagram of Computer Keyboard  

NSDL National Science Digital Library

This is a line drawing of a Windows PC keyboard complete with labels for each key. This diagram is used on tests where students are asked to circle the keys that would be used to perform various functions.

Ward, Charles

2011-01-21

140

Voronoi Diagrams and Arrangements  

Microsoft Academic Search

We propose a uniform and general framework for defining and dealing with Voronoi diagrams. In this framework a Voronoi diagram is a partition of a domainD induced by a finite number of real valued functions onD. Valuable insight can be gained when one considers how these real valued functions partitionD ×R. With this view it turns out that the standard

Herbert Edelsbrunner; Raimund Seidel

1986-01-01

141

Precise vs. UltraLight Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling  

Microsoft Academic Search

\\u000a UML activity diagrams are a commonly used notation for modelling business processes in the field of both workflow automation\\u000a and requirements engineering. In this paper, we present a novel precise style for this notation. Further, the effectiveness\\u000a of this style has been investigated in the context of the modelling of business processes through a controlled experiment\\u000a conducted with master students

Francesco Di Cerbo; Gabriella Dodero; Gianna Reggio; Filippo Ricca; Giuseppe Scanniello

142

Enhancing the UML with Shadows for Agile Development Marc Conrad Marianne Huchard  

E-print Network

Enhancing the UML with Shadows for Agile Development Marc Conrad Marianne Huchard University of Bedfordshire United Kingdom marc.conrad@beds.ac.uk http://perisic.com/marc Universit´e Montpellier II France

Paris-Sud XI, Université de

143

A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study  

E-print Network

validation and analysis of UML statecharts [1, 3, 4, 9, 11, and 12]. Since the emphasis of this paper paradigm for software development called Model Driven Architecture (MDA) to recognize the fact that models

Shatz, Sol M.

144

Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures  

E-print Network

strategies systematically, and · a probabilistic semantics to facilitate fault-tolerance analysisTimed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based University, Australia ABSTRACT Architecture-based reasoning about reliability and fault tolerance is gaining

Leavens, Gary T.

145

Using XML/XMI for Tool Supported Evolution of UML Models  

E-print Network

Software components developed with modern tools and middleware infrastructures undergo considerable reprogramming before they become reusable. Tools and methodologies are needed to cope with the evolution of software components. We present some basic concepts and architectures to handle the impacts of the evolution of UML models. With the proposed concepts a infrastructure to support model evolution, data schema migration, and data instance migration based on UML models can be realized. To describe the evolution path we use XML/XMI files.

Frank Keienburg; Andreas Rausch

2001-01-01

146

The projection diagram  

NASA Astrophysics Data System (ADS)

We describe a diagram, named the projection diagram (PD), that can be used for the interpretation of fringe projection operations in a similar way as the Holodiagram is used in holography and other branches in optics. It is obtained as a Moiré pattern between two spoke targets that mimic central projections, the same as those in a projection and observation system or two projection systems. N. Abramson [Academic, London (1981)] has already proposed its use in systems with two observation points (i.e., stereoscopic observation). By using this PD, several interesting features dealing with fringe projection are highlighted. Information on the sensitivity vector and the geometry of the contouring surfaces can be straightforwardly obtained in a graphical way. The effect of defocusing can also be included in the diagram.

Muramatsu, Mikaya; Torroba, Patricia; Cap, Nelly; Rabal, Hector

2003-08-01

147

Diblock copolymer phase diagram  

NSDL National Science Digital Library

Adaptation of the Matsen and Bates BCP phase diagram predicted using Mean-field Theory. * Matsen MW, Bates FS, ''http://pubs3.acs.org/acs/journals/doilookup?in_doi=10.1021/ma951138i Unifying weak- and strong-segregation block copolymer theories. Diblock copolymer phase diagram as calculated using Mean-field Theory by Matsen and Bates, where fA is the Block fraction, Ï is the Flory-Huggins Chi Parameter, and N is the length of the block.

Iacovella, Christopher R.

2006-11-20

148

Assessing UML design metrics for predicting fault-prone classes in a Java system  

Microsoft Academic Search

Identifying and fixing software problems before implementation are believed to be much cheaper than after implementation. Hence, it follows that predicting fault-proneness of software modules based on early software artifacts like software design is beneficial as it allows software engineers to perform early predictions to anticipate and avoid faults early enough. Taking this motivation into consideration, in this paper we

Ariadi Nugroho; Michel R. V. Chaudron; Erik Arisholm

2010-01-01

149

Carbon Cycle Diagram  

NSDL National Science Digital Library

This diagram illustrates some of the most abundant stores of carbon and identifies some of the pathways in the carbon cycle along which carbon is transferred from one form to another. Long-term sinks of carbon are labelled in black; shorter-term fluxes are labelled in purple. Amounts are in billions of tons.

2011-07-12

150

Impulse-Momentum Diagrams  

ERIC Educational Resources Information Center

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

151

Interactive Molecular Orbital Diagrams  

NSDL National Science Digital Library

Here is an application for constructing the molecular orbital electron configurations of heteronuclear diatomic molecules. Energy level diagrams are given for the two different cases encountered in heteronuclear diatomics of the first short period (Li2 - Ne2). This is a useful tool for having students explore questions of bond order, magnetic properties and numbers of unpaired electrons.

152

Displaying multimedia environmental partitioning by triangular diagrams  

SciTech Connect

It is suggested that equilateral triangular diagrams are a useful method of depicting the equilibrium partitioning of organic chemicals among the three primary environmental media of the atmosphere, the hydrosphere, and the organosphere (natural organic matter and biotic lipids and waxes). The technique is useful for grouping chemicals into classes according to their partitioning tendencies, for depicting the incremental effects of substituents such as alkyl groups and chlorine, and for showing how partitioning changes in response to changes in temperature.

Lee, S.C.; Mackay, D. [Univ. of Toronto, Ontario (Canada). Dept. of Chemical Engineering and Applied Chemistry

1995-11-01

153

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

PubMed

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

154

An Introduction to Tree Diagrams  

NSDL National Science Digital Library

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

155

Voronoi diagrams for planar shapes  

Microsoft Academic Search

Although many algorithms compute Voronoi diagrams for polygons, few do so for shapes bounded by arbitrary closed curves. The paper presents an algorithm which does this. It also traces the diagrams directly from their differential properties

J. J. Chou

1995-01-01

156

Impulse-Momentum Diagrams  

Microsoft Academic Search

Multiple representations are a valuable tool to help students learn and understand physics concepts.1 Furthermore, representations help students learn how to think and act like real scientists.2 These representations include: pictures, free-body diagrams,3 energy bar charts,4 electrical circuits, and, more recently, computer simulations and animations.5 However, instructors have limited choices when they want to help their students understand impulse and

David Rosengrant

2011-01-01

157

Feynman diagram drawing made easy  

NASA Astrophysics Data System (ADS)

We present a drawing package optimised for Feynman diagrams. These can be constructed interactively with a mouse-driven graphical interface or from a script file, more suitable to work with a diagram generator. It provides most features encountered in Feynman diagrams and allows to modify every part of a diagram after its creation. Special attention has been paid to obtain a high quality printout as easily as possible. This package is written in Tcl/Tk and in C.

Baillargeon, Marc; Nogueira, P.

1997-02-01

158

2001 Mercury Computer Systems, Inc. UML 2.0 Redux for HPECUML 2.0 Redux for HPEC  

E-print Network

© 2001 Mercury Computer Systems, Inc. UML 2.0 Redux for HPECUML 2.0 Redux for HPEC Dr. Jeffrey E. Smith Mercury Computer Systems, Inc. Manfred Koethe 88solutions Corp. High Performance Embedded Computing (HPEC) Conference September 25, 2003 #12;2© 2003 Mercury Computer Systems, Inc. UML Overview

Kepner, Jeremy

159

UML 2.0 Components and Fractal: An Analysis Vladimir Mencl1,2, Matej Polak2  

E-print Network

of Software Engineering Malostranske namesti 25, 118 00 Prague, Czech Republic {mencl,polak}@nenya.ms.mff.cuni.cz, http://nenya.ms.mff.cuni.cz/ 1. Introduction The newly emerged standard UML 2.0 [8] provides, the rich set of modeling constructs available in UML 2.0 may be sufficient even for these component models

160

Impact decision support diagrams  

NASA Astrophysics Data System (ADS)

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

161

The Compliance Testing of Software Tools with respect to the UML standards specification  

E-print Network

The Compliance Testing of Software Tools with respect to the UML standards specification - the Argo compliance test generation from modeling standards specifications. When employed in our framework tools can be tested for standards compliance and how test results can be analyzed to diagnose the causes

Finkelstein, Anthony

162

Test Synthesis from UML Models of Distributed Software1 Simon Pickin1  

E-print Network

Test Synthesis from UML Models of Distributed Software1 Simon Pickin1 , Claude Jard2 , Thierry illustrate the system test synthesis process using an Air Traffic Control software example. Keywords: formal-Marc.Jezequel, Yves.Le_Traon}@irisa.fr Abstract. The object-oriented software development process is increasingly used

Paris-Sud XI, Université de

163

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems  

Microsoft Academic Search

Abstract The complex requirements of software systems justify the use of the best existing techniques to guar- antee the quality of speciflcations and to preserve this quality during the programming,phase of a software life-cycle. On the one hand, visual speciflcation lan- guages (such as UML) have been widely used for spec- ifying, visualizing, understanding and documenting software systems, but they

Akram Idani; Jean-louis Boulanger; Laurent Philippe

2007-01-01

164

A Compositional Semantics for UML State Machines Aimed at Performance Evaluation  

E-print Network

, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtainedâ??a di Torino, Italy fbernardi,susig@di.unito.it Abstract Unified Modeling Language (UML) is gaining accep­ tance to describe the behaviour of systems. It has attracted the attention of researchers

Bernardi, Simona

165

Developing High-Assurance Secure Systems with UML: A Smartcard-based Purchase Protocol  

E-print Network

Developing High-Assurance Secure Systems with UML: A Smartcard-based Purchase Protocol Jan Jurjens #3; Software & Systems Engineering, TU Munchen, Germany Abstract Developing high-assurance security-critical systems is diÃ?cult and there are many well-known examples of security weaknesses exploited in practice

Jurjens, Jan

166

A Brief History of Electromagnetism Charles Byrne (Charles Byrne@uml.edu)  

E-print Network

A Brief History of Electromagnetism Charles Byrne (Charles Byrne@uml.edu) Department to Butter- field's classic history of the scientific revolution [3], which he locates roughly from 1300-powered refrigeration, and go home to listen to a radio and talk to neighbors on a telephone. How we got

Byrne, Charles

167

Mining Cross-Terminology Links in the UMLS Chintan O. Patel, MS; James J. Cimino, MD  

E-print Network

Mining Cross-Terminology Links in the UMLS Chintan O. Patel, MS; James J. Cimino, MD Department of Biomedical Informatics, Columbia University, New York, NY, USA OBJECTIVE: To explore link mining approaches the clinical query and MEDLINE pairs in the OHSUMED dataset to extract `gold-links' between SNOMED-CT and Me

Cimino, James J.

168

Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study  

E-print Network

Agilent Laboratories, Agilent Technologies, 4380 Zeigler Road, Fort Collins, Colorado 80525 geri_georg@agilent, and the optimal methods often vary according to the problem domain. We apply and compare two languages, UML distributed system, to determine which is more appropriate for this domain. The specific problem that we

Bieman, James M.

169

Kepler's Laws of Planetary Motion Charles Byrne (Charles Byrne@uml.edu)  

E-print Network

Kepler's Laws of Planetary Motion Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical strong evidence for Newton's law of universal gravitation. 1 Preliminaries Kepler worked from 1601 the sun, is the same constant. These laws, particularly the third one, provided strong evidence for Newton

Byrne, Charles

170

Inner Product Spaces and Orthogonal Functions Charles Byrne (Charles Byrne@uml.edu)  

E-print Network

Inner Product Spaces and Orthogonal Functions Charles Byrne (Charles Byrne@uml.edu) Department vectors. 2.1 The Two-Dimensional Case Let u = (a, b) and v = (c, d) be two vectors in two-dimensional space. Let u make the angle > 0 with the positive x-axis and v the angle > 0. Let ||u|| = a2 + b2

Byrne, Charles

171

A UML Profile for Core Components and their Transformation to XSD Christian Huemer  

E-print Network

component standard. Core compo- nents are reusable semantic building blocks which can be combined in various modeling tools we have developed a UML profile for the core components standard. Furthermore, we adapt that had no common ontological base. As a consequence, one had to implement either many different standards

172

(?, ?) uniform-scale chromaticity diagram  

NASA Astrophysics Data System (ADS)

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

173

Generating function for web diagrams  

NASA Astrophysics Data System (ADS)

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

174

Box diagram in Yukawa theory  

SciTech Connect

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.

Bakker, Bernard L. G.; Boomsma, Jorn K. [Department of Physics and Astrophysics, Vrije Universiteit, De Boelelaan 1081, NL-1081 HV Amsterdam (Netherlands); Ji, Chueng-Ryong [Department of Physics, North Carolina State University, Raleigh, North Carolina 27695-8202 (United States)

2007-03-15

175

Diagonal Slices of 3D Young Diagrams in the Approach of Maya Diagrams  

NASA Astrophysics Data System (ADS)

According to the correspondence between 2D Young diagrams and Maya diagrams and the relation between 2D and 3D Young diagrams, we construct 3D Young diagrams in the approach of Maya diagrams. Moreover, we formulate the generating function of 3D Young diagrams, which is the MacMahon function in terms of Maya diagrams.

Cai, Li-Qiang; Wang, Li-Fang; Wu, Ke; Yang, Jie

2014-09-01

176

Voronoi diagrams and Delaunay triangulations  

Microsoft Academic Search

IntroductionThe Voronoi diagram of a set of sites partitions space into regions, one per site; theregion for a site s consists of all points closer to s than to any other site. The dual ofthe Voronoi diagram, the Delaunay triangulation, is the unique triangulation so thatthe circumsphere of every triangle contains no sites in its interior. Voronoi diagramsand Delaunay triangulations

Steven Fortune

1995-01-01

177

Potential-pH Diagrams.  

ERIC Educational Resources Information Center

Potential-pH diagrams show the domains of redoxpotential and pH in which major species are most stable. Constructing such diagrams provides students with opportunities to decide what species must be considered, search literature for equilibrium constants and free energies of formation, and practice in using the Nernst equation. (Author/JN)

Barnum, Dennis W.

1982-01-01

178

Phase diagrams of two-lane driven diffusive systems  

NASA Astrophysics Data System (ADS)

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

179

Spider Diagrams: A Diagrammatic Reasoning System  

Microsoft Academic Search

Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with object-oriented modelling notations such as the Unified Modelling Language. This paper summarises the main syntax and semantics of spider diagrams. It also introduces inference rules for reasoning with spider diagrams and

John Howse; Fernando Molina; John Taylor; Stuart Kent; JOSEPH YOSSI GIL

2001-01-01

180

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

ERIC Educational Resources Information Center

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

181

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

PubMed Central

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

182

A technique for semantic classification of unknown words using UMLS resources.  

PubMed Central

Natural Language Processing (NLP) is a tool for transforming natural text into codable form. Success of NLP systems is contingent on a well constructed semantic lexicon. However, creation and maintenance of these lexicons is difficult, costly and time consuming. The UMLS contains semantic and syntactic information of medical terms, which may be used to automate some of this task. Using UMLS resources we have observed that it is possible to define one semantic type by its syntactic combinations with other types in a corpus of discharge summaries. These patterns of combination can then be used to classify words which are not in the lexicon. The technique was applied to a corpus for a single semantic type and generated a list of 875 words which matched the classification criteria for that type. The words were ranked by number of patterns matched and the top 95 words were correctly typed with 80% accuracy. PMID:10566453

Campbell, D. A.; Johnson, S. B.

1999-01-01

183

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study  

Microsoft Academic Search

In the AOSE (Agent-Oriented Software Engineering) area, several research eorts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are meant to check and verify the completeness and expressiveness of methodologies. In this paper, we put to test the well-established standard Unified Mod- elling Language (UML), and the emergent Object Process Methodology (OPM), and compare their meta-modelling power. Both

Ambra Molesini; Enrico Denti; Andrea Omicini

2005-01-01

184

An MDA approach to Access Control Specifications Using MOF and UML Profiles  

Microsoft Academic Search

We present a Model Driven Development (MDD) approach to the development of access control policies for distributed systems. The models are expressed as Meta-Object Facility (MOF) models enriched by Unified Modeling Language (UML) profiles. The view-based access control model is used as an example, for which we present a platform independent meta-model and platform specific meta-models for the Java 2

Torsten Fink; Manuel Koch; Karl Pauls

2006-01-01

185

A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML  

Microsoft Academic Search

This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies\\u000a in a philosophically and cognitively well-founded modeling language named OntoUML. The Editor is designed in a way that, on\\u000a one hand, it shields the user from the complexity of the ontological principles underlying this language. On the other hand,\\u000a it reinforces these principles

Alessander Botti Benevides; Giancarlo Guizzardi

2009-01-01

186

Projet Omega : Un profil UML et un outil pour la modlisation et la validation de systmes temps  

E-print Network

OMEGA1 , défini un profil UML, raffinement formel du profil UML standard Scheduling, Performance plusieurs études de cas industrielles. Dans ce papier nous présentons la plus représentative d'entre elles génération automatique de code, la génération et l'exécution automatique de tests, le déploiement vers une

Graf, Susanne

187

Using Meta-1-The 1st Version of the UMLS Metathesaurus  

PubMed Central

The National Library of Medicine (NLM) is developing the Unified Medical Language System (UMLS) to provide uniform access to the world's biomedical knowledge. The foundation of the UMLS is a metathesaurus of concept names, or terms. Meta-1, the first version of the Metathesaurus, was synthesized from existing biomedical nomenclatures and classification systems, and it contains in excess of 100,000 terms, including all those from MeSH and DSM, and a portion of those from SNOMED, ICD, CPT, LCSH, COSTAR and other sources. These names are arranged and labeled so as to help answer the questions, “What is it called?” and “Where can I find out more about it?” We refer to the first question as the naming problem, and the second as the location problem, respectively. We think of Meta-1 as a source of lexical diversity and semantic locality with which to address these problems in biomedicine. While the NLM will be using Meta-1 in the UMLS, non-NLM developers and users may wish to use Meta-1 to help solve their own naming and location problems

Tuttle, Mark; Sherertz, David; Olson, Nels; Erlbaum, Mark; Sperzel, David; Fuller, Lloyd; Nelson, Stuart

1990-01-01

188

A Study of Terminology Auditors' Performance for UMLS Semantic Type Assignments  

PubMed Central

Auditing healthcare terminologies for errors requires human experts. In this paper, we present a study of the performance of auditors looking for errors in the semantic type assignments of complex UMLS concepts. In this study, concepts are considered complex whenever they are assigned combinations of semantic types. Past research has shown that complex concepts have a higher likelihood of errors. The results of this study indicate that individual auditors are not reliable when auditing such concepts and their performance is low, according to various metrics. These results confirm the outcomes of an earlier pilot study. They imply that to achieve an acceptable level of reliability and performance, when auditing such concepts of the UMLS, several auditors need to be assigned the same task. A mechanism is then needed to combine the possibly differing opinions of the different auditors into a final determination. In the current study, in contrast to our previous work, we used a majority mechanism for this purpose. For a sample of 232 complex UMLS concepts, the majority opinion was found reliable and its performance for accuracy, recall, precision and the F-measure was found statistically significantly higher than the average performance of individual auditors. PMID:22687822

Gu, Huanying (Helen); Elhanan, Gai; Perl, Yehoshua; Hripcsak, George; Cimino, James J.; Xu, Julia; Chen, Yan; Geller, James; Morrey, C. Paul

2012-01-01

189

Quantum Diagrams and Quantum Networks  

E-print Network

This paper is an introduction to diagrammatic methods for representing quantum processes and quantum computing. We review basic notions for quantum information and quantum computing. We discuss topological diagrams and some issues about using category theory in representing quantum computing and teleportation. We analyze very carefully the diagrammatic meaning of the usual representation of the Mach-Zehnder interferometer, and we show how it can be generalized to associate to each composition of unitary transformations a "laboratory quantum diagram" such that particles moving though the many alternate paths in this diagram will mimic the quantum process represented by the composition of unitary transformations. This is a finite dimensional way to think about the Feynman Path Integral. We call our representation result the Path Theorem. Then we go back to the basics of networks and matrices and show how elements of quantum measurement can be represented with network diagrams.

Louis H. Kauffman; Samuel J. Lomonaco Jr

2014-04-17

190

Modeling Multi-typed Structurally Viewed Chemicals with the UMLS Refined Semantic Network  

PubMed Central

Objective Chemical concepts assigned multiple “Chemical Viewed Structurally” semantic types (STs) in the Unified Medical Language System (UMLS) are subject to ambiguous interpretation. The multiple assignments may denote the fact that a specific represented chemical (combination) is a conjugate, derived via a chemical reaction of chemicals of the different types, or a complex, composed of a mixture of such chemicals. The previously introduced Refined Semantic Network (RSN) is modified to properly model these varied multi-typed chemical combinations. Design The RSN was previously introduced as an enhanced abstraction of the UMLS's concepts. It features new types, called intersection semantic types (ISTs), each of which explicitly captures a unique combination of ST assignments in one abstract unit. The ambiguous ISTs of different “Chemical Viewed Structurally” ISTs of the RSN are replaced with two varieties of new types, called conjugate types and complex types, which explicitly denote the nature of the chemical interactions. Additional semantic relationships help further refine that new portion of the RSN rooted at the ST “Chemical Viewed Structurally.” Measurements The number of new conjugate and complex types and the amount of changes to the type assignment of chemical concepts are presented. Results The modified RSN, consisting of 35 types and featuring 22 new conjugate and complex types, is presented. A total of 800 (about 98%) chemical concepts representing multi-typed chemical combinations from “Chemical Viewed Structurally” STs are uniquely assigned one of the new types. An additional benefit is the identification of a number of illegal ISTs and ST assignment errors, some of which are direct violations of exclusion rules defined by the UMLS Semantic Network. Conclusion The modified RSN provides an enhanced abstract view of the UMLS's chemical content. Its array of conjugate and complex types provides a more accurate model of the variety of combinations involving chemicals viewed structurally. This framework will help streamline the process of type assignments for such chemical concepts and improve user orientation to the richness of the chemical content of the UMLS. PMID:18952946

Chen, Ling; Morrey, C. Paul; Gu, Huanying; Halper, Michael; Perl, Yehoshua

2009-01-01

191

Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space  

Microsoft Academic Search

\\u000a We present a general framework for computing Voronoi diagrams of different classes of sites under various distance functions\\u000a in \\u000a\\u000a\\u000a\\u000a\\u000a\\u000a\\\\mathbb R2{\\\\mathbb R}^{2}. Most diagrams mentioned in the paper are in the plane. However, the framework is sufficiently general to support diagrams\\u000a embedded on a family of two-dimensional parametric surfaces in three-dimensions. The computation of the diagrams is carried\\u000a out through

Ophir Setter; Micha Sharir; Dan Halperin

2010-01-01

192

Automatically Assessing Graph-Based Diagrams  

ERIC Educational Resources Information Center

To date there has been very little work on the machine understanding of imprecise diagrams, such as diagrams drawn by students in response to assessment questions. Imprecise diagrams exhibit faults such as missing, extraneous and incorrectly formed elements. The semantics of imprecise diagrams are difficult to determine. While there have been…

Thomas, Pete; Smith, Neil; Waugh, Kevin

2008-01-01

193

DRAWING DIAGRAMS IN AN ONLINE EXAMINATION  

Microsoft Academic Search

This paper describes a study into the drawing of diagrams in an online examination. The diagrams were produced by students during an on-line examination using a simple drawing tool. The students' examination answers, which included a diagram, were submitted over the Internet to an automatic marking tool for grading and feedback. This paper describes the diagram drawing tool and discusses

Pete Thomas

194

Phase diagrams and crystal growth  

NASA Astrophysics Data System (ADS)

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

195

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

NASA Astrophysics Data System (ADS)

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

196

Concrete and Abstract Voronoi Diagrams  

Microsoft Academic Search

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is

Rolf Klein

1989-01-01

197

Higher Order City Voronoi Diagrams  

E-print Network

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

198

The Hubble diagram for supernovae  

Microsoft Academic Search

The distribution of 47 type I and 13 type II supernovae (SN) in the Hubble diagram is presented and evaluated. Values of the parameter Mpg(100) and the dispersion are determined by least-squares fits to various data subsets, and the results are compared with those of previous studies. Sources of scatter are considered, specifically inaccurate corrections for interstellar extinction in the

D. Branch; C. Bettis

1978-01-01

199

Precipitation and the Sounding Diagram  

NSDL National Science Digital Library

This undergraduate meteorology tutorial deals with the interplay between the vertical temperature structure of the atmosphere and the temperature of the ascending air in the formation of precipitation. Students learn about the dry and moist adiabatic lapse rates, reading and interpreting sounding diagrams, and determining the change in temperature as air parcels rise or sink.

Nielsen-Gammon, John

1996-01-01

200

Animated Diagram: Sedimentary Rock Identification  

NSDL National Science Digital Library

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.

201

Index of Animated Phase Diagrams  

NSDL National Science Digital Library

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.

202

ccsd00000445, Making diagrams speak,  

E-print Network

raised by the presence of diagrams in a VIIth century Sanskrit mathematical com- mentary. Exploring di- agrammes dans un commentaire math#19;ematique en langue sanskrite datant du VII#18;eme si#18;ecle: A. Keller is a French CNRS researcher working on medieval sanskrit mathematics but also

203

An exploratory study of the impact of antipatterns on class change- and fault-proneness  

Microsoft Academic Search

Antipatterns are poor design choices that are conjectured to make object-oriented systems harder to maintain. We investigate\\u000a the impact of antipatterns on classes in object-oriented systems by studying the relation between the presence of antipatterns\\u000a and the change- and fault-proneness of the classes. We detect 13 antipatterns in 54 releases of ArgoUML, Eclipse, Mylyn, and\\u000a Rhino, and analyse (1) to

Foutse Khomh; Massimiliano Di Penta; Yann-Gaël Guéhéneuc; Giuliano Antoniol

204

Measuring system and software architecture complexity  

Microsoft Academic Search

Conventional measures of software code complexity, specifically code length, Halstead difficulty: and McCahe cyclomatic complexity, are adapted to measure architecture complexity. These measures are applied to architecture models based on Unified Modeling Language (UML) class, sequence, and state diagrams by redefming measure factors in terms of UML elements. This approach is illustrated using architecture diagrams Gom a real-time communication control

Jeff Lankford; Galileo Galilei

2003-01-01

205

"Racializing" Class  

ERIC Educational Resources Information Center

In an effort to explore how racial and class oppressions intersect, the authors use their autobiographical narratives to depict cultural and experiential continuity and discontinuity in growing up white working class versus Chicano working class. They specifically focus on "racializing class" due to the ways class is often used as a copout by…

Hatt-Echeverria, Beth; Urrieta, Luis, Jr.

2003-01-01

206

Mining ArgoUML with Dynamic Analysis to Establish a Set of Key Classes for Program Comprehension  

E-print Network

, with as ultimate goal the sufficient understanding of the system to perform the required operations [16, 15 Science Lab On Re-Engineering Middelheimlaan 1, 2020 Antwerp, Belgium {Andy.Zaidman, Serge.Demeyer}@ua abstractions of the system's design [2]. In practice, any reverse engineering operation almost always takes

Zaidman, Andy

207

Hero's journey in bifurcation diagram  

NASA Astrophysics Data System (ADS)

The hero's journey is a narrative structure identified by several authors in comparative studies on folklore and mythology. This storytelling template presents the stages of inner metamorphosis undergone by the protagonist after being called to an adventure. In a simplified version, this journey is divided into three acts separated by two crucial moments. Here we propose a discrete-time dynamical system for representing the protagonist's evolution. The suffering along the journey is taken as the control parameter of this system. The bifurcation diagram exhibits stationary, periodic and chaotic behaviors. In this diagram, there are transition from fixed point to chaos and transition from limit cycle to fixed point. We found that the values of the control parameter corresponding to these two transitions are in quantitative agreement with the two critical moments of the three-act hero's journey identified in 10 movies appearing in the list of the 200 worldwide highest-grossing films.

Monteiro, L. H. A.; Mustaro, P. N.

2012-06-01

208

T-X Phase Diagrams  

NSDL National Science Digital Library

This is a 15 page tutorial and problem set designed to get students familiar with T-X diagrams, their implications, and uses. Students start by reading but, after 10-15 minutes, the room becomes noisy as they work their way through the questions at the end. Often there are "Eureka" moments as they all of a sudden grasp some fundamental principles. It is also interesting to hear them try to explain these insights to others.

Perkins, Dexter

209

BWeb Notes for Chapter 6: Equilibrium Diagrams The first two notes concern the stocks and flows in the rock cycle  

E-print Network

BWeb Notes for Chapter 6: Equilibrium Diagrams The first two notes concern the stocks and flows are taken from a website description of a Stella diagram by David Bice for a class at Carleton College bkg/yr. · Fig 6.5. The black decay and black growth is 81 acres/yr. The white decay and white growth

Ford, Andrew

210

Causal diagrams in systems epidemiology  

PubMed Central

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. PMID:22429606

2012-01-01

211

Arrows in Comprehending and Producing Mechanical Diagrams  

ERIC Educational Resources Information Center

Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using text or diagrams. Two experiments illustrate the role of arrows in diagrams of mechanical systems. In Experiment 1, people described diagrams with or without arrows,…

Heiser, Julie; Tversky, Barbara

2006-01-01

212

Submit by emailing form and syllabus to SL_Info@uml.edu UMass Lowell Service-Learning Course Attribute Form  

E-print Network

Submit by emailing form and syllabus to SL_Info@uml.edu UMass Lowell Service-Learning Course submitting: 1. A completed Service-Learning Attribute Form a. Including page 2 - sheet identifying how and service-learning project details Form Information: College or School

Massachusetts at Lowell, University of

213

Architectural-Level Risk Analysis FOR UML Dynamic Specifications1 Alaa Ibrahim, Sherif M. Yacoub, Hany H. Ammar1  

E-print Network

of this environment. The dynamic metrics based methodology is a heuristic risk assessment methodology that is basedArchitectural-Level Risk Analysis FOR UML Dynamic Specifications1 Alaa Ibrahim, Sherif M. Yacoub Morgantown, WV26506-6109 Ibrahim@csee.wvu.edu, yacoub@csee.wvu.edu, hammar@wvu.edu ABSTRACT Risk assessment

Ammar, Hany H.

214

A UML 2.0 Profile to Model Block Cipher Algorithms  

NASA Astrophysics Data System (ADS)

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é

215

Initializing the VA medication reference terminology using UMLS metathesaurus co-occurrences.  

PubMed Central

We developed and evaluated a UMLS Metathesaurus Co-occurrence mining algorithm to connect medications and diseases they may treat. Based on 16 years of co-occurrence data, we created 977 candidate drug-disease pairs for a sample of 100 ingredients (50 commonly prescribed and 50 selected at random). Our evaluation showed that more than 80% of the candidate drug-disease pairs were rated "APPROPRIATE" by physician raters. Additionally, there was a highly significant correlation between the overall frequency of citation and the likelihood that the connection was rated "APPROPRIATE." The drug-disease pairs were used to initialize term definitions in an ongoing effort to build a medication reference terminology for the Veterans Health Administration. Co-occurrence mining is a valuable technique for initializing term definitions in a large-scale reference terminology creation project. PMID:12463798

Carter, John S.; Brown, Steven H.; Erlbaum, Mark S.; Gregg, William; Elkin, Peter L.; Speroff, Ted; Tuttle, Mark S.

2002-01-01

216

Automatic acquisition of synonyms from French UMLS for enhanced search of EHRs.  

PubMed

Currently, the use of Natural Language Processing (NLP) approaches in order to improve search and exploration of electronic health records (EHRs) within healthcare information systems is not a common practice. One reason for this is the lack of suitable lexical resources: various types of such resources need to be collected or acquired. In this work, we propose a novel method for the acquisition of synonymous resources. This method is language-independent and relies on existence of structured terminologies. It enables to decipher hidden synonymous relations between simple words and terms on the basis of their syntactic analysis and exploitation of their compositionality. Applied to series of synonym terms from the French subset of the UMLS, the method shows 99% precision. The overlap between thus inferred terms and the existing sparse resources of synonyms is very low. PMID:18487831

Grabar, Natalia; Varoutas, Paul-Christophe; Rizand, Philippe; Livartowski, Alain; Hamon, Thierry

2008-01-01

217

Liftings of diagrams of semilattices by diagrams of dimension groups  

E-print Network

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 functor, and we provide counterexamples to various related statements. In particular, we prove that the result of Theorem 1 cannot be achieved with simplicial vector spaces alone.

Jiri Tuma; Friedrich Wehrung

2005-01-22

218

Liftings of diagrams of semilattices by diagrams of dimension groups.  

E-print Network

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 functor, and we provide counterexamples to various related statements. In particular, we prove that the result of Theorem 1 cannot be achieved with simplicial vector spaces alone.

Jiri Tuma (MFF-UK); Friedrich Wehrung (LMNO).; no. 3 (2003) 1--28

219

Phase diagrams of polyelectrolyte solutions  

NASA Astrophysics Data System (ADS)

We study the phase diagram of polyelectrolyte solutions in salt and salt-free environments. We examine the phase behavior of polyelectrolyte solutions, in the semidilute regime, using different physical models, namely the Random Phase Approximation (RPA) and the cross-linked model. In the RPA, we calculate the electrostatic free energy by summing all the fluctuations of the chains and all present ionic species. Within this approximation, the phase diagrams of salt-free polyelectrolyte solutions show phase separation even without including short-range attractions or ion condensation. We find that the phase behavior of large chains resembles the phase diagram of polymer network solutions. That is, the equilibrium is established between a network phase and a chain-free phase. Upon the addition of salt, the dissociated ions increase the entropy of the system and overcome the energy from the electrostatic fluctuations. When the short-range attraction between monomers is included in the model, the free energy predicts phase segregation for all salt valences at high salt concentrations (1 mol/l and higher). The phenomenon is called salting-out and occurs simply because the addition of salt reduces the quality of the solvent and induces precipitation. However, phase segregation in the presence of multivalent ions in polyelectrolyte solutions occurs at low salt concentrations (less than 1 mol/l). We propose that this phase separation is due to polyions cross-linked by multivalent ions. We constructed a phenomenological two-state model to examine this phenomenon. The two phases coexisting in the solution are a network-like phase and a polymer-free phase. The polymer-free phase is modeled using Debye-Huckel theory. In the cross-linked phase, each condensed multivalent ion attracts an equal number of monomers creating a neutral cluster. The energy of the cluster is evaluated by a simple Coulombic energy. The bare monomer charges between the linkages are treated as line of charges. The cross-linked model solves self-consistently for the fraction of multivalent ions and counterions condensed along the polyions. The calculated phase diagram predicts the precipitation found experimentally; however, it fails to predict the redissolution transition at higher salt concentrations.

Mahdi, Khaled A.

220

Process Flow Diagrams for Training and Operations  

NASA Astrophysics Data System (ADS)

This paper focuses on the use of process flow diagrams for training first responders who execute search and seizure warrants at electronic crime scenes. A generic process flow framework is presented, and the design goals and layout characteristics of process flow diagrams are discussed. An evaluation of the process flow diagrams used in training courses indicates that they are beneficial to first responders performing searches and seizures, and they speed up investigations, including those conducted by experienced personnel.

Venter, Jacobus

221

Hubble's diagram and cosmic expansion  

PubMed Central

Edwin Hubble's classic article on the expanding universe appeared in PNAS in 1929 [Hubble, E. P. (1929) Proc. Natl. Acad. Sci. USA 15, 168–173]. The chief result, that a galaxy's distance is proportional to its redshift, is so well known and so deeply embedded into the language of astronomy through the Hubble diagram, the Hubble constant, Hubble's Law, and the Hubble time, that the article itself is rarely referenced. Even though Hubble's distances have a large systematic error, Hubble's velocities come chiefly from Vesto Melvin Slipher, and the interpretation in terms of the de Sitter effect is out of the mainstream of modern cosmology, this article opened the way to investigation of the expanding, evolving, and accelerating universe that engages today's burgeoning field of cosmology. PMID:14695886

Kirshner, Robert P.

2004-01-01

222

Phase diagram of ammonium nitrate  

NASA Astrophysics Data System (ADS)

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

223

PHASE DIAGRAMS and MACROMOLECULAR STABILITY  

E-print Network

. Shifts in second derivative UV peak position as a function of pH and temperature. 17 Figure 3. Phase diagram created using high- resolution second derivative UV spectroscopy data. 4 5 6 7 8 pH 10 20 30 40 50 T Ricin- - 2nd Derivative UV Figure 4....25 ?g/mL, circles) and aggregate (19.17 ?g/mL, triangles) species in 25 mM Tris, 300 mM NaCl, 4 mM CaCl2, pH 7 Grillo et al. Biochemistry, 40 (2), 586 -595, 2001 53 (A) Effect of temperature on rhFVIII fluorescence emission intensity at 330 nm. (B...

Middaugh, C. Russell

2006-10-26

224

Class Matters  

ERIC Educational Resources Information Center

Ever since George Washington opted for the title of president rather than king, Americans have been uncomfortable with the idea of class distinctions. This article presents an interview with Dr. Janet Galligani Casey regarding the idea of class distinctions. Galligani Casey, who grew up in a working-class neighborhood in Somerville, Massachusetts,…

Valdata, Patricia

2005-01-01

225

Some remarks about underused Loedel diagrams  

NASA Astrophysics Data System (ADS)

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

226

Bases of Schur algebras associated to cellularly stratified diagram algebras  

E-print Network

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

227

The relation between cerebral serotonin levels and conditioned behaviour in the rat following the administration of LSD25 and UML  

Microsoft Academic Search

Successive daily injections of LSD-25 and UML (1-methyl-d-lysergic acid butanolamide) caused progressive depression of brain 5-HT levels in the rat. On the fourth day, the decrease was significant with respect to the highly significant fall observed after a single administration, whereas it had been shown earlier that conditioned behaviour is no longer affected by LSD-25 after 3 days and that

Michele Torre; Eugenio Torre; Filippo Bogetto

1975-01-01

228

DECISION DIAGRAMS AND PASS TRANSISTOR LOGIC SYNTHESIS  

E-print Network

DECISION DIAGRAMS AND PASS TRANSISTOR LOGIC SYNTHESIS V. Bertacco S. Minato P. Verplaetse L. Benini by ARPA, under grant No. DABT63-95-C-0049. #12;Decision Diagrams and Pass Transistor Logic Synthesis V transistors and domino logic. The synthesis of these cells is based on BDD and ZBDD representations

De Micheli, Giovanni

229

THE QCD PHASE DIAGRAM AT FINITE DENSITY.  

SciTech Connect

We study the density of states method to explore the phase diagram of the chiral transition on the temperature and quark chemical potential plane. Four quark flavours are used in the analysis. Though the method is quite expensive small lattices show an indication for a triple-point connecting three different phases on the phase diagram.

SCHMIDT, C.; FODOR, Z.; KATZ, S.

2005-07-25

230

Voronoi diagrams based on convex distance functions  

Microsoft Academic Search

We present an “expanding waves” view of Voronoi diagrams that allows such diagrams to be defined for very general metrics and for distance measures that do not qualify as metrics. If a pebble is dropped into a still pond, circular waves move out from the point of impact. If n pebbles are dropped simultaneously, the places where wave fronts meet

L. Paul Chew

1985-01-01

231

A sweepline algorithm for Voronoi diagrams  

Microsoft Academic Search

We present a transformation that can be used to compute Voronoi diagrams with a sweepline technique. The transformation is used to obtain simple algorithms for computing the Voronoi diagram of point sites, of line segment sites, and of weighted point sites. All algorithms have &Ogr;(n log n) worst case running time and use &Ogr;(n) space.

Steven Fortune

1986-01-01

232

Feynman Diagrams and the Quantum Stochastic Calculus  

E-print Network

We present quantum stochastic calculus in terms of diagrams taking weights in the algebra of observables of some quantum system. In particular, we note the absence of non-time-consecutive Goldstien diagrams. We review recent results in Markovian limits in these terms.

John Gough

2004-11-09

233

Visualizing hyperbolic Voronoi diagrams Frank Nielsen  

E-print Network

Visualizing hyperbolic Voronoi diagrams Frank Nielsen Sony Computer Science Laboratories, Japan simultaneously the diagram in the five standard models of hyperbolic geometry: Namely, the Poincar�e disk for personal or classroom use is granted without fee provided that copies are not made or distributed

Nielsen, Frank

234

Operations space diagram for ECRH and ECCD  

NASA Astrophysics Data System (ADS)

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

235

Reading fitness landscape diagrams through HSAB concepts  

NASA Astrophysics Data System (ADS)

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

236

Free-Body Diagrams: Necessary or Sufficient?  

NSDL National Science Digital Library

The Rutgers PAER group is working to help students develop various scientific abilities. One of the abilities is to create, understand and learn to use for qualitative reasoning and problem solving different representations of physical processes such as pictorial representations, motion diagrams, free-body diagrams, and energy bar charts. Physics education literature indicates that using multiple representations is beneficial for student understanding of physics ideas and for problem solving. We developed a special approach to construct and utilize free-body diagrams for representing physical phenomena and for problem solving. We will examine whether students draw free-body diagrams in solving problems when they know they will not receive credit for it; the consistency of their use in different conceptual areas; and if students who use free-body diagrams while solving problems in different areas of physics are more successful then those who do not.

Rosengrant, David; Van Heuvelen, A.; Etkina, Eugenia

2009-11-30

237

Phase diagram of ammonium nitrate  

SciTech Connect

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)] [Department of Chemistry and Institute for Shock Physics, Washington State University, Pullman, Washington 99164 (United States)

2013-12-07

238

The Amplituhedron from Momentum Twistor Diagrams  

E-print Network

We propose a new diagrammatic formulation of the all-loop scattering amplitudes/Wilson loops in planar N=4 SYM, dubbed the "momentum-twistor diagrams". These are on-shell-diagrams obtained by gluing trivalent black and white vertices defined in momentum twistor space, which, in the reduced diagram case, are known to be related to diagrams in the original twistor space. The new diagrams are manifestly Yangian invariant, and they naturally represent factorization and forward-limit contributions in the all-loop BCFW recursion relations in momentum twistor space, in a fashion that is completely different from those in momentum space. We show how to construct and evaluate momentum-twistor diagrams, and how to use them to obtain tree-level amplitudes and loop-level integrands; in particular for the latter we identify an isolated bubble-structure for each loop variable, arising from a forward limit, or entangled removal of particles. From a given diagram one can directly read off the C, D matrices via a generalized "boundary measurement"; this in turn determines a cell in the amplituhedron associated with the amplitude, and our diagrammatic representations of the amplitude can provide triangulations of the amplituhedron with generally very intricate geometries. To demonstrate the computational power of the formalism, we give explicit results for general two-loop integrands, and the cells of the complete amplituhedron for two-loop MHV amplitudes.

Yuntao Bai; Song He

2014-08-11

239

Physics Classroom: Drawing Free-Body Diagrams  

NSDL National Science Digital Library

This tutorial explains how free body diagrams are used in solving problems involving Newton's Second Law. This tutorials demonstrates how to draw free body diagrams, what the diagram means to Physics, and includes practice problems for the student. This tutorial also includes other tutorials, animations, and student activities in other concepts of Physics. The Physics Classroom is a set of resources created for learners and teachers of high school physics. It includes comprehensive tutorials, problem sets with solutions, extra help for struggling students, Shockwave animations, multimedia learning modules, labs, and photo gallery.

Henderson, Tom

2011-10-03

240

ProofFlow: Flow Diagrams for Proofs  

E-print Network

We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams should improve the comprehensibility of proofs. We discuss language syntax, diagram semantics, and our goal of building a repository of diagrammatic representations of proofs from canonical mathematical literature. The repository will be available online in the form of a wiki at proofflow.org, where the flow chart drawing software will be deployable through the wiki editor. We also consider the possibility of a semantic tagging of the assertions in a proof, to permit data mining.

Kieffer, Steven A

2012-01-01

241

Architecture flow diagrams under teamwork reg sign  

SciTech Connect

The Teamwork CASE tool allows Data Flow Diagrams (DFDs) to be maintained for structured analysis. Fermilab has extended teamwork under UNIX{trademark} to permit Hatley and Pirbhai Architecture Flow Diagrams (AFDs) to be associated with DFDs and subsequently maintained. This extension, called TWKAFD, allows a user to open an AFD, graphically edit it, and replace it into a TWKAFD maintained library. Other aspects of Hatley and Pirbhai's methodology are supported. This paper presents a quick tutorial on Architecture Diagrams. It then describes the user's view of TWKAFD, the experience incorporating it into teamwork, and the successes with using the Architecture Diagram methodology along with the shortcomings of using the teamwork/TWKAFD tool. 8 refs.

Nicinski, T.

1992-02-01

242

Free energy diagrams for protein function.  

PubMed

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

243

Recognition of hand drawn chemical diagrams  

E-print Network

Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures to a computer relies on a traditional mouse ...

Ouyang, Tom Yu

2007-01-01

244

Interfaces for creating quantitative conceptual diagrams  

E-print Network

Modern chart-making, illustration, and mathematical tools poorly support the use of conceptual components in quantitative graphs such as Economics diagrams. The substantial time those tools require to achieve the desired ...

Stewart, Robin S. (Robin Scott)

2008-01-01

245

Attribute Reduction Based on Property Pictorial Diagram  

PubMed Central

This paper mainly studies attribute reduction which keeps the lattice structure in formal contexts based on the property pictorial diagram. Firstly, the property pictorial diagram of a formal context is defined. Based on such diagram, an attribute reduction approach of concept lattice is achieved. Then, through the relation between an original formal context and its complementary context, an attribute reduct of complementary context concept lattice is obtained, which is also based on the property pictorial diagram of the original formal context. Finally, attribute reducts in property oriented concept lattice and object oriented concept lattice can be acquired by the relations of attribute reduction between these two lattices and concept lattice of complementary context. In addition, a detailed illustrative example is presented.

Wan, Qing; Wei, Ling

2014-01-01

246

Algebraic decision diagrams and their applications  

Microsoft Academic Search

In this paper we present theory and experiments on the AlgebraicDecision Diagrams (ADD's). These diagrams extend BDD'sby allowing values from an arbitrary finite domain to be associatedwith the terminal nodes. We present a treatment foundedin boolean algebras and discuss algorithms and results in applicationslike matrix multiplication and shortest path algorithms.Furthermore, we outline possible applications of ADD's to logicsynthesis, formal verification,

R. Iris Bahar; Erica A. Frohm; Charles M. Gaona; Gary D. Hachtel; Enrico Macii; Abelardo Pardo; Fabio Somenzi

1993-01-01

247

On the Construction of Abstract Voronoi Diagrams  

Microsoft Academic Search

We show that the abstract Voronoi diagram ofn sites in the plane can be constructed in timeO(n logn) by a randomized algorithm. This yields an alternative, but simpler,O(n logn) algorithm in many previously considered cases and the firstO(n logn) algorithm in some cases, e.g., disjoint convex sites with the Euclidean distance function. Abstract Voronoi diagrams are\\u000a given by a family

Kurt Mehlhorn; Stefan Meiser; Colm Ó'dúnlaing

1991-01-01

248

A Sweepline Algorithm for Voronoi Diagrams  

Microsoft Academic Search

We introduce a geometric transformation that allows Voronoi diagrams to be computed using a sweepline technique. The transformation\\u000a is used to obtain simple algorithms for computing the Voronoi diagram of point sites, of line segment sites, and of weighted\\u000a point sites. All algorithms haveO(n logn) worst-case running time and useO(n) space.

Steven Fortune

1987-01-01

249

Fluctuations and the QCD phase diagram  

SciTech Connect

In this contribution the role of quantum fluctuations for the QCD phase diagram is discussed. This concerns in particular the importance of the matter back-reaction to the gluonic sector. The impact of these fluctuations on the location of the confinement/deconfinement and the chiral transition lines as well as their interrelation are investigated. Consequences of our findings for the size of a possible quarkyonic phase and location of a critical endpoint in the phase diagram are drawn.

Schaefer, B.-J., E-mail: bernd-jochen.schaefer@uni-graz.at [Karl-Franzens-Universitaet, Institut fuer Physik (Austria)

2012-06-15

250

Preliminary Study of Impulse-Momentum Diagrams  

NSDL National Science Digital Library

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

251

An analysis of Newton's projectile diagram  

NASA Astrophysics Data System (ADS)

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

252

Use of Frequency-Conversion Diagrams  

Microsoft Academic Search

The mathematical difficulties involved in analytical treatment of single-mesh mixer circuits with diodes and crystals lead us to consider other methods for the determination of important mixer characteristics. This paper briefly reviews the rectification-diagram method as applied to large-signal detectors, and presents for consideration the Chaffee conversion-diagram method, which treats mixer circuits in the same way as large-signal detector circuits.

H. Stockman

1944-01-01

253

ISS EPS Orbital Replacement Unit Block Diagrams  

NASA Technical Reports Server (NTRS)

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

254

Elementary diagrams in nuclear and neutron matter  

SciTech Connect

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 E{sub 4} 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, S{sub xyz}(r{sub 12}, r{sub 13}, r{sub 23}), where xyz (= ccd, cce, ddd, dde, dee, or eee) denotes the exchange character at the vertices 1, 2, and 3. All 35 Fermi E{sub 4} 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 {sup 3}He. 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 {sup 3}He and Bethe`s homework problem. We get reasonable, but not exact agreement with earlier published work. In nuclear and neutron matter with the Argonne v{sub 14} interaction these contributions are indeed small corrections at normal density and grow to only 5-10 MeV/nucleon at 5 times normal density.

Wiringa, R.B.

1995-08-01

255

Bifurcation diagrams for two substrate oscillatory systems  

NASA Astrophysics Data System (ADS)

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

256

Phase diagram of the excitonic insulator  

Microsoft Academic Search

Motivated by recent experiments, which give strong evidence for an excitonic insulating phase in TmSe0.45Te0.55, we developed a scheme to quantitatively construct, for generic two-band models, the phase diagram of an excitonic insulator. As a first application of our approach, we calculated the phase diagram for an effective mass two-band model with long-range Coulomb interaction. The shielded potential approximation is

B. Hülsen; F. X. Bronold; H. Fehske; K. Yonemitsu

2006-01-01

257

Diagrams in Architecture: An Examination of Diagram Based Design Methods in Contemporary Urban Architecture Projects.  

E-print Network

??This research explores the relationship between the use of diagrams in architectural production and an architectural outcome which redefines conventional relationships between urban built form… (more)

Shields, Fraser

2012-01-01

258

A rule-based method to match Software Patterns against UML Models  

E-print Network

) that hinder maintenance by decreasing software quality. The Blob [5] (or God class) and (un- necessary not easily spot by themselves. In this area, there have been lots of proposals. Without pretending to be ex

Comini, Marco

259

On phase diagrams of magnetic reconnection  

NASA Astrophysics Data System (ADS)

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.

Cassak, P. A.; Drake, J. F.

2013-06-01

260

ASSESSING DIAGRAM QUALITY: MAKING A DIFFERENCE TO REPRESENTATION  

Microsoft Academic Search

The effectiveness of a diagram in problem solving is dependent on its utility as a cognitive tool. In order to develop students' ability to use diagrams as cognitive tools, teachers need to assess the quality of students' diagrams and provide them with the necessary support. However assessing the quality of diagrams is problematic. This paper discusses how theoretical prototypes and

Carmel M Diezmann

261

The Hardness-Duration Diagram of Gamma-Ray Bursts  

Microsoft Academic Search

The hardness-duration diagram for gamma-ray bursts still contains undiscovered important information about the intrinsic properties of these phenomena. We analyze these diagrams for the PHEBUS and BATSE experiments. First, we show that the BATSE diagram is very similar to that for PHEBUS when we restrict the BATSE data set to events observable by PHEBUS. In this case, both diagrams present

J. P. Dezalay; J. P. Lestrade; C. Barat; R. Talon; R. Sunyaev; O. Terekhov; A. Kuznetsov

1996-01-01

262

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

ERIC Educational Resources Information Center

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

263

The Use of Computational Diagrams and Nomograms in Higher Education.  

ERIC Educational Resources Information Center

The use of computational diagrams and nomographs for the calculations that frequently occur in college administration is examined. Steps in constructing a nomograph and a four-dimensional computational diagram are detailed, and uses of three- and four-dimensional diagrams are covered. Diagrams and nomographs are useful in the following cases: (1)…

Brandenburg, Richard K.; Simpson, William A.

1984-01-01

264

Picturing Probability: the poverty of Venn diagrams, the richness of  

E-print Network

's name deserves to be attached to these diagrams. Venn diagrams visually ground symbolic logic book Symbolic Logic Venn makes much use of these diagrams, yet in his book on probability, The Logic 1 It is true that Venn's probability book predates his symbolic logic book, however the diagrams

Oldford, R.W.

265

Five Year Results of US Intergroup/RTOG 9704 With Postoperative CA 19-9 {<=}90 U/mL and Comparison to the CONKO-001 Trial  

SciTech Connect

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)] [RTOG Statistical Center, Philadelphia, Pennsylvania (United States); Hoffman, John P. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States)] [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Regine, William F. [University of Maryland Medical Systems, Baltimore, Maryland (United States)] [University of Maryland Medical Systems, Baltimore, Maryland (United States); Abrams, Ross A. [Rush University Medical Center, Chicago, Illinois (United States)] [Rush University Medical Center, Chicago, Illinois (United States); Safran, Howard [Division of Hematology/Oncology, The Miriam Hospital, Providence, Rhode Island (United States)] [Division of Hematology/Oncology, The Miriam Hospital, Providence, Rhode Island (United States); Freedman, Gary M. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States)] [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Benson, Alan B. [Northwestern Memorial Hospital, Chicago, Illinois (United States)] [Northwestern Memorial Hospital, Chicago, Illinois (United States); MacDonald, John [St. Vincent's Comprehensive Cancer Center, New York, New York (United States)] [St. Vincent's Comprehensive Cancer Center, New York, New York (United States); Willett, Christopher G. [Duke University Medical Center, Durham, North Carolina (United States)] [Duke University Medical Center, Durham, North Carolina (United States)

2012-11-01

266

Class Trash.  

ERIC Educational Resources Information Center

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

267

A Geometric Diagram of Separable States  

E-print Network

This paper present a geometric diagram of a separable state: If a mixed state $\\sigma $ is separable, there are $2^{nS(\\sigma)}$ linearly independant product vectors which span the same Hilbert space as the $2^{nS(\\sigma)}$ ``likely'' strings of $\\sigma ^{\\otimes n}$ do. This diagram results in a criterion for separability which is strictly stronger than the inorder criterion in [M.A. Nielsen and J. Kempe, Phys. Rev. Lett. 86, 5184 (2001)]. This means that the number of product bases of states of a system has close link to the nonlocality of the system.

Ping Xing Chen; Cheng Zu Li

2004-03-02

268

Galaxy Emission Line Classification Using Three-dimensional Line Ratio Diagrams  

NASA Astrophysics Data System (ADS)

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

269

The organization of intrinsic computation: complexity-entropy diagrams and the diversity of natural information processing.  

PubMed

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

270

Segmenting Dot Patterns by Voronoi Diagram Concavity  

Microsoft Academic Search

This correspondence defines a signed distance, called ``internal concavity,'' on paths of the Voronoi diagram of a dot pattern. An algorithm using internal concavity to segment dot patterns is described. The segmentation algorithm produces subsets of the Dirichlet tessellation (Delaunay triangulation) of the dot pattern.

John Fairfield

1983-01-01

271

Neural network design using Voronoi diagrams  

Microsoft Academic Search

A novel approach is proposed which determines the number of layers, the number of neurons in each layer, and their connection weights for a particular implementation of a neural network, with the multilayer feedforward topology, designed to classify patterns in the multidimensional feature space. The approach is based on construction of a Voronoi diagram over the set of points representing

N. K. Bose; Amulya K. Garga

1993-01-01

272

Evaluating formal properties of feature diagram languages  

Microsoft Academic Search

Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as part of the feature-oriented domain analysis (FODA) method back in 1990. Since then, various extensions of FODA FDs were devised to compensate for purported ambiguity and lack of precision and expressiveness. Recently,

Patrick Heymans; Pierre-yves Schobbens; Jean-christophe Trigaux; Yves Bontemps; Raimundas Matulevicius; Andreas Classen

2008-01-01

273

Nonverbal Poetry: Family Life-Space Diagrams.  

ERIC Educational Resources Information Center

Examines life-space diagrams as a form of nonverbal poetry which taps personal feelings, tells a story, and characterizes a particular life situation, forming a useful therapy technique that provides a family the opportunity to examine its internal family relationships. Offers two case studies, discusses five levels of knowing and awareness, and…

Bardill, Donald R.

2001-01-01

274

Bregman Voronoi Diagrams: Properties, Algorithms and Applications  

E-print Network

entropy of distributions. We define several types of Bregman diagrams, establish correspondences between and Object Modeling -- Geometric algorithms, languages, and systems; F.2.2 [Anal- ysis of Algorithms on Discrete Algorithms (SODA), pp. 746-755, 2007. Related materials are available online at http://www.csl.sony

Nielsen, Frank

275

Ferromagnetic phase diagram of neutron matter  

E-print Network

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.

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

2010-06-29

276

NFHS Court and Field Diagram Guide.  

ERIC Educational Resources Information Center

This guide contains a comprehensive collection of diagrams and specifications of playing fields and courts used in interscholastic and recreational sports, along with information on how to set up various formats of tournament drawings, how to compute golf handicaps, and how to convert metric-to-English distances. Lists are provided of national…

Gillis, John, Ed.

277

Shockwave Physics Studios: Free Body Diagrams  

NSDL National Science Digital Library

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

278

Revised state diagram of Laponite dispersions  

Microsoft Academic Search

We propose a state diagram of charged disk-like mineral particle (Laponite) dispersions as a function of the Laponite concentration (C) and the concentration of added salt (Cs), based on simple observation and light-scattering measurements. At low C or high Cs the dispersions separate into two domains due to sedimentation of Laponite aggregates, while at high C and low Cs they

Philippe Mongondry; Jean François Tassin; Taco Nicolai

2005-01-01

279

Shared Variables Interaction Diagrams Rajeev Alur  

E-print Network

of an SVID, an action corresponds to, possibly multiple, reading/writing of shared variables. The actions that the problem can be solved in linear-time when all the variables are read-shared but write- exclusive. BenefitsShared Variables Interaction Diagrams Rajeev Alur Department of Computer and Information Science

Grosu, Radu

280

The Keynesian Diagram: A Cross to Bear?  

ERIC Educational Resources Information Center

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

281

One Parameter Bifurcation Diagram for Chua's Circuit  

E-print Network

One Parameter Bifurcation Diagram for Chua's Circuit MIREILLE E. BROUCKE Abstract -The objective of this letter is to report on the usefulness of a l-dimensional map for characterizing the dynamics of a third-order piece- wise-linear circuit. The map is used to reproduce period-doubling birfurca- tions

Broucke, Mireille E.

282

Testing for monotonicity in the Hubble diagram  

E-print Network

General relativistic kinematics and the cosmological principle alone imply a monotonicity constraint in the Hubble diagram, which we confront to present-day supernova data. We use the running gradient method of statistical inference by Hall & Heckman (2000). We find no significant departure from monotonicity. The method seems well adapted and we recommend its use with future data.

Nicolai Meinshausen; John Rice; Thomas Schücker

2006-12-19

283

Dynamic Tactile Diagram Simplification on Refreshable Displays  

ERIC Educational Resources Information Center

The increasing use of visual diagrams in educational and work environments, and even our daily lives, has created obstacles for individuals who are blind or visually impaired to "independently" access the information they represent. Although physical tactile pictures can be created to convey the visual information, it is typically a slow,…

Rastogi, Ravi; Pawluk, Dianne T. V.

2013-01-01

284

Recognition of Hand Drawn Chemical Diagrams  

Microsoft Academic Search

Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic com- pounds. However, the software available today for spec- ifying these structures to a computer relies on a tra- ditional mouse and keyboard interface, and as a re- sult lacks the ease of use, naturalness, and speed of drawing on paper. In response, we have developed a

Tom Y. Ouyang; Randall Davis

2007-01-01

285

Constructing Causal Diagrams to Learn Deliberation  

ERIC Educational Resources Information Center

Policy problems like "What should we do about global warming?" are ill-defined in large part because we do not agree on a system to represent them the way we agree Algebra problems should be represented by equations. As a first step toward building a policy deliberation tutor, we investigated: (a) whether causal diagrams help students learn to…

Easterday, Matthew W.; Aleven, Vincent; Scheines, Richard; Carver, Sharon M.

2009-01-01

286

Spectrum Analyzer Basics Simplified Block Diagram  

E-print Network

Spectrum Analyzer Basics Simplified Block Diagram Major Controls Frequency Sweep Set Start { Hit MKR-> in the MARKER/LINE CURSOR group. { Use the softkeys to move the marker to the maximum and the CONTmode (it sometimes gets confused and stuck in a single-sweep mode) { If the analyzer complains about

Kuhn, William B.

287

NTNU Java: Free-Body Force Diagram  

NSDL National Science Digital Library

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

288

Towards Flexible Graphical Communication Using Adaptive Diagrams  

E-print Network

, life- less objects reflecting their origin in print media, the computer of the near future will provide their origin in print media, the computer of the near future will provide more flexible visual computer. There are five main differences between the old print media based view of diagrams and this new view based

Marriott, Kimbal

289

Fog Machines, Vapors, and Phase Diagrams  

ERIC Educational Resources Information Center

A series of demonstrations is described that elucidate the operation of commercial fog machines by using common laboratory equipment and supplies. The formation of fogs, or "mixing clouds", is discussed in terms of the phase diagram for water and other chemical principles. The demonstrations can be adapted for presentation suitable for elementary…

Vitz, Ed

2008-01-01

290

APRICODD: Approximate Policy Construction Using Decision Diagrams  

Microsoft Academic Search

We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and policies with much lower time and space requirements than exact dynamic programming. Our method reduces the sizes of the intermediate value functions generated during value iteration by replacing the values at the terminals of the ADD

Robert St-aubin; Jesse Hoey; Craig Boutilier

2000-01-01

291

UML for ABM http://jasss.soc.surrey.ac.uk/15/1/9.html[6/25/2012 8:51:27 PM  

E-print Network

to write ten blocks of one thousand lines of code than to write one single block of ten thousand lines. 1 evolutionary game, and a continuous double action free market are subjected to more detailed UML analysis, simpler to code. Thanks to OO's inherent modularity, OO coding is also easier to extend, maintain

Tesfatsion, Leigh

292

Class distinction  

NASA Astrophysics Data System (ADS)

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

293

Generalized Voronoi Diagrams for a Ladder: II. Efficient Construction of the Diagram  

Microsoft Academic Search

We present a collection of algorithms, all running in timeO(n\\u000a 2 logn ? (n)\\u000a o(?(n)3)) for some fixed integers(where ?(n) is the inverse Ackermann's function), for constructing a skeleton representation of a suitably generalized “Voronoi diagram”\\u000a for a ladder moving in a two-dimensional space bounded by polygonal barriers consisting ofn line segments. This diagram, which is a two-dimensional subcomplex of

Colm Ó'dúnlaing; Micha Sharir; Chee-keng Yap

1987-01-01

294

The geometry of on-shell diagrams  

NASA Astrophysics Data System (ADS)

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

295

More on phase diagram of Laponite  

E-print Network

The phase diagram of a charged colloidal system (Laponite) has been investigated by dynamic light scattering in a previously unexplored range of salt and clay concentrations. Specifically the clay weight and salt molar concentrations have been varied in the ranges Cw=0.004- 0.025, Cs=(1x 10^-3- 5x 10^-3) M respectively. As in the case of free salt water samples (Cs= 1x 10^-4 M) an aging dynamics towards two different arrested phases is found in the whole examined Cw and Cs range. Moreover a transition between these two different regimes is found for each investigated salt concentration. It is clear from these measurements that a revision of the phase diagram is necessary and a new "transition" line between two different arrested states is drawn.

B. Ruzicka; L. Zulian; G. Ruocco

2005-09-09

296

Modeling the Round Earth through Diagrams  

NASA Astrophysics Data System (ADS)

Earlier studies have found that students, including adults, have problems understanding the scientifically accepted model of the Sun-Earth-Moon system and explaining day-to-day astronomical phenomena based on it. We have been examining such problems in the context of recent research on visual-spatial reasoning. Working with middle school students in India, we have developed a pedagogical sequence to build the mental model of the Earth and tried it in three schools for socially and educationally disadvantaged students. This pedagogy was developed on the basis of (1) a reading of current research in imagery and visual-spatial reasoning and (2) students' difficulties identified during the course of pretests and interviews. Visual-spatial tools such as concrete (physical) models, gestures, and diagrams are used extensively in the teaching sequence. The building of a mental model is continually integrated with drawing inferences to understand and explain everyday phenomena. The focus of this article is inferences drawn with diagrams.

Padalkar, Shamin; Ramadas, Jayashree

297

Persistence diagrams of cortical surface data.  

PubMed

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

298

Voronoi Diagrams for Pure 1-qubit Quantum States  

E-print Network

1-qubit quantum states form a space called the three-dimensional Bloch ball. To compute Holevo capacity, Voronoi diagrams in the Bloch ball with respect to the quantum divergence have been used as a powerful tool. These diagrams basically treat mixed quantum states corresponding to points in the interior of the Bloch ball. Due to the existence of logarithm in the quantum divergence, the diagrams are not defined on pure quantum states corresponding to points on the two-dimensional sphere. This paper first defines the Voronoi diagrams for pure quantum states on the Bloch sphere by the Fubini-Study distance and the Bures distance. We also introduce other Voronoi diagrams on the sphere obtained by taking a limit of Voronoi diagrams for mixed quantum states by the quantum divergences in the Bloch ball. These diagrams are shown to be equivalent to the ordinary Voronoi diagram on the sphere.

Kimikazu Kato; Mayumi Oto; Hiroshi Imai; Keiko Imai

2006-04-14

299

The phase diagram YF-GdF  

Microsoft Academic Search

The binary phase diagram YF-GdF was studied by differential scanning calorimetry (DSC). Yttrium fluoride and gadolinium fluoride show complete miscibility in all three phases (orthorhombic room temperature phase, trigonal or hexagonal high temperature phase, liquid). The transformations between room temperature and high temperature phases are of first order and occur at 1338.6 K (YF) or 1174.8 K (GdF). Melting points

D. Klimm; I. M. Ranieri; R. Bertram; S. L. Baldochi

2008-01-01

300

Communicating Phylogeny: Evolutionary Tree Diagrams in Museums  

E-print Network

History Museum 5 Address: University of Kansas, Lawrence, KS 66045-7593, USA 6 7 Second Author: E. O. Wiley 8 Institution: Ecology & Evolutionary Biology and Biodiversity Institute 9 Address: University of Kansas, Lawrence, KS 66045...IN PRESS (EVOLUTION: EDUCATION AND OUTREACH) 1 Title: Communicating Phylogeny: Evolutionary tree diagrams in museums 2 Running Head: Communicating Phylogeny 3 First Author: Teresa MacDonald 4 Institution: University of Kansas Natural...

MacDonald, Teresa; Wiley, Edward O.

2012-01-01

301

Using Diagrams and Models: 2.75  

NSDL National Science Digital Library

This article discusses the importance of abstraction and generalization in being able to use models and diagrams effectively, whether children are creating their own models to represent a situation and explain their thinking, or interpreting a provided model. The resource offers examples to illustrate these ideas as well as teaching strategies and activities in the areas of parity, mental addition, equivalent fractions, and multi-digit multiplication.

2012-09-26

302

Reentrant phase diagram for granular superconductors  

SciTech Connect

The mean-field phase diagram of the self-charging model of a granular superconductor is calculated using the functional-integral formulation. A pronounced reentrance is obtained in quantitative agreement with a previous calculation, involving 2..pi..-antiperiodic eigenstates of the Mathieu equation. It is argued that low-lying, odd-electron-number excitations play a significant role in the thermodynamics of Josephson-junction arrays, for which the Feynman functional-integral formulation holds.

Simanek, E.

1985-07-01

303

Stability diagrams for coupled Mathieu-equations  

Microsoft Academic Search

A method is described for determining stability diagrams for coupled Mathieu-equations. The boundary curves are found by searching for those almost-periodic solutions of the differential equations for which the real part of the characteristic exponent changes from zero to a non-zero value. The method derives analytic expressions for the involved determinants and is able to find the transition curves even

J. Hansen

1985-01-01

304

Mixed wasted integrated program: Logic diagram  

SciTech Connect

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

305

The plutonium-oxygen phase diagram  

SciTech Connect

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 H{sub 2} formation and analytical data suggest that a sequence of hydrolysis reactions produces oxide hydrides of trivalent plutonium, Pu{sub 2}O{sub 3}, mixed-valent oxides and PuO{sub 2}. The intermediate oxides are the n {equals} 7, 9, 10 and 12 members of the Pu{sub n}O{sub 2n{minus}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.

Haschke, J.M.

1990-01-01

306

Recognition and processing of logic diagrams  

NASA Astrophysics Data System (ADS)

In this paper we present a vision system that is capable of interpreting schematic logic diagrams, i.e. determine the output as a logic function of the inputs. The system is composed of a number of modules each designed to perform a specific subtask. Each module bears a minor contribution in the form of a new mixture of known algorithms or extensions to handle actual real life image imperfections which researchers tend to ignore when they develop their theoretical foundations. The main contribution, thus, is not in any individual module, it is rather in their integration to achieve the target job. The system is organized more or less in a classical fashion. Aside from the image acquisition and preprocessing modules, interesting modules include: the segmenter, the identifier, the connector and the grapher. A good segmentation output is one reason for the success of the presented system. Several novelties exist in the presented approach. Following segmentation the type of each logic gate is determined and its topological connectivity. The logic diagram is then transformed to a directed acyclic graph in which the final node is the output logic gate. The logic function is then determined by backtracking techniques. The system is not only aimed at recognition applications. In fact its main usage may be to target other processing applications such as storage compression and graphics modification and manipulation of the diagram as is explained.

Darwish, Ahmed M.; Bashandy, Ahmed R.

1996-03-01

307

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

NASA Astrophysics Data System (ADS)

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.

308

Algorithms in electric power system one-line diagram creation  

Microsoft Academic Search

This paper analyzes various algorithms for the automatic generation of electric power system one-line diagrams. Historically these one-line diagrams were created manually. As these diagrams can be large, their manual creation takes a lot of time and resources, and it is also prone to errors. One possible solution to this problem is the automatic generation of one-line diagrams. Automatic visualization

Imre Lendak; Aleksandar Erdeljan; Darko Capko; Srdan Vukmirovic

2010-01-01

309

Indicator diagram of a high pressure pump for cryogenic liquid  

Microsoft Academic Search

sure cycles. The indicator diagram provides a basis for deriving quantitative relationships between pump parameters. To this end we determined experimentally the indicator diagram of a series-produced pump type NZhA-.22M and developed a method of constructing a calculated indicator diagram. It is ,difficult to produce indicator diagrams for high-pressure pumps operating on liquefied gas: ordinary general purpose indicators are unsuitable

E. N. Smirnov; V. I. Epifanova

1969-01-01

310

Voronoi Diagrams of Moving Points in the Plane  

Microsoft Academic Search

Consider a set of n points in the Euclidean plane each of which is continuously moving along a given trajectory. At each instant in time, the points define a Voronoi diagram. As the points move, the Voronoi diagram changes continuously, but at certain critical instants in time, topological events occur that cause a change in the Delaunay diagram. In this

Leonidas J. Guibas; Joseph S. B. Mitchell; Thomas Roos

1991-01-01

311

Symbolic Reasoning with Weighted and Normalized Decision Diagrams  

Microsoft Academic Search

Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic notion of weighted decision diagrams that captures many of them and present criteria for canonic- ity. As a special instance of such weighted diagrams, we introduce a new BDD-variant for real-valued functions, called normalized

Jörn Ossowski; Christel Baier

2006-01-01

312

A vector diagram of Maxwell's equations for chiral media  

Microsoft Academic Search

A vector diagram of Maxwell's time-harmonic equations in homogeneous isotropic media is proposed and derived to include chiral media. This diagram may be used to obtain a number of common relationships between fields, potentials and sources by equating appropriate components of the vectors in it. The construction of the diagram is based on the formal similarity between many theorems of

S. Uckun

1998-01-01

313

The Family Diagram and Genogram: Comparisons and Contrasts  

Microsoft Academic Search

The family diagram and its derivative the genogram are widely used in marriage and family therapy, other mental health disciplines, and family medicine. After a brief history of the origins of the family diagram and genogram, several different areas are compared in order to help distinguish differences between family diagrams and genograms. The results of these evaluations illustrate some similarities

John F. Butler

2008-01-01

314

The Classroom as Rhizome: New Strategies for Diagramming Knotted Interactions  

ERIC Educational Resources Information Center

This article calls attention to the unexamined role of diagrams in educational research and offers examples of alternative diagramming practices or tools that shed light on classroom interaction as a rhizomatic process. Drawing extensively on the work of Latour, Deleuze and Guattari, and Chatelet, this article explores the power of diagramming as…

de Freitas, Elizabeth

2012-01-01

315

Density-Enthalpy Phase Diagram 0D Boiler Simulation  

E-print Network

Density-Enthalpy Phase Diagram 0D Boiler Simulation Finite Element Method Further Research Finite Transitions #12;Density-Enthalpy Phase Diagram 0D Boiler Simulation Finite Element Method Further Research;Density-Enthalpy Phase Diagram 0D Boiler Simulation Finite Element Method Further Research Goal

Vuik, Kees

316

DARLS: Differencing and Merging Diagrams Using Dual View, Animation,  

E-print Network

DARLS: Differencing and Merging Diagrams Using Dual View, Animation, Re-Layout, Layers, Animation, Re-Layout, Layers and a Storyboard, short "DARLS". It is targeted at diagrams where node and edge. It presents the union of nodes and edges in figure 1. DARLS showing two versions of a diagram, which

Stürzlinger, Wolfgang

317

Dinosaur Extinction: Causal Loop Diagram of Earth Feedback System  

NSDL National Science Digital Library

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

318

Modelling network problems with power flow equations and diagrams  

Microsoft Academic Search

This paper focuses on the modelling of electrical utility networks, their problems and solutions in a network-planning environment. Equivalent single-line diagrams, vector diagrams and power flow diagrams are derived and used for each specific problem within a specific network

F. J. Rossouw; H. J. Beukes; J. H. R. Enslin

1999-01-01

319

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

NASA Astrophysics Data System (ADS)

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

320

Overture: The grid classes  

SciTech Connect

Overture is a library containing classes for grids, overlapping grid generation and the discretization and solution of PDEs on overlapping grids. This document describes the Overture grid classes, including classes for single grids and classes for collections of grids.

Brislawn, K.; Brown, D.; Chesshire, G.; Henshaw, W. [and others

1997-01-01

321

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

PubMed

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

322

Predicting Allostery Wiring Diagrams within Motor Proteins  

NASA Astrophysics Data System (ADS)

Motor proteins are intricate molecular machines that make use of allostery as a basis of their function. Fundamental questions in trying to understand the operational mechanism of the motors is, therefore, how allostery communicated is within the proteins, what are the pathways that transmit allosteric signals, how to model and predict them. We have proposed a normal-mode analysis based perturbation model that predicts the pathways based on the structure and chemical composition of the molecules. We use the model to investigate allosteric pathways (allostery wiring diagrams) within motor proteins myosin V and VI.

Tehver, Riina

2013-03-01

323

More on the Phase Diagram of Laponite  

Microsoft Academic Search

The phase diagram of a charged colloidal system (Laponite) has been\\u000ainvestigated by dynamic light scattering in a previously unexplored range of\\u000asalt and clay concentrations. Specifically the clay weight and salt molar\\u000aconcentrations have been varied in the ranges Cw=0.004- 0.025, Cs=(1x 10^-3- 5x\\u000a10^-3) M respectively. As in the case of free salt water samples (Cs= 1x 10^-4

B. Ruzicka; L. Zulian; G. Ruocco

2006-01-01

324

The QCD Phase Diagram: Expectations and Challenges  

E-print Network

A survey is given of recent QCD theory advances concerning the phase diagram, in particular the indications for a critical point and adjacent first order phase transition at high baryo-chemical potential, and the new ideas concerning a further phase at high $\\mu_{B}$, the quarkyonic matter phase. The latter state might finally explain the hadro-chemical equilibrium freeze-out points from A+A collisions at energies below SPS energy. We review several event-by-event fluctuation signals that promise to shed a light on the existence of a critical point, and we discuss its possible reflection in recent lattice QCD calculations.

Reinhard Stock

2009-09-03

325

Chapter submitted to the book "Enterprise Modeling and Computing with UML", IRM Press. Revised version. November 2005.  

E-print Network

, Business Process Diagram, Alignment of IS Plans with Business Plans, Unified Modeling Language, Business of the enterprise should be organized into five architectural components: Organization, Business, Information such as people, control and value chains, business processes and information systems and technology. Representing

326

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty  

Microsoft Academic Search

In a previous work, we reported and experimented with a stress testing methodology to detect network traffic- related real-time (RT) faults in distributed real-time systems (DRTSs) based on the design UML models. The stress methodology, referred to as time-shifting stress test methodology (TSSTM), aimed at increasing chances of discovering RT faults originating from network traffic overloads in DRTSs. The TSSTM

Vahid Garousi

2008-01-01

327

The efficiency and effectiveness of utilizing diagrams in interviews: an assessment of participatory diagramming and graphic elicitation  

PubMed Central

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. PMID:18691410

Umoquit, Muriah J; Dobrow, Mark J; Lemieux-Charles, Louise; Ritvo, Paul G; Urbach, David R; Wodchis, Walter P

2008-01-01

328

UML modelling of geographic routing protocol "Greedy Perimeter Stateless Routing" for its integration into the "Java Network Simulator"  

E-print Network

In this work we propose an UML modeling of the "Greedy Perimeter Stateless Routing" (GPSR) protocol that integrate this geographic routing protocol, into "JavaNetwork Simulator" to simulate and study this protocol in a first time and offer some improvement in these features. Java Network Simulator (JNS) is a project of "translation" of Network Simulator (NS) in Java initiated by "the UCL Department of Computer Science". This simulator is not as complete as ns-2, but it is much more accessible to programmers unfamiliar with Tcl. Java Network Simulator does not support so far, no routing protocol for vehicular ad hoc networks and all the routing decisions are made statically or using RIP and OSPF. By modeling and integrating the routing protocol GPSR to JNS, users will be able to understand the concept of the geographic routing and how the routing information is transmitted and updated between nodes in vehicular ad hoc network. The article first examines the architecture of the Java Network Simulator, then give...

Erritali, Mohammed; Ouahidi, Bouabid El

2012-01-01

329

Patterns in the sine map bifurcation diagram  

Microsoft Academic Search

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.

Cristian Constantin Lalescu

2010-01-01

330

Colour Magnitude Diagrams of Transiting Exoplanets  

NASA Astrophysics Data System (ADS)

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

331

Accurate phase diagram of tetravalent DNA nanostars  

E-print Network

We evaluate, by means of molecular dynamics simulations employing a realistic DNA coarse-grained model, the phase behaviour and the structural and dynamic properties of tetravalent DNA nanostars, i.e. nanoconstructs completely made of DNA. We find that, as the system is cooled down, tetramers undergo a gas--liquid phase separation in a region of concentrations which, if the difference in salt concentration is taken into account, is comparable with the recently measured experimental phase diagram [S. Biffi \\textit{et al}, Proc. Natl. Acad. Sci, \\textbf{110}, 15633 (2013)]. We also present a mean-field free energy for modelling the phase diagram based on the bonding contribution, derived by Wertheim in its studies of associating liquids, combined with mass action law expressions appropriate for DNA binding and a numerically evaluated reference free energy. The resulting free energy qualitatively reproduces the numerical data. Finally, we report information on the nanostar structure, e.g. geometry and flexibility of the single tetramer and of the collective behaviour, providing a useful reference for future small angle scattering experiments, for all investigated temperatures and concentrations.

Lorenzo Rovigatti; Francesca Bomboi; Francesco Sciortino

2014-01-13

332

Magnetic phase diagrams of UNiGe  

SciTech Connect

UNiGe undergoes two magnetic transitions in zero field. Here, the magnetic diagrams of UNiGe for B {parallel} b and B {parallel} c are reported. We performed temperatures scans of the magnetization in static magnetic fields up to 19.5T applied along the b and c axes. For both orientations 3 magnetic phases have been identified in the B-T diagrams. We confirmed the previously reported phase boundaries for B {parallel} c, and in addition we determined the location of the phase boundaries for B {parallel} b. We discuss a possible relationship of the two zero-field antiferromagnetic phases (commensurate: T<42K; incommensurate: 42K

Nakotte, H. [Los Alamos National Lab., NM (United States); Hagmusa, I.H.; Klaasse, J.C.P. [Univ. of Amsterdam (Netherlands). Van der Waals-Zeeman Inst.; Nakotte, H.; Lacerda, A.H. [Los Alamos National Lab., NM (United States); Hagmusa, I.H.; Klaasse, J.C.P. [Univ. of Amsterdam (Netherlands). Van der Waals-Zeeman Institute] [and others

1997-11-01

333

Recent Results in Ring-Diagram Analysis  

NASA Astrophysics Data System (ADS)

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

334

Instability Regions in the Upper HR Diagram  

NASA Technical Reports Server (NTRS)

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

335

Critical point analysis of phase envelope diagram  

NASA Astrophysics Data System (ADS)

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; Kusdiantara, Rudy; Puspita, Dila; Sidarto, Kuntjoro A.; Siagian, Ucok W. R.; Soewono, Edy; Gunawan, Agus Y.

2014-03-01

336

Revisiting the phase diagram of hard ellipsoids  

NASA Astrophysics Data System (ADS)

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

337

Classical Heisenberg lattice-gas model: Thermodynamics and phase diagrams  

NASA Astrophysics Data System (ADS)

The present paper addresses a simple lattice gas model, consisting of particles that carry a three-component classical spin (i.e., a three-component unit vector), and associated with a simple-cubic lattice; each site can host one particle at most, thus implicitly allowing for hard-core repulsion; the pair interaction, restricted to nearest neighbors, is ferromagnetic and isotropic in spin space. We have studied thermodynamic properties and phase diagrams of the model by means of mean-field and two-site cluster treatments, and identified the tricritical points. Note that the fluctuating occupation numbers give rise to additional fluidlike observables in comparison with the usual saturated-lattice situation. The case of zero chemical potential has been investigated by grand-canonical Monte Carlo simulations, so as to obtain a quantitative test of the named approximations, as well as a more detailed physical characterization. The mean-field treatment was found to yield only qualitative agreement with simulation results, and the two-site cluster treatment recognizably improved upon it. Extensive simulations point to a second-order transition, whose universality class was found to be the same as its saturated-lattice counterpart.

Chamati, Hassan; Romano, Silvano

2005-08-01

338

Using Eye Tracking to Investigate Semantic and Spatial Representations of Scientific Diagrams During Text-Diagram Integration  

NASA Astrophysics Data System (ADS)

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

339

CHAPTER 8--SUMMARY The coordination class construct proved useful for the analysis of student  

E-print Network

154 CHAPTER 8--SUMMARY The coordination class construct proved useful for the analysis of student of the interviewed students were analyzed with the coordination class construct and decision path diagrams in chapter seven, comparisons between the coordination patterns of the LT and MT groups echoed comparisons between

Minnesota, University of

340

Hints for families of gamma-ray bursts improving the Hubble diagram  

NASA Astrophysics Data System (ADS)

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 GRB 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 Epeak-Eiso and Epeak-L correlations significantly change depending on which sub-sample is fitted. It turns out that the fit to the full sample leads to a scaling relation which approximately follows the diagonal of the region delimited by the fits to each homogenous class. We therefore argue that a preliminary identification of the class a GRB belongs to is necessary in order to select the right scaling relation to be used in order to not bias the distance determination and hence the Hubble diagram.

Cardone, Vincenzo F.; Fraix-Burnet, Didier

2013-09-01

341

A Replacement for Voronoi Diagrams of Near Linear Size  

Microsoft Academic Search

Abstract: For a set P of n points in R^d, we define a new type of space decomposition. The new diagram provides an ε-approximation to the distance function associated with the Voronoi diagram of P, while being of near linear size, for d ≥ 2. This contrasts with the standard Voronoi diagram that has complexity Ω(n^⌈d\\/2⌉) in the worst case.

Sariel Har-peled

2001-01-01

342

Teachers in Class  

ERIC Educational Resources Information Center

In this article, I argue for a closer read of the daily "class work" of teachers, as posited by Reay, 1998. In developing exploratory class portraits of four teachers who occupy distinctive social positions (two from working-class homes now teaching upper-middle-class children and two from upper-middle-class homes now teaching poor children), I…

Van Galen, Jane

2008-01-01

343

Phase diagram of chirally imbalanced QCD matter  

SciTech Connect

We compute the QCD phase diagram in the plane of the chiral chemical potential and temperature using the linear sigma model coupled to quarks and to the Polyakov loop. The chiral chemical potential accounts for effects of imbalanced chirality due to QCD sphaleron transitions which may emerge in heavy-ion collisions. We found three effects caused by the chiral chemical potential: the imbalanced chirality (i) tightens the link between deconfinement and chiral phase transitions; (ii) lowers the common critical temperature; (iii) strengthens the order of the phase transition by converting the crossover into the strong first order phase transition passing via the second order end point. Since the fermionic determinant with the chiral chemical potential has no sign problem, the chirally imbalanced QCD matter can be studied in numerical lattice simulations.

Chernodub, M. N. [CNRS, Laboratoire de Mathematiques et Physique Theorique, Universite Francois-Rabelais Tours, Federation Denis Poisson, Parc de Grandmont, Tours, 37200 (France); Department of Physics and Astronomy, University of Gent, Krijgslaan 281, S9, B-9000 Gent (Belgium); Nedelin, A. S. [Department of Physics and Astronomy, Uppsala University, P. O. Box 803, Uppsala, S-75108 (Sweden); Institute for Theoretical and Experimental Physics, B. Cheremushkinskaya 25, Moscow (Russian Federation)

2011-05-15

344

Basic primitives for molecular diagram sketching  

PubMed Central

A collection of primitive operations for molecular diagram sketching has been developed. These primitives compose a concise set of operations which can be used to construct publication-quality 2 D coordinates for molecular structures using a bare minimum of input bandwidth. The input requirements for each primitive consist of a small number of discrete choices, which means that these primitives can be used to form the basis of a user interface which does not require an accurate pointing device. This is particularly relevant to software designed for contemporary mobile platforms. The reduction of input bandwidth is accomplished by using algorithmic methods for anticipating probable geometries during the sketching process, and by intelligent use of template grafting. The algorithms and their uses are described in detail. PMID:20923555

2010-01-01

345

Energy Level Diagrams for Black Hole Orbits  

E-print Network

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 accessible states around black holes. We also present a closed form expression for the rational q, thereby quantifying zoom-whirl behavior in terms of spin, energy, and angular momentum. The black hole atom is not just a theoretical construct, but corresponds to extant astrophysical systems detectable by future gravitational wave observatories.

Janna Levin

2009-07-29

346

Bianchi I meets the Hubble diagram  

E-print Network

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

347

Thermal phase diagrams of columnar liquid crystals  

E-print Network

In order to understand the possible sequence of transitions from the disordered columnar phase to the helical phase in hexa(hexylthio)triphenylene (HHTT), we study a three-dimensional planar model with octupolar interactions inscribed on a triangular lattice of columns. We obtain thermal phase diagrams using a mean-field approximation and Monte Carlo simulations. These two approaches give similar results, namely, in the quasi one-dimensional regime, as the temperature is lowered, the columns order with a linear polarization, whereas helical phases develop at lower temperatures. The helicity patterns of the helical phases are determined by the exact nature of the frustration in the system, itself related to the octupolar nature of the molecules.

G. Lamoureux; A. Caillé; D. Sénéchal

1998-01-07

348

Bayesian Image Reconstruction Based on Voronoi Diagrams  

E-print Network

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.

G. F. Cabrera; S. Casassus; N. Hitschfeld

2007-12-26

349

Bianchi I meets the Hubble diagram  

NASA Astrophysics Data System (ADS)

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. 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 Joint Light curve Analysis, and we use the general Bianchi I metric with three distinct eigenvalues.

Schücker, Thomas; Tilquin, André; Valent, Galliano

2014-11-01

350

Band diagrams of layered plasmonic metamaterials  

NASA Astrophysics Data System (ADS)

We introduce a method to map the band diagrams, or equipotential contours (EPCs), of any layered plasmonic metamaterial using a general expression for the Poynting vector in a lossy layered medium of finite extent under plane-wave illumination. Unlike conventional methods to get band diagrams by solving the Helmholtz equation using the Floquet-Bloch theorem (an approach restricted to infinite, periodic, lossless media), our method adopts a bottom-up philosophy based on spatial-frequency decomposition of the electric and magnetic fields (an approach applicable to finite, lossy media). Equipotential contours are used to visualize phase and group velocities in a wide range of layered plasmonic systems, including the basic building block of a thin metallic layer and more complex multi-layers with unique optical properties such as negative phase velocity, super-resolution imaging, canalization, and far-field imaging. We show that a thin metallic layer can mimic a left-handed electromagnetic response at the surface plasmon resonance and that stacks of metal and dielectric layers can do the same provided that the dielectric layer is sufficiently thin. We also use EPCs to estimate resolution limits of both Pendry's silver slab lens and the Veselago lens and show that the image location and lateral image resolution of metal-dielectric layered flat lenses can be described (and tailored) by the concavity and spectral reach of the dominant band in their EPCs. Homogenization methods for describing the effective optical properties of various layered systems are validated by the extent to which they accurately mimic features in their EPCs.

Al Shakhs, Mohammed H.; Ott, Peter; Chau, Kenneth J.

2014-11-01

351

55. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ...  

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

55. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ONE COMPLETE CYCLE - Kennecott Copper Corporation, On Copper River & Northwestern Railroad, Kennicott, Valdez-Cordova Census Area, AK

352

54. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ...  

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

54. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ONE COMPLETE CYCLE - Kennecott Copper Corporation, On Copper River & Northwestern Railroad, Kennicott, Valdez-Cordova Census Area, AK

353

53. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ...  

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

53. PHOTOCOPY OF DRAWING AMMONIA LEACHING PLANT FLOW DIAGRAM, REPRESENTING ONE COMPLETE CYCLE - Kennecott Copper Corporation, On Copper River & Northwestern Railroad, Kennicott, Valdez-Cordova Census Area, AK

354

Visualization design and verification of Ada tasking using timing diagrams  

NASA Technical Reports Server (NTRS)

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

355

Volunteer Day Class Photo  

E-print Network

food to the homeless. Have a great day, everyone! Class Photo The ELI Class picture for Fall, 2011 in the classrooms. Veterans Day: Friday, November 11th, is a holiday. There will be no ELI classes and the ELI Main

Pilyugin, Sergei S.

356

Patterns in the sine map bifurcation diagram  

Microsoft Academic Search

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

Cristian Constantin Lalescu

2010-01-01

357

Domain-specific languages and diagram customization for a concurrent engineering environment  

NASA Astrophysics Data System (ADS)

A major open question for advocates of Model-Based Systems Engineering (MBSE) is the question of how system and subsystem engineers will work together. The Systems Modeling Language (SysML), like any language intended for a large audience, is in tension between the desires for simplicity and for expressiveness. In order to be more expressive, many specialized language elements may be introduced, which will unfortunately make a complete understanding of the language a more daunting task. While this may be acceptable for systems modelers, it will increase the challenge of including subsystem engineers in the modeling effort. One possible answer to this situation is the use of Domain-Specific Languages (DSL), which are fully supported by the Unified Modeling Language (UML). SysML is in fact a DSL for systems engineering. The expressive power of a DSL can be enhanced through the use of diagram customization. Various domains have already developed their own schematic vocabularies. Within the space engineering community, two excellent examples are the propulsion and telecommunication subsystems. A return to simple box-and-line diagrams (e.g., the SysML Internal Block Diagram) are in many ways a step backward. In order allow subsystem engineers to contribute directly to the model, it is necessary to make a system modeling tool at least approximate in accessibility to drawing tools like Microsoft PowerPoint and Visio. The challenge is made more extreme in a concurrent engineering environment, where designs must often be drafted in an hour or two. In the case of the Jet Propulsion Laboratory's Team X concurrent design team, a subsystem is specified using a combination of PowerPoint for drawing and Excel for calculation. A pilot has been undertaken in order to meld the drawing portion and the production of master equipment lists (MELs) via a SysML authoring tool, MagicDraw. Team X currently interacts with its customers in a process of sharing presentations. There are severa- inefficiencies that arise from this situation. The first is that a customer team must wait two weeks to a month (which is 2-4 times the duration of most Team X studies themselves) for a finalized, detailed design description. Another is that this information must be re-entered by hand into the set of engineering artifacts and design tools that the mission concept team uses after a study is complete. Further, there is no persistent connection to Team X or institutionally shared formulation design tools and data after a given study, again reducing the direct reuse of designs created in a Team X study. This paper presents the underpinnings of subsystem DSLs as they were developed for this pilot. This includes specialized semantics for different domains as well as the process by which major categories of objects were derived in support of defining the DSLs. The feedback given to us by the domain experts on usability, along with a pilot study with the partial inclusion of these tools is also discussed.

Cole, B.; Dubos, G.; Banazadeh, P.; Reh, J.; Case, K.; Wang, Y.; Jones, S.; Picha, F.

358

Electric field phase diagram of thiourea determined by optical birefringence  

E-print Network

L-123 Electric field phase diagram of thiourea determined by optical birefringence J. P. Jamet de pre- mier ordre. Abstract. 2014 The phase diagram of thiourea : SC(ND2)2 in the (E, T) plane has, Classification Physics Abstracts 77.80B 1. Introduction. - Thiourea (SC(ND2)2) has been the subject of many

Paris-Sud XI, Université de

359

Segmentation of Page Images Using the Area Voronoi Diagram  

Microsoft Academic Search

This paper presents a method of page segmentation based on the approximated area Voronoi diagram. The characteristics of the proposed method are as follows: (1) The Voronoi diagram enables us to obtain the candidates of boundaries of document components from page images with non-Manhattan layout and a skew. (2) The candidates are utilized to estimate the intercharacter and interline gaps

Koichi Kise; Akinori Sato; Motoi Iwata

1998-01-01

360

Voronoi diagrams of set-theoretic solid models  

Microsoft Academic Search

The definition of a Voronoi diagram is extended to arbitrary set-theoretic solid models. A method for approximating such diagrams using recursive subdivision is described. The method relies on octrees, which have been used for computing the distances between whole solid models. Two- and three-dimensional images generated using the algorithm are presented

David Lavender; A. Bowyer; J. Davenport; A. Wallis; J. Woodwark

1992-01-01

361

The Pathway Tools cellular overview diagram and Omics Viewer  

Microsoft Academic Search

The Pathway Tools cellular overview diagram is a visual representation of the biochemical network of an organism. The overview is automatically created from a Pathway\\/Genome Database descri- bing that organism. The cellular overview includes metabolic, transport and signaling pathways, and other membrane and periplasmic proteins. Pathway Tools supports interrogation and exploration of cellular biochemical networks through the overview diagram. Furthermore,

Suzanne M. Paley; Peter D. Karp

2006-01-01

362

Water, Water, Everywhere: Phase Diagrams of Ordinary Water Substance  

Microsoft Academic Search

A three-dimensional phase diagram for ordinary water substance, with its solid, liquid, and vapor phases, based on fitted authentic experimental data is presented. Such an authentic diagram appears not to have been presented for water before, and may improve the understanding of its phase relationships. The nature of the IAPWS-95 equations, fitted to data, is discussed.

L. Glasser

2004-01-01

363

Adding Value to Force Diagrams: Representing Relative Force Magnitudes  

ERIC Educational Resources Information Center

Nearly all physics instructors recognize the instructional value of force diagrams, and this journal has published several collections of exercises to improve student skill in this area. Yet some instructors worry that too few students perceive the conceptual and problem-solving utility of force diagrams, and over recent years a rich variety of…

Wendel, Paul

2011-01-01

364

Do students use and understand free-body diagrams?  

NSDL National Science Digital Library

Physics education literature recommends using multiple representations to help students understand concepts and solve problems. However, there is little research concerning why students use the representations and whether those who use them are more successful. This study addresses these questions using free-body diagrams (diagrammatic representations used in problems involving forces) as a type of representation. We conducted a two-year quantitative and qualitative study of studentsâ use of free-body diagrams while solving physics problems. We found that when students are in a course that consistently emphasizes the use of free-body diagrams, the majority of them do use diagrams on their own to help solve exam problems even when they receive no credit for drawing the diagrams. We also found that students who draw diagrams correctly are significantly more successful in obtaining the right answer for the problem. Lastly, we interviewed students to uncover their reasons for using free-body diagrams. We found that high achieving students used the diagrams to help solve the problems and as a tool to evaluate their work while low achieving students only used representations as aids in the problem-solving process.

Rosengrant, David; Van Heuvelen, Alan; Etkina, Eugenia

2010-06-29

365

Do students use and understand free-body diagrams?  

NSDL National Science Digital Library

Physics education literature recommends using multiple representations to help students understand concepts and solve problems. However, there is little research concerning why students use the representations and whether those who use them are more successful. This study addresses these questions using free-body diagrams (diagrammatic representations used in problems involving forces) as a type of representation. We conducted a two-year quantitative and qualitative study of studentsâ use of free-body diagrams while solving physics problems. We found that when students are in a course that consistently emphasizes the use of free-body diagrams, the majority of them do use diagrams on their own to help solve exam problems even when they receive no credit for drawing the diagrams. We also found that students who draw diagrams correctly are significantly more successful in obtaining the right answer for the problem. Lastly, we interviewed students to uncover their reasons for using free-body diagrams. We found that high achieving students used the diagrams to help solve the problems and as a tool to evaluate their work while low achieving students only used representations as aids in the problem-solving process.

Rosengrant, David; Van Heuvelen, Alan; Etkina, Eugenia

2014-03-31

366

49 CFR Appendix B to Part 230 - Diagrams and Drawings  

Code of Federal Regulations, 2010 CFR

... 4 2010-10-01 2010-10-01 false Diagrams and Drawings B Appendix B to Part 230 Transportation Other Regulations... Pt. 230, App. B Appendix B to Part 230—Diagrams and Drawings ER17No99.015 ER17No99.016 ER17No99.017...

2010-10-01

367

Diversions: Spatial Thinking Tasks--Cube Diagrams and Drawings  

ERIC Educational Resources Information Center

This article illustrates spatial thinking tasks through cube diagrams and drawings. The author talks about the pentacube diagram that is based on the principle that a vertical cube-edge is shown "vertically". The author describes how to extend isometric drawing to include triangular wedges that are made by slicing single cubes, bi-cubes,…

Gough, John

2009-01-01

368

Discrete-time random walks on diagrams (graphs) with cycles.  

PubMed

After a review of the diagram method for continuous-time random walks on graphs with cycles, the method is extended to discrete-time random walks. The basic theorems carry over formally from continuous time to discrete time. Three problems in tennis probabilities are used to illustrate random walks on discrete-time diagrams with cycles. PMID:3041408

Hill, T L

1988-08-01

369

Phase Diagram and Scattering Intensity of Binary Amphiphilic Systems  

E-print Network

Phase Diagram and Scattering Intensity of Binary Amphiphilic Systems G. Gompper and Ulrich S parameter, which describe the con- centration and orientation of the amphiphile, respectively, is used to study the phase diagram and the scattering intensity of binary amphiphilic systems. With increasing

Schwarz, Ulrich

370

Diagrams in Mathematics: To Draw or Not to Draw?  

ERIC Educational Resources Information Center

This paper describes the use of diagrams as self-explanatory tools. It considers the use of diagrams, in general, and more specifically, examines research that is currently being undertaken in the broad field of visualisation. The research participants referred to in this article were Advanced Certificate of Education students and the paper…

Mudaly, Vimolan

2012-01-01

371

The Equivalence of Reliability Diagrams and Fault-Tree Analysis  

Microsoft Academic Search

Many practicing engineers model their systems using reliability diagrams, while others use fault-tree analysis. The theoretical equivalence of the two techniques is described. System reliability can be expressed in two ways: probability of success and probability of failure approach, in terms of the tie-sets (forward paths) of a reliability diagram. Similarly, one can write two other expressions in terms of

Martin L. Shooman

1970-01-01

372

The Effect of Causal Diagrams on Text Learning  

ERIC Educational Resources Information Center

We examined the effect of studying a causal diagram on comprehension of causal relationships from an expository science text. A causal diagram is a type of visual display that explicitly represents cause-effect relationships. In Experiment 1, readers between conditions did not differ with respect to memory for main ideas, but the readers who…

McCrudden, Matthew T.; Schraw, Gregory; Lehman, Stephen; Poliquin, Anne

2007-01-01

373

Authoring Diagram-Based CBA with CourseMarker  

ERIC Educational Resources Information Center

The CourseMarker system has been used to assess free-response computer based assessment (CBA) exercises since 1998. The aim of the studies reported here was to evaluate the feasibility and usefulness of developing and deploying diagram-based exercises using DATsys, an authoring environment for diagram-based CBA, together with CourseMarker.…

Higgins, Colin A.; Bligh, Brett; Symeonidis, Pavlos; Tsintsifas, Athanasios

2009-01-01

374

Heuristic Diagrams as a Tool to Teach History of Science  

Microsoft Academic Search

The graphic organizer called here heuristic diagram as an improvement of Gowin's Vee heuristic is proposed as a tool to teach history of science. Heuristic diagrams have the purpose of helping students (or teachers, or researchers) to understand their own research considering that asks and problem-solving are central to scientific activity. The left side originally related in Gowin's Vee with

José A. Chamizo

2011-01-01

375

Using a Spreadsheet To Explore Melting, Dissolving and Phase Diagrams.  

ERIC Educational Resources Information Center

Compares phase diagrams relating to the solubilities and melting points of various substances in textbooks with those generated by a spreadsheet using data from the literature. Argues that differences between the diagrams give rise to new chemical insights. (Author/MM)

Goodwin, Alan

2002-01-01

376

DYNAMIC BIFURCATION DIAGRAMS FOR SOME MODELS IN ECONOMICS AND BIOLOGY  

Microsoft Academic Search

A method to determine the static bifurcation diagram (sbd) and dynamical bifurcation diagram (dbd) is proposed and the results for a few concrete problems are shown. 1. Historical premises For a long time, we were working in hydrodynamic stability theory (hsth) (1), just the period during which this field was quickly moving from an analytical towards a geometric and topological

Adelina Georgescu

377

Diagram This Headline in One Minute, if You Can  

ERIC Educational Resources Information Center

Say "sentence diagramming" to people of a certain age, and one gets different reactions. Say it to most college students, and one gets a blank look. But not from the 24 students in Lucy Ferriss's "Constructing Thought," a half-credit course in the English department at Trinity College. They know how to diagram a sentence--and they are passionate…

Landecker, Heidi

2009-01-01

378

Particle-hole ring diagrams for fermions in two dimensions  

NASA Astrophysics Data System (ADS)

The set of particle-hole ring diagrams for a many-fermion system in two dimensions is studied. The complex-valued polarization function is derived in detail and shown to be expressible in terms of square-root functions. For a contact-interaction the perturbative contributions to the energy per particle ?(kf) are calculated in a closed analytical form from third up to twelfth order. The resummation of the particle-hole ring diagrams to all orders is studied and a pronounced dependence on the dimensionless coupling parameter ? is found. There is a substantial difference between the complete ring-sum with all exchange-type diagrams included and the standard resummation of the leading n-ring diagrams only. The spin factor Sn(g) associated to the nth order ring diagrams is derived for arbitrary spin-degeneracy g.

Kaiser, N.

2014-11-01

379

ANN queries: covering Voronoi diagram with hyperboxes  

E-print Network

Given a set $S$ of $n$ points in $d$-dimensional Euclidean metric space $X$ and a small positive real number $\\epsilon$, we present an algorithm to preprocess $S$ and answer queries that require finding a set $S' \\subseteq S$ of $\\epsilon$-approximate nearest neighbors (ANNs) to a given query point $q \\in X$. The following are the characteristics of points belonging to set $S'$: - $\\forall s \\in S'$, $\\exists$ a point $p \\in X$ such that $|pq| \\le \\epsilon$ and the nearest neighbor of $p$ is $s$, and - $\\exists$ a $s' \\in S'$ such that $s'$ is a nearest neighbor of $q$. During the preprocessing phase, from the Voronoi diagram of $S$ we construct a set of box trees of size $O(4^d\\frac{V}{\\delta}(\\frac{\\pi}{\\epsilon})^{d-1})$ which facilitate in querying ANNs of any input query point in $O(\\frac{1}{d}lg \\frac{V}{\\delta} + (\\frac{\\pi}{\\epsilon})^{d-1})$ time. Here $\\delta$ equals to $(\\frac{\\epsilon}{2\\sqrt{d}})^d$, and $V$ is the volume of a large bounding box that contains all the points of set $S$. The averag...

Inkulu, Rajasekhar

2011-01-01

380

Diagram of Cell to Cell Communication  

NASA Technical Reports Server (NTRS)

Diagram depicts the importance of cell-cell communication as central to the understanding of cancer growth and progression, the focus of the NASA bioreactor demonstration system (BDS-05) investigation. Microgravity studies will allow us to unravel the signaling and communication between these cells with the host and potential development of therapies for the treatment of cancer metastasis. The NASA Bioreactor provides a low turbulence culture environment which promotes the formation of large, three-dimensional cell clusters. Due to their high level of cellular organization and specialization, samples constructed in the bioreactor more closely resemble the original tumor or tissue found in the body. The Bioreactor is rotated to provide gentle mixing of fresh and spent nutrient without inducing shear forces that would damage the cells. The work is sponsored by NASA's Office of Biological and Physical Research. The bioreactor is managed by the Biotechnology Cell Science Program at NASA's Johnson Space Center (JSC). NASA-sponsored bioreactor research has been instrumental in helping scientists to better understand normal and cancerous tissue development. In cooperation with the medical community, the bioreactor design is being used to prepare better models of human colon, prostate, breast and ovarian tumors. Cartilage, bone marrow, heart muscle, skeletal muscle, pancreatic islet cells, liver and kidney are just a few of the normal tissues being cultured in rotating bioreactors by investigators. Credit: Emory University.

2002-01-01

381

Microstructure and phase diagrams of polymer gels  

NASA Astrophysics Data System (ADS)

Recently we developed [Panyukov and Rabin, Macromolecules 29 (1996) 7960] a phenomenological theory of randomly cross-linked polymer networks, based on the separation of solid-like and liquid-like degrees of freedom and taking into account the frozen inhomogeneity of network structure. We calculated the scattering spectra of weakly charged, randomly cross-linked polymer gels in good, poor and in ? solvents [Panyukov and Rabin, Macromolecules 29 (1996) 8530; Rabin and Panyukov, Macromolecules 30 (1996) 301]. For some values of the thermodynamic parameters, the competition between poor solubility, electrostatics and network elasticity leads to the divergence of the structure factor at a wave vector q ?, signaling the onset of microphase separation in the gel. Depending on the choice of thermodynamic parameters, the characteristic wavelength 1/q ? varies from microscopic to macroscopic length scales. We have shown that the presence of long range elastic interactions in the network affects the phase diagrams of polymer gels in poor solvent. Weakly charged gels deswell continuously upon decreasing the quality of solvent. At intermediate degrees of ionization the gel undergoes a first order volume transition between two homogeneous states, which takes place at the spinodal. Strong hysteresis is predicted for the swelling and the deswelling transitions in this regime. Further increase of the charge on the gel leads to the formation of an anisotropically deformed phase on the surface of the isotropic bulk phase.

Panyukov, Sergei; Rabin, Yitzhak

382

Effects of Three Diagram Instruction Methods on Transfer of Diagram Comprehension Skills: The Critical Role of Inference While Learning  

ERIC Educational Resources Information Center

Can students be taught to better comprehend the diagrams in their textbooks? Can such teaching transfer to uninstructed diagrams in the same domain or even in a new domain? What methods work best for these goals? Building on previous research showing positive results compared to control groups in both laboratory studies and short-term…

Cromley, Jennifer G.; Bergey, Bradley W.; Fitzhugh, Shannon; Newcombe, Nora; Wills, Theodore W.; Shipley, Thomas F.; Tanaka, Jacqueline C.

2013-01-01

383

Classes and mixins  

Microsoft Academic Search

While class-based object-oriented programming languagesprovide a flexible mechanism for re-using and managing relatedpieces of code, they typically lack linguistic facilitiesfor specifying a uniform extension of many classes with oneset of fields and methods. As a result, programmers areunable to express certain abstractions over classes.In this paper we develop a model of class-to-class functionsthat we refer to as mixins. A mixin

Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen

1998-01-01

384

Differencing logical UML models  

Microsoft Academic Search

UMLDiff is a heuristic algorithm for automatically detecting the changes that the logical design of an object-oriented software system\\u000a has gone through, as the subject system evolved from one version to the next. UMLDiff requires as input two models of the logical design of the system, corresponding to two of its versions. It produces as output\\u000a a set of change

Zhenchang Xing; Eleni Stroulia

2007-01-01

385

Lessons and Classes Activity Instrument / Class Teacher  

E-print Network

____________ policies. Private lesson instruction is one teacher, one student. Parents are welcome toBy signingLessons and Classes Activity Instrument / Class Teacher Lesson Length (circle one) Number of Weeks medium of the aforementioned child in connection to school events, and consent to the use of any and all

Bordenstein, Seth

386

Lessons and Classes Activity Instrument / Class Teacher  

E-print Network

Lessons and Classes Activity Instrument / Class Teacher Lesson Length (circle one) Number of Weeks____________ By signing this form, I agree to abide by the registration policies and I understand the parking policy for the school to photograph or perform any other form of photo- graphic medium of the aforementioned child

Bordenstein, Seth

387

Magnetic phase diagram of F2PNNNO  

NASA Astrophysics Data System (ADS)

2-[2',6',-difluoro-4'-(N-tert-butyl-N-oxyamino)phenyl]-4,4,5,5-tetramethyl-4,5- dihydro-1H-imidazol-1-oxyl 3-oxide, F2PNNNO for short, is an organic molecule containing two unpaired electrons. Residing in the N-tert-butyl nitroxide and nitronyl nitroxide groups, the two S=1/2 spins of these electrons are ferromagnetically coupled with an exchange constant of 407 K. In a crystal, two neighboring F2PNNNO molecules form a pair in which the nitronyl-nitroxide spins are coupled antiferromagnetically with an exchange constant of 67 K. The magnetism of F2PNNNO is that of the spin tetramers of these molecular pairs, which in turn are antiferromagnetically coupled with an exchange constant of 7.4 K [1]. Specific-heat and magnetocaloric-effect measurements reveal a highly symmetric boundary of the ordered phase in the phase diagram, with a lower critical field of Hc1=9.46 T and an upper critical field of Hc2=15.37 T. The ordering temperature Tc obeys a power law Tc ˜(H-Hc1)^? near Hc1, with the exponent ? approaching 2/3 in the low-temperature limit, indicative of a Bose-Einstein condensation (BEC) of |S, Sz>=|1,1> tetramers. Near the upper critical field Hc2, where one expects a BEC of singlet |0,0> tetramers in the ``vacuum'' comprising |1,1> tetramers, the corresponding power-law exponent remains around 0.4. Remarkably, the temperature dependence of the specific heat indicates that the magnon dispersion is independent of magnetic field between the two critical fields. This work is in collaboration with H. Tsujii, B. Andraka, Y. Hosokoshi, and K. Inoue. [1] Y. Hosokoshi et al., Phys. Rev. B 60, 12924 (1999).

Takano, Yasu

2007-03-01

388

Energetic Studies and Phase Diagram of Thioxanthene  

NASA Astrophysics Data System (ADS)

The molecular stability of thioxanthene, a key species from which very important compounds with industrial relevance are derived, has been studied by a combination of several experimental techniques and computational approaches. The standard (p° = 0.1 MPa) molar enthalpy of formation of crystalline thioxanthene (117.4 ± 4.1 kJ·mol-1) was determined from the experimental standard molar energy of combustion, in oxygen, measured by rotating-bomb combustion calorimetry at T = 298.15 K. The enthalpy of sublimation was determined by a direct method, using the vacuum drop microcalorimetric technique, and also by an indirect method, using a static apparatus, where the vapor pressures at different temperatures were measured. The latter technique was used for both crystalline and undercooled liquid samples, and the phase diagram of thioxanthene near the triple point was obtained (triple point coordinates T = 402.71 K and p = 144.7 Pa). From the two methods, a mean value for the standard (p° = 0.1 MPa) molar enthalpy of sublimation, at T = 298.15 K (101.3 ± 0.8 kJ·mol-1), was derived. From the latter value and from the enthalpy of formation of the solid, the standard (p° = 0.1 MPa) enthalpy of formation of gaseous thioxanthene was calculated as 218.7 ± 4.2 kJ·mol-1. Standard ab initio molecular orbital calculations were performed using the G3(MP2)//B3LYP composite procedure and several homodesmotic reactions in order to derive the standard molar enthalpy of formation of thioxanthene. The ab initio results are in excellent agreement with the experimental data.

Freitas, Vera L. S.; Monte, Manuel J. S.; Santos, Luís M. N. B. F.; Gomes, José R. B.; Ribeiro da Silva, Maria D. M. C.

2009-10-01

389

The high-z quasar Hubble Diagram  

NASA Astrophysics Data System (ADS)

Two recent discoveries have made it possible for us to begin using high-z quasars as standard candles to construct a Hubble Diagram (HD) at z > 6. These are (1) the recognition from reverberation mapping that a relationship exists between the optical/UV luminosity and the distance of line-emitting gas from the central ionizing source. Thus, together with a measurement of the velocity of the line-emitting gas, e.g., via the width of BLR lines, such as Mg II, a single observation can therefore in principle provide a determination of the black hole's mass; and (2) the identification of quasar ULAS J1120+0641 at z = 7.085, which has significantly extended the redshift range of these sources, providing essential leverage when fitting theoretical luminosity distances to the data. In this paper, we use the observed fluxes and Mg II line-widths of these sources to show that one may reasonably test the predicted high-z distance versus redshift relationship, and we assemble a sample of 20 currently available high-z quasars for this exercise. We find a good match between theory and observations, suggesting that a more complete, high-quality survey may indeed eventually produce an HD to complement the highly-detailed study already underway (e.g., with Type Ia SNe, GRBs, and cosmic chronometers) at lower redshifts. With the modest sample we have here, we show that the Rh = ct Universe and ?CDM both fit the data quite well, though the smaller number of free parameters in the former produces a more favorable outcome when we calculate likelihoods using the Akaike, Kullback, and Bayes Information Criteria. These three statistical tools result in similar probabilities, indicating that the Rh = ct Universe is more likely than ?CDM to be correct, by a ratio of about 85% to 15%.

Melia, Fulvio

2014-01-01

390

The High-z Quasar Hubble Diagram  

E-print Network

Two recent discoveries have made it possible for us to begin using high-z quasars as standard candles to construct a Hubble Diagram (HD) at z > 6. These are (1) the recognition from reverberation mapping that a relationship exists between the optical/UV luminosity and the distance of line-emitting gas from the central ionizing source. Thus, together with a measurement of the velocity of the line-emitting gas, e.g., via the width of BLR lines, such as Mg II, a single observation can therefore in principle provide a determination of the black hole's mass; and (2) the identification of quasar ULAS J1120+0641 at z = 7.085, which has significantly extended the redshift range of these sources, providing essential leverage when fitting theoretical luminosity distances to the data. In this paper, we use the observed fluxes and Mg II line-widths of these sources to show that one may reasonably test the predicted high-z distance versus redshift relationship, and we assemble a sample of 20 currently available high-z quasars for this exercise. We find a good match between theory and observations, suggesting that a more complete, high-quality survey may indeed eventually produce an HD to complement the highly-detailed study already underway (e.g., with Type Ia SNe, GRBs, and cosmic chronometers) at lower redshifts. With the modest sample we have here, we show that the R_h=ct Universe and LCDM both fit the data quite well, though the smaller number of free parameters in the former produces a more favorable outcome when we calculate likelihoods using the Akaike, Kullback, and Bayes Information Criteria. These three statistical tools result in similar probabilities, indicating that the R_h=ct Universe is more likely than LCDM to be correct, by a ratio of about 85% to 15%.

Fulvio Melia

2013-12-20

391

Diagrams of States in Quantum Information: an Illustrative Tutorial  

E-print Network

We present "Diagrams of States", a way to graphically represent and analyze how quantum information is elaborated during the execution of quantum circuits. This introductory tutorial illustrates the basics, providing useful examples of quantum computations: elementary operations in single-qubit, two-qubit and three-qubit systems, immersions of gates on higher dimensional spaces, generation of single and multi-qubit states, procedures to synthesize unitary, controlled and diagonal matrices. To perform the analysis of quantum processes, we directly derive diagrams of states from physical implementations of quantum circuits associated to the processes. Complete diagrams are then rearranged into simplified diagrams, to visualize the overall effects of computations. Conversely, diagrams of states help to conceive new quantum algorithms, by schematically describing desired manipulations of quantum information with intuitive diagrams and then by guessing the equivalent complete diagrams, from which the corresponding quantum circuit is obtained effortlessly. Related examples and analysis of complex algorithms will be provided in future works, for whose comprehension this first tutorial offers the necessary introduction.

Sara Felloni; Alberto Leporati; Giuliano Strini

2009-04-17

392

Use of bifurcation diagrams as fingerprints of chemical mechanisms  

SciTech Connect

Various chemical reagents were fed continuously into a continuously stirred tank reactor to perturb the Belousov-Zhabotinskii system. The resulting bifurcation diagrams each contain multiple curves separating regions with different types of dynamical behavior. These very complex diagrams can be used as fingerprints of the perturbing chemical mechanism. Essentially the same bifurcation structures were observed under the addition of formaldehyde and sodium bromite, indicating the same mechanism. The effect of bromomalonic and hypobromous acids was also found to be nearly identical; the slight differences between their fingerprints is explained by the effect of bromine, which contaminates the HOBr. Finally, the effect of added bromide is shown in another bifurcation diagram.

Noszticzius, Z.; McCormick, W.D.; Swinney, H.L. (Univ. of Texas, Austin (USA))

1989-04-06

393

Phase diagrams of single-domain ferroelectric-dielectric superlattices  

NASA Astrophysics Data System (ADS)

Using the thermodynamic theory, the authors developed misfit strain-temperature phase diagrams of single-domain ferroelectric-dielectric superlattices grown on cubic substrates. Owing to internal electric fields appearing in such multilayers, the superlattice diagrams are expected to be very different from phase maps of homogeneous ferroelectric films. The calculations show, however, that this electrostatic effect does not change relative positions of phase transition lines. It only shifts the diagram as a whole along the line separating stability ranges of paraelectric phase and in-plane polarization state. The magnitude of this shift is governed by the capacitance of dielectric layer and the thickness of ferroelectric one.

Urtiev, F. A.; Kukhar, V. G.; Pertsev, N. A.

2007-06-01

394

Cu-Zn binary phase diagram and diffusion couples  

NASA Technical Reports Server (NTRS)

The objectives of this paper are to learn: (1) what information a binary phase diagram can yield; (2) how to construct and heat treat a simple diffusion couple; (3) how to prepare a metallographic sample; (4) how to operate a metallograph; (5) how to correlate phases found in the diffusion couple with phases predicted by the phase diagram; (6) how diffusion couples held at various temperatures could be used to construct a phase diagram; (7) the relation between the thickness of an intermetallic phase layer and the diffusion time; and (8) the effect of one species of atoms diffusing faster than another species in a diffusion couple.

Mccoy, Robert A.

1992-01-01

395

Sloan Digital Sky Survey - H-R Diagram  

NSDL National Science Digital Library

This website, containing information from the Sloan Digital Sky Survey, provides students with the opportunity to make a H-R Diagram for different star systems. It goes through the relation between the color of a star and its surface temperature, in order to obtain a preliminary diagram. Then, using data from the Hipparcos probe, and the Pleiades system, the student is able to calculate the distance to several stars, which leads to the final version of the Diagram. The same concept is applied to Globular Clusters, and the student is able to tell the age of it by looking at its color.

2009-09-16

396

To use or not to use diagrams: The effect of drawing a diagram in solving introductory physics problems  

NSDL National Science Digital Library

Drawing appropriate diagrams is a useful problem solving heuristic that can transform a given problem into a representation that is easier to exploit for solving it. A major focus while helping introductory physics students learn problem solving is to help them appreciate that drawing diagrams facilitates problem solution. We conducted an investigation in which 111 students in an algebra-based introductory physics course were subjected to two different interventions during recitation quizzes throughout the semester. They were either (1) asked to solve problems in which the diagrams were drawn for them or (2) explicitly told to draw a diagram. A comparison group was not given any instruction regarding diagrams. We developed a rubric to score the problem-solving performance of students in different intervention groups. We investigated two problems involving electric field and electric force and found that students who draw expert-like diagrams are more successful problem solvers and that a higher level of detail in a studentâs diagram corresponds to a better score.

Maries, Alexandru; Singh, Chandralekha

2013-07-17

397

The neodymium-gold phase diagram  

SciTech Connect

The Nd-Au phase diagram was studied in the 0 to 100 at. pct Au composition range by differential thermal analysis (DTA), X-ray diffraction (XRD), optical microscopy (LOM), scanning electron microscopy (SEM), and electron probe microanalysis (EPMA). Six intermetallic phases were identified, the crystallographic structures were determined or confirmed, and the melting behavior was determined, as follows: Nd{sub 2}Au, orthorhombic oP12-Co{sub 2}Si type, peritectic decomposition at 810 C; NdAu, R.T. form, orthorhombic oP8-FeB type, H.T. forms, orthorhombic oC8-CrB type and, at a higher temperature, cubic cP2-CsCl type, melting point 1470 C; Nd{sub 3}Au{sub 4}, trigonal hR42-Pu{sub 3}Pd{sub 4} type, peritectic decomposition at 1250 C; Nd{sub 17}Au{sub 36}, tetragonal tP106-Nd{sub 17}Au{sub 36} type, melting point 1170 C; Nd{sub 14}Au{sub 51}, hexagonal hP65-Gd{sub 14}Ag{sub 51} type, melting point 1210 C; and NdAu{sub 6}, monoclinic mC28-PrAu{sub 6} type, peritectic decomposition at 875 C. Four eutectic reactions were found, respectively, at 19.0 at. pct Au and 655 C, at 63.0 at. pct Au and 1080 C, at 72.0 at. pct Au and 1050 C, and, finally, at 91.0 at. pct Au and 795 C. A catatectic decomposition of the ({beta}Nd) phase, at 825 C and {approx}1 at. pct Au, was also found. The results are briefly discussed and compared to those for the other rare earth-gold (R-Au) systems. A short discussion of the general alloying behavior of the coinage metals (Cu, Ag, and Au) with the rare-earth metals is finally presented.

Saccone, A.; Maccio, D.; Delfino, S.; Ferro, R. [Sezione di Chimica Inorganicae Metallurgia, Genova (Italy)

1999-05-01

398

Influence diagrams as oil spill decision science tools  

EPA Science Inventory

Making inferences on risks to ecosystem services (ES) from ecological crises can be more reliably handled using decision science tools. Influence diagrams (IDs) are probabilistic networks that explicitly represent the decisions related to a problem and evidence of their influence...

399

30 CFR 256.8 - Leasing maps and diagrams.  

Code of Federal Regulations, 2010 CFR

...MANAGEMENT SERVICE, DEPARTMENT OF THE INTERIOR OFFSHORE LEASING OF SULPHUR OR OIL AND GAS IN THE OUTER CONTINENTAL SHELF Outer Continental Shelf Oil, Gas, and Sulphur Management, General § 256.8 Leasing maps and diagrams....

2010-07-01

400

Using ordered partial decision diagrams for manufacture test generation  

E-print Network

Because of limited tester time and memory, a primary goal of digital circuit manufacture test generation is to create compact test sets. Test generation programs that use Ordered Binary Decision Diagrams (OBDDs) as their primary functional...

Cobb, Bradley Douglas

2004-09-30

401

Architecture flow diagrams under teamwork{reg_sign}  

SciTech Connect

The Teamwork CASE tool allows Data Flow Diagrams (DFDs) to be maintained for structured analysis. Fermilab has extended teamwork under UNIX{trademark} to permit Hatley and Pirbhai Architecture Flow Diagrams (AFDs) to be associated with DFDs and subsequently maintained. This extension, called TWKAFD, allows a user to open an AFD, graphically edit it, and replace it into a TWKAFD maintained library. Other aspects of Hatley and Pirbhai`s methodology are supported. This paper presents a quick tutorial on Architecture Diagrams. It then describes the user`s view of TWKAFD, the experience incorporating it into teamwork, and the successes with using the Architecture Diagram methodology along with the shortcomings of using the teamwork/TWKAFD tool. 8 refs.

Nicinski, T.

1992-02-01

402

Flame Deflector Section, Elevation, Water Supply Flow Diagram, Exploded ...  

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

Flame Deflector - Section, Elevation, Water Supply Flow Diagram, Exploded Deflector Manifolds, and Interior Perspective - Marshall Space Flight Center, F-1 Engine Static Test Stand, On Route 565 between Huntsville and Decatur , Huntsville, Madison County, AL

403

The topological characteristics of liquid-vapor phase diagrams  

Microsoft Academic Search

The existing forms of the rule of azeotropy are reviewed and a new form applicable to distillation (reactive distillation)\\u000a diagrams and their fragments, which are simplicial complexes of arbitrary dimensions, is presented.

Yu. A. Pisarenko

2008-01-01

404

49 CFR 1152.10 - System diagram map.  

Code of Federal Regulations, 2010 CFR

...Other Regulations Relating to Transportation (Continued) SURFACE TRANSPORTATION BOARD, DEPARTMENT OF TRANSPORTATION RULES...system diagram map shall also identify, and shall be drawn to a scale sufficient to depict clearly, the location of: (1)...

2010-10-01

405

Heuristic Diagrams as a Tool to Teach History of Science  

NASA Astrophysics Data System (ADS)

The graphic organizer called here heuristic diagram as an improvement of Gowin's Vee heuristic is proposed as a tool to teach history of science. Heuristic diagrams have the purpose of helping students (or teachers, or researchers) to understand their own research considering that asks and problem-solving are central to scientific activity. The left side originally related in Gowin's Vee with philosophies, theories, models, laws or regularities now agrees with Toulmin's concepts (language, models as representation techniques and application procedures). Mexican science teachers without experience in science education research used the heuristic diagram to learn about the history of chemistry considering also in the left side two different historical times: past and present. Through a semantic differential scale teachers' attitude to the heuristic diagram was evaluated and its usefulness was demonstrated.

Chamizo, José A.

2012-05-01

406

Fast computation of Generalized Voronoi Diagrams Using Graphics Hardware  

Microsoft Academic Search

We demonstrate a new approach for computing generalized 2D and 3D Voronoi diagrams using interpolation-based polygon rasterization hardware. We compute a discrete Voronoi diagram by rendering a three dimensional distance mesh for each Voronoi site. The polygonal mesh is a bounded-error approximation of a (possibly) non-linear function of the distance between a site and a 2D planar grid of sample

Kenneth E. Hoff III; Tim Culver; John Keyser; Dinesh Manocha; Ming C. Lin

2000-01-01

407

Voronoi diagrams and offset curves of curvilinear polygons  

Microsoft Academic Search

This paper studies the practical generation of Voronoi diagrams and offset curves of simply-connected planar areas bounded by straight lines and circular arcs. We present and analyze a wavefront-propagation algorithm for the generation of Voronoi diagrams and compare it experimentally to a tuned version of Lee's divide-and-conquer algorithm. Key performance parameters of these two algorithms are compared based on machine-generated

Martin Held

1998-01-01

408

Two-Dimensional Voronoi Diagrams in the L p Metric  

Microsoft Academic Search

The Voronoi diagram, also known as the Thiessen diagram, for a set of N points in the Cartesian plane in which the L,-metnc is the distance measure, where p is a real number between 1 and 0o inclusive, is defined, and an algorithm for constructing the dmgram m O(NlogN) tune is presented This algonthm uses the divide-and-conquer technique. Many proximity

D. T. Lee

1980-01-01

409

A Hubble diagram of distant type IA supernovae  

Microsoft Academic Search

We have constructed Hubble diagrams in B and V for 13 Type Ia supernovae (SNe Ia) found in the course of the Calan\\/Tololo survey covering an unprecedented range in redshift (0.01 less than Z less than 0.1). As opposed to other published Hubble diagrams, these are solely based on light curves obtained with CCDs, which have been carefully reduced in

Mario Hamuy; M. M. Phillips; Jose Maza; Nicholas B. Suntzeff; R. A. Schommer; R. Aviles

1995-01-01

410

Differential Reduction Techniques for the Evaluation of Feynman Diagrams  

E-print Network

Stable reduction methods will be important in the evaluation of high-order perturbative diagrams appearing in QCD and mixed QCD-electroweak radiative corrections at the LHC. Differential reduction techniques are useful for relating hypergeometric functions with shifted values of the parameters. We present a proposition relating the number of master integrals in the expansion of a Feynman diagram to the number of derivatives in a differential reduction.

S. A. Yost; V. V. Bytev; M. Yu. Kalmykov; B. A. Kniehl; B. F. L. Ward

2011-01-12

411

State diagram and water adsorption isotherm of raspberry ( Rubus idaeus)  

Microsoft Academic Search

Thermal transitions of freeze-dried raspberry powder (Rubus idaeus) were analyzed by using differential scanning calorimetry. Freeze-dried raspberry powders containing unfreezable and freezable water were examined to develop the state diagram of raspberry. The state diagram of freeze-dried raspberry powders included the glass line; glass transition temperature versus solids content, freezing curve; initial freezing point versus solids content; end point of

Roopesh M. Syamaladevi; Shyam S. Sablani; Juming Tang; Joseph Powers; Barry G. Swanson

2009-01-01

412

Higher-Dimensional Voronoi Diagrams in Linear Expected Time  

Microsoft Academic Search

A general method is presented for determining the mathematical expectation of the combinatorial complexity and other properties\\u000a of the Voronoi diagram ofn independent and identically distributed points. The method is applied to derive exact asymptotic bounds on the expected number\\u000a of vertices of the Voronoi diagram of points chosen from the uniform distribution on the interior of ad-dimensional ball; it

Rex A. Dwyer

1991-01-01

413

Heuristic Diagrams as a Tool to Teach History of Science  

Microsoft Academic Search

The graphic organizer called here heuristic diagram as an improvement of Gowin’s Vee heuristic is proposed as a tool to teach\\u000a history of science. Heuristic diagrams have the purpose of helping students (or teachers, or researchers) to understand their\\u000a own research considering that asks and problem-solving are central to scientific activity. The left side originally related\\u000a in Gowin’s Vee with

José A. Chamizo

414

State Diagram of Date Flesh Using Differential Scanning Calorimetry (DSC)  

Microsoft Academic Search

The state diagram of date flesh was developed by measuring its freezing points, glass transition temperatures, maximal-freeze-concentration condition ( and ), and solute melting points (or decomposition temperature) by Differential Scanning Calorimetry (DSC). The freezing curve and glass transition lines were developed using Clausius-Clapeyron equation by incorporating concept of unfrozen water, and Gordon-Taylor equation, respectively. The developed state diagram of

M. Shafiur Rahman

2004-01-01

415

How Many Working Classes?  

ERIC Educational Resources Information Center

This critique of the "orthodox radical" interpretation of social classes argues that the predominance of middle- class wage earners and women moving into the nonmanual job market constitutes a departure from the traditional "working class". Better working conditions and wages are the nonmanual workers' incentives to ally themselves with…

Gagliani, Giorgio

1981-01-01

416

ARE SOCIAL CLASSES DYING?  

Microsoft Academic Search

New forms of social stratification are emerging. Much of our thinking about stratification - from Marx, Weber, and others - must be recast to capture these new developments. Social class was the key theme of past stratification work. Yet class is an increasingly outmoded concept. Class stratification implies that people can be differentiated hierarchically on one or more criteria into

Terry Nichols Clark; Seymour Martin Lipset

1991-01-01

417

First-Class Inquiry  

ERIC Educational Resources Information Center

In the activity described in this article, students will explore how variables in a first-class lever, specifically arm length, position of the fulcrum, and placement of the load, affect the effort needed to lift the load. To begin the lesson, demonstrate to the class how a first-class lever works and review what is meant by the terms fulcrum,…

Hesser, Kathi; Buck, Gayle; Dopp, Sandra

2005-01-01

418

CALCULATING ASTEROSEISMIC DIAGRAMS FOR SOLAR-LIKE OSCILLATIONS  

SciTech Connect

With the success of the Kepler and CoRoT missions, the number of stars with detected solar-like oscillations has increased by several orders of magnitude; for the first time we are able to perform large-scale ensemble asteroseismology of these stars. In preparation for this golden age of asteroseismology we have computed expected values of various asteroseismic observables from models of varying mass and metallicity. The relationships between these asteroseismic observables, such as the separations between mode frequencies, are able to significantly constrain estimates of the ages and masses of these stars. We investigate the scaling relation between the large frequency separation, {Delta}{nu}, and mean stellar density. Furthermore we present model evolutionary tracks for several asteroseismic diagrams. We have extended the so-called C-D diagram beyond the main sequence to the subgiants and the red giant branch. We also consider another asteroseismic diagram, the {epsilon} diagram, which is more sensitive to variations in stellar properties at the subgiant stages and can aid in determining the correct mode identification. The recent discovery of gravity-mode period spacings in red giants forms the basis for a third asteroseismic diagram. We compare the evolutionary model tracks in these asteroseismic diagrams with results from pre-Kepler studies of solar-like oscillations and early results from Kepler.

White, Timothy R.; Bedding, Timothy R.; Stello, Dennis; Huber, Daniel [Sydney Institute for Astronomy (SIfA), School of Physics, University of Sydney, NSW 2006 (Australia); Christensen-Dalsgaard, Jorgen; Kjeldsen, Hans, E-mail: t.white@physics.usyd.edu.au [Danish AsteroSeismology Centre (DASC), Department of Physics and Astronomy, Aarhus University, DK-8000 Aarhus C (Denmark)

2011-12-20

419

What can we learn by comparing students' diagram-construction processes with the mathematical conceptions inferred from their explanations with completed diagrams?  

NASA Astrophysics Data System (ADS)

Despite recent research interest in student-created diagrams, little research has systematically investigated students' diagram- construction processes, meaning the order and manner in which students create markings as they physically generate diagrams. In this study, we characterize the various processes students use to create diagrams that represent a quadratic motion situation involving increasing speed, and we explore how these diagram-construction processes are related to students' conceptions of speed as inferred from their explanations with their completed diagrams. Previous literature suggests contrasting predictions regarding whether or not students' diagram-construction processes are closely related (from our perspective as researchers) to students' inferred conceptions. We see the study as having value for research and practice by raising new questions related to diagram-construction processes, pointing to the potential formative assessment value of attending to diagram-construction processes, and demonstrating the need for the development of theory to explain the relationships identified by this study.

Lobato, Joanne; Hohensee, Charles; Diamond, Jaime Marie

2014-09-01

420

Planar diagrams from optimization for concave potentials  

NASA Astrophysics Data System (ADS)

We propose a toy model of a heteropolymer chain capable of forming planar secondary structures typical for RNA molecules. In this model, the sequential intervals between neighboring monomers along a chain are considered as quenched random variables, and energies of nonlocal bonds are assumed to be concave functions of those intervals. A few factors are neglected: the contribution of loop factors to the partition function, the variation in energies of different types of complementary nucleotides, the stacking interactions, and constraints on the minimal size of loops. However, the model captures well the formation of folded structures without pseudoknots in an arbitrary sequence of nucleotides. Using the optimization procedure for a special class of concave-type potentials, borrowed from optimal transport analysis, we derive the local difference equation for the ground state free energy of the chain with the planar (RNA-like) architecture of paired links. We consider various distribution functions of intervals between neighboring monomers (truncated Gaussian and scale free) and demonstrate the existence of a topological crossover from sequential to essentially nested configurations of paired links.

Nechaev, S. K.; Sobolevski, A. N.; Valba, O. V.

2013-01-01

421

A Theoretical Framework for Diagrams and Information Graphics in Research and Education.  

ERIC Educational Resources Information Center

Information graphics or diagrams are two-dimensional maps of relationships that present information. Creators and interpreters of diagrams need to know what makes some diagrams more effective in communicating information. This paper suggests a theoretical framework for diagram classification to make this possible. This framework consists of two…

Hardin, Pris

422

Ambiguity in Visual Language Theory and Its Role in Diagram Parsing  

Microsoft Academic Search

To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based description is built for a diagram, it can be indexed for search, retrieval, and use. Whenever broad- coverage grammars are built to parse a wide range of objects, whether natural language or diagrams, the

Robert P. Futrelle

1999-01-01

423

Quality of Service Beyond the Traditional Fundamental Diagram 1July 2008 Ruhr-University Bochum  

E-print Network

Quality of Service Beyond the Traditional Fundamental Diagram 1July 2008 Ruhr-University Bochum THE TRADITIONAL FUNDAMENTAL DIAGRAM #12;Quality of Service Beyond the Traditional Fundamental Diagram 2July 2008;Quality of Service Beyond the Traditional Fundamental Diagram 3July 2008 Requirements: Description

Bertini, Robert L.

424

Design of an UML conceptual model and implementation of a GIS with metadata information for a seismic hazard assessment cooperative project.  

NASA Astrophysics Data System (ADS)

This work illustrates the advantages of using a Geographic Information System in a cooperative project with researchers of different countries, such as the RESIS II project (financed by the Norwegian Government and managed by CEPREDENAC) for seismic hazard assessment of Central America. As input data present different formats, cover distinct geographical areas and are subjected to different interpretations, data inconsistencies may appear and their management get complicated. To achieve data homogenization and to integrate them in a GIS, it is required previously to develop a conceptual model. This is accomplished in two phases: requirements analysis and conceptualization. The Unified Modeling Language (UML) is used to compose the conceptual model of the GIS. UML complies with ISO 19100 norms and allows the designer defining model architecture and interoperability. The GIS provides a frame for the combination of large geographic-based data volumes, with an uniform geographic reference and avoiding duplications. All this information contains its own metadata following ISO 19115 normative. In this work, the integration in the same environment of active faults and subduction slabs geometries, combined with the epicentres location, has facilitated the definition of seismogenetic regions. This is a great support for national specialists of different countries to make easier their teamwork. The GIS capacity for making queries (by location and by attributes) and geostatistical analyses is used to interpolate discrete data resulting from seismic hazard calculations and to create continuous maps as well as to check and validate partial results of the study. GIS-based products, such as complete, homogenised databases and thematic cartography of the region, are distributed to all researchers, facilitating cross-national communication, the project execution and results dissemination.

Torres, Y.; Escalante, M. P.

2009-04-01

425

Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications  

NASA Astrophysics Data System (ADS)

The deployment of complex safety-critical applications requires rigorous techniques and powerful tools both for the development and V&V stages. Model-based technologies are increasingly being used to develop safety-critical software, and arguably, turning to them can bring significant benefits to such processes, however, along with new challenges. This paper presents the results of a research project where we tried to extend current V&V methodologies to be applied on UML/SysML models and aiming at answering the demands related to validation issues. Two quite different but complementary approaches were investigated: (i) model checking and the (ii) extraction of robustness test-cases from the same models. These two approaches don't overlap and when combined provide a wider reaching model/design validation ability than each one alone thus offering improved safety assurance. Results are very encouraging, even though they either fell short of the desired outcome as shown for model checking, or still appear as not fully matured as shown for robustness test case extraction. In the case of model checking, it was verified that the automatic model validation process can become fully operational and even expanded in scope once tool vendors help (inevitably) to improve the XMI standard interoperability situation. For the robustness test case extraction methodology, the early approach produced interesting results but need further systematisation and consolidation effort in order to produce results in a more predictable fashion and reduce reliance on expert's heuristics. Finally, further improvements and innovation research projects were immediately apparent for both investigated approaches, which point to either circumventing current limitations in XMI interoperability on one hand and bringing test case specification onto the same graphical level as the models themselves and then attempting to automate the generation of executable test cases from its standard UML notation.

Faria, J. M.; Mahomad, S.; Silva, N.

2009-05-01

426

Methods and Technologies of XML Data Modeling for IP Mode Intelligent Measuring & Controlling System  

NASA Astrophysics Data System (ADS)

This paper presents the IP mode intelligent measuring & controlling system (IMIMCS). Based on object-oriented modeling technology of UML and XML Schema, the innovative methods and technologies of some key problems for XML data modeling in the IMIMCS were especially discussed, including refinement for systemic business by means of use-case diagram of UML, the confirmation of the content of XML data model and logic relationship of the objects of XML Schema with the aid of class diagram of UML, the mapping rules from the UML object model to XML Schema. Finally, the application of the IMIMCS based on XML for a modern greenhouse was presented. The results show that the modeling methods of the measuring & controlling data in the IMIMCS involving the multi-layer structure and many operating systems process strong reliability and flexibility, guarantee uniformity of complex XML documents and meet the requirement of data communication across platform.

Liu, G. X.; Hong, X. B.; Liu, J. G.

2006-10-01

427

Attractive emulsion droplets probe the phase diagram of jammed granular matter.  

PubMed

It remains an open question whether statistical mechanics approaches apply to random packings of athermal particles. Although a jamming phase diagram has recently been proposed for hard spheres with varying friction, here we use a frictionless emulsion system in the presence of depletion forces to sample the available phase space of packing configurations. Using confocal microscopy, we access their packing microstructure and test the theoretical assumptions. As a function of attraction, our packing protocol under gravity leads to well-defined jammed structures in which global density initially increases above random close packing and subsequently decreases monotonically. Microscopically, the fluctuations in parameters describing each particle, such as the coordination number, number of neighbors, and local packing fraction, are for all attractions in excellent agreement with a local stochastic model, indicating that long-range correlations are not important. Furthermore, the distributions of local cell volumes can be collapsed onto a universal curve using the predicted k-gamma distribution, in which the shape parameter k is fixed by the polydispersity while the effect of attraction is captured by rescaling the average cell volume. Within the Edwards statistical mechanics framework, this result measures the decrease in compactivity with global density, which represents a direct experimental test of a jamming phase diagram in athermal systems. The success of these theoretical tools in describing yet another class of materials gives support to the much-debated statistical physics of jammed granular matter. PMID:21368191

Jorjadze, Ivane; Pontani, Lea-Laetitia; Newhall, Katherine A; Brujic, Jasna

2011-03-15

428

Structural Phase Diagram for Multi-lamellar Tubular Deformations of Lipid Mesophases  

NASA Astrophysics Data System (ADS)

Stable multi-lamellar cylindrical tubules protrude readily from concentrated mass of amphiphilic molecules in response to a variety of external stresses. Using energetic considerations, we have developed an phase diagram, predicting various types of morphologies of equilibrium multilamellar tubular deformations that stabilize for a broad range of their bending rigidity and surface tension values. Tubular morphologies are described in terms of core radius(rc) and number of lamellae(N). Results of the calculations reveal that emergent tubular morphologies can be classified into three major classes: (1) thin tethers (small rc and low N); (2) solid tubes (high N); and (3) hollow tubes (large rc and and low N). Experimental validation of these predictions is obtained in experiments involving hydration of dry stack lipids Here, tubular deformations, referred to as myelin figures, of all predicted morphologies form in separate populations. Furthermore, the phase diagram also sheds light on a long-standing question of the determinants of the thickness of such myelin figures.

Tayebi, Lobat; Parikh, Atul

2011-03-01

429

Infrared two-colour diagrams for AGB stars using AKARI, MSX, IRAS and NIR data  

E-print Network

Using a revised version of the catalog of AGB stars by Suh & Kwon (2009), we present various infrared two-colour diagrams (2CDs) for 3003 O-rich, 1168 C-rich, 362 S-type and 35 silicate carbon stars in our Galaxy. For each object in the new catalog, we cross-identify the AKARI, MSX and 2MASS counterparts by finding the nearest one from the position information in the IRAS PSC. For the large sample of AGB stars, we present infrared two-colour diagrams using IRAS (PSC), AKARI (PSC and BSC), MSX (PSC) and near infrared (K and L bands; including 2MASS data at KS band) data for different classes of AGB stars based on the chemistry of the dust shell and/or the central star. The infrared 2CDs of AGB stars can provide useful information about the structure and evolution of the dust envelopes as well as the central stars. On the 2CDs, we plot tracks of the theoretical radiative transfer model results with increasing dust shell optical depths. Comparing the observations with the theoretical models on the new 2CDs, ...

Suh, Kyung-Won

2011-01-01

430

Archform Comparisons between Skeletal Class II and III Malocclusions  

PubMed Central

The purpose of this cross-sectional research was to explore the relationship of the mandibular dental and basal bone archforms between severe Skeletal Class II (SC2) and Skeletal Class III (SC3) malocclusions. We also compared intercanine and intermolar widths in these two malocclusion types. Thirty-three virtual pretreatment mandibular models (Skeletal Class III group) and Thirty-five Skeletal Class II group pretreatment models were created with a laser scanning system. FA (the midpoint of the facial axis of the clinical crown)and WALA points (the most prominent point on the soft-tissue ridge)were employed to produce dental and basal bone archforms, respectively. Gained scatter diagrams of the samples were processed by nonlinear regression analysis via SPSS 17.0. The mandibular dental and basal bone intercanine and intermolar widths were significantly greater in the Skeletal Class III group compared to the Skeletal Class II group. In both groups, a moderate correlation existed between dental and basal bone arch widths in the canine region, and a high correlation existed between dental and basal bone arch widths in the molar region. The coefficient of correlation of the Skeletal Class III group was greater than the Skeletal Class II group. Fourth degree, even order power functions were used as best-fit functions to fit the scatter plots. The radius of curvature was larger in Skeletal Class III malocclusions compared to Skeletal Class II malocclusions (rWALA3>rWALA2>rFA3>rFA2). In conclusion, mandibular dental and basal intercanine and intermolar widths were significantly different between the two groups. Compared with Skeletal Class II subjects, the mandibular archform was more flat for Skeletal Class III subjects. PMID:24971597

Jiang, JiuHui; Xu, TianMin; Li, CuiYing

2014-01-01

431

Sequential Voronoi diagram calculations using simple chemical reactions  

E-print Network

In our recent paper [de Lacy Costello et al. 2010] we described the formation of complex tessellations of the plane arising from the various reactions of metal salts with potassium ferricyanide and ferrocyanide loaded gels. In addition to producing colourful tessellations these reactions are naturally computing generalised Voronoi diagrams of the plane. The reactions reported previously were capable of the calculation of three distinct Voronoi diagrams of the plane. As diffusion coupled with a chemical reaction is responsible for the calculation then this is achieved in parallel. Thus an increase in the complexity of the data input does not utilise additional computational resource. Additional benefits of these chemical reactions is that a permanent record of the Voronoi diagram calculation (in the form of precipitate free bisectors) is achieved, so there is no requirement for further processing to extract the calculation results. Previously it was assumed that the permanence of the results was also a potenti...

Costello, Ben de Lacy; Adamatzky, Andy

2012-01-01

432

Photon capture cones and embedding diagrams of the Ernst spacetime  

E-print Network

The differences between the character of the Schwarzschild and Ernst spacetimes are illustrated by comparing the photon capture cones, and the embedding diagrams of the $t=\\mathrm{const}$ sections of the equatorial planes of both the ordinary and optical reference geometry of these spacetimes. The non-flat asymptotic character of the Ernst spacetime reflects itself in two manifest facts: the escape photon cones correspond to purely outward radial direction, and the embedding diagrams of both the ordinary and optical geometry shrink to zero radius asymptotically. Using the properties of the embedding diagrams, regions of these spacetimes which could have similar character are estimated, and it is argued that they can exist for the Ernst spacetimes with a sufficiently low strength of the magnetic field.

Zden?k Stuchlík; Stanislav Hledík

2008-03-17

433

Interpretation of the Hubble diagram in a nonhomogeneous universe  

NASA Astrophysics Data System (ADS)

In the standard cosmological framework, the Hubble diagram is interpreted by assuming that the light emitted by standard candles propagates in a spatially homogeneous and isotropic spacetime. However, the light from “point sources”—such as supernovae—probes the Universe on scales where the homogeneity principle is no longer valid. Inhomogeneities are expected to induce a bias and a dispersion of the Hubble diagram. This is investigated by considering a Swiss-cheese cosmological model, which (1) is an exact solution of the Einstein field equations, (2) is strongly inhomogeneous on small scales, but (3) has the same expansion history as a strictly homogeneous and isotropic universe. By simulating Hubble diagrams in such models, we quantify the influence of inhomogeneities on the measurement of the cosmological parameters. Though significant in general, the effects reduce drastically for a universe dominated by the cosmological constant.

Fleury, Pierre; Dupuy, Hélène; Uzan, Jean-Philippe

2013-06-01

434

The symmetries of Dynkin diagrams and the reduction of Toda field equations  

NASA Astrophysics Data System (ADS)

The exist generalizations of the Toda lattice equations involving the Cartan matrices constructed from the simple and extended root systems of any simple Lie algebra. Toda's original equations correspond to the large- N limit of SU( N). All these equations are known to constitute the integrability conditions for a certain linear problem and as such to have remarkable properties. The symmetries of the equations are investigated by studying the corresponding Dynkin diagrams which conveniently encode the structure of the equations. Corresponding to each conjugacy class of this symmetry group, "reductions" of the equations may be made whereby identification of symmetrically related variables leads to new, self-consistent equations which are integrable in the same sense as before. The new equations which can be regarded as multicomponent generalizations of the Bullough-Dodd equation are shown to correspond precisely to the generalized Cartan matrices classified in the mathematical literature.

Olive, D.; Turok, Neil

1983-03-01

435

Potential-pH diagrams for iron in supercritical water  

SciTech Connect

Potential-pH diagrams for the iron-water system were extended into the supercritical temperature range using thermodynamic data generated by the quasi-thermodynamic model of Helgeson, et al. For subcritical temperatures (T < 374 C), the diagrams agreed well with those available in the literature. The domain of thermodynamic immunity of iron decreased significantly with increasing T, particularly > 300 C. The domain of possible protection of iron by formation of a thermodynamically stable passive oxide layer shifted to lower pH values with increasing T.

Kriksunov, L.B.; Macdonald, D.D. [Pennsylvania State Univ., University Park, PA (United States). Center for Advanced Materials

1997-08-01

436

Using Dynamic Master Logic Diagram for component partial failure analysis  

SciTech Connect

A methodology using the Dynamic Master Logic Diagram (DMLD) for the evaluation of component partial failure is presented. Since past PRAs have not focused on partial failure effects, the reliability of components are only based on the binary state assumption, i.e. defining a component as fully failed or functioning. This paper is to develop an approach to predict and estimate the component partial failure on the basis of the fuzzy state assumption. One example of the application of this methodology with the reliability function diagram of a centrifugal pump is presented.

Ni, T. [Halliburton NUS Corp., Gaithersburg, MD (United States); Modarres, M. [Univ. of Maryland, College Park, MD (United States). Center for Reliability Engineering

1996-12-01

437

A preliminary ferritic-martensitic stainless steel constitution diagram  

SciTech Connect

This paper describes preliminary research to develop a constitution diagram that will more accurately predict the microstructure of ferritic and martensitic stainless steel weld deposits. A button melting technique was used to produce a wide range of compositions using mixtures of conventional ferritic and martensitic stainless steels, including types 403, 409, 410, 430, 439 and 444. These samples were prepared metallographically, and the vol-% ferrite and martensite was determined quantitatively. In addition, the hardness and ferrite number (FN) were measured. Using this data, a preliminary constitution diagram is proposed that provides a more accurate method for predicting the microstructures of arc welds in ferritic and martensitic stainless steels.

Balmforth, M.C.; Lippold, J.C. [Ohio State Univ., Columbus, OH (United States). Welding and Joining Metallurgy Group

1998-01-01

438

Phase diagram of mechanically stretched DNA: The salt effect  

E-print Network

The cations, in form of salt, present in the solution containing DNA play a crucial role in the opening of two strands of DNA. We use a simple non linear model and investigate the role of these cations on the mechanical unzipping of DNA. The Hamiltonian is modified to incoporate the solvent effect and the cations present in the solution. We calculate the melting temperature as well as the critical force that is required to unzip the DNA molecule as a function of salt concentration of the solution. The phase diagrams are found to be in close agreement with the experimental phase diagrams.

Amar Singh; Navin Singh

2014-09-05

439

Homework on Volcanic Rock Chemistry and Binary Phase Diagrams  

NSDL National Science Digital Library

This homework has 2 main parts: In the first part, students are given bulk compositions for 6 volcanic rocks and asked to classify them, think about their normative compositions, and given likely tectonic settings for three of them. In the second part, they work with a complex binary phase diagram. In this part, they must think about components vs. phases, the lever rule, behavior at a peritectic point, and fractional removal of a phase. After completing this homework, I find that students are comfortable working with any binary diagram I give them.

Selverstone, Jane

440

Phase diagram of the Ising square lattice with competing interactions  

NASA Astrophysics Data System (ADS)

We restudy the phase diagram of the 2D-Ising model with competing interactions J1 on nearest neighbour and J2 on next-nearest neighbour bonds via Monte-Carlo simulations. We present the finite temperature phase diagram and introduce computational methods which allow us to calculate transition temperatures close to the criticalpoint at J2 = J1/2. Further on we investigate the character of the different phase boundariesand find that the transition is weakly first order formoderate J2 > J1/2.

Kalz, A.; Honecker, A.; Fuchs, S.; Pruschke, T.

2008-10-01

441

The phase diagram of the staggered row model for magnetism  

E-print Network

THE PHASE DIAGRAM OF THE STAGGERED ROW MODEL FOR IvIAGNETISM A Thesis by WEIMIN ZHANG Submitted to the Office of Graduate Studies of Texas ARM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE August... Ground State for rl ) 0 2 2 Ground State for 0 & 0 2. 3 Further Study 5 6 8 12 III MEAN FIELD THEORY 3. 1 Mean Field Equations for rl ) 0 3. 2 Mean Field Equations for rl & 0 14 15 16 IV PHASE DIAGRAM 4. 1 Spiral Phase 4. 2 AFt Phase 4. 3...

Zhang, Weimin

2012-06-07

442

Exploring the phase diagram of QCD with complex Langevin simulations  

E-print Network

Simulations of QCD with a finite chemical potential typically lead to a severe sign problem, prohibiting any standard Monte Carlo approach. Complex Langevin simulations provide an alternative to sample path integrals with oscillating weight factors and therefore potentially enable the determination of the phase diagram of QCD. Here we present results for QCD in the limit of heavy quarks and show evidence that the phase diagram can be mapped out by direct simulation. We apply adaptive step-size scaling and adaptive gauge cooling to ensure the convergence of these simulations.

Aarts, Gert; Jäger, Benjamin; Seiler, Erhard; Sexty, Denes; Stamatescu, Ion-Olimpiu

2014-01-01

443

Exploring the phase diagram of QCD with complex Langevin simulations  

E-print Network

Simulations of QCD with a finite chemical potential typically lead to a severe sign problem, prohibiting any standard Monte Carlo approach. Complex Langevin simulations provide an alternative to sample path integrals with oscillating weight factors and therefore potentially enable the determination of the phase diagram of QCD. Here we present results for QCD in the limit of heavy quarks and show evidence that the phase diagram can be mapped out by direct simulation. We apply adaptive step-size scaling and adaptive gauge cooling to ensure the convergence of these simulations.

Gert Aarts; Felipe Attanasio; Benjamin Jäger; Erhard Seiler; Denes Sexty; Ion-Olimpiu Stamatescu

2014-11-10

444

Helioseismic Ring-diagram Diagnostics of Solar Fares.  

NASA Astrophysics Data System (ADS)

Flares are known to excite waves in the solar atmosphere. Maurya et al. (2009), using a local analysis (ring diagrams) of the 2003 Halloween flare, also showed they excite p-modes. We confirm and extend here these results by:-applying the same analysis to other locations on the Sun at the time of the Halloween flare-analyzing another event also showing a signature of p-mode excitation-looking in details at the results of the ring diagrams analysis in terms of noise fitting.The Halloween flare present an apparent localized excitation of p-modes, similar to what is observed for the other event analyzed.

Leibacher, John W.; Baudin, Frédéric

2014-06-01

445

Phase diagram of epidemic spreading — unimodal vs. bimodal probability distributions  

NASA Astrophysics Data System (ADS)

Disease spreading on complex networks is studied in SIR model. Simulations on empirical complex networks reveal two specific regimes of disease spreading: local containment and epidemic outbreak. The variables measuring the extent of disease spreading are in general characterized by a bimodal probability distribution. Phase diagrams of disease spreading for empirical complex networks are introduced. A theoretical model of disease spreading on m-ary tree is investigated both analytically and in simulations. It is shown that the model reproduces qualitative features of phase diagrams of disease spreading observed in empirical complex networks. The role of tree-like structure of complex networks in disease spreading is discussed.

Lan?i?, Alen; Antulov-Fantulin, Nino; Šiki?, Mile; Štefan?i?, Hrvoje

2011-01-01

446

Public Libraries and Social Class  

Microsoft Academic Search

Abstract The paper argues that there is an intrinsic link between social exclusion and social class, that social exclusion is endemic to capitalism, and that the class system pervades every aspect of society, including library usage. After reviewing different models of social stratification, the paper identifies three main classes, the capitalist class, the middle class and the working class. The

John Pateman

447

A new class of room temperature molten salts for battery applications  

Microsoft Academic Search

Salts that are liquid at room temperature would provide a completely ionic electrolyte for rechargeable batteries without the penalty of high operating temperatures. We have discovered and characterized a new class of molten salts that are liquids considerably below room temperature. The new materials are mixtures of dialkyimidazolium chlorides and aluminum chloride. The solid-liquid phase diagram of one member of

J. S. Wilkes; J. A. Levisky; J. S. Landers; R. L. Vaughn; C. L. Hussey; D. A. Floreani; D. J. Stech

1981-01-01

448

A User's Guide to the Mapping Class Group: Once Punctured Surfaces  

Microsoft Academic Search

This document is a practical guide to computations using an automatic structure for the mapping class group of a once-punctured, oriented surface $S$. We describe a quadratic time algorithm for the word problem in this group, which can be implemented efficiently with pencil and paper. The input of the algorithm is a word, consisting of ``chord diagrams'' of ideal triangulations

Lee Mosher

1994-01-01

449

The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension  

E-print Network

Let Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.

Church, Thomas; Putman, Andrew

2011-01-01

450

CLASS DESCRIPTIONS CYCLING SERIES  

E-print Network

based on ballet barre exercises designed to balance, strengthen and tone the entire body. Each class, lean muscles without bulk. This class is open to 12 participants. BALLET This all-level adult ballet arts course that centers on mastering authentic kickboxing techniques and improving fitness. This full

Pittendrigh, Barry

451

World-Class Schools.  

ERIC Educational Resources Information Center

A study of the education systems in Canada, France, Germany, Great Britain, Israel, Japan, New Zealand, South Korea, Taiwan, and the United States yielded data on 35 variables. The data were used to compile averages defined as "world class standards" in education. In world-class schools, the children are motivated and ready to learn, and an…

Haynes, Richard M.; Chalker, Donald M.

1997-01-01

452

Constructing Class invariants  

E-print Network

Shimura reciprocity law allows us to verify that a modular function is a class invariant. Here we present a new method based on Shimura reciprocity that allows us not only to verify but to find new class invariants from a modular function of level $N$.

Kontogeorgis, Aristides

2012-01-01

453

The Question of Class  

ERIC Educational Resources Information Center

For too long, educators' approach to understanding the relationships between poverty, class and education has been framed by studying the behaviors and cultures of poor students and their families. If only we--in the middle and upper-middle classes--can understand "their" culture, why "those people" don't value education, why "those parents" don't…

Gorski, Paul C.

2007-01-01

454

The Question of Class  

ERIC Educational Resources Information Center

For too long, educators' approach to understanding the relationships between poverty, class and education has been framed by studying the behaviors and cultures of poor students and their families. If only people--in the middle and upper-middle classes--can understand "their" culture, why "those people" do not value education, why "those parents"…

Gorski, Paul C.

2007-01-01

455

Teaching Large Evening Classes  

ERIC Educational Resources Information Center

High enrollments, conflicting student work schedules, and the sheer convenience of once-a-week classes are pushing many colleges to schedule evening courses. Held from 6 to 9 pm or 7 to 10 pm, these classes are typically packed, sometimes with more than 150 students in a large lecture theater. How can faculty effectively teach, control, or even…

Wambuguh, Oscar

2008-01-01

456

class="hilite">class="hilite">Social Class, Essentialism, and Restorative Policy Decisions.  

E-print Network

??class="hilite">class="hilite">Social class (socioeconomic status, SES) is a primary determinant of rank in the human class="hilite">social hierarchy, and in the present research I examined lay theories… (more)

Kraus, Michael Warren

2010-01-01

457

47 CFR 73.25 - Clear channels; Class A, Class B and Class D stations.  

Code of Federal Regulations, 2010 CFR

...2010-10-01 false Clear channels; Class A, Class B and Class...Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED...Stations § 73.25 Clear channels; Class A, Class B and Class...tabulations are designated as clear channels and assigned for use by...

2010-10-01

458

Colour-Magnitude Diagrams from microlensing projects and galactic structure  

E-print Network

The results, obtained with the stellar population synthesis technique, are summarized for galactic structure and stellar population studies of our Galaxy. Emphasis is put on the analysis (extinction, disc structure, bar population) of the OGLE colour-magnitude diagram from Baade's Window.

Y. K. Ng

1996-07-18

459

Cloud computing and hyperbolic Voronoi diagrams on the sphere  

E-print Network

In this work we study the minimization problem for the total distance in a cloud computing network on the sphere. We give a solution to this problem in terms of hyperbolic Voronoi diagrams on the sphere. We present results of computer simulations illustrating the solution.

Bleher, Pavel

2012-01-01

460

Motion planning in a plane using generalized Voronoi diagrams  

Microsoft Academic Search

An algorithm for planning a collision-free path for a rectangle in a planar workspace populated with polygonal obstacles is presented. Heuristic techniques are used to plan the motion along a nominal path obtained from a generalized Voronoi diagram (GVD). The algorithm was demonstrated to be quite fast with execution times comparable to, or exceeding, those of the freeway method. Unlike

O. Takahashi; R. J. Schilling

1989-01-01

461

Randomized Incremental Construction of Delaunay and Voronoi Diagrams  

Microsoft Academic Search

In this paper we give a new randomized incremental algorithm for the construction of planar Voronoi diagrams and Delaunay triangulations. The new algorithm is more online than earlier similar methods, takes expected time O(n log n) and space O(n), and is eminently practical to implement. The analysis of the algorithm is also interesting in its own right and can serve

Leonidas J. Guibas; Donald E. Knuth; Micha Sharir

1990-01-01

462

Power-aware FPGA logic synthesis using binary decision diagrams  

Microsoft Academic Search

Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power-aware logic optimization tool that is specialized to facilitate subsequent power-aware technology mapping. Our synthesis framework uses binary decision diagram (BDD) based collapsing and decomposition techniques in conjunction with signal switching

Kevin Oo Tinmaung; David Howland; Russell Tessier

2007-01-01

463

DIAGRAMMING, ARGUMENTATION SCHEMES AND CRITICAL QUESTIONS Douglas Walton  

E-print Network

stereotypical patterns of reasoning. This paper is part of a project on the formalization of argumentation, so that it can be taught in the classroom, and applied by students # fine­grained, so that it can, for example, works to support not only computer representation, but also diagramming and classroom teaching

Reed, Chris

464

DIAGRAMMING, ARGUMENTATION SCHEMES AND CRITICAL QUESTIONS Douglas Walton  

E-print Network

stereotypical patterns of reasoning. This paper is part of a project on the formalization of argumentation, so that it can be taught in the classroom, and applied by students fine-grained, so that it can, for example, works to support not only computer representation, but also diagramming and classroom teaching

Reed, Chris

465

Spacing of Munsell Renotations in MacAdam's Geodesic Diagram.  

PubMed

The results of a brief experiment are described in which the perception of certain color intervals is compared with their corresponding intervals as computed from MacAdam's geodesic chromaticity diagram, the Munsell renotation system, using the Godlove formula and the 1964 CIE color-difference formula. PMID:20119337

Witzel, R F

1972-10-01

466

Representing Embedded System Sequence Diagrams as a Formal Language  

Microsoft Academic Search

Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require special support for branching, state information, and composing SDs. Actors must traverse many SDs when using a complex embedded system. Current techniques are insufficiently rich to represent the behavior of real systems, such as elevators, without augmentation,

Elizabeth Latronico; Philip Koopman

2001-01-01

467

Student's misunderstanding in using a ray diagram in light refraction  

Microsoft Academic Search

This paper shows the results of an investigation in conceptual understanding of light refraction of 261 Thai high- school students. The students of grades 11-12 were asked to explain a simple refraction phenomenon. They were asked to draw a ray diagram to indicate the position of an image of a light bulb which was located under the water. The results

Kreetha Keawkhong; Narumon Emarat; Kwan Arayathanitkul; Chernchok Soankwan; Ratchapak Chitaree

2008-01-01

468

Phase Diagram for the Kf-YF3 System.  

National Technical Information Service (NTIS)

Differential thermal analysis measurements were used to characterize a phase diagram for the KF-YF3 system at compositions between 0 and 60 molepercent YF3. A congruent melting point compound was observed at 3KF-YF3, which melts at 965C and undergoes soli...

B. Porter, R. E. Meaker, P. R. Bremner

1969-01-01

469

VORONOI DIAGRAMS AND ORNAMENTAL DESIGN Craig S. Kaplan  

E-print Network

with pinpoints of different coloured bacteria. The bacteria grow outward, the radius of each one's territory receiving the colour of the first bacteria to reach it (which is simply the one that happened to be closest Voronoi diagrams in a series of recursive steps [9]. Here, I present some further results in the use

Kaplan, Craig S.

470

A martensite boundary on the WRC-1992 diagram  

SciTech Connect

The upper martensite boundary line from the Schaeffler diagram for stainless steel weld metals can be transposed to the WRC-1992 diagram. However, magnetic measurements and longitudinal face bend tests of weld metals do not show good correspondence to this boundary. Many deposit compositions of lower chromium and nickel equivalents than those along Schaeffler`s transposed martensite boundary show no martensite as-deposited and pass a 2T longitudinal face bend test. Based upon magnetic measurements and bend tests of about 100 weld metal compositions, obtained as single-pass submerged arc deposits on ASTM A36 mild steel, a new martensite boundary is proposed for addition to the WRC-1992 diagram. This boundary separates compositions that exhibit no magnetic response attributable to martensite and pass a 2T longitudinal face bend test from compositions that have magnetic response that indicates the presence of as-deposited martensite and fail the bend test. Because manganese is part of neither the chromium equivalent nor the nickel equivalent on the WRC-1992 diagram, the line is specific to the Mn level considered in the tests--approximately 1%--that is suitable for most stainless steel cladding and dissimilar metal joining situations. It is probably conservative for deposits of much higher Mn content.

Kotecki, D.J. [Lincoln Electric Co., Cleveland, OH (United States)

1999-05-01

471

Technical Note Kitagawa-Takahashi diagrams define the limiting conditions  

E-print Network

Technical Note Kitagawa-Takahashi diagrams define the limiting conditions for cyclic fatigue Abstract: As cyclic fatigue is considered to be a major cause of clinical tooth fractures, achieving fatigue) loading, rather than a single trau- matic loading event.2,3 Cyclic stresses play a simi- larly

Ritchie, Robert

472

Phase shifts of the paired wings of butterfly diagrams  

NASA Astrophysics Data System (ADS)

Sunspot groups observed by the Royal Greenwich Observatory/US Air Force/NOAA from 1874 May to 2008 November and the Carte Synoptique solar filaments from 1919 March to 1989 December are used to investigate the relative phase shift of the paired wings of butterfly diagrams of sunspot and filament activities. Latitudinal migration of sunspot groups (or filaments) does asynchronously occur in the northern and southern hemispheres, and there is a relative phase shift between the paired wings of their butterfly diagrams in a cycle, making the paired wings spatially asymmetrical on the solar equator. It is inferred that hemispherical solar activity strength should evolve in a similar way within the paired wings of a butterfly diagram in a cycle, demonstrating the paired wings phenomenon and showing the phase relationship between the northern and southern hemispherical solar activity strengths, as well as a relative phase shift between the paired wings of a butterfly diagram, which should bring about almost the same relative phase shift of hemispheric solar activity strength.

Li, Ke-Jun; Liang, Hong-Fei; Feng, Wen

2010-11-01

473

Computer-Generated Phase Diagrams for Binary Mixtures.  

ERIC Educational Resources Information Center

Computer programs that generate projections of thermodynamic phase surfaces through computer graphics were used to produce diagrams representing properties of water and steam and the pressure-volume-temperature behavior of most of the common equations of state. The program, program options emphasizing thermodynamic features of interest, and…

Jolls, Kenneth R.; And Others

1983-01-01

474

XML Based Representation of DFD Removal of Diagramming Ambiguity  

Microsoft Academic Search

In the world of Information Technology, the working of a information system is well explained with the use of Data Flow Diagrams (DFD). DFDs are one of the three essential perspectives of the Structured Systems Analysis and Design Method (SSADM). [3]The sponsor of a project and the end users are briefed and consulted throughout all stages of a system's evolution.

Swapna Salil Kolhatkar

2011-01-01

475

Bi-phase transition diagrams of metallic thin multilayers  

SciTech Connect

Phase transitions of metallic multilayers induced by differences in interface energy are considered thermodynamically, based on a thermodynamic model for interface energy and the Goldschmidt premise for lattice contraction. Bi-phase transition diagrams of Co/Cr, Zr/Nb, Ti/Nb and Ti/Al multilayers are constructed, which are in agreement with experimental results.

Li, J.C. [Key Laboratory of Automobile Materials, Ministry of Education, and Department of Materials Science and Engineering, Jilin University, 142 RenMin Street, Changchun 130025 (China); Liu, W. [Key Laboratory of Automobile Materials, Ministry of Education, and Department of Materials Science and Engineering, Jilin University, 142 RenMin Street, Changchun 130025 (China); Jiang, Q. [Key Laboratory of Automobile Materials, Ministry of Education, and Department of Materials Science and Engineering, Jilin University, 142 RenMin Street, Changchun 130025 (China)]. E-mail: jiangq@jlu.edu.cn

2005-02-01

476

Architectural Framework for Generic Modeling and Diagramming in the Cloud  

Microsoft Academic Search

This paper is aimed at presenting a concept of a flexible diagramming framework for building engineering and educational applications. The framework was designed to serve as a platform for online services and collaborative environments where users typically work on remotely stored, shared data through a browser-based user interface. The paper summarizes the common requirements towards such services, overviews related approaches

Laszlo Juracz; Larry Howard

477

Mobius Transformations, Power Diagrams, Lombardi Drawings, and Soap Bubbles  

E-print Network

M¨obius Transformations, Power Diagrams, Lombardi Drawings, and Soap Bubbles David Eppstein Euro of degree four) has a planar Lombardi drawing We also use it to characterize the graphs of planar soap bubble clusters: they are exactly the bridgeless 3-regular planar graphs #12;Inversion through a circle

Eppstein, David

478

33. Historic photo of section diagram of Building 202, April ...  

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

33. Historic photo of section diagram of Building 202, April 30, 1958. On file at NASA Plumbrook Research Center, Sandusky, Ohio. NASA photo number C-47807. - Rocket Engine Testing Facility, GRC Building No. 202, NASA Glenn Research Center, Cleveland, Cuyahoga County, OH

479

Higher-dimensional Voronoi diagrams in linear expected time  

Microsoft Academic Search

This work is the first to validate theoretically the suspicions of many researchers — that the “average” Voronoi diagram is combinatorially quite simple and can be constructed quickly. Specifically, assuming that dimension d is fixed, and that n input points are chosen independently from the uniform distribution on the unit d-ball, it is proved thatthe expected number of simplices of

Rex A. Dwyer

1989-01-01

480

Modelling of CCT diagrams for engineering and constructional steels  

Microsoft Academic Search

The paper presents the methodology of modelling using the neural networks and regression method of the relationship between the chemical composition and austenitizing temperature, and the supercooled austenite transformation kinetics during the continuous cooling. The worked out model makes possible to calculate a CCT diagram for the steel with a known chemical composition and analysis of the influence of particular

J. Trzaska; L. A. Dobrza?ski

2007-01-01

481

Integrating Mathematics and Science: Ecology and Venn Diagrams  

ERIC Educational Resources Information Center

Efforts to integrate mathematics and science have been widely recognized by mathematics and science educators. However, successful integration of these two important school disciplines remains a challenge. In this article, a mathematics and science activity extends the use of Venn diagrams to a life science context and then circles back to a…

Leszczynski, Eliza; Munakata, Mika; Evans, Jessica M.; Pizzigoni, Francesca

2014-01-01

482

Software Tool Integrating Data Flow Diagrams and Petri Nets  

NASA Technical Reports Server (NTRS)

Data Flow Diagram - Petri Net (DFPN) is a software tool for analyzing other software to be developed. The full name of this program reflects its design, which combines the benefit of data-flow diagrams (which are typically favored by software analysts) with the power and precision of Petri-net models, without requiring specialized Petri-net training. (A Petri net is a particular type of directed graph, a description of which would exceed the scope of this article.) DFPN assists a software analyst in drawing and specifying a data-flow diagram, then translates the diagram into a Petri net, then enables graphical tracing of execution paths through the Petri net for verification, by the end user, of the properties of the software to be developed. In comparison with prior means of verifying the properties of software to be developed, DFPN makes verification by the end user more nearly certain, thereby making it easier to identify and correct misconceptions earlier in the development process, when correction is less expensive. After the verification by the end user, DFPN generates a printable system specification in the form of descriptions of processes and data.

Thronesbery, Carroll; Tavana, Madjid

2010-01-01

483

Diagram of the Apollo 15 & 16 Gamma-ray Detector  

NSDL National Science Digital Library

This is a diagram of the Apollo 15 & 16 Gamma-ray Detector from the NASA website. Primarily intended to study the Moon's radioactivity, it made measurements of the cosmic gamma-ray background during its trip. It shows measurements in millimeters.

2010-05-05

484

A fault tree analysis strategy using binary decision diagrams  

Microsoft Academic Search

The use of binary decision diagrams (BDDs) in fault tree analysis provides both an accurate and efficient means of analysing a system. There is a problem, however, with the conversion process of the fault tree to the BDD. The variable ordering scheme chosen for the construction of the BDD has a crucial effect on its resulting size and previous research

Karen A. Reay; John D. Andrews

2002-01-01

485

Phase diagram of compressively strained nickelate thin films  

NASA Astrophysics Data System (ADS)

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 for nickelate thin films under compressive epitaxial strain. We determine the metal-insulator phase diagram for the solid solution of Nd1-yLayNiO3 thin films within the range 0 ? y ? 1. We find qualitative similarity between the films and their bulk analogs, but with an overall renormalization in the metal-insulator transition to lower temperature. A combination of x-ray diffraction measurements and soft x-ray absorption spectroscopy indicates that the renormalization is due to increased Ni-O bond hybridization for coherently strained thin films.

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

2013-09-01

486

Ternary Phase Diagrams that Relate to the Plutonium Immobilization Ceramic.  

National Technical Information Service (NTIS)

The plutonium immobilization ceramic consists primarily of a pyrochlore titanate phase of the approximate composition Ca0.97Hf0.17Pu0.22U0.39Gd0.24 Ti2O7. In this study, a series of ternary phase diagrams was constructed to evaluate the relationship of va...

B. B. Ebbinghaus, O. H. Krikorian, E. R. Vance

2001-01-01

487

Galaxy emission line classification using 3D line ratio diagrams  

E-print Network

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 - HII-like or else 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 a specific set of 3D diagrams, the ZQE diagrams, which separate the oxygen abundance and the ionisation parameter of HII region-like spectra, and which also enable us to probe the excitation mechanism of the gas. By examining these new 3D spaces interactively, we define a new set of 2D diagnostics, the ZE diagnostics, which can provide the metallicity of objects excited by hot young stars, and which cleanly separate HII region-like obje...

Vogt, Frédéric P A; Kewley, Lisa J; Sutherland, Ralph S; Scharwaechter, Julia; Basurah, Hassan M; Ali, Alaa; Amer, Morsi A

2014-01-01

488

Study on execution time of ladder diagram in programmable controller  

Microsoft Academic Search

In this paper, we propose the simple experimental method to realize the execution time of ladder diagram (LD) in programmable controllers (PCs). Characteristics of the execution time of a LD are examined experimentally by using the fundamental LD with repetition. Moreover, we establish the estimation method of the execution time of LD. Thus, the relationship between the execution time and

Yoshiaki Itoh; Iko Miyazawa; Takashi Sekiguchi

1998-01-01

489

Diagrams: Useful Tools for Investigating a Student's Understanding of Buoyancy  

ERIC Educational Resources Information Center

Sometimes it is difficult to decide whether a student has a true understanding of a physics concept or whether they are very good at rote learning key words and phrases. Sometimes, when you are marking exams, you feel you have to give the student full marks because everything is there, even though it is not quite "right". This is where a diagram

Creagh, Christine

2008-01-01

490

An Efficient Exhaustive Anytime Sampling Algorithm for Influence Diagrams  

E-print Network

An Efficient Exhaustive Anytime Sampling Algorithm for Influence Diagrams Daniel Garcia-Sanchez and Marek J. Druzdzel Decision Systems Laboratory, School of Information Sciences and Intelligent Systems an efficient sampling algorithm for solving influence dia- grams that achieves its efficiency by testing

Druzdzel, Marek J.

491

AIAA-2005-0196 OPTIMIZED GOODMAN DIAGRAM FOR THE  

E-print Network

Goodman diagram for a fiberglass composite that is a typical wind turbine blade material of Aeronautics and Astronautics 2 a = Amplitude of the stress cycle m = Mean stress of the fatigue cycle min a detailed description of the fatigue load spectra and the fatigue behavior of the blade material. The latter

492

Model Checking Synchronous Timing Diagrams , E. Allen Emerson1  

E-print Network

Model Checking Synchronous Timing Diagrams Nina Amla1 , E. Allen Emerson1 , Robert P. Kurshan2 , and Kedar S. Namjoshi2 1 Department of Computer Sciences, University of Texas at Austin {namla,emerson}@cs.utexas.edu http://www.cs.utexas.edu/users/{namla,emerson} 2 Bell Laboratories, Lucent Technologies {k

Namjoshi, Kedar

493

Energy Diagrams for Enzyme-Catalyzed Reactions: Concepts and Misconcepts  

ERIC Educational Resources Information Center

Despite the utility that energy diagrams have as a teaching and learning tool, a survey of their use, in seven popular Biochemistry textbooks, reveals that there is certain confusion around this topic. In our opinion, this confusion arises from the reluctance of authors to consider and indicate the conditions under which the reaction being…

Aledo, J. Carlos; Lobo, Carolina; del Valle, Alicia Esteban

2003-01-01

494

Phase diagram and influence of defects in the double perovskites  

Microsoft Academic Search

The phase diagram of the double perovskites of the type Sr2-xLaxFeMoO6 is analyzed, with and without disorder due to antisites. In addition to an homogeneous half metallic ferrimagnetic phase in the absence of doping and disorder, we find antiferromagnetic phases at large dopings, and other ferrimagnetic phases with lower saturation magnetization, in the presence of disorder.

J. L. Alonso; L. A. Fernández; F. Guinea; F. Lesmes; V. Martín-Mayor

2003-01-01

495

The Translation of Star Schema into Entity-Relationship Diagrams  

Microsoft Academic Search

The star schema is widely accepted as a proper underlying table structure for data warehouses, but enterprise data is frequently defined in terms of entity-relationship diagrams. A key issue for data warehouse designers is how to move from legacy OLTP designs into the star schema. In this paper, we examine the semantics and constraints of the star schema in some

Michael Krippendorf; Il-yeol Song

1997-01-01

496

Graphic elicitation: using research diagrams as interview stimuli  

Microsoft Academic Search

Diagrams are effective instruments of thought and a valuable tool in conveying those thoughts to others. As such, they can be usefully employed as representations of a research domain and act as stimulus materials in interviews. This process of graphic elicitation may encourage contributions from interviewees that are difficult to obtain by other means. By representing concepts and relationships that

NATHAN CRILLY; ALAN F BLACKWELL; P JOHN CLARKSON

2006-01-01

497

Strength diagrams of fibrous composites with unidirectional structure  

NASA Technical Reports Server (NTRS)

The dependence of the composite strength on the volume proportion of fiber and the transfer factor is analyzed. Four types of diagrams are constructed for the strength of composites as a function of the volume proportion of fibers and the transfer factor.

Ivanova, V. S.; Ustinov, L. M.

1982-01-01

498

Phase diagram of the disordered Bose-Hubbard model  

SciTech Connect

We establish the phase diagram of the disordered three-dimensional Bose-Hubbard model at unity filling which has been controversial for many years. The theorem of inclusions, proven by Pollet et al. [Phys. Rev. Lett. 103, 140402 (2009)] states that the Bose-glass phase always intervenes between the Mott insulating and superfluid phases. Here, we note that assumptions on which the theorem is based exclude phase transitions between gapped (Mott insulator) and gapless phases (Bose glass). The apparent paradox is resolved through a unique mechanism: such transitions have to be of the Griffiths type when the vanishing of the gap at the critical point is due to a zero concentration of rare regions where extreme fluctuations of disorder mimic a regular gapless system. An exactly solvable random transverse field Ising model in one dimension is used to illustrate the point. A highly nontrivial overall shape of the phase diagram is revealed with the worm algorithm. The phase diagram features a long superfluid finger at strong disorder and on-site interaction. Moreover, bosonic superfluidity is extremely robust against disorder in a broad range of interaction parameters; it persists in random potentials nearly 50 ({exclamation_point}) times larger than the particle half-bandwidth. Finally, we comment on the feasibility of obtaining this phase diagram in cold-atom experiments, which work with trapped systems at finite temperature.

Gurarie, V. [Department of Physics, University of Colorado, Boulder, Colorado 80309 (United States); Pollet, L. [Physics Department, Harvard University, Cambridge, Massachusetts 02138 (United States); Prokof'ev, N. V.; Svistunov, B. V. [Department of Physics, University of Massachusetts, Amherst, Massachusetts 01003 (United States); Russian Research Center, 'Kurchatov Institute', 123182 Moscow (Russian Federation); Troyer, M. [Theoretische Physik, ETH Zurich, 8093 Zurich (Switzerland)

2009-12-01

499

Cloud computing and hyperbolic Voronoi diagrams on the sphere  

E-print Network

In this work we study the minimization problem for the total distance in a cloud computing network on the sphere. We give a solution to this problem in terms of hyperbolic Voronoi diagrams on the sphere. We present results of computer simulations illustrating the solution.

Pavel Bleher; Caroline Shouraboura

2012-03-13

500

Analysing Collisions Using Minkowski Diagrams in Momentum Space  

ERIC Educational Resources Information Center

Momentum space and Minkowski diagrams are powerful tools for interpreting and analysing relativistic collisions in one or two spatial dimensions. All relevant quantities that characterize a collision, including the mass, velocity, momentum and energy of the interacting particles, both before and after collision, can be directly seen from a single…

Bokor, Nandor

2011-01-01