A different perspective on canonicity

One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a graph is canonical if it is "meaningful'', the original theory is somewhat unclear about what that actually means, in particular how canonicity is related to logic. This paper argues that canonicity should be kept a first-class notion of Conceptual Structures Theory, provides a detailed analysis of work done so far, and proposes new definitions of the conformity relation and the canonical formation rules that allow a clear separation between canonicity and truth

Optimization of circular orifice jets mixing into a heated cross flow in a cylindrical duct

To examine the mixing characteristics of circular jets in an axisymmetric can geometry, temperature measurements were obtained downstream of a row of cold jet injected into a heated cross stream. The objective was to obtain uniform mixing within one duct radius downstream of the leading edge of the jet orifices. An area weighted standard deviation of the mixture fraction was used to help quantify the degree of mixedness at a given plane. Non-reacting experiments were conducted to determine the influence of the number of jets on the mixedness in a cylindrical configuration. Results show that the number of orifices significantly impacts the mixing characteristics of jets injected from round hole orifices in a can geometry. Optimum mixing occurs when the mean jet trajectory aligns with the radius which divides the cross sectional area of the can into two equal parts at one mixer radius downstream of the leading edge of the orifice. The optimum number of holes at momentum-flux ratios of 25 and 52 is 10 and 15 respectively

Solving the Bose-Hubbard model in new ways

We introduce a new method for analysing the Bose-Hubbard model for an array of bosons with nearest neighbor interactions. It is based on a number-theoretic implementation of the creation and annihilation operators that constitute the model. One of the advantages of this approach is that it facilitates computation with arbitrary accuracy, enabling nearly perfect numerical experimentation. In particular, we provide a rigorous computer assisted proof of quantum phase transitions in finite systems of this type. Furthermore, we investigate properties of the infinite array via harmonic analysis on the multiplicative group of positive rationals. This furnishes an isomorphism that recasts the underlying Fock space as an infinite tensor product of Hecke spaces, i.e., spaces of square-integrable periodic functions that are a superposition of non-negative frequency harmonics. Under this isomorphism, the number-theoretic creation and annihilation operators are mapped into the Kastrup model of the harmonic oscillator on the circle. It also enables us to highlight a kinship of the model at hand with an array of spin moments with a local anisotropy field. This identifies an interesting physical system that can be mapped into the model at hand.Comment: 12 pages, 3 figures; submitte

Recombinant ecto-5'-nucleotidase (CD73) has long lasting antinociceptive effects that are dependent on adenosine A1 receptor activation

<p>Abstract</p> <p>Background</p> <p>Ecto-5'-nucleotidase (NT5E, also known as CD73) hydrolyzes extracellular adenosine 5'-monophosphate (AMP) to adenosine in nociceptive circuits. Since adenosine has antinociceptive effects in rodents and humans, we hypothesized that NT5E, an enzyme that generates adenosine, might also have antinociceptive effects <it>in vivo</it>.</p> <p>Results</p> <p>To test this hypothesis, we purified a soluble version of mouse NT5E (mNT5E) using the baculovirus expression system. Recombinant mNT5E hydrolyzed AMP in biochemical assays and was inhibited by α,β-methylene-adenosine 5'-diphosphate (α,β-me-ADP; IC₅₀= 0.43 μM), a selective inhibitor of NT5E. mNT5E exhibited a dose-dependent thermal antinociceptive effect that lasted for two days when injected intrathecally in wild-type mice. In addition, mNT5E had thermal antihyperalgesic and mechanical antiallodynic effects that lasted for two days in the complete Freund's adjuvant (CFA) model of inflammatory pain and the spared nerve injury (SNI) model of neuropathic pain. In contrast, mNT5E had no antinociceptive effects when injected intrathecally into adenosine A₁receptor (<it>A</it>₁<it>R, Adora1</it>) knockout mice.</p> <p>Conclusion</p> <p>Our data indicate that the long lasting antinociceptive effects of mNT5E are due to hydrolysis of AMP followed by activation of A₁R. Moreover, our data suggest recombinant NT5E could be used to treat chronic pain and to study many other physiological processes that are regulated by NT5E.</p

Learning about knowledge: A complex network approach

This article describes an approach to modeling knowledge acquisition in terms of walks along complex networks. Each subset of knowledge is represented as a node, and relations between such knowledge are expressed as edges. Two types of edges are considered, corresponding to free and conditional transitions. The latter case implies that a node can only be reached after visiting previously a set of nodes (the required conditions). The process of knowledge acquisition can then be simulated by considering the number of nodes visited as a single agent moves along the network, starting from its lowest layer. It is shown that hierarchical networks, i.e. networks composed of successive interconnected layers, arise naturally as a consequence of compositions of the prerequisite relationships between the nodes. In order to avoid deadlocks, i.e. unreachable nodes, the subnetwork in each layer is assumed to be a connected component. Several configurations of such hierarchical knowledge networks are simulated and the performance of the moving agent quantified in terms of the percentage of visited nodes after each movement. The Barab\'asi-Albert and random models are considered for the layer and interconnecting subnetworks. Although all subnetworks in each realization have the same number of nodes, several interconnectivities, defined by the average node degree of the interconnection networks, have been considered. Two visiting strategies are investigated: random choice among the existing edges and preferential choice to so far untracked edges. A series of interesting results are obtained, including the identification of a series of plateaux of knowledge stagnation in the case of the preferential movements strategy in presence of conditional edges.Comment: 18 pages, 19 figure

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Optimization of Orifice Geometry for Cross-Flow Mixing in a Cylindrical Duct

Mixing of gaseous jets in a cross-flow has significant applications in engineering, one example of which is the dilution zone of a gas turbine combustor. Despite years of study, the design of the jet injection in combustors is largely based on practical experience. The emergence of NO(x) regulations for stationary gas turbines and the anticipation of aero-engine regulations requires an improved understanding of jet mixing as new combustor concepts are introduced. For example, the success of the staged combustor to reduce the emission of NO(x) is almost entirely dependent upon the rapid and complete dilution of the rich zone products within the mixing section. It is these mixing challenges to which the present study is directed. A series of experiments was undertaken to delineate the optimal mixer orifice geometry. A cross-flow to core-flow momentum-flux ratio of 40 and a mass flow ratio of 2.5 were selected as representative of a conventional design. An experimental test matrix was designed around three variables: the number of orifices, the orifice length-to- width ratio, and the orifice angle. A regression analysis was performed on the data to arrive at an interpolating equation that predicted the mixing performance of orifice geometry combinations within the range of the test matrix parameters. Results indicate that the best mixing orifice geometry tested involves eight orifices with a long-to-short side aspect ratio of 3.5 at a twenty-three degree inclination from the center-line of the mixing section

Electron spin relaxation can enhance the performance of a cryptochrome-based magnetic compass sensor

The radical pair model of the avian magnetoreceptor relies on long‐lived electron spin coherence. Dephasing, resulting from interactions of the spins with their fluctuating environment, is generally assumed to degrade the sensitivity of this compass to the direction of the Earth's magnetic field. Here we argue that certain spin relaxation mechanisms can enhance its performance. We focus on the flavin‐tryptophan radical pair in cryptochrome, currently the only candidate magnetoreceptor molecule. Correlation functions for fluctuations in the distance between the two radicals in Arabidopsis thaliana cryptochrome 1 were obtained from molecular dynamics simulations and used to calculate the spin relaxation caused by modulation of the exchange and dipolar interactions. We find that intermediate spin relaxation rates afford substantial enhancements in the sensitivity of the reaction yields to an Earth‐strength magnetic field. Supported by calculations using toy radical pair models, we argue that these enhancements could be consistent with the molecular dynamics and magnetic interactions in avian cryptochromes