In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地...为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。展开更多
目的探究稳定期精神分裂症患者的注意力特点。方法纳入55例稳定期精神分裂症患者和55名健康对照。采用注意网络测试范式(attention network test paradigm,ANT)对被试的注意力进行测评,观察指标包括4种提示线索和3种刺激类型下的反应时...目的探究稳定期精神分裂症患者的注意力特点。方法纳入55例稳定期精神分裂症患者和55名健康对照。采用注意网络测试范式(attention network test paradigm,ANT)对被试的注意力进行测评,观察指标包括4种提示线索和3种刺激类型下的反应时,以及换算后的3种注意网络(警觉网络、定向网络和执行控制网络)反应时。结果在不同提示线索和刺激类型下,患者组的反应时均高于对照组(P<0.001)。患者组的警觉网络反应时[25.43(11.71,42.53)ms vs.39.32(27.46,51.98)ms,P=0.020]和执行控制网络反应时[96.17(36.32,160.13)ms vs.44.43(18.52,89.73)ms,P<0.001]低于对照组,定向网络反应时在两组之间的差异无统计学意义(P=0.136)。结论稳定期精神分裂症患者的警觉网络和执行控制网络存在明显损伤,而定向网络未见明显损伤。展开更多
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。
