17,970 research outputs found
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
In this paper, we present two alternative approaches to defining answer sets
for logic programs with arbitrary types of abstract constraint atoms (c-atoms).
These approaches generalize the fixpoint-based and the level mapping based
answer set semantics of normal logic programs to the case of logic programs
with arbitrary types of c-atoms. The results are four different answer set
definitions which are equivalent when applied to normal logic programs. The
standard fixpoint-based semantics of logic programs is generalized in two
directions, called answer set by reduct and answer set by complement. These
definitions, which differ from each other in the treatment of
negation-as-failure (naf) atoms, make use of an immediate consequence operator
to perform answer set checking, whose definition relies on the notion of
conditional satisfaction of c-atoms w.r.t. a pair of interpretations. The other
two definitions, called strongly and weakly well-supported models, are
generalizations of the notion of well-supported models of normal logic programs
to the case of programs with c-atoms. As for the case of fixpoint-based
semantics, the difference between these two definitions is rooted in the
treatment of naf atoms. We prove that answer sets by reduct (resp. by
complement) are equivalent to weakly (resp. strongly) well-supported models of
a program, thus generalizing the theorem on the correspondence between stable
models and well-supported models of a normal logic program to the class of
programs with c-atoms. We show that the newly defined semantics coincide with
previously introduced semantics for logic programs with monotone c-atoms, and
they extend the original answer set semantics of normal logic programs. We also
study some properties of answer sets of programs with c-atoms, and relate our
definitions to several semantics for logic programs with aggregates presented
in the literature
Radiance and Doppler shift distributions across the network of the quiet Sun
The radiance and Doppler-shift distributions across the solar network provide
observational constraints of two-dimensional modeling of transition-region
emission and flows in coronal funnels. Two different methods, dispersion plots
and average-profile studies, were applied to investigate these distributions.
In the dispersion plots, we divided the entire scanned region into a bright and
a dark part according to an image of Fe xii; we plotted intensities and Doppler
shifts in each bin as determined according to a filtered intensity of Si ii. We
also studied the difference in height variations of the magnetic field as
extrapolated from the MDI magnetogram, in and outside network. For the
average-profile study, we selected 74 individual cases and derived the average
profiles of intensities and Doppler shifts across the network. The dispersion
plots reveal that the intensities of Si ii and C iv increase from network
boundary to network center in both parts. However, the intensity of Ne viii
shows different trends, namely increasing in the bright part and decreasing in
the dark part. In both parts, the Doppler shift of C iv increases steadily from
internetwork to network center. The average-profile study reveals that the
intensities of the three lines all decline from the network center to
internetwork region. The binned intensities of Si ii and Ne viii have a good
correlation. We also find that the large blue shift of Ne viii does not
coincide with large red shift of C iv. Our results suggest that the network
structure is still prominent at the layer where Ne viii is formed in the quiet
Sun, and that the magnetic structures expand more strongly in the dark part
than in the bright part of this quiet Sun region.Comment: 10 pages,9 figure
Upflows in the upper transition region of the quiet Sun
We investigate the physical meaning of the prominent blue shifts of Ne VIII,
which is observed to be associated with quiet-Sun network junctions (boundary
intersections), through data analyses combining force-free-field extrapolations
with EUV spectroscopic observations. For a middle-latitude region, we
reconstruct the magnetic funnel structure in a sub-region showing faint
emission in EIT-Fe 195. This funnel appears to consist of several smaller
funnels that originate from network lanes, expand with height and finally merge
into a single wide open-field region. However, the large blue shifts of Ne VIII
are generally not associated with open fields, but seem to be associated with
the legs of closed magnetic loops. Moreover, in most cases significant upflows
are found in both of the funnel-shaped loop legs. These quasi-steady upflows
are regarded as signatures of mass supply to the coronal loops rather than the
solar wind. Our observational result also reveals that in many cases the
upflows in the upper transition region (TR) and the downflows in the middle TR
are not fully cospatial. Based on these new observational results, we suggest
different TR structures in coronal holes and in the quiet Sun.Comment: 4 pages, 4 figures, will appear in the Proceedings of the Solar wind
12 conferenc
Phonon anomaly in BaFe2As2
The detailed optical properties of BaFe2As2 have been determined over a wide
frequency range above and below the structural and magnetic transition at T_N =
138 K. A prominent in-plane infrared-active mode is observed at 253 cm^{-1}
(31.4 meV) at 295 K. The frequency of this vibration shifts discontinuously at
T_N; for T < T_N the frequency of this mode displays almost no temperature
dependence, yet it nearly doubles in intensity. This anomalous behavior appears
to be a consequence of orbital ordering in the Fe-As layers.Comment: 4 pages, 3 figures and one table (minor revisions
Observation of indirect ionization of W7+ in an electron-beam ion-trap plasma
In this work, visible and extreme ultraviolet spectra of W7+ are measured
using the high-temperature superconducting electron-beam ion trap (EBIT) at the
Shanghai EBIT Laboratory under extremely low-energy conditions (lower than the
nominal electron-beam energy of 130 eV). The relevant atomic structure is
calculated using the flexible atomic code package based on the relativistic
configuration interaction method. The GRASP2K code, in the framework of the
multiconfiguration Dirac-Hartree-Fock method, is employed as well for
calculating the wavelength of the M1 transition in the ground configuration of
W7+. A line from the W7+ ions is observed at a little higher electron-beam
energy than the ionization potential for W4+, making this line appear to be
from W5+. A hypothesis for the charge-state evolution of W7+ is proposed based
on our experimental and theoretical results; that is, the occurrence of W7+
ions results from indirect ionization caused by stepwise excitation between
some metastable states of lower-charge-state W ions, at the nominal
electron-beam energy of 59 eV
Molecular Motor of Double-Walled Carbon Nanotube Driven by Temperature Variation
An elegant formula for coordinates of carbon atoms in a unit cell of a
single-walled nanotube (SWNT) is presented and a new molecular motor of
double-walled carbon nanotube whose inner tube is a long (8,4) SWNT and outer
tube a short (14,8) SWNT is constructed. The interaction between inner an outer
tubes is analytically derived by summing the Lennard-Jones potentials between
atoms in inner and outer tubes. It is proved that the molecular motor in a
thermal bath exhibits a directional motion with the temperature variation of
the bath.Comment: 9 pages, 4 figures, revtex
THE STUDY OF RELATED FACTORS WITH BALL VELOCITY OF THROWING OF GIRLS AGED 11-12 YEARS OLD
INTRODUCTION: The forceful overarm throwing is considered a fundamental movement for many skills. In addition, it is also regards as a characteristic of child’s development. As to the researches of development, gender difference is also concerned by experts of development.
Research related to child motor development traditionally follow the structure of Burton’s (1992) on amendment of Development Sequences for Overhand Throwing table to measure throwing patterns. But overarm throwing is a kind of fast motion especially for the period which is from backswing to release. The traditional way mentioned above can’t provide detailed data. The purpose of the study was to find out the related factors with ball velocity of throwing of girls aged 11-12 years
General approach for in vivo recovery of cell type-specific effector gene sets
Differentially expressed, cell type-specific effector gene sets hold the key to multiple important problems in biology, from theoretical aspects of developmental gene regulatory networks (GRNs) to various practical applications. Although individual cell types of interest have been recovered by various methods and analyzed, systematic recovery of multiple cell type-specific gene sets from whole developing organisms has remained problematic. Here we describe a general methodology using the sea urchin embryo, a material of choice because of the large-scale GRNs already solved for this model system. This method utilizes the regulatory states expressed by given cells of the embryo to define cell type and includes a fluorescence activated cell sorting (FACS) procedure that results in no perturbation of transcript representation. We have extensively validated the method by spatial and qualitative analyses of the transcriptome expressed in isolated embryonic skeletogenic cells and as a consequence, generated a prototypical cell type-specific transcriptome database
- …