期刊文献+
共找到1,041篇文章
< 1 2 53 >
每页显示 20 50 100
基于湍动能输运的一方程转捩模型
1
作者 徐晶 周禹 +1 位作者 徐家宽 《推进技术》 EI CAS CSCD 北大核心 2019年第4期741-749,共9页
传统转捩模型的构造十分依赖转捩机理的发现和理解,对机理的模化也存在误差。本文基于尺度自适应的KDO湍流模型,以输运变量r=μt/μ重新标定模型参数,使模型整体达到了流动结构自适应,可实现湍流/转捩一体化计算。根据长度尺度的不同,... 传统转捩模型的构造十分依赖转捩机理的发现和理解,对机理的模化也存在误差。本文基于尺度自适应的KDO湍流模型,以输运变量r=μt/μ重新标定模型参数,使模型整体达到了流动结构自适应,可实现湍流/转捩一体化计算。根据长度尺度的不同,可细分为KDO-tran和CKDO-tran模型。CFD计算评估了经典的T3A,T3B平板边界层旁路转捩,T3A-平板边界层自然转捩,Aero-A翼型分离泡转捩,DLR-F5,6:1椭球横流转捩及可压缩平板边界层、尖锥转捩。该模型无法精确捕捉层流-湍流的过渡,但能准确捕捉转捩的起始位置(Transition onset),在高Re数、复杂流动的表现尤其突出。该模型捕捉转捩的机制在于流动结构的自适应和湍流输运特性的保存,不引入任何转捩机理却能捕捉多种类型的转捩现象,具有较好的适用性。 展开更多
关键词 湍流模型 转捩模型 高保真 可压缩修正
基于TrustZone的TEE设计与信息流形式化验证 预览
2
作者 孙海泳 杨霞 +2 位作者 雷航 杨拯 《电子科技大学学报》 EI CAS CSCD 北大核心 2019年第2期259-263,共5页
基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,... 基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型(TEEFM),借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安全监控模块不存在整型溢出、程序返回地址异常等资源边界类软件漏洞,以此保证了TEE的自身安全性。 展开更多
关键词 形式化方法 信息流验证 可信执行环境 TRUSTZONE
在线阅读 免费下载
复杂内核数据结构的形式化描述和验证
3
作者 马顶 付明 +1 位作者 冯新宇 《小型微型计算机系统》 CSCD 北大核心 2019年第2期359-366,共8页
对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离... 对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离的方法来形式化定义内核中的不规则数据结构,并运用该方法成功刻画了某航天操作系统内核的进程管理数据结构,最终成功验证了该内核中相关API的代码.相关的代码验证工作在定理证明工具Coq中完成. 展开更多
关键词 内核数据结构 形式化验证 分离逻辑 内核验证
圆锥曲线插补数控系统的研究与设计 预览
4
作者 王政皓 杨召彬 +2 位作者 王宏甲 赵庆志 《山东理工大学学报:自然科学版》 CAS 2019年第1期30-34,共5页
针对传统经济型数控系统中插补类型较少的问题,采用差分插补原理设计了圆锥曲线插补数控系统,并对该数控系统进行了软硬件的总体规划。在VC++6.0环境下,采用差分插补原理和多线程技术进行数控系统的开发,差分插补原理的应用保证了数... 针对传统经济型数控系统中插补类型较少的问题,采用差分插补原理设计了圆锥曲线插补数控系统,并对该数控系统进行了软硬件的总体规划。在VC++6.0环境下,采用差分插补原理和多线程技术进行数控系统的开发,差分插补原理的应用保证了数控系统圆锥曲线插补以及空间直线插补的实现。设计了以PCI-1750数据采集卡为核心的控制系统硬件接口电路,实现了步进电机与无刷直流电机的控制。实验表明,以差分插补原理为核心的圆锥曲线数控系统能够实现圆锥曲线的直接插补,提高了经济型数控系统的插补性能。 展开更多
关键词 数控系统 圆锥曲线 差分插补原理 多线程技术 PCI-1750
在线阅读 免费下载
基于差分插补原理的数控系统加减速规划 预览
5
作者 杨召彬 王宏甲 +2 位作者 孙小飞 赵庆志 《机床与液压》 北大核心 2019年第8期157-160,共4页
为了实现基于差分插补原理的数控系统加减速控制,以直线与圆锥曲线为研究对象,对差分插补运动进行研究。通过分析差分插补中基准轴与非基准轴的运动特点,制定详细的加减速控制策略。对圆锥曲线进行分区处理后,实现了差分插补加减速控制... 为了实现基于差分插补原理的数控系统加减速控制,以直线与圆锥曲线为研究对象,对差分插补运动进行研究。通过分析差分插补中基准轴与非基准轴的运动特点,制定详细的加减速控制策略。对圆锥曲线进行分区处理后,实现了差分插补加减速控制策略的统一。通过译码获得的速度参数能够应用到多种加减速模型中,实现准确地起停电机,保证插补加工位置的准确性。加工实验结果表明:差分插补加减速控制策略实现了数控系统的加减速功能,为保证数控系统的加工效率与质量、适应现代化生产加工要求奠定了基础。 展开更多
关键词 数控系统 差分插补原理 加减速控制策略 圆锥曲线
在线阅读 下载PDF
非开挖工程磁靶定位系统 预览
6
作者 高德利 +3 位作者 刘艳辉 付盼 杜卫强 董胜祥 《石油机械》 北大核心 2019年第6期12-16,共5页
为了解决非开挖工程钻井轨迹的高精度测量与控制难题,设计了一种磁靶定位系统。该定位系统的十字交叉磁靶通2 Hz交流电后,会在磁靶周围空间形成特定规律的旋转磁场分布。通过钻头位置的微弱动态磁场检测系统可测量该旋转磁场在3个正交... 为了解决非开挖工程钻井轨迹的高精度测量与控制难题,设计了一种磁靶定位系统。该定位系统的十字交叉磁靶通2 Hz交流电后,会在磁靶周围空间形成特定规律的旋转磁场分布。通过钻头位置的微弱动态磁场检测系统可测量该旋转磁场在3个正交方向磁场的分布,利用旋转磁场的轴对称特性,将近钻头三维旋转磁场转化为二维场,根据测量到的磁场矢量与场源空间位置的关系,实现钻头与微弱动态磁场采集系统之间的精确定位。地面测试结果表明:当电流为5 A时,空间场点与螺线管距离100 m处的磁场幅值可达1.53 nT,距离10~110 m范围测量误差均小于2%;在横向距离±30 m范围内相对方位测量误差小于2%;当相对方位夹角达到29.74°后,方位测量将失真,不能用于现场施工作业。研究结果对于油气管道穿越非开挖工程出土点的精确设计具有指导意义。 展开更多
关键词 非开挖工程 磁靶定位 十字交叉磁靶 旋转磁场
在线阅读 下载PDF
基于有限状态机的操作系统需求层形式化验证 预览
7
作者 张锦坤 杨孟飞 +2 位作者 杨桦 刘波 《空间控制技术与应用》 CSCD 北大核心 2019年第2期48-55,共8页
操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需... 操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础. 展开更多
关键词 操作系统 形式化验证 系统需求 有限状态机 COQ
在线阅读 下载PDF
钢结构十字型钢柱焊接接口缺陷及返修质量控制 预览
8
作者 段平安 +4 位作者 赵荣立 付存海 蒋忠全 刘年 罗云森 《中国设备工程》 2019年第7期92-93,共2页
本文以钢结构十字型钢柱焊接缺陷种类,分析焊接缺陷气孔、夹渣、咬边、焊瘤、裂纹、未焊透、未熔合原因以及如何进行质量控制。拟定合适的焊接方法来提高焊件品质,防止不正常的焊件现象。
关键词 焊接缺陷 质量控制
在线阅读 下载PDF
SpaceOS中若干全局性质的形式化描述和验证
9
作者 顾海博 付明 +1 位作者 冯新宇 《小型微型计算机系统》 CSCD 北大核心 2019年第1期141-148,共8页
SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时... SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成. 展开更多
关键词 SpaceOS 形式化验证 全局性质 操作系统内核 COQ
机耕国有林场森林资源现状与特点分析 预览
10
作者 郑虹钰 伟光 +1 位作者 苏伦嘎 《内蒙古林业调查设计》 2019年第4期8-9,共2页
2016年机耕国有林场森林资源二类调查结果显示,林场总面积10 850.3 hm^2,森林覆盖率和林木绿化率均达到81.59%。文章在对森林资源现状分析的基础上,总结出机耕国有林场的森林资源特点,为林场森林经营活动提供依据。
关键词 林场 森林资源 特点
在线阅读 下载PDF
带着信念战斗
11
作者 《中国质量》 2019年第2期106-107,共2页
今天,我要跟大家分享一个关于QC,关于坚韧、关于重生的故事,故事的主人公就是郑晓林,她是河南中烟黄金叶生产制造中心车间工艺质量员,QC小组组长,她还有一个重要的身份就是我媳妇儿。
关键词 战斗 信念 QC小组 工艺质量 制造中心 主人公 故事 黄金
基于三电平半桥变换器的同相供电潮流控制器 预览
12
作者 李沫廷 《电力电子技术》 CSCD 北大核心 2019年第3期123-124,共2页
近年来研究较热的同相供电可以解决电气化铁道长期存在的以负序、谐波和无功为主的电能质量问题,尤其是困扰列车速度和牵引力提升的电分相问题。为了适应牵引负荷容量大、电压高的需求,此处研究了基于三电平半桥变换器的供电潮流控制器... 近年来研究较热的同相供电可以解决电气化铁道长期存在的以负序、谐波和无功为主的电能质量问题,尤其是困扰列车速度和牵引力提升的电分相问题。为了适应牵引负荷容量大、电压高的需求,此处研究了基于三电平半桥变换器的供电潮流控制器,其主要由两个单相“背靠背”的三电平半桥变流器构成,用于传递有功、补偿无功和抑制谐波,使得牵引供电系统相对电力系统而言,是一个三相对称纯阻性负载。与传统三电平变换器相比,该控制器减少了器件数量,降低了装置成本。最后实验验证了三电平半桥潮流控制器的正确性和可行性。 展开更多
关键词 控制器 变换器 供电潮流
在线阅读 下载PDF
第二外语日语课堂教学实践中的问题及对策 预览
13
作者 《现代农业研究》 2019年第8期91-92,共2页
随着现代教育的深入发展,对于学生第二外语能力的培养越来越重视。在大学教育体系中,日语是难度比较高的学科,很多学生在学习中都遇到了诸多困难。此外,在第二外语教学体系下,很多教师忽视了学生能力的培养,转而向学生灌输应试技巧,这... 随着现代教育的深入发展,对于学生第二外语能力的培养越来越重视。在大学教育体系中,日语是难度比较高的学科,很多学生在学习中都遇到了诸多困难。此外,在第二外语教学体系下,很多教师忽视了学生能力的培养,转而向学生灌输应试技巧,这与当前大学日语教育发展方向背道而驰,作为日语教师,要积极探索教育创新模式,助力提升学生综合素质,为社会培育更多的人才。 展开更多
关键词 日语 第二外语 教学实践
在线阅读 下载PDF
基于地统计学的山西省不同类型土壤有机质空间变异分析研究 预览
14
作者 申若禹 张吴平 +2 位作者 王国芳 张茜 《山东农业科学》 2019年第4期110-116,共7页
为了展示山西省不同土壤类型条件下耕层土壤有机质含量的空间变异性以及影响因素,实现土壤肥力高效利用,进一步指导农业生产方式改良以及精准施肥。本研究以褐土、黄绵土、栗褐土、栗钙土四种山西省常见土壤类型进行研究,分别选取区位... 为了展示山西省不同土壤类型条件下耕层土壤有机质含量的空间变异性以及影响因素,实现土壤肥力高效利用,进一步指导农业生产方式改良以及精准施肥。本研究以褐土、黄绵土、栗褐土、栗钙土四种山西省常见土壤类型进行研究,分别选取区位临近的县市采样,得到耕层土壤有机质含量数据,采用GIS与地统计学方法相结合的方法,研究不同土壤类型的土壤有机质含量的空间变异性,通过对比从三种函数模型(指数模型、球状模型、高斯模型)中选取最优拟合模型,并采用最优拟合模型进行插值制图以及趋势分析。结果表明,褐土平均有机质含量最高,其块金系数为25%,具有较强的空间结构性;黄绵土平均有机质含量最低,其块金系数为50%,具有中等强度的空间结构性;栗褐土平均有机质含量仅次于褐土,其块金系数为49%,具有中等强度的空间结构性;栗钙土平均有机质含量略低于栗褐土,其块金系数为32%,具有中等强度的空间结构性。由以上分析结果可以看出,土壤类型是土壤有机质含量空间变异的重要影响因素,除此之外,海拔、地形地貌、人为活动等因素同样对有机质空间变异会产生一定的影响。本研究可以为提高山西省土壤肥力、精准施肥、改良农业生产措施提供依据。 展开更多
关键词 土壤有机质 土壤类型 地统计学 空间变异
在线阅读 免费下载
计算机网络安全技术的影响因素研究 预览
15
作者 陈伟杰 陈国栋 +1 位作者 赵衍恒 《无线互联科技》 2019年第8期31-32,共2页
文章分为两部分,首先,简要讨论了影响计算机网络安全技术的因素。其次,提出了几点措施和建议,防止计算机网络出现安全风险。
关键词 计算机 网络安全 信息技术 影响因素
在线阅读 下载PDF
碳纤维布载三维网状聚苯胺在RCl(R=H,Li,Na,K)水溶液中的电容性能对比 预览
16
作者 高山 孙海军 +3 位作者 杜孟孟 郭芬 叶小利 《应用化学》 CAS CSCD 北大核心 2019年第2期236-244,共9页
通过电化学聚合法制备了碳纤维布载三维网状聚苯胺电极,采用扫描电子显微镜、傅里叶红外光谱仪和X射线光电子能谱仪观察了电极形貌,并分析了电极表面特征基团。接着,对比研究了该电极在4种RCl(R=H,Li,Na,K)水溶液中的电容性能。电化学... 通过电化学聚合法制备了碳纤维布载三维网状聚苯胺电极,采用扫描电子显微镜、傅里叶红外光谱仪和X射线光电子能谱仪观察了电极形貌,并分析了电极表面特征基团。接着,对比研究了该电极在4种RCl(R=H,Li,Na,K)水溶液中的电容性能。电化学测试表明,在KCl中的电势窗口(1.8V)大于在HCl和LiCl中的电势窗口,且在KCl中的比电容(501F/g@0.5A/g)远远大于NaCl中的比电容;即使在10A/g的充放电电流下,电极在KCl溶液中的能量密度仍高于HCl溶液中2.0A/g下的能量密度,因此KCl为聚苯胺基电容器最佳的电解质类型。本文通过简单地改变水系溶液中电解质的种类,即可达到拓宽电势窗口、显著提升电化学电容器能量密度的目的,避免了使用有机溶液带来的物理化学稳定性差、污染环境的问题。 展开更多
关键词 电势窗口 能量密度 电容器 聚苯胺 碱金属盐
在线阅读 下载PDF
插入式钢结构对孔设备的研发 预览
17
作者 《国防交通工程与技术》 2019年第2期78-80,共3页
钢结构拼接时,对孔需消耗大量人力且易对钢结构造成损害,精度不易保障。研发一种新型设备,在减少人工劳作的情况下,实现不同钢框架间节点孔的自动精准对接。介绍了设备的设计思路、整体结构及操作方法。有助于实现钢结构的快速拼接。
关键词 钢结构 拼接 冲钉
在线阅读 下载PDF
页岩气水平井多因素耦合套变分析 预览
18
作者 田中兰 +3 位作者 曾波 杨恒林 付盼 杨松 《断块油气田》 CAS CSCD 北大核心 2019年第1期107-110,共4页
大型体积压裂过程中的套变问题已成为制约页岩气大规模高效开发的技术瓶颈,通过对影响页岩气水平井套管强度主控风险因素的分析和评价,提出了多因素耦合套变机理模型。研究结果表明,环空流体收缩、套管弯曲、套管摩阻、井筒降温、高压... 大型体积压裂过程中的套变问题已成为制约页岩气大规模高效开发的技术瓶颈,通过对影响页岩气水平井套管强度主控风险因素的分析和评价,提出了多因素耦合套变机理模型。研究结果表明,环空流体收缩、套管弯曲、套管摩阻、井筒降温、高压流体注入是影响页岩气套管强度设计的主要风险因素。其中,环空流体收缩占套管抗内压强度影响权重的94%,管外超高地层压力占套管抗外挤强度影响权重的53%。另外,井眼狗腿度与套管三轴抗内压强度基本呈线性关系,当井眼狗腿度为10°/30m时,套管抗内压强度降低5.8%,抗外挤强度降低7.50%。通过WY201-H1井实例分析发现,若水泥环中存在虚空段,压裂时温度大幅下降引起虚空段内的流体收缩,再耦合套管弯曲应力、套管摩阻等载荷,可引起套管抗内压失效。 展开更多
关键词 页岩气 套变 体积压裂 机理模型
在线阅读 下载PDF
一种隧道突水涌泥的快速封堵模板台车及施工技术 预览
19
作者 蒋忠全 段平安 +4 位作者 张国成 赵荣立 李建高 向安平 《中国设备工程》 2019年第9期194-195,共2页
隧道施工过程中易引发生掌子面涌水、涌沙、泥石流等现象,为了保护已完隧道,快速行成封堵,切断其危害通道。同时对故障段隧道能进行更好的处理、施工,建立快速一堵临时封堵墙是一个很好的选择手段。
关键词 快速 封堵 模板台车
在线阅读 下载PDF
基于有限元仿真的载重子午线轮胎降噪方法研究 预览
20
作者 王国林 +2 位作者 周海超 梁晨 李国瑞 《橡胶工业》 CAS 2019年第4期243-248,共6页
通过有限元仿真分析研究载重子午线轮胎结构对振动噪声的影响。建立了轮胎有限元分析模型并对其合理性进行了试验验证;在原轮胎结构的基础上,对带束层结构和胎面花纹进行优化设计,利用声学仿真软件进行仿真分析,得到了轮胎各设计方案的... 通过有限元仿真分析研究载重子午线轮胎结构对振动噪声的影响。建立了轮胎有限元分析模型并对其合理性进行了试验验证;在原轮胎结构的基础上,对带束层结构和胎面花纹进行优化设计,利用声学仿真软件进行仿真分析,得到了轮胎各设计方案的振动噪声。结果表明,带束层结构和胎面花纹设计均会影响轮胎振动噪声,带束层结构和胎面花纹优化后最大降噪量分别达到3.09和3.9dB。 展开更多
关键词 载重子午线轮胎 降噪方法 仿真分析 带束层结构 胎面花纹
在线阅读 下载PDF
上一页 1 2 53 下一页 到第
使用帮助 返回顶部 意见反馈