检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

同方期刊数据库

改进深度交叉网络的遥感信息即时智能推荐方法

在线全文

学校读者我要写书评

暂无评论

测绘学报 2024年第3期53卷 537-547页

作者：彭染姝陈实陈宇中国科学院国家空间科学中心北京100190 中国科学院大学北京100049

随着遥感大数据时代的到来,海量遥感数据的主动、即时推送问题成为限制遥感信息智能服务领域发展的瓶颈。针对现有遥感信息推荐模型空间特征表达能力不足、交叉特征表达能力欠缺和无差别对待交叉特征等问题,本文提出一种融合注意力机制... 详细信息

随着遥感大数据时代的到来,海量遥感数据的主动、即时推送问题成为限制遥感信息智能服务领域发展的瓶颈。针对现有遥感信息推荐模型空间特征表达能力不足、交叉特征表达能力欠缺和无差别对待交叉特征等问题,本文提出一种融合注意力机制的深度交叉空间变换网络(attention deep&cross spatial-transformation network,ADCSTN)。首先,模型使用深度交叉网络提取遥感信息不同关联的交叉特征;然后,基于栅格划分,利用空间变换层将一维空间属性数据转换为二维空间矩阵,充分捕捉遥感信息空间结构特征;最后,通过注意力层对得到的不同关联的交叉特征设置不同权重,增强模型性能,实现遥感信息的主动、即时、智能推送。本文利用STK仿真1584颗智能遥感卫星组成的遥感卫星星座为20°N—40°N、120°E—140°E区域内的舰船提供实时遥感数据,并设置用户兴趣,得到试验数据集。试验结果表明,本文模型的推荐效果较好,相比于传统的四元组模型,F_(1)score提高了37%~54.7%。

关键词：遥感信息推荐系统深度交叉网络即时推送智能遥感卫星

在线全文

学校读者我要写书评

暂无评论

预燃室及喷射阀对双燃料发动机性能的影响

内燃机学报 2024年第2期42卷 134-143页

作者：周洪杰张明席鸿远周松任建军莫杰哈尔滨工程大学动力与能源工程学院黑龙江哈尔滨150001

基于三维仿真软件Converge构建了船用低速双燃料发动机仿真模型,并验证了模型的准确性.模拟了不同预燃室通道和天然气喷射阀结构下发动机的工作过程,并分析了不同参数优化燃烧和降低排放的潜力.结果表明:对预燃室通道的研究中,适度增加... 详细信息

基于三维仿真软件Converge构建了船用低速双燃料发动机仿真模型,并验证了模型的准确性.模拟了不同预燃室通道和天然气喷射阀结构下发动机的工作过程,并分析了不同参数优化燃烧和降低排放的潜力.结果表明:对预燃室通道的研究中,适度增加预燃室通道直径和长度均会促进引燃油着火,加快主燃室燃烧进程,但直径过大会增加NO_(x)排放,长度过长会抑制着火并增大点火能量损失;增加通道角度同样会加速燃烧,但当其与扫气角度一致时,角度越大,NO_(x)排放越高;对天然气喷射阀的研究中,降低阀门位置、增大喷射角度和减小阀门直径均会降低甲烷逃逸量;喷射角度对主燃室涡流比的影响较大,当喷射角度与扫气角度相反时,喷射角度越大,燃烧越快,NO_(x)排放越低;适度减小阀门直径可提高天然气射流速度,进而加速燃烧.

关键词：双燃料发动机预燃室天然气喷射阀排放特性

基于权利要求层级特征的专利相似度计算方法研究

在线全文

学校读者我要写书评

暂无评论

数据分析与知识发现 2024年第2期8卷 33-43页

作者：向姝璇操玉杰毛进南京大学数据智能与交叉创新实验室南京210023 华中师范大学信息管理学院武汉430074 武汉大学信息管理学院武汉430072 武汉大学信息资源研究中心武汉430072

【目的】现有专利相似度计算方法对专利文本独有特征利用不足,并一定程度上忽视了专利内容与结构的特性,本文就上述问题提出一种新的专利相似度计算方法。【方法】通过权利要求层级特征生成技术组合句并进行信息核心度、信息丰富度的加... 详细信息

【目的】现有专利相似度计算方法对专利文本独有特征利用不足,并一定程度上忽视了专利内容与结构的特性,本文就上述问题提出一种新的专利相似度计算方法。【方法】通过权利要求层级特征生成技术组合句并进行信息核心度、信息丰富度的加权,兼顾技术内容范围与技术信息重点进行专利表示,在此基础上进行专利相似度计算。通过相关性指标与专利分类的对比实验证明方法的合理性。【结果】本文提出的方法较同类基准方法可以更充分地表达专利信息,更适用于专利相似度计算;技术组合句的重构对模型表现提升作用明显,在该基础上的信息核心度、信息丰富度的加权能进一步提高模型表现。【局限】仅在量子计算领域进行实验,技术领域是否会对方法表现造成影响仍待探究。【结论】权利要求树与技术组合句的信息组织形式能够提高专利文本的利用效率;基于专利权利要求层级特征的技术组合句与对应信息特征加权能够提升专利表示效果及其在相似度任务中的表现。

关键词：权利要求专利相似度权利要求层级

西方的中国近现代美术研究及其在新世纪的三个转向

在线全文

学校读者我要写书评

暂无评论

南京艺术学院学报（美术与设计） 2024年第2期 9-15页

作者：陈妤姝华东师范大学美术学院上海200062

21世纪西方有关中国近现代美术史的研究呈现出多样化、专题性的特点。学界重新反思中国绘画里传统和现代性艺术表达的关系。“西化”和“传统”开始被平等视为中国美术走向现代化的可能性路径。西方学界近年来在亚洲的整体视角下考察中... 详细信息

21世纪西方有关中国近现代美术史的研究呈现出多样化、专题性的特点。学界重新反思中国绘画里传统和现代性艺术表达的关系。“西化”和“传统”开始被平等视为中国美术走向现代化的可能性路径。西方学界近年来在亚洲的整体视角下考察中国现代艺术发展的特殊路径及与其他亚洲国家的互相影响,并较为关注女性主题。

关键词：近现代中国美术西方研究现代性路径泛亚洲化女性主题

在线全文

学校读者我要写书评

暂无评论

一种更新高精地图置信度的方法

测绘通报 2024年第5期 166-171,177页

作者：赵明姝高德软件有限公司北京100012

自动驾驶对地图提出的高精度、高鲜度、高覆盖等要求,现阶段难以同时满足,本文针对高、低精度数据空间位置差异但特征相似度极高的特点,提出了一种将低精度观测信息转化为高精地图要素置信度的方法,在不改变高精地图更新频率的前提下,... 详细信息

自动驾驶对地图提出的高精度、高鲜度、高覆盖等要求,现阶段难以同时满足,本文针对高、低精度数据空间位置差异但特征相似度极高的特点,提出了一种将低精度观测信息转化为高精地图要素置信度的方法,在不改变高精地图更新频率的前提下,完善地图安全策略。该方法采用矩形邻域二级匹配原理和匹配度测量模型,缩小匹配范围和量化匹配度,从而准确匹配目标;再根据特征向量分析,判断目标要素当前状态;采用计分规则将状态转化为地图要素置信度得分。该方法运用在多省高快速高精地图置信度更新试验中,仅用普通行车记录仪图片提供的观测信息,即可更新HD地图限速标牌存在置信度,还验证了由新的观测触发和由底图更新触发两种置信度更新模式。试验结果表明,观测冗余度和置信度保持率呈正相关,当观测冗余度约为15时,可达到60 d 80%以上目标要素保持高置信,且准确率超过96%。本文方法为高精地图鲜度与安全冲突提供了一种行之有效的解决方案,可促进高精地图安全应用策略进一步深化。

关键词：高精地图置信度地图更新地图匹配

金花茶在园林造景中的应用研究——以南宁市金花茶公园为例

在线全文

学校读者我要写书评

暂无评论

园林 2021年第4期38卷 32-37页

作者：张皖莫杰姝邓国菲南宁市金花茶公园广西南宁530022

金花茶是山茶科植物中的独特成员,因其特殊的黄色基因弥补了黄色茶花的空缺,被誉为"茶族皇后"。现阶段关于金花茶植物配植的研究较少,随着对金花茶的研究与利用日渐增加及深入,其作为景观植物的价值也渐渐被挖掘。以南宁市金花茶公园为... 详细信息

金花茶是山茶科植物中的独特成员,因其特殊的黄色基因弥补了黄色茶花的空缺,被誉为"茶族皇后"。现阶段关于金花茶植物配植的研究较少,随着对金花茶的研究与利用日渐增加及深入,其作为景观植物的价值也渐渐被挖掘。以南宁市金花茶公园为例,分析园内主要用于景观营造的金花茶品种、种植形式及金花茶在园林景观上的应用等内容,为金花茶在园林造景中的运用提供参考。

关键词：金花茶公园金花茶造景

海南红树林底泥海洋放线菌的抗菌及抗群体感应活性筛选

在线全文

学校读者我要写书评

暂无评论

生物学杂志 2024年第1期41卷 88-93页

作者：莫杰钱生辉钱嘉兴缪莉扬州大学环境科学与工程学院扬州225127

采用滤纸片法以紫色色杆菌、大肠杆菌和金黄色葡萄球菌等为指示菌对84株分离自红树林底泥的海洋放线菌进行抗菌及抗群体感应活性筛选,再对高活性菌株进行活性复筛以及薄层层析化学多样性分析。结果显示,菌株HN2-56具有很强的抗群体感应... 详细信息

采用滤纸片法以紫色色杆菌、大肠杆菌和金黄色葡萄球菌等为指示菌对84株分离自红树林底泥的海洋放线菌进行抗菌及抗群体感应活性筛选,再对高活性菌株进行活性复筛以及薄层层析化学多样性分析。结果显示,菌株HN2-56具有很强的抗群体感应活性及较弱的抗菌活性,且代谢产物较为丰富。对该菌的代谢产物进行初步分离及GC-MS分析,从其活性组分中鉴定出13个可能的化合物,且多个化合物具有一定的生物活性。活性验证试验发现,化合物4(二乙基甲苯甲酰胺)和12(莪术烯醇)具有抗群体感应活性。经16S rDNA序列分析,结合形态观察和系统发育分析,将菌株HN2-56鉴定为链霉菌(Streptomyces chumphonesis)。该菌株在抗群体感应方面有一定的应用潜力,具有进一步研究的价值。

关键词：放线菌抗菌活性抗群体感应活性 GC-MS

在线全文

学校读者我要写书评

暂无评论

基于项目化学习的初中英语单元作业设计

中小学外语教学 2024年第9期47卷 37-42页

作者：万姝浙江省金华市丽泽中学

基于项目化学习设计单元作业有助于学生围绕单元核心知识,展示知识在真实世界中的运用价值,实现深度理解。本研究以单元项目构建、单元项目分解、课时作业设计和单元项目产品评价为实施路径设计单元作业,以深化学生对核心知识的认识,促... 详细信息

基于项目化学习设计单元作业有助于学生围绕单元核心知识,展示知识在真实世界中的运用价值,实现深度理解。本研究以单元项目构建、单元项目分解、课时作业设计和单元项目产品评价为实施路径设计单元作业,以深化学生对核心知识的认识,促进其核心素养的培育。

关键词：项目化学习单元作业课时作业