期刊文献+
共找到167篇文章
< 1 2 9 >
每页显示 20 50 100
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification
1
作者 Mehmet Beyaz 《International Journal of Communications, Network and System Sciences》 2023年第5期97-104,共8页
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid... This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization. 展开更多
关键词 Development methodologies Network Softwarization DevOps NetOps verification Software-Defined Networking Network Function Virtualization Automation COLLABORATION Testing Validation Network Operations Network Management
下载PDF
Reflections on the Three Controversies in Economic Methodology by Virtue of the Philosophy of Science
2
作者 Shaozhong Cui 《Economics World》 2023年第1期20-30,共11页
The philosophical foundation of the mainstream neoclassical economics is empirical philosophy.The controversies of economic methodology over inductive and deductive methods,over verificationistic and falsificationisti... The philosophical foundation of the mainstream neoclassical economics is empirical philosophy.The controversies of economic methodology over inductive and deductive methods,over verificationistic and falsificationistic approaches,and over positive and normative analyses in the evolution of economics are associated with those in the philosophy of science.The evolution of philosophy of science suggests that the above-mentioned pairs of economic methodologies should be appropriately combined when used in economics.It is not sensible to overemphasize either one inside each pair of economic methodologies. 展开更多
关键词 philosophy of science economic methodology INDUCTION DEDUCTION verification FALSIFICATION positive analysis normative analysis
下载PDF
Accuracy verification methodology for computer-generated hologram used for testing a 3.5-meter mirror based on an equivalent element
3
作者 Kai Xu Haixiang Hu +3 位作者 Xin Zhang Hongda Wei Zhiyu Zhang Xuejun Zhang 《Light(Advanced Manufacturing)》 2024年第2期41-49,共9页
Interferometry with computer-generated holograms(CGHs)is a unique solution for the highly accurate testing of large-aperture aspheric mirrors.However,no direct testing method for quantifying the measurement accuracy o... Interferometry with computer-generated holograms(CGHs)is a unique solution for the highly accurate testing of large-aperture aspheric mirrors.However,no direct testing method for quantifying the measurement accuracy of CGHs has been developed.In this study,we developed a methodology for verifying CGH accuracy based on an element that is functionally equivalent to a large-aperture mirror in terms of accuracy verification.The equivalent element decreased the aperture by one or higher orders of magnitude,implying that the mirror could be replaced by a non-CGH technology in a comparison test.In this study,a 281 mm diamond-turned mirror was fabricated as the equivalent element of a 3.5 m aspheric mirror and measured using CGH and LUPHOScan profilometers.Surface error composition and root-mean-square(RMS)density analyses were performed.The methodology verification accuracy of the CGH was 4 nm(RMS)in the low-to mid-frequency bands,with a measured surface accuracy of approximately 10 nm(RMS).This methodology provides a feasible solution for CGH accuracy verification,ensuring high-accuracy and reliable testing of large-aperture aspheric mirrors. 展开更多
关键词 Accuracy verification methodology Computer-generated hologram Large-aperture mirror testing Equivalent element
原文传递
理论导向的体育社会学定量研究:问题、策略与展望 被引量:1
4
作者 边燕杰 张伊雪 鲁肖麟 《上海体育大学学报》 CSSCI 北大核心 2024年第1期1-13,共13页
定量研究是推动体育社会学发展的关键因素。定量研究的客观性、精确性和可重复性有助于深入理解体育现象,验证理论假设,推动理论创新。当前,我国体育社会学定量研究处于上升阶段,面临诸多困境和挑战。基于“理论导向的实证研究”理念,... 定量研究是推动体育社会学发展的关键因素。定量研究的客观性、精确性和可重复性有助于深入理解体育现象,验证理论假设,推动理论创新。当前,我国体育社会学定量研究处于上升阶段,面临诸多困境和挑战。基于“理论导向的实证研究”理念,提出解决这些困境的3个核心环节:问题意识、理论探究、数据验证。在数字社会背景下,研究者应积极运用新数据、新技术和新方法赋能理论创新,揭示新的因果机制,催生新的研究范式。 展开更多
关键词 体育社会学 定量研究 研究方法 问题意识 理论探究 数据验证
下载PDF
胶乳增强免疫比浊法NSE诊断试剂盒性能验证及临床应用
5
作者 白晶 刘瑜 +1 位作者 蒲云罡 刘向祎 《标记免疫分析与临床》 CAS 2024年第7期1315-1320,共6页
目的对胶乳增强免疫比浊神经元特异性烯醇化酶(neuron-specific enolase,NSE)试剂盒进行性能验证。方法按照CNAS-GL037:2019《临床化学定量检验程序性能验证指南》、WS/T492-2016《临床检测定量测定项目精密度与正确度性能验证》并结合... 目的对胶乳增强免疫比浊神经元特异性烯醇化酶(neuron-specific enolase,NSE)试剂盒进行性能验证。方法按照CNAS-GL037:2019《临床化学定量检验程序性能验证指南》、WS/T492-2016《临床检测定量测定项目精密度与正确度性能验证》并结合试验工作,重新设计了检验方法,在贝克曼库尔特AU5800全自动生化分析对北京九强金斯尔NSE胶乳增强免疫比浊法试剂盒的正确度、精密度、线性范围、可报告范围和生物参考区间等性能进行验证和评估,并与对应罗氏电化学发光法试剂盒进行方法学比对。测试结果与厂家所给出的产品分析性能以及美国国家卫生委员会临床检测中心(National Center for Clinical Laboratories,NCCL)的相关指标进行了对比。结果5个水平的正确度偏倚分别为1.74%、-1.42%、-0.88%、-3.09%和-0.90%;2个水平的批内及批间精密度的变异系数(coefficient of variation,CV)分别为1.85%和0.88%(判断标准CV<7.5%),4.99%和3.34%(判断标准CV<10%);线性范围(3.5~148.1ng/mL)验证回归系数a值为0.9894,R2=0.9978;最大稀释倍数为8倍,临床可报告上限为1165.2ng/mL;厂家提供的生物参考区间为0~16.3ng/L,符合率R为100%,各性能均通过验证。此外,与罗氏电化学发光试剂盒进行方法学比对,其相关性分析结果为:两种方法的相关性(R2=0.989)、一致性(CCC=0.984)均较好,在临床判定效果上同Roche的电化学发光试剂盒相比,免疫增强比浊方法阳性符合率为95.74%,阴性符合率为96.23%,两者测定值接近,相关系数达0.9894。结论基于全自动生化分析平台测定的NSE胶乳增强免疫比浊试剂盒,各性能均可以较好地满足临床使用要求,且与电化学发光法检测结果一致性较好,有望进一步推进NSE国产体外诊断试剂盒的临床应用。 展开更多
关键词 NSE 胶乳免疫比浊法 生化分析仪 性能验证 方法学比对
下载PDF
基于UVM的SoC环境中PCIe验证平台设计
6
作者 高秋辰 胡勇华 《计算机工程》 CAS CSCD 北大核心 2024年第9期189-196,共8页
系统级芯片(SoC)集成多种外设接口,其外设接口的验证工作已经成为芯片开发最耗时的环节之一。PCIe协议为系统内部提供了高速的点对点串行互联服务,同时还支持热插拔和热交换,逐渐成为一种通用的总线协议。使用传统硬件描述语言(HDL)对P... 系统级芯片(SoC)集成多种外设接口,其外设接口的验证工作已经成为芯片开发最耗时的环节之一。PCIe协议为系统内部提供了高速的点对点串行互联服务,同时还支持热插拔和热交换,逐渐成为一种通用的总线协议。使用传统硬件描述语言(HDL)对PCIe接口设计进行验证时,存在短时间内难以覆盖多种设计场景和边界条件,以及验证不完备等问题。为了解决上述问题,利用统一验证方法学(UVM)搭建1个PCIe接口的验证平台。该平台采用UVM定义的框架和测试类,实现了顶层环境集成和测试约束的设计,具有可重用性强和验证全面的特点。实现的内容包括SoC系统级环境集成、待测模块设计与连接、验证平台中sequencer类和monitor类的实现,以及部分接口设计。为了确保测试用例覆盖尽可能多地设计状态和路径,针对性地划分不同功能点,并设计约束条件。通过多种覆盖率指标对测试用例的有效性和覆盖程度进行评估。实验结果表明,该验证平台能缩短验证周期,使综合覆盖率提高30%以上。 展开更多
关键词 PCIe协议 验证平台 统一验证方法学 覆盖率 验证IP
下载PDF
基于UVM的异步接口CAN控制器验证平台 被引量:1
7
作者 孙维东 胡小刚 《电子技术应用》 2024年第1期35-40,共6页
针对带有异步接口的CAN控制器,设计实现了一种基于UVM的随机化、可重用的功能验证平台。该平台使用面向对象的UVM类搭建,代码可重用性更强,开发周期更短;引入随机化程度更高的激励加快功能验证的收敛速度,且更加贴近芯片的实际应用场景... 针对带有异步接口的CAN控制器,设计实现了一种基于UVM的随机化、可重用的功能验证平台。该平台使用面向对象的UVM类搭建,代码可重用性更强,开发周期更短;引入随机化程度更高的激励加快功能验证的收敛速度,且更加贴近芯片的实际应用场景;自动化比对机制可以实时地输出结果报告,便于问题的定位和调试。平台独创性地实现了CAN总线代理器和异步接口驱动器两个组件,兼容CAN 2.0B标准协议和Intel/Motorola异步接口时序,实现了平台与DUT的数据交互。实验结果表明,设计验证平台可以有效验证待测设计异步接口CAN控制器。 展开更多
关键词 芯片设计验证 通用验证方法学 可重用验证平台 控制器局域网
下载PDF
基于分层DEMATEL算法的联合作战构想定性验证模式研究
8
作者 李佳恒 王明宇 +3 位作者 杨菁 马明辉 王伟 杨帆 《空军工程大学学报》 CSCD 北大核心 2024年第4期49-57,共9页
联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需... 联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需求和验证方式,提出了基于“物理-事理-人理”三属性准则的分析架构,构建了基于目的性、合理性、可行性、协调性、风险性5个维度准则的定性验证指标体系,并进行了案例计算和结果分析,可为联合作战构想定性验证提供新方式方法。 展开更多
关键词 分层DEMATEL方法 WSR方法论 联合作战 作战构想 定性验证
下载PDF
一种可暂停的低功耗DMA控制器设计及验证
9
作者 苏皇滨 林伟 林伟峰 《电子与封装》 2024年第3期69-74,共6页
通过分析直接内存存取(DMA)控制器的工作原理和主要功耗来源,发现其在空闲状态时依然存在功耗较高的问题,为了解决空闲状态功耗损失问题以及满足DMA控制器实际传输过程中可能出现的暂停需求,提出了一种可暂停的低功耗DMA控制器设计方案... 通过分析直接内存存取(DMA)控制器的工作原理和主要功耗来源,发现其在空闲状态时依然存在功耗较高的问题,为了解决空闲状态功耗损失问题以及满足DMA控制器实际传输过程中可能出现的暂停需求,提出了一种可暂停的低功耗DMA控制器设计方案。采用自适应时钟控制机制,通过加入时钟门控技术,根据DMA数据传输需求动态调整时钟,使DMA引擎模块功耗降低了62%。针对暂停需求,采用了一种可暂停的控制策略,通过加入暂停指令,实现对DMA传输的实时暂停和恢复,提高了DMA控制器的灵活性。为了保证DMA控制器功能的正确性和完备性,采用基于覆盖率驱动验证(CDV)的验证策略,划分DMA控制器的功能点,针对每个功能点编写测试用例,搭建通用验证方法学(UVM)仿真验证平台,进行大量随机测试和定向测试,给出了测试的结果以及完整的覆盖率分析结果。 展开更多
关键词 DMA控制器 低功耗设计 暂停指令 时钟门控技术 覆盖率驱动验证 通用验证方法学
下载PDF
基于GRU_LSTM及RL算法的伪随机指令生成器
10
作者 欧阳有恒 严大卫 《计算机技术与发展》 2024年第2期78-83,共6页
在CPU验证过程中,传统伪随机指令生成器通过生成大量合法无序的指令序列,从而实现功能覆盖率或代码覆盖率的验证目标。然而,没有趋向针对性的指令生成,为达到指标需要耗费大量的人力及时间成本。该文以一款基于精简指令集(RISC-V)自研... 在CPU验证过程中,传统伪随机指令生成器通过生成大量合法无序的指令序列,从而实现功能覆盖率或代码覆盖率的验证目标。然而,没有趋向针对性的指令生成,为达到指标需要耗费大量的人力及时间成本。该文以一款基于精简指令集(RISC-V)自研核心为例,在基于通用验证方法学(Universal Verification Methodology, UVM)的验证平台上设计出一种伪随机指令生成器,并针对普通伪随机指令生成器覆盖率低、收敛速度慢的问题,建立GRU_LSTM算法模型,并结合强化学习(Reinforcement Learning, RL)算法构建新算法模型RLGRU_LSTM应用于伪随机指令生成过程,并且针对RL方向决策,提出了基于霍夫曼编码的CPU指令包编码方式训练opcode分布,同时融合了CPU指令类型和指令间执行顺序因素,快速捕获人工定向验证预料不到的验证盲点,有效加快了代码覆盖率达到预期的进程。该文着重描述伪随机指令生成器及RLGRU_LSTM算法对模型训练过程的指导。实验结果表明,与直接使用伪随机指令生成技术相比,该方法在约定伪随机指令条目下,相比传统伪随机方法能提高约19%的覆盖率,收敛至目标覆盖率消耗时长减少22%。 展开更多
关键词 门控循环单元 长短记忆 强化学习 伪随机指令生成 通用验证方法学
下载PDF
医院制剂上感合剂微生物限度检查方法建立
11
作者 赵婷 曾博雅 +4 位作者 马佩杰 卢俊玮 舒文将 强羽菲 鞠依珊 《贵州医药》 CAS 2023年第10期1522-1524,共3页
目的建立简单、有效的医院制剂上感合剂微生物限度检查的方法。方法根据2015年版《中国药典》四部通则规定的方法对该制剂的微生物限度检查方法学进行验证。结果微生物计数检查的5种菌株回收率在0.5~2范围内,控制菌检查大肠埃希菌合格... 目的建立简单、有效的医院制剂上感合剂微生物限度检查的方法。方法根据2015年版《中国药典》四部通则规定的方法对该制剂的微生物限度检查方法学进行验证。结果微生物计数检查的5种菌株回收率在0.5~2范围内,控制菌检查大肠埃希菌合格。结论建立的方法准确可行,可用于医院制剂上感合剂的微生物限度检查。 展开更多
关键词 上感合剂 2015版《中国药典》 微生物限度检查 方法学验证 回收率
下载PDF
基于DPI-C的脉动阵列模块验证平台
12
作者 王鑫 陈博 《计算机测量与控制》 2023年第6期293-298,共6页
针对卷积神经网络加速器中有关于脉动阵列模块的验证,提出并实现了一种基于直接编程接口C(DPI-C)程序的验证平台,采用内嵌DPI-C程序并利用通用验证方法学(UVM)满足脉动阵列模块中的浮点数乘加运算的验证需求;实验利用了SystemVerilog中... 针对卷积神经网络加速器中有关于脉动阵列模块的验证,提出并实现了一种基于直接编程接口C(DPI-C)程序的验证平台,采用内嵌DPI-C程序并利用通用验证方法学(UVM)满足脉动阵列模块中的浮点数乘加运算的验证需求;实验利用了SystemVerilog中的DPI接口技术,在验证平台中实现对C或C++代码的调用,通过编写C函数来实现复杂的参考模型,浮点数乘加运算便是利用C代码编写的;验证平台的整体结构是根据UVM来设计的,其中包括激励的设计、参考模型的编写、数据校对等组件,整个验证平台高效、简洁;此平台已经应用于人工智能芯片的验证工作中,编写的测试用例可以对脉动阵列进行充分验证,覆盖率达到了100%;验证平台可以保证脉动阵列验证的全面性、高效性并且调试纠错简单方便,同时还实现了UVM环境和测试用例的重用。 展开更多
关键词 直接编程接口C 验证平台 验证方法学 脉动阵列 人工智能芯片
下载PDF
塔拉粉酶解废液HPLC指纹图谱及2个主成分含量测定方法研究
13
作者 管勤昊 汤丽华 +3 位作者 张亮亮 徐曼 刘义稳 黄立新 《林产化学与工业》 CAS CSCD 北大核心 2023年第5期17-24,共8页
建立了一种同时分析塔拉粉酶解废液中奎宁酸(QA)与没食子酸(GA)的HPLC方法,并进行方法学验证,进一步绘制其HPLC指纹图谱,结合相似度、聚类分析等手段对不同批次塔拉粉酶解废液进行评价。研究结果表明:该方法选择215 nm、流动相乙腈-0.1... 建立了一种同时分析塔拉粉酶解废液中奎宁酸(QA)与没食子酸(GA)的HPLC方法,并进行方法学验证,进一步绘制其HPLC指纹图谱,结合相似度、聚类分析等手段对不同批次塔拉粉酶解废液进行评价。研究结果表明:该方法选择215 nm、流动相乙腈-0.1%三氟乙酸水溶液、乙腈梯度5%~20%、流速1.0 mL/min、柱温30℃作为奎宁酸与没食子酸的色谱分析条件;奎宁酸标准曲线线性范围为1.25~20 g/L、其检测限为0.5 g/L,没食子酸标准曲线线性范围为0.0625~1 g/L、其检测限为5 mg/L;该方法精密度、重复性、稳定性、加样回收试验的RSD均小于5%;奎宁酸与没食子酸平均加样回收率分别为100.87%、99.65%;12批次废液试样指纹图谱分析相似度均大于0.95;可通过聚类分析分为两类,10号和11号样品聚为一类,其余样品聚为一类;计算得到奎宁酸质量浓度为482.3 g/L,没食子酸质量浓度为35.7 g/L。 展开更多
关键词 方法学验证 指纹图谱 奎宁酸 没食子酸
下载PDF
湘派卤汁中10种真菌毒素液相色谱串联质谱法的建立与评价 被引量:3
14
作者 艾道迎 郑奕柔 +6 位作者 黄展锐 赵良忠 林丽丹 周衡平 周凯 周劲松 尹世鲜 《食品与发酵工业》 CAS CSCD 北大核心 2023年第3期306-313,共8页
建立基于液相色谱-串联质谱(liquid chromatography-tandem mass spectrometry,LC-MS/MS)测定湘派卤汁中10种真菌毒素的方法,并进行方法学验证及实际样品检测。样品中同步加入同位素内标经V(乙腈)∶V(水)∶V(乙酸)=84∶15∶1提取液超声... 建立基于液相色谱-串联质谱(liquid chromatography-tandem mass spectrometry,LC-MS/MS)测定湘派卤汁中10种真菌毒素的方法,并进行方法学验证及实际样品检测。样品中同步加入同位素内标经V(乙腈)∶V(水)∶V(乙酸)=84∶15∶1提取液超声波处理、离心提取后,取上清液和水稀释净化,甲醇-水溶液为流动相梯度洗脱,采用电喷雾正负离子的多反应离子监测模式,利用同位素内标定量法进行定性和定量分析。结果表明,10种真菌毒素在10~200μg/L线性范围内线性关系良好(R^(2)>0.9985),检出限和定量限分别为0.1~13.0μg/kg和0.3~40.0μg/kg。10种真菌毒素的3个浓度水平加标回收率为78.6%~107.3%,相对标准偏差为2.2%~14.0%,符合方法学要求。该方法操作简便,回收率、灵敏度、检出限等均满足方法学要求,适用于卤汁中10种真菌毒素的测定。 展开更多
关键词 卤汁 真菌毒素 液相色谱-串联质谱 同位素内标 方法学验证
下载PDF
Lp-PLA2酶法测定试剂盒的临床应用评价
15
作者 孙龙乔子 黄利思 +5 位作者 丘元福 胡慧灵 张小凡 何川疆 卢晓霞 段朝晖 《标记免疫分析与临床》 CAS 2023年第5期846-850,共5页
目的验证北京九强金斯尔脂蛋白相关磷脂酶A2(Lp-PLA2)酶法测定试剂盒的性能指标,评价其是否符合临床需求。方法根据WS/T492-2016《临床检测定量测定项目精密度与正确度性能验证》、CNAS-GL037:2019《临床化学定量检验程序性能验证指南》... 目的验证北京九强金斯尔脂蛋白相关磷脂酶A2(Lp-PLA2)酶法测定试剂盒的性能指标,评价其是否符合临床需求。方法根据WS/T492-2016《临床检测定量测定项目精密度与正确度性能验证》、CNAS-GL037:2019《临床化学定量检验程序性能验证指南》及WST402-2012《临床实验室检验项目参考区间的制定》等文件要求,对北京九强金斯尔Lp-PLA2酶法测定试剂盒的正确度、精密度、线性范围、可报告范围和生物参考区间等性能进行验证,并与上海润鸿Lp-PLA2测定试剂盒进行方法学比对。结果正确度验证中,金斯尔Lp-PLA2酶法测定试剂盒测定厂家工作标准品偏差均小于8%;检测配套高低两水平质控品,每个水平检测的重复性和实验室内精密度的变异系数(CV)均在±2%范围内;在线性区间评价试验中,得到线性回归方程Y=1.0054 X-3.3466,R 2=0.9998。验证线性区间为58.53~1181.07U/L,最大可稀释倍数为64倍,临床可报告上限水平为75588.48U/L。厂家提供的生物参考区间男性:230~728U/L,女性:194~640U/L(18~49岁)和208~698U/L(50~88岁)均通过验证,可适用于临床。此外,与上海润鸿Lp-PLA2测定试剂盒进行方法学比对,其相关性回归分析结果为,Y=1.259 X-23.558,R 2=0.9989。结论北京九强金斯尔Lp-PLA2测定试剂盒的各性能指标均可达到行业标准及厂家声明的要求,与上海润鸿试剂盒检测结果一致性较好,可满足临床需求。 展开更多
关键词 脂蛋白相关磷脂酶A2 酶活性法 AU5800 性能验证 方法学比对
下载PDF
SoC芯片上AXI总线IP验证 被引量:1
16
作者 马彬 刘威 《电子设计工程》 2023年第13期56-60,共5页
随着集成电路芯片复杂度的日益提升,芯片验证的工作量在芯片设计中占比70%以上,如何更高效、可靠地完成芯片验证是目前面临的主要问题。以实际项目为例,针对SoC芯片中的AXI总线协议和UVM验证方法学进行研究,基于UVM验证方法学搭建了AXI... 随着集成电路芯片复杂度的日益提升,芯片验证的工作量在芯片设计中占比70%以上,如何更高效、可靠地完成芯片验证是目前面临的主要问题。以实际项目为例,针对SoC芯片中的AXI总线协议和UVM验证方法学进行研究,基于UVM验证方法学搭建了AXI总线协议的通用验证平台,能够对AXI总线接口类型的待测试设计快速完成验证。通过复用搭建的通用验证平台,对自研的AXI接口SRAM控制器模块进行验证,能够快速进行覆盖率数据的收集,证实了基于UVM的AXI总线验证平台具有高效性和可重用性。 展开更多
关键词 验证 SOC UVM AXI
下载PDF
高效液相色谱测定灵芝孢子油番茄红素复合制剂中麦角甾醇含量的方法及验证 被引量:1
17
作者 金凌云 陈言枧 +3 位作者 曹素芳 陈桂秋 吴长辉 李晔 《中国食用菌》 2023年第4期63-66,74,共5页
建立了用高效液相色谱分析灵芝孢子油番茄红素复合制剂中麦角甾醇的方法。采用ZORBAX Eclipse Plus色谱柱(250 mm×4.6 mm,5μm),以甲醇为流动相,流速为1.0 mL·min^(-1),检测波长为282 nm。方法学验证结果表明,麦角甾醇在1.01~... 建立了用高效液相色谱分析灵芝孢子油番茄红素复合制剂中麦角甾醇的方法。采用ZORBAX Eclipse Plus色谱柱(250 mm×4.6 mm,5μm),以甲醇为流动相,流速为1.0 mL·min^(-1),检测波长为282 nm。方法学验证结果表明,麦角甾醇在1.01~100.75 mg·L^(-1)内呈良好的线性关系,R^(2)为0.9999,样品加标平均回收率为102.26%,RSD为1.28%。该方法简便,精密度和稳定性良好,可为灵芝孢子油番茄红素复合物制剂及其相关产品的质量控制方法提供参考。 展开更多
关键词 灵芝孢子油番茄红素复合制剂 高效液相色谱 麦角甾醇 方法学验证
下载PDF
基于高性能安全存储芯片的SATA通路验证 被引量:1
18
作者 常琳琳 于哲 +1 位作者 周舜民 韩林 《计算机系统应用》 2023年第5期338-343,共6页
本文基于UVM验证方法学对自研高性能安全存储SoC芯片系统中SATA通路进行验证,文中对高性能安全存储SoC芯片架构及SATA通路系统工作原理进行说明,以SATA DMA数据传输方式为例介绍了SATA协议链路通信建立及数据传输过程.搭建UVM系统验证平... 本文基于UVM验证方法学对自研高性能安全存储SoC芯片系统中SATA通路进行验证,文中对高性能安全存储SoC芯片架构及SATA通路系统工作原理进行说明,以SATA DMA数据传输方式为例介绍了SATA协议链路通信建立及数据传输过程.搭建UVM系统验证平台,文中对SATA协议进行分析,设计规划系统层面测试用例,编写加载至系统中运行的C固件测试程序,实现对系统应用层面关注的PIO、DMA、NCQ等SATA命令方式数据传输通路的验证.结合具体波形分析,结果表明,SATA通路相关集成设计是合理、满足芯片对SATA数据通路应用需求的,实现了对高性能安全存储SoC芯片系统SATA通路的验证. 展开更多
关键词 UVM SOC SATA数据传输协议 SATA通路 C固件
下载PDF
HPLC法测定胃镜消泡剂中盐酸利多卡因含量
19
作者 殷敏 李秋璐 +1 位作者 董自波 付免 《当代化工》 CAS 2023年第11期2698-2701,2766,共5页
采用高效液相色谱(HPLC)法测定胃镜消泡剂中盐酸利多卡因的含量。色谱柱为Kromasil C_(18)(250 mm×4.6 mm,5μm),流动相为磷酸盐缓冲液(取1 mol·L^(-1)磷酸二氢钠溶液1.3 mL和0.5 mol·L^(-1)磷酸氢二钠溶液32.5 mL,置100... 采用高效液相色谱(HPLC)法测定胃镜消泡剂中盐酸利多卡因的含量。色谱柱为Kromasil C_(18)(250 mm×4.6 mm,5μm),流动相为磷酸盐缓冲液(取1 mol·L^(-1)磷酸二氢钠溶液1.3 mL和0.5 mol·L^(-1)磷酸氢二钠溶液32.5 mL,置1000 mL容量瓶中,加水稀释至刻度,摇匀)-乙腈(50∶50,磷酸调节pH至8.0),流速为1.0 mL·min^(-1),检测波长为254 nm,柱温为30℃。盐酸利多卡因在0.01887~0.37740 mg·mL^(-1)范围内线性关系良好(r=0.9996),平均回收率为99.38%,RSD为0.57%。该方法简便、准确,可用于胃镜消泡剂中盐酸利多卡因的含量控制。 展开更多
关键词 高效液相色谱法 胃镜消泡剂 盐酸利多卡因 含量 方法学验证
下载PDF
基于UVM的报文验收滤波模块验证方法
20
作者 史雷萌 左石凯 +3 位作者 黄新栋 吕鑫 周犇 叶圣哲 《厦门理工学院学报》 2023年第3期17-21,共5页
针对当前芯片验证平台搭建速度慢和验证覆盖率收集困难的问题,提出一种基于通用验证方法学(UVM)的报文验收滤波模块验证方法。该方法利用Python脚本语言搭建UVM平台框架结构,引入随机事件种子并结合可约束随机测试技术收集验证覆盖率,... 针对当前芯片验证平台搭建速度慢和验证覆盖率收集困难的问题,提出一种基于通用验证方法学(UVM)的报文验收滤波模块验证方法。该方法利用Python脚本语言搭建UVM平台框架结构,引入随机事件种子并结合可约束随机测试技术收集验证覆盖率,实现报文验收滤波模块的验证。测试结果表明,该方法收集模块功能的验证覆盖率为100%,与Verilog语言搭建的验证平台相比,代码数据量减少94%,缩短验证平台搭建时间。 展开更多
关键词 滤波模块 验证方法 通用验证方法学(UVM) Python脚本 重用性 覆盖率
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部