Completeness, robustness, and safety in real-time software requirements specification

This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specification. Emphasis is placed on aspects of software requirements specifications that previously have not been adequately handled, including timing abstractions, safety, and robustness

Nano-scale oxygen octahedral tilting in 0.90(Bi1/2Na1/2)TiO3-0.05(Bi1/2K1/2)TiO3-0.05BaTiO3 lead-free perovskite piezoelectric ceramics

The oxygen octahedral tilted domains in 0.90(Bi1/2Na1/2)TiO3-0.5(Bi1/2K1/2)TiO3-0.5BaTiO3 lead-free perovskite piezoelectric ceramic have been studied by transmission electron microscopy (TEM). Selected-area electron diffraction patterns shows the 1/2ooo and 1/2ooe reflections, indicating the presence of antiphase (a-a-a-) and in-phase (aoaoc+) octahedral tilting, respectively. The morphology and distributions of these tilted domains are shown in the centered dark-field images. Further, the Bragg-filtered high-resolution TEM image reveals that the size of the in-phase tilted domains varies from 1 to 8 nm across. The ceramic contains the mixture of non-tilted and variants of the antiphase and in-phase tilted domains.Comment: 12 pages, 3 figure

Risk and Real Estate Investment: An International Perspective

The literature regarding portfolio analysis for institutional real estate investors has until now largely been concerned with benefits associated with naive diversification strategies. In this paper, we discuss the prospects that institutional characteristics suggest for risk reduction in internationally diversified portfolios. The risk/return relationship of each country is affected by its own unique institutional environment and therefore there are potential benefits for investors. We argue that, given the significant differences in the institutional framework across countries, there are likely impacts on returns and that this fact deserves the attention of institutional investors.

Chiral-Odd and Spin-Dependent Quark Fragmentation Functions and their Applications

We define a number of quark fragmentation functions for spin-0, -1/2 and -1 hadrons, and classify them according to their twist, spin and chirality. As an example of their applications, we use them to analyze semi-inclusive deep-inelastic scattering on a transversely polarized nucleon.Comment: 19 pages in Plain TeX, MIT CTP #221

Technological Change and the Environment

Environmental policy discussions increasingly focus on issues related to technological change. This is partly because the environmental consequences of social activity are frequently affected by the rate and direction of technological change, and partly because environmental policy interventions can themselves create constraints and incentives that have significant effects on the path of technological progress. This paper, prepared as a chapter draft for the forthcoming Handbook of Environmental Economics (North-Holland/Elsevier Science), summarizes for environmental economists current thinking on technological change in the broader economics literature, surveys the growing economic literature on the interaction between technology and the environment, and explores the normative implications of these analyses. We begin with a brief overview of the economics of technological change, and then examine three important areas where technology and the environment intersect: the theory and empirical evidence of induced innovation and the related literature on the effects of environmental policy on the creation of new, environmentally friendly technology; the theory and empirics of environmental issues related to technology diffusion; and analyses of the comparative technological impacts of alternative environmental policy instruments. We conclude with suggestions for further research on technological change and the environment.

Diquarks and Exotic Spectroscopy

We propose that the recently discovered \Theta baryon is a bound state of four quarks and an antiquark, containing two highly correlated ud-pairs. If so, the \Theta baryon has positive parity, and it lies in an near-ideally mixed SU(3)_{f} \mathbf{\bar{10}}_{f} oplus \mathbf{8}_{f}. The Roper resonance and the P_{11}(1710) fit naturally into this classification. We predict an isospin 3/2 multiplet of \Xi's (S=-2) with J^{\Pi}=\half^{+} around 1750 MeV. A search for manifestly exotic \Xi^{+} and \Xi^{--} in this mass range could provide a sharp test of our proposal. We predict that charm and bottom analogues of the \Theta baryon are stable against strong decays.Comment: 5 pages, 2 figures, revtex 4, minor corrections and revisions for journal publicatio

On the relation between nuclear and nucleon Structure Functions and their moments

Calculations of nuclear Structure Functions (SF) F_k^A(x,Q^2) routinely exploit a generalized convolution, involving the SF for nucleons F_k^N and the linking SF f^{PN,A} of a fictitious nucleus, composed of point-particles, with the latter usually expressed in terms of hadronic degrees of freedom. For finite Q^2 the approach seemed to be lacking a solid justification and the same is the case for recently proposed, effective nuclear parton distribution functions (pdf), which exactly reproduce the above-mentioned hadronically computed F_k^A. Many years ago Jaffe and West proved the above convolution in the Plane Wave Impulse Approximation (PWIA) for the nuclear components in the convolution. In the present note we extend the above proof to include classes of nuclear Final State Interactions (FSI). One and the same function appears to relate parton distribution functions (pdf) in nuclei and nucleons, and SF for nuclear targets and for nucleons. That relation is the previously conjectured one,with an entirely different interpretation of f^{PN,A}. We conclude with an extensive analysis of moments of nuclear SF based on the generalized convolution. Characteristics of those moments are shown to be quite similar to the same for a nucleon. We conclude that the above evidences asymptotic freedom of a nucleon in a medium and not of a composite nucleus.Comment: 18 pages, 9 figure