考虑测试与运行差别的软件可靠性增长模型

软件可靠性增长模型中测试阶段和操作运行阶段环境的不同导致了两个阶段故障检测率的不同．在随机过程类非齐次泊松过程（NHPP）中的经典模型G—O模型基础上，考虑运行剖面和测试剖面的不同，对测试阶段和操作运行阶段的故障检测率进行了转化，得到了较好的刻画测试阶段和操作阶段失效率差别的模型（TO—SRGM）．最后，通过实例用最小二乘法对此模型的参数进行了估计．实验结果表明，在某些失效数据集上TO—SRGM的拟和效果比G—O模型和PZ—SRGM好．     

两级分配多可用重命名寄存器

提出了一种新的寄存器重命名机制——两级分配多可用重命名寄存器,简称2L-MuRR,其特点如下：（1）对重命名寄存器文件（RRF）的占用要经过两级重命名和分配过程,减少了无效占用时间.（2）RRF被划分为多个不同宽度的字段,根据目标值的大小进行按字段分配,这样使每个重命名寄存器都是多可用的.（3）同一重命名寄存器内的多个目标值的写（或读）操作可以合并成一次完成,减少了RRF的访问次数和读/写端口的压力.模拟实验表明,2L-MuRR显著提高了RRF的存储能力（70%以上）,能以较少的重命名寄存器满足SMT高并行度的要求,有效缓解了寄存器文件的设计压力.     

循序渐进教学过程贯彻发现法

本文以"模拟电子技术基础"课程中的运算放大器构成的仪表放大器为例,阐述了运用发现法循序渐进地进行教学的过程.这种教学方法由浅入深,符合学生的认知过程,降低了学习难度,而且使学生在整个学习过程中保持主动性,能够充分发挥想象力和创造力,有利于对学生创新意识和创新能力的培养,提高教学质量.     

处理器容错技术研究与展望

随着生产工艺的进步和硅形体尺寸的缩小,计算机系统面临着前所未有的瞬态故障影响,可信计算已经成为桌面级和嵌入式系统设计和应用的热点,其中以处理器的可信设计为核心.首先,从容错技术角度对处理器提出了一种新颖的、比较全面的分类方法;在此基础上,以处理器容错技术发展趋势为线索,对目前流行的处理器结构、微结构的容错机制和容错技术以及不同层次上有代表性的最新研究成果做了介绍和分析;最后,对处理器容错技术研究新趋势及其发展方向提出了意见和建议.     

基于Markov随机场的运动目标快速分割

提出了一种基于MRF模型自适应运动目标图像分割方法，该法采用高斯混合模型描述视频序列的差分图像，用模拟退火快速EM算法对高斯分布的参数进行估计，在此基础上建立MRF模型，利用此模型构建能量函数，ICM算法把图像用一个能量函数取到最小值的组态来表示。     

软件测试资源与成本管控和最优发布策略

为全面系统地了解软件测试过程中与可靠性相关的重要过程的研究现状和最新发展,对测试资源和成本的管理,以及最优发布技术问题进行了深入研究。首先将研究问题划分为4类,剖析了测试资源分配与控制,成本模型和最优发布基本内容,给出了其公式化的形式化描述和内在关系;然后从软件体系结构建模、测试过程建模、非线性最优化与仿真求解3个方面进行了技术分类评述。进一步将研究内容从5个方面进行归一化分类,并对选取的典型模型进行了归类比较总结。最后,指出了进一步研究发展的主要问题。研究分析表明,测试资源分配与成本管控和最优发布策略中,考虑到软件体系结构特征和不完美排错模型,向多目标融合方向发展,并与可靠性评估相关是后续研究的研究。     

基桩低应变动测异常的模糊综合评判

本文介绍对低应变基础动测异常进行桩身质量检测的模糊综合评判的方法和原理,并通过实例证实了该方法应用的合理性。     

基于字符基元视觉短语的图像关键字识别

提出了一种利用字符基元视觉短语进行图像关键字识别的方法.该方法通过提取图像关键字的最大稳定极值区域,并进行归一化后得到字符基元.由于通常情况下每个关键字由若干字符基元构成,因此通过采用利用邻接的字符基元构造的视觉短语来提高图像关键字特征描述的可区分性;由于不同的字符基元组合结构可能构成不同的图像关键字,因此基于字符基元相邻关系判断短语几何结构的相似性.此方法不需要对图像进行二值化、布局分析和文本区域定位等预处理操作,具有更好的灵活性和鲁棒性.实验结果表明,此方法对于不同语言的图像关键字识别都具有较高的准确性.     

胶结充填料浆在冒落区中渗流的模拟

利用模拟实验装置,在实验室模拟研究了胶结充填料浆在冒落区空隙中渗流的情形,得出了料浆流量与料浆粘度和所流过的砂石层渗透率之间的关系,从而证实了胶结充填料浆在冒落区空隙中的渗流符合达西定律.为实施冒落区胶结充填技术提供了依据.     

移动自组织网络环境中负载均衡策略研究

针对移动自组织网络中负载分布不均所导致的网络性能恶化问题,提出了一种基于分组转发行为不确定度量的网络负载计算方法,并以此为基础提出了负载均衡按需路由协议,通过监测分组转发过程中的行为变化特征,采用信息熵的形式对其进行量化和度量,并在路由发现过程中利用节点负载监测信息合理规避网络热点区域,以达到网络负载均衡分布的目的。仿真结果表明,基于负载均衡策略的路由协议能够有效提高分组递交成功率,降低分组传输延迟。