变异策略动态构建的模糊测试数据生成方法

模糊测试中随机变异生成的测试数据破坏了目标程序的输入规范,导致测试数据无法通过验证,造成代码覆盖率低.针对这一问题,提出了一种变异策略动态构建的模糊测试数据生成方法,该方法利用插桩执行的反馈信息动态构建控制变异策略和关键字变异策略,指导模糊器变异出高覆盖率的测试数据.实验结果表明,与随机变异相比,该方法平均使代码分支覆盖率提高了约40%;该方法能够有效提高模糊测试的效率,具有较强的实用价值.      

小型水电站扩容后水轮机原型效能分析

水轮机效率是反映水轮机性能的重要指标,也是水电站经济运行的基础。以某水电站增容改造为研究对象,针对改造后的水轮机机组的效率测试与评定问题,通过计算流体力学(computational fluid dynamics, CFD)的方式获得了流量测量误差,在此基础上采用超声波法对改造后的实际机组进行了效率试验,得到了额定水头下的机组效率曲线,并进行了结果评估。结果验证了试验方法的可行性与准确性,且机组效率达到了改造要求,对行业有一定借鉴意义。     

绿色建筑在医院建设中的应用价值研究

医院是我国重要的公共基础设施,承担着重要的救死扶伤的责任,所以医院的建设质量必须要符合要求。绿色建筑的发展,对于建筑领域有着重要的促进作用,并且也为医院建设提供了新的建设思路和要求。通过对绿色建筑的研究,发现其中很多的优点都与医院的建设要求不谋而合,这说明在医院的建设中,结合绿色建筑具有的优势,形成良好的结合体,能够促使医院的实际建设质量达到节能环保要求,形成全寿命周期的健康、适用、高效,宜于医护人员、患者使用的空间。在当前的发展中,国家对于绿色节能环保问题的重视程度逐渐提升,所以在医院建设中结合绿色建筑的优势符合当前的发展趋势。     

影响三轴压缩试验精度的主要因素

三轴试验的结果直接影响岩土工程勘察的质量.保证三轴压缩试验精度的关键是排除孔隙水压力测量系统的积气和漏水、适当的剪切速率、良好的仪表、传感器、量力环和精心的操作.     

立式金属油罐标定装置的设计

本文设计了以MSP430单片机、复杂可编程逻辑器件（CPLD）等硬件为基础,以相位法激光测距为核心的立式金属油罐标定装置。该装置具有测量准确度高,测量速度快,操作人员少,操作简单等优点。同时编写油罐标定数据处理系统,实现数据处理的智能化和快速化。     

时滞时变AUV的模糊变结构控制

针对自主水下航行器(autonomous underwater vehicle,AUV)具有时变的水动力学系数的现象,为了实现其鲁棒控制,设计了一个模糊变结构控制器.该控制器以变结构控制的切换函数及其变化率为模糊控制器的输入,以变结构控制律的变化率为模糊控制器的输出.为了提高控制器的性能,引入了压缩扩张隶属度函数.通过将该控制器和均分隶属度函数模糊变结构控制器、准滑模控制器的仿真对比,证明了设计的控制器具有更好的性能.数值仿真表明,该控制器能很好地实现对具有控制输入时滞和时变水动力系数AUV的深度控制,且稳定后基本无抖振现象.     

用于微蜂窝电波传播预测的二维射线跟踪模型

提出了一种有效的微蜂窝电波传播预测模型 ,该模型基于射线跟踪法和UTD理论 ,并使用辐射源树的方法。该模型能用于由任意形状的建筑物和街道所组成的复杂传播环境中 ,只要这些建筑物和街道能用向量描述。由于该模型是从镜像法得到的 ,因此它和镜像法一样具有较高的计算效率 ;另外它能够找到从发射机到接收机之间的所有传播路径 ,因此有较高的精度。把该模型预测结果与测量结果以及另外一个模型预测结果进行了比较 ,结果表明该模型是一个较好的模型。     

Genome-wide in situ exon capture for selective resequencing

Increasingly powerful sequencing technologies are ushering in an era of personal genome sequences and raising the possibility of using such information to guide medical decisions. Genome resequencing also promises to accelerate the identification of disease-associated mutations. Roughly 98% of the human genome is composed of repeats and intergenic or non-protein-coding sequences. Thus, it is crucial to focus resequencing on high-value genomic regions. Protein-coding exons represent one such type of high-value target. We have developed a method of using flexible, high-density microarrays to capture any desired fraction of the human genome, in this case corresponding to more than 200,000 protein-coding exons. Depending on the precise protocol, up to 55-85% of the captured fragments are associated with targeted regions and up to 98% of intended exons can be recovered. This methodology provides an adaptable route toward rapid and efficient resequencing of any sizeable, non-repeat portion of the human genome.     

现代控制理论中线性变换矩阵的构造方法

现代控制理论是利用状态空间法,对系统进行分析和综合。而利用状态空间法对系统进行分析和综合时,经常用到状态空间的基底变换,如对系统的系数矩阵的对角化,约当规范化,把系统化为能控标准型和能观标准型;对系统进行能控性分解和能观性分解。其中非奇异线性变换矩阵的构造是一个难点。     

非凸集值优化问题弱Benson真有效解的高阶最优性条件

首先,给出了一些必要的基本概念和重要引理.其次,讨论了高阶广义切集的一些重要性质.最后,利用这些性质和Gerstewitz非凸分离泛函,在目标映射以及约束映射没有任何凸性假设的条件下,获得了带广义不等式约束的集值优化问题弱Benson真有效解的高阶必要和充分最优性条件.同时,给出例子说明了所获得的结果推广了文献中的相应...