一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

Optimal number of phased array faces and signal processors for horizon surveillance

The problem of the optimal number of phased array faces for performing 360/spl deg/ horizon surveillance is considered. Assuming the detection performance is the same in all beam positions and the total number of T/R modules is constant, it is shown that the optimal number of array faces is three. This is true whether the arrays are operating simultaneously or sequentially. A parametric analysis is performed between the number of array faces operating simultaneously and the associated cost of simultaneous operation in terms of the size of the array.     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

Reduced-order multiple model adaptive controller for flexiblespacestructure

The robustness of a moving-bank multiple model adaptive estimator/controller to order reduction in the controller design model is examined. It is shown that the adaptive mechanism and bank-moving logic are not confounded by the effects of unmodeled higher order modes of a large flexible spacestructure. Control characteristics are achieved that are essentially equivalent to those of an artificially informed benchmark controller     

Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

Distributed decision fusion using empirical estimation

The problem of optimal data fusion in multiple detection systems is studied in the case where training examples are available, but no a priori information is available about the probability distributions of errors committed by the individual detectors. Earlier solutions to this problem require some knowledge of the error distributions of the detectors, for example, either in a parametric form or in a closed analytical form. Here we show that, given a sufficiently large training sample, an optimal fusion rule can be implemented with an arbitrary level of confidence. We first consider the classical cases of Bayesian rule and Neyman-Pearson test for a system of independent detectors. Then we show a general result that any test function with a suitable Lipschitz property can be implemented with arbitrary precision, based on a training sample whose size is a function of the Lipschitz constant, number of parameters, and empirical measures. The general case subsumes the cases of nonindependent and correlated detectors.     

Ultrastructural analysis of organization of roots obtained from cell cultures at clinostating and under microgravity.

Data are presented of a comparative analysis on rhizogenesis in the Arabidopsis thaliana tissue culture growing in a solid nutrient medium under stationary conditions, clinostatic conditions and microgravity. Tissue samples weighing 100 mg. were set in the Petri dishes and placed in a horizontal slow clinostat /2 revs/min/. After 14 days of growth they were analyzed. On clinostating the number of roots formed from the callus cells was approximately one half the control. The formed root cap manifested no essential differences, in comparison with the stationary control, in the number of layers and cell sizes in its layers. In callusogenic roots, formed from clinostated cells, differentiation including root cap cells, proceeds without noticeable deviations from the norm. At the same time, gravireceptor cells do not function under these conditions. This is clearly displayed at a structural level in the location of amyloplasts-statoliths throughout the cytoplasm. The callus cell cultures experienced microgravity for 8 days. The number of formed roots under the influence of this factor was 36% relative to the stationary control. Root cap formation was abnormal. Gravireceptor cells did not formed under microgravity.     

Carbon dioxide and oxygen budgets of a plant cultural system in a CELSS--a case of cultivation of lettuce and turnips.

In order to collect basic data about CO2 and O2 budgets of a plant cultural system in a CELSS, the variation of the CO2 absorption rates of lettuce and turnips were observed during the growing period, under different conditions. The O2 release rates were deduced from the CO2 absorption rates multiplied by 32/44. As a result, when the light intensity, the photoperiod and the atmospheric CO2 concentration increased, the rates also increased. The effects on the turnips were more significant than those on the lettuce. Turnips at 310 micromoles/m2/s of PPFD, 24 hours of photoperiod and 1100 ppm of CO2 concentration grew most actively in the present experimental conditions. One turnip absorbed 32.3 g CO2 and released 23.5 g O2 for 6 days between 24 days and 30 days after sowing.     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。