常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。     

用Lennard-Jones和Kihara位能模型预测真实流体的PVT性质

分别采用ＬｅｎｎａｒｄＪｏｎｅｓ（ＬＪ）和Ｋｉｈａｒａ位能模型并结合顺序解析法计算了径向分布函数,然后代入统计热力学所给出的严格理论状态方程来预测真实流体的ＰＶＴ性质。位能模型参数由纯流体的临界温度性质确定。计算结果表明,该方法可用于预测较宽广的压力、温度范围内的非极性和弱极性纯流体的ＰＶＴ性质。当分子尺寸小于正己烷时,近临界区除外,由ＬＪ模型预测的饱和液体体积的相对平均误差一般小于５％。对于分子尺寸更大的流体,需用三参数Ｋｉｈａｒａ位能模型来提高预测精度     

文学史实的概念分析与文学史的范式反思

既有的文学史观念把文学史实当作自明的、毋须验证的基础来对待．文学史料学和文学编年强化了这一观念。文学史实这个概念本身也使研究者认为文学史实是历史中存在的事实的集合。为了指出这种观念的根本局限．必须引入范式以转换视角。既有的文学史观念是在20世纪早期的文学史书写中形成了稳定的范式,文学史实也是此时锻造出来的概念,它恰好不是真的事实,而是在范式形成过程中塑造出来的理论观念。指出这一点,是为了引发对既有文学史范式的反思和重构。     

低频激励的煤体瓦斯解吸试验

针对一些地区煤矿瓦斯赋存浓度高,不能采用外加电磁场的方式促进瓦斯的解吸问题.利用自制的低频激励瓦斯解吸及测量装置,设置了3组实验,通过测量不同情况下煤样罐中瓦斯的解吸量,研究低频振动和声波(统称为低频激励)对瓦斯解吸的综合影响.结果表明:低频激励条件下瓦斯解吸量是自然条件下的2倍左右,施加频率为70~120 Hz,激励的煤样罐比其他煤样罐中每100 g煤样剩余瓦斯量少.试验结果证明了低频激励可以加快瓦斯解吸速率,加深瓦斯解吸程度.激励的频率在70~120 Hz变化时,由于达到了瓦斯附着的本振频率而使瓦斯解吸程度加深.另外试验还间接证明了声波对瓦斯解吸有积极的作用.     

移动机器人网络控制系统建模分析

论述当前网络控制系统模型中存在的主要问题,考虑四轮移动机器人作为网络控制系统的被控对象,建立了该系统的传递函数和状态方程模型,通过仿真结果讨论了采样周期对移动机器人作为被控对象网络控制系统稳定性的影响.     

有压管道孔口消能效率分析

在分析有压管道消能问题的基础上,提出了二种典型实用的孔口消能方式：末端式消能和在线式消能。在研究孔口基本水力特性基础上,结合山西省万家寨引黄工程流量调节阀工程实际,对孔口消能效率及其与孔口流量系数、孔口过流面积和输水管道出口水头的关系进行分析研究。研究结果为类似工程设计提供了技术参考。     

广义对角占优矩阵的新判定

针对广义对角占优矩阵在实际应用中判别的困难,研究了广义对角占优矩阵的判定问题,给出了几个新的判定条件, 改进了近期的相关结果,并用数值例子说明所得结果判定范围的更加广泛性.     

山区城排水管道的设计探讨

本文介绍了山区城镇排水系统的特点和设计原则,探讨了排水体制、设计参数、最大流速、管材选择及构筑物等方面的设计问题.     

系统辨识的粒子群优化方法

研究了一种基于粒子群优化算法对系统进行辨识的新方法.该方法的基本思想是将典型数学模型相互组合而构成系统模型,即首先将系统结构辨识问题转化为组合优化问题,然后利用粒子群优化算法同时实现系统的结构辨识与参数辨识.为了进一步提高粒子群优化算法的辨识性能,提出了一种改进的粒子群优化算法.仿真结果表明,给出的辨识算法是合理的,虽然扰动对算法的性能以及辨识结果有一定的影响,但利用文中所提出的改进粒子群优化算法仍然可以理想地辨识出系统的结构以及模型的参数,且与已有辨识算法相比更加有效.     

点云配准误差传播规律的研究

引入摄影测量影像匹配的原理,对地面3维激光扫描仪在不同测站采集点云进行配准分析,并在此基础上探讨点云配准误差传播的规律,得出点云配准误差传播的模型.通过点云配准误差实验,验证了点云配准精度与点云模型累积误差的定量关系,从而可为点云配准的质量进行评估.