约束条件下基于区间组合的测试用例生成

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.     

线性约束凸二次规划的一个原始-对偶内点算法

对具有线性约束凸二次规划问题给出了一个原始-对偶内点算法，任一原始-对偶可行内点都可作为算法的初始点，当初始点在中心路径附近时，便成为中心路径跟踪算法，此时总迭代次数为O(√nL)，其中L为输入长度．数值实验表明，算法对求解大型的这类问题是有效的．     

单位圆到任意多边形区域的Schwarz Christoffel变换数值解法

Schwarz Christoffel变换技术在处理某些工程问题时具有重要作用.从黎曼存在定理出发,建立了单位圆到任意多边形区域的映射函数Schwarz Christoffel变换模型,采用Levenberg-Marquardt算法求解含约束条件的非线性映射函数Schwarz Christoffel变换模型参数系统.针对映射函数中出现的奇异积分问题,对映射函数进行2次参数变换,将其化为高斯雅克比型积分,以积分路径中的奇异点为界,缩短积分路径,对子路径采用修正高斯积分方法进行计算.通过指数变换、连乘变换和累加变换,使任意初值问题均可进行迭代计算并满足初值的约束条件.提出以边长绝对误差和顶点绝对误差为迭代计算的收敛条件,并保证了映射函数的精度.给出了11顶点多边形区域映射函数的求解算例,4种方案的计算结果表明,Schwarz Christoffel变换数值解法操作简单、精度高、收敛快.     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

一种求解约束条件下多变量非线性函数所有全局最优解的区间算法

研究和实践中经常会遇到附有约束条件的非线性优化问题，对这类问题，通常采用随机搜索的方法来解决，但是，随机搜索法不能证明所得到的解就是全局最优解．本文给出了一种求解约束条件下非线性优化问题所有全局最优点和最优值的区间算法，该算法非常宜于解决优化问题，它能求出问题的所有全局最优解，给出解的包含区间，并很容易获得解的逼近误差，这是随机搜索等其他方法做不到的．理论分析和数值结果均表明，区间算法是稳定而可靠的．     

一类线性约束凸规划问题的一个原始－对偶内点算法

对一类具有线性约束的凸规划问题给出了一个原始－对偶内点算法, 该算法可在任一原始－对偶可行内点启动, 并且全局收敛. 当初始点靠近中心路径时, 便成为中心路径跟踪算法. 数值算例表明该算法是有效的.     

对象式系统动态测试工具OODT研究

针对对象式系统的特点，提出了一种新的测试模型，并以此模型设计了动态测试工具OODT。该工具依据使用事件（USE CASE）生成对象式系统测试过程中的对象关联图（即执行路径）和LOG文件，LOG文件记录执行路径关键点信息。以此实现被测试路径的动态跟踪与执行结果的分析，因此OODT是支持系统的动态测试与测试覆盖率分析的有效工具。     

基于图像处理的荧光显微神经丝运动跟踪研究

神经丝蛋白质是具有细长突起的细胞中突起部分的重要组成单位,通过跟踪神经丝蛋白质,可以研究医学神经退行性方面的疾病.针对人工手动跟踪神经丝蛋白质效率低、主观性强等问题,提出了一种基于图像处理技术的神经丝蛋白质自动跟踪的全新方法.该项目构建了适应于视频中荧光显微下神经丝蛋白质运动目标检测的图像采集软件系统,通过MATLAB拆分视频获得每一帧神经丝蛋白质图像,研究了适合于该图像的预处理方法.采用间隙统计法对神经丝蛋白质图片进行分析处理,使用K-means聚类分割算法逐次收敛出不同类别的对象.利用主动轮廓模型将初始轮廓迭代收敛为神经丝蛋白质的轮廓.通过每一帧蛋白质的位置坐标,得到神经丝蛋白质的运动路径,从而达到跟踪的目的.系统能够有效的提取出视频中的神经丝蛋白质,实现实时跟踪,减少了运算时间,提高了跟踪精度.     

Cn空间中有界域上光滑函数的一个积分公式

应用单位分解的方法及积分表示中核函数的构造理论，得到C^n空间中有界域上光滑函数的一个抽象积分公式。根据这一公式，可得到至今许多有界域上光滑函数种种已有的抽象和具体的积分公式。     

基于网络的主动跟踪框架

在分析现有入侵检测系统跟踪方法的基础上，提出了一种基于网络的主动跟踪模型及体系结构，并对其工作机制进行了描述。     

碱存在下二烷基硼酸甲酯与氯仿的相转移反应研究

由烯烃经一氯硼烷甲硫醚（Ｈ２ＢＣｌ·ＳＭｅ２）硼氢化和甲醇解制得的二烷基硼酸甲酯６，在５０％ＮａＯＨ和相转移催化剂（ＴＥＢＡ）存在下与氯仿反应，继之氧化，获得了相应的二烷基酮１，二环烷基酮２和３以及脂环酮４．考查了各种参数对反应的影响．讨论了反应机理，为从烯烃出发合成各种类型的酮提供了一条简便新途径．     

一种基于粒子滤波的测向定位跟踪算法

基于多站测向定位提供的目标辐射源方位角信息,提出了一种基于粒子滤波的测向定位跟踪算法.该算法采用序贯蒙特卡罗的粒子滤波技术,对目标辐射源方位信息进行粒子滤波融合处理,实现了对机动目标辐射源的无源定位跟踪.仿真实验表明,该算法适用于非线性模型和非高斯噪声的目标跟踪,与传统的基于卡尔曼滤波的多传感器融合跟踪算法相比,定位跟踪更为精确,从而对提高战场电子目标定位跟踪和精确打击具有广泛的应用价值.     

加强篮球传球准确性的教学和训练

本文按照篮球运动的规律和教学训练的特点,就传球准确性问题作比较全面、深入的阐述;对球行路线,移动中传球的特点,传球者和防守者之间的相对位置关系,传球的时机、速度、方向、位置、落点以及如何培养学生传球意识等方面问题进行了一定的分析;着重指出学生练习中易犯错误和纠正方法,并提供一些加强传球准确性的教学训练手段。     

环十三内酯的合成

本文介绍了由芥酸合成环十三内酯的新方法,并研究了反应条件对产率的影响。     

环十五酮的合成

本文介绍了芥酸合成环十五酮的新方法,并研究了反应条件对产率的影响。     

有理三角Bézier曲线曲面光滑融合的构造

为了使自由曲线曲面在较为简单的条件下能够达到相对高阶的光滑拼接,并在不改变控制顶点的情况下自由调整曲线曲面的形状,构造了含多个形状参数的有理三角函数.基于该组基函数,定义了含多个形状参数的有理三角曲线曲面,并讨论了曲线曲面的光滑拼接条件.根据拼接条件,分别定义了由含多个形状参数的有理三角曲线曲面构成的分段组合曲线、分片组合曲面.这种新的曲线曲面能够自动保证组合曲线、曲面的连续性.数值实例的结果显示了该方法的有效性.     

基于多层多道焊的弧焊机器人视觉信息提取及处理

介绍爬行式弧焊机器人三维视觉信息的传感原理。研究了拉普拉斯锐化、细化等措施对图像处理的效果。给出型坡口多层多道焊边缘坐标的确定以及纠偏量和深度值的计算方法，实验说明效果较好。     

卡尔曼滤波在室内定位系统实时跟踪中的应用

为了解决室内定位系统实时跟踪应用中所估算的用户位置方差较大,用户位置移动不平缓这一难题,提出了一种基于卡尔曼滤波的室内定位方法.首先利用最近邻居法估算用户的位置坐标,然后再利用卡尔曼滤波算法对用户的估算位置坐标进行滤波处理,以提高室内定位系统的性能和稳定性.实验结果表明,卡尔曼滤波算法可以将2 m以内85%的定位精度进一步提高到93%,3 m以内95%的定位精度提高到98%,改进效果明显而且稳定.     

具有简单G3条件的可调曲线曲面

为了使曲线曲面具有可调的形状和简单的G3条件,利用递推方法定义了一种EI函数.基于EI函数构造了具有大部分Bézier曲线曲面性质的EI曲线曲面.由于EI函数的特殊性,EI曲线曲面具有2个突出优点,一是具有形状控制参数,另一个是其G3条件正好是Bézier曲线曲面的G1条件.对于给定的点集,为了生成自动光滑的组合曲线曲面,在EI函数的基础上,定义了另一组MI函数.由MI函数定义的MI曲线曲面具有形状可调性,以及简单的连续性条件.根据连续性条件,采用一种特殊方式定义了组合MI曲线曲面,此方法无需附加任何条件,可自动达到光滑连接.     

2—硝基—6—氯甲苯液相氯化反应研究

在与2,6－氯甲苯氯化对比实验的基础上,利用气相色谱跟踪,研究2－硝基－6－氯甲苯氯化反应过程,探讨了分子结构和温度等因素对氯化反应的影响,并用正交试验找到了2－硝基－6－氯甲苯中硝基完全被取代的最佳条件。