A special method to evaluate the strong adhesion between brittle coating and ductile substrate

The evaluation of the interfacial adhesion of coating system has always been a rough task. In this paper, a special testing method of cross-sectional indentation is applied on a model coating system, i.e. electroplated chromium on a steel substrate which is generally regarded as an example of materials pair with strong adhesion. Based on fractography analysis with SEM and interfacial stress simulation with FEM, it is found that interfacial shear stress may induce coating spalling. More interestingly, spalling location is sensitive to substrate pretreatment process. This shows the feasibility of cross-sectional indentation to distinguish interfacial strength at a high level.

CCD扫描检测光束准直度

提出一种检测光束准直度的新方法。在对波面矢高进行定义的基础上，提出CCD轴向扫描检测激光束准直度的方法。利用采样光波在会聚透镜后形成的衍射图样，测量两个相同基准衍射图样之间的距离，即可确定入射光波的波面矢高，进而确定入射光波的准直度。在给出测量原理及模拟基准衍射图样的基础上．进行了实验验证。CCD轴向扫描方法具有结构简单、加工便利、操作方便的特点，是检测光束准直度的有效方法。

a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

一种模拟驱动的Web应用程序性能测试方法

性能是Web应用程序成功的要素之一 ,性能测试则是保证这一要素的重要手段 但由于Internet及Web用户的不确定性 ,Web应用程序的性能测试难于传统Client/Server的测试 比较了 3种主要的Web性能测试方法 ;提出了一种简单可行的、通用的方法———模拟驱动的自动负载测试方法 关键的步骤有 :根据系统使用方式和客户端各种特征的分布信息来确定测试负载、设计测试用例 ;利用测试工具开发相应的测试脚本 ;运行测试用例模拟不同类型用户的典型行为 ;收集被测程序的性能数据 结合实例详述了该方法 ,并给出了测试计划的模板

可信密码模块符合性测试方法研究

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

考虑煤层气稳定解吸的数值试井方法

建立了考虑煤层气解吸作用的煤层气稳定解吸均质试井模型,在控制方程中引入稳定源来描述煤层气解吸作用,利用有限元方法求得其数值解。通过分析解吸系数的影响,明确了煤层气解吸作用能缓解地层中压力下降、减缓压力波的传播。当解吸作用达到一定强度时,煤层气解吸量已经达到生产量,压力停止传播,这种情形类似于遇到了定压边界。另外,还考虑了临界解吸压力对试井理论曲线的影响,临界解吸压力和初始地层压力相差的越小,煤层气解吸出现的时间越早,对测试曲线影响也越大。

中国青藏高原青稞抗穗发芽资源评价与α-淀粉酶基因的克隆及表达

穗发芽（PHS，preharvest sprouting）是影响禾本科作物生产的重要的灾害之一。收获时期如遇潮湿天气容易导致穗发芽发生。发生穗发芽的种子内部水解酶（主要是α-淀粉酶）活性急剧升高，胚乳贮藏物质开始降解，造成作物产量和品质严重降低。因此，选育低穗发芽风险的品种是当前作物育种工作中面临的重要任务。 青稞(Hordeum vulgare ssp. vulgare)主要分布于青藏高原，自古以来就是青藏高原人民的主要粮食。近年来，由于青稞丰富的营养成分和特有的保健品质、在燃料工业中的潜力以及在啤酒酿造工业中的利用前景，在发达国家日趋受到重视，掀起综合研究利用的热潮。我国拥有占全世界2/3 以上的青稞资源，具有发展青稞产业的得天独厚的条件。然而，由于青稞收获期间恰逢青藏高原雨季来临，常有穗发芽灾害发生，使青稞生产损失巨大。目前对青稞穗发芽研究很少，适用于育种的穗发芽抗性材料相对缺乏，不能很好的满足青稞穗发芽抗性育种的需要。本研究以青藏高原青稞为材料，对其穗发芽抗性的评价指标和体系进行构建，同时筛选青稞抗穗发芽品种并对其抗性进行评价，还利用分子生物学手段对青稞穗发芽抗性的分子机理进行了初步探讨。主要研究结果如下： 1. 本试验以来自于我国青藏高原地区的青稞为材料，对休眠性测定的温度范围进行探讨，并对各种穗发芽抗性测定方法的对青稞的适用性进行评测。通过探讨温度对13 个不同基因型的青稞籽粒发芽和休眠性表达的影响，对筛选青稞抗穗发芽资源的温度条件进行探索，并初步分析了其休眠性表达的机理。在10，15，20，25，30℃的黑暗条件下，选用新收获的13 个青稞品种为材料进行籽粒发芽实验，以发芽指数（GI）评价其休眠性。结果发现，不同品种对温度敏感性不同，其中温度不敏感品种，在各温度条件下均表现很低的休眠性；而温度敏感品种，其休眠性表达受低温抑制，受高温诱导。15℃至25℃是进行青稞休眠性鉴定的较适宜的温度范围。通过对供试材料发芽后的α-淀粉酶活性，发现温度对青稞种子的休眠性表达的影响至少在一定程度上表现在对α-淀粉酶活性的调控上。随后，对分别在马尔康和成都进行种植的34 份青稞穗发芽指数（SI），穗发芽率（SR），籽粒发芽指数（GI）和α-淀粉酶活性（AA）进行了测定和分析，发现它们均受基因型×栽培地点的极显著影响，且四个参数之间具有一定相关性。GI 参数由于其变异系数较低，在不同栽培地点稳定性好，且操作简便，是较可靠和理想的穗发芽评价参数。SI 参数可作为辅助，区别籽粒休眠性相似的材料（基因型）或全面评价材料（基因型）的穗发芽抗性特征。AA 参数稳定性较差，并且检测方法复杂，因此不建议在育种及大量材料筛选和评价时使用。此外，青稞穗发芽抗性受环境影响较大，评价时应考虑到尽可能多的抗性影响因素及其在不同栽培条件下的变异。 2. 对来自青藏高原的青稞穗发芽抗性特征及其与其它农艺性状间的关系进行研究。通过测定穗发芽指数（SI）、籽粒发芽指数（GI）和α-淀粉酶活性（AA），表明113 份青稞材料的穗发芽抗性具有显著差异。SI、GI 和AA 参数的变幅分别为1.00~8.86、0.01~0.97 和0.00~2.76，其均值分别为4.72、0.63 和1.22。根据SI 参数，六个基因型，包括‘XQ9-5’，‘XQ33-9’，‘XQ37-5’，‘XQ42-9’，‘XQ45-7’和‘JCL’被鉴定为抗性品种。综合SI、GI 和AA 参数，可以发现青稞的穗发芽抗性机制包含颖壳等穗部结构的抗性和种子自身的抗性（即种子休眠性），且供试材料中未发现较强的胚休眠品种，除‘XQ45-7’外，所有品种在发芽第四天均能检测出α-淀粉酶活性。穗部结构和种子休眠的抗性机制因基因型不同而不同，在穗发芽抗性中可单独作用或共同作用。农家品种和西藏群体分别比栽培品种和四川群体的穗发芽抗性强，而在不同籽粒颜色的青稞中未发现明显差异。相关性检验发现，青稞的穗发芽抗性，主要是种子休眠性，与百粒重、开花期、成熟期、穗长、芒长和剑叶长呈显著负相关关系，与株高相关性不显著。农艺性状可以作为穗发芽抗性材料选育中的辅助指标。本试验为青稞穗发芽抗性育种研究提供了必要的理论基础和可供使用的亲本材料。 3. α-淀粉酶是由多基因家族编码的蛋白质，在植物种子萌发时高度表达，与植物种子的萌发能力密切相关。在大麦种子发芽时，高等电点α-淀粉酶的活性远大于低等电点的α-淀粉酶。为了研究不同穗发芽抗性青稞品种中编码高等电点α-淀粉酶Amy1 基因结构与抗性间的关系，我们以筛选得到的抗性品种‘XQ32-5’（TR1）、‘XQ37-5’（TR2）、‘XQ45-7’（TR3），易感品种‘97-15’（TS1）、‘9657’（TS2）以及强休眠大麦品种‘SAMSON’（SAM）为材料，对其Amy1 基因的编码区序列进行克隆和结构分析，并对它们推导的氨基酸序列进行比较。结果显示，青稞Amy1 基因具有三个外显子、两个内含子，编码区中有13 个核苷酸变异位点，均位于2、3 号外显子，2 个变异位点位于2 号外显子。SAM 和TS1 分别在2 号外显子相应位置有5 个相同的碱基(GAACT)的插入片段。相应α-淀粉酶氨基酸序列推导发现，所有核苷酸变异中有8 个导致相应氨基酸残基的改变，其余位点为同义突变。青稞Amy1 基因编码区序列品种间相似度高达99%以上，部分序列变异可能与其穗发芽抗性有关。随后，我们又通过SYBR Green 荧光定量技术对该基因在不同发芽时间（1d~7d）的相对表达水平进行了差异性检测。结果发现，7 天内不能检测到SAM 的Amy1 基因表达，5 个青稞品种间的Amy1 基因的相对表达量均随着发芽时间延长而上升，但上升方式有所不同。弱抗品种该基因表达更早，转录本增加速率更大，且在4~5 天可达到平台期。发芽7 天中，抗性品种总转录水平明显低于易感品种。本研究结果表明，青稞Amy1 基因的转录水平是与其穗发芽抗性高度相关。 我国青藏高原青稞，尤其是农家品种的穗发芽抗性具有丰富的变异，蕴藏着穗发芽抗性育种的宝贵资源。本研究为青稞穗发芽抗性育种建立了合理抗性评价体系，筛选出可供育种使用的特殊材料，阐明了农艺性状可辅助穗发芽抗性育种，同时还对穗发芽抗性与α-淀粉酶基因的结构和表达关系进行分析，为青稞穗发芽抗性资源筛选奠定了基础。 Preharvest sprouting (PHS) is a serious problem in crop production. It often takes place when encountering damp, cold conditions at harvest time and results in the decrease of grain quality and great loss of yield by triggering the synthesis of endosperm degrading enzymes (mostly the α-amylase). Therefore, PHS is regarded as an important criterion for crop breeding. In order to minimize the risk of PHS, resistant genotypes are highly required. Hulless barley (Hordeum vulgare ssp. vulgare) is the staple food crop in Qinghai-Tibetan Plateau from of old, where is one of the origin and genetic diversity centers of hulless barley. Recently, interest in hulless barley has been sparked throughout the world due to the demonstrations of its great potential in health food industry and fuel alcohol production. Indeed, hulless barley can also be utilized to produce good quality malt if the appropriate malting conditions are used. In China, overcast and rainy conditions often occur at maturity of hulless barley and cause an adverse on its production and application. PHS resistant genotypes, therefore, are highly required for the hulless barley breeding programs. However, few investigations have been made so far on this issue. The objectives of this study were: 1) to assessment of methods used in testing preharvest sprouting resistance in hulless barley; 2) to evaluate the variability and characteristics of PHS resistance of hulless barley from Qinghai-Tibet Plateau in China; 3) to select potential parents for PHS resistance breeding; 4) to primarily study on the molecular mechanism of PHS resistance of hulless barley. Our results are as followed: 1. We investigated the temperature effects on seed germination and seed dormancy expression of hulless barley, discussed appropriate temperature range for screening of PHS resistant varieties, and analyzed the mechanism of seed dormancy expression of hulless barley. The dormancy level of 13 hulless barley were evaluated by GI (germination index) values calculating by seed germination tests at temperature of 10，15，20，25，30℃ in darkness. There were great differences in temperature sensitivity among these accessions. The insensitive accessions showed low dormancy at any temperature while the dormancy expression of sensitive accessions could be restrained by low temperature and induced by high temperature. The temperature range of 15℃ to 25℃ was workable for estimating of dormancy level of hulless barley according to our data. Analysis of α-amylase activity showed that the temperature effects on seed germination and the expression of seed dormancy be achieved probable via regulating of α-amylase activity. Furthermore, we evaluated the differences in sprouting index (SI), sprouting rate (SR), germination index (GI) and α-amylase activity (AA) between Maerkang and Chengdu among 34 accessions of hulless barley from Qinghai-Tibetan Plateau in China. These PHS sprouting parameters were significantly affected by accession×location, and they had correlation between each other. GI was the most reliable parameter because of its low CV value, good repeatability and simple operation. SI could assist in differentiating between accessions of similar dormancy or overall evaluation of the resistance. AA was bad in repeatability and had relatively complex testing method, therefore, not appropriate for breeding and evaluation and screening of PHS resistant materials. Besides, since PHS resistance of hulless barley was greatly influenced by its growth environment, possibly much influencing factors and variations between cultivated conditions should be considered. 2. In this study, large variation was found among 113 genotypes of hulless barley (Hordeum vulgare ssp.vulgare) from Qinghai-Tibetan Plateau in China, based on the sprouting index (SI), germination index (GI) and α-amylase activity (AA) which derived from sprouting test of intact spikes, germination test of threshed seeds and determination of α-amylase activity, respectively. The range of SI, GI and AA was 1.00~8.86, 0.01~0.97 and 0.00~2.76，the mean was 4.72, 0.63 and 1.22 espectively. Six resistant genotypes, including ‘XQ9-5’, ‘XQ33-9’, ‘XQ37-5’, ‘XQ42-9’, ‘XQ45-7’ and ‘JCL’, were identified based on SI. Integrating the three parameters, it was clear that both hulls and seeds involved in PHS resistance in intact spikes of hulless barley and there was no long-existent embryo dormancy found among the test genotypes. All the genotypes, except ‘XQ45-7’, had detectable α-amylase activity on the 4th day after germination. There was PHS resistance imposed by the hull and seed per se and the two factors can act together or independent of each other. Besides, landraces or Tibet hulless barley had a wider variation and relatively more PHS resistance when compared with cultivars or Sichuan hulless barley. No significant difference was found among hulless barley of different seed colors. The correlation analysis showed PHS resistance was negatively related to hundred grain weight, days to flowering, days to maturity, spike length, awn length and flag length but not related to plant height. This study provides essential information and several donor parents for breeding of resistance to PHS. 3. Alpha-amylase isozymes are encoded by a family of multigenes. They highly express in germinating seeds and is closely related to seed germination ability. In barley germinating seeds, the activity of high pI α-amylase is much higher than low pI α-amylase. The aim of this study was to determine the relationship between preharvest sprouting resistance of hulless barley and the gene structure of Amy1 gene which encodes high pI α-amylase. The coding region and cDNA of Amy1 gene of three resistant accessions, including ‘XQ32-5’ (TR1), ‘XQ37-5’ (TR2), ‘XQ45-7’ (TR3), two susceptible accessions ‘97-15’ (TS1), ‘9657’ (TS2) and one highly dormant barley accession ‘SAMSON’ (SAM) was cloned. Analysis of their DNA sequences revealed there were three exons and two introns in Amy1 gene. Thirteen variable sites were in exon2 and exon3, 2 variable sites were in intron2. SAM and TS1 had a GAACT insert segment in the same site in intron2. Only 8 variable sites caused the change of amino acid residues. There were 99% of similarity between the tested hulless barley and some of the variable sites might be related with preharvest sprouting resistance. Then, we investigated the expression level of Amy1 gene in the 7-day germination test. Results of quantitative real-time PCR indicated that the relative expression trends of Amy1 gene were the same but had significant differences in the increase fashion between hulless barleys and no detectable expression was found in SAM. Susceptible accessions had earlier expression and faster increase and reached the maximum on day 4 ~ day 5. Besides, total transcripts level was found lower in resistant accessions than susceptible accessions. This study indicated that α-amylase activity was highly related to the transcription level of Amy1 gene which not correlated to missense mutation sites. In conclusion, hulless barley, especially the landraces from Qinghai-Tibetan Plateau in China possesses high degree of variation in PHS performance, which indicates the potential of Tibetan hulless barley as a good source for breeding of resistance to PHS. This study provides several donor parents for breeding of resistance to PHS. Our results also demonstrate that agronomic traits may be used as assistants for PHS resistance selection in hulless barley. Besides, analysis of high pI α-amylase coding gene Amy1 revealed the relative high expression of was Amy1 one of the mainly reason of different PHS resistance level in hulless barley.

海洋机器人用水下电机的深水密封研究

本文研究了海洋机器人用水下电机各个部分的密封方法，同时介绍了一个先进的动密封装置以及检验密封性能的水压试验方法．经测试及实际使用表明该密封方法和动密封装置完全满足水下机器人在深水中运行的密封要求

三峡库区堆积层斜坡稳定性分级与应用研究

Considering the lacking of standard for the classification of Accumulative slopes so far, research working was conducted based on the results of geological investigation, data analysis and experiment carried out in Wanzhou. By mean of statistical method and grey system, the author studied in detail inflationary factors to Accumulative slopes. In order to study the mechanism of Rock-Soil Aggregate (RSA), numerical testing method was used. Coordinates in the two and three dimensional space and its corresponding rock fragments in the sample were generated randomly by VB and Particle flow code. After being built the models of RSA with different rock content, uniaxial and triaxial numerical simulation tests were carried out respectively. In order to study the effect of rainfall in Accumulative slopes, in situ infiltration testing had been conducted on site in Wanzhou, Three Gorges Area. Relationship between the infiltration rate and amount of precipitation has been obtained. Eleven factors are considered in the classification of Accumulative slopes in this paper.(1)On the basis of four basic factors and four inducing factors, sum-and-difference method for the classification system has been built. (2)After weight of factors being determined by analytic hierarchy process and membership function of Accumulative slopes stability being built in virtue of fuzzy mathematics, AHP-FM model of Accumulative slopes stability has been completed. In the end of this paper, having been applied on stability of Accumulative slopes in Three Gorge area and compared with result by limit equilibrium, classification system has good effect.

Wave-front analysis method of circular aperture sampling for collimation testing

A new type of wave-front analysis method for the collimation testing of laser beams is proposed. A concept of wave-front height is defined, and, on this basis, the wave-front analysis method of circular aperture sampling is introduced. The wave-front height of the tested noncollimated wave can be estimated from the distance between two identical fiducial diffraction planes of the sampled wave, and then the divergence is determined. The design is detailed, and the experiment is demonstrated. The principle and experiment results of the method are presented. Owing to the simplicity of the method and its low cost, it is a promising method for checking the collimation of a laser beam with a large divergence. © 2005 Optical Society of America.

an efficient method to generate feasible paths for basis path testing

Basis path testing is a very powerful structural testing criterion. The number of test paths equals to the cyclomatic complexity of program defined by McCabe. Traditional test generation methods select the paths either without consideration of the constraints of variables or interactively. In this note, an efficient method is presented to generate a set of feasible basis paths. The experiments show that this method can generate feasible basis paths for real-world C programs automatically in acceptable time.

Information Preservation (IP) Method in Simulation

This paper reviews firstly methods for treating low speed rarefied gas flows: the linearised Boltzmann equation, the Lattice Boltzmann method (LBM), the Navier-Stokes equation plus slip boundary conditions and the DSMC method, and discusses the difficulties in simulating low speed transitional MEMS flows, especially the internal flows. In particular, the present version of the LBM is shown unfeasible for simulation of MEMS flow in transitional regime. The information preservation (IP) method overcomes the difficulty of the statistical simulation caused by the small information to noise ratio for low speed flows by preserving the average information of the enormous number of molecules a simulated molecule represents. A kind of validation of the method is given in this paper. The specificities of the internal flows in MEMS, i.e. the low speed and the large length to width ratio, result in the problem of elliptic nature of the necessity to regulate the inlet and outlet boundary conditions that influence each other. Through the example of the IP calculation of the microchannel (thousands long) flow it is shown that the adoption of the conservative scheme of the mass conservation equation and the super relaxation method resolves this problem successfully. With employment of the same measures the IP method solves the thin film air bearing problem in transitional regime for authentic hard disc write/read head length ( ) and provides pressure distribution in full agreement with the generalized Reynolds equation, while before this the DSMC check of the validity of the Reynolds equation was done only for short ( ) drive head. The author suggests degenerate the Reynolds equation to solve the microchannel flow problem in transitional regime, thus provides a means with merit of strict kinetic theory for testing various methods intending to treat the internal MEMS flows.

Information preservation (IP) method in simulation of internal rarefied gas flows in MEMS

This paper reviews firstly methods for treating low speed rarefied gas flows: the linearised Boltzmann equation, the Lattice Boltzmann method (LBM), the Navier-Stokes equation plus slip boundary conditions and the DSMC method, and discusses the difficulties in simulating low speed transitional MEMS flows, especially the internal flows. In particular, the present version of the LBM is shown unfeasible for simulation of MEMS flow in transitional regime. The information preservation (IP) method overcomes the difficulty of the statistical simulation caused by the small information to noise ratio for low speed flows by preserving the average information of the enormous number of molecules a simulated molecule represents. A kind of validation of the method is given in this paper. The specificities of the internal flows in MEMS, i.e. the low speed and the large length to width ratio, result in the problem of elliptic nature of the necessity to regulate the inlet and outlet boundary conditions that influence each other. Through the example of the IP calculation of the microchannel (thousands m ? long) flow it is shown that the adoption of the conservative scheme of the mass conservation equation and the super relaxation method resolves this problem successfully. With employment of the same measures the IP method solves the thin film air bearing problem in transitional regime for authentic hard disc write/read head length ( 1000 L m ? = ) and provides pressure distribution in full agreement with the generalized Reynolds equation, while before this the DSMC check of the validity of the Reynolds equation was done only for short ( 5 L m ? = ) drive head. The author suggests degenerate the Reynolds equation to solve the microchannel flow problem in transitional regime, thus provides a means with merit of strict kinetic theory for testing various methods intending to treat the internal MEMS flows.

Collimation testing using axial intensity

We proposed a new method of measuring the degree of collimation of laser beam using axial intensity information near paraxial focus. Preceding methods for collimation testing are mainly either based on self-imaging or interferometric techniques. The new method is to employ the diffraction behavior of noncollimated wave in circular aperture diaphragm. The principle of the proposed method and experiment results are presented. Due to simplicity of the method and its low cost, it is a promising method for checking the collimation of laser beam. (c) 2005 Published by Elsevier GmbH.

automated test case generation for the stress testing of multimedia systems

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.