Assurance specification documentation standard and Data Item Descriptions (DID). Volume of the information system life-cycle and documentation standards, volume 4

This is the fourth of five volumes on Information System Life-Cycle and Documentation Standards. This volume provides a well organized, easily used standard for assurance documentation for information systems and software, hardware, and operational procedures components, and related processes. The specifications are developed in conjunction with the corresponding management plans specifying the assurance activities to be performed

Product specification documentation standard and Data Item Descriptions (DID). Volume of the information system life-cycle and documentation standards, volume 3

This is the third of five volumes on Information System Life-Cycle and Documentation Standards which present a well organized, easily used standard for providing technical information needed for developing information systems, components, and related processes. This volume states the Software Management and Assurance Program documentation standard for a product specification document and for data item descriptions. The framework can be applied to any NASA information system, software, hardware, operational procedures components, and related processes

The Cultivation of Endamoeba histolytica and the in-vitro Chemotherapeutic Testing of Amebacides

Endamoeba histolytica is the casual organism of the disease, amebiasis. Global distribution of high incidence makes this protozoan infection an enormous public health and economic problem. Cultural behavior and the ensuing search for effective chemotherapeutic agents has stimulated widespread interest in the parasitology and associated bacteriology of this organism

Management plan documentation standard and Data Item Descriptions (DID). Volume of the information system life-cycle and documentation standards, volume 2

This is the second of five volumes of the Information System Life-Cycle and Documentation Standards. This volume provides a well-organized, easily used standard for management plans used in acquiring, assuring, and developing information systems and software, hardware, and operational procedures components, and related processes

An application of software design and documentation language

The software design and documentation language (SDDL) is a general purpose processor to support a lanugage for the description of any system, structure, concept, or procedure that may be presented from the viewpoint of a collection of hierarchical entities linked together by means of binary connections. The language comprises a set of rules of syntax, primitive construct classes (module, block, and module invocation), and language control directives. The result is a language with a fixed grammar, variable alphabet and punctuation, and an extendable vocabulary. The application of SDDL to the detailed software design of the Command Data Subsystem for the Galileo Spacecraft is discussed. A set of constructs was developed and applied. These constructs are evaluated and examples of their application are considered

Fourier phase and pitch-class sum

Music theorists have proposed two very different geometric models of musical objects, one based on voice leading and the other based on the Fourier transform. On the surface these models are completely different, but they converge in special cases, including many geometries that are of particular analytical interest.Accepted manuscrip

Applications of DFT to the theory of twentieth-century harmony

Music theorists have only recently, following groundbreaking work by Quinn, recognized the potential for the DFT on pcsets, initially proposed by Lewin, to serve as the foundation of a theory of harmony for the twentieth century. This paper investigates pcset “arithmetic” – subset structure, transpositional combination, and interval content – through the lens of the DFT. It discusses relationships between interval classes and DFT magnitudes, considers special properties of dyads, pcset products, and generated collections, and suggest methods of using the DFT in analysis, including interpreting DFT magnitudes, using phase spaces to understand subset structure, and interpreting the DFT of Lewin’s interval function. Webern’s op. 5/4 and Bartok’s String Quartet 4, iv, are discussed.Accepted manuscrip

An Alternative Interpretation of Statistical Mechanics

In this paper I propose an interpretation of classical statistical mechanics that centers on taking seriously the idea that probability measures represent complete states of statistical mechanical systems. I show how this leads naturally to the idea that the stochasticity of statistical mechanics is associated directly with the observables of the theory rather than with the microstates (as traditional accounts would have it). The usual assumption that microstates are representationally significant in the theory is therefore dispensable, a consequence which suggests interesting possibilities for developing non-equilibrium statistical mechanics and investigating inter-theoretic answers to the foundational questions of statistical mechanics

T and CPT Symmetries in Entangled Neutral Meson Systems

Genuine tests of an asymmetry under T and/or CPT transformations imply the interchange between in-states and out-states. I explain a methodology to perform model-indepedent separate measurements of the three CP, T and CPT symmetry violations for transitions involving the decay of the neutral meson systems in B- and {\Phi}-factories. It makes use of the quantum-mechanical entanglement only, for which the individual state of each neutral meson is not defined before the decay of its orthogonal partner. The final proof of the independence of the three asymmetries is that no other theoretical ingredient is involved and that the event sample corresponding to each case is different from the other two. The experimental analysis for the measurements of these three asymmetries as function of the time interval {\Delta}t > 0 between the first and second decays is discussed, as well as the significance of the expected results. In particular, one may advance a first observation of true, direct, evidence of Time-Reserval-Violation in B-factories by many standard deviations from zero, without any reference to, and independent of, CP-Violation. In some quantum gravity framework the CPT-transformation is ill-defined, so there is a resulting loss of particle-antiparticle identity. This mechanism induces a breaking of the EPR correlation in the entanglement imposed by Bose statistics to the neutral meson system, the so-called {\omega}-effect. I present results and prospects for the {\omega}-parameter in the correlated neutral meson-antimeson states.Comment: Proc. DISCRETE 2010, Symposium on Prospects in the Physics of Discrete Symmetries, December 2010, Rom

Raman microscopy of lithium-manganese-rich transition metal oxide cathodes

Lithium-rich and manganese-rich (LMR) layered transition metal (TM) oxide composites with general formula xLi2MnO3 • (1- x)LiMO2 (M = Ni, Co, Mn) are promising cathode candidates for high energy density lithium ion batteries. Lithium-manganese-rich TM oxides crystallize as a nanocomposite layered phase whose structure further evolves with electrochemical cycling. Raman spectroscopy is a powerful tool to monitor the crystal chemistry and correlate phase changes with electrochemical behavior. While several groups have reported Raman spectra of lithium rich TM oxides, the data show considerable variability in terms of both the vibrational features observed and their interpretation. In this study, Raman microscopy is used to investigate lithium-rich and manganese-rich TM cathodes as a function of voltage and electrochemical cycling at various temperatures. No growth of a spinel phase is observed within the cycling conditions. However, analysis of the Raman spectra does indicate the structure of LMR-NMC deviates significantly from an ideal layered phase. The results also highlight the importance of using low laser power and large sample sizes to obtain consistent data sets