基于MIKE URBAN的城市雨水系统建模方法研究

城市雨水系统建模是当前城市雨水系统规划、设计与运行管理研究的核心内容。本文基于Mike Urban阐述了雨水管网的建模方法及技术路线,并基于案例对实际雨水系统进行了计算机模拟,结果表明该建模方法的可行性。     

基于风险决策与混合高斯背景模型的前景目标突变快速检测

将风险决策引入前景目标的突变判断中,通过设计一个时序计数器函数来记录图像上某一像素点被划为前景的次数,当次数大于某一阈值时,将该像素从前景点改判为背景点,可以估计该像素点为背景点的概率,做出风险决策,以便及时更新混合高斯背景模型参数,减少多个高斯模型的高额计算量.最后通过实验验证了算法在目标检测率和实时性方面的改进.     

天线薄板框架结构的有限元分析

文章通过对一种天线薄板框架结构有限元分析的描述,介绍了有限元模型的建立及分析计算结果;通过对天线薄板框架的位移测试试验,将试验结果与理论结果进行比较,从而验证了有限元模型及其分析结果的正确性;同时证明了位移测试试验设计方案的可行性,又为进一步改进有限元模型、设计方案和后续的公差分析提供了理论依据。     

不平衡水推力下垫层蜗壳座环结构剪力特性分析

机组运行时蜗壳座环在不平衡水推力作用下承受较大的水平剪力,该剪力值过大将会给蜗壳结构的稳定带来安全隐患.考虑钢衬与软垫层、混凝土的摩擦接触,建立了垫层蜗壳的三维有限元模型,详细研究了垫层子午包角、平面包角、变形模量厚度比和围岩约束对座环剪力的影响.结果表明:垫层子午包角向下延伸不利于座环抗剪;垫层平面包角变化改变了钢蜗壳外围结构的刚度分布,对座环剪力具有显著影响;垫层变形模量厚度比的变化不仅改变了座环各向剪力的数值及其承担的沿厂房横向不平衡水推力的比例,还改变了座环剪力的空间分布规律;在其他条件不变的情况下,围岩约束的改变对座环剪力没有明显影响.     

Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

基于区间缩减的自动化打桩方法

为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。     

单元覆盖测试中基于区间运算的路径选择

单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。     

热力学微分关系式的处理方法

通过对热力学方程及微分关系式的研究，总结推导出了热力学微分关系式的七种处理方法，并指出了在何种情况下最适宜采用何种方法；这些方法有利于加深对热力学基本关系式的理解。     

颌骨重建手术机器人定位精度分析与误差补偿

为提高颌骨重建机器人的精度,借助于—台可以实现绝对坐标测量的高精度光学定位跟踪仪,对机器人系统的定位精度进行了误差分析与补偿研究.针对结构参数和运动变量误差,采用修正的运动学模型,进一步真实地反映了机器人的实际结构参数;对齿轮传动误差和间隙引起的关节回转误差通过实验进行了修正,有效提高了关节传动精度;对零位定位误差,通过机器人逆运动学反解出关节转角,并进行误差补偿,提高了定位基准的精度.实验结果表明上述方法可有效提高颌骨重建机器人的定位精度.      

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.