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合金提供了理论研究的基础。     

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

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

An Ideal Digital Frequency Translator

Many digital techniques are available for providing a desired shift in frequency of a given carrier signal, but the resulting output usually contains spurious harmonic content due to the digital means employed. This correspondence discusses a digital device which provides a variable shift in frequency of a given carrier signal, with the feature that no spurious harmonic content exists in the output.     

An Experimental Radar Facility

A coherent CW superheterodyne radar system operating at frequencies of 9, 17, 35, and 70 GHz is described. The radars are installed on a free-flight range to study backscattering from wakes of hypersonic-velocity projectiles. Each radar is equipped with a focused-lens antenna oriented at an angle of approximately 45° to the flight axis. Amplitude and phase of the received signal are recorded separately. Some typical results are given to demonstrate the capabilities of the equipment.     

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.