Computer Sciences Corporation

About: Computer Sciences Corporation is a based out in . It is known for research contribution in the topics: Spacecraft & Software development. The organization has 1916 authors who have published 2389 publications receiving 62729 citations. The organization is also known as: CSC.

Book review: Automated Reasoning: 33 Basic Research Problems by Larry Wos (Prentice Hall 1988)

Abstract: This book covers a basic overview of the automatin of reasoning, test problems and as the title says 33 basic problems relating to research in automated reasoning. It gave clear examples of problems and obstacles. The intended audience of the book is the new researcher, someone looking for a direction as to how to proceed in the area of automation of reasoning.

The composition of 433 Eros: A mineralogical-chemical synthesis

Abstract: — The near-Earth asteroid rendezvous (NEAR) mission carried x-ray/gamma-ray spectrometers and multi-spectral imager/near-infrared spectrometer instrument packages which gave complementary information on the chemistry and mineralogy, respectively, of the target asteroid 433 Eros. Synthesis of these two data sets provides information not available from either alone, including the abundance of non-mafic silicates, metal and sulfide minerals. We have utilized four techniques to synthesize these data sets. Venn diagrams, which examine overlapping features in two data sets, suggest that the best match for 433 Eros is an ordinary chondrite, altered at the surface of the asteroid, or perhaps a primitive achondrite derived from material mineralogically similar to these chondrites. Normalized element distributions preclude FeO-rich pyroxenes and suggest that the x-ray and gamma-ray data can be reconciled with a common silicate mineralogy by inclusion of varying amounts of metal. Normative mineralogy cannot be applied to these data sets owing to uncertainties in oxygen abundance and lack of any constraints on the abundance of sodium. Matrix inversion for simultaneous solution of mineral abundances yields reasonable results for the x-ray-derived bulk composition, but seems to confirm the inconsistency between mineral compositions and orthopyroxene/clinopyroxene ratios. A unique solution does not seem possible in synthesizing these multiple data sets. Future missions including a lander to fully characterize regolith distribution and sample return would resolve the types of problems faced in synthesizing the NEAR data.

System for modifying software using reusable software components

Abstract: A system, method for modifying insurance transaction processing software are provided. A library of code packets may be stored in a database. One or more code packets may implement at least one business requirement of an insurance organization. If the organization changes one of the business requirements or develops a new business requirement, a user may modify an insurance transaction processing program to reflect the change via a rules engine. The rules engine may be operable to generate program code assembly instructions based on user input. The assembly instructions may be used by a code assembler to form program code for an insurance transaction processing program software module. The insurance transaction processing program may be changed by adding a formed software module.

IUE spectra of a flare in the RS Canum Venaticorum-type system UX Arietis

Abstract: IUE spectra of UX Ari obtained during the large flare of 1979 January 1 exhibit chromospheric and transition-region emission-line fluxes about 2.5 and 5.5 times brighter than quiescent fluxes, respectively, and up to 1400 times brighter than the quiet sun. A high-dispersion spectrum of the 2000-3000 A region exhibits enhanced Fe II emission, which is probably associated mainly with the K0 IV star, and enhanced Mg II emission with asymmetric wings extending to +475 km/s. These line wings are interpreted as evidence for mass flow from the K0 IV star to the G5 V star. A speculative scenario of major long-lived RS CVn flares is proposed in which the component stars have very large corotating flux tubes, which occasionally interact. Magnetic reconnection results in flux tubes that temporarily connect the two stars.