覆盖状态内部分枝的测试向量生成

提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分枝.为了准确描述该过程,文中给出了分枝扩展的形式化方法.在此基础上,给出一个测试向量生成算法:遍历状态转换有向图;依状态间转换条件生成测试向量;依遍历顺序收集测试向量.通过对ITC99-benchmark中时序电路的试验表明,本文方法是有效的.

基于状态验证覆盖的Bayes软件可靠性评估

传统的可靠性评估方法都是基于系统软件运行期间的失效,对于武器系统软件,由于其使用试验耗费巨资且周期很长,不可能对系统进行过多的使用试验,导致难以采集到高质量的失效数据。提出一种基于系统状态验证覆盖的Bayes软件可靠性评估方法,该方法以Bayes可靠性模型为评估准则,通过状态覆盖率来保证充分性,通过状态测试验证来保证可靠性,提倡可信性与可靠性并行增长。

2001—2014年间黄土高原植被覆盖状态时空演变分析

黄土高原植被覆盖状态的时空变化对于该地区植被恢复具有重要意义。基于2001—2014年间黄土高原地区MODIS-EVI2时序数据,建立2个反映植被覆盖状态的指标:植被覆盖强度与植被时间覆盖度。采用趋势分析以及突变点检测方法,得到近14 a间黄土高原植被覆盖状态的时空演变特征。研究结果表明:1黄土高原植被覆盖状态整体呈从西北到东南递增的分布特点,整个区域内近10 a间的植被覆盖状态增长速度相较于1982—2006年间明显增快;2研究区内多年植被覆盖强度与植被时间覆盖度呈正趋势变化的面积分别占整个研究区面积的43.04%和32.57%,发生变化的年份多集中于2006—2007年与2011—2012年;而多年植被覆盖强度与植被时间覆盖度呈负趋势变化的面积分别占整个研究区面积的2.92%与5.86%,发生变化区域多分布于农业种植区。研究有效证明了近年来退耕还林/防风固沙政策已取得了明显效果。

MR二维统计图用于TD-LTE覆盖状态评估

终端上报的测量报告(MR)中会携带主服务小区和邻近小区的接收电平(RSRP),通过主服务小区RSRP样本进行分析,能够得到其当前下行覆盖状况,如果对邻区RSRP样本进行分析,能够得到其周边邻区信号强弱。本文提出了一种结合二者的二维分布统计图,并根据邻区间不同的切换策略划分区间,以直观、全面、科学地描述小区综合覆盖状态。通过这样的统计图,能够进行小区弱覆盖、重叠覆盖、邻区漏配等一系列覆盖问题的发现,以便开展相应的网络优化措施。本论文研究成果为现网LTE网络结构优化提供了一种工具。

MR二维统计图用于LTE覆盖状态的研究

为了直观、全面、科学地描述小区综合覆盖状态,提出了一种基于终端上报的测量报告(MR)的二维统计图,通过对MR中会携带的主服务小区接收电平(RSRP)样本信息进行分析,得到其当前下行覆盖状况,对MR中会携带的邻区RSRP样本信息进行分析,得到其周边邻区信号强弱,再根据邻区间不同的切换策略划分区间,能够发现小区弱覆盖、重叠覆盖、邻区漏配等一系列覆盖问题,以便开展相应的网络优化措施。提出的MR二维统计分布图为现网LTE网络结构优化提供了一种工具。

一种使用调控器针对数据通路的综合功能的时间扩展模型生成方法(英文)

一些超大规模集成电路(VLSI)近来通过行为描述已在高层次被设计.行为合成可以将行为描述变换成由控制器和数据通路组成的寄存器传输层电路.数据通路的控制信号线输入序列和状态信号线输出序列从控制器提取.作者提出一种生成综合功能时间扩展模型的方法,其中提取的信息作为约束被加入.在常规的贯序测试生成方法中使用时间模型只有结构信息,因为对于实际的贯序电路的搜索空间相当庞大,所以在合理时间内很难达到高排错效率.在使用来自功能验证模块的功能时间扩展模型的贯序测试生成方法中,因为所有的功能行为不可能全被覆盖,所以很难提高排错效率.由于作者提出的方法可以覆盖所有的功能行为,所以与常规的方法相比可以实现在合理时间内的高排错效率.所提出的测试生成方法被用于除法器电路.实验数据显示了在16s内排错覆盖率达到了100%.

图像处理在检测锂离子中的应用

探讨图像处理技术在锂离子电池检测中的应用。首先,分析了锂离子电池的X射线图像的特征,对图像进行了预处理;其次,通过设置灰度阈值完成了图像中电池正负极区域的分割;最后,提出了角点检测算法检测图像中电池极片的边缘点,并根据锂离子电池正负极边缘点的相对距离判断电池正极的覆盖状况。采用该方法对2 000幅锂离子电池图像中的正负极覆盖率进行检测,检测准确率为98.11%。