Launch Operations: Prelaunch Activities

Prelaunch activities, countdown and launch for Nimbus 3 satellite

Roman Judicial Procedure with Reference to the Trial of Jesus Christ

A concession of the greatest importance was this, that the Sanhedrin was permitted to continue and exercise its power in the internal government of Jewish affairs. In the days of Jesus, the Sanhedrin had legislative, executive, and judicial powers. It commanded a body of police for the purpose of making arrests, (Mat 26,47; Mark 14,43). It had the power to prefer charges and try cases of a religious nature, in which the procurator would not meddle. From its decision there could be no appeal; it was the highest court. In connection with the Great Sanhderin, there was an organized system of smaller courts, which were under the control of the general body, and connected with the synagogs in the lands, even outside Judaea. In this way they exerted power against Jesus in Galilee, and it was to such a body in Damascus that Saul was bearing letters from the Sandhedrin of Jerusalem. The great limitation to the power of the Sanhedrin is expressed in the Talmud, “Forty years before the destruction of the temple, the power of inflicting capital punishment was taken away from Israel ; and the Jews admit to Pilate, (John 18,31), that it is not lawful for them to put any men to death. The Sanhedrin might inflict minor punishments, such as beating, (Acts 5,40); it could decide in matter s of life and death, could pronounce the sentence of death, but it could not inflict capital punishment

Nucleation and growth of rolling contact failure of 440C bearing steel

A 'two-body' elasto-plastic finite element model of 2-dimensional rolling and rolling-plus-sliding was developed to treat the effect of surface irregularities. The model consists of a smooth cylinder in contact with a semi-infinite half-space that is either smooth or fitted with one of 0.4 microns deep or 7 microns deep groove, or a 0.4 microns high ridge-like asperity. The model incorporates elastic-linear-kinematic hardening-plastic (ELKP) and non-linear-kinematic hardening-plastic (NLKP) material constitutive relations appropriate for hardened bearing steel and the 440C grade. The calculated contact pressure distribution is Hertzian for smooth body contact, and it displays intense, stationary, pressure spikes superposed on the Hertzian pressure for contact with the grooved and ridged surface. The results obtained for the 0.4 microns deep groove compare well with those reported by Elsharkawy and Hamrock for an EHD lubricated contact. The effect of translating the counterface on the half space as opposed to indenting the half space with the counter face with no translation is studied. The stress and strain values near the surface are found to be similar for the two cases, whereas they are significantly different in the subsurface. It is seen that when tiny shoulders are introduced at the edge of the groove in the finite element model, the incremental plasticity and residual stresses are significantly higher in the vicinity of the right shoulder (rolling direction is from left to right) than at the left shoulder. This may explain the experimental observation that the spall nucleation occurs at the exit end of the artificially planted indents. Pure rolling calculations are compared with rolling + sliding calculations. For a coefficient of friction, mu = 0.1, the effect of friction is found to be small. Efforts were made to identify the material constitutive relations which best describe the deformation characteristics of the bearing steels in the initial few cycles. Elastic-linear-kinematic hardening-plastic (ELKP) material constitutive relations produce less net plastic deformation in the initial stages for a given stress, than seen in experiments. A new set of constitutive relations: non-linear-kinematic hardening-plastic (NLKP) was used. This material model produces more plasticity than the ELKP model and shows promise for treating the net distortions in the early stages. Techniques for performing experimental measurements that can be compared with the finite element calculations were devised. The measurements are being performed on 9mm-diameter, 440C steel cylindrical rolling elements in contact with 12.5 mm-diameter, 52100 steel balls in a 3-ball-rod fatigue test machine operating at 3600 RPM. Artificial, 7 microns deep, indents were inserted on the running track of the cylindrical rolling elements and profilometer measurements of these indents made, before and after the rolling. These preliminary measurements show that the indents are substantially deformed plastically in the process of rolling. The deformations of the groove calculated with the finite element model are comparable to those measured experimentally

Complete electroweak one-loop radiative corrections to top-pair production at TESLA -- a comparison

Electroweak one-loop radiative corrections to the process e^+ e^- -> t tbar are revisited. Two groups from Karlsruhe and Bielefeld/Zeuthen performed independent calculations of both (virtual and soft) QED contributions and weak virtual corrections. For the angular distribution an agreement of at least eight digits for the weak corrections and of at least seven digits for additional photonic corrections is established.Comment: 12 pages, minor improvement of soft photon correction

Limits on nu_e and anti-nu_e disappearance from Gallium and reactor experiments

The deficit observed in the Gallium radioactive source experiments is interpreted as a possible indication of the disappearance of electron neutrinos. In the effective framework of two-neutrino mixing we obtain $\sin^{2}2\vartheta \gtrsim 0.03$ and $\Delta{m}^{2} \gtrsim 0.1 \text{eV}^{2}$. The compatibility of this result with the data of the Bugey and Chooz reactor short-baseline antineutrino disappearance experiments is studied. It is found that the Bugey data present a hint of neutrino oscillations with $0.02 \lesssim \sin^{2}2\vartheta \lesssim 0.08$ and $\Delta{m}^{2} \approx 1.8 \text{eV}^{2}$, which is compatible with the Gallium allowed region of the mixing parameters. This hint persists in the combined analyses of Bugey and Chooz data, of Gallium and Bugey data, and of Gallium, Bugey, and Chooz data.Comment: 21 pages. Final version to be published in Phys. Rev.

Using bijective maps to improve free energy estimates

We derive a fluctuation theorem for generalized work distributions, related to bijective mappings of the phase spaces of two physical systems, and use it to derive a two-sided constraint maximum likelihood estimator of their free energy difference which uses samples from the equilibrium configurations of both systems. As an application, we evaluate the chemical potential of a dense Lennard-Jones fluid and study the construction and performance of suitable maps.Comment: 17 pages, 11 figure

Extending Hybrid CSP with Probability and Stochasticity

Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

Mechanisms of rolling contact spalling

The results of a study aimed at analyzing the mechanical material interactions responsible for rolling contact spalling of the 440 C steel, high pressure oxygen turbopump bearings are presented. A coupled temperature displacement finite element analysis of the effects of friction heating under the contact is presented. The contact is modelled as a stationary, heat generating, 2 dimensional indent in an elastic perfectly plastic half-space with heat fluxes up to 8.6 x 10000 KW/m sq comparable to those generated in the bearing. Local temperatures in excess of 1000 C are treated. The calculations reveal high levels of residual tension after the contact is unloaded and cools. Efforts to promote Mode 2/Mode 3 fatigue crack growth under cyclic torsion in hardened 440 C steel are described. Spalls produced on 440 C steel by a 3 ball/rod rolling contact testing machine were studied with scanning microscopy. The shapes of the cyclic, stress strain hysteresis loops displayed by hardened 440 C steel in cyclic torsion at room temperature are defined for the plastic strain amplitudes encountered in rolling/sliding contact. Results of these analyses are discussed in detail

Parametric LTL on Markov Chains

This paper is concerned with the verification of finite Markov chains against parametrized LTL (pLTL) formulas. In pLTL, the until-modality is equipped with a bound that contains variables; e.g., $\Diamond_{\le x}\ \varphi$ asserts that $\varphi$ holds within $x$ time steps, where $x$ is a variable on natural numbers. The central problem studied in this paper is to determine the set of parameter valuations $V_{\prec p} (\varphi)$ for which the probability to satisfy pLTL-formula $\varphi$ in a Markov chain meets a given threshold $\prec p$, where $\prec$ is a comparison on reals and $p$ a probability. As for pLTL determining the emptiness of $V_{> 0}(\varphi)$ is undecidable, we consider several logic fragments. We consider parametric reachability properties, a sub-logic of pLTL restricted to next and $\Diamond_{\le x}$, parametric B\"uchi properties and finally, a maximal subclass of pLTL for which emptiness of $V_{> 0}(\varphi)$ is decidable.Comment: TCS Track B 201

CP violating asymmetry in H±→W±h1H^\pm\to W^\pm h_1 decays

The CP violating asymmetry from the decay rates $H^\pm\to W^\pm h_1$ of charged Higgs bosons into the lightest neutral Higgs boson and a $W^\pm$ boson is calculated and discussed in the complex MSSM. The contributions from all complex phases are considered, especially from the top-squark trilinear coupling, which induces a large contribution to the CP asymmetry.Comment: 19 pages, 10 figures, version published in JHE