Generating requirements for complex embedded systems using State Analysis

It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.     

Synthesis of biomass and utilization of plants wastes in a physical model of biological life-support system

The paper considers problems of biosynthesis of higher plants' biomass and "biological incineration" of plant wastes in a working physical model of biological LSS. The plant wastes are "biologically incinerated" in a special heterotrophic block involving Californian worms, mushrooms and straw. The block processes plant wastes (straw, haulms) to produce soil-like substrate (SLS) on which plants (wheat, radish) are grown. Gas exchange in such a system consists of respiratory gas exchange of SLS and photosynthesis and respiration of plants. Specifics of gas exchange dynamics of high plants--SLS complex has been considered. Relationship between such a gas exchange and PAR irradiance and age of plants has been established. Nitrogen and iron were found to the first to limit plants' growth on SLS when process conditions are deranged. The SLS microflora has been found to have different kinds of ammonifying and denitrifying bacteria which is indicative of intensive transformation of nitrogen-containing compounds. The number of physiological groups of microorganisms in SLS was, on the whole, steady. As a result, organic substances--products of exchange of plants and microorganisms were not accumulated in the medium, but mineralized and assimilated by the biocenosis. Experiments showed that the developed model of a man-made ecosystem realized complete utilization of plant wastes and involved them into the intrasystem turnover.     

Sc在L10-TiAl金属间化合物中占位的理论研究

基于密度泛函理论,运用第一原理赝势平面波方法,采用CASTEP量子力学能量软件包研究了Sc占据Ti位与Sc占据A l位的超胞晶格常数、原子形成热、超胞总态密度与电子密度差分图,两种情况对比下,在L10-TiA l合金中,Sc优先占据Ti位,这一结论为进一步研究三元系TiA l-Sc合金提供了理论研究的基础。     

提高电铸局部电沉积速率试验研究

电铸成型是采用离子沉积的方法制造复制件，具有很好的复制精度，因此电铸技术得到了广泛的应用。但由于受极限电流密度等多方面因素的影响，电铸速率一直是制约电铸技术发展的一个瓶颈，许多学者为此做了大量的理论和试验研究，但对如何提高极限电流密度还没有提供一个比较满意的答案，为提高电铸局部电沉积速率，本文在前人工作的基础上，讨论了影响电铸速率的因素，提出了一种新型的电铸方法－喷射式电铸，并通过两组试验分析了局部电沉积速率怀电铸液流量的关系以及局部铸速率与喷嘴口径的关系，试验结果表明，采用喷射式电铸可以大大提高局部极限电流密度，从而使电铸局部电沉积速率有一个较大范围的提高，为将电铸与快速成型结合奠定了试验基础。     

动态三角翼的非定常气动特性和压力分布相关研究

文章介绍了不同后掠角三角翼在进行俯仰振荡时的动态压力特性,说明这种动态压力特性同三角翼的法向力的变化是密切相关的,试验研究揭示了流态、压力和气动力之间的密切关系。同时试验研究显示三角翼上翼面压力的动态变化曲线呈现出双峰形态;不同后掠角三角翼在动态试验过程中压力、法向力都具有相似特性。     

Time-Optimal Control of a Bounded Phase-Coordinate Process II: High-Order Systems with Multiple Control Inputs

This paper considers the problem arising from the design of an autopilot for a large booster. The motion-controlling actuators of the booster have both position and rate limits. The problem is formulated as a bounded phase-coordinate problem and analyzed by the ``backing out of the target' procedure. A method of constructing the optimal control is presented. An example of an oscillatory system with two control inputs is given, and the optimal control is expressed as an explicit time function.     

Estimated Flight Time for Optimum Trajectories

Various methods are presented for estimating the flight time for vehicles which fly an optimum trajectory. A realistic example is considered in order to display the inherent accuracy of each of these methods. Numerical integration methods are found to be the most accurate. Simple formulas are derived for the case where a less accurate estimate is acceptable. All of these methods require less computation than would be required in order to solve the overall optimization problem. Thus any one of these methods can be applied to an onboard guidance scheme or control system which requires a real time estimate of the time-to-go.     

Comments on the Communication and Data Problems Associated with a Mars Trip During a Conjunction Phase

The analysis and comments presented in this paper are meant to establish the general communication parameters associated with Martian flyby probes and with lander and manned vehicles. Fundamental data transfer problems are reviewed to define comparisons and trends of tradeoffs for future studies. Selected focal points are based upon the long propagation path length, with inherent time delays, and the high noise produced by the sun. These problems are magnified because large quantities of data must be obtained to satisfy the needs of the scientific community and the curiosity of an interested public. A comparison of two communication systems is provided: the microwave spectrum and the optical spectrum, as represented by the microwaves at 2.3 GHz and the laser at 6328 ?. A method of cost effectiveness or value received from space missions (a criterion of power input for data quantity received) is also presented.     

Recent developments in micrometeoroid simulation

In the first part the state of the art of the most advanced micrometeoroid simulation techniques is reviewed. Then a new accelerator is described, which was developed jointly by the Technische Universität München and the N.A.S.A. George C. Marshall Space Flight Center. Finally the use of this new technique is indicated for basic research in fields other than astronautics.     

Ground and on-orbit command and data handling architectures for the Active Rack Isolation System microgravity flight experiment

The Active Rack Isolation System [ARIS] International Space Station [ISS] Characterization Experiment, or ARIS-ICE for short, is a long duration microgravity characterization experiment aboard the ISS. The objective of the experiment is to fully characterize active microgravity performance of the first ARIS rack deployed on the ISS. Efficient ground and on-orbit command and data handling [C&DH] segments are the crux in achieving the challenging objectives of the mission. The objective of the paper is to provide an overview of the C&DH architectures developed for ARIS-ICE, with the view that these architectures may serve as a model for future ISS microgravity payloads. Both ground and on-orbit segments, and their interaction with corresponding ISS C&DH systems are presented. The heart of the on-orbit segment is the ARIS-ICE Payload On-orbit Processor, ARIS-ICE POP for short. The POP manages communication with the ISS C&DH system and other ISS subsystems and payloads, enables automation of test/data collection sequences, and provides a wide range of utilities such as efficient file downlinks/uplinks, data post-processing, data compression and data storage. The hardware and software architecture of the POP is presented and it is shown that the built-in functionality helps to dramatically streamline the efficiency of on-orbit operations. The ground segment has at its heart special ARIS-ICE Ground Support Equipment [GSE] software developed for the experiment. The software enables efficient command and file uplinks, and reconstruction and display of science telemetry packets. The GSE software architecture is discussed along with its interactions with ISS ground C&DH elements. A test sequence example is used to demonstrate the interplay between the ground and on-orbit segments.