检索结果-南通市图书馆

电器工业 2024年第7期 54-57页

作者：韩煦严升任杰李治逊李欢沈欣江苏省灌溉总渠管理处

淮安站变电所110kV GIS设备已达大修年限,为做好GIS整站大修工作,确保施工安全、科学、高效,减少因大修停电造成的影响,保证设备一次投运成功率,本文提出GIS整站大修关键思路,为相关工作提供参考。

关键词：变电所大修气体绝缘 GIS

某胶合木结构建筑碳排放计算及其减碳效果研究

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

在线全文

学校读者我要写书评

暂无评论

某胶合木结构建筑碳排放计算及其减碳效果研究

中国土木工程学会总工程师工作委员会第三届总工论坛

作者：张倚天陈浩邓超严升邓利斌彭琳娜湖南大学土木工程学院湖南省建筑科学研究院有限责任公司

为分析湖南长沙市象山国际幼儿园木结构建筑较等效混凝土结构建筑的减碳效果,根据等效原则,在相同条件下进行混凝土结构虚拟设计,确定等效混凝土结构建材用量,基于工程量计算,对木结构建筑及等效混凝土结构建筑进行碳排放计算。结果表明... 详细信息

为分析湖南长沙市象山国际幼儿园木结构建筑较等效混凝土结构建筑的减碳效果,根据等效原则,在相同条件下进行混凝土结构虚拟设计,确定等效混凝土结构建材用量,基于工程量计算,对木结构建筑及等效混凝土结构建筑进行碳排放计算。结果表明,与等效混凝土结构建筑相比,木结构建筑在建材消耗方便碳排放下降于44.1%,架空层以上部分木结构建筑碳排放量下降约60.3%。

关键词：胶合木建筑等效混凝土结构碳排放计算因子全生命周期评价

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于Coq的杨忠道定理形式化证明

软件学报 2022年第6期33卷 2208-2223页

作者：严升郁文生付尧顺天地互联与融合北京市重点实验室(北京邮电大学电子工程学院) 北京100876

实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般... 详细信息

实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般拓扑学中的一个重要定理.基于定理证明辅助工具Coq,从公理化集合论机器证明系统出发,对一般拓扑学中的开集、闭集、邻域、凝聚点和导集等拓扑基本概念进行形式化描述,给出这些概念基本性质的形式化验证,建立了拓扑空间的形式化框架.在此基础上,实现基于Coq的杨忠道定理形式化证明.全部引理、定理和推论均完整给出Coq的形式化描述和机器证明代码,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.杨忠道定理的形式化证明是一般拓扑学形式化内容的一个深刻体现.

关键词： Coq 形式化证明公理化集合论一般拓扑拓扑空间杨忠道定理

三元体系Li(K)，Rb//Cl-HO 288.2 K固液相平衡研究

在线全文

学校读者我要写书评

暂无评论

无机盐工业 2024年

作者：杨博马珍曾英严雄仲李琪侯元昇于旭东青海盐湖工业股份有限公司成都理工大学材料与化学化工学院

为获取锂铷、钾铷共存氯化物体系在288.2 K时各盐结晶规律，采用等温溶解平衡法开展了三元体系Li+，Rb+//Cl--H2O和K+，Rb+//Cl--H2O在288.2 K下的固液相平衡研究，实验测定了溶解度、平衡液相的物化性质(密度、折射率)，采用Schreinema... 详细信息

为获取锂铷、钾铷共存氯化物体系在288.2 K时各盐结晶规律，采用等温溶解平衡法开展了三元体系Li+，Rb+//Cl--H2O和K+，Rb+//Cl--H2O在288.2 K下的固液相平衡研究，实验测定了溶解度、平衡液相的物化性质(密度、折射率)，采用Schreinemakers湿渣法、X-ray粉晶衍射法、扫描电子显微镜(SEM)和EDS能谱联合鉴定了共饱点处平衡固相组成，并绘制了相应的相图。结果表明：三元体系Li+，Rb+//Cl--H2O在288.2 K时为简单体系，无复盐或固溶体生成，且RbCl的结晶相区大于LiCl·2H2O。三元体系K+，Rb+//Cl--H2O在288.2 K时为复杂体系，有固溶体(K，Rb)Cl生成且结晶相区最大，对比该体系在288.2、298.2、348.2 K时的多温相图发现：三个温度下均有固溶体(K，Rb)Cl生成，且固溶体(K，Rb)Cl结晶相区始终为最大；随着温度升高，KCl、RbCl结晶相区变大，(K，Rb)Cl结晶相区变小。采用经验方程计算了两个体系平衡溶液的密度、折射率，计算结果与实验值吻合较好，最大相对误差小于0.02。

关键词：相平衡氯化锂氯化钾氯化铷固溶体

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

小学语文教学中对随班就读学生的指导策略

福建教学研究 2024年第1期 38-39页

作者：严升大光泽县镇岭小学

随着融合教育理念的普及与随班就读工作的推进,符合随班就读条件的残疾儿童与其他同龄学生一样,进入普通学校的普通班级平等地接受教育。每一个特殊儿童残障类型与程度都存在差异,所以要根据每个残障学生的身心特点“量身定做”教学方... 详细信息

随着融合教育理念的普及与随班就读工作的推进,符合随班就读条件的残疾儿童与其他同龄学生一样,进入普通学校的普通班级平等地接受教育。每一个特殊儿童残障类型与程度都存在差异,所以要根据每个残障学生的身心特点“量身定做”教学方案。从学前评估、目标设定、课堂教学与形成性评价等方面落实“一人一案”。本文试以小学语文教学为例,谈对随班就读学生的个别化指导策略。

关键词：指导策略残障学生特殊儿童目标设定身心特点残疾儿童随班就读课堂教学

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

水下滑翔机纵垂面变浮力过程建模与控制优化

中国机械工程 2022年第1期33卷 109-117页

作者：严升张润锋杨绍琼牛文栋张宇航李保玉天津大学机构理论与装备设计教育部重点实验室天津300350 天津大学青岛海洋技术研究院青岛266237 青岛海洋科学与技术试点国家实验室海洋观测与探测联合实验室青岛266237

基于国产水下滑翔机“海燕-Ⅱ”的结构特点和控制特征,考虑不同深度下的海水密度和压强对水下滑翔机运动的影响,建立了一种精确的水下滑翔机动力学模型。该模型将水下滑翔机的前后导流罩和其他可浸水部分的海水质量作为水下滑翔机本身... 详细信息

基于国产水下滑翔机“海燕-Ⅱ”的结构特点和控制特征,考虑不同深度下的海水密度和压强对水下滑翔机运动的影响,建立了一种精确的水下滑翔机动力学模型。该模型将水下滑翔机的前后导流罩和其他可浸水部分的海水质量作为水下滑翔机本身质量的一部分,并将水下滑翔机的回排油过程作为变质量过程,将海水的深度变化对其浮力的影响过程作为变浮力过程。此外,将电池包的前后移动量作为控制输入量、俯仰角作为控制输出量对该模型进行数值仿真,并结合南海海试数据与仿真结果进行对比,结果验证了该模型的有效性。最后,基于该模型以滑翔角作为控制变量,采用PID控制器进行数值仿真,结果表明通过该优化控制策略能显著提升水下滑翔机的运动性能。

关键词：水下滑翔机变浮力过程动力学模型控制优化

在线全文

学校读者我要写书评

暂无评论

集成光波导相控阵列中心偏检测方法

吉林大学学报（工学版） 2024年第4期54卷 1099-1104页

作者：严朝军吴迪三峡大学计算机与信息学院宜昌443002 三峡大学电子与通信研究所宜昌443002

针对光波导在成像过程中阵列中心易发生偏移现象,其相控阵列的中心偏检测精度较低的问题,提出一种集成光波导相控阵列中心偏检测方法。利用光束传输法对集成光波导的光波场展开模型,根据光栅衍射理论分析集成光波导的扫描特性。当相控... 详细信息

针对光波导在成像过程中阵列中心易发生偏移现象,其相控阵列的中心偏检测精度较低的问题,提出一种集成光波导相控阵列中心偏检测方法。利用光束传输法对集成光波导的光波场展开模型,根据光栅衍射理论分析集成光波导的扫描特性。当相控阵列中心处于偏离状态时,相控阵列面之间在集成光波导中处于不平行状态,在光学自准直法的基础上结合集成光波导的扫描特性,计算相控阵列在集成光波导中的平行度,获得相控阵列面在x方向和y方向中的平行度,以此为依据检测集成光波导相控阵列中心的偏离程度。实验结果表明:本文方法在x方向和y方向中的检测误差为0.001 mm和0.002 mm,检测结果与实际结果相符,证明所提方法具有较高的检测精度。

关键词：集成光波导相控阵列光栅衍射理论光束传输法光学自准直法阵列中心偏检测

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

在线全文

学校读者我要写书评

暂无评论

农村公路薄层水泥混凝土技术

中文科技期刊数据库（引文版）工程技术 2024年第1期 167-170页

作者：谢华山严升威丁钉长沙市望城区交通建设事务中心湖南望城410203

农村公路路面施工时,因为混凝土路面结构层较薄,若混凝土工程施工时混凝土浇筑方法不科学容易引起混凝土结构裂缝,导致路面强度下降情况出现。因此,结合农村公路项目实例,采用路基补强施工方法进行路基处理后,运用槽钢模板在路基两侧铺... 详细信息

农村公路路面施工时,因为混凝土路面结构层较薄,若混凝土工程施工时混凝土浇筑方法不科学容易引起混凝土结构裂缝,导致路面强度下降情况出现。因此,结合农村公路项目实例,采用路基补强施工方法进行路基处理后,运用槽钢模板在路基两侧铺设形成混凝土浇筑区域,而后铺设钢筋采用泵车浇筑混凝土。该工程按照工艺规范进行混凝土浇筑施工,混凝土路面强度得到提升,符合本次项目建设标准。

关键词：农村公路薄层水泥路面混凝土技术

基于物联网及边缘网关的智慧果园监控系统设计

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

互联网周刊 2024年第11期 45-47页

作者：陈生学严佩升孟星李波昭通学院

随着物联网技术的飞速发展,将物联网技术与水果种植相结合,有助于推动水果种植朝着自动化、智能化的方向发展,提高水果种植的现代化水平。因此,本文设计了一种基于物联网及边缘网关的智慧果园监控系统,该系统基于物联网架构,以CC2530芯... 详细信息

随着物联网技术的飞速发展,将物联网技术与水果种植相结合,有助于推动水果种植朝着自动化、智能化的方向发展,提高水果种植的现代化水平。因此,本文设计了一种基于物联网及边缘网关的智慧果园监控系统,该系统基于物联网架构,以CC2530芯片为核心,设计无线数据采集及环境调控节点;以STM32为核心构建边缘网关,一是负责融合无线传感网络中协调节点和摄像头数据,进行协议转换后,通过5G模块将数据传送至上位机,同时可向ZigBee节点发送控制指令;二是可对土壤环境进行本地调控。管理用户可以通过PC端、手机端对果园环境进行远程监控,上位机软件能根据数据和图片信息实现果园病虫害预警。该系统具有使用便捷、操作简单、运行成本低等优点,能较好地实现果园智慧化管理。

关键词：物联网技术水果种植 STM32网关 5G模块

小波分频自注意力Transformer图像去雨网络

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

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2024年第6期60卷 259-273页

作者：方思严刘斌湖北大学计算机与信息工程学院武汉430062

针对视觉Transformer对高频信息捕捉能力弱以及目前许多图像去雨方法易丢失细节的问题,提出小波分频自注意力Transformer图像去雨网络(WFDST-Net)。小波分频自注意力Transformer(WFDST)作为WFDST-Net的主要模块,其利用不可分提升小波变... 详细信息

针对视觉Transformer对高频信息捕捉能力弱以及目前许多图像去雨方法易丢失细节的问题,提出小波分频自注意力Transformer图像去雨网络(WFDST-Net)。小波分频自注意力Transformer(WFDST)作为WFDST-Net的主要模块,其利用不可分提升小波变换获取特征图的低频分量和高频分量,分别在低频和高频中进行自注意力交互,使模块从低频中学习恢复全局结构的能力,在高频中强化捕捉雨纹等线条细节的能力,增强对不同频域特征的建模能力。WFDST-Net采用U形架构并通过不可分提升小波变换获取多尺度特征,可在捕获不同形状高频雨纹的同时保证信息的完整性。相比其他图像去雨相关的Transformer,WFDST-Net具有更低的参数量。此外,提出VOCRain250数据集用于联合图像去雨和语义分割任务,该数据集比目前广泛使用的BDD150更具优势。实验表明,所提方法增强了视觉Transformer对不同频域信息的捕获能力,并在合成和真实数据集以及VOCRain250中的表现优于目前先进的去雨方法,能有效去除复杂雨纹并保留更多细节特征。

关键词：图像去雨 Transformer 自注意力不可分提升小波频域