激光测距中检相算法的分析研究

激光测距检相算法中,常规的过零检测法检相原理简单,但由于谐波、噪声干扰等影响容易出现较大误差。文章对数字相关法和傅里叶变换法进行了仿真对比,并对改进的傅里叶算法在DSP检相中的优势进行了分析。     

库水位升降作用下土质边坡渗流场动态变化研究

为探索水库边坡尤其是土质边坡在库水位升降条件下渗流场的变化规律及边坡的稳定性,建立了较大比例尺的库岸土质边坡地质试验模型。用孔压计测得试验模型的孔隙水压力随水位升降的变化值,以非饱和渗流理论为基础,并结合试验所测数据,用Geostudio有限元数值分析软件SEEP/W 模块进行水位升降条件下的瞬态渗流场模拟。结果表明：坡体孔隙水压力随试验水位的升降而变化,坡体位置高程越高,孔隙水压力和基质吸力变化的滞后性越明显。孔隙水压力模拟值与计算值基本一致,表明模拟所选参数和水土特征曲线能反映模型试验情况。     

辽宁省产业结构合理化分析

为使辽宁省的经济发展适应全球经济发展趋势,使其产业结构更趋合理化,建立了产业结构偏差度模型,分析了辽宁省产业结构存在的一些问题,对产业结构合理化进行了综合评价.指出了辽宁省产业结构存在的不合理之处,并提出了产业结构调整的方法和建议.     

下茬立势规范建设市场 切实加强水利工程建设管理

一、水利建设面临新挑战,规范建设管理迫在眉睫随着中省加快水利改革发展各项政策措施深入贯彻,水利投资将保持强劲增长的态势,重点工程与民生水利项目建设交相辉映,水利建设管理面临着任务异常繁重、责任倍加重大、工作难度空前的形势。面对新的挑战,一定要正视建设管理工作中存在的问题。一是项目法     

基于域敏感指向分析的区间运算在软件测试中的应用

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.     

数组越界的静态测试分析

给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类错误的静态分析方法，并给出了相应的算法，而后给出了测试系统设计和开发，最后给出了软件测试的实验结果和分析。     

防止Word文档丢失的几种方法

介绍了防止Word2000/XP文档丢失及受损后的恢复方法.     

EPDM-g-MAH对PPO/PA6共混体系结构与性能的影响

通过双螺杆熔融反应挤出,获得了马来酸酐化的三元乙丙橡胶(EPDM-g-MAH),并将其与聚苯醚(PPO)、尼龙6(PA 6)共混,制备了PPO/PA 6/EPDM三元共混合金。研究了弹性体EPDM-g-MAH中MAH用量以及EPDM-g-MAH用量对PPO/PA 6共混体系力学性能和相态结构的影响。结果表明:EPDM-g-MAH中MAH用量在1%~2%范围内,可显著改善EPDM与PPO/PA 6共混体系的相容性,大大提高共混合金的韧性;在三元共混体系中,随着弹性体EPDM-g-MAH用量的增加,冲击强度和断裂伸长率提高,但拉伸强度降低。     

关于Cauchy矩阵和Loewner矩阵的行列式

本文给出了Cauchy矩阵与Loewner矩阵行列式的计算公式,所采用的主要方法是将Cauchy矩阵与Loewner矩阵的行列式的计算归结为某一Hankel矩阵的行列式的计算。     

非法计算故障的一种静态测试方法

非法计算是C／C＋＋程序中的常见故障，该类故障极易导致系统崩溃。针对C／C＋＋语言中常见非法计算故障进行了分析，并从面向具体故障的测试思想出发，建立了C／C＋＋语言中非法计算的故障模型，结合静态测试的特点，给出了一种静态查找此类故障的方法。此方法已实现，并已应用于面向故障的软件测试系统中。