The Limits of Horn Logic Programs

Given a sequence $\{\Pi_n\}$ of Horn logic programs, the limit $\Pi$ of $\{\Pi_n\}$ is the set of the clauses such that every clause in $\Pi$ belongs to almost every $\Pi_n$ and every clause in infinitely many $\Pi_n$'s belongs to $\Pi$ also. The limit program $\Pi$ is still Horn but may be infinite. In this paper, we consider if the least Herbrand model of the limit of a given Horn logic program sequence $\{\Pi_n\}$ equals the limit of the least Herbrand models of each logic program $\Pi_n$. It is proved that this property is not true in general but holds if Horn logic programs satisfy an assumption which can be syntactically checked and be satisfied by a class of Horn logic programs. Thus, under this assumption we can approach the least Herbrand model of the limit $\Pi$ by the sequence of the least Herbrand models of each finite program $\Pi_n$. We also prove that if a finite Horn logic program satisfies this assumption, then the least Herbrand model of this program is recursive. Finally, by use of the concept of stability from dynamical systems, we prove that this assumption is exactly a sufficient condition to guarantee the stability of fixed points for Horn logic programs.Comment: 11 pages, added new results. Welcome any comments to [email protected]

Relative Stability of Network States in Boolean Network Models of Gene Regulation in Development

Progress in cell type reprogramming has revived the interest in Waddington's concept of the epigenetic landscape. Recently researchers developed the quasi-potential theory to represent the Waddington's landscape. The Quasi-potential U(x), derived from interactions in the gene regulatory network (GRN) of a cell, quantifies the relative stability of network states, which determine the effort required for state transitions in a multi-stable dynamical system. However, quasi-potential landscapes, originally developed for continuous systems, are not suitable for discrete-valued networks which are important tools to study complex systems. In this paper, we provide a framework to quantify the landscape for discrete Boolean networks (BNs). We apply our framework to study pancreas cell differentiation where an ensemble of BN models is considered based on the structure of a minimal GRN for pancreas development. We impose biologically motivated structural constraints (corresponding to specific type of Boolean functions) and dynamical constraints (corresponding to stable attractor states) to limit the space of BN models for pancreas development. In addition, we enforce a novel functional constraint corresponding to the relative ordering of attractor states in BN models to restrict the space of BN models to the biological relevant class. We find that BNs with canalyzing/sign-compatible Boolean functions best capture the dynamics of pancreas cell differentiation. This framework can also determine the genes' influence on cell state transitions, and thus can facilitate the rational design of cell reprogramming protocols.Comment: 24 pages, 6 figures, 1 tabl

Acceleration, magnetic fluctuations and cross-field transport of energetic electrons in a solar flare loop

Plasma turbulence is thought to be associated with various physical processes involved in solar flares, including magnetic reconnection, particle acceleration and transport. Using Ramaty High Energy Solar Spectroscopic Imager ({\it RHESSI}) observations and the X-ray visibility analysis, we determine the spatial and spectral distributions of energetic electrons for a flare (GOES M3.7 class, April 14, 2002 23$:$55 UT), which was previously found to be consistent with a reconnection scenario. It is demonstrated that because of the high density plasma in the loop, electrons have to be continuously accelerated about the loop apex of length $\sim 2\times 10^9$cm and width $\sim 7\times 10^8$cm. Energy dependent transport of tens of keV electrons is observed to occur both along and across the guiding magnetic field of the loop. We show that the cross-field transport is consistent with the presence of magnetic turbulence in the loop, where electrons are accelerated, and estimate the magnitude of the field line diffusion coefficient for different phases of the flare. The energy density of magnetic fluctuations is calculated for given magnetic field correlation lengths and is larger than the energy density of the non-thermal electrons. The level of magnetic fluctuations peaks when the largest number of electrons is accelerated and is below detectability or absent at the decay phase. These hard X-ray observations provide the first observational evidence that magnetic turbulence governs the evolution of energetic electrons in a dense flaring loop and is suggestive of their turbulent acceleration.Comment: 6 pages, 4 figures, submitted to ApJ

Microstructural Study of High Temperature Creep in Q460E Steel Based on the Solidification Method

A tensile creep test has been carried out to study the high temperature creep mechanism of Q460E steel and thus develop a better understanding about how the creep phenomenon affects the performance of a cast slab. Because the heating process in the solidification method is more similar to the actual solidification process of casting a slab, the high temperature tensile creep test was conducted by using the solidification method. Further observation of the microstructure was carried out after the tensile creep test has been carried out. The microstructure of the Q460E steel after the high temperature tensile creep test and water quenching observed with a metallographic microscope revealed mainly martensite and retained austenite. From the observation with a transmission electron microscope (TEM) it could be found that dislocation and its substructure were the root cause which triggered high temperature creep deformation of the Q460E steel. In addition, the formation of a subboundary also provided the impetus to creep deformation