检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

加快推进资产证券化多元化发展

中国金融 2024年第11期 69-70页

作者：苏星烨中建方程投资发展集团有限公司财务金融部

中央金融工作会议强调,要盘活被低效占用的金融资源,提高资金使用效率。资产证券化是助力实体经济盘活存量资产、拓宽直接融资渠道的重要手段。近年来,随着我国金融治理体系的日臻完善,多层次资本市场加快形成,资产证券化业务发展走向... 详细信息

中央金融工作会议强调,要盘活被低效占用的金融资源,提高资金使用效率。资产证券化是助力实体经济盘活存量资产、拓宽直接融资渠道的重要手段。近年来,随着我国金融治理体系的日臻完善,多层次资本市场加快形成,资产证券化业务发展走向成熟。长远来看,我国的存量资产规模庞大,不论是企业应收账款还是不动产、信贷资产等。

关键词：资产证券化盘活存量资产多层次资本市场直接融资渠道信贷资产企业应收账款多元化发展实体经济

在线全文

学校读者我要写书评

暂无评论

非法利用信息网络罪司法适用研究

非法利用信息网络罪司法适用研究

作者：崔晓田河南财经政法大学

学位级别：硕士

我国《刑法修正案(九)》将网络犯罪的预备行为规定为非法利用信息网络罪(以下简称“非信罪”),给非法利用网络行为冠以正犯化罪名,以便于将非法利用网络行为纳入刑法的规制范围之内。然而在司法适用中,非法利用信息网络行为的罪名认定... 详细信息

我国《刑法修正案(九)》将网络犯罪的预备行为规定为非法利用信息网络罪(以下简称“非信罪”),给非法利用网络行为冠以正犯化罪名,以便于将非法利用网络行为纳入刑法的规制范围之内。然而在司法适用中,非法利用信息网络行为的罪名认定却非常困难。具言之,该罪司法适用问题包括非信罪立法性质不明确、兜底规定的解读混乱、行为方式中“违法犯罪”的界定不清、“违禁物品、管制物品”的范围界定无标准以及“同时构成其他犯罪”的罪数竞合处断方法不一,这些问题在实务中并未形成统一的认定标准。非信罪的立法性质在实践中颇有争议,既有预备行为正犯化、帮助行为正犯化性质,又有既遂犯的未遂化性质。非信罪在司法认定过程中的主要争议问题,集中在非信罪行为方式的范围认定争议以及罪数竞合的处断困难之上。该法条中的兜底性条款,主张在同类解释的基础上,补充适用目的性解释的规则,达到判定行为应否属于非信罪所规范范围的目的。采用典型案例分析“违法犯罪”在实务中的认定标准不一,提出“违法犯罪”应界定为犯罪行为以及实质上具有严重社会危害性的刑事以及行政违法行为。学术界对“违禁物品、管制物品”的界定观点不一,实际上,无需区分违禁物品与管制物品,直接看作一个整体概念,并概括出概念所指的具体内容即可。当与其他预备犯相竞合时,应当优先认定为非信罪;非信罪与帮助信息网络犯罪活动罪(以下简称“帮信罪”)相竞合、本罪与下游犯罪相竞合时,处断原则采用大竞合论,全部适用从一重处罚原则。但在实务操作中,遇到违法犯罪活动或者信息的行为,其所触犯的任何罪名都应当在裁判文书中予以宣告,最后再统一适用大竞合论,从一重罪处罚,以期实现罪责刑相适用的最终目的。

关键词：非法利用信息网络罪网络犯罪预备行为实行化竞合犯

未来社区理念下老旧社区改造提升及评价指标体系构建

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

城市发展研究 2024年第6期31卷 134-140页

作者：施生旭官烨苗福建农林大学公共管理与法学院

未来社区是社区建设模式创新的有益探索，在老旧社区改造提升中融入未来社区理念是城市更新的前沿实践，既能有效满足居民日益增长的个性化需求，又能推动社区高质量发展。通过梳理阐释未来社区理念的内在涵义，归纳未来社区与老旧社区... 详细信息

未来社区是社区建设模式创新的有益探索，在老旧社区改造提升中融入未来社区理念是城市更新的前沿实践，既能有效满足居民日益增长的个性化需求，又能推动社区高质量发展。通过梳理阐释未来社区理念的内在涵义，归纳未来社区与老旧社区改造的逻辑关联，并以人本化改造、数字化联通、生态化建设为一级指标，构建老旧社区向未来社区改造提升的评价指标体系框架，促进老旧社区向未来社区改造提升的理论研究与创新实践。

关键词：未来社区老旧社区社区改造城市更新数字技术

二维导电纳米材料在聚合物燃烧预警及阻燃应用中的研究进展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

材料导报 2024年第17期38卷 114-122页

作者：崔晓晴王水莲王锐张洪艳北京服装学院材料设计与工程学院北京100029 北京服装学院服装材料研究开发与评价北京市重点实验室北京市纺织纳米纤维工程技术研究中心北京100029

石墨烯、MXene等二维导电纳米材料由于具有独特的结构和导电性,在火灾预警和阻燃领域展现出优异的性能和广阔的应用前景。聚合物及其复合材料的广泛应用带来了一定的安全隐患和火灾风险。但传统火灾报警器难以在未见明火的预燃阶段及时... 详细信息

石墨烯、MXene等二维导电纳米材料由于具有独特的结构和导电性,在火灾预警和阻燃领域展现出优异的性能和广阔的应用前景。聚合物及其复合材料的广泛应用带来了一定的安全隐患和火灾风险。但传统火灾报警器难以在未见明火的预燃阶段及时发出警报信号,进而导致救援人员错失最佳救援时间,因此火灾的早期预警对保护人身安全和财产具有重要意义。广大科研工作者分别从绿色、环保、舒适、消防安全等角度出发,致力于提高材料的阻燃性、灵敏度以及响应时间。本文综述了近年来预警阻燃涂层的响应机制及研究现状,介绍了以石墨烯、MXene二维导电纳米材料为主的预警阻燃涂层的制备方法、预警阻燃机制及性能改进策略,总结了目前研究工作中仍旧存在的不足以及未来的发展方向,能够为阻燃预警相关工作的开展提供参考。

关键词：温度传感器二维导电材料涂层阻燃剂火灾预警

碳纤维边角料增强TPU纳米复合材料的制备与电热性能

在线全文

学校读者我要写书评

暂无评论

复合材料学报 2024年第4期41卷 1862-1869页

作者：崔晓凤郑茂林张娜黄明高国利郑州大学、材料成型及模具技术教育部重点实验室橡塑模具国家工程研究中心郑州450002 深圳市银宝山新科技股份有限公司深圳518108

随着碳纤维(CF)需求量的增加,CF边角料急剧增多,造成了极大的资源浪费。为解决这一问题,采用抽滤法将CF边角料制备成短切碳纤维(SCF)毡,以碳纳米管(CNT)作为二次填料,通过真空热压工艺制备了CF边角料增强热塑性聚氨酯(TPU)纳米复合电热... 详细信息

随着碳纤维(CF)需求量的增加,CF边角料急剧增多,造成了极大的资源浪费。为解决这一问题,采用抽滤法将CF边角料制备成短切碳纤维(SCF)毡,以碳纳米管(CNT)作为二次填料,通过真空热压工艺制备了CF边角料增强热塑性聚氨酯(TPU)纳米复合电热材料(CNTx-SCF/TPU)。通过SEM、TGA、DSC等对复合材料进行测试分析,探究了CNT的最佳浓度,研究了CNTx-SCF/TPU复合材料的力学性能和电热性能等。结果表明:采用克重为60 g/m2的SCF毡、CNT浓度为1.0 g/mL时制备的CNT1.0-SCF/TPU复合材料具有最高的电导率,达到417.84 S/m,与不添加CNT的SCF/TPU相比其电导率提高了34.78%;CNT1.0-SCF/TPU复合材料在3.5 V低电压下,240 s内即能达到约165℃的高温,具有优异电热性能,并具备电热温度可控、电热性能稳定等优点。

关键词：碳纤维聚氨酯碳纳米管复合材料电热性能力学性能

法国汉学家涉华著作出版研究（1978-2023） ——以中国文化译研网在列汉学家为例

在线全文

学校读者我要写书评

暂无评论

法国汉学家涉华著作出版研究（1978-2023） ——以中国文化译研网...

作者：崔晓萌河北大学

学位级别：硕士

法国汉学家从17至18世纪的来华传教士到如今的研究者,在中国研究领域做出了重要贡献并产生了重要影响。他们的著作涵盖语言、文化、历史、艺术等多个领域,展示了丰富多样的研究成果。随着改革开放的深入,中国与世界交流日益紧密,这也为... 详细信息

法国汉学家从17至18世纪的来华传教士到如今的研究者,在中国研究领域做出了重要贡献并产生了重要影响。他们的著作涵盖语言、文化、历史、艺术等多个领域,展示了丰富多样的研究成果。随着改革开放的深入,中国与世界交流日益紧密,这也为法国汉学家了解中国提供了更多更好的机会。通过深入研究相关著作,可以全面了解他们在中国议题研究方面的学术兴趣、专长和贡献,同时也可梳理出其汉学研究的趋势和热点。“中国文化译研网”作为中外文化互译合作平台,旨在通过汉学家数据库促使学术界更认识和重视汉学研究,以更好满足当代社会需求。深入研究汉学家涉华著作出版,有助于把握汉学研究的发展现状和趋势,从而为出版工作“走出去”提供借鉴,以期推动中外文明交流互鉴的深入发展。通过对中国文化译研网在列法国汉学家及其在1978至2023年间出版的著作进行研究,不仅有助于梳理法国汉学家的学术脉络,还可以揭示出中法文化互动的深度与广度,为未来的跨文化研究提供重要参考。从著作出版方面来看,其数量随着时间的推移不断增加,学科领域也越来越多元,且翻译作品占有重要比例,这也反映出中法两国的文化交流的愈加繁荣与深入。但这些著作的出版地相对局限,大多出版于法国,特别是法国巴黎,表明中法出版文化交流的深层机理还有待进一步拓展,具体合作方式还有待进一步丰富与完善。并且所研究的汉学家大都与中国有着深度关联,这为其开展汉学研究提供了有力支撑。从著作出版的内容上看,其题材也十分多元,涵盖政治经济社会、文学、艺术、考古、哲学宗教、科学等多个领域,这些著作一般都具有较高的出版价值。尽管法国汉学家的著作呈现出多元化的特点和深入发展的趋势,但在其出版中仍存在一些问题。如部分著作立场存在偏颇,作品在华出版率偏低,选题也呈现集中化倾向,而著作在市场上的显著度亦不高等。结合法国汉学的发展历程和法国出版行业现状,本文也对此提出了针对性建议。如友好地针对偏颇观点展开探讨、加强出版合作、重视稀缺领域汉学家的互动和翻译人才的培养等。1978至2023年间法国汉学家涉华著作的出版分析也能为如今的跨文化出版工作提供一定启示,通过持续的合作与交流,期待看到更多深入、全面、前沿的法国汉学家能够有高质量的涉华著作问世,并为推动中法文化交流与理解做出更为重要的贡献。

关键词：法国汉学家涉华著作出版中国中国学

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于块方向预测的AV1快速帧内编码算法

吉林大学学报(工学版) 2024年

作者：严利民金炜烨上海大学微电子研究与开发中心

AV1压缩技术增加了编码复杂性，为了满足实时通信(RTC)应用要求，在低端平台上，编码器要以低延迟、低比特率、低编码时间运行，这使得在RTC任务中，使用AV1编码器具有挑战性。对此，本文提出了一种AV1快速帧内编码算法。通过预先计算... 详细信息

AV1压缩技术增加了编码复杂性，为了满足实时通信(RTC)应用要求，在低端平台上，编码器要以低延迟、低比特率、低编码时间运行，这使得在RTC任务中，使用AV1编码器具有挑战性。对此，本文提出了一种AV1快速帧内编码算法。通过预先计算块的方向特性，在帧内编码方向预测遍历期间，跳过与预先计算的方向显著不同的方向，从而提高libaom-AV1编码器的编码速度，节省帧内编码时间，并加速AV1在低延迟视频编码应用中的进展。实验结果表明，该算法可节省25.89%的运行时间，且编码时间节省后，编码性能损失较小。

关键词： AV1 libaom 实时编码帧内编码速度优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

亚波长尺度裂缝地震散射分辨分析

地球物理学报 2024年第1期67卷 318-331页

作者：冯一琳魏伟付博烨符力耘中国科学院地质与地球物理研究所中国科学院油气资源研究重点实验室北京100029 中国科学院地球科学研究院北京100029 中国科学院大学地球与行星科学学院北京100049 北京工业大学城市建设学部北京100124 中国石油大学(华东)深层油气重点实验室青岛266580

裂缝储层地震特征的准确识别已成为当前地震勘探的难点之一,特别是深层礁滩或碳酸盐岩储层,其大部分裂缝都在亚波长尺度,按照传统地震反射四分之一波长几何分辨准则是不能完全分辨的.传统研究裂缝地震响应的方法主要基于各向异性等效介... 详细信息

裂缝储层地震特征的准确识别已成为当前地震勘探的难点之一,特别是深层礁滩或碳酸盐岩储层,其大部分裂缝都在亚波长尺度,按照传统地震反射四分之一波长几何分辨准则是不能完全分辨的.传统研究裂缝地震响应的方法主要基于各向异性等效介质理论,但由于亚波长尺度裂缝微小且其地震反射弱并存在噪声干扰等问题,故该传统方法逼近精度有限.然而,这类部分可分辨裂缝可在地震散射范畴来分析和预测,本文基于散射聚焦分辨分析理论,提出了表征裂缝系统空间分布和形态特征的波数域散射成像矩阵方法,据此计算了含裂缝与不含裂缝的波数域成像矩阵之间的振幅差异性和结构差异性,从散射能量及其各向异性的角度分析了亚波长尺度裂缝的地震可识别性.均匀和复杂背景介质下的算例表明,振幅差异性随裂缝厚度和密度的变化规律显著,结构差异性随裂缝角度变化规律更加明显.同时讨论了随机噪声和排列长度等因素对裂缝系统地震散射可识别性的影响.排列长度和噪声对于裂缝厚度响应影响较小,主要影响高角度裂缝的识别,同时要求排列长度大于三倍目标深度才可应用该方法进行裂缝参数识别.

关键词：亚波长尺度裂缝识别波数域散射成像矩阵振幅差异结构差异