期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到218篇文章
< 1 2 … 11 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
利用正交缺陷分类技术测量软件验证过程的有效性 被引量：3
1
作者 袁东林 《计算机应用研究》 CSCD 北大核心 2006年第4期81-84,共4页
正交缺陷分类(ODC)技术是一种对软件过程的有效性进行量化测量的方法,其Trigger属性代表了对验证过程的测量结果;通过分析Trigger属性的统计特性,可以评估验证过程的有效性,并指导开发和测试组改进验证过程。描述了Trigger属性的定义,... 正交缺陷分类(ODC)技术是一种对软件过程的有效性进行量化测量的方法,其Trigger属性代表了对验证过程的测量结果;通过分析Trigger属性的统计特性,可以评估验证过程的有效性,并指导开发和测试组改进验证过程。描述了Trigger属性的定义,并通过具体案例说明了测量软件验证过程的方法。 展开更多
关键词 正交缺陷分类 TRIGGER 验证过程 验证过程测量 软件缺陷 软件故障
下载PDF
原型验证过程中的ASIC到FPGA的代码转换 被引量：9
2
作者 章玮 《今日电子》 2006年第7期56-59,共4页
在对ASIC设计进行FPGA原型验证时,由于物理结构不同。
关键词 ASIC设计 FPGA 代码转换 验证过程 原型 物理结构
下载PDF
双线4-20mA标准电流模拟测量通道的验证过程和诊断过程 被引量：2
3
作者 B.Dudojc J.Mindykowski 许晓彦 《上海海运学院学报》 北大核心 2002年第2期46-50,共5页
介绍了一种采用 4 - 2 0mA标准电流的模拟测量通道的检验过程———即验证过程和诊断过程———的新方法。这种方法对远距离大范围运行的系统 (如远洋船舶 )的状态控制极为有效。在任何情况下 ,它既能提供常规检测 ,还可以在温度检测中... 介绍了一种采用 4 - 2 0mA标准电流的模拟测量通道的检验过程———即验证过程和诊断过程———的新方法。这种方法对远距离大范围运行的系统 (如远洋船舶 )的状态控制极为有效。在任何情况下 ,它既能提供常规检测 ,还可以在温度检测中有特殊情况时指示故障通道。 展开更多
关键词 状态控制 双线4-20mA标准电流 模拟测量通道 验证过程 诊断过程
下载PDF
运筹学中建模及有效性验证过程的要素分析和运筹学工作者的分类
4
作者 吴军 《理工高教研究》 2007年第4期93-95,共3页
通过对运筹学中建模——有效性验证过程涉及的活动:确认"管理状况"、形成"概念模型"、抽象为"公式模型"、最后形成"决策"等进行分析,以有助于未来的运筹学工作者根据问题的性态,结合自己的兴... 通过对运筹学中建模——有效性验证过程涉及的活动:确认"管理状况"、形成"概念模型"、抽象为"公式模型"、最后形成"决策"等进行分析,以有助于未来的运筹学工作者根据问题的性态,结合自己的兴趣、特长,发展自己在某一方面的研究。 展开更多
关键词 验证过程 运筹学 工作者 有效性 要素分析 建模 分类 概念模型
下载PDF
经历猜想验证过程 逐步抽象数学模型——“平行四边形的面积”教学案例
5
作者 韩巍 《小学教学（数学版）》 2011年第11期24-25,共2页
【教学内容】 北师大版教材五年级上册＂图形的面积（一）＂单元中＂平行四边形＂一课。 【主题阐述】 猜想是一种创造性思维方式。在数学学习过程中,有意识地引导学生进行猜想,能有效激发学生的学习兴趣,充分调动学生的探究热情,
关键词 平行四边形 验证过程 猜想 教学案例 数学模型 面积 创造性思维方式 经历
下载PDF
简述药厂空气净化系统验证过程
6
作者 曹姬姬 《医药工程设计》 2003年第5期27-27,6,共2页
药厂空气净化系统的验证 ,是GMP验证的重要组成部分。本文介绍了药厂空气净化系统验证过程 。
关键词 制药厂 空气净化系统 GMP 验证过程
下载PDF
制药企业验证过程中的偏差处理 被引量：1
7
作者 韩悦 《流程工业》 2018年第24期14-17,共4页
制药企业进行验证活动时——可能会出现测试结果与验证目标不一致的情况,对于同一个不一致,不同的原因处理方式亦不同。对偏差进行分类管理,以不同的方法和流程区分对待,一方面能达到降低质量风险的目的,另一方面企业的偏差管理体系会... 制药企业进行验证活动时——可能会出现测试结果与验证目标不一致的情况,对于同一个不一致,不同的原因处理方式亦不同。对偏差进行分类管理,以不同的方法和流程区分对待,一方面能达到降低质量风险的目的,另一方面企业的偏差管理体系会更加系统、科学、高效。 展开更多
关键词 偏差处理 验证过程 制药企业 分类管理 质量风险 管理体系
下载PDF
能力验证过程中出现的问题及解决方法 被引量：1
8
作者 张艳丽 刘宏伟 +4 位作者 宋保军 刘小丽 王丽娟 王风英 张斌 《河南农业》 2021年第34期24-25,共2页
能力验证是通过实验室间的比对结果来确定实验室检测能力的活动。通过能力验证,可使实验室了解分析项目的整体水平和自己所处的位置,进一步提高自身技术能力和管理水平。笔者将近10年的能力验证分享如下:一、标液不出峰(一)问题2008年9... 能力验证是通过实验室间的比对结果来确定实验室检测能力的活动。通过能力验证,可使实验室了解分析项目的整体水平和自己所处的位置,进一步提高自身技术能力和管理水平。笔者将近10年的能力验证分享如下:一、标液不出峰(一)问题2008年9月27日,检测15号样品,标液浓度2.0μg·mL^(-1),稀释成0.2μg·mL^(-1),发现久效磷不出峰,其他峰也较之前峰面积减小,判断可能有漏气地方。 展开更多
关键词 能力验证 整体水平 验证过程 标液 久效磷 问题及解决方法 实验室 管理水平
下载PDF
水泥物理性能试验能力验证过程中的质量控制研究 被引量：1
9
作者 张昕 《四川水泥》 2017年第6期4-4,共1页
在建筑工程中,水泥是建筑工程中必要的建筑材料之一。其中,水泥的质量和物理性质直接影响建筑工程的施工质量和施工安全。水泥物理性能试验能力验证过程必须要保证检验数据的准确性和真实性,才能保证质量的安全。
关键词 水泥物理性能试验能力 验证过程 质量控制研究
下载PDF
中外合资企业资本金验证过程出现的问题与对策
10
作者 夏自厚 吴炎炎 《财税与会计》 1995年第10期18-18,共1页
近年来,在我国改革、开放政策的指引下,不少地方招商引资,吸引了一些外商前来我国兴办企业或与我方企业合资兴办企业。但我们也发现有的合资企业并非真正合资企业,而是假借合资企业名称享受合资企业的优厚待遇;有的合资企业资金不到位,... 近年来,在我国改革、开放政策的指引下,不少地方招商引资,吸引了一些外商前来我国兴办企业或与我方企业合资兴办企业。但我们也发现有的合资企业并非真正合资企业,而是假借合资企业名称享受合资企业的优厚待遇;有的合资企业资金不到位,亏损严重,已不再适应继续合资;有的内资企业利用外资企业的名称,购买汽车、逃避关税等等。 展开更多
关键词 验证过程 问题与对策 中外合资企业 资本金 中方 办企业 资本投入 帐务处理 以实物 再适应
下载PDF
利用频域时钟抖动分析加快设计验证过程
11
作者 Akihiko Oginuma 《中国电子商情》 2007年第8期56-59,共4页
随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建立直接联... 随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建立直接联系。本文将探讨参考时钟的作用和时钟抖动对数据抖动的影响，并讨论在E5052B信号源分析仪（SSA）上运行的Agilent　E5001A精确时钟抖动分析应用软件所配备的全新测量技术。 展开更多
关键词 时钟 验证过程 设计 频域 利用 系统性能 测量技术 数据链路
下载PDF
诊断Windows Server 2003中IPsec问题的9种方法 IPsec的故障排除一般就是验证过程的故障排除
12
作者 Orin Thomas 徐瑾(译) 《Windows IT Pro Magazine（国际中文版）》 2007年第2期47-50,53,共5页
在Windows Server2003中。IPsec出现的故障恐怕都与验证过程有关，本文为你介绍了如何使用操作系统的内建工具排除故障、使IPsec正常运行的9种方法，每种方法都有清晰的说明，相信作为IPsec管理员的你定能从中获益。
关键词 SERVER2003 WINDOWS IPSEC 故障排除 验证过程 诊断 排除故障 操作系统
下载PDF
利用频域时钟抖动分析加快设计验证过程
13
作者 Akihiko Oginuma 《世界电子元器件》 2007年第8期76-78,共3页
简介 随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建立... 简介 随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建立直接联系。本文将探讨参考时钟的作用和时钟抖动对数据抖动的影响，并讨论在E5052B信号源分析仪（SSA）上运行的Agilent E5001A精确时钟抖动分析应用软件所配备的全新测量技术。 展开更多
关键词 时钟抖动 抖动分析 验证过程 设计 频域 信号源分析仪 测量技术 比特误码率
下载PDF
利用频域时钟抖动分析加快设计验证过程
14
作者 Akihiko Oginuma 《电信网技术》 2007年第7期68-71,共4页
1引言 随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建... 1引言 随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性能之间建立直接联系。本文将探讨参考时钟的作用和时钟抖动对数据抖动的影响，并讨论在E5052B信号源分析仪（SSA）上运行的Agilent E5001A精确时钟抖动分析应用软件所配备的全新测量技术， 展开更多
关键词 时钟抖动 抖动分析 验证过程 设计 频域 信号源分析仪 测量技术 比特误码率
下载PDF
拉氏数值模拟程序验证过程的人为解析解方法研究
15
作者 周海兵 《中国工程物理研究院科技年报》 2011年第1期83-85,共3页
数值研究已经成为理论研究和实验研究之外的第三条重要研究手段，数值模拟在产品的设计和研发过程中扮演着越来越重要的角色。特别是随着高性能大规模计算机和数值计算方法的不断进步，数值模拟在工程系统设计、系统测试和虚拟现实等领... 数值研究已经成为理论研究和实验研究之外的第三条重要研究手段，数值模拟在产品的设计和研发过程中扮演着越来越重要的角色。特别是随着高性能大规模计算机和数值计算方法的不断进步，数值模拟在工程系统设计、系统测试和虚拟现实等领域占据越来越重要的地位，在高危险系统或者高价值系统的性能、安全和可靠性方面有着其它研究方法不可替代的优势。大型工程及装置的应用研究与设计要求考虑多种因素、实现高置信度数值模拟，不仅要求接近于真实的物理模型、计算模型，而且要求更为先进的数值模拟方法，最终实现三维真实构型的全物理过程的数值模拟。 展开更多
关键词 数值模拟程序 验证过程 工程系统设计 解析解 数值计算方法 数值模拟方法 数值研究 虚拟现实
下载PDF
自动飞行系统飞行模式操作验证方法研究
16
作者 刘姝 周超 +2 位作者 魏子博 许浩楠 黄雄 《民用飞机设计与研究》 2024年第1期60-65,共6页
现代民用飞机的自动飞行控制系统是主要的人机交互系统之一,其飞行模式操作控制功能由两大物理部分组成:FMCP硬件与自动飞行控制软件。对于复杂的人机交互功能的验证,需要采用面向开发过程的模型验证方法,首先由系统功能层级到功能模块... 现代民用飞机的自动飞行控制系统是主要的人机交互系统之一,其飞行模式操作控制功能由两大物理部分组成:FMCP硬件与自动飞行控制软件。对于复杂的人机交互功能的验证,需要采用面向开发过程的模型验证方法,首先由系统功能层级到功能模块层级逐级分解飞行模式操作控制功能开发架构,进而从功能模块层级到系统功能层级自下而上设计飞行模式操作控制功能验证架构,最后针对功能验证架构中的集成模型测试阶段,以FMCP速度视窗功能为例,通过对所有相关的人机操作进行分类定义,分别定义了速度目标值的状态转换与动作响应,进而针对定义梳理出完整的速度目标值状态转换与动作响应矩阵,矩阵中的每一个表格均对应着速度目标值的状态转换或者动作操作及其对应的响应情况。为自动飞行模式操作控制的集成模型验证提供了参考。 展开更多
关键词 飞行模式操作 人机交互系统 面向开发过程的模型验证 集成模型测试方法
下载PDF
经历验证过程,学会数学地思考——“三角形的内角和”教学设计与说明
17
作者 朱莹 《小学数学教育》 2021年第9期55-56,58,共3页
教学内容:苏教版《义务教育教科书·数学》四年级下册第78~79页。教学目标:1.认识三角形的内角,知道三角形的内角和是180°,并运用解决实际问题。2.经历量、拼、折、剪等操作活动,以及不完全归纳法和推理分析法的验证过程,发展... 教学内容:苏教版《义务教育教科书·数学》四年级下册第78~79页。教学目标:1.认识三角形的内角,知道三角形的内角和是180°,并运用解决实际问题。2.经历量、拼、折、剪等操作活动,以及不完全归纳法和推理分析法的验证过程,发展动手操作、观察比较、抽象概括的能力。3.掌握由特殊到一般的逻辑思维方法,培养敢于质疑、小心求证的研究精神。教学重点:通过操作验证和推理验证证明三角形的内角和是180°。 展开更多
关键词 不完全归纳法 逻辑思维方法 三角形的内角和 敢于质疑 验证过程 教学设计 教学重点 教学内容
原文传递
基于事件约束的软件过程验证 被引量：2
18
作者 顾庆 陈道蓄 《软件学报》 EI CSCD 北大核心 2005年第10期1735-1742,共8页
软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行... 软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(eventconstraintbasedprocessdifferencemetric)和EAD(eventconstraintbasedactivitydeviationmetric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据. 展开更多
关键词 软件工程 软件过程 软件过程改进 过程模型 过程验证 事件约束
下载PDF
工作流过程建模中验证技术的研究 被引量：7
19
作者 喻斌 武友新 《微计算机信息》 北大核心 2008年第3期220-222,共3页
工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环。对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验... 工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环。对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验证下一步的研究方向。 展开更多
关键词 过程验证 佩特里网 合理性 归约 关联矩阵
下载PDF
管腔型压力蒸汽灭菌过程验证模拟装置影响因素的研究 被引量：2
20
作者 曹原 张剑 +2 位作者 梁琦 张流波 林玲 《中国感染控制杂志》 CAS 2009年第4期248-251,共4页
目的探讨管腔型压力蒸汽灭菌过程验证模拟装置（PCD）的主要影响因素。方法在不同真空度和抽真空速率条件下，用B-D抗力综合检测器分别对2种（长、短）管腔型PCD进行测试。结果对于同一型号PCD，真空度越深，所需脉动次数越少；真空度... 目的探讨管腔型压力蒸汽灭菌过程验证模拟装置（PCD）的主要影响因素。方法在不同真空度和抽真空速率条件下，用B-D抗力综合检测器分别对2种（长、短）管腔型PCD进行测试。结果对于同一型号PCD，真空度越深，所需脉动次数越少；真空度相同时，长管腔PCD比短管腔PCD难合格；当抽真空速率在50～100kpa／min时，长管腔PCD比短管腔PCD更难合格。结论压力蒸汽灭菌器的抽真空速率和真空度影响监测结果和灭菌质量。 展开更多
关键词 灭菌过程验证模拟装置 管腔型PCD 压力蒸汽灭菌 真空度 抽真空速率 影响因素 消毒供应中心
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 11 下一页 到第 页
使用帮助 返回顶部