杂志简介：《清华大学学报·自然科学版》杂志经新闻出版总署批准，自1915年创刊，国内刊号为11-2223/N，是一本综合性较强的科技期刊。该刊是一份月刊，致力于发表科技领域的高质量原创研究成果、综述及快报。主要栏目：专题 燃料电池与锂离子电池、专题 电力系统、机械工程、自动化、计算机科学与技术、建设管理等
杂志简介：《清华大学学报·自然科学版》杂志经新闻出版总署批准，自1915年创刊，国内刊号为11-2223/N，是一本综合性较强的科技期刊。该刊是一份月刊，致力于发表科技领域的高质量原创研究成果、综述及快报。主要栏目：专题 燃料电池与锂离子电池、专题 电力系统、机械工程、自动化、计算机科学与技术、建设管理等
作者：杨舟 王红 杨士元 刊期：2011年第S1期
混合信号片上系统(SoC)模拟核的测试是SoC测试的难点之一,常用片上数模转换器(DAC)、模数转换器(ADC)配合模拟核进行测试。本文对于片上DAC、模拟核、ADC同时待测的情况,基于模拟核的振荡测试、ADC柱状图测试和DAC脉宽测试等方法,提出联合测试方案。将重构模拟核产生的三角波振荡信号,分别作为ADC柱状图测试和DAC脉宽测试的激励,并引入ADC和DAC...
作者：边永超 毕经平 刊期：2011年第S1期
电动汽车作为清洁绿色的新能源汽车,将在未来交通体系中发挥越来越重要的作用。电动汽车的研发需要在大量实际行驶数据的基础上进行统计分析,以定位存在的问题,从而对技术进行改进。目前针对车辆的感知分析系统主要针对传统动力汽车,并采用IPv4作为通讯协议,无法满足大规模部署对地址空间的需求。针对这些不足,该文设计实现了基于IPv6的电动汽车...
作者：王思岚 王雅文 宫云战 刊期：2011年第S1期
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆...
作者：王峰 郭长国 宗建建 施寅生 刊期：2011年第S1期
软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面...
作者：马闯 刘宏伟 左德承 吴智博 杨孝宗 刊期：2011年第S1期
为了在无线传感器网络可靠性研究中对故障检测等容错机制进行准确评价和量化分析,有必要进行网络故障模型的研究。该文提出了1种具有高覆盖度特点的网络层次化故障模型。在4种网络故障类型研究基础上利用图论方法提出面向节点层和子网络层的层次化故障模型设计方法,基于复杂网络聚类系数给出1个面向故障模型的单点型关键节点判定定理,并以此为例...
作者：周傲 王雅文 宫云战 刊期：2011年第S1期
为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对...
作者：李璟 刘宏伟 舒燕君 马闯 刊期：2011年第S1期
为了保证某些领域的嵌入式计算机系统的信息安全,提出了系统多方式自毁功能模块。基于关键领域计算机的自毁功能,提出多级自毁策略。在一个三模冗余加热备份模块的模型机的基础上,设计并实现了多策略的自毁安全子系统。通过软硬件结合,采取数据、程序、电气等3种自毁方式。通过测试,能够达到预期效果。
作者：徐文芳 刘宏伟 舒燕君 马闯 刊期：2011年第S1期
随着嵌入式计算机的应用越来越广,对嵌入式系统的可靠性要求也越来越高,嵌入式可信计算机应运而生。针对可信计算机的功能需求,研究了容错与嵌入式可信计算机的相关概念和技术,提出了三模冗余加单模热备份的3+1混合冗余结构,采用FPGA完成了基于该结构的系统管理板的研究与设计。实验表明:该管理板能够有效地管理系统中的计算模块、电源模块及I/O...
作者：景维鹏 吴智博 刘宏伟 董剑 刊期：2011年第S1期
为了解决异构分布式系统中可靠调度问题,提出一种考虑处理机链路通信竞争的,支持优先级约束任务的容错调度(FSPCT)算法。该算法使用通信竞争模型描述处理机之间通信,在备份成本最小化和备份任务最早完成之间寻求平衡点。对主副版本任务的最早开始时间进行分析,并限定了所执行的处理机,在处理机出现故障后任务可以顺利执行。实验结果表明FSPCT算...
作者：李香 门朝光 何忠政 韩波 刊期：2011年第S1期
移动计算环境的复杂性、网络条件多样性,便携设备有限的资源、弱连接性、安全漏洞等因素,使得系统中故障发生的可能性增加,有效地感知、隔离、恢复故障可提高系统容错性能。该文针对具有中心结点类的移动计算环境,运用互测比较的方法,通过小区中的移动结点和移动支持站进行交互测试来获取故障征兆信息;基于概率诊断方法对检测结果进行评估,运用...
作者：李光宇 梁华国 李扬 虎号 刊期：2011年第S1期
提出了一种基于向量优化重组的LFSR重新播种方法。针对测试集中测试向量的确定位位数不同的特点,先对测试向量进行奇偶切分,接着进行重组,使新生成的测试向量中确定位大致相等。然后对新测试向量集进行LFSR编码,从而提高测试压缩率。该方案解压电路结构简单,并且种子的位数较少,与目前国内外同类方法相比,具有测试数据压缩率高、解压结构简单及...
作者：施寅生 邓波 唐乐乐 齐璇 刊期：2011年第S1期
针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测...
作者：魏晨辉 张展 向琳 王书婷 左德承 刊期：2011年第S1期
高端容错计算机性能评测中,故障库的建立对故障模型、故障传播的研究有着非常重要的意义。该文设计并实现了1个高端容错计算机故障日志分析系统,旨在对日志文件进行故障的抽取和格式化后,构建故障库,并在此基础上运用数据挖掘技术进行关联分析,使系统能够解析尽可能多类型的日志文件。给出了日志分析系统的架构、工作流程及具体实现,并利用该系...
作者：赵亮 侯金宝 刊期：2011年第S1期
软件缺陷预测中使用哪些软件度量和如何使用度量进行预测目前还没有定论。该文提出基于度量组合的方法来分析各种度量在缺陷预测中的作用,并用试验的方法证明了在缺陷预测中使用有限的度量可以达到与使用所有度量相近的预测效果。提出的度量组合方法具有通用性,能为缺陷预测过程提供有效的度量选择方法,并提高了预测结果的可解释性。
作者：李博 周海鹰 左德承 吴智博 刊期：2011年第S1期
该文通过设计符合实际业务需求的银行中间业务模型(BIBmodel)和基于此的性能评测基准(BIBbench),来为大型银行系统的服务器性能评测提供测试模型标准及为选型提供指导标准,其性能指标及测试模型更加符合实际需求。详细介绍了BIBmodel的业务模型、系统架构、数据库模型和事务/帧模型,并提出了符合实际测量需求的基于BIBbench的负载测试算法。结果...
相关文章
清华大学自主招生
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：0.67
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.3
期刊级别：北大期刊
发行周期：半月刊