检索结果-南通市图书馆

新型钢模板顺路溜井在上向水平分层充填采矿法中的应用

在线全文

学校读者我要写书评

暂无评论

有色金属设计 2024年第2期51卷 13-17页

作者：晏明杨舒亮粟登峰四川西冶工程设计咨询有限公司四川成都610051 湖南宝山有色金属矿业有限责任公司湖南郴州424499 西南科技大学四川绵阳621010

充填采矿法将是未来地下开采的主要发展方向,优化充填采矿法的开采工艺尤为必要。然而在充填采矿法中溜井作为大部分矿山上部各中段采场矿石实现集中运输,保证各分段出矿能力提高生产力的作用,因此安全高效的溜井施工方案对于提高矿山... 详细信息

充填采矿法将是未来地下开采的主要发展方向,优化充填采矿法的开采工艺尤为必要。然而在充填采矿法中溜井作为大部分矿山上部各中段采场矿石实现集中运输,保证各分段出矿能力提高生产力的作用,因此安全高效的溜井施工方案对于提高矿山生产能力,降低施工成本尤为重要。基于此,文章结合湖南某铅锌矿地下开采采用上向水平分层充填采矿法的特点,提出了采用预制钢模板替代传统钢筋砼浇筑制作采场溜矿井的新型钢模板顺路溜井施工方案并在现场进行了应用,现场试验表明,新型钢模板顺路溜井施工方案具有减轻劳动强度、提高生产效率、降低采矿成本、降低作业风险等优点,可为类似矿山上向水平分层充填采矿法溜井施工提供借鉴。

关键词：上向水平分层充填采矿法新型预制钢模板顺路溜井钢筋砼浇筑生产成本

探讨农机报废更新补贴政策实施过程中存在问题及对策建议

在线全文

学校读者我要写书评

暂无评论

农业机械 2024年第6期 81-83,88页

作者：宋观峰娄登焕鹿新梅曲阜市农机事业发展中心

农业机械装备是科技强农、全方位夯实粮食安全根基、加快建设农业强国的重要支撑。本文结合基层农机报废更新补贴工作实际情况,找出了工作中存在的问题,分析了产生问题的原因,并提出了切实可行的对策建议。

关键词：农机报废更新补贴问题对策建议

基于RISC-V指令扩展方式的国密算法SM2、SM3和SM4的高效实现

在线全文

学校读者我要写书评

暂无评论

电子学报 2024年第8期52卷 2850-2865页

作者：王明登严迎建郭朋飞张帆信息工程大学密码工程学院河南郑州450001 浙江大学网络空间安全学院浙江杭州310058

基于指令扩展的密码算法实现是兼顾性能和面积的轻量级实现方式,特别适用于日益普及的物联网设备.SM2、SM3和SM4等国密算法有利于提高自主可控设备的安全性,但针对这些算法进行指令扩展的相关研究还不够充分.RISC-V由于其开源、简洁及... 详细信息

基于指令扩展的密码算法实现是兼顾性能和面积的轻量级实现方式,特别适用于日益普及的物联网设备.SM2、SM3和SM4等国密算法有利于提高自主可控设备的安全性,但针对这些算法进行指令扩展的相关研究还不够充分.RISC-V由于其开源、简洁及可扩展等优点已成为业界最流行的指令集架构之一,本文主要基于国产开源RISC-V处理器对国密算法SM2、SM3和SM4进行指令扩展和高效实现.本文基于软硬件协同的理念提出总体指令的扩展方案.对相关密码算法进行深入分析和方案对比,分别设计了硬件单元,提出高效的实现方式.设计实现的协处理器具有2级流水线结构,顺序派遣、乱序执行和顺序写回的指令执行模式,以及独立内存访问单元和大位宽寄存器.协处理器统一接管了密码算法的部分控制逻辑,降低硬件资源消耗.实验结果表明,本文设计的密码协处理器硬件结构精简,资源利用率高.SM2、SM3和SM4算法占用资源少,但执行速率相比纯硬件有一定程度下降,资源面积和花费时间的乘积与其他相关文献相比有不同程度的优势.

关键词： RISC-V 协处理器国密算法指令扩展蜂鸟E203 嵌入式系统

新质生产力发展与土地资源配置:历史逻辑、理论逻辑与现实逻辑

在线全文

学校读者我要写书评

暂无评论

中国土地科学 2024年第5期38卷 29-37页

作者：于昊辰尹登玉青岛科技大学经济与管理学院山东青岛266061 青岛农业大学人文社会科学学院山东青岛266109

研究目的:系统阐释新质生产力发展与土地资源配置的历史逻辑、理论逻辑与现实逻辑,为新形势下土地资源优化配置提供有益参考。研究方法:逻辑推理法与归纳总结法。研究结果:(1)土地资源是构成生产力的基本要素,其性质作用顺应文明演进日... 详细信息

研究目的:系统阐释新质生产力发展与土地资源配置的历史逻辑、理论逻辑与现实逻辑,为新形势下土地资源优化配置提供有益参考。研究方法:逻辑推理法与归纳总结法。研究结果:(1)土地资源是构成生产力的基本要素,其性质作用顺应文明演进日益拓展,土地资源配置与生产力发展存在与时俱进的历史逻辑,并与生产关系变革密切相关。(2)着眼学理基础,土地资源配置可通过高效竞争、有序管制、均衡协同、公平分配和智能决策等途径助力新质生产力的发展,并可归纳为市场、政府、统筹、共享、涌现5项理论逻辑。(3)立足现实问题,新质生产力发展与土地资源配置既具有双向赋能的共促逻辑,也需遵循因地制宜的差别逻辑、动态推演的前瞻逻辑和筑牢底线的安全逻辑。研究结论:土地资源配置与新质生产力发展是一对相互促进的孪生体,二者的历史、理论和实践逻辑会随着生产力发展而发生转换,未来仍需持续优化土地资源配置、深化土地制度改革,以更好服务于新质生产力的价值取向。

关键词：土地资源配置新质生产力人地关系用地保障

“国优计划”背景下高水平大学教师教育的路径与策略研究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国高教研究 2024年第2期 70-77页

作者：翁登朝卢彩晨兰州大学管理学院甘肃兰州730000 兰州大学高等教育研究院甘肃兰州730000

教师队伍是建设教育强国的重要基础。为加强教师队伍建设,教育部启动“国优计划”,组织高水平大学为中小学培养高素质教师。然而,试点高校在执行“国优计划”过程中却面临招生选拔、课程设置、实践模式等诸多困难。研究发现,美国高水平... 详细信息

教师队伍是建设教育强国的重要基础。为加强教师队伍建设,教育部启动“国优计划”,组织高水平大学为中小学培养高素质教师。然而,试点高校在执行“国优计划”过程中却面临招生选拔、课程设置、实践模式等诸多困难。研究发现,美国高水平大学通过兼顾目的与能力选拔学生、设置主次分明多元灵活的课程体系、设计层层递进构成闭环的实践模式、组建具有丰富经验的跨学科教师团队等举措实施教师教育。建议试点高校在实施“国优计划”过程中,兼顾考察申请者攻读目的与攻读能力、提高课程体系的系统性和灵活性、设计不断深化的实地实践模式、加强教师之间沟通协作,以确保新型教师教育质量。

关键词：国优计划高水平大学教师教育实践模式

在线全文

学校读者我要写书评

暂无评论

论黑龙江省地理标志农产品知识产权保护

边疆经济与文化 2024年第4期 44-47页

作者：李沐峰马颖章江南大学法学院江苏无锡214122 哈尔滨师范大学法学院哈尔滨150025

黑龙江省地理标志产品知识产权保护富有成效,地理标志农产品推动黑龙江经济振兴。黑龙江省地理标志农产品是优良品质、信誉的标志,是黑龙江形象和文化的代表符号,有助于黑龙江特色产业形成和高质量发展。黑龙江省地理标志农产品知识产... 详细信息

黑龙江省地理标志产品知识产权保护富有成效,地理标志农产品推动黑龙江经济振兴。黑龙江省地理标志农产品是优良品质、信誉的标志,是黑龙江形象和文化的代表符号,有助于黑龙江特色产业形成和高质量发展。黑龙江省地理标志农产品知识产权存在保护体系不健全,保护力度不够,质量监督管理缺乏规制。黑龙江省地理标志农产品知识产权保护应完善相关法律法规提升执法监督力度,健全黑龙江省地理标志农产品统一行政审查制度,加强黑龙江省地理标志农产品动态监管,提高生产经营者对地理标志农产品法律性质的认知。

关键词：黑龙江地理标志农产品知识产权保护

在线全文

学校读者我要写书评

暂无评论

某舰炮破片弹丸对反舰导弹毁伤的数值模拟

舰船科学技术 2024年第7期46卷 183-189页

作者：焦登伟中国船舶集团有限公司第七一三研究所河南郑州450015

为研究舰炮破片弹丸对空中运动反舰导弹的毁伤规律,采用有限元软件建立破片弹丸毁伤反舰导弹的数值模型,在动态爆轰过程分析弹丸速度对破片生成规律的影响,在毁伤过程探讨破片群冲击反舰导弹的特征。结果表明,与静态爆轰相比,动态爆轰... 详细信息

为研究舰炮破片弹丸对空中运动反舰导弹的毁伤规律,采用有限元软件建立破片弹丸毁伤反舰导弹的数值模型,在动态爆轰过程分析弹丸速度对破片生成规律的影响,在毁伤过程探讨破片群冲击反舰导弹的特征。结果表明,与静态爆轰相比,动态爆轰破片呈喷射状散布;随着弹丸速度的衰减,生成破片的速度明显下降,但破片群受炸药驱动的速度增量却逐渐增大;同时,不同速度弹丸的破片速度曲线均呈快速上升至波动上升至趋于稳定的趋势,但快速上升段受弹丸速度的影响不同;破片群的毁伤形式主要有贯穿、侵彻随行、切割跳飞以及未相遇4种情况,在1/4弹丸中,贯穿破片占比5.5%,有效破片占比38%。

关键词：破片弹丸反舰导弹动态爆轰破片群毁伤

稀土铒修饰的锐钛矿TiO_(2)太阳光降解染料废水

在线全文

学校读者我要写书评

暂无评论

印染助剂 2024年第1期41卷 22-25页

作者：龚蜜章少琪杨德杨静甘登峰陈权甄德帅李乐南华大学衡阳医学院公共卫生学院湖南衡阳421001 费县大田庄乡卫生院山东临沂273403 衡阳市市场监督检验检测中心湖南衡阳421001

通过稀土铒(Er)掺杂对锐钛矿TiO_(2)进行晶格缺陷调控,开发具有高催化活性的Er@R-TiO_(2)光催化剂,通过Raman光谱证明Er@R-TiO_(2)复合材料为锐钛矿相,FT-IR和PL光谱验证Er@R-TiO_(2)复合材料可以高效利用太阳光,增强其光催化性能。实... 详细信息

通过稀土铒(Er)掺杂对锐钛矿TiO_(2)进行晶格缺陷调控,开发具有高催化活性的Er@R-TiO_(2)光催化剂,通过Raman光谱证明Er@R-TiO_(2)复合材料为锐钛矿相,FT-IR和PL光谱验证Er@R-TiO_(2)复合材料可以高效利用太阳光,增强其光催化性能。实验优化了Er@R-TiO_(2)光催化复合材料的掺杂物质的量比[n(Er)∶n(Ti)=1.5∶100.0],同时选取玫瑰红B染料模拟废水进行太阳光辐射(紫外光和可见光照射)光催化降解实验,评价Er@R-TiO_(2)光催化降解反应效率。经过90 min紫外光和240 min可见光照射后,Er@R-TiO_(2)光催化复合材料可以将玫瑰红B染料基本完全降解,降解率分别为99.5%和92.3%。

关键词：稀土铒 Er@R-TiO_(2) 玫瑰红B 降解

Apache Flink复杂事件处理语言的形式语义

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第10期35卷 4510-4532页

作者：傅宣登吴志林计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049

Apache Flink是目前最流行的流式计算平台之一,已经在工业界得到了广泛应用.复杂事件处理是流式计算的一种重要使用场景,Apache Flink平台定义并实现了一种复杂事件处理语言(简称FlinkCEP).FlinkCEP语法特性丰富,不仅包括常见的过滤、... 详细信息

Apache Flink是目前最流行的流式计算平台之一,已经在工业界得到了广泛应用.复杂事件处理是流式计算的一种重要使用场景,Apache Flink平台定义并实现了一种复杂事件处理语言(简称FlinkCEP).FlinkCEP语法特性丰富,不仅包括常见的过滤、连接、循环等操作,还包括迭代条件、匹配筛选策略等高级特性.FlinkCEP语义复杂,尚缺乏语言规范对其语义进行准确描述,只能通过实现细节来理解,因此对其语义进行形式描述对于开发人员准确理解其语义非常必要.针对FlinkCEP提出一种数据流转换器的自动机模型,该模型包括用于刻画迭代条件的数据变量、存储输出结果的数据流变量、用于刻画匹配筛选策略的迁移优先级等特性.使用数据流转换器对FlinkCEP的语义进行形式建模,并且根据形式语义设计FlinkCEP的查询求值算法,实现原型系统.进一步,生成能够较为全面覆盖FlinkCEP语法特性的测试用例集,利用这些测试用例与FlinkCEP在Flink平台上的实际运行结果进行对比实验.实验结果表明所提出的形式语义与FlinkCEP在Flink平台上的实际语义基本是一致的.而且,对实验结果不一致的情况进行分析,指出FlinkCEP在Flink平台上的实现对于组模式的处理可能存在错误.

关键词：流式计算 Flink 复杂事件处理形式语义数据流转换器查询求值