期刊文献+
共找到29篇文章
< 1 2 >
每页显示 20 50 100
泥质粉砂岩地层土压平衡盾构渣土改良技术 被引量:23
1
作者 叶新宇 王树英 +2 位作者 阳军生 肖超 周纯择 《铁道科学与工程学报》 CAS CSCD 北大核心 2017年第9期1925-1933,共9页
以南昌地铁1号线5标为工程依托,采用室内试验和现场验证对泥质粉砂岩地层土压平衡盾构渣土改良技术。通过坍落度试验得到泥质粉砂岩渣土最佳坍落度为17~20 cm,并对渣土改良进行分析及数学公式拟合,得到坍落度与含水率和泡沫比的函数关... 以南昌地铁1号线5标为工程依托,采用室内试验和现场验证对泥质粉砂岩地层土压平衡盾构渣土改良技术。通过坍落度试验得到泥质粉砂岩渣土最佳坍落度为17~20 cm,并对渣土改良进行分析及数学公式拟合,得到坍落度与含水率和泡沫比的函数关系式。依据黏度指数的要求,确定渣土改良参数的取值范围:含水率范围为19.2%~23.2%,泡沫比范围为14.2%~36.6%。基于室内试验得到的现场施工渣土改良参数:盾构施工每环管片注水量范围为6.5~9.9 m3,泡沫剂注入范围为26.0~67.0 L。考虑盾构施工时改良参数相互影响,提出渣土改良精细化控制措施。通过现场实施验证,不仅渣土改良参数得以稳定控制,改良剂用量减小了22.0%,而且掘进参数也明显降低,渣土改良精细化控制效果显著。 展开更多
关键词 泥质粉砂岩 土压平衡盾构 渣土改良 室内试验 参数控制 实施验证
下载PDF
卫星健康管理故障诊断算法的设计及其实现 被引量:12
2
作者 潘宇倩 张弓 +2 位作者 白东炜 刘崇华 杨聪伟 《航天器工程》 2011年第5期37-42,共6页
自主健康管理系统对实现卫星安全性、可靠性和经济适用性具有重要意义,故障诊断算法是自主健康管理的核心技术之一。文章介绍了基于信号处理的故障诊断算法、基于解析模型的故障诊断算法和基于定性模型的故障诊断算法的国内外研究现状;... 自主健康管理系统对实现卫星安全性、可靠性和经济适用性具有重要意义,故障诊断算法是自主健康管理的核心技术之一。文章介绍了基于信号处理的故障诊断算法、基于解析模型的故障诊断算法和基于定性模型的故障诊断算法的国内外研究现状;提出了每种诊断算法的设计思想和实现途径;根据上述途径并结合卫星控制分系统的特点,得出了基于Unscented变换的故障诊断仿真结果;还给出了故障诊断算法的验证方案。这些算法能够满足星上故障诊断和处理的需求,对自主健康管理系统的实现具有参考意义。 展开更多
关键词 卫星 自主健康管理 故障诊断算法 设计 实现 验证
下载PDF
基于函数调用路径的软件实现与设计一致性验证 被引量:11
3
作者 牟永敏 杨志嘉 《中国科学:信息科学》 CSCD 2014年第10期1290-1304,共15页
软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析... 软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路. 展开更多
关键词 软件设计 软件实现 一致性 验证 函数调用路径 功能提取 程序理解
原文传递
回热循环微型燃气轮机非线性数学模型 被引量:9
4
作者 段建东 赵克 +2 位作者 吴凤江 孙力 王要强 《航空动力学报》 EI CAS CSCD 北大核心 2014年第1期199-206,共8页
建立了回热循环微型燃气轮机非线性动态模型,并考虑模型通用性采用压气机、回热器、透平的变工况解析通用特性建立了静态模型.根据设计参数进行数学模型的实例化,提出解析特性系数确定方法和计算机仿真实现的迭代次序.结果表明:静态特... 建立了回热循环微型燃气轮机非线性动态模型,并考虑模型通用性采用压气机、回热器、透平的变工况解析通用特性建立了静态模型.根据设计参数进行数学模型的实例化,提出解析特性系数确定方法和计算机仿真实现的迭代次序.结果表明:静态特性仿真结果与Capstone C30实际数据之间存在微小偏差,通过更详细的参考数据校正特性解析公式系数可获得与实际数据更好的一致性;采用保持透平进气温度不变的最佳运行方式,空载到满载的动态时间为100s左右,回热器金属壁面平均温度由空载时750K降低到负载时670K. 展开更多
关键词 回热循环微型燃气轮机 非线性数学模型 实例化 仿真实现 模型验证
原文传递
密码协议代码执行的安全验证分析综述 被引量:9
5
作者 张焕国 吴福生 +1 位作者 王后珍 王张宜 《计算机学报》 EI CSCD 北大核心 2018年第2期288-308,共21页
密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时... 密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时被验证或证明安全,才能保障密码协议在实现中是安全的.因此,代码级的密码协议安全验证分析是值得关注的方向.文中分别从自动模型提取、代码自动生成、操作语义及程序精化4个方面,综述代码级的密码协议安全验证分析,并对当前代码级的密码协议安全验证分析领域中的最新成果进行详细比较、分析、总结和评论.文中以常用程序语言(C、Java、F#等)编写的密码协议为例,重点阐述密码协议代码执行的安全验证分析,并展望代码级的密码协议安全验证分析的研究方向. 展开更多
关键词 密码协议 模型 代码 执行 安全验证
下载PDF
浅析环境监测站质量体系内部审核 被引量:5
6
作者 刘会建 《中国环境管理干部学院学报》 CAS 2012年第5期14-16,共3页
环境监测站质量管理体系内部审核是监测站自我发现问题、分析问题、解决问题,实现质量管理体系持续改进的重要环节。通过总结当前环境监测站内审时在审核策划、实施审核、结果评价及跟踪验证等4个阶段的注意事项,提出了全面细致策划、... 环境监测站质量管理体系内部审核是监测站自我发现问题、分析问题、解决问题,实现质量管理体系持续改进的重要环节。通过总结当前环境监测站内审时在审核策划、实施审核、结果评价及跟踪验证等4个阶段的注意事项,提出了全面细致策划、严格实施审核、客观公正评价、深入实地验证等提高内部审核质量的对策和建议。 展开更多
关键词 环境监测 内部审核 实施 策划 验证
下载PDF
医疗器械产品工艺验证解析
7
作者 宋驰骋 陈鑫 +1 位作者 李若然 顾代春 《中国医疗器械信息》 2024年第13期63-65,72,共4页
目前,国内外医疗器械生产厂家的工艺验证主要是参考药品的验证方法,但医疗器械和药品的产品特征是不同的,因此,不同的医疗器械产品需要根据产品特征、风险等级、预期用途来制定不同的验证方案。文章着重介绍了医疗器械工艺验证的概念、... 目前,国内外医疗器械生产厂家的工艺验证主要是参考药品的验证方法,但医疗器械和药品的产品特征是不同的,因此,不同的医疗器械产品需要根据产品特征、风险等级、预期用途来制定不同的验证方案。文章着重介绍了医疗器械工艺验证的概念、内容和实施方法,以及如何通过工艺验证来确保医疗器械在批量化生产过程中的安全性和有效性。 展开更多
关键词 医疗器械 工艺验证 验证内容 验证实施
下载PDF
盾构推拼同步技术的路径比选、技术实现与工程应用
8
作者 徐志玲 《中国市政工程》 2024年第4期78-84,155,156,共9页
为突破长大盾构隧道施工效率瓶颈,推动盾构施工组织管理能级提升,亟待研发盾构推拼同步技术,将管片拼装作业时间充分融入盾构推进当中。文章通过对国内外现有的4种推拼同步技术方案进行对比与分析,明确了推力矢量控制方案在盾构设备改... 为突破长大盾构隧道施工效率瓶颈,推动盾构施工组织管理能级提升,亟待研发盾构推拼同步技术,将管片拼装作业时间充分融入盾构推进当中。文章通过对国内外现有的4种推拼同步技术方案进行对比与分析,明确了推力矢量控制方案在盾构设备改造、管片结构形式变更、控制方式实现难度和效率提升能力等方面的优势,最终被确定为可借鉴方案。为提升该方案技术的可行性、可靠性和可操作性,分别从设备关键参数选定、推力控制方案优化和拼装机同步功能开发等方面进行研究。经实际工程示范应用的验证,单环管片作业效率提升超过25%。同时,为确保作业效率的持续提升,在后续的人员技术培训、作业流程优化和施工组织管理等方面仍有进一步完善的必要。 展开更多
关键词 盾构掘进 管片拼装 同步 实现方法 工程验证
下载PDF
C2P:基于Pi演算的协议C代码形式化抽象方法和工具 被引量:3
9
作者 张协力 祝跃飞 +1 位作者 顾纯祥 陈熹 《软件学报》 EI CSCD 北大核心 2021年第6期1581-1596,共16页
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基... 形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证明,并通过对Kerberos协议实例代码验证表明方法的有效性.根据该方案实现了自动化模型抽象工具C2P与成熟的协议验证工具ProVerif结合,能够为协议开发者或测试人员检测代码中的语义逻辑错误提供帮助. 展开更多
关键词 协议实现 形式化验证 PI演算 模型抽取 ProVerif
下载PDF
天气预报中试基地支撑环境设计及建设 被引量:2
10
作者 孟庆涛 张润福 +2 位作者 李萍阳 林建 张小玲 《气象科技进展》 2020年第4期37-41,共5页
中国气象局天气预报科技成果中试基地支撑环境的建设以中央气象台会商室中试平台为中心,部署仿真业务操作和数据环境,搭建引进成果测试的高性能计算资源,尝试建设科研业务结合检验系统,建立中试基地工作网站。科研业务结合检验系统设计... 中国气象局天气预报科技成果中试基地支撑环境的建设以中央气象台会商室中试平台为中心,部署仿真业务操作和数据环境,搭建引进成果测试的高性能计算资源,尝试建设科研业务结合检验系统,建立中试基地工作网站。科研业务结合检验系统设计以交互式客观检验为主要思路,检验算法开放可由用户提供,支持新成果与已有业务模式预报产品的客观对比检验,提供检验结果管理和绘图分析等功能。中试基地工作网站设计思路以提供尽量多信息和方便工作内容互动为原则,侧重提供联合会商和成果转化,技术交流和总结等内容,方便预报与研究人员及时快速获取。 展开更多
关键词 中试基地 支撑环境建设 中试平台 高性能计算资源 检验系统 工作网站
下载PDF
利用二次函数的图像增强算法及FPGA实现 被引量:2
11
作者 杨瑞祺 王康 +2 位作者 杨依忠 张章 陈峰 《现代电子技术》 北大核心 2020年第8期72-76,81,共6页
图像增强在图像处理中有着重要的作用,常用方法有直方图均衡化和灰度值线性拉伸法等,但是这两种方法对图像质量的改善不甚理想。因此,文中提出一种基于二次函数灰度值拉伸的图像增强算法,利用两段二次函数对图像进行灰度值自我调整,同... 图像增强在图像处理中有着重要的作用,常用方法有直方图均衡化和灰度值线性拉伸法等,但是这两种方法对图像质量的改善不甚理想。因此,文中提出一种基于二次函数灰度值拉伸的图像增强算法,利用两段二次函数对图像进行灰度值自我调整,同时综合考虑图像对比度增强效果及硬件电路的易实现性,在Matlab上进行算法设计及仿真,在FPGA硬件平台上进行实现及验证。结果表明,所提算法能有效处理不同场景图像,处理后的图像层次感更强,质量更佳,观感更好。 展开更多
关键词 图像增强算法 灰度值拉伸 算法设计 阈值调节 MATLAB仿真 实现验证
下载PDF
多通道复杂海杂波模拟器设计 被引量:2
12
作者 周伟江 邵荣营 《舰船电子对抗》 2021年第1期97-102,共6页
对海作战装备雷达系统在目标探测过程中接收到的回波信号既包含目标回波信号,也包含来自海面的反射信号,即海杂波信号。海杂波信号的存在严重限制了雷达系统对目标探测和识别能力,为正确评价雷达系统的相关性能,为雷达信号处理方案的选... 对海作战装备雷达系统在目标探测过程中接收到的回波信号既包含目标回波信号,也包含来自海面的反射信号,即海杂波信号。海杂波信号的存在严重限制了雷达系统对目标探测和识别能力,为正确评价雷达系统的相关性能,为雷达信号处理方案的选择提供理论依据,对海杂波信号的精确模拟与仿真已成为雷达信号处理领域中的重要课题,对提高对海作战雷达系统的性能具有重要意义。在此基础上,首先总结了海杂波信号产生的理论基础及相关模型,提出了一种多通道复杂海杂波模拟器设计思路及设计方案,最后给出了测试验证结果。 展开更多
关键词 海杂波 模拟仿真 实现与验证
下载PDF
航天发射场多径衰落模型的硬件实现及仿真 被引量:1
13
作者 张跃飞 邹美凤 +2 位作者 曹晓军 薛志伟 岳长亮 《自动化与仪器仪表》 2016年第12期245-247,共3页
为了模拟航天发射场遥测设备接收遥测信号的多径干扰的影响,分析遥测设备的接收解调性能,设计实现了多径衰落模型,并进行了仿真验证。该模型在FPGA开发板上采用VHDL硬件语言进行实现,可以模拟不同路径、不同功率的遥测信号。使用MATLAB... 为了模拟航天发射场遥测设备接收遥测信号的多径干扰的影响,分析遥测设备的接收解调性能,设计实现了多径衰落模型,并进行了仿真验证。该模型在FPGA开发板上采用VHDL硬件语言进行实现,可以模拟不同路径、不同功率的遥测信号。使用MATLAB软件和Signal TapⅡ工具对模型的各个功能模块进行了系统级、硬件级的仿真验证。仿真结果表明多径衰落模型硬件设计正确,功能正常,可以模拟航天发射场遥测设备受到多径干扰的影响,满足分析多径干扰下遥测设备的接收解调性能的需求。 展开更多
关键词 多径效应 FPGA SignalTapⅡ 硬件实现 验证
原文传递
在线测量径向压力的卷筒的设计与应用
14
作者 宋征 张春杰 +2 位作者 曾小明 苏晨光 吴俊达 《山西冶金》 CAS 2023年第1期66-69,共4页
从机械系统设计理论着手,系统地分析了卷取机卷筒的功能和原理,针对卷取机在卷取过程中卷筒所受径向压力的在线测量困难问题,设计了一种卷筒径向压力的在线测量装置,即在线测量径向压力的卷筒,并对该卷筒内部结构进行逐一设计说明;然后... 从机械系统设计理论着手,系统地分析了卷取机卷筒的功能和原理,针对卷取机在卷取过程中卷筒所受径向压力的在线测量困难问题,设计了一种卷筒径向压力的在线测量装置,即在线测量径向压力的卷筒,并对该卷筒内部结构进行逐一设计说明;然后根据所设计的在线测量径向压力的卷筒,制定了测量该卷筒径向压力的具体实施方案;最后对该卷筒外第一层薄带钢微单元进行受力分析,并根据受力平衡,将实施方案所得出的试验结果换算成张力值与理论设定张力值进行对比验证,证明该卷筒及其实施方案应用的可行性。 展开更多
关键词 在线测量装置 卷筒 实施方案 试验验证
下载PDF
热镀锌清洁生产的实施与审核 被引量:1
15
作者 卢锦堂 张伟伟 孔纲 《材料保护》 CAS CSCD 北大核心 2010年第3期47-48,55,共3页
我国是当今世界钢结构件热镀锌生产大国,热镀锌生产资源消耗大、污染严重,实施清洁生产是我国热镀锌行业可持续发展的唯一出路,而清洁生产的审核是实施清洁生产的必要途径。为此,分析了我国热镀锌清洁生产存在的主要问题,介绍了联合国... 我国是当今世界钢结构件热镀锌生产大国,热镀锌生产资源消耗大、污染严重,实施清洁生产是我国热镀锌行业可持续发展的唯一出路,而清洁生产的审核是实施清洁生产的必要途径。为此,分析了我国热镀锌清洁生产存在的主要问题,介绍了联合国商品共同基金(CFC)项目"中国热镀锌工业的技术转换及促进需求"在我国的实施情况,探讨了清洁生产的审核方法。 展开更多
关键词 热镀锌 清洁生产 CFC项目 实施 审核 可持续发展
下载PDF
一种处理地形图数据点线矛盾的方法研究
16
作者 王亮 赵鹏飞 林青 《测绘与空间地理信息》 2023年第S01期285-288,共4页
研究了一种新颖的自动检查地形图中点线矛盾问题的算法、技术路线,此算法基于AutoCAD.NET及ArcEngine双底层进行编程实现,并且可以准确快捷地检查地形图中的点线矛盾。在实际生产中该算法与传统作业进行了对比验证,达到了预期效果,并在... 研究了一种新颖的自动检查地形图中点线矛盾问题的算法、技术路线,此算法基于AutoCAD.NET及ArcEngine双底层进行编程实现,并且可以准确快捷地检查地形图中的点线矛盾。在实际生产中该算法与传统作业进行了对比验证,达到了预期效果,并在作业中得到推广使用,提高了作业部门的生产效率。 展开更多
关键词 点线矛盾 双底层 算法实现 验证应用
下载PDF
基于核电厂主控室的人因实施验证
17
作者 王佳 蔡蕾 《科技视界》 2018年第3期214-215,共2页
为减少人的失误,对核电厂主控室人机接口实施人因验证和确认工作。本文在实际核电项目经验的基础上,发现在平台上实现的人机界面与设计的人机界面存在偏差,因此,在开展最终确认活动前,进行实施验证活动,确保人机交互界面间的一致性。
关键词 因工程验证与验证 人机界面 实施验证
下载PDF
浅谈“期间核查”在法定计量检定机构中的实施
18
作者 杨进 《泰州职业技术学院学报》 2004年第6期60-63,共4页
新的“期间核查”要求较以前提高了,“期间核查”条款在实施过程中遇到的突出问题是如何判断核查的结果。“期间核查”期间选择的核查标准在整个核查期间应保持稳定,过程参数的确定需核查计量标准的可信度,当一个核查期间的核查参数确定... 新的“期间核查”要求较以前提高了,“期间核查”条款在实施过程中遇到的突出问题是如何判断核查的结果。“期间核查”期间选择的核查标准在整个核查期间应保持稳定,过程参数的确定需核查计量标准的可信度,当一个核查期间的核查参数确定后,在具体核查时,所得的测量数据不参与确定过程参数。 展开更多
关键词 期间核查 实施 法定 检定 校准 实验室 机构
下载PDF
基于成果导向的创新教学模式探究——巴哈大赛项目研究
19
作者 辛会珍 刘咏涛 《天津职业院校联合学报》 2019年第12期42-47,共6页
基于成果导向的创新教学模式探究———巴哈大赛项目研究,以巴哈大赛项目为载体,重组课程体系、知识结构,将教学内容融入工作任务,通过真实任务强化知识的学习、转化,锻炼学生操作技能,提升学生精益求精、自主创新能力.文中从巴哈大赛... 基于成果导向的创新教学模式探究———巴哈大赛项目研究,以巴哈大赛项目为载体,重组课程体系、知识结构,将教学内容融入工作任务,通过真实任务强化知识的学习、转化,锻炼学生操作技能,提升学生精益求精、自主创新能力.文中从巴哈大赛介绍、巴哈大赛项目任务分解、搭建基于成果导向的课程体系、师资队伍与教学保障、基于成果导向的教学模式的实施验证几个方面进行研究论述. 展开更多
关键词 成果导向 任务设计 实施验证
下载PDF
综合显控箱电路设计与技术验证
20
作者 方航 向宇 严涛 《舰船电子工程》 2022年第7期142-147,共6页
为配合某型装备工程研制,需要设计一台集成显示及控制功能一体的电子设备。论文基于从上至下的设计思路首先对产品的设计与制造需求进行了梳理分析、对总体功能进行了子功能模块化分解,其次基于子功能进行了具体电路设计与硬件实现,最... 为配合某型装备工程研制,需要设计一台集成显示及控制功能一体的电子设备。论文基于从上至下的设计思路首先对产品的设计与制造需求进行了梳理分析、对总体功能进行了子功能模块化分解,其次基于子功能进行了具体电路设计与硬件实现,最后进行了整机的试制调试和实物样机功能及性能等的技术验证。验证结果表明,该型电子设备电路设计合理,较好地满足总体需求,设计思路可行,其设计方法和流程对产品电气设计具有积极的参考意义。 展开更多
关键词 电路设计 需求分析 功能分解 硬件实现 技术验证
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部