检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

保险资金创新服务科技金融体系建设

中国金融 2024年第15期 34-36页

作者：贾飙中保投资有限责任公司

中央金融工作会议强调,要做好“科技金融”等五篇大文章,党的二十届三中全会审议通过的《中共中央关于进一步全面深化改革、推进中国式现代化的决定》明确要求“构建同科技创新相适应的科技金融体制”。为进一步提升科技型企业金融服务... 详细信息

中央金融工作会议强调,要做好“科技金融”等五篇大文章,党的二十届三中全会审议通过的《中共中央关于进一步全面深化改革、推进中国式现代化的决定》明确要求“构建同科技创新相适应的科技金融体制”。为进一步提升科技型企业金融服务质效,国家金融监督管理总局发布了《关于加强科技型企业全生命周期金融服务的通知》。保险业作为金融业的重要组成部分,在推动科技创新、助力高水平科技自立自强中发挥着重要而独特的作用。为此,本刊特策划“保险助力提升科技金融服务水平”专题,分别从保险资金投资、保险公司服务科技创新实践、融资性科技保险发展的路径选择、国际经验等维度进行探讨。

关键词：金融服务水平金融监督管理科技型企业金融体制科技保险保险资金投资自立自强融资性

在线全文

学校读者我要写书评

暂无评论

基于多模态信息融合的四足机器人避障方法

工程科学学报 2024年第8期46卷 1426-1433页

作者：吕友豪贾袁骏庄圆董琦中国科学技术大学先进技术研究院合肥230026 中国电子科学研究院北京100049

提出了一种全新的基于多模态信息融合技术的四足机器人避障方法.该方法将机器人的本体传感器信息与外部传感器信息相结合,以提高机器人在复杂环境下的决策能力.具体而言,该方法设计了一种多模态强化学习神经网络模型,使机器人能够从自... 详细信息

提出了一种全新的基于多模态信息融合技术的四足机器人避障方法.该方法将机器人的本体传感器信息与外部传感器信息相结合,以提高机器人在复杂环境下的决策能力.具体而言,该方法设计了一种多模态强化学习神经网络模型,使机器人能够从自身的传感数据和外部传感器数据中学习.该模型采用监督和非监督学习技术相结合的方法进行训练,以优化机器人在避障任务中的表现.此外,还创新地引入了Transformer层和注意力机制,使机器人能够有选择地关注相关的传感信息并过滤掉无关信息,提高在未知动态环境中的规划可靠性.该方法在具有不同障碍物、不平坦地形等具有挑战性的模拟环境中进行了评估.实验结果表明,所提出的方法相较于对照组可以显著提高四足机器人的避障成功率.此外,由于引入了注意力机制,所提出的算法在动态未知环境下也具有一定的可靠性,使其在实际应用中更加实用.本文的意义主要在于引入多模态信息融合技术和Transformer层,以提高机器人在避障任务中的表现.通过仿真环境的实验结果显示,该学习策略能够显著改善机器人的运动控制能力,并且多模态Transformer模型进一步增强了其性能使其具备优越的泛化性.此外,进一步的分析和可视化也表明了学习策略利用外部输入进行决策的有效性.

关键词：四足机器人路径规划强化学习信息融合 Transformer

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

关键词：

染料敏化太阳能电池SnO_(2)光阳极研究进展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

硅酸盐学报 2024年第6期52卷 2148-2161页

作者：王东亭贾相晨钟道鹏聊城大学化学化工学院山东聊城252000

染料敏化太阳能电池(DSSCs)由于其成本低、原材料丰富、光电转化效率高等优点,成为新能源开发利用领域研究的热点。光阳极是DSSC的重要组成部分,对提高DSSC的光电转化效率具有重要意义。基于此,首先介绍了SnO_(2)DSSC的工作原理,并分析... 详细信息

染料敏化太阳能电池(DSSCs)由于其成本低、原材料丰富、光电转化效率高等优点,成为新能源开发利用领域研究的热点。光阳极是DSSC的重要组成部分,对提高DSSC的光电转化效率具有重要意义。基于此,首先介绍了SnO_(2)DSSC的工作原理,并分析了效率的影响因素,接着重点讨论了SnO_(2)光阳极的结构设计,在此基础上阐述了光阳极改进(表面包覆或复合、元素掺杂)的研究现状,最后总结规律并对未来的发展趋势和前景进行展望。

关键词：染料敏化太阳能电池光阳极二氧化锡

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

本土性的建构与延续:动画电影《茶啊二中》IP的现实主义创作理念及文化反思

在线全文

学校读者我要写书评

暂无评论

电影评介 2024年第5期 88-93页

作者：贾荔山西传媒学院动画与数字艺术学院

动画电影《茶啊二中》(夏铭泽/阎凯,2023)以现实主义创作理念为基础,对2014年推出的同名动画作品进行合理改编,通过回归现实题材,选择合理的宣发模式,利用夸张、变形的动画手法,将动画电影的媒介特性与现实主义相融合,取得了票房与口碑... 详细信息

动画电影《茶啊二中》(夏铭泽/阎凯,2023)以现实主义创作理念为基础,对2014年推出的同名动画作品进行合理改编,通过回归现实题材,选择合理的宣发模式,利用夸张、变形的动画手法,将动画电影的媒介特性与现实主义相融合,取得了票房与口碑的双丰收。目前国产动画电影大多选择具有一定热度、受众基础的神话故事或玄幻文本进行改编、创作。作为一部为数不多的现实主义题材动画影片,电影《茶啊二中》所获得的成绩和认可,充分彰显了现实主义作品的强大生命力,不仅为优质IP的跨媒介改编提供了合理借鉴,也为现实题材影视作品本土化创作提供了有益启示。

关键词：现实主义创作动画电影现实主义作品神话故事媒介特性动画作品现实题材影视作品

维普期刊数据库博看期刊

自主知识体系构建视野下的近代中国调查与统计——“三校一所”经济史学术沙龙综述

在线全文

学校读者我要写书评

暂无评论

中国经济史研究 2024年第5期 188-189页

作者：杨帅贾懿琪南开大学经济学院天津300071

2024年4月20日,清华大学、北京大学、南开大学和中国社会科学院经济研究所联合主办的“三校一所”经济史学术沙龙在南开大学经济学院成功举办。本次沙龙由南开大学经济学院、经济史研究中心和政治经济学研究中心承办。来自“三校一所”... 详细信息

2024年4月20日,清华大学、北京大学、南开大学和中国社会科学院经济研究所联合主办的“三校一所”经济史学术沙龙在南开大学经济学院成功举办。本次沙龙由南开大学经济学院、经济史研究中心和政治经济学研究中心承办。来自“三校一所”和中央财经大学、北京师范大学、巴黎政治大学等单位的30余位专家学者,围绕“自主知识体系构建视野下的近代中国调查与统计”这一主题,就调查研究对近代中国社会科学学理化、本土化和体系化的推动作用,以及中国自主知识体系建构的近代历史经验与路径等问题,展开了广泛而深入的讨论。

关键词：学术沙龙三校一所政治经济学研究经济史研究中央财经大学近代中国社会知识体系构建