检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

UHPC墙板在某项目外围护系统中的应用

建筑 2024年第8期 127-128页

作者：林涛程云昭廖羿郁文海陶兵成都市建筑设计研究院有限公司

本文介绍了UHPC墙板在四川天府新区某项目4层裙楼外围护系统中的应用情况。采用建筑施工分析软件对UHPC墙板进行分析，在制作、运输及使用阶段，墙板拉应力均大于抗拉强度值，应力在支座位置、板件转折处及加劲肋交接处虽有明显集中，... 详细信息

本文介绍了UHPC墙板在四川天府新区某项目4层裙楼外围护系统中的应用情况。采用建筑施工分析软件对UHPC墙板进行分析，在制作、运输及使用阶段，墙板拉应力均大于抗拉强度值，应力在支座位置、板件转折处及加劲肋交接处虽有明显集中，但局部配置加强钢筋后仍满足正常使用要求。

关键词： UHPC墙板抗压强度抗拉强度

UHPC保温装饰一体化墙板在建筑外围护结构的应用与探索

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

低碳世界 2022年第5期12卷 97-99页

作者：廖羿郁文海刘昌龙成都市建筑设计研究院四川成都610041 中国金茂东南区域公司福建福州350001

在“双碳”背景与新型建筑工业化的要求下,本文基于某实际项目的外围护需求,提出使用一种基于UHPC材料的装配式保温装饰一体化围护墙体,根据其所具有的高强度、抗污、保温、轻质、装饰等特点分析其可行性,并展望了其在新型建筑工业化及... 详细信息

在“双碳”背景与新型建筑工业化的要求下,本文基于某实际项目的外围护需求,提出使用一种基于UHPC材料的装配式保温装饰一体化围护墙体,根据其所具有的高强度、抗污、保温、轻质、装饰等特点分析其可行性,并展望了其在新型建筑工业化及旧房改造项目中的应用前景。

关键词： UHPC 外围护墙保温装饰一体化碳排放新型建筑工业化

在线全文

学校读者我要写书评

暂无评论

保温一体叠合楼板受力性能初探

建筑结构 2023年第S1期53卷 1266-1270页

作者：陈彬郁文海罗妍丁焕龙廖羿梁虹向征林涛成都市建筑设计研究院有限公司成都610015 中国建筑西南设计研究院有限公司成都610041

基于保温一体化混凝土叠合楼板构造,以四川省《装配式住宅混凝土叠合板标准底板(一)》(川2022G156-TY)标准化图集给出的标准楼板为例,通过Abaqus有限元软件比较普通叠合楼板与保温一体化叠合楼板的受力性能。经模拟分析得出,在计算假定... 详细信息

基于保温一体化混凝土叠合楼板构造,以四川省《装配式住宅混凝土叠合板标准底板(一)》(川2022G156-TY)标准化图集给出的标准楼板为例,通过Abaqus有限元软件比较普通叠合楼板与保温一体化叠合楼板的受力性能。经模拟分析得出,在计算假定下,复合保温板对叠合楼板整体受力具有贡献作用,值得进一步试验研究。

关键词：装配式建筑建筑工业化保温一体叠合板一体化集成技术应力云图

阵元位置互质的线性阵列:阵列校正和波束形成

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2024年第1期46卷 240-248页

作者：梁梦薇何劲舒汀郁文贤上海交通大学电子信息与电气工程学院上海200240

该文研究了阵元位置互质的线性阵列(CLA)的阵列校正和波束形成问题。在假设CLA天线单元部分校准的条件下,基于同时干扰定位与阵列校正(SILAC)技术,设计了一种适用于CLA的阵列校正和波束形成方法:CLA-SILAC-INCM算法。从理论上分析证明了... 详细信息

该文研究了阵元位置互质的线性阵列(CLA)的阵列校正和波束形成问题。在假设CLA天线单元部分校准的条件下,基于同时干扰定位与阵列校正(SILAC)技术,设计了一种适用于CLA的阵列校正和波束形成方法:CLA-SILAC-INCM算法。从理论上分析证明了,当CLA中包含有L_c≥3个完全校准的天线单元,使用SILAC技术可以高精度无模糊地实现干扰源角度和阵列天线幅相误差估计,并在此基础上完成干扰噪声协方差矩阵(INCM)重建和波束形成最优权向量构造。通过仿真实验验证了,提出的CLA-SILAC-INCM算法具有比其他常用算法更好的性能,尤其是信噪比接近干噪比时,CLA-SILAC-INCM算法的优势更为明显。

关键词：稀疏阵列自适应波束形成阵列校正

在线全文

学校读者我要写书评

暂无评论

钢筋桁架叠合板底板脱模验算的思考

混凝土世界 2020年第1期 44-48页

作者：郁文海梁虹李荣王巍成都市建筑设计研究院建筑工业化中心四川成都610041 成都市建筑设计研究院四川成都610041 重庆大学土木工程学院重庆400015

在成都市叠合板底板标准化图集编制前期工作中,针对基于现有标准图集设计的叠合板,依据GB 50666—2011《混凝土结构工程施工规范》及JGJ 1—2014《装配式混凝土结构技术规程》所提供的脱模验算准则,采用了两种方法(等代梁法及有限元法)... 详细信息

在成都市叠合板底板标准化图集编制前期工作中,针对基于现有标准图集设计的叠合板,依据GB 50666—2011《混凝土结构工程施工规范》及JGJ 1—2014《装配式混凝土结构技术规程》所提供的脱模验算准则,采用了两种方法(等代梁法及有限元法)进行验算分析,并对结果作出了思考。

关键词：叠合板底板脱模验算桁架钢筋等代梁法有限元法

基于Abaqus有限元计算的钢筋桁架叠合板吊点优化设计研究

在线全文

学校读者我要写书评

暂无评论

建筑结构 2021年第S2期51卷 1277-1281页

作者：郁文海林涛丁焕龙陶兵廖羿成都市建筑设计研究院有限公司成都610015

以成都市《住宅钢筋混凝土叠合板标准底板》CD2019-PC001-TY标准化图集为基础,依据《混凝土结构工程施工规范》(GB50666-2011)及《装配式混凝土结构技术规程》(JGJ1-2014)所提供的脱模验算准则,以有限元方法进行验算,寻求优化的桁架及... 详细信息

以成都市《住宅钢筋混凝土叠合板标准底板》CD2019-PC001-TY标准化图集为基础,依据《混凝土结构工程施工规范》(GB50666-2011)及《装配式混凝土结构技术规程》(JGJ1-2014)所提供的脱模验算准则,以有限元方法进行验算,寻求优化的桁架及吊点布置。经计算,提出了针对吊点设置优化的建议。

关键词：叠合板底板吊点脱模验算桁架钢筋

在线全文

学校读者我要写书评

暂无评论

高装配率住宅建筑技术策略研判和实践

建筑结构 2021年第S2期51卷 1129-1133页

作者：陶兵郁文海李胤松罗妍夏尚志成都市建筑设计研究院有限公司成都610015 中国五冶集团有限公司成都610063

为了深入实施四川省装配式建筑发展三年行动计划,成都市高新区推出高装配率住宅项目作为省级示范项目来推动装配式建筑的发展。本文以成都高新区中胜家园住宅项目为例,简述了本项目的工程概况,比较分析并研判了70%高装配率的技术策略,... 详细信息

为了深入实施四川省装配式建筑发展三年行动计划,成都市高新区推出高装配率住宅项目作为省级示范项目来推动装配式建筑的发展。本文以成都高新区中胜家园住宅项目为例,简述了本项目的工程概况,比较分析并研判了70%高装配率的技术策略,同时概述了本项目装配式技术策略实施要点。最后总结了本项目技术策略具有一定的参考价值。

关键词：装配式住宅高装配率装配式装修

基于CiteSpace的国内外门诊患者药学服务研究热点及前沿的可视化分析

在线全文

学校读者我要写书评

暂无评论

中国医院药学杂志 2024年

作者：秦珺郁文刘陈蓉苏州大学附属第一医院药学部

目的：通过文献计量学方法对国内外门诊患者药学服务研究热点及前沿进行梳理和对比，以期为我国门诊患者药学服务发展提供借鉴。方法：在中国知网、万方中国学术期刊数据库、维普中文科技期刊数据库、Web of Science（WOS）核心数据库、... 详细信息

目的：通过文献计量学方法对国内外门诊患者药学服务研究热点及前沿进行梳理和对比，以期为我国门诊患者药学服务发展提供借鉴。方法：在中国知网、万方中国学术期刊数据库、维普中文科技期刊数据库、Web of Science（WOS）核心数据库、PubMed数据库中进行检索，检索时限为2018年1月-2023年7月，提取数据，采用CiteSpace软件对所选文献进行分析，形成可视化科学网络图谱。结果：国内纳入721篇文献，国际纳入839篇文献。（1）美国、澳大利亚、加拿大是发文最多的国家；（2）国内外作者于该领域的研究文献合作皆不紧密；（3）2018年-2023年国际发文量呈上升趋势；（4）中文文献的聚类“药学门诊”“依从性”和“帕累托图”中节点较多且节点半径较大，英文文献聚类“Blood Pressure（血压）”“Antibiotic Stewardship（抗生素管理）”和“Medication Errors（用药错误）”中节点较多且节点半径较大。结论：门诊患者药学服务需各学者的不懈努力，借鉴国际药学门诊研究趋势，学习抗生素及慢病用药管理，重视中药用药管理，健全药学门诊规范制度，促进门诊患者药学服务发展。

关键词：门诊患者药学服务 CiteSpace 研究热点可视化分析

基于MK的实数公理系统相容性和范畴性的Coq形式化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

控制理论与应用 2024年第7期41卷 1274-1285页

作者：郭达凯冷姝锟窦国威陈思郁文生北京邮电大学电子工程学院天地互联与融合北京市重点实验室北京100876

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基... 详细信息

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

关键词： Morse-Kelley公理化集合论实数公理系统相容性范畴性 Coq 形式化机器证明人工智能