期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
应用信息技术优化初中美术教学
被引量:
3
1
作者
刘
振
科
史肖
《中国教育技术装备》
2016年第17期57-58,共2页
结合教学实践经验,就如何应用信息技术优化初中美术教学提出几点思路,以期为美术教学提供有益参考。
关键词
信息技术
初中美术
教学模式
下载PDF
职称材料
带式输送机滚筒轴承故障预警装置研究
被引量:
3
2
作者
刘
振
科
《中国石油和化工标准与质量》
2021年第3期141-143,共3页
针对带式输送机滚筒轴承故障难以发现问题,提出一种滚筒轴承故障预警装置,该装置通过布置在轴承座上的温度传感器对轴承运行温度进行监测,并根据预先设定的故障排除程度对故障进行判定、发出预警信号,从而提升带式输送机运行可靠性。详...
针对带式输送机滚筒轴承故障难以发现问题,提出一种滚筒轴承故障预警装置,该装置通过布置在轴承座上的温度传感器对轴承运行温度进行监测,并根据预先设定的故障排除程度对故障进行判定、发出预警信号,从而提升带式输送机运行可靠性。详细对滚筒轴承故障预警装置温度传感器、温度变送器选型及安装位置,轴承故障判定程度等进行阐述。现场应用后,该装置可实现轴承故障预警,从而提升带式输送运行可靠性,应用效果显著。
展开更多
关键词
带式输送机
滚筒轴承
温度传感器
故障判定
异常温度
原文传递
巧用信息技术构建初中美术教学即时反馈系统
被引量:
3
3
作者
史肖
刘
振
科
《中国现代教育装备》
2016年第22期65-66,共2页
随着教育改革的不断深化,学校教育正经历从"应试教育"向"素质教育"转变的关键时期。作为初中阶段为数不多的一门艺术学科,美术学科在提高学生素质、培养学生能力方面具有发挥重要作用的潜能。提出了应用信息技术构...
随着教育改革的不断深化,学校教育正经历从"应试教育"向"素质教育"转变的关键时期。作为初中阶段为数不多的一门艺术学科,美术学科在提高学生素质、培养学生能力方面具有发挥重要作用的潜能。提出了应用信息技术构建初中美术教学即时反馈系统的观点,以期为美术教学提供有益参考。
展开更多
关键词
信息技术
初中美术教学
即时反馈
下载PDF
职称材料
函数矩阵理论在HOL4中的形式化
被引量:
2
4
作者
刘
振
科
施智平
+4 位作者
关永
金声震
张杰
叶世伟
李晓娟
《小型微型计算机系统》
CSCD
北大核心
2013年第3期654-658,共5页
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化...
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库.
展开更多
关键词
函数矩阵
形式化验证
矩阵微分法
定理证明
HIGHER-ORDER
Logic4
下载PDF
职称材料
集约化猪场断奶仔猪饲料应用研究
5
作者
李树才
刘
振
科
+1 位作者
兰建波
杨自伟
《饲料工业》
北大核心
1996年第7期22-23,共2页
将40头体重相近的杜长大断奶仔猪随机分成4组,分别喂以1#料(天津正大仔猪料、第1组)、2#料(天津正大仔猪料加0.1%复合酶,第2组)、3#料(天津正大仔猪料加0.1%复合酶,再加160g多维素/1吨料,第3组);...
将40头体重相近的杜长大断奶仔猪随机分成4组,分别喂以1#料(天津正大仔猪料、第1组)、2#料(天津正大仔猪料加0.1%复合酶,第2组)、3#料(天津正大仔猪料加0.1%复合酶,再加160g多维素/1吨料,第3组);4#料(天津正大仔猪料加0.1%复合酶、160g多维素/1吨料、2kgZnSO4·7H2O/1吨料,第4组),进行饲养对比试验。结果是:1、2、3、4组试验末重分别为16.89±0.96kg、16.70±0.82kg、19.09±0.99kg、19.21±0.87kg,经方差分析,组间差异极显著P<0.01,料肉比分别为1.61:1,2.10:1,1.79:1,1.67:1。经济效益分析结果表明4组最好,3组次之,1组又次之。
展开更多
关键词
仔猪
断乳
饲料
集约化猪场
下载PDF
职称材料
如何有效提高高中学生的英语成绩
6
作者
刘
振
科
《学周刊(下旬)》
2012年第8期66-67,共2页
在新课程改革的春风吹拂下.我校英语教学正在悄悄地发生着喜人的变化。教学一线的教师们一直在不断探索.试图寻找到行之有效的英语教学方法,以便真正能够做到以学生为主体.教师为主导,适应新课程改革的目标.而且有助于不断提高学...
在新课程改革的春风吹拂下.我校英语教学正在悄悄地发生着喜人的变化。教学一线的教师们一直在不断探索.试图寻找到行之有效的英语教学方法,以便真正能够做到以学生为主体.教师为主导,适应新课程改革的目标.而且有助于不断提高学生的学习积极性.逐步培养学生的英语综合语言运用能力。下面笔者结合在教学过程中的一些行之有效的做法和体会谈谈个人的看法。
展开更多
关键词
高中学生
英语成绩
英语教学方法
综合语言运用能力
新课程改革
以学生为主体
学习积极性
教学过程
下载PDF
职称材料
谭宏宇:“要给后人留下红色记忆”
7
作者
刘
振
科
《中国老区建设》
2021年第5期46-46,共1页
2009年,刚刚退休的内蒙古自治区阿荣旗旗委原书记谭宏宇担任了旗老促会会长。抗日战争时期,阿荣旗是东北抗日联军三进呼伦贝尔的主战场,东北抗联第三路军龙江北部总指挥冯治纲、第三路军第三支队政治委员高禹民等一批抗联将领先后牺牲...
2009年,刚刚退休的内蒙古自治区阿荣旗旗委原书记谭宏宇担任了旗老促会会长。抗日战争时期,阿荣旗是东北抗日联军三进呼伦贝尔的主战场,东北抗联第三路军龙江北部总指挥冯治纲、第三路军第三支队政治委员高禹民等一批抗联将领先后牺牲在阿荣旗的土地上。谭宏宇先后到黑龙江、吉林、辽宁三省,走访了近百名抗联老战士、抗联将士后代和东北抗联研究专家,考察了许多抗日纪念馆、抗联密营、抗联战斗遗址,广泛收集与阿荣旗有关的抗日史料。
展开更多
关键词
阿荣旗
东北抗联
老促会
呼伦贝尔
原文传递
预应力碳纤维板加固桥梁施工技术研究
8
作者
刘
振
科
魏玮
《汽车世界》
2019年第30期90-90,共1页
随着使用时间的增长,桥梁结构会逐渐趋于老化,并暴露出许多病害、损坏,若能采取适当的加固方法,则能够有效地延长桥梁的使用寿命、增强其使用性能。研究表明,预应力碳纤维板法应用于桥梁加固能够极大地提升桥梁的承载能力、耐久性,并且...
随着使用时间的增长,桥梁结构会逐渐趋于老化,并暴露出许多病害、损坏,若能采取适当的加固方法,则能够有效地延长桥梁的使用寿命、增强其使用性能。研究表明,预应力碳纤维板法应用于桥梁加固能够极大地提升桥梁的承载能力、耐久性,并且能够很好地利用原有结构,减少材料浪费。相较于传统的桥梁加固技术,该方法不仅性能优异、成本低廉,而且绿色环保,能耗更低,具有很强的应用价值。
展开更多
关键词
预应力碳纤维板
桥梁加固
优点
下载PDF
职称材料
浅论建筑电气安装工程的质量控制
9
作者
刘
振
科
《工会博览(理论研究)》
2009年第6期82-82,共1页
电气安装工程施工质量管理涉及多方面,且自始至终贯穿于安装施工的全过程。为了杜绝建筑电气工程施工中常见的质量问题,应做好施工质量控制工作。合理的质量控制要以预防为主,关键在于观念的转变,要将以往只对质量的事后检查把关,...
电气安装工程施工质量管理涉及多方面,且自始至终贯穿于安装施工的全过程。为了杜绝建筑电气工程施工中常见的质量问题,应做好施工质量控制工作。合理的质量控制要以预防为主,关键在于观念的转变,要将以往只对质量的事后检查把关,转向对质量的事前控制、亨中控制中,最后才是事后检查。唯有认真把好每一道工序、每一个环节质量关,才能保证整个工程的质量。
展开更多
关键词
电气安装工程
施工质量
控制
下载PDF
职称材料
小议桥头跳车产生的原因及防治措施
10
作者
魏玮
刘
振
科
《汽车世界》
2019年第30期115-115,共1页
桥头跳车是目前我国道路桥梁工程中较为常见的一种问题,主要是由于桥梁与路面连接区域存在桥台与路堤沉降不一致的情况,从而引发桥头错台。此时,一旦车辆经过该区域,就会产生颠簸、跳跃的不良现象。出于对提升道路桥梁工程质量、行车舒...
桥头跳车是目前我国道路桥梁工程中较为常见的一种问题,主要是由于桥梁与路面连接区域存在桥台与路堤沉降不一致的情况,从而引发桥头错台。此时,一旦车辆经过该区域,就会产生颠簸、跳跃的不良现象。出于对提升道路桥梁工程质量、行车舒适程度的考量,必须对桥头跳车问题展开重点处理。在当前的工程中,引发桥头跳车问题的原因较为多样,需要实施针对性分析与处理。
展开更多
关键词
桥头跳车
原因
防治措施
下载PDF
职称材料
题名
应用信息技术优化初中美术教学
被引量:
3
1
作者
刘
振
科
史肖
机构
淄博市高青县第五中学
出处
《中国教育技术装备》
2016年第17期57-58,共2页
文摘
结合教学实践经验,就如何应用信息技术优化初中美术教学提出几点思路,以期为美术教学提供有益参考。
关键词
信息技术
初中美术
教学模式
分类号
G633.955 [文化科学—教育学]
下载PDF
职称材料
题名
带式输送机滚筒轴承故障预警装置研究
被引量:
3
2
作者
刘
振
科
机构
西山煤电马兰矿
出处
《中国石油和化工标准与质量》
2021年第3期141-143,共3页
文摘
针对带式输送机滚筒轴承故障难以发现问题,提出一种滚筒轴承故障预警装置,该装置通过布置在轴承座上的温度传感器对轴承运行温度进行监测,并根据预先设定的故障排除程度对故障进行判定、发出预警信号,从而提升带式输送机运行可靠性。详细对滚筒轴承故障预警装置温度传感器、温度变送器选型及安装位置,轴承故障判定程度等进行阐述。现场应用后,该装置可实现轴承故障预警,从而提升带式输送运行可靠性,应用效果显著。
关键词
带式输送机
滚筒轴承
温度传感器
故障判定
异常温度
分类号
TD634 [矿业工程—矿山机电]
原文传递
题名
巧用信息技术构建初中美术教学即时反馈系统
被引量:
3
3
作者
史肖
刘
振
科
机构
山东省淄博市高青县第五中学
出处
《中国现代教育装备》
2016年第22期65-66,共2页
文摘
随着教育改革的不断深化,学校教育正经历从"应试教育"向"素质教育"转变的关键时期。作为初中阶段为数不多的一门艺术学科,美术学科在提高学生素质、培养学生能力方面具有发挥重要作用的潜能。提出了应用信息技术构建初中美术教学即时反馈系统的观点,以期为美术教学提供有益参考。
关键词
信息技术
初中美术教学
即时反馈
分类号
G633.955 [文化科学—教育学]
下载PDF
职称材料
题名
函数矩阵理论在HOL4中的形式化
被引量:
2
4
作者
刘
振
科
施智平
关永
金声震
张杰
叶世伟
李晓娟
机构
电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院
计算机体系结构国家重点实验室中国科学院计算技术研究所
北京化工大学信息科学与技术学院
中国科学院研究生院信息科学与工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第3期654-658,共5页
基金
国际科技合作计划项目(2010DFB10930
2011DFG13000)资助
+7 种基金
国家自然科学基金项目(60873006
61070049
61170304
61104035)资助
北京市自然科学基金暨北京市教委重点项目(4122017
KZ201210028036)资助
北京市优秀人才培养资助项目
计算机体系结构国家重点实验室开放课题
文摘
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库.
关键词
函数矩阵
形式化验证
矩阵微分法
定理证明
HIGHER-ORDER
Logic4
Keywords
function matrix theory
formal verification
matrix differential
theorem proving
higher-order logic 4
分类号
TN319 [电子电信—物理电子学]
下载PDF
职称材料
题名
集约化猪场断奶仔猪饲料应用研究
5
作者
李树才
刘
振
科
兰建波
杨自伟
机构
河南省鹤壁市农业科学研究所畜牧研究室
出处
《饲料工业》
北大核心
1996年第7期22-23,共2页
文摘
将40头体重相近的杜长大断奶仔猪随机分成4组,分别喂以1#料(天津正大仔猪料、第1组)、2#料(天津正大仔猪料加0.1%复合酶,第2组)、3#料(天津正大仔猪料加0.1%复合酶,再加160g多维素/1吨料,第3组);4#料(天津正大仔猪料加0.1%复合酶、160g多维素/1吨料、2kgZnSO4·7H2O/1吨料,第4组),进行饲养对比试验。结果是:1、2、3、4组试验末重分别为16.89±0.96kg、16.70±0.82kg、19.09±0.99kg、19.21±0.87kg,经方差分析,组间差异极显著P<0.01,料肉比分别为1.61:1,2.10:1,1.79:1,1.67:1。经济效益分析结果表明4组最好,3组次之,1组又次之。
关键词
仔猪
断乳
饲料
集约化猪场
分类号
S828.45 [农业科学—畜牧学]
下载PDF
职称材料
题名
如何有效提高高中学生的英语成绩
6
作者
刘
振
科
机构
平度市第九中学
出处
《学周刊(下旬)》
2012年第8期66-67,共2页
文摘
在新课程改革的春风吹拂下.我校英语教学正在悄悄地发生着喜人的变化。教学一线的教师们一直在不断探索.试图寻找到行之有效的英语教学方法,以便真正能够做到以学生为主体.教师为主导,适应新课程改革的目标.而且有助于不断提高学生的学习积极性.逐步培养学生的英语综合语言运用能力。下面笔者结合在教学过程中的一些行之有效的做法和体会谈谈个人的看法。
关键词
高中学生
英语成绩
英语教学方法
综合语言运用能力
新课程改革
以学生为主体
学习积极性
教学过程
分类号
G635.5 [文化科学—教育学]
下载PDF
职称材料
题名
谭宏宇:“要给后人留下红色记忆”
7
作者
刘
振
科
机构
不详
出处
《中国老区建设》
2021年第5期46-46,共1页
文摘
2009年,刚刚退休的内蒙古自治区阿荣旗旗委原书记谭宏宇担任了旗老促会会长。抗日战争时期,阿荣旗是东北抗日联军三进呼伦贝尔的主战场,东北抗联第三路军龙江北部总指挥冯治纲、第三路军第三支队政治委员高禹民等一批抗联将领先后牺牲在阿荣旗的土地上。谭宏宇先后到黑龙江、吉林、辽宁三省,走访了近百名抗联老战士、抗联将士后代和东北抗联研究专家,考察了许多抗日纪念馆、抗联密营、抗联战斗遗址,广泛收集与阿荣旗有关的抗日史料。
关键词
阿荣旗
东北抗联
老促会
呼伦贝尔
分类号
D642 [政治法律—政治学]
原文传递
题名
预应力碳纤维板加固桥梁施工技术研究
8
作者
刘
振
科
魏玮
机构
郑州市公路工程公司
出处
《汽车世界》
2019年第30期90-90,共1页
文摘
随着使用时间的增长,桥梁结构会逐渐趋于老化,并暴露出许多病害、损坏,若能采取适当的加固方法,则能够有效地延长桥梁的使用寿命、增强其使用性能。研究表明,预应力碳纤维板法应用于桥梁加固能够极大地提升桥梁的承载能力、耐久性,并且能够很好地利用原有结构,减少材料浪费。相较于传统的桥梁加固技术,该方法不仅性能优异、成本低廉,而且绿色环保,能耗更低,具有很强的应用价值。
关键词
预应力碳纤维板
桥梁加固
优点
分类号
U [交通运输工程]
下载PDF
职称材料
题名
浅论建筑电气安装工程的质量控制
9
作者
刘
振
科
机构
广东汕尾陆河县泰安水建工程有限公司
出处
《工会博览(理论研究)》
2009年第6期82-82,共1页
文摘
电气安装工程施工质量管理涉及多方面,且自始至终贯穿于安装施工的全过程。为了杜绝建筑电气工程施工中常见的质量问题,应做好施工质量控制工作。合理的质量控制要以预防为主,关键在于观念的转变,要将以往只对质量的事后检查把关,转向对质量的事前控制、亨中控制中,最后才是事后检查。唯有认真把好每一道工序、每一个环节质量关,才能保证整个工程的质量。
关键词
电气安装工程
施工质量
控制
分类号
F407.6 [经济管理—产业经济]
下载PDF
职称材料
题名
小议桥头跳车产生的原因及防治措施
10
作者
魏玮
刘
振
科
机构
郑州市公路工程公司
出处
《汽车世界》
2019年第30期115-115,共1页
文摘
桥头跳车是目前我国道路桥梁工程中较为常见的一种问题,主要是由于桥梁与路面连接区域存在桥台与路堤沉降不一致的情况,从而引发桥头错台。此时,一旦车辆经过该区域,就会产生颠簸、跳跃的不良现象。出于对提升道路桥梁工程质量、行车舒适程度的考量,必须对桥头跳车问题展开重点处理。在当前的工程中,引发桥头跳车问题的原因较为多样,需要实施针对性分析与处理。
关键词
桥头跳车
原因
防治措施
分类号
U [交通运输工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
应用信息技术优化初中美术教学
刘
振
科
史肖
《中国教育技术装备》
2016
3
下载PDF
职称材料
2
带式输送机滚筒轴承故障预警装置研究
刘
振
科
《中国石油和化工标准与质量》
2021
3
原文传递
3
巧用信息技术构建初中美术教学即时反馈系统
史肖
刘
振
科
《中国现代教育装备》
2016
3
下载PDF
职称材料
4
函数矩阵理论在HOL4中的形式化
刘
振
科
施智平
关永
金声震
张杰
叶世伟
李晓娟
《小型微型计算机系统》
CSCD
北大核心
2013
2
下载PDF
职称材料
5
集约化猪场断奶仔猪饲料应用研究
李树才
刘
振
科
兰建波
杨自伟
《饲料工业》
北大核心
1996
0
下载PDF
职称材料
6
如何有效提高高中学生的英语成绩
刘
振
科
《学周刊(下旬)》
2012
0
下载PDF
职称材料
7
谭宏宇:“要给后人留下红色记忆”
刘
振
科
《中国老区建设》
2021
0
原文传递
8
预应力碳纤维板加固桥梁施工技术研究
刘
振
科
魏玮
《汽车世界》
2019
0
下载PDF
职称材料
9
浅论建筑电气安装工程的质量控制
刘
振
科
《工会博览(理论研究)》
2009
0
下载PDF
职称材料
10
小议桥头跳车产生的原因及防治措施
魏玮
刘
振
科
《汽车世界》
2019
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部