检索结果-南通市图书馆

专题·专策·专管：精细化城市设计技术路径及执行层级

在线全文

学校读者我要写书评

暂无评论

城市发展研究 2024年第7期31卷 75-85页

作者：褚冬竹朱羽翼查君重庆大学建筑城规学院重庆市设计院有限公司华东建筑设计研究院有限公司

在城市高质量发展背景下，如何精细化应对社会经济转型下新的城市空间问题，关注城市效率、活力及可持续运营，促进城市综合效益精明增长，成为城市设计发展的重要范式导向。通过强调设计生成和实施过程中剖解问题的针对性与连贯性，初... 详细信息

在城市高质量发展背景下，如何精细化应对社会经济转型下新的城市空间问题，关注城市效率、活力及可持续运营，促进城市综合效益精明增长，成为城市设计发展的重要范式导向。通过强调设计生成和实施过程中剖解问题的针对性与连贯性，初步构建精细化城市设计技术路径，明确“专题—专策—专管”三个关键执行层级，并进一步结合案例分析其应用要点。

关键词：城市设计精细化城市设计城市更新专题专策专管

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

碳排放权交易、数字经济与企业全要素生产率

商业研究 2024年第1期 12-22页

作者：董雨袁雪查勇中国科学技术大学管理学院合肥230026

“双碳”战略目标的提出契合高质量发展的内在需要,碳排放权交易市场是实现该目标的关键工具,2013—2014年,我国建立了首批七个试点碳交易市场,近十年以来,此项政策的减排效果已经受到广泛认可,但其对经济发展的影响依然值得探究。基于2... 详细信息

“双碳”战略目标的提出契合高质量发展的内在需要,碳排放权交易市场是实现该目标的关键工具,2013—2014年,我国建立了首批七个试点碳交易市场,近十年以来,此项政策的减排效果已经受到广泛认可,但其对经济发展的影响依然值得探究。基于2010—2019年重污染行业A股上市公司的数据,本文以首批七个试点碳交易市场的正式启动为准自然实验,构建双重差分模型探讨该项政策对企业全要素生产率的影响,并从碳交易市场特征和数字经济发展的角度对作用机制进行分析。研究发现,碳交易政策能够显著提高企业的全要素生产率。机制分析表明,在碳交易政策对全要素生产率的作用过程中,企业数字化转型发挥了部分中介作用。此外,碳交易政策效果在非国有企业、风险承担水平高的企业中更强,并且碳市场的交易规模、流动性、数字基础设施、互联网普及率和数字普惠金融的发展都对碳交易政策效果发挥着正向调节效应,碳配额价格水平也具有一定的负向调节效应。

关键词：碳排放权交易市场全要素生产率双重差分模型数字经济

冻融循环作用下MICP固化铅污染土的强度与浸出特性研究

在线全文

学校读者我要写书评

暂无评论

工程地质学报 2024年第2期32卷 440-447页

作者：李杰康博查甫生合肥工业大学资源与环境工程学院合肥230000

微生物诱导碳酸钙沉淀(MICP)技术可用于重金属污染土固化稳定修复。本文通过开展无侧限抗压强度、离子浸出及微观试验,主要研究MICP固化铅污染土在冻融循环作用下的强度与化学稳定性,并揭示其微观作用机理。结果表明:随着铅离子浓度的增... 详细信息

微生物诱导碳酸钙沉淀(MICP)技术可用于重金属污染土固化稳定修复。本文通过开展无侧限抗压强度、离子浸出及微观试验,主要研究MICP固化铅污染土在冻融循环作用下的强度与化学稳定性,并揭示其微观作用机理。结果表明:随着铅离子浓度的增加,土体的无侧限抗压强度先增大后减小,铅离子浸出浓度增大;随冻融循环次数的增加,土体的强度逐渐降低并趋于稳定,铅离子浸出浓度增大。冻融循环作用后,固化土的主要矿物成分未发生变化;土中的小孔隙数量增加,大孔隙数量基本保持不变。冻融循环作用损伤固化土的碳酸钙胶结与铅离子沉淀结构,致使土体性能劣化。

关键词：重金属污染土微生物诱导碳酸钙沉淀(MICP) 冻融循环强度及浸出特性劣化机理

晋西黄土小流域土壤有机碳空间分布特征及其影响因素

在线全文

学校读者我要写书评

暂无评论

生态学杂志 2024年第5期43卷 1373-1380页

作者：左启林于洋查同刚北京林业大学水土保持学院北京100083 北京林业大学山西吉县森林生态系统国家野外科学观测研究站北京100083

植被恢复影响土壤有机碳(SOC)空间分布。为阐明黄土丘陵沟壑小流域SOC的空间变异特征及其影响因素,以晋西蔡家川流域内的4个典型子流域(南北窑农地流域、北坡人工林流域、柳沟封禁流域、人祖山天然次生林流域)为研究对象,通过野外调查... 详细信息

植被恢复影响土壤有机碳(SOC)空间分布。为阐明黄土丘陵沟壑小流域SOC的空间变异特征及其影响因素,以晋西蔡家川流域内的4个典型子流域(南北窑农地流域、北坡人工林流域、柳沟封禁流域、人祖山天然次生林流域)为研究对象,通过野外调查与室内测定SOC含量,采用经典统计学和地统计学方法,分析流域尺度0~100 cm SOC的分布规律及其与环境因子的关系。结果表明:不同子流域SOC含量不同,柳沟封禁流域>天然次生林流域>北坡人工林流域>南北窑农地流域;相对于人工恢复,自然恢复能累积和储存更多的SOC;空间上,SOC呈自西向东逐渐降低的趋势,随深度增加,SOC的分布格局更具均一性;植被类型、土地利用方式、地形特征等因素影响小流域尺度SOC空间分布格局;灌草地SOC含量最高(14.43±8.91 g·kg^(-1)),其次是林地(13.11±6.98 g·kg^(-1)),农地SOC含量最低(8.48±2.98 g·kg^(-1));较之农地,灌草地和林地SOC含量分别提高70.2%和54.6%;在0~20 cm土层,坡度为15°~25°时SOC含量出现最大值;在0~20 cm土层,不同坡向对SOC含量大小排序为阴坡(15.82±7.63 g·kg^(-1))>半阴坡(12.94±7.53 g·kg^(-1))>半阳坡(11.48±6.28 g·kg^(-1))>阳坡(11.1±6.19 g·kg^(-1))。研究结果为评价黄土流域植被恢复的土壤生态效应提供依据。在植被恢复和重建过程中,要注意人工林天然化、对应的天然林进行封禁管理。

关键词：黄土高原小流域土壤有机碳空间分布地统计学

通心络胶囊治疗急性缺血性脑卒中疗效和安全性的Meta分析

在线全文

学校读者我要写书评

暂无评论

中国处方药 2024年第7期22卷 26-30页

作者：丛伶男查鹏烟台市蓬莱中医医院山东烟台265600

目的系统评价通心络胶囊用于急性缺血性卒中的疗效及安全性。方法系统检索PubMed、知网、维普、万方数据库,并根据纳入/排除标准对文献进行筛选。两位作者独立对纳入文献进行资料提取并核对。使用RevMan 5.3软件对结局数据进行合并分析... 详细信息

目的系统评价通心络胶囊用于急性缺血性卒中的疗效及安全性。方法系统检索PubMed、知网、维普、万方数据库,并根据纳入/排除标准对文献进行筛选。两位作者独立对纳入文献进行资料提取并核对。使用RevMan 5.3软件对结局数据进行合并分析。结果共纳入14项随机对照试验,涉及3341例受试者。Meta分析显示,在常规疗法基础上联合使用通心络胶囊,在改善神经功能缺损包括降低缺损程度评分[MD=-3.98,95%CI(-4.53,-3.42)]及提高神经功能改善率[RR=1.24,95%CI(1.19,1.30)]、提高生活能力[MD=4.20,95%CI(3.62,4.78)]、降低美国国立卫生研究院卒中量表(NIHSS)评分[MD=-3.83,95%CI(-4.50,-3.16)]上,均优于单用常规疗法;不良事件发生率[RR=0.94,95%CI(0.69,1.28)],组间比较差异无统计学意义(P=0.67)。结论通心络胶囊用于急性缺血性卒中,在改善神经功能缺损、提高生活能力、降低卒中NIHSS评分方面可增强疗效,且较安全。

关键词：通心络胶囊卒中疗效安全性 Meta分析

基于 Moldflow 的汽车中控台框架翘曲变形分析及优化

在线全文

学校读者我要写书评

暂无评论

塑料工业 2024年第3期52卷 83-88页

作者：刘巨保黄建军杨明李峰张亮查翔东北石油大学机械科学与工程学院黑龙江大庆163318 弘丰塑胶制品(深圳)有限公司广东深圳518117

以某汽车中控台框架为研究对象,测量试模样品发现其翘曲变形量超过了装配要求。通过Moldflow软件模拟了该塑件实际的注塑过程,翘曲变形量的模拟值与实测平均值的最大误差为5.98%,发现该塑件翘曲变形的主要因素为冷却不均和收缩不均。本... 详细信息

以某汽车中控台框架为研究对象,测量试模样品发现其翘曲变形量超过了装配要求。通过Moldflow软件模拟了该塑件实际的注塑过程,翘曲变形量的模拟值与实测平均值的最大误差为5.98%,发现该塑件翘曲变形的主要因素为冷却不均和收缩不均。本文在原物料中添加质量分数为25%的玻璃纤维以及优化工艺参数后,翘曲变形量的模拟值与初始方案相比降低了86.22%。试模验证表明,优化后的翘曲变形量模拟值与实测平均值的最大误差为4.35%,证明了Moldflow软件模拟分析的准确性。试模后各检测点的最大翘曲变形量降到了1.6 mm以下,较优化之前降低了80%以上,为类似大型复杂注塑件的翘曲变形分析及优化提供了思路。

关键词：注塑成型中控台框架翘曲变形模流分析玻璃纤维

我国全面建成体育强国进程中的基本公共体育服务标准化及其整体跟进策略

在线全文

学校读者我要写书评

暂无评论

首都体育学院学报 2024年第2期36卷 134-144页

作者：张大超查金邓峰宋亚伟杨娟郑州大学体育学院河南郑州450044

建设体育强国是社会主义现代化强国建设的重要组成部分。如何通过基本公共体育服务标准化缩小城乡之间、不同区域之间的公共体育服务供给差距,充分实现基本公共体育服务的均等化,进而助力建设全体国民共同享有的体育强国,是亟需作答的... 详细信息

建设体育强国是社会主义现代化强国建设的重要组成部分。如何通过基本公共体育服务标准化缩小城乡之间、不同区域之间的公共体育服务供给差距,充分实现基本公共体育服务的均等化,进而助力建设全体国民共同享有的体育强国,是亟需作答的时代命题。通过进一步分析中国式现代化背景下的体育强国建设的时代内涵,回顾我国基本公共体育服务标准化进程,厘清全面建成体育强国与基本公共体育服务标准化的内在关联逻辑,剖析我国全面建成体育强国进程中的基本公共体育服务标准化整体跟进面临的突出问题等,并结合全面建成体育强国的目标,从人民体质更强、体育场地设施更强、群众体育制度更强、体育产业更强、竞技体育更强、体育文化更强和体育融合发展更强7个方面提出我国基本公共体育服务标准化整体跟进策略。

关键词：体育强国基本公共体育服务标准化内在逻辑整体跟进策略

在线全文

学校读者我要写书评

暂无评论

高压直流输电系统可靠性分析方法综述

电力系统保护与控制 2024年第9期52卷 174-187页

作者：李康黄萌查晓明陈蓉珺综合能源电力装备及系统安全湖北省重点实验室湖北武汉430072 武汉大学电气与自动化学院湖北武汉430072 国家电网有限公司直流技术中心北京100052

高压直流输电系统因具有输送容量大、能耗低且能实现电力系统非同步互联等优势而得到广泛应用,其可靠性分析可为系统提供重要的运维及决策依据。因此,围绕现阶段国内外高压直流输电系统可靠性分析方法进行了归纳总结。首先阐述了传统直... 详细信息

高压直流输电系统因具有输送容量大、能耗低且能实现电力系统非同步互联等优势而得到广泛应用,其可靠性分析可为系统提供重要的运维及决策依据。因此,围绕现阶段国内外高压直流输电系统可靠性分析方法进行了归纳总结。首先阐述了传统直流输电、柔性直流输电系统的组成差异,并对输电系统常用的可靠性指标作了相应归纳。其次,从统计法、手册法、状态空间法及其他方法等层面出发,分别对高压直流输电系统可靠性建模的基本原理及研究现状进行了分析,对各类方法的优缺点进行了对比,并探讨了柔性直流输电系统在可靠性分析方面存在的新挑战。最后,针对当前研究中存在的不足,对高压直流输电系统可靠性分析方法进行讨论与展望。

关键词：传统直流输电柔性直流输电可靠性分析统计法手册法状态空间法

维普期刊数据库博看期刊

Modular Verification of SPARCv8 Code

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第6期35卷 1382-1405页

作者： Jun-Peng zha Xin-Yu feng Lei Qiao Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Beijing Institute of Control Engineering Beijing 100080China

Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this paper, we propose a practical Hoare-style program logic for verifying SPARC (Scalable Processor Architecture) assembly code. The logic supports modular reasoning about the main features of SPARCv8 ISA (instruction set architecture), including delayed control transfers, delayed writes to special registers, and register windows. It also supports relational reasoning for refinement verification. We have applied it to verify that there is a contextual refinement between a context switch routine in SPARCv8 and a switch primitive. The program logic and its soundness proof have been mechanized in Coq.

关键词： Scalable Processor Architecture Version 8(SPARCv8) assembly code verification context switch Coq refinement verification