2,355 research outputs found
Twin core non-linear couplers with gain and loss
Twin core nonlinear couplers that include gain and loss are examined. Of various structures (ranging from couplers composed of two active cores and two lossy cores to those composed of one active or lossy core and one conventional core) considered, the most interesting case is the coupler composed of' one core with a certain amount of gain and the other core with an equal amount of loss where ideal low power switching is possible in a comparatively short coupler. The presence of gain in one core is found to be responsible for reduction in switching power and/or shortening in the device length, while the introduction of the loss in the other core plays a role of idealizing switching. A physical model is also presented to explain the demonstrated merits based on the operation of linear couplers with gain and loss
What is decidable about string constraints with the ReplaceAll function
The theory of strings with concatenation has been widely argued as the basis of constraint solving for verifying string-manipulating programs. However, this theory is far from adequate for expressing many string constraints that are also needed in practice; for example, the use of regular constraints (pattern matching against a regular expression), and the string-replace function (replacing either the first occurrence or all occurrences of a ``pattern'' string constant/variable/regular expression by a ``replacement'' string constant/variable), among many others. Both regular constraints and the string-replace function are crucial for such applications as analysis of JavaScript (or more generally HTML5 applications) against cross-site scripting (XSS) vulnerabilities, which motivates us to consider a richer class of string constraints. The importance of the string-replace function (especially the replace-all facility) is increasingly recognised, which can be witnessed by the incorporation of the function in the input languages of several string constraint solvers.
Recently, it was shown that any theory of strings containing the string-replace function (even the most restricted version where pattern/replacement strings are both constant strings) becomes undecidable if we do not impose some kind of straight-line (aka acyclicity) restriction on the formulas. Despite this, the straight-line restriction is still practically sensible since this condition is typically met by string constraints that are generated by symbolic execution. In this paper, we provide the first systematic study of straight-line string constraints with the string-replace function and the regular constraints as the basic operations. We show that a large class of such constraints (i.e. when only a constant string or a regular expression is permitted in the pattern) is decidable. We note that the string-replace function, even under this restriction, is sufficiently powerful for expressing the concatenation operator and much more (e.g. extensions of regular expressions with string variables). This gives us the most expressive decidable logic containing concatenation, replace, and regular constraints under the same umbrella. Our decision procedure for the straight-line fragment follows an automata-theoretic approach, and is modular in the sense that the string-replace terms are removed one by one to generate more and more regular constraints, which can then be discharged by the state-of-the-art string constraint solvers. We also show that this fragment is, in a way, a maximal decidable subclass of the straight-line fragment with string-replace and regular constraints. To this end, we show undecidability results for the following two extensions: (1) variables are permitted in the pattern parameter of the replace function, (2) length constraints are permitted
Interaction between social categories in the composite face paradigm.
The composite face paradigm (Young, Hellawell, & Hay, 1987) is widely used to demonstrate holistic perception of faces (Rossion, 2013). In the paradigm, parts from different faces (usually the top and bottom halves) are recombined. The principal criterion for holistic perception is that responses involving the component parts of composites in which the parts are aligned into a face-like configuration are slower and less accurate than responses to the same parts in a misaligned (not face-like) format. This is often taken as evidence that seeing a whole face in the aligned condition interferes with perceiving its separate parts, but it remains unclear to what extent the composite face effect also reflects contributions from other potential sources of interference. We present a new variant of the paradigm involving composites created from top and bottom parts of familiar faces drawn from orthogonal social categories of gender and occupation. This allows us to examine the contributions of differences in relatively visual properties (gender) or relatively semantic properties (occupation) to composite interference and to measure whether variation in a task-irrelevant category (e.g., differences in gender across the parts of the composite when the task is to categorize the occupation of one of the parts) will influence the size of the composite effect. Our findings show that the composite face effect can be modulated by task-irrelevant social categories and that this interference is primarily visual in nature because the influence of face gender is more direct and more consistent than the influence of occupation
Computational study of CO2 methanation on Ru/CeO2 model surfaces:On the impact of Ru doping in CeO2
The Sabatier reaction (CO 2 + H 2 → CH 4 + H 2O) can contribute to renewable energy storage by converting green H 2 with waste CO 2 into CH 4. Highly dispersed Ru on CeO 2 represents an active catalyst for the CO 2 methanation. Here, we investigated the support effect by considering a single atom of Ru and a small Ru cluster on CeO 2 (Ru 6/CeO 2). The influence of doping CeO 2 with Ru was investigated as well (Ru 6/RuCe x-1O 2x-1). Density functional theory was used to compute the reaction energy diagrams. A single Ru atom on CeO 2 can only break one of the C-O bonds in adsorbed CO 2, making it only active in the reverse water-gas shift reaction. In contrast, Ru 6 clusters on stoichiometric and Ru-doped CeO 2 are active methanation catalysts. CO is the main reaction intermediate formed via a COOH surface intermediate. Compared to an extended Ru(11-21) surface containing step-edge sites where direct C-O bond dissociation is facile, C-O dissociation proceeds via H-assisted pathways (CO → HCO → CH) on Ru 6/CeO 2 and Ru 6/RuCe x-1O 2x-1. A higher CO 2 methanation rate is predicted for Ru 6/RuCe x-1O 2x-1. Electronic structure analysis clarifies that the lower activation energy for HCO dissociation on Ru 6/RuCe x-1O 2x-1 is caused by stronger electron-electron repulsion due to its closer proximity to Ru. Strong H 2 adsorption on small Ru clusters explains the higher CO 2 methanation activity of Ru clusters on CeO 2 compared to a Ru step-edge surface, representative of Ru nanoparticles, where the H coverage is low due to stronger competition with adsorbed CO.</p
In-medium kaon and antikaon properties in the quark-meson coupling model
The properties of the kaon, , and antikaon, \kbar, in nuclear medium are
studied in the quark-meson coupling (QMC) model. Employing a constituent
quark-antiquark (MIT bag model) picture, their excitation energies in a nuclear
medium at zero momentum are calculated within mean field approximation. The
scalar, and the vector mesons are assumed to couple directly to the nonstrange
quarks and antiquarks in the and \kbar mesons. It is demonstrated that
the meson induces different mean field potentials for each member of the
isodoublets, and \kbar, when they are embedded in asymmetric nuclear
matter. Furthermore, it is also shown that this meson potential is
repulsive for the meson in matter with a neutron excess, and renders
condensation less likely to occur.Comment: Latex, 11 pages, 4 Postscript figures, a few typos which can be
important for an interpretation (but not reflected in the results) are
corrected, as published in (E) Phys. Lett. B 436 (1998) 45
Determination of the absorption length of CO2, Nd:YAG and high power diode laser radiation for a selected grouting material
The laser beam absorption lengths of CO2, Nd:YAG and a high power diode laser (HPDL) radiation for a newly developed SiO2/Al2O3-based tile grout have been determined through the application of Beer-Lambert’s law. The findings revealed marked differences in the absorption lengths despite the material having similar beam absorption coefficients for the lasers. The absorption lengths for the SiO2/Al2O3-based tile grout for CO2, Nd:YAG and HPDL radiation were calculated as being 23211 m, 1934 m and 1838 m respectively. Moreover, this method of laser beam absorption length determination, which has hitherto been used predominantly with lasers operated in the pulsed mode, is shown to be valid for use with lasers operated in the continuous wave (CW) mode, depending upon the material being treated
The influence of cracks in rotating shafts
In this paper, the influence of transverse cracks in a rotating shaft is
analysed. The paper addresses the two distinct issues of the changes in modal
properties and the influence of crack breathing on dynamic response during
operation. Moreover, the evolution of the orbit of a cracked rotor near half of
the first resonance frequency is investigated. The results provide a possible
basis for an on-line monitoring system. In order to conduct this study, the
dynamic response of a rotor with a breathing crack is evaluated by using the
alternate frequency/time domain approach. It is shown that this method
evaluates the nonlinear behaviour of the rotor system rapidly and efficiently
by modelling the breathing crack with a truncated Fourier series. The dynamic
response obtained by applying this method is compared with that evaluated
through numerical integration. The resulting orbit during transient operation
is presented and some distinguishing features of a cracked rotor are examined
The role of orbital angular momentum in the proton spin
The orbital angular momenta and of up and down quarks in the
proton are estimated as functions of the energy scale as model-independently as
possible, on the basis of Ji's angular momentum sum rule. This analysis
indicates that is large and negative even at low energy scale of
nonperturbative QCD, in contrast to Thomas' similar analysis based on the
refined cloudy bag model. We pursuit the origin of this apparent discrepancy
and suggest that it may have a connection with the fundamental question of how
to define quark orbital angular momenta in QCD.Comment: 14 pages, 3 figures, 1 table A slightly extended version to appear in
Eur. Phys. J.
D-brane dynamics near compactified NS5-branes
We examine the dynamics of a -brane in the background of coincident,
parallel 5-branes which have had one of their common transverse directions
compactified. We find that for small energy, bound orbits can exist at
sufficiently large distances where there will be no stringy effects. The orbits
are dependent upon the energy density, angular momentum and electric field. The
analysis breaks down at radial distances comparable with the compactification
radius and we must resort to using a modified form of the harmonic function in
this region.Comment: Latex, 20 pages, 6 figs, references adde
Spin-Peierls transition in an anisotropic two-dimensional XY model
The two-dimensional Jordan-Wigner transformation is used to investigate the
zero temperature spin-Peierls transition for an anisotropic two-dimensional XY
model in adiabatic limit. The phase diagram between the dimerized (D) state and
uniform (U) state is shown in the parameter space of dimensionless interchain
coupling and spin-lattice coupling . It is found
that the spin-lattice coupling must exceed some critical value
in order to reach the D phase for any finite . The dependence of on
is given by for and the transition between U and D
phase is of first-order for at least .Comment: 2 eps figures, considerable revisions were mad
- …