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     

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.     

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

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

Relative positioning of multiple moving platforms using GPS

To obtain subdecimeter level accuracy in relative kinematic positioning, the use of double differenced GPS carrier phase measurement with carrier phase ambiguities fixed to their correct integer values must be adopted. If multiple platforms are available in the configuration, the redundancy provided by the multiplicity of platforms can speed up the time to integer ambiguity fixing while at the same time improve the reliability of the solution. An approach to effectively construct ambiguity constraints through the multiplicity of platforms is presented herein. The use of these ambiguity constraints to position multiple moving platforms with respect to each other is then discussed. A series of simulations and field tests are designed and conducted to investigate the effects of different system parameters on this approach, with a configuration of up to 10 moving platforms. The test results show that the use of ambiguity constraints can improve the time to integer ambiguity fixing by up to 67%, relative to the case when no constraints are used. In addition, the use of ambiguity constraints is found to enhance the ability of the multiple platform system to detect wrong ambiguity fixes.     

Automated video protection, monitoring & detection

The latest generation of computer vision technology is revolutionizing concepts, applications, and products in video surveillance and CCTV. This is of prime relevance to security for large outdoor facilities such as commercial airfields, refineries, power plants, and office/industrial campuses. Most airfields, for example, have open (unfenced) perimeters, high volume heterogeneous traffic, are easily accessed on foot or by water, and exist in areas where regulations providing a safety buffer are difficult to legislate or enforce. And all airfields require 24/7 outdoor monitoring - snow, fog, rain, or shine. Likewise, most high-value facilities appealing to criminals and terrorists are in close proximity to public areas (roads, residences, city, etc.). The appeal of automated real-time surveillance is obvious $maximizing efficiency and effectiveness of security personnel and resources while increasing the probability of preventing a serious security breach. Computer vision based solutions have the potential for very discriminating detection and very low false alarms. The bottom line is that applied computer vision has the potential for the greatest return on investment (ROI), both short-term and long-term.     

Monte Carlo transport model comparison with 1A GeV accelerated iron experiment: heavy-ion shielding evaluation of NASA space flight-crew foodstuff.

Deep-space manned flight as a reality depends on a viable solution to the radiation problem. Both acute and chronic radiation health threats are known to exist, with solar particle events as an example of the former and galactic cosmic rays (GCR) of the latter. In this experiment Iron ions of 1A GeV are used to simulate GCR and to determine the secondary radiation field created as the GCR-like particles interact with a thick target. A NASA prepared food pantry locker was subjected to the iron beam and the secondary fluence recorded. A modified version of the Monte Carlo heavy ion transport code developed by Zeitlin at LBNL is compared with experimental fluence. The foodstuff is modeled as mixed nuts as defined by the 71st edition of the Chemical Rubber Company (CRC) Handbook of Physics and Chemistry. The results indicate a good agreement between the experimental data and the model. The agreement between model and experiment is determined using a linear fit to ordered pairs of data. The intercept is forced to zero. The slope fit is 0.825 and the R2 value is 0.429 over the resolved fluence region. The removal of an outlier, Z=14, gives values of 0.888 and 0.705 for slope and R2 respectively.     

Covariance matrix estimation for adaptive CFAR detection incompound-Gaussian clutter

We address the estimation of the structure of the covariance matrix and its application to adaptive radar detection of coherent pulse trains in clutter-dominated disturbance modeled as a compound-Gaussian process. For estimation purposes we resort to range cells in spatial proximity with that under test and assume that these cells, free of signal components, can be clustered into groups of data with one and the same value of the texture. We prove that, plugging the proposed estimator of the structure of the covariance matrix into a previously derived detector, based upon the generalized likelihood ratio test (GLRT), leads to an adaptive detector which ensures the constant false alarm rate (CFAR) property with respect to the clutter covariance matrix as well as the statistics of the texture. Finally, we show that this adaptive receiver has an acceptable loss with respect to its nonadaptive counterpart in cases of relevant interest for radar applications     

微重力科学与应用研究（上）

空间微重力环境的独特物理现象对航天器各系统均产生无法回避的影响，在型号研制中正确计入微重力效应是航天事业发展中的一个重要研究领域。在现阶段，航天器发动机再启动相关的微重力研究以及载人航天防火安全相关的微重力研究应当引起人们的高度重视。随航天事业的发展，微重力效应问题日益会严重起来（结构动力学、耦合动力学、多相流温控、低重星球场着陆撞击……），进行深入广泛的微重力效应研究对保证航天器飞行任务完成有着不应忽视的作用     

The influence of dose, dose-rate and particle fragmentation on cataract induction by energetic iron ions.

Because activities in space necessarily involve chronic exposure to a heterogeneous charged particle radiation field it is important to assess the influence of dose-rate and the possible modulating role of heavy particle fragmentation on biological systems. Using the well-studied cataract model, mice were exposed to plateau 600 MeV/amu 56Fe ions either as acute or fractionated exposures at total doses of 5 - 504 cGy. Additional groups of mice received 20, 360 and 504 cGy behind 50 mm of polyethylene, which simulates body shielding. The reference radiation consisted of 60Co gamma radiation. The animals were examined by slit lamp biomicroscopy over their three year life spans. In accordance with our previous observations with heavy particles, the cataractogenic potential of the 600 MeV/amu 56Fe ions was greater than for low-LET radiation and increased with decreasing dose relative to gamma-rays. Fractionation of a given dose of 56Fe ions did not reduce the cataractogenicity of the radiation compared to the acute regimen. Fragmentation of the beam in the polyethylene did not alter the cataractotoxicity of the ions, either when administered singly or in fractions.