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.     

高速低压差分信号(LVDS)器件应用设计方法研究

随着高速LVDS器件得到广泛应用,在高速信号使用LVDS传输时,信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量,因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此,文章深入探讨了高速电路的设计,总结出设计技巧。     

应用泰勒中值定理研究函数的方法总结

本文讨论了应用泰勒中值定理研究函数时，如何合理选择展开点的问题，概括了以下三种方法。1、选择已知条件最多的点展开。2、选择问题所要讨论的点展开。3、选择极值点处展开。     

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.