Weak Ehrenfeucht-Fraïssé Games

In this paper we define a game which is played between two players I and II on two mathematical structures A and B. The players choose elements from both structures in moves, and at the end of the game the player II wins if the chosen structures are isomorphic. Thus the difference of this to the ordinary Ehrenfeucht-Fra¨ıss´e game is that the isomorphism can be arbitrary, whereas in the ordinary EF-game it is determined by the moves of the players. We investigate determinacy of the weak EF-game for different (the length of the game) and its relation to the ordinary EF-game.

Weak consistency of read-only transactions: A tool to improve concurrency in heterogeneous locking protocols

Three different types of consistencies, viz., semiweak, weak, and strong, of a read-only transaction in a schedule s of a set T of transactions are defined and these are compared with the existing notions of consistencies of a read-only transaction in a schedule. We present a technique that enables a user to control the consistency of a read-only transaction in heterogeneous locking protocols. Since the weak consistency of a read-only transaction improves concurrency in heterogeneous locking protocols, the users can help to improve concurrency in heterogeneous locking protocols by supplying the consistency requirements of read-only transactions. A heterogeneous locking protocol P' derived from a locking protocol P that uses exclusive mode locks only and ensures serializability need not be deadlock-free. We present a sufficient condition that ensures the deadlock-freeness of Pprime, when P is deadlock-free and all the read-only transactions in Pprime are two phase.

Numerical simulation of solidification of liquid aluminum alloy flowing on cooling slope

Preparation of semisolid slurry using a cooling slope is increasingly becoming popular, primarily because of the simplicity in design and ease control of the process. In this process, liquid alloy is poured down an inclined surface which is cooled from underneath. The cooling enables partial solidification and the incline provides the necessary shear for producing semisolid slurry. However, the final microstructure of the ingot depends on several process parameters such as cooling rate, incline angle of the cooling slope, length of the slope and initial melt superheat. In this work, a CFD model using volume of fluid (VOF) method for simulating flow along the cooling slope was presented. Equations for conservation of mass, momentum, energy and species were solved to predict hydrodynamic and thermal behavior, in addition to predicting solid fraction distribution and macrosegregation. Solidification was modeled using an enthalpy approach and a volume averaged technique for the different phases. The mushy region was modeled as a multi-layered porous medium consisting of fixed columnar dendrites and mobile equiaxed/fragmented grains. The alloy chosen for the study was aluminum alloy A356, for which adequate experimental data were available in the literature. The effects of two key process parameters, namely the slope angle and the pouring temperature, on temperature distribution, velocity distribution and macrosegregation were also studied.

Theory of unitarity bounds and low-energy form factors

We present a general formalism for deriving bounds on the shape parameters of the weak and electromagnetic form factors using as input correlators calculated from perturbative QCD, and exploiting analyticity and unitarily. The values resulting from the symmetries of QCD at low energies or from lattice calculations at special points inside the analyticity domain can be included in an exact way. We write down the general solution of the corresponding Meiman problem for an arbitrary number of interior constraints and the integral equations that allow one to include the phase of the form factor along a part of the unitarity cut. A formalism that includes the phase and some information on the modulus along a part of the cut is also given. For illustration we present constraints on the slope and curvature of the K-l3 scalar form factor and discuss our findings in some detail. The techniques are useful for checking the consistency of various inputs and for controlling the parameterizations of the form factors entering precision predictions in flavor physics.

Seismic Stability Analysis of a Himalayan Rock Slope

The seismic slope stability analysis of the right abutment of a railway bridge proposed at about 350 m above the ground level, crossing a river and connecting two huge hillocks in the Himalayas, India, is presented in this paper. The rock slopes are composed of highly jointed rock mass and the joint spacing and orientation are varying at different locations. Seismic slope stability analysis of the slope under consideration is carried out using both pseudo-static approach and time response approach as the site is located in seismic zone V as per the earth quake zonation maps of India. Stability of the slope is studied numerically using program FLAC. The results obtained from the pseudo-static analysis are presented in the form of Factor of Safety (FOS) and the results obtained from the time response analysis of the slope are presented in terms of horizontal and vertical displacements along the slope. The results obtained from both the analyses confirmed the global stability of the slope as the FOS in case of pseudo-static analysis is above 1.0 and the displacements observed in case of time response analysis are within the permissible limits. This paper also presents the results obtained from the parametric analysis performed in the case of time response analysis in order to understand the effect of individual parameters on the overall stability of the slope.

Artificial commutation for inversion into a weak AC system in a multiterminal HVDC system

This paper deals with the application of artificial commutation for a normally rated inverter connecting a weak AC system in a multiterminal HVDC (MTDC) system. Artificial commutation is achieved using series capacitors. A modular digital simulation technique is developed to study the dynamic performance of the system. It is shown that by a proper selection of the value of the capacitor it is possible to limit the valve stresses and the DC harmonics to acceptable levels and achieve an improved performance during severe transient conditions. The determination of the value of the series capacitor is based on a parametric study.

Characterizing and recognizing weak visibility polygons

A polygon is said to be a weak visibility polygon if every point of the polygon is visible from some point of an internal segment. In this paper we derive properties of shortest paths in weak visibility polygons and present a characterization of weak visibility polygons in terms of shortest paths between vertices. These properties lead to the following efficient algorithms: (i) an O(E) time algorithm for determining whether a simple polygon P is a weak visibility polygon and for computing a visibility chord if it exist, where E is the size of the visibility graph of P and (ii) an O(n2) time algorithm for computing the maximum hidden vertex set in an n-sided polygon weakly visible from a convex edge.

Bounded turning circles are weak-quasicircles

We show that a metric Jordan curve $\Gamma$ is \emph{bounded turning} if and only if there exists a \emph{weak-quasisymmetric} homeomorphism $\phi\colon \mathsf{S}^1 \to \Gamma$.

Synthesis, characterization, and thermal degradation studies on group VIA derived weak-link polymers

Polymers containing group VIA derived weak links, viz. poly(styrene disulfide) (PSD), poly- (styrene tetrasulfide) (PST), and poly(styrene diselenide) (PSDSE), have been synthesized. The polymers PSD and PST were characterized by NMR, IR, UV, TGA, and fast atom bombardment m w spectrometric (FABMS) techniques. The presence of different configurational sequences in PSD and PST were identified by *3C NMR spectroscopy. PSDSE, being insoluble in common organic solvents, was characterized using solid-state lac NMR (CP-MAS) spectroscopy. Thermal degradation of polymers under direct pyrolysis-mass spectrometric (DP-MS) conditions revealed that all the polymers undergo degradation through the weaklink scission. A comparative study of the pyrolysis products of these polymers with that of poly(styrene peroxide) (PSP) revealed a smooth transformation down the group with no monomer (styrene or oxygen) formation in PSP to only styrene and selenium metal in PSDSE. This trend of group VIA is explained from the energetics of the C-X bond (X = 0, S, and Se) which also seems to be important in addition to the weak X-X bond cleavage. In PSP and PSD, the behavior is also explained from the energetics of the alkoxy and thiyl radicals. The unique exothermic degradation in PSP compared to endothermic degradation in PSD and PSDSE is explained from the nature of the producta of degradation.

Crystal structures of fluorinated aryl biscarbonates and a biscarbamate: a counterpoise between weak intermolecular interactions and molecular symmetry

Conformational features and supramolecular structural organization in three aryl biscarbonates and an aryl biscarbamate with rigid acetylenic unit providing variable spacer lengths have been probed to gain insights into the packing features associated with molecular symmetry and the intermolecular interactions involving `organic' fluorine. Four structures but-2-yne-1,4-diyl bis(2,3,4,5,6-pentafluorophenylcarbonate), 1; but-2-yne-1,4-diyl bis(4-fluorophenylcarbonate), 2; but-2-yne-1,4-diyl bis(2,3,4,5,6-pentafluorophenylcarbamate), 3 and hexa-2,4-diyne-1,6-diyl bis(2,3,4,5,6-pentafluorophenylcarbonate), 4 have been analyzed in this context. Compound 1 adopts a non-centrosymmetric ``twisted'' (syn) conformation, whereas 2, 3 and 4 acquire a centrosymmetric ``extended'' (anti) conformation. Weak intermolecular interactions and in particular those involving fluorine are found to dictate this conformational variation in the crystal structure of 1. A single-crystal neutron diffraction study at 90 K was performed on 1 to obtain further insights into these interactions involving `organic' fluorine.

Testis-specific histone (H1t) is not phosphorylated and has a weak interaction with chromatin

Soluble chromatin was prepared from rat testes after a brief micrococcal nuclease digestion. After adsorption onto hydroxylapatite at low ionic strength, the histone Hl subtypes were eluted with a shallow salt gradient of 0.3 M NaCl to 0.7 M NaCl. Histone Hlt was eluted at 0.4 MNaCl, while histones H1a and Hlc were eluted at 0.43 M NaCl and 0.45 M respectively. The extreme divergence of the amino acid sequence of the C-terminal half of histone Hlt, the major DNA binding domain of histone Hl, from that of the somatic consensus sequence may contribute to the weaker interaction of histone Hlt with the rat testis chromatin. Further, histone Hlt was not phosphorylated in vivo in contrast to histone Hla and Hlc, as is evident from the observation that histone Hlt lacks the SPKK motif recognized by the CDC-2kinase or the RR/KXS motif recognized by protein kinase A.

WOMM: A Weak Operational Memory Model

Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than the intuitive sequential consistency semantics to allow efficient execution. In this paper, we present WOMM (abbreviation for Weak Operational Memory Model) that formally unifies two sources of weak behavior in hardware memory models: reordering of instructions and weakly consistent memory. We show that a large number of optimizations are allowed by WOMM. We also show that WOMM is weaker than a number of hardware memory models. Consequently, if a program behaves correctly under WOMM, it will be correct with respect to those hardware memory models. Hence, WOMM can be used as a formally specified abstraction of the hardware memory models. Moreover; unlike most weak memory models, WOMM is described using operational semantics, making it easy to integrate into a model checker for concurrent programs. We further show that WOMM has an important property - it has sequential consistency semantics for datarace-free programs.

First-order hyperpolarizabilities and pKa of weak organic acids in protic solvents are lineraly related

Second-order nonlinearities (beta) of five weak organic acids in protic solvents have been measured by the double-quantum Rayleigh scattering (DRS) technique. beta is found to bear a linear relationship to the pK(a) of these compounds in those solvents. A direct implication of this observation is that the DRS technique can be used to determine the pK(a) of weak organic acids in any solvent.