检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

拼装式悬挑操作平台的研发与应用

建筑施工 2025年第1期47卷 120-123,128页

作者：袁飞上海市机械施工集团有限公司上海200072 上海面向典型建筑应用机器人工程技术研究中心上海200072

以中国航海博物馆帆体铝板幕墙整体改造提升工程为背景,配合馆方不停展施工,同时保证施工安全、质量、进度;由于帆体为异形曲面结构,从设计阶段开始优化平台连接方式,合理布置连接点位置,最终选择悬挑施工平台为高空散装安装的方式,采... 详细信息

以中国航海博物馆帆体铝板幕墙整体改造提升工程为背景,配合馆方不停展施工,同时保证施工安全、质量、进度;由于帆体为异形曲面结构,从设计阶段开始优化平台连接方式,合理布置连接点位置,最终选择悬挑施工平台为高空散装安装的方式,采用抱箍结构和拉杆的形式将悬挑平台与帆体钢构管进行有效连接固定,从而形成安全可靠的施工平台。本悬挑平台安全、便捷、施工性强,实现了在不使用大型机械的情况下完成异形幕墙的更新;解决了现场异形超大高差的吊顶施工难题,在确保已运营结构安全的同时,有效降低了施工成本、缩短了施工工期、保障了施工安全、满足了馆方的要求,达成既定目标。

关键词：曲面异形建筑铝板幕墙可拼装式悬挑施工钢平台模块化设计

基础设施公募REITs运营模式探究:国际经验与中国变革

在线全文

学校读者我要写书评

暂无评论

金融发展研究 2025年第1期 80-87页

作者：任旭袁菲刘泉辛北京交通大学经济管理学院北京100044 可持续交通创新中心北京100044

基础设施公募REITs作为我国近年来金融创新的重要产品,具有巨大的市场潜力和投资价值。然而,我国基础设施公募REITs的运营模式类型单一、信息披露不透明和原始权益人机会主义行为等问题制约了市场发展。本文以定性分析和比较研究为基础... 详细信息

基础设施公募REITs作为我国近年来金融创新的重要产品,具有巨大的市场潜力和投资价值。然而,我国基础设施公募REITs的运营模式类型单一、信息披露不透明和原始权益人机会主义行为等问题制约了市场发展。本文以定性分析和比较研究为基础,揭示了国内基础设施公募REITs的运营困境,借鉴国际REITs市场的成功经验,提出完善法律监管体系、筛选优质资产、优化运营模式等建议,为优化基础设施公募REITs运营模式提供了理论支持,为提高基础设施公募REITs的市场效率、促进我国基础设施建设和资本市场的长期健康发展、加快建设中国特色现代金融体系贡献了实践价值。

关键词：基础设施公募REITs 运营模式国际经验中国变革

同方期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

活动星系核吸积盘中白矮星碰撞及其观测效应

科学通报 2025年第3期70卷 423-431页

作者：张书瑞罗沿袁业飞中国科学技术大学天文与空间科学学院合肥230026 中国科学技术大学天文系中国科学院星系与宇宙学研究重点实验室合肥230026 Department of Physics and Earth Science University of FerraraFerrara 1-44122Italy

活动星系核(active galactic nuclei,AGN)盘中的白矮星(white dwarf,WD)很可能会迁移到内区,并形成由两白矮星与中心超大质量黑洞(supermassive black hole,SMBH)组成的限制性三体系统.多体模拟发现该三体系统通常是不稳定的,会导致两... 详细信息

活动星系核(active galactic nuclei,AGN)盘中的白矮星(white dwarf,WD)很可能会迁移到内区,并形成由两白矮星与中心超大质量黑洞(supermassive black hole,SMBH)组成的限制性三体系统.多体模拟发现该三体系统通常是不稳定的,会导致两白矮星在近遇(close encounter)过程中相撞.该事件率可达300 Gpc^(-3)yr^(-1),相当于观测到的Ia型超新星的1%.白矮星相撞会引发热核爆炸,爆炸的能量主要转化为碎片的动能,碎片再与AGN吸积盘碰撞将动能转化为内能,并产生特征性光变:迅速上升后以L∝t^(-2.8)衰减,时标为几小时到月的量级,具体取决于SMBH质量.后续对盘的破坏还可能导致变脸AGN现象.回落碎片撞击盘物质产生的高能辐射主要在硬X射线到软γ波段,光度可达1043erg s^(-1),有望被未来的Me V探测器观测到.另外,AGN吸积盘可能是重元素产生的工厂,白矮星相撞产生的碎片将显著增加AGN吸积盘的金属丰度.

关键词：活动星系核吸积盘白矮星碰撞

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

“人民史诗”油画创作的观念与图像建构

艺术与设计(理论版) 2025年第2期 112-114页

作者：袁飞荆琦中国矿业大学人文与艺术学院江苏徐州221116

自新时代以来,习近平总书记在一系列文艺工作座谈会中对文艺工作的根本立场、基本要素和长远规划等多个角度探讨了新时代文艺的发展方向,强调了以人民为本位的创作方式的同时推出了“人民史诗”这一时代感强,特色鲜明的文艺范畴,提供给... 详细信息

自新时代以来,习近平总书记在一系列文艺工作座谈会中对文艺工作的根本立场、基本要素和长远规划等多个角度探讨了新时代文艺的发展方向,强调了以人民为本位的创作方式的同时推出了“人民史诗”这一时代感强,特色鲜明的文艺范畴,提供给广大文艺工作者前所未有的广阔平台。目前学界将以民为本的创作导向以及史诗叙事理论做了充分解析但具体到“人民史诗”范畴在艺术领域对艺术家们进行油画创作时所产生的引导性作用还尚未明晰,文章通过对“人民史诗”的观念与图像的建构方式进行深入探讨,结合油画作品的表现性、叙事性结构探索新时代中国主题性油画图式与观念的变革与创新性。

关键词：新时代人民性史诗油画

基于长短期记忆网络与射线声学的浅海声速剖面反演方法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

声学学报 2025年第1期50卷 12-22页

作者：吴隆昊刘松吴照志潘才能袁飞水声通信与海洋信息技术教育部重点实验室(厦门大学) 厦门361005

针对水声多途信道环境下的水下声速剖面反演问题,将深度学习与射线声学理论结合,提出了一种基于长短期记忆网络(LSTM)的反演方法。该方法根据有序线阵等距的特点,将到达时间差、到达角度等多模态数据融合组成的感知矩阵作为输入,利用LST... 详细信息

针对水声多途信道环境下的水下声速剖面反演问题,将深度学习与射线声学理论结合,提出了一种基于长短期记忆网络(LSTM)的反演方法。该方法根据有序线阵等距的特点,将到达时间差、到达角度等多模态数据融合组成的感知矩阵作为输入,利用LSTM网络处理时序数据的能力挖掘空间上有序分布的接收阵元之间的关联信息,从而实现声速剖面反演。在此基础上,还提出了基于互相关函数的硬阈值估计方法,通过降低感知矩阵的测量误差提高模型的抗多途性能。通过数值仿真验证了该反演方法的可行性和准确性,与传统优化算法相比,所提算法能够更好地捕捉声速剖面的非线性特征,具有更高的反演精度和较强的抗噪能力。

关键词：声速剖面长短期记忆网络水声多途信道时延估计

Bounded Evaluation:Querying Big Data with Bounded Resources

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2020年第4期17卷 502-526页

作者： Yang Cao Wen-fei Fan Teng-fei yuan University of Edinburgh Edinburg EH89ABUKUniversity of EdinburghEdinburg EH89ABUK Shenzhen Institute of Computing Sciences Shenzhen UniversityShenzhen 518060China Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang UniversityBeijing 100191China

This work aims to reduce queries on big data to computations on small data,and hence make querying big data possible under bounded resources.A query Q is boundedly evaluable when posed on any big dataset D,there exists a fraction DQ of D such that Q(D)=Q(DQ),and the cost of identifying DQ is independent of the size of *** has been shown that with an auxiliary structure known as access schema,many queries in relational algebra(RA)are boundedly evaluable under the set semantics of *** paper extends the theory of bounded evaluation to RAaggr,i.e.,RA extended with aggregation,under the bag semantics.(1)We extend access schema to bag access schema,to help us identify DQ for RAaggr queries Q.(2)While it is undecidable to determine whether an RAaggr query is boundedly evaluable under a bag access schema,we identify special cases that are decidable and practical.(3)In addition,we develop an effective syntax for bounded RAaggr queries,i.e.,a core subclass of boundedly evaluable RAaggr queries without sacrificing their expressive power.(4)Based on the effective syntax,we provide efficient algorithms to check the bounded evaluability of RAaggr queries and to generate query plans for bounded RAaggr queries.(5)As proof of concept,we extend PostgreSQL to support bounded *** experimentally verify that the extended system improves performance by orders of magnitude.

关键词： Bounded evaluation resource-bounded query processing effective syntax access schema boundedness

Development of an improved CBR model for predicting steel temperature in ladle furnace refining

在线全文

学校读者我要写书评

暂无评论

International Journal of Minerals,Metallurgy and Materials 2021年第8期28卷 1321-1331页

作者： fei yuan An-jun Xu Mao-qiang Gu School of Metallurgical and Ecological Engineering University of Science and Technology BeijingBeijing 100083China

In the prediction of the end-point molten steel temperature of the ladle furnace, the influence of some factors is nonlinear. The prediction accuracy will be affected by directly inputting these nonlinear factors into the data-driven model. To solve this problem, an improved case-based reasoning model based on heat transfer calculation(CBR-HTC) was established through the nonlinear processing of these factors with software Ansys. The results showed that the CBR-HTC model improves the prediction accuracy of end-point molten steel temperature by5.33% and 7.00% compared with the original CBR model and 6.66% and 5.33% compared with the back propagation neural network(BPNN)model in the ranges of [-3, 3] and [-7, 7], respectively. It was found that the mean absolute error(MAE) and root-mean-square error(RMSE)values of the CBR-HTC model are also lower. It was verified that the prediction accuracy of the data-driven model can be improved by combining the mechanism model with the data-driven model.

关键词： case-based reasoning LF refining steel temperature prediction ladle lining

“Transient”or“Persistent”Coding for Working Memory

在线全文

学校读者我要写书评

暂无评论

Neuroscience Bulletin 2020年第10期36卷 1233-1235页

作者： Yixuan Ku Ti-fei yuan Guangdong Provincial Key Laboratory of Social Cognitive Neuroscience and Mental Health Department of PsychologySun Yat-sen UniversityGuangzhou 510006China Peng Cheng Laboratory Shenzhen 518040China Shanghai Key Laboratory of Psychotic Disorders Shanghai Mental Health CenterShanghai Jiao Tong University School of MedicineShanghai 200030China Co-innovation Center of Neuroregeneration Nantong UniversityNantong 226001China

Working memory(WM)maintains information temporarily for subsequent goal-directed behaviors,such as remembering a telephone number to *** serves as a supporting mental workspace for many cognitive functions such as mental calculation,reading,and learning new *** critical role of persistent activity in the prefrontal cortex in WM,originally proposed to bridge sensory information and motor responses[1],has been severely debated recently[2,3].

关键词： telephone such tempo

Specification and Verification of the Zab Protocol with TLA+

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第6期35卷 1312-1323页

作者： Jia-Qi Yin Hui-Biao Zhu yuan fei Shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghai 200062China College of Information Mechanical and Electrical EngineeringShanghai Normal UniversityShanghai 200234China

ZooKeeper Atomic Broadcast (Zab) is an atomic broadcast protocol specially designed for ZooKeeper, which supports additional crash recovery. This protocol actually has been widely adopted by famous Internet companies, but there are few studies on the correctness and credibility of the Zab protocol, and thus we utilize formal methods to study the correctness. In this paper, Zab, Paxos and Raft are all analyzed and compared to help better understand the Zab protocol. Then we model the Zab protocol with TLA+ and verify three properties abstracted from the specification by the model checker TLC, including two liveness properties and one safety property. The final experimental results can prove that the design of the protocol conforms to the original requirements. This paper makes up for the analysis of formal methods in the Zab protocol.

关键词： Zab protocol TLA+ specification verification