覆盖率驱动的随机测试生成技术综述

随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.

基于遗传算法的全芯片级覆盖率驱动随机验证技术

随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.

WWW集群服务器的数据副本分布方式研究

为了有效地提高 WWW服务器的吞吐能力、反应速度和可扩展性 ,国际上许多著名站点纷纷转向采用WWW集群服务器来替代原有的单一主机服务器 .采用不同副本分布方式的 WWW集群服务器 ,其数据可靠性也有所不同 .对不同数据副本分布方式进行探讨 ,同时 ,论证了最优副本分布方案 .

基于马尔可夫过程模型的服务器集群数据可用性分析

可用性是衡量服务器集群的重要指标.在基于马尔可夫过程的服务器状态转移模型基础上,推出根据单台服务器的可用性计算服务器集群可用性的形式化方法,建立了单服务器可用性、服务单元可用性和整个服务器集群可用性之间的量化关系,进而得到多副本分布集群的数据可用性公式.本文的成果有效支持给定服务结点可用性参数的约束下准确估计服务器集群的可用性,对于从可用性角度辅助用户进行集群设计具有理论价值和实际意义.

基于BIM的桥梁养护管理应用初探

通过分析建筑信息模型(BIM)的特点及优势,讨论了BIM应用于桥梁工程各个阶段的可行性和必要性;在分析中国公路桥梁管理系统(CBMS)的基础上,初步探讨BIM技术与地理信息系统(GIS)相结合的应用模式及可视化桥梁养护信息的实现方式;结合桥梁信息模型的特点,分析了建立专家辅助决策系统的可能性,为BIM在桥梁养护管理系统中的应用发展提供参考,以期实现基于BIM的桥梁全生命周期管理。

基于多级副本分布的机群服务器动态扩展研究

升级和扩展是机群服务器系统需要经常面对的问题。该文提出了基于多级副本分布的机群服务器系统重构和动态扩展模型及结点动态添加算法,采用优化的局部平衡文件迁移策略,有效减少系统动态添加新结点时的文件迁移开销,支持机群系统的动态扩展。

浅谈凝汽器胶球清洗装置投用的若干经验

外高桥发电厂 30 0MW机组在应用凝汽器胶球清洗装置中 ,根据电厂实际情况 ,进行了不断探索和总结经验。从加强设备管理 ,提高检修质量的角度 ,制定了相应的措施 ,从胶球清洗的工作原理和系统的配置上重点分析如何选用适合电厂的胶球并对收球方式进行了探讨 ,提高了胶球的回收率 。

片上多核处理器存储一致性验证

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具LCHECK.LCHECK利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具,LCHECK发现了一些存储系统的设计错误.

技术学习对企业创新绩效的影响因素分析

以上海、杭州、深圳、青岛、洛阳等地的118家企业作为研究对象,对技术学习如何通过影响企业技术能力进而影响企业创新绩效进行实证研究。结果表明,技术学习的五方面要素———学习源、学习内容、学习主体、学习层次和学习环境均会直接或通过影响技术能力间接影响企业创新绩效。其中,学习源对创新绩效不具备间接影响作用,学习环境对创新绩效不具备直接影响作用,而对于创新绩效影响最为显著的要素依次是学习内容、学习层次和学习源。

电站设备易损件寿命评定与寿命管理技术的研究

提出了电站设备易损件的寿命评定方法,给出了易损件寿命数据的统计分析、分布检验、参数估计的方法,平均寿命、可靠度与可靠寿命的计算方法,易损件失效后果分类方法,易损件更换周期的确定方法以及常用计算公式.介绍了电站设备易损件寿命管理系统的功能,并给出了应用实例.应用易损件寿命评定方法及寿命管理系统,可以在使用阶段确定易损件的更换周期,为易损件的检修与更换以及电站设备的优化检修提供技术依据.

局部尿激酶溶栓治疗血透患者自体动静脉内瘘血栓形成的疗效及随访观察

自体动静脉内瘘（autogenousarterio—VENOUSfistu—las，AVF）是血液透析患者血管通路的第一选择。动静脉内瘘血栓形成是血液透析患者内瘘失功的主要原因。目前虽然有经导管溶栓术、带气囊导管取栓术、经皮血管成形术及内支架置入术等一系列创伤小见效快的方法治疗动静脉内瘘血栓形成，但费用较高，操作较为复杂[1]。应用尿激酶局部注射治疗动静脉内瘘血栓形成，花费少，操作简单，但各家文献报道的治疗方案及疗效不一，且较少有后续治疗方案及预后报道。本文分析了姜堰市人民医院血液净化中心2005年1月～2012年4月收治的26例30例次局部注射尿激酶治疗动静脉内瘘血栓形成伴后续巩固治疗的临床资料，研讨局部注射尿激酶治疗动静脉内瘘血栓形成的治疗方案及溶栓成功后的后续治疗疗效，随访其长期通畅率。

龙芯2号微处理器的功能验证

开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务·龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战·简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误·主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法·模拟仿真是主要的验证手段,新的形式化验证方法也应用到了验证流程当中·

新产品开发模糊前端创意管理模型框架及实证分析——基于全面创新管理的全要素角度

新产品开发是企业赢取竞争优势的保障。新产品开发前端的执行效果与效率将决定项目开发程度。我国企业要提升企业自主创新能力,就需从企业创新的源头抓起,做好新产品开发模糊前端的创意管理。从全面创新管理(T IM)全要素参与的角度,构建了新产品开发模糊前端全面考虑的创意管理模型,进而提高企业创新绩效。

一种基于SAT的运算电路查错方法

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.

龙芯2号微处理器浮点除法功能部件的形式验证

基于决策图的字级模型检验方法虽然能完全验证运算电路,但它从有缺陷的设计中发现系统规范的反例所需时间较长.而基于SAT的有界模型检验方法虽然能较快地发现反例,但它不支持包含数学公式的系统规范,因而难以用于验证运算电路.提出了基于SAT的字级模型检验方法,该方法将CNF扩展为能混合布尔公式和数学公式的E-CNF用以表示设计和系统规范,并对有界模型检验工具和SAT求解器进行字级的扩展,使它们能分别生成和处理E-CNF.龙芯2号微处理器浮点除法功能部件验证同时采用了基于PHDD和基于SAT的字级模型检验方法.数据表明,基于SAT的字级模型检验方法能快速地发现运算电路中的设计缺陷.两种方法互为补充,在能完全验证设计的同时显著缩短了设计周期.

超大规模集成电路可调试性设计综述

随着硬件复杂度的不断提高和并行软件调试的需求不断增长,可调试性设计已经成为集成电路设计中的重要内容.一方面,仅靠传统的硅前验证已经无法保证现代超大规模复杂集成电路设计验证的质量,因此作为硅后验证重要支撑技术的可调试性设计日渐成为大规模集成电路设计领域的研究热点.另一方面,并行程序的调试非常困难,很多细微的bug无法直接用传统的单步、断点等方法进行调试,如果没有专门的硬件支持,需要耗费极大的人力和物力.全面分析了现有的可调试性设计,在此基础上归纳总结了可调试性设计技术的主要研究方向并介绍了各个方向的研究进展,深入探讨了可调试性结构设计研究中的热点问题及其产生根源,给出了可调试性结构设计领域的发展趋势.

龙芯2号原型系统北桥的设计与实现

针对龙芯2号原型系统中主要I/O数据通路上数据流的特点,设计并实现了一款适用于龙芯2号原型系统的北桥。在此北桥的设计中提出并实现了一种用于外部设备互连(PCI)主桥(PCI host bridge,PHB)的数据传输优化方法,这种方法通过自适应的写合并、PCI写数据及时收集重打包和采用固定开销的分阶段PCI读数据预取策略,提高了PCI主桥中数据传输的效率。实验结果表明,所设计的北桥可以充分的利用PCI总线带宽,并且在处理PCI总线上的直接内存访问(DMA)读数据流和处理器更新显卡显存的PCI写数据流时相对同类系统而言具有明显的性能优势。

跨平台系统级虚拟机的访存优化

跨平台系统级虚拟机软件模拟访存操作效率低,严重影响了虚拟机的性能.为提高跨平台虚拟机访存效率,提出了一种使用宿主系统TLB硬件、加速跨平台系统级虚拟机访存地址转换的软硬件协同优化方法.该方法相对于软件访存模拟方法,有效利用了宿主系统的硬件资源,提高了跨平台系统级虚拟机执行访存操作效率.实验结果表明该方法将虚拟机系统的整体性能提高了近15%.提出的方法已实际应用在龙芯系统级跨平台虚拟机中.

使用支持向量机的微处理器验证向量优化方法

为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。

连云港海域海英菜铅含量的测定

[目的]探明连云港海域海英菜中的Pb含量。[方法]采用火焰原子吸收法测定连云港海域海英菜中重金属Pb含量。[结果]海英菜的Pb含量为10．63±0．32mg／kg，加标回收率为95％-105％，Pb污染因子质量分指数Pi≥1．0。[结论]采用火焰原子吸收法测定海英菜中重金属Pb含量准确可靠；海英菜中的Pb含量远超出国标水产类标准。