The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

Broadband terahertz time-domain spectroscopy of drugs-of-abuse and the use of principal component analysis

EPSRC, the European Community IST FP6 Integrated, etc

NEW FORMATION MECHANISM OF ELECTRIC-FIELD DOMAIN DUE TO GAMMA-X SEQUENTIAL TUNNELING IN GAAS/ALAS SUPERLATTICES

We have studied the sequential tunneling of doped weakly coupled GaAs/ALAs superlattices (SLs), whose ground state of the X valley in AlAS layers is designed to be located between the ground state (E(GAMMA1)) and the first excited state (E(GAMMA2)) of the GAMMA valley in GaAs wells. The experimental results demonstrate that the high electric field domain in these SLs is attributed to the GAMMA-X sequential tunneling instead of the usual sequential resonant tunneling between subbands in adjacent wells. Within this kind of high field domain, electrons from the ground state in the GaAs well tunnel to the ground state of the X valley in the nearest AlAs layer, then through very rapid real-space transfer relax from the X valley in the AlAs layer to the ground state of the GAMMA valley of the next GaAs well.

Block and parallel modelling of broad domain nonlinear continuous mapping based on NN

The necessity of the use of the block and parallel modeling of the nonlinear continuous mappings with NN is firstly expounded quantitatively. Then, a practical approach for the block and parallel modeling of the nonlinear continuous mappings with NN is proposed. Finally, an example indicating that the method raised in this paper can be realized by suitable existed software is given. The results of the experiment of the model discussed on the 3-D Mexican straw hat indicate that the block and parallel modeling based on NN is more precise and faster in computation than the direct ones and it is obviously a concrete example and the development of the large-scale general model established by Tu Xuyan.

Static and dynamic electric field domain formation in a doped GaAs/AlAs superlattice

We have observed the transition from static to dynamic electric field domain formation induced by a transverse magnetic field and the sample temperature in a doped GaAs/AlAs superlattice. The observations can be very well explained by a general analysis of instabilities and oscillations of the sequential tunnelling current in superlattices based solely on the magnitude of the negative differential resistance region in the tunnelling characteristic of a single barrier. Both increasing magnetic field and sample temperature change the negative differential resistance and cause the transition between static and dynamic electric field domain formation. (C) 2000 Elsevier Science B.V. All rights reserved.