基于理想的协议安全性分析

1998年，Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具．并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性．由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系，利用理想的结构来分析协议的一些安全性质，例如保密性、认证性、零知识性以及如何抵抗猜测攻击．

认证测试的一个扩展

对Guttman等人提出的3种测试中的输入测试（incomingtest）进行扩展，使其能够用来分析使用签名和验证的协议，如CCITTX．509协议等．使用扩展后的输入测试来分析CCITTX．509协议的正确性，发现它的不足之处．

基于单向陷门函数的TMN协议的改进

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式。

Loss of p15/Ink4b accompanies tumorigenesis triggered by complex DNA double-strand breaks

DNA double-strand breaks (DSBs) are the most deleterious lesion inflicted by ionizing radiation. Although DSBs are potentially carcinogenic, it is not clear whether complex DSBs that are refractory to repair are more potently tumorigenic compared with simple breaks that can be rapidly repaired, correctly or incorrectly, by mammalian cells. We previously demonstrated that complex DSBs induced by high-linear energy transfer (LET) Fe ions are repaired slowly and incompletely, whereas those induced by low-LET gamma rays are repaired efficiently by mammalian cells. To determine whether Fe-induced DSBs are more potently tumorigenic than gamma ray-induced breaks, we irradiated 'sensitized' murine astrocytes that were deficient in Ink4a and Arf tumor suppressors and injected the surviving cells subcutaneously into nude mice. Using this model system, we find that Fe ions are potently tumorigenic, generating tumors with significantly higher frequency and shorter latency compared with tumors generated by gamma rays. Tumor formation by Fe-irradiated cells is accompanied by rampant genomic instability and multiple genomic changes, the most interesting of which is loss of the p15/Ink4b tumor suppressor due to deletion of a chromosomal region harboring the CDKN2A and CDKN2B loci. The additional loss of p15/Ink4b in tumors derived from cells that are already deficient in p16/Ink4a bolsters the hypothesis that p15 plays an important role in tumor suppression, especially in the absence of p16. Indeed, we find that reexpression of p15 in tumor-derived cells significantly attenuates the tumorigenic potential of these cells, indicating that p15 loss may be a critical event in tumorigenesis triggered by complex DSBs.

两层流体热毛细对流空间实验研究=Space Experiments of Thermo Capillary Convection in Two-liquid Layers

1999年,在我国实践5号卫星上完成了两层流体空间实验,实验研究两层不相混合流体的纯Marangoni对流（温度梯度与界面垂直）与热毛细对流（温度梯度方向与流体界面平行）.前者存在发生Marangoni对流的最小临界温差值△Tc,低于该值流体系统处于静止状态;后者中只要存在沿界面的温度梯度便会产生热毛细对流.空间实验采用石蜡和氟化液两层流体新体系,实现了平整的液-液交界面,并从卫星上传回上万幅数字图像.通过多幅图像叠加处理得到了定量的流速场.数值模拟计算分析了相应工况时对流流动的速度场,两者的流场结构和速度大小基本一致,实验验证了理论模型.

Space experimental device on Marangoni drop migrations of large Reynolds numbers

The space experimental device for testing the Marangoni drop migrations has been discussed in the present paper. The experiment is one of the spaceship projects of China. In comparison with similar devices, it has the ability of completing all the scientific experiments by both auto controlling and telescience methods. It not only can perform drop migration experiments of large Reynolds numbers but also has an equi-thick interferential system.

Microgravity experiments of two-phase flow patterns aboard Mir Space Station

A first experimental study on two-phase how patterns at a long-term, steady microgravity condition was conducted on board the Russian Space Station "MIR" in August 1999. Carbogal and air are used as the liquid and the gas phase, respectively. Bubble, slug, slug-annular transitional, and annular hows are observed. A new region of annular how with lower liquid superficial velocity is discovered, and the region of the slug-annular transitional flow is wider than that observed by experiments on board the parabolic aircraft. The main patterns are bubble, slug-annular transitional and annular flows based on the experiments on board MIR space station. Some influences on the two-phase how patterns in the present experiments are discussed.

Main Progress of Microgravity Sciences and Space Life Sciences Research in China

The progress of the research activities on space material sciences, microgravity ‰uid physics and combustion, space life sciences and biotechnology research, fundamental Physics in China are brie‰y summarized in the present paper. The major space missions and experimental results obtained on board the Chinese recoverable/non-recoverable satellites and the Chinese manned spaceship named ``Shen-Zhou'' are presented summarily. The recent main activities of the ground-based studies in China are introduced in brief.

The Real-Time Mach-Zehnder Interferometer Used In Space Experiment

The optical interference method is a promising technique for measuring temperature, density, and concentration in fluids. The non-intrusive and non-invasive nature of its optical techniques to the measured section are its most outstanding features. However, the adverse experiment environment, especially regarding shaking and vibrating, greatly restricts the application of the interferometer. In the present work, an optical diagnostic system consisting of a Mach-Zehnder interferometer (named after physicists Ludwig Mach) and an image processor has been developed that increases the measuring sensitivity compared to conventional experimental methods in fluid mechanics. An image processor has also been developed for obtaining quantitative results by using Fourier transformation. The present facility has been used in observing and measuring the mass transfer process of a water droplet in EAFP protein solution under microgravity condition provided by the satellite Shi Jian No. 8.

A Novel Counter Sheet-Flow Sandwich Cell Culture Device For Mammalian Cell Growth In Space

Cell culture and growth in space is crucial to understand the cellular responses under microgravity. The effects of microgravity were coupled with such environment restrictions as medium perfusion, in which the underlying mechanism has been poorly understood. In the present work, a customer-made counter sheet-flow sandwich cell culture device was developed upon a biomechanical concept from fish gill breathing. The sandwich culture unit consists of two side chambers where the medium flow is counter-directional, a central chamber where the cells are cultured, and two porous polycarbonate membranes between side and central chambers. Flow dynamics analysis revealed the symmetrical velocity profile and uniform low shear rate distribution of flowing medium inside the central culture chamber, which promotes sufficient mass transport and nutrient supply for mammalian cell growth. An on-orbit experiment performed on a recovery satellite was used to validate the availability of the device.

Space Experimental Investigation On Thermocapillary Migration Of Bubbles

Results from a space experiment on bubble thermocapillary migration conducted on board the Chinese 22nd recoverable satellite were presented. Considering the temperature field in the cell was disturbed by the accumulated bubbles, the temperature gradient was corrected firstly with the help of the temperature measurement data at six points and numerical simulation. Marangoni number (Ma) of single bubble migrating in the space experiment ranged from 98.04 to 9288, exceeding that in the previous experiment data. The experiment data including the track and the velocity of two bubble thermocapillary migration showed that a smaller bubble would move slower as it was passed by a larger one, and the smaller one would even rest in a short time when the size ratio was large enough.

Space experiments of thermocapillary convection in two-liquid layers

In 1999, the space experiments on the Marangoni convection and thermocapillary convection in a system of two immiscible liquid layers in microgravity environment were conducted on board the Chinese scientific satellite SJ-5. A new system of two-layer liquids such as FC-70 liquid and paraffin was used successfully, with the paraffin melted in the space. Two different test-cells are subjected to a temperature gradient perpendicular or parallel to the interface to study the Marangoni convection and thermocapillary convection, respectively. The experimental data obtained in the first Chinese space experiment of fluid are presented. Two-dimensional numerical simulations of thermocapillary convections are carried out using SIMPLEC method A reasonable agreement between the experimental investigation and the numerical results is obtained.

On the computation of space-time correlations by large-eddy simulation

The effect of subgrid-scale (SGS) modeling on velocity (space-) time correlations is investigated in decaying isotropic turbulence. The performance of several SGS models is evaluated, which shows superiority of the dynamic Smagorinsky model used in conjunction with the multiscale large-eddy simulation (LES) procedure. Compared to the results of direct numerical simulation, LES is shown to underpredict the (un-normalized) correlation magnitude and slightly overpredict the decorrelation time scales. This can lead to inaccurate solutions in applications such as aeroacoustics. The underprediction of correlation functions is particularly severe for higher wavenumber modes which are swept by the most energetic modes. The classic sweeping hypothesis for stationary turbulence is generalized for decaying turbulence and used to analyze the observed discrepancies. Based on this analysis, the time correlations are determined by the wavenumber energy spectra and the sweeping velocity, which is the square root of the total energy. Hence, an accurate prediction of the instantaneous energy spectra is most critical to the accurate computation of time correlations. (C) 2004 American Institute of Physics.

Is there chaotic synchronization in space extend systems

Based on coupled map lattice (CML), the chaotic synchronous pattern in space extend systems is discussed. Making use of the criterion for the existence and the conditions of stability, we find an important difference between chaotic and nonchaotic movements in synchronization. A few numerical results are presented.