检索结果-南通市图书馆

西部人居环境学刊 2024年第3期39卷 74-83页

作者：韩帅袁奇峰李如如王彦开华南理工大学建筑学院华南理工大学建筑学院亚热带建筑与城市科学全国重点实验室

从传统向现代转型的中国式现代化语境下,中国社区历史脉络与现代社区演化路径的纵贯研究较为缺乏,作为新时代城乡社区建设行动指南的完整社区亦尚未建立适切的理论框架。为了更系统地剖析从古至今中国社区发展的历史和特点,基于文献研... 详细信息

从传统向现代转型的中国式现代化语境下,中国社区历史脉络与现代社区演化路径的纵贯研究较为缺乏,作为新时代城乡社区建设行动指南的完整社区亦尚未建立适切的理论框架。为了更系统地剖析从古至今中国社区发展的历史和特点,基于文献研究与规划实践解读,构建一个理解中国社区演进的综合框架:从国家与社会视角分析古今社区的重要模式演变,从制度与生活视角解析建国以来社区的发展转型,从行为与空间视角剖析近年来社区的规划治理实践。鉴于此,文章进一步提出基于“制度—行为—空间”三位一体的完整社区理论分析框架。研究认为,唐宋之际从里坊制到街巷制,表征为传统基层社会从国家中的社会转向社会中的国家;改革开放以来从单位制到社区制,意味着现代社区从国家全能管控转向社会有限自组织;现代社区从单位大院、居住小区到完整社区的转变,表明社区发展的底层逻辑从制度支配生活转向生活倒逼制度生活化。最后,指出完整社区应是公共服务均等、居民生活满意、治理制度良善三个维度高质均衡的城市社会单元,作为中国式现代化社区的一种理想图景,希冀对未来社区的理论建构与规划实践有所助益与启发。

关键词：中国社区国家与社会制度与生活行为与空间完整社区

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

在线全文

学校读者我要写书评

暂无评论

热镀Zn-Al合金用搅拌器研制

金属制品 2017年第3期43卷 21-23页

作者：宗国良朱佟陈彦恺朱潇刘文涛钱东海无锡市鑫润工业炉有限公司上海市91251部队中低速机教研室

在石笼网用钢丝热镀锌铝合金生产中,钢丝表面镀层不平整,表面出现多处合金瘤等缺陷。根据钢丝热镀生产的实际情况,研制出适用于Zn-Al合金镀液的搅拌器,搅拌器使用温度450~470℃,合金镀液深度≤1 000 mm。选用直径200 mm推进式叶轮,选用1... 详细信息

在石笼网用钢丝热镀锌铝合金生产中,钢丝表面镀层不平整,表面出现多处合金瘤等缺陷。根据钢丝热镀生产的实际情况,研制出适用于Zn-Al合金镀液的搅拌器,搅拌器使用温度450~470℃,合金镀液深度≤1 000 mm。选用直径200 mm推进式叶轮,选用1Cr18Ni9Ti作为传动轴及搅拌叶轮材质,传动轴直径45 mm。研制的搅拌器解决了钢丝热镀生产过程中的表面质量问题。

关键词：热镀 Zn-Al合金搅拌器流量叶轮

在线全文

学校读者我要写书评

暂无评论

高阶精度非线性加权格式权函数研究综述

空气动力学学报 2024年第6期42卷 1-14,I0001页

作者：毛枚良白进维闵耀兵马燕凯江定武中国空气动力研究与发展中心绵阳621000 空天飞行空气动力科学与技术全国重点实验室绵阳621000

在简述用于捕捉间断的非线性格式发展历程的基础上,依托五阶精度WENO格式,介绍了非线性加权格式在候选模板集选取、光滑度指标计算方法及其与非线性权的函数关系等方面做出的努力。对于非等宽候选模板集的情况,给出了保证非线性加权格... 详细信息

在简述用于捕捉间断的非线性格式发展历程的基础上,依托五阶精度WENO格式,介绍了非线性加权格式在候选模板集选取、光滑度指标计算方法及其与非线性权的函数关系等方面做出的努力。对于非等宽候选模板集的情况,给出了保证非线性加权格式精度的非线性权的量阶关系,强调了光滑度指标计算方法对格式精度和效率的重要性,提出了进一步开展多宽度模板集非线性加权格式研究的建议。

关键词：高阶精度非线性格式非线性加权方法极值点降阶问题非等宽候选模板集计算流体力学

河南省数据中心能源计量审查现状、存在问题分析及建议

在线全文

学校读者我要写书评

暂无评论

计量与测试技术 2024年第1期51卷 34-35,38页

作者：孙彦楷靳振宇河南省计量测试科学研究院

开展数据中心能源计量审查是国家市场监管总局的工作部署,是为数据中心的节能规划和节能技术改造提供科学的数据支撑。本文通过分析河南省数据中心能源计量审查的现状及存在问题,提出解决措施,并给出审查建议,为数据中心能源计量审查工... 详细信息

开展数据中心能源计量审查是国家市场监管总局的工作部署,是为数据中心的节能规划和节能技术改造提供科学的数据支撑。本文通过分析河南省数据中心能源计量审查的现状及存在问题,提出解决措施,并给出审查建议,为数据中心能源计量审查工作提供参考。

关键词：数据中心能源计量审查能效检测

Hepatic macrophages in liver homeostasis and diseasesdiversity,plasticity and therapeutic opportunities

在线全文

学校读者我要写书评

暂无评论

Cellular & Molecular Immunology 2021年第1期18卷 45-56页

作者： yankai Wen Joeri Lambrecht Cynthia Ju Frank Tacke Department of Anesthesiology McGovern Medical SchoolUniversity of Texas Health Science Center at HoustonHoustonTXUSA Department of Hepatology and Gastroenterology Charity University Medicine BerlinBerlinGermany

Macrophages,which are key cellular components of the liver,have emerged as essential players in the maintenance of hepatic homeostasis and in injury and repair processes in acute and chronic liver *** liver injury,resident Kupffer cells(KCs)sense disturbances in homeostasis,interact with hepatic cell populations and release chemokines to recruit circulating leukocytes,including monocytes,which subsequently differentiate into monocyte-derived macrophages(MoMφs)in the *** KCs and MoMφs contribute to both the progression and resolution of tissue inflammation and injury in various liver *** diversity of hepatic macrophage subsets and their plasticity explain their different functional responses in distinct liver *** this review,we highlight novel findings regarding the origins and functions of hepatic macrophages and discuss the potential of targeting macrophages as a therapeutic strategy for liver disease.

关键词： Kupffer cells monocyte-derived macrophages liver inflammation liver fibrosis liver cancer

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

食物设计视角下烘焙食品的体验构成研究

设计 2024年第8期37卷 52-54页

作者：葛舒羽刘颜楷江南大学设计学院

以烘焙食品为对象,探索食物设计视域下,食物设计因素以及食物体验的构成维度。结合食物体验相关理论研究分析食物设计要素,对于消费者饮食体验的影响和作用,通过用户深访、问卷调查以及相关案例分析等方法总结食物体验的构成与特点,对... 详细信息

以烘焙食品为对象,探索食物设计视域下,食物设计因素以及食物体验的构成维度。结合食物体验相关理论研究分析食物设计要素,对于消费者饮食体验的影响和作用,通过用户深访、问卷调查以及相关案例分析等方法总结食物体验的构成与特点,对烘焙食品食物体验时间维度的体验阶段进行分析。对烘焙食品食物体验时间维度的体验阶段进行划分,从感官体验、功能体验、互动体验、情感体验、认知体验5个方面确定其体验设计维度层次。为促进消费者饮食体验的食物设计提供了设计策略参考。

关键词：食物设计食物体验体验构成烘焙食品人—食物交互

胎儿心脏定量分析技术对肺动脉狭窄及肺动脉闭锁胎儿心脏形态及功能的初步研究

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

在线全文

学校读者我要写书评

暂无评论

中华超声影像学杂志 2024年第6期33卷 489-496页

作者：张小敏赵博文潘美彭晓慧陈冉毛彦恺马明明田园诗张铭旋邓妍浙江大学医学院附属邵逸夫医院超声科、浙江省胎儿心脏超声诊断技术指导中心、浙江大学邵逸夫临床医学研究所杭州310016 浙江省杭州市临平区第一人民医院超声科杭州311100

目的应用胎儿心脏定量分析技术(fetal HQ)定量分析肺动脉狭窄(PS)和肺动脉闭锁(PA)胎儿心脏形态及左、右心室收缩功能,评估不同程度右心室流出道梗阻(RVOTO)对胎儿左、右心室收缩功能的影响,为构建一种胎儿PS及PA进展预测模型和临床决... 详细信息

目的应用胎儿心脏定量分析技术(fetal HQ)定量分析肺动脉狭窄(PS)和肺动脉闭锁(PA)胎儿心脏形态及左、右心室收缩功能,评估不同程度右心室流出道梗阻(RVOTO)对胎儿左、右心室收缩功能的影响,为构建一种胎儿PS及PA进展预测模型和临床决策工具进行早期的数据积累和参数探索。方法回顾性选取2020年7月至2021年12月在浙江大学医学院附属邵逸夫医院超声科行胎儿超声心动图检出的轻中度PS胎儿42例和重度PS或PA胎儿23例作为病例组,选取与其孕周相匹配的正常胎儿195例作为对照组,利用fetal HQ技术测量两组胎儿整体球形指数(GSI),左心室射血分数(LVEF),左、右心室面积变化率(LVFAC、RVFAC)和左、右心室纵向应变(LVGLS、RVGLS)以及左心室和右心室各自的24节段球形指数(SI)、短轴缩短率(FS),分析比较病例组与对照组及病例组内的差异。结果与对照组比较,病例组GSI、LVGLS、LVEF、LVFAC、RVGLS、RVFAC均减低,轻中度PS组差异有统计学意义(均P<0.05),重度PS/PA组差异有统计学意义(均P<0.01);轻中度PS组左心室第2节段、右心室第24节段SI和左心室第1~13节段、右心室第1~16节段、右心室第20~24节段FS与对照组比较差异有统计学意义(均P<0.05);重度PS/PA组右心室第1~22节段SI和左心室第6~13节段、左心室第21~24节段、右心室第1~14节段FS减低,与对照组比较差异有统计学意义(均P<0.05);重度PS/PA组RVGLS、RVFAC、右心室第1~17节段SI较轻中度PS组减低(均P<0.05)。结论初步研究结果显示fetal HQ提供的定量指标可以用于罹患PS/PA胎儿的心脏形态及功能的评估,为进一步深入了解此类胎儿的心脏形态与功能改变提供参考信息。

关键词：超声心动描记术胎儿心脏定量分析技术肺动脉狭窄肺动脉闭锁球形指数

在线全文

学校读者我要写书评

暂无评论

企业交易视角下京津冀城市群网络特征研究

地域研究与开发 2024年第3期43卷 62-69页

作者：吉瑞王彦开李天琪赵渺希庞乾奎华南理工大学建筑学院广州510640 浙江工业大学之江学院浙江绍兴312030

利用企业货物交易数据,通过社会网络及有向加权网络分析等方法解读京津冀城市群网络特征及影响因素。结果表明:(1)企业交易网络多对一的供需结构突出,国有企业带动上下游资源汇聚特征明显。(2)同城货物交易特征突出,城际交易形成以北京... 详细信息

利用企业货物交易数据,通过社会网络及有向加权网络分析等方法解读京津冀城市群网络特征及影响因素。结果表明:(1)企业交易网络多对一的供需结构突出,国有企业带动上下游资源汇聚特征明显。(2)同城货物交易特征突出,城际交易形成以北京为核心,天津、石家庄为次核心,沧州、唐山、保定和廊坊为重要节点,其余为一般节点的等级结构。(3)整体网络以核心辐射为主,核心外围的层级式联系突出,水平多向联系的网络化程度不高,北京—天津、北京—石家庄联系最强;不对称性主要体现为石家庄对省内邻近京津的地区供给,京津与廊坊、保定等有较密切的双向贸易联系。(4)交易联系受城市间地理邻近、技术邻近、产业邻近、经济邻近、制度邻近及人口规模因素的影响。

关键词：城市网络企业交易社会网络分析有向加权网络多维邻近性京津冀城市群

Verifying specifications with associated attributes in graph transformation systems

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2015年第3期9卷 364-374页

作者： Yu ZHOU yankai HUANG Ou WEI Zhiqiu HUANG College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China

Graph transformation is an important modeling and analysis technique widely applied in software engineer- ing. The attributes can naturally conceptualize the properties of the modeled artifacts. However, the lack of support for the specification of such attribute correspondence by ordi- nary propositional temporal logics hampers its further appli- cation during verification. Different from the theoretical in- vestigations on quantified second order logics, we propose a practical and light-weight approach for the verification of this kind of temporal specifications with associated attributes. Particularly, we apply our approach and extend the general- purpose graph transformation modeling tool： GROOVE. More- over, symmetry reduction techniques are exploited to reduce the number of states. Experiments with performance evalua- tions complement our discussion and demonstrate the feasi- bility and efficiency of our approach.

关键词： graph grammar software design verification