简介：为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。

简介：信息强国的实现，对于中国和平发展的意义不言而喻。

简介：

简介：电离层斜向探测工作在高频段,密集的外部干扰如短波通信,广播电台以及大气噪声等污染了接收数据,严重影响斜向探测电离图描迹的提取.针对上述问题,本文提出了一种提取斜向探测电离图描迹的算法.该算法由频域去干扰,有序统计量OS-CFAR检测,去虚警点三个步骤构成.对实测数据的处理结果表明这种方法的有效性和实用性.

简介：摘要在人工举升中，有杆泵抽油法是使用最为广泛的一种抽油方法。多年来，地面示功仪一直被用于分析有杆泵系统。地面示功图也是采油工况诊断的重要手段，技术成熟，且应用广泛，但地面示功图由于受到多种因素的影响，很难反应井下泵的实际工况，因此本方提出一种地面示功图转换为井下泵示功图的一种有限差分算法，并给出了得到等时间间隔的地面示功图曲线的插值算法。

简介：初步探索了变比例尺可视化在态势图显示领域的应用。基于弹性空间坐标变换原理实现了以变换原点为中心的“近大远小”的变比例尺可视化。设计了圆形与矩形两种不同放大区域，讨论了变比例尺区域划分以及不同比例尺区域目标的自适应可视化。仿真实验初步表明，变比例尺可视化能够满足指挥员既看清细节又了解事件发生的大区域信息的多层次信息需求。进一步研究包括变比例尺变换的变形分析以及态势图变比例尺变换对指挥员使用影响的分析等。

简介：根据海上红外图像的热红外特点，利用目标与背景能量差异，设计了针对海上红外图像的目标分割方法。比较了窗口能量与平均能量，并进行了目标分割。采用能量图分割法进行邻域背景滤波对图像进行预处理，通过滑动窗口大小取值和调节系数足的自适应优化方法进一步优化了基于能量图的海上红外图像目标分割方法。对比试验中，将能量图分割法处理效果及效率分别与大津法（OTSU）、最大熵法和多特征迭代法3种方法处理效果进行对比，仿真结果表明该方法对目标检测有效。

简介：本文建立了主瓣杂波功率、副瓣杂波功率和杂波平均功率谱强度计算模型,并分析了天线电性能指标变化时,主副瓣杂波功率的变化情况;在此基础上,结合雷达系统性能指标的要求,通过分析最大作用距离对信杂比、杂噪比的要求,计算出天线方向图畸变的上限值,具有一定的工程意义。通过仿真理想情况下和机身近场影响下的天线方向图,分析了畸变导致的能量分布变化、CNR的距离-多普勒频率二维特性和一维按频率统计特性,证实天线方向图畸变对杂波功率计算存在影响。

简介：自适应信号处理在抑制干扰的同时影响了和、差波束的权,导致和差波束在主瓣内不再满足线性关系,给测角带来了误差。本系统研究了自适应方向图保形技术在单脉冲测角算法中的应用,主要研究两类算法：自适应差波束形成算法和旁瓣对消算法。仿真结果表明,这两种算法能有效地补偿自适应权对和、差波束的扰动,提高测角精度,并且对误差具有一定的稳健性。

简介：摘要词汇学习一直是中职英语日常教学中的一个难点，本文结合中职英语教材的特点和学生易错的词汇专项训练，使用思维导图对词汇进行归纳、分类、构建词汇网络，这不仅激发了中职学生学习英语词汇的兴趣，增强了他们的记忆效果，也改变了他们的记忆习惯。

简介：首先以雷达天线位置为中心，将单雷达探测包络线的弧线部分按等方位角分解为一定数量的折线段；然后，计算分解后多个雷达探测包络线之间的交点；最后，通过提取外围顶点得到多雷达联合探测包络线。仿真表明，对比传统计算方法，文中所提方法得到的多雷达探测范围和边界更加精确。

简介：摘要在高中物理的解题过程中，图象法作为一种简洁高效的解题方法进入到教师与学生的视野中去，其所具有的直观性，生动性，对于解决物理难题具有十分重要的意义。本文旨在通过对图像法的介绍，分析图像法在高中物理解题中应注意的事项，进而探讨图像法在高中物理解题过程中的运用。

简介：根据直接序列扩频（DS-SS）信号的特点,将其建立为循环平稳模型。利用循环谱分析的方法估计了低信噪比下DS-SS信号的载波频率。利用时域平滑循环周期图估计了循环谱密度函数,在循环谱密度函数的数字实现过程中,研究了有限采集数据条件下数据截短点数对循环谱的时域平滑周期图估计性能的影响,分析了经过时域平滑后的DS-SS信号载频估计精度。最后,仿真实验验证了算法的有效性。

简介：串行级联连续相位调制（SCCPM）系统可以大大地提高系统的功率利用率,这使得它在无线通信领域中得到广泛应用。给出了基于外信息传输（EXIT）图的SCCPM系统的收敛性能分析及外码设计,在CPM参数给定的情况下,通过EXIT图可以找出与该调制最匹配的外码。仿真结果表明：对于同一种调制不同外码的SCCPM系统,收敛的门限不同;收敛的门限越低,性能越好。

简介：中国最大的国际并购带来的国际评论——

简介：摘要高中生物学是一门逻辑性较强的学科，概念复杂且繁多，对高中生概念图使用能力提出了较大挑战。这篇文章通过介绍概念图的绘制方法和规范，简要的论述了概念图相关的教学方法，对传统教学方法与范例、变式训练之间的关系进行了分析，同时也对概念图教学过程中存在的问题进行了反思，为教学的改进提供支持。

简介：提出了基于小波去噪结合自适应阈值的Canny算子进行返回散射电离图前沿提取的方法；简单介绍了小波变换去除噪声和用Canny算子进行边缘检测的基本步骤,结合返回散射电离图的统计特性和基本全局阈值技术,提出一种自适应阈值方法进行Canny算子硬阈值的确定方法.所研究的方法可有效的降低噪声对返回散射电离图前沿提取的影响,将返回散射电离图前沿成功提取出来.

简介：11月22日，在北京西苑饭店，中国最大的IT产品分销商神州数码与全球最大的DLP投影领导品牌美国奥图码(Optoma)公司联袂举办“奥图码一神州数码投影机业务合作签约暨新品发布会”。发布会以“携手共赢DLP投影新时代”为主题，Optoma携新品正式登陆中国市场，将以神州数码作为其DLP投影机业务的全国独家总代理。

简介：提出了一种基于HF返回散射和斜向探测联合探测电离层,融合两种探测结果联合反演电离层参数的新方法。反演方法基于特定的电离层QP模型和均方误差最小准则,采用全局搜索的方法确定QP模型参数和梯度参数。仿真结果显示,在引入随机误差的情况下,联合反演相比单一手段的反演算法具有更好的反演的效果,能够有效改善反演算法的稳定性。

简介：