检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

并发对象强可线性化性质的检测和验证

软件学报 2024年第9期35卷 4141-4159页

作者：王超贾巧雯吕毅吴鹏西南大学计算机与信息科学学院软件研究与创新中心重庆400715 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中... 详细信息

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中在使用特定的基本对象构造满足强可线性化性质的并发对象的可行性.对常见的并发对象的强可线性化性质的检测和验证方面的研究较为少见.从并发对象的验证算法和证否方法两个方面研究了强可线性化性质.首先,细化强可线性化性质,将它细分为固定生效点和单纯帮助两类,并证明固定生效点是已有的固定可线性化点概念的扩展.其次,提出两种强可线性化的验证算法,其中一种基于固定可线性化点,另一种基于固定生效点.最后,给出一个构造性的证明并发对象违背强可线性化的证明方法,依据该方法证明了Herlihy&Wing队列、一种单读单写寄存器实现和一种并发快照实现违反强可线性化性质.

关键词：并发对象正确性标准可线性化强可线性化

林业生态旅游发展对策的思考——以“中国林学会森林公园与森林旅游分会学术研讨会暨2023年年会”为例

在线全文

学校读者我要写书评

暂无评论

林产工业 2024年第1期 95-96页

作者：贾田天太原理工大学财经学院

中国林学会森林公园与森林旅游分会学术研讨会暨2023年年会于7月13日至16日在云南省迪庆藏族自治州香格里拉市召开。本次大会由中国林学会森林公园与森林旅游分会主办，国家林业和草原局森林公园工程技术研究中心、国家林业和草原局森...

中国林学会森林公园与森林旅游分会学术研讨会暨2023年年会于7月13日至16日在云南省迪庆藏族自治州香格里拉市召开。本次大会由中国林学会森林公园与森林旅游分会主办，国家林业和草原局森林公园工程技术研究中心、国家林业和草原局森林旅游工程技术研究中心、西南林业大学园林园艺学院、地理与生态旅游学院、武夷山国家公园研究院等多家单位承办。迪庆州人民政府副州长李清培参加会议并致辞。领域内全国知名专家、学者，森林公园和森林旅游主管处室、景区负责人共200多人参加会议。

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

融媒体环境下的虚拟IP矩阵发展研究

电影文学 2024年第8期 17-20页

作者：贾荔山西传媒学院山西晋中030619

融媒体的环境逐步改变着电影IP的生产与消费逻辑。从生产上来看,IP化的电影更加广泛地与其他文本发生关联,形成了一种鲜明的文化实践;从消费上来看,观众们的消费行为更加广泛、频繁,是一系列消费行为链条的起始点。在这种情形之下,电影I... 详细信息

融媒体的环境逐步改变着电影IP的生产与消费逻辑。从生产上来看,IP化的电影更加广泛地与其他文本发生关联,形成了一种鲜明的文化实践;从消费上来看,观众们的消费行为更加广泛、频繁,是一系列消费行为链条的起始点。在这种情形之下,电影IP朝各种领域、各类文本蔓延,观众们的文化经验也在遭遇重塑。电影IP矩阵不仅是文本的裂变、拓展与蔓延,也是观众融入文本之中,进行盗猎、制造与实践的后果。

关键词：电影IP 融媒体 IP矩阵跨媒介叙事

在线全文

学校读者我要写书评

暂无评论

习近平传统文化观的核心要义

中南民族大学学报（人文社会科学版） 2024年第1期44卷 1-7,181页

作者：贾钢涛北京化工大学马克思主义学院北京100029

党的十八大以来,习近平总书记从多个维度全面深入阐述了弘扬传承中华优秀传统文化的极端重要性,彰显了新时代中国共产党人坚定的文化自信和强烈的文化自觉,深化了党对文化建设的规律性认识。习近平传统文化观是在深刻把握中华优秀传统... 详细信息

党的十八大以来,习近平总书记从多个维度全面深入阐述了弘扬传承中华优秀传统文化的极端重要性,彰显了新时代中国共产党人坚定的文化自信和强烈的文化自觉,深化了党对文化建设的规律性认识。习近平传统文化观是在深刻把握中华优秀传统文化的突出性特质、深刻揭示马克思主义与中华优秀传统文化的内在契合性,深刻指出中华优秀传统文化的当代性价值的基础上形成和发展起来的,是习近平文化思想的重要组成部分。要认真领悟、切实践行习近平传统文化观的核心要义、精神实质和实践要求,坚持党的领导,着力培育时代新人,坚持中华优秀传统文化创造性转化和创新性发展,积极建设中华民族现代文明。

关键词：习近平中华优秀传统文化创造性转化创新性发展实践指向

基于工业基础类标准的钢结构BIM全数据交互技术

在线全文

学校读者我要写书评

暂无评论

同济大学学报（自然科学版） 2024年第3期52卷 331-339页

作者：张其林唐子涵满延磊同济大学土木工程学院上海200092 上海同磊土木工程技术有限公司研发部上海200433

研究了适用于各类钢结构的基于工业基础类标准(IFC)的全数据交互技术,可以导出钢结构模型完整的几何信息与附加属性,使通用建筑BIM软件能够进行模型信息读取并编辑其中的参数化构件;可以将模型全信息导入钢结构主流详图设计软件Tekla进... 详细信息

研究了适用于各类钢结构的基于工业基础类标准(IFC)的全数据交互技术,可以导出钢结构模型完整的几何信息与附加属性,使通用建筑BIM软件能够进行模型信息读取并编辑其中的参数化构件;可以将模型全信息导入钢结构主流详图设计软件Tekla进行解析并重生成结构模型,实现模型二次编辑与施工出图。经工程实例验证,该成果应用于钢结构建筑信息模型(BIM)数据交互时信息传递完整、模型转换质量高,避免了钢结构不同设计阶段的重复建模,极大提升了设计效率。

关键词：建筑信息模型工业基础类标准全数据交互钢结构

高压直流海缆XLPE绝缘空间电荷与电场分布特性研究进展及展望

在线全文

学校读者我要写书评

暂无评论

高电压技术 2024年第7期50卷 3128-3144页

作者：李忠磊吴优郑重杜伯学天津大学电气自动化与信息工程学院天津300072

高压直流海缆是大容量、低损耗、远距离跨海输电的核心装备,是实现规模化海上风电并网、电网跨海互联的关键基础。当前快速增长的海上风电发展需求,要求直流海缆具有更高运行电压、更大容量、更大长度,因此对交联聚乙烯(crosslinked pol... 详细信息

高压直流海缆是大容量、低损耗、远距离跨海输电的核心装备,是实现规模化海上风电并网、电网跨海互联的关键基础。当前快速增长的海上风电发展需求,要求直流海缆具有更高运行电压、更大容量、更大长度,因此对交联聚乙烯(crosslinked polyethylene,XLPE)电缆绝缘材料提出了更高要求。文中首先综述了国内外高压直流海缆的发展历程,对比分析了XLPE绝缘与绕包绝缘的优势与不足。针对直流海缆绝缘面临的大长度连续挤出过程中的焦烧问题和工厂模塑接头绝缘界面问题,论述了XLPE绝缘焦烧产物和工厂接头绝缘界面缺陷对空间电荷与电场分布的影响规律及机理,介绍了全尺寸直流海缆空间电荷与电场分布特性的有限元仿真和数值计算方法,分析了稳、暂态工况下直流海缆XLPE绝缘空间电荷与电场分布的演变规律,阐明了直流海缆绝缘层厚度对空间电荷与电场分布的影响机理。最后,对直流海缆XLPE绝缘未来的发展进行了展望,指明了高压海缆绝缘国产化亟需解决的关键问题。

关键词：高压直流海缆交联聚乙烯绝缘空间电荷电场分布电力装备绝缘计算学

木质纤维素：生产可再生单体和聚合物的绿色平台

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

在线全文

学校读者我要写书评

暂无评论

生物加工过程 2024年

作者：班唱唱曹玉连计磊李明常智伟应汉杰朱晨杰南京工业大学生物与制药工程学院

木质纤维素高值化利用为摆脱化石燃料依赖提供了一条有希望的途径，是实现木质纤维素生物精炼行业经济可行性的关键。本文首先分析有关木质纤维素的结构和性质，将有助于理解木质纤维素解构获得可再生聚合单体的路径；由于木质纤维素在... 详细信息

木质纤维素高值化利用为摆脱化石燃料依赖提供了一条有希望的途径，是实现木质纤维素生物精炼行业经济可行性的关键。本文首先分析有关木质纤维素的结构和性质，将有助于理解木质纤维素解构获得可再生聚合单体的路径；由于木质纤维素在开发各种生物基聚合物中具有多功能特性，因此从木质纤维素三大组分入手详细阐述了可再生的糖基化合物和木质素基化合物的来源和增值的未来趋势，对其聚合物的开发进行了系统的总结；然后，着重介绍了生物基脂肪族聚酯为增韧聚乳酸材料所发挥的作用，改变所含单体的成分、含量、接枝方式以达到定制衍生聚酯性能的目的；最后，指明了木质纤维素衍生聚酯研究可跨学科整合，从工艺、应用、经济层面展望了生物基材料发展的新策略和新趋势。

关键词：木质纤维素可再生单体生物基聚合物生物基材料

iTBS模式经颅磁刺激促进脑卒中患者运动功能康复的研究进展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国康复医学杂志 2024年第2期39卷 274-279页

作者：夏逸飞刘珏朱玉连复旦大学附属华山医院康复医学科上海市200040 上海体育学院运动科学学院

脑卒中是一种高发病率、高致死率和高致残率的神经系统疾病,是导致中国人发生长期残疾的第三大原因[1]。卒中后患者极易丧失多种运动能力,包括上下肢的活动能力、平衡和步行能力。这些能力的丧失是卒中患者生活自理能力减退、社会生活... 详细信息

脑卒中是一种高发病率、高致死率和高致残率的神经系统疾病,是导致中国人发生长期残疾的第三大原因[1]。卒中后患者极易丧失多种运动能力,包括上下肢的活动能力、平衡和步行能力。这些能力的丧失是卒中患者生活自理能力减退、社会生活能力丧失和生活质量下降的重要原因,给卒中患者和家庭带来了巨大的心理和经济负担,同时也造成了一定的社会压力[2]。

关键词：社会生活能力生活自理能力步行能力神经系统疾病经颅磁刺激脑卒中患者卒中后经济负担

气候变化经济学能解决气候变化问题吗——对西方气候变化模型及方法的批判性反思

在线全文

学校读者我要写书评

暂无评论

当代经济研究 2024年第6期346卷 70-78页

作者：贾点点哈尔滨工业大学(深圳)马克思主义学院广东深圳518055

气候变化经济学是新古典经济学在气候变化领域的分支。它运用外部性内部化方法,将气候变化影响纳入长期经济增长动态模型,由此得到“最优”的经济增长与气候变化路径。然而,最优解中的全球升温路径显著高于《巴黎协定》目标,为主要发达... 详细信息

气候变化经济学是新古典经济学在气候变化领域的分支。它运用外部性内部化方法,将气候变化影响纳入长期经济增长动态模型,由此得到“最优”的经济增长与气候变化路径。然而,最优解中的全球升温路径显著高于《巴黎协定》目标,为主要发达国家的弱减排政策提供了所谓的理论支持。这一模型结果的生成并非基于数学模型的“科学性”,而是基于模型与参数的设定偏好,这些设定与偏好反映出气候变化经济学的新古典缺陷,即成本—效益分析下的机械论思维和外部性内部化方法的局限。解决气候变化问题,应从人与自然的物质变换关系出发,设置全面的气候变化控制目标和实施方案,建设人类命运共同体,形成全球气候治理最广泛的共同力量。

关键词：气候变化诺德豪斯外部性内部化弱减排政策人类命运共同体