Rationale for the development of the UK defence standards forsafety-critical computer software

Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered     

Dose equivalent, absorbed dose and charge spectrum investigation in low Earth orbit.

Particle intensity, dose equivalent and absorbed dose have been measured on board the space shuttle Endeavour during STS-108 in December 2001 by Dublin Institute for Advanced Studies (DIAS). The dose estimates are based on very accurate measurements of recoils produced in CR-39 by cosmic ray primary and secondary protons and heavier nuclei and by secondary neutrons. The corresponding LET spectra were used to determine dose equivalent and absorbed dose values. Estimates of the total flux of Z > or = 2 nuclei have been undertaken and a preliminary charge spectrum was measured. Some comparisons are made with preliminary data obtained on STS-105 (ISS Expedition) and other missions using CR-39 detectors.     

基于LabVIEW设计曲线拟合仪

基于LabVIEW图形化编程环境和软件分析库函数设计的曲线拟合仪，界面友好，功能齐全，操作简便，在科学研究和工程应用中具有较强的实用价值。文中简要介绍利用NI虚拟仪器技术设计曲线拟合仪的方法，给出软件设计思想与实现方案，对主要软件功能模块进行了分析。     

以经营者人力资本效用价值为主导的激励模型研究

对经营者激励机制的研究在我国已有多年，但一直未形成良好的激励体系。本文提出的以经营者人力资本效用价值为主导的激励模型是在企业效益分离的基础上，以股票期权和股票期股的组合方式设计的激励模式。     

Molecular alterations in tumorigenic human bronchial and breast epithelial cells induced by high LET radiation.

Carcinogenesis is a multi-stage process with sequence of genetic events governing the phenotypic expression of a series of transformation steps leading to the development of metastatic cancer. In the present study, immortalized human bronchial (BEP2D) and breast (MCF-10F) cells were irradiated with graded doses of either 150 keV/micrometer alpha particles or 1 GeV/nucleon 56Fe ions. Transformed cells developed through a series of successive steps before becoming tumorigenic in nude mice. Cell fusion studies indicated that radiation-induced tumorigenic phenotype in BEP2D cells could be completely suppressed by fusion with non-tumorigenic BEP2D cells. The differential expressions of known genes between tumorigenic bronchial and breast cells induced by alpha particles and their respective control cultures were compared using cDNA expression array. Among the 11 genes identified to be differentially expressed in BEP2D cells, three (DCC, DNA-PK and p21(CIP1)) were shown to be consistently down-regulated by 2 to 4 fold in all the 5 tumor cell lines examined. In contrast, their expressions in the fusion cell lines were comparable to control BEP2D cells. Similarly, expression levels of a series of genes were found to be altered in a step-wise manner among tumorigenic MCF-10F cells. The results are highly suggestive that functional alterations of these genes may be causally related to the carcinogenic process.     

Scanning, Tracking, and Mapping State Variable Estimation Algorithms

Recursive state equation estimation algorithms are derived to determine optimal estimation error covariance and state estimate for a linear dynamic system, driven by time-varying and positionverying (or angle-varying) functions whose a priori covariance are described. Retracing the same trajectory with the system measuring device causes the position varying function to repeat and can significantly reduce estimation errors. Applications for these algorithms include improving accuracy of a position dependent quantity to be mapped, or recursively processing radar or sonar data from repeating scans over the same area. Three types of return path patterns are considered: 1) multiple independent returns, 2) reverse returns, and 3) cyclical returns.     

Protection by WR-2721 and WR-151327 against late effects of gamma rays and neutrons.

Two thiophosphoroate compounds WR-2721 and WR-151327 were assessed for their ability to modify the deleterious effects (life shortening and carcinogenesis) of fission-spectrum neutrons (kerma-weighted mean energy of 0.85 MeV) or gamma rays on B6CF1 hybrid mice. Male and female mice, 200 of each sex per experimental group, were irradiated individually at 110 days of age. Radioprotectors (400 mg/kg of WR-2721 or 580 mg/kg of WR-151327) were administered intraperitoneally 30 min prior to irradiation. Neutron doses were 10 cGy or 40 cGy and gamma ray doses were 206 cGy or 417 cGy. Animals were housed five to a cage; cage locations in the holding rooms were randomized by computer. Animals were checked daily and all deceased animals were necropsied. WR-2721 afforded protection against both neutron- and gamma-ray-induced carcinogenesis and subsequent life shortening. Cumulative survival curves for unirradiated mice of either sex were unaffectecd by protectors. WR-2721 protected irradiated groups against life shortening by approximately 10 cGy of neutrons or 100 cGy of gamma rays. WR-151327 was as effective as WR-2721 against neutron irradiation.     

Robust Kalman filter design for predictive wind shear detection

Severe low-altitude wind shear is a threat to aviation safety. Newly developed airborne sensors measure the radial component of wind along a line directly in front of an aircraft. The authors use optimal estimation theory to define a detection algorithm to warn of hazardous wind shear from these sensors. To achieve robustness, a wind shear detection algorithm must distinguish threatening wind shear from less hazardous gustiness, despite variations in wind shear structure. Statistical analysis methods to refine wind shear detection algorithm robustness are presented. Computational methods predict the ability to warn of severe wind shear and avoid false warning. Comparative capability of the detection algorithm as a function of its design parameters is determined, identifying designs that provide robust detection of severe wind shear     

A study on thin walled intersecting spheres

Intersecting spheres are useful in the design of pressure vessels for weight limited situations as in the case of space or ocean applications. This paper treats the general problem of N intersecting spheres demonstrating that mass reduction can be achieved in relation to the single sphere that encloses the same internal volume. It is shown that this reduction approaches asymptotically the value of 39.5%.