检索结果-内蒙古大学图书馆

含能材料 2025年第1期33卷 1-12页

作者：侯放齐晓宁刘睿宸李玲王莅张香文李国柱天津大学化工学院天津300072 先进燃料与化学推进剂教育部重点实验室天津300072 物质绿色创造与制造海河实验室天津300192 中国科学院计算技术研究所北京100190 中国科学院大学北京100190 承德钒钛新材料有限公司河北承德067102

通过数据收集、结构优化和量化计算,建立了碳数从1到50的2899个烃类分子“结构-多种性质”数据集,性质包含熔点(T_(m))、沸点(T_(b))、密度(ρ)、0 K下的内能(U_(0))、298.15 K下的内能(U)、298.15 K下的焓(H)、298.15 K下的吉布斯自由... 详细信息

通过数据收集、结构优化和量化计算,建立了碳数从1到50的2899个烃类分子“结构-多种性质”数据集,性质包含熔点(T_(m))、沸点(T_(b))、密度(ρ)、0 K下的内能(U_(0))、298.15 K下的内能(U)、298.15 K下的焓(H)、298.15 K下的吉布斯自由能(G)。以表示分子结构的库伦矩阵作为模型输入,建立了决策树回归模型、交叉验证的最小绝对收缩和选择算子回归模型、交叉验证的岭回归模型、极限梯度提升回归模型4种不同的机器学习模型。通过比较不同模型预测性质的精度得出,极限梯度提升回归模型更适用于预测烃类分子的熔点、沸点、密度等通过实验测得的性质,交叉验证的岭回归模型更适用于预测烃类分子的内能、焓、吉布斯自由能等能量的通过理论计算得到的性质。同时,最优的机器学习组合模型可以准确预测相同碳数、不同种类和同分异构体烃类分子的性质。使用最优的机器学习模型计算了34种已通过实验合成的高密度碳氢燃料的密度,计算值与实验值的平均绝对误差为0.0290 g·cm^(-3)。进而,预测了开源数据库GDB-13C中的319,893个烃类分子的燃料性质,并高通量筛选出了37种低凝固点、高密度的新型碳氢燃料候选分子。采用基团贡献法和DFT方法进一步计算了筛选出的碳氢分子的关键燃料性质,这些新型分子与典型燃料JP-10和QC的质量热值和比冲相当。

关键词：机器学习烃类分子高密度碳氢燃料性质预测高通量筛选

来源：评论

学校读者我要写书评

暂无评论

扫描波长调制光谱高精度复现分子吸收率函数方法

引用

物理学报 2025年第6期74卷 132-143页

作者：黄知秋李启正张猛彭志敏杨乾锁杜艳君华北电力大学控制与计算机工程学院北京102206 中国科学院大学工程科学学院北京100049 中国科学院力学研究所流固耦合系统力学重点实验室北京100190 怀柔实验室山西研究院太原030032 清华大学能源与动力工程系北京100084 北京航天计量测试技术研究所北京100076

基于低频三角波扫描加高频正弦波调制的扫描波长调制策略,提出了一种高精度、免标定分子吸收率函数重构方法.该方法利用谱线在扫描频率下对应的各次谐波信号重构出以该频率为中心、以调制深度为半宽度频域范围内的透过率信息,结合低频... 详细信息

基于低频三角波扫描加高频正弦波调制的扫描波长调制策略,提出了一种高精度、免标定分子吸收率函数重构方法.该方法利用谱线在扫描频率下对应的各次谐波信号重构出以该频率为中心、以调制深度为半宽度频域范围内的透过率信息,结合低频扫描即可得到谱线透过率信息,最后对频率重叠区域的透过率进行插值平均即可得到分子吸收率函数.为验证该方法的测量精度,利用CO_(2)分子在6330.821 cm^(-1)谱线对不同浓度CO_(2)的吸收率函数进行重构,并拟合得到浓度,吸收率拟合残差标准差达到10^(-5),强吸收与弱吸收的测量信噪比分别达到503与222.3000次连续在线浓度测量结果分布直方图表明,谐波重构法测量稳定性显著优于直接吸收法和二次谐波峰值法,预期可为谱线参数的高精度标定以及复杂工业现场中弱吸收气体参数高精度在线监测提供新的可靠测量方法.

关键词：扫描波长调制光谱谐波检测透过率数据矩阵吸收率函数重构

来源：评论

学校读者我要写书评

暂无评论

SCANGIN:一种降低扫描测试中动态功耗的方法

引用

计算机辅助设计与图形学学报 2006年第9期18卷 1391-1396页

作者：李佳胡瑜李晓维王伟中国科学院计算技术研究所先进测试技术实验室

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降... 详细信息

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降低93.8%,而面积开销可以忽略不计.

关键词：可测试性设计动态功耗扫描链

来源：评论

学校读者我要写书评

暂无评论

时序电路状态覆盖向量的遗传方法筛选

引用

计算机辅助设计与图形学学报 2006年第2期18卷 251-256页

作者：杨修涛鲁巍李晓维中国科学院计算技术研究所先进测试技术实验室

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动... 详细信息

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较·

关键词：静态状态转换动态状态转换遗传算法测试向量生成

来源：评论

学校读者我要写书评

暂无评论

数据流相关软件故障的静态检测

引用

计算机辅助设计与图形学学报 2005年第11期17卷 2477-2483页

作者：张广梅李晓维中国科学院计算技术研究所先进测试技术实验室

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量... 详细信息

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

关键词：数据流相关的软件故障数据流分析引用-定值链故障检测

来源：评论

学校读者我要写书评

暂无评论

应用向量划分的低功耗确定性BIST方法

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2690-2695页

作者：李吉韩银和李晓维中国科学院计算技术研究所先进测试技术实验室

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,... 详细信息

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,采用文中方法能够减少80%左右的跳变,而只需要原始Mintest测试集25%左右的测试数据存储.

关键词：确定性BIST LFSR重播种低功耗测试向量划分

来源：评论

学校读者我要写书评

暂无评论

RTL和门级结合的处理器时延测试产生方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 75-81页

作者：方红霞李华伟李晓维中国科学院计算技术研究所先进测试技术实验室

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和... 详细信息

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和数据约束,在门级进行有约束的非强健时延测试产生.最后的测试指令由控制指令(序列)+潜在测试指令(序列)+观测指令(序列)构成.

关键词：时延测试指令集处理器数据通路

来源：评论

学校读者我要写书评

暂无评论

RTL可观测性语句覆盖评估方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 62-68页

作者：鲁巍吕涛杨修涛李晓维中国科学院计算技术研究所先进测试技术实验室

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他... 详细信息

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.

关键词：可观测性覆盖准则模拟

来源：评论

学校读者我要写书评

暂无评论

SoC设计中的扫描测试技术

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2685-2689页

作者：徐勇军张伸张志敏李晓维中国科学院计算技术研究所先进测试技术实验室

针对SoC的基于IP设计、多时钟域、多用异步逻辑、时钟门控、系统集成等特点,给出了一种层次化的扫描测试结构,并将该方法成功应用于一款具有数百万门级的SoC设计中.实验结果表明,该方法不但可以极大程度地提高芯片的可测试性,保证其测... 详细信息

针对SoC的基于IP设计、多时钟域、多用异步逻辑、时钟门控、系统集成等特点,给出了一种层次化的扫描测试结构,并将该方法成功应用于一款具有数百万门级的SoC设计中.实验结果表明,该方法不但可以极大程度地提高芯片的可测试性,保证其测试覆盖率,也节约了产品开发时间和开发成本.

关键词： SoC 可测试性设计扫描设计层次化设计方法

来源：评论

学校读者我要写书评

暂无评论

基于STIL的测试向量转换模型及其实现

引用

计算机辅助设计与图形学学报 2007年第1期19卷 114-118页

作者：吴明行韩银和胡瑜王飞李晓维中国科学院计算技术研究所先进测试技术实验室北京100080

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测... 详细信息

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测试仪的测试向量转换系统———SpeedyE2A(S).实验结果表明,在相同的转换条件下,当测试向量较大时,SpeedyE2A(S)系统的转换时间远远少于Credence的TDS系统.经SpeedyE2A(S)系统转换的8051和海尔“爱国者”芯片的测试向量,已经成功地在北京自动测试技术研究所的测试系统上运行.

关键词：测试向量转换模型测试程序标准测试接口语言

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：