基于安全策略模型的安全功能测试用例生成方法

实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.

Direct numerical test of the B-G-K model equation by the DSMC method

In the present paper the rarefied gas how caused by the sudden change of the wall temperature and the Rayleigh problem are simulated by the DSMC method which has been validated by experiments both in global flour field and velocity distribution function level. The comparison of the simulated results with the accurate numerical solutions of the B-G-K model equation shows that near equilibrium the BG-K equation with corrected collision frequency can give accurate result but as farther away from equilibrium the B-G-K equation is not accurate. This is for the first time that the error caused by the B-G-K model equation has been revealed.

Fracture properties of silicon carbide thin films by bulge test of long rectangular membrane

This paper reports the mechanical properties and fracture behavior of silicon carbide (3C-SiC) thin films grown on silicon substrates. Using bulge testing combined with a refined load-deflection model of long rectangular membranes, which takes into account the bending stiffness and prestress of the membrane material, the Young's modulus, prestress, and fracture strength for the 3C-SiC thin films with thicknesses of 0.40 and 1.42 mu m were extracted. The stress distribution in the membranes under a load was calculated analytically. The prestresses for the two films were 322 +/- 47 and 201 +/- 34 MPa, respectively. The thinner 3C-SiC film with a strong (111) orientation has a plane-gstrain moduli of 415 +/- 61 GPa, whereas the thicker film with a mixture of both (111) and (110) orientations exhibited a plane-strain moduli of 329 +/- 49 GPa. The corresponding fracture strengths for the two kinds of SiC films were 6.49 +/- 0.88 and 3.16 +/- 0.38 GPa, respectively. The reference stresses were computed by integrating the local stress of the membrane at the fracture over edge, surface, and volume of the specimens and were fitted with Weibull distribution function. For the 0.40-mu m-thick membranes, the surface integration has a better agreement between the data and the model, implying that the surface flaws are the dominant fracture origin. For the 1.42-mu m-thick membranes, the surface integration presented only a slightly better fitting quality than the other two, and therefore, it is difficult to rule out unambiguously the effects of the volume and edge flaws.

Fracture properties of PECVD silicon nitride thin films by long rectangular memrane bulge test

Bulge test combined with a refined load-deflection model for long rectangular membrane was applied to determine the mechanical and fracture properties of PECVD silicon nitride (SiNx) thin films. Plane-strain modulus E-ps prestress s(0), and fracture strength s(max) of SiNx thin films deposited both on bare Si substrate and on SiO2-topped Si substrate were extracted. The SiNx thin films on different substrates possess similar values of E-ps and s(0) but quite different values of s(max). The statistical analysis of fracture strengths were performed by Weibull distribution function and the fracture origins were further predicted.

Fracture properties of silicon carbide thin films charcterized by bulge test of long membranes

The mechanical properties and fracture behavior of silicon carbide (3C-SiC) thin films grown on silicon substrates were characterized using bulge testing combined with a refined load-deflection model for long rectangular membranes. Plane-strain modulus E-ps, prestress so, and fracture strength s(max) for 3C-SiC thin films with thickness of 0.40 mu m and 1.42 mu m were extracted. The E, values of SiC are strongly dependent on grain orientation. The thicker SIC film presents lower so than the thinner film due to stress relaxation. The s(max) values decrease with increasing film thickness. The statistical analysis of the fracture strength data were achieved by Weibull distribution function and the fracture origins were predicted.

Thermal analysis and test for single concentrator solar cells

A thermal model for concentrator solar cells based on energy conservation principles was designed. Under 400X concentration with no cooling aid, the cell temperature would get up to about 1200℃.Metal plates were used as heat sinks for cooling the system, which remarkably reduce the cell temperature. For a fixed concentration ratio, the cell temperature reduced as the heat sink area increased. In order to keep the cell at a constant temperature, the heat sink area needs to increase linearly as a function of the concentration ratio. GaInP/GaAs/Ge triple-junction solar cells were fabricated to verify the model. A cell temperature of 37℃ was measured when using a heat sink at 400X concentratration.

Adenovirus-mediated wild-type P53 Transfer radiosensitizes H1299 cells to subclinical-dose carbon-ion irradiation through the restoration of p53 function

To determine whether adenovirus-mediated wild-type p53 transfer after radiotherapy could radiosensitize non-small-cell lung cancer (NSCLC) cells to subclinical-dose carbon-ion beam (C-beam), H1299 cells were exposed to a C-beam or -ray and then infected with 5 MOI of AdCMV-p53 or GFP (C-beam or -ray with p53 or GFP).Cell cycle was detected by flow cytometric analysis. The apoptosis was examined by a fluorescent microscope with DAPI staining. DNA fragmentation was monitored by the TUNEL assay. P53 mRNA was detected by reverse-transcriptase polymerase chain reaction. The expression of p53, MDM2, and p21 was monitored by Western blot. Survival fractions were determined by colony-forming assay. The percentages of G1-phase cells in C-beam with p53 increased by 8.2%–16.0%, 5.2%–7.0%, and 5.8%–18.9%, respectively, compared with C-beam only, -ray with p53, or p53 only. The accumulation of G2-phase cells in C-beam with p53 increased by 5.7%–8.9% and 8.8%–14.8%, compared with those in -ray with p53 or p53 only, respectively. The percentage of apoptosis for C-beam with p53 increased by 7.4%–19.1%, 5.8%–11.7%, and 5.2%–19.2%, respectively, compared with C-beam only, -ray with p53, or p53 only. The level of p53 mRNA in C-beam with p53 was significantly higher than that in p53 only. The expression level of p53 and p21 in C-beam with p53 was significantly higher than that in both C-beam with GFP and p53 only. The survival fractions for C-beam with p53 were significantly less than those for the other groups (p 0.05). The data suggested that AdCMV-p53 transfer could more efficiently radiosensitize H1299 cells to subclinical-dose C-beam irradiation through the restoration of p53 function.

Assessment of DNA damage of Lewis lung carcinoma cells irradiated by carbon ions and X-rays using alkaline comet assay

DNA damage and cell reproductive death determined by alkaline comet and clonogenic survival assays were examined in Lewis lung carcinoma cells after exposure to 89.63 MeV/u carbon ion and 6 MV X-ray irradiations, respectively. Based on the survival data, Lewis lung carcinoma cells were verified to be more radiosensitive to the carbon ion beam than to the X-ray irradiation. The relative biological effectiveness (RBE) value, which was up to 1.77 at 10% survival level, showed that the DNA damage induced by the high-LET carbon ion beam was more remarkable than that induced by the low-LET X-ray irradiation. The dose response curves of '' Tail DNA (%)'' (TD) and "Olive tail moment" (OTM) for the carbon ion irradiation showed saturation beyond about 8 Gy. This behavior was not found in the X-ray curves. Additionally, the carbon ion beam produced a lower survival fraction at 2 Gy (SF2) value and a higher initial Olive tail moment 2 Gy (OTM2) than those for the X-ray irradiation. These results suggest that carbon ion beams having high-LET values produced more severe cell reproductive death and DNA damage in Lewis lung carcinoma cells in comparison with X-rays and comet assay might be an effective predictive test even combining with clonogenic assay to assess cellular radio sensitivity

Improvement of different source function expressions in SWAN model for the Bohai Sea

The simulating wave nearshore (SWAN) wave model has been widely used in coastal areas, lakes and estuaries. However, we found a poor agreement between modeling results and measurements in analyzing the chosen four typical cases when we used the default parameters of the source function formulas of the SWAN to make wave simulation for the Bohai Sea. Also, it was found that at the same wind process the simulated results of two wind generation expressions (Komen, Janssen) demonstrated a large difference. Further study showed that the proportionality coefficient alpha in linear growth term of wave growth source function plays an unperceived role in the process of wave development. Based on experiments and analysis, we thought that the coefficient alpha should change rather than be a constant. Therefore, the coefficient alpha changing with the variation of friction velocity U (*) was introduced into the linear growth term of wave growth source function. Four weather processes were adopted to validate the improvement in the linear growth term. The results from the improved coefficient alpha agree much better with the measurements than those from the default constant coefficient alpha. Furthermore, the large differences of results between Komen wind generation expression and Janssen wind generation expression were eliminated. We also experimented with the four weather processes to test the new white-capping mechanisms based on the cumulative steepness method. It was found that the parameters of the new white-capping mechanisms are not suitable for the Bohai Sea, but Alkyon's white-capping mechanisms can be applicable to the Bohai Sea after amendments, demonstrating that this improvement of parameter alpha can improve the simulated results of the Bohai Sea.