检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑

同方期刊数据库

现代巴拉姆三角洲沉积相展布及沉积作用:婆罗洲北西储集砂体研究

在线全文

学校读者我要写书评

暂无评论

天然气勘探与开发 2003年第3期26卷 55-64页

作者： JosephJ.Lambiase 张闻林沈人烨中油西南油气田分公司勘探开发研究院

巴拉姆三角洲位于婆罗洲北西的巴拉姆代尔塔省,为第三系高产砂岩储层的现代模型,确定为浪成三角洲。然而,三角洲沉积相展布及沉积作用表明:现代的沉积仅仅发生在大型河口坝,巴拉姆三角洲更确切的应该定为波浪和潮汐作用共同影响的三角... 详细信息

巴拉姆三角洲位于婆罗洲北西的巴拉姆代尔塔省,为第三系高产砂岩储层的现代模型,确定为浪成三角洲。然而,三角洲沉积相展布及沉积作用表明:现代的沉积仅仅发生在大型河口坝,巴拉姆三角洲更确切的应该定为波浪和潮汐作用共同影响的三角洲沉积。由于相对大的潮汐控制着近岸的水动力,地表一半以上的河口坝被潮汐控制并被潮汐作用的沉积物覆盖。相反地,分布广泛的第三系临滨储集砂岩明显受波浪控制,缺乏潮汐作用的证据。因此,巴拉姆三角洲不适宜作为婆罗洲北西的大多数临滨储集砂岩的模型。

关键词：巴拉姆三角洲沉积相沉积作用婆罗洲储集层砂体油气勘探

在线全文

学校读者我要写书评

暂无评论

水下推进电机的自适应降阶热模型

电机与控制学报 2024年第7期28卷 88-100页

作者：李睿烨程鹏兰海哈尔滨工程大学智能科学与工程学院黑龙江哈尔滨150001

为了提升水下推进电机的综合性能,提出自适应降阶模型来分析电机的动态多模态热场域性能特性,解决现有算法在处理高维复杂问题时资源耗费大和易陷入局部最优的问题。在时域中模型采用“无方程”的非侵入式动态模态分解方法,从时间序列... 详细信息

为了提升水下推进电机的综合性能,提出自适应降阶模型来分析电机的动态多模态热场域性能特性,解决现有算法在处理高维复杂问题时资源耗费大和易陷入局部最优的问题。在时域中模型采用“无方程”的非侵入式动态模态分解方法,从时间序列数据中提取主要动态模态,实现系统数据的降维和模态分解,精确描述系统行为和预测未来状态;在空间域中,结合基于改善期望的自适应策略和径向基函数进行参数化近似和降阶。通过评估设计空间中各候选点的预测不可信度,迭代提升模型质量,平衡空间全局探索与局部探究间的关系。多步骤协作建模框架能够从有限的大规模模拟数据集中进行精确的场域解预测。通过实验系统验证了模型在常规和异常状态下温度变化规律的有效性和可靠性,结果表现出高准确性和稳定性。

关键词：高速电机动态热特性降阶模型动态模态分解自适应采样径向基函数

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

在线全文

学校读者我要写书评

暂无评论

翁赟烨人物画作品绘画的意义

书画艺术 2024年第3期 58-62页

作者：翁赟烨中国美术家协会浙江省中国人物画研究会宁波市女美术家协会余姚市文化馆余姚市美术家协会

世界总是在悄无声息地变化着,与流逝的感情一起,温柔缓慢,常在不经意间带来巨大而又深沉的感受。人总喜欢回顾往昔,抱着各种不知名的情怀,用以渡过当下的困顿和焦灼,我也常如此,或更甚。屈指算来从进入美院念书到如今正式步入美术创作... 详细信息

世界总是在悄无声息地变化着,与流逝的感情一起,温柔缓慢,常在不经意间带来巨大而又深沉的感受。人总喜欢回顾往昔,抱着各种不知名的情怀,用以渡过当下的困顿和焦灼,我也常如此,或更甚。屈指算来从进入美院念书到如今正式步入美术创作领域已逾二十年了,恍然若梦。

关键词：美术创作人物画美院

“大思政课”建设视域下社会资源转化为教学资源析论

在线全文

学校读者我要写书评

暂无评论

思想理论教育 2024年第6期 68-73页

作者：许家烨同济大学马克思主义学院上海200092

在“大思政课”建设中,将社会中丰沛的教育资源转化为思想政治理论课的教学资源,有助于提升思想政治理论的现实解释力,加强思政小课堂与社会大课堂的衔接,促进学生思想政治素质的提升。在社会资源转化为思政课教学资源过程中,需要处理... 详细信息

在“大思政课”建设中,将社会中丰沛的教育资源转化为思想政治理论课的教学资源,有助于提升思想政治理论的现实解释力,加强思政小课堂与社会大课堂的衔接,促进学生思想政治素质的提升。在社会资源转化为思政课教学资源过程中,需要处理好开与合、量与质、一与多、时与势几对关系。为有效化解这些问题,必须着力以内容生产守住“正能量”、以力量整合汇聚“强动力”、以技术赋能打开“新角度”、以机制建设构筑“大网络”。

关键词： “大思政课” 社会资源教学资源

艺术作品的意义重建:围绕《达·芬奇的童年记忆》的再阐释

在线全文

学校读者我要写书评

暂无评论

文艺研究 2024年第8期 135-147页

作者：陈明烨上海师范大学美术学院

20世纪兴起的精神分析与图像学为艺术作品的内容、象征和意义问题提供了新视角,在这一背景下,肯尼斯·克拉克、夏皮罗和贡布里希分析弗洛伊德《达·芬奇的童年记忆》一书的理论得失,同时结合对个人心理与公共环境的关系的思考,得出关于... 详细信息

20世纪兴起的精神分析与图像学为艺术作品的内容、象征和意义问题提供了新视角,在这一背景下,肯尼斯·克拉克、夏皮罗和贡布里希分析弗洛伊德《达·芬奇的童年记忆》一书的理论得失,同时结合对个人心理与公共环境的关系的思考,得出关于艺术作品意义的不同理解。克拉克和夏皮罗在接受弗洛伊德“深-浅意义”论的基础上分别侧重个性发展的内在因素与外在因素,贡布里希则致力于重建意义理论,艺术作品的核心意义取决于社会功能语境,而非创作者的私密情感。

关键词：夏皮罗贡布里希艺术作品达·芬奇图像学内在因素精神分析童年记忆

在线全文

学校读者我要写书评

暂无评论

控制性详细规划的法律定位及控制

中国法学 2024年第4期 250-269页

作者：李泠烨上海师范大学哲学与法政学院

在实践中,控制性详细规划的法律性质难以被简单归入行政行为或行政规范性文件。控制性详细规划作为相关土地使用状态的设想,由于被城乡规划法设定为规划许可依据,转而构成了具体地块上未来建设行为所附义务的框架,并在实施中动态调整。... 详细信息

在实践中,控制性详细规划的法律性质难以被简单归入行政行为或行政规范性文件。控制性详细规划作为相关土地使用状态的设想,由于被城乡规划法设定为规划许可依据,转而构成了具体地块上未来建设行为所附义务的框架,并在实施中动态调整。该义务框架是基于规划法“目的—手段”模式授予的形成自由,由行政确定法定多元的规划目的的具体指向,设置、选择相应手段,在具体关联情境中综合权衡多元利益而持续形成的。基于设定方式应整体观之,控制性详细规划实质是形成特定空间秩序的交互一体行政机制。这改变了规范制定与执行相分立的模式,规划法有必要应对形式合理性和稳定预期等方面的挑战,加强对行政自主过程的法律控制,限定规划手段的设定权限,设置多元利益识别、交涉及权衡制度,保障规划知识的法律化以及全过程评估制度。

关键词：控制性详细规划 “目的—手段”模式规划权衡交互一体行政机制多元行政任务

处理含大量非分层介质结构的悬浮随机行走电容提取算法

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2024年第3期36卷 435-442页

作者：宋明烨杨明喻文健清华大学计算机科学与技术系北京100084 北京信息科学与技术国家研究中心北京100084

为了解决包含大量非分层介质的随机行走电容提取算法预处理时间过长的问题,提出一种优化算法.本文算法一共有2步:首先基于八分块立方体即时采样技术,提出处理复杂非分层介质的等效介电常数计算方法;然后基于网格的空间管理技术,减少随... 详细信息

为了解决包含大量非分层介质的随机行走电容提取算法预处理时间过长的问题,提出一种优化算法.本文算法一共有2步:首先基于八分块立方体即时采样技术,提出处理复杂非分层介质的等效介电常数计算方法;然后基于网格的空间管理技术,减少随机行走电容提取的预处理时间.针对不同的电容提取应用场景,还提供了选择不同非分层介质空间管理策略的建议.在多个来自集成电路设计版图的互连结构上的实验结果表明,所提算法在保证电容提取精度与随机行走运行效率的同时,显著地加快了非分层介质空间管理构造以及随机行走算法的预处理时间;在含有超过70万非分层介质的测例上,与现有算法相比,该算法使非分层介质的空间管理构造时间最多加速420倍,并使整个预处理时间从114s减少到30s.

关键词：电容提取随机行走非分层介质空间管理

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于知识图谱的高价值专利技术创新演化研究

现代情报 2024年第6期44卷 3-17页

作者：曹茹烨曹树金中山大学信息管理学院广东广州510006 山东理工大学信息管理学院山东淄博255000

[目的/意义]高价值专利是推动科技创新、实现高质量发展的重要载体,识别高价值专利并从多维度挖掘技术演化特征,对于发现技术创新要素与创新规律,助力科技创新战略与政策的制定均具重要意义。[方法/过程]以“脑机接口”领域的专利文献为... 详细信息

[目的/意义]高价值专利是推动科技创新、实现高质量发展的重要载体,识别高价值专利并从多维度挖掘技术演化特征,对于发现技术创新要素与创新规律,助力科技创新战略与政策的制定均具重要意义。[方法/过程]以“脑机接口”领域的专利文献为例,从技术价值、专利权利和市场前景3个方面设计专利价值评估指标体系以识别出高价值专利,进而基于CasRel知识抽取模型构建高价值专利知识图谱,在此基础上从技术主题、本质、应用领域、方法、解决问题等维度分析技术创新演化的态势。[结果/结论]研究发现,基于知识图谱的高价值专利技术创新演化分析方法视角更加多元、分析层次更加深入,能够为技术研发者、科技政策或战略制定者实施进一步的创新提供更具体的参考。

关键词：高价值专利技术创新演化知识图谱脑机接口