基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约；以HierOns提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如ViPi∧Qi的析取范式；然后根据析取范式将Z语言描述的操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

县级测土施肥化验室建设中存在的问题与建议

我省县级测土施肥化验室建设中或多或少存在一些如选址不当、水电配置不符、质量控制不健全等问题,本文针对这些问题提出搞好实验室标准化设计,从而进行系列化实验、达到一个具有较高技术水平和管理水平的测土施肥化验室。     

影响反力式滚筒制动试验台检测精度的因素

针对目前国内大部分汽车检测站使用的反力式滚筒制动试验台的检测数据存在较大差异的问题。详细分析了各种相关因素对汽车制动检测性能的影响以及正确使用反力式滚筒制动试验台的方法。     

不同氮磷钾组合搭配对佛手茶产量效应的影响初报

以茶叶目标产量为基础，以氮磷钾肥料不同组合搭配进行L9（3^4）正交试验，结果氮磷钾肥取2：1：1水平为最优化配方组合，处理4（A281C2）、处理6（A283C1）较接近最优化配方组合，但经经济效益分析，只有处理6（A283C1）单产582．00kg／667m^2，纯收入2973．59元／667m^2为最佳组合。由此认为在粘质红壤施肥，应以氮肥为主，配合施用速效磷肥，即尿素32．60kg／667m^2、钙镁磷66.18kg／667m^2、氯化钾7．50kg／667m^2，纯N14．996kg／667m^2，N：P2O5：K2O=1：0．75：013为最佳组合较合理。佛手茶是大叶品种，适量增施氮磷肥，有利于促进新梢的生长而提高产量.     

数字化木材横纹压缩试验测试系统

以日本岛津公司ＡＧ－１０ＴＡ型木材万能力学试验机（精度可达１‰）及该机配置的力学传感器，绘图记录仪为基础，与自行配置的Ａ／Ｄ转换器，数据采集软件与计算机接口联机，共同构成数字化木材横纹压缩试验测试系统。     

呼吸阀承压分析

呼吸阀是油罐的重要附件之一,其试验压力关系到呼吸阀的安全性和可靠性。结合呼吸阀的结构特点,对DN200 QZF 89型全天候呼吸阀进行了压力试验,试验分析结果表明,呼吸阀的阀体水压试验标准为0.9 MPa更为合理。     

Estimating Trace Element Availability in Soils with a Seasonal Water Table using Commercially Available Protocols

The soil accumulation of metals and other elements as a result of human activities is a global concern. This investigation involves the use of commercially available extractions to estimate elemental abundance and availability. The need exists, especially in poor nations, to have cost-effective analytical capabilities to perform an initial screening of a soil resource to determine if a problem exists. Three extraction protocols are proposed: (i) an aqua regia digestion to estimate a baseline geochemistry, (ii) a pyrophosphate extraction to estimate elemental abundances associated with the soil organic fraction, and (iii) a water extraction to estimate the most available fraction. If the soil resource is impacted, then more refined and traditional methods are required to document the extent of impact for possible remediation. The three extraction protocols were applied to soils with little impact to illustrate the assessment potential for selected metals and p-block elements.     

Performance of using opposing homozygotes for paternity testing in Japanese Black cattle

Genome-wide single nucleotide polymorphism (SNP) markers in Japanese Black cattle enable genomic prediction and verifying parent–offspring relationships. We assessed the performance of opposing homozygotes (OH) for paternity testing in Japanese Black cattle, using SNP genotype information of 50 sires and 3,420 fattened animals, 1,945 of which were fathered by the 50 genotyped sires. The number of OH was counted for each sire–progeny pair in 28,764 SNPs with minor allele frequencies of ≥0.05 in this population. Across all pairs of animals, the number of OH tended to increase as the pedigree-based coefficient of relationship decreased. With a threshold of 288 (1% of SNPs) for paternity testing, most sire–progeny pairs were detected as true relationships. The frequency of Mendelian inconsistencies was 2.4%, reflecting the high accuracy of pedigree information in Japanese Black cattle population. The results indicate the utility of OH for paternity testing in Japanese Black cattle.     

人工神经网络在木材缺陷检测中的应用

采用射线作为检测手段，对木材进行无损检测。在无损检测信号处理和特征构造的基础上。运用特征参数建立了缺陷识别的数学模型，针对无损检测信号的特征，构造了人工神经网络。选用反向传播神经网络模型（BP网络），网络识别所需要的特征参数能够反映木材缺陷的全部特征。     

激光技术在木材无损检测中的应用

本文总结了用于木材中的无损检测技术 ,着重论述了几种常用的激光无损检测技术在木材中应用的可能性