IDEF5 Ontology Description Capture Method: Concept Paper

The results of research towards an ontology capture method referred to as IDEF5 are presented. Viewed simply as the study of what exists in a domain, ontology is an activity that can be understood to be at work across the full range of human inquiry prompted by the persistent effort to understand the world in which it has found itself - and which it has helped to shape. In the contest of information management, ontology is the task of extracting the structure of a given engineering, manufacturing, business, or logistical domain and storing it in an usable representational medium. A key to effective integration is a system ontology that can be accessed and modified across domains and which captures common features of the overall system relevant to the goals of the disparate domains. If the focus is on information integration, then the strongest motivation for ontology comes from the need to support data sharing and function interoperability. In the correct architecture, an enterprise ontology base would allow th e construction of an integrated environment in which legacy systems appear to be open architecture integrated resources. If the focus is on system/software development, then support for the rapid acquisition of reliable systems is perhaps the strongest motivation for ontology. Finally, ontological analysis was demonstrated to be an effective first step in the construction of robust knowledge based systems

XPS study of the chemical structure of the nickel/silicon interface

The chemical nature of the Ni/Si, Ni/Ni_(2)Si and Si/Ni_(2)Si interfaces have been investigated using x‐ray photoelectron spectroscopy. Peak position, line shapes, and envelope intensities are used to probe the compositional structure of these systems. Two approaches have been employed: one approach examines the advancing planar silicide front by dynamically monitoring the in situ formation of Ni_(2)Si. This has the advantage of allowing examination of a realistic interface which is bounded on either side by an extended solid. The second approach follows the development of the Si/Ni interface using UHV depositions of thin layers of Ni on Si . ^(4)He^+ backscattering is used to follow the progression of the thin film reaction and to provide quantitative information on atomic composition. These experiments demonstrate that the Ni/Ni_(2)Si interface consists of a Ni‐rich silicide transitional phase while the Si/Ni_(2)Si interface shows a transitional structure which is correspondingly Si‐rich. Intensity analysis indicates that these interfacial regions are at least 22 Å wide for α‐Si substrates and 9–14 Å wide for crystalline Si. The as‐deposited Ni/Si interface cannot be described as a unique single‐phase, but rather as a chemically graded transitional region showing a composition which varies from Si‐rich to Ni‐rich silicides

Research accomplished at the Knowledge Based Systems Lab: IDEF3, version 1.0

An overview is presented of the foundations and content of the evolving IDEF3 process flow and object state description capture method. This method is currently in beta test. Ongoing efforts in the formulation of formal semantics models for descriptions captured in the outlined form and in the actual application of this method can be expected to cause an evolution in the method language. A language is described for the representation of process and object state centered system description. IDEF3 is a scenario driven process flow modeling methodology created specifically for these types of descriptive activities

Theoretical foundations for information representation and constraint specification

Research accomplished at the Knowledge Based Systems Laboratory of the Department of Industrial Engineering at Texas A&M University is described. Outlined here are the theoretical foundations necessary to construct a Neutral Information Representation Scheme (NIRS), which will allow for automated data transfer and translation between model languages, procedural programming languages, database languages, transaction and process languages, and knowledge representation and reasoning control languages for information system specification

Total and partial cross sections of the 112^{112}Sn(α,γ\alpha,\gamma)116^{116}Te reaction measured via in-beam γ\gamma-ray spectroscopy

An extended database of experimental data is needed to address uncertainties of the nuclear-physics input parameters for Hauser-Feshbach calculations. Especially $\alpha$+nucleus optical model potentials at low energies are not well known. The in-beam technique with an array of high-purity germanium (HPGe) detectors was successfully applied to the measurement of absolute cross sections of an ($\alpha$,$\gamma$) reaction on a heavy nucleus at sub-Coulomb energies. The total and partial cross-section values were measured by means of in-beam $\gamma$-ray spectroscopy. Total and partial cross sections were measured at four different $\alpha$-particle energies from $E_\alpha = 10.5$ MeV to $E_\alpha = 12$ MeV. The measured total cross-section values are in excellent agreement with previous results obtained with the activation technique, which proves the validity of the applied method. The experimental data was compared to Hauser-Feshbach calculations using the nuclear reaction code TALYS. A modified version of the semi-microscopic $\alpha$+nucleus optical model potential OMP 3, as well as modified proton and $\gamma$ widths, are needed in order to obtain a good agreement between experimental data and theory. It is found, that a model using a local modification of the nuclear-physics input parameters simultaneously reproduces total cross sections of the $^{112}$Sn($\alpha$,$\gamma$) and $^{112}$Sn($\alpha$,p) reactions. The measurement of partial cross sections turns out to be very important in this case in order to apply the correct $\gamma$-ray strength function in the Hauser-Feshbach calculations. The model also reproduces cross-section values of $\alpha$-induced reactions on $^{106}$Cd, as well as of ($\alpha$,n) reactions on $^{115,116}$Sn, hinting at a more global character of the obtained nuclear-physics input.Comment: 8 pages, 9 figure

Heterogeneous Dynamics of Coarsening Systems

We show by means of experiments, theory and simulations, that the slow dynamics of coarsening systems displays dynamic heterogeneity similar to that observed in glass-forming systems. We measure dynamic heterogeneity via novel multi-point functions which quantify the emergence of dynamic, as opposed to static, correlations of fluctuations. Experiments are performed on a coarsening foam using Time Resolved Correlation, a recently introduced light scattering method. Theoretically we study the Ising model, and present exact results in one dimension, and numerical results in two dimensions. For all systems the same dynamic scaling of fluctuations with domain size is observed.Comment: Minor changes; to be published in Phys. Rev. Let

Gas Giant Protoplanets Formed by Disk Instability in Binary Star Systems

We present a suite of three dimensional radiative gravitational hydrodynamics models suggesting that binary stars may be quite capable of forming planetary systems similar to our own. The new models with binary companions do not employ any explicit artificial viscosity, and also include the third (vertical) dimension in the hydrodynamic calculations, allowing for transient phases of convective cooling. The calculations of the evolution of initially marginally gravitationally stable disks show that the presence of a binary star companion may actually help to trigger the formation of dense clumps that could become giant planets. We also show that in models without binary companions, which begin their evolution as gravitationally stable disks, the disks evolve to form dense rings, which then break-up into self-gravitating clumps. These latter models suggest that the evolution of any self-gravitating disk with sufficient mass to form gas giant planets is likely to lead to a period of disk instability, even in the absence of a trigger such as a binary star companion.Comment: 52 pages, 28 figure

Observable Dependent Quasi-Equilibrium in Slow Dynamics

We present examples demonstrating that quasi-equilibrium fluctuation-dissipation behavior at short time differences is not a generic feature of systems with slow non-equilibrium dynamics. We analyze in detail the non-equilibrium fluctuation-dissipation ratio X(t,tw) associated with a defect-pair observable in the Glauber-Ising spin chain. It turns out that $X \neq 1$ throughout the short-time regime and in particular X(tw,tw) = 3/4 for $tw \to \infty$. The analysis is extended to observables detecting defects at a finite distance from each other, where similar violations of quasi-equilibrium behaviour are found. We discuss our results in the context of metastable states, which suggests that a violation of short-time quasi-equilibrium behavior could occur in general glassy systems for appropriately chosen observables.Comment: 17 pages, 5 figures; substantially improved version of cond-mat/040571

N-body decomposition of bipartite networks

In this paper, we present a method to project co-authorship networks, that accounts in detail for the geometrical structure of scientists collaborations. By restricting the scope to 3-body interactions, we focus on the number of triangles in the system, and show the importance of multi-scientists (more than 2) collaborations in the social network. This motivates the introduction of generalized networks, where basic connections are not binary, but involve arbitrary number of components. We focus on the 3-body case, and study numerically the percolation transition.Comment: 5 pages, submitted to PR

Rapid Formation of Supermassive Black Hole Binaries in Galaxy Mergers with Gas

Supermassive black holes (SMBHs) are a ubiquitous component of the nuclei of galaxies. It is normally assumed that, following the merger of two massive galaxies, a SMBH binary will form, shrink due to stellar or gas dynamical processes and ultimately coalesce by emitting a burst of gravitational waves. However, so far it has not been possible to show how two SMBHs bind during a galaxy merger with gas due to the difficulty of modeling a wide range of spatial scales. Here we report hydrodynamical simulations that track the formation of a SMBH binary down to scales of a few light years following the collision between two spiral galaxies. A massive, turbulent nuclear gaseous disk arises as a result of the galaxy merger. The black holes form an eccentric binary in the disk in less than a million years as a result of the gravitational drag from the gas rather than from the stars.Comment: Accepted for publication in Science, 40 pages, 7 figures, Supplementary Information include