波莱尔有限覆盖思想研究

基于原始文献,利用历史分析和比较的方法,深入探讨了波莱尔有限覆盖思想的思想背景、思想方法和重要影响．从历史角度考察了魏尔斯特拉斯、庞斯列等人的有限覆盖思想,分析了波莱尔的有限覆盖思想在集合紧致理论中的重要意义．     

Z_(2~k)线性码及其对偶码的MacWilliams恒等式

在有限环Z2k上定义了一个新的Hadamard变换,同时给出了有限环Z2k上线性码的完全重量计数器和Hamming重量计数器的定义.最后利用Hadamard变换,证明了Z2k上的线性码及其对偶码之间关于完全重量计数器和Hamming重量计数器的MacWilliams恒等式.     

基于有限元的汽车发动机隔热罩拉延模的开发

使用基于动态显式算法的商业软件LS—DYNA建立了某汽车发动机隔热罩拉延成形的有限元模型．通过所建立的有限元模型分析了压边力对拉延成形的影响．有限元分析结果表明，没有合适的能同时有效抑制板料皱折和破裂的压边力．因此，文中采用拉延筋和压边力来共同控制拉延成形，并通过有限元分析比较了几种典型的拉延筋布置方案，选择其中最有效的一种进行试冲试验．结果表明，有限元分析结果和试验结果吻合较好，该拉延筋的布置能消除工件的皱折，同时避免过度变薄．有限元分析有助于工程师在设计初期制定正确的设计方案，使该产品的开发周期从过去的12周缩短为4周．     

应用UML2.0模型的测试用例生成方法

针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.     

加权Riordan矩阵

把Riordan矩阵推广到加权Riordan矩阵，它不必为三角阵，中考察了加权Riordan矩阵的定义与生成，给出了若干例子。     

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

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

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

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

关于完全图的G—覆盖数的一些结果

给定无孤立点的简单图Ｇ,完全图Ｋ的Ｇ－覆盖定义为一个序偶（Ｖ,Ｆ）,其中Ｖ为Ｋ_ｖ的顶点集,Ｆ为Ｋ_v的一族子图,使得Ｆ中每一个子图都与Ｇ同构且Ｋ_v的每一条边至少出现在Ｆ的一个子图之中．完全图Ｋ_v的Ｇ－覆盖中所含的最少的子图个数称为它的Ｇ－覆盖数,记作（ν,Ｃ）．本文对五个顶点,五条边的４个图Ｇ,完全确定了Ｃ（ν,Ｇ）值．     

最大距离可分码的上界

Mq(k)表示q元(n,qk,d)最大距离可分(maximum distance separable,MDS)码的最大码长,其中q,k为参数.讨论Mq(k)的性质,得到Mq(k)的新的上界.     

混合无线传感器网络覆盖空洞修复策略

针对混合无线传感器网络中的覆盖空洞问题,提出了考虑能量的基于移动节点的无线传感器网络覆盖空洞修复策略。采用概率感知模型建立联合探测概率密度函数,通过探测概率和剩余能量评价网络状态,从而确定覆盖空洞。提出了节点虚拟移动的空洞修复方法,在得到每个空洞位置后放置一个虚拟节点直至计算结束后调整移动节点位置,节约了移动节点能量。仿真结果表明:该方法可以有效探测并利用移动节点修复覆盖空洞,消耗较小的网络能量,提高了网络覆盖率和网络生存时间。