检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

漏洞自动修复研究综述

软件学报 2024年第1期35卷 136-158页

作者：徐同同刘逵夏鑫华为公司软件工程应用技术实验室浙江杭州310007

软件漏洞是计算机软件系统安全方面的缺陷,给现代软件及其应用数据的完整性、安全性和可靠性带来巨大威胁.人工治理漏洞费时且易错,为了更好应对漏洞治理挑战,研究者提出多种自动化漏洞治理方案,其中漏洞自动修复方法近来得到研究者广... 详细信息

软件漏洞是计算机软件系统安全方面的缺陷,给现代软件及其应用数据的完整性、安全性和可靠性带来巨大威胁.人工治理漏洞费时且易错,为了更好应对漏洞治理挑战,研究者提出多种自动化漏洞治理方案,其中漏洞自动修复方法近来得到研究者广泛关注.漏洞自动修复技术旨在辅助开发人员修复漏洞,涵盖漏洞根因定位、补丁生成、补丁验证等功能.现有工作缺乏对漏洞修复技术系统性的分类与讨论,为了促进漏洞修复技术发展,加深研究人员对漏洞修复问题的认知理解,对现有漏洞修复方法技术的理论、实践、适用场景和优缺点进行全面洞察,并撰写了漏洞自动修复技术的研究综述.主要内容包括:(1)按照修复漏洞类型不同整理归纳特定类型漏洞的修复方法以及通用类型漏洞的修复方法;(2)按照所采用的技术原理将不同修复方法进行分类与总结;(3)归纳漏洞修复主要挑战;(4)展望漏洞修复未来发展方向.

关键词：软件漏洞漏洞自动修复漏洞分析漏洞定位

在线全文

学校读者我要写书评

暂无评论

基于时频分解的时变金融稳定性研究

系统科学与数学 2024年

作者：陈麒同王沁湖南大学金融与统计学院西南交通大学数学学院

本文利用完备集合经验模态分解和变系数分位数回归方法，提出基于时频分解的时变金融稳定性检验方法，研究了金砖四国和发达国家股票市场的稳定性。实证结果表明，各国金融不稳定性来源于不同频域。发展中国家金融市场不稳定性来源于其... 详细信息

本文利用完备集合经验模态分解和变系数分位数回归方法，提出基于时频分解的时变金融稳定性检验方法，研究了金砖四国和发达国家股票市场的稳定性。实证结果表明，各国金融不稳定性来源于不同频域。发展中国家金融市场不稳定性来源于其高频成分，而发达国家金融市场在低频域内存在一定的不稳定性。无论是在高频域还是低频域，各国所承受的系统性冲击具有时变非对称效应，且发展中国家受到的影响更大。最后，各国金融市场不稳定的状态具有一定的持续性。

关键词：金融稳定性股票市场经验模态分解时变分位数回归

渤海油田锦州区块S井复位井口及永久弃井技术方案可行性分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国科技信息 2024年第1期 74-77页

作者：陈宇同杨保健郝宜雷胡洁中海油能源发展股份有限公司工程技术分公司中海石油(中国)有限公司天津分公司

渤海油田锦州区块S井为一口20世纪80年代的评价井，作业结束之前，采用了浮标连接隔水导管的方式进行井口位置标定，同时使用两个防腐帽对隔水导管以及表层套管进行了防腐保护。因弃井规范要求，目前需对其进行永久弃井作业，因此作业...

渤海油田锦州区块S井为一口20世纪80年代的评价井，作业结束之前，采用了浮标连接隔水导管的方式进行井口位置标定，同时使用两个防腐帽对隔水导管以及表层套管进行了防腐保护。因弃井规范要求，目前需对其进行永久弃井作业，因此作业流程为井口初复位、井口精就位、水下作业探摸、弃井作业准备及弃井作业。由于该井作业时间久远、现场实际情况不清楚等因素，在作业前需做好全面的准备工作。

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

专门立法进程下公益诉讼发展进路的系统检视

政治与法律 2024年第3期 40-55页

作者：丁宝同西南政法大学法学院重庆401120

我国公益诉讼的创制自始预设“公益维护”价值目标,其十多年显性发展历程包含四个“逻辑阶段”;德国团体诉讼的演进动力源于“公益属性”二阶进化,其百余年显性历程塑造立体化制度架构。制度功能的契合使未曾交集的两者暗含逻辑共性,发... 详细信息

我国公益诉讼的创制自始预设“公益维护”价值目标,其十多年显性发展历程包含四个“逻辑阶段”;德国团体诉讼的演进动力源于“公益属性”二阶进化,其百余年显性历程塑造立体化制度架构。制度功能的契合使未曾交集的两者暗含逻辑共性,发展进路的差异使这种共性呈现“片段化”特征。“超激进实用主义”进路之下,检察行政公益诉讼创制由司法引领,立法和配套解释同步以确保制度不断齐备,从而迅速定型;民事公益诉讼创制却由立法先导,“超简化”立法未能确保“给付之诉”完整创设以持续其司法展开进程,陷入发展进路危机。未来,应立足党的二十大报告关于“完善公益诉讼制度”的明确要求,依托已纳入《十四届全国人大常委会立法规划》一类项目之《检察公益诉讼法》(《公益诉讼法》一并考虑)立法进程,统合公益诉讼零散的制度规则。为此,检察行政公益诉讼固可安享“超激进实用主义”进路的红利,民事公益诉讼却须系统调适发展进路。

关键词：检察公益诉讼法公益诉讼团体诉讼程序统合

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

民事公益诉讼的制度危机与程序统合

政法论丛 2024年第4期 118-129页

作者：丁宝同西南政法大学法学院重庆401120

我国民事公益诉讼的发展可谓壮观,但风生水起的背后隐藏着渐趋严峻的制度危机。危机的三重外在表象是“超简化立法系统性不足”“司法解释规则碎片化趋势”和“程序属性、制度功能异化”,其内在法理本质则是民事公益诉讼“立法”与“司... 详细信息

我国民事公益诉讼的发展可谓壮观,但风生水起的背后隐藏着渐趋严峻的制度危机。危机的三重外在表象是“超简化立法系统性不足”“司法解释规则碎片化趋势”和“程序属性、制度功能异化”,其内在法理本质则是民事公益诉讼“立法”与“司法解释”的实然性功能错位。将欲挽回残局,民事公益诉讼“立法”与“司法解释”须回归应然性功能构造。为此,要立足于党的二十大报告进一步“完善公益诉讼制度”的明确要求,依托已纳入《十四届全国人大常委会立法规划》一类项目之《检察公益诉讼法》(《公益诉讼法》一并考虑)的立法进程,提出“民事公益侵害阻断程序”的理论性支撑概念,结合相关立法的一体化配套修改,推进民事公益诉讼的立法性程序统合。

关键词：民事公益诉讼制度危机程序统合民事公益侵害阻断程序

考虑消费者心理成本的“以旧换再”和再制造品租赁策略

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2024年第2期30卷 730-743页

作者：谢冰秋李帮义陈信同南京航空航天大学经济与管理学院江苏南京211106

考虑“以旧换再”和租赁的再制造品实现方式,构建了单个垄断制造商回收再制造的两阶段博弈模型。引入消费者购买再制造品的心理成本和功能质量认可度,研究了二者对产品需求和制造商利润、生产决策的影响,得出制造商4种生产决策的边界条... 详细信息

考虑“以旧换再”和租赁的再制造品实现方式,构建了单个垄断制造商回收再制造的两阶段博弈模型。引入消费者购买再制造品的心理成本和功能质量认可度,研究了二者对产品需求和制造商利润、生产决策的影响,得出制造商4种生产决策的边界条件。进一步探究存在固定成本时,政府“以旧换再”补贴对制造商生产决策的影响和不同生产决策下的环境效益。研究表明,利润与功能质量认可度正相关,与心理成本负相关;心理成本低于阈值时,“以旧换再”才有利可图;制造商可以通过租赁拓展再制造品的市场份额并获取更高的收益;心理成本高时,制造商采取再制造品租赁策略可以实现经济与环境效益最优;心理成本低时,政府需加大补贴激励制造商进行“以旧换再”,以达到经济与环境效益双赢。

关键词：以旧换再再制造品租赁生产决策政府补贴环境影响

全面抗战时期国民政府战区教育督导人员的生存状态

在线全文

学校读者我要写书评

暂无评论

江海学刊 2024年第4期 219-227页

作者：郝天豪江苏师范大学历史文化与旅游学院

全面抗战时期,国民政府教育部选派教育督导人员进入沦陷区,积极推行反奴化教育,争夺沦陷区教育权。教育部规定了督导人员的编制、任用标准、履职手续等,形成较为完善的人员选派机制。督导人员的待遇由薪金、津贴、办公费、事业费及旅费... 详细信息

全面抗战时期,国民政府教育部选派教育督导人员进入沦陷区,积极推行反奴化教育,争夺沦陷区教育权。教育部规定了督导人员的编制、任用标准、履职手续等,形成较为完善的人员选派机制。督导人员的待遇由薪金、津贴、办公费、事业费及旅费等构成,并根据抗战时势进行调整。囿于日伪的金融管制政策,沦陷区通货膨胀和交通、汇兑不便等,督导人员所得薪公各费不敷使用,生活普遍艰困。沦陷区生存环境恶劣,督导人员身心俱疲,映照出抗战时期时局之艰危和国民政府在沦陷区的乏力,但督导人员大体能够坚守信念,开展工作,为争取抗战胜利和延续文化生命做出特殊的贡献,也反映出中国人民不畏不屈的抗战精神。

关键词：全面抗战时期沦陷区教育督导人员反奴化教育生存状态

在线全文

学校读者我要写书评

暂无评论

基于匹配场处理法的管道局部阻塞定位方法

华中科技大学学报(自然科学版) 2024年第9期52卷 156-164页

作者：周领白光国李赟杰车同川河海大学水利水电学院河海大学长江保护与绿色发展研究院

水锤波管道管内湍流及用户取水极易产生噪声，且噪声声波与阻塞反射波高度相似，严重干扰传统方法的定位结果．鉴于此，本研究在频域内严格推导了阻塞的水锤波解耦模型，并提出了基于全波形反演的新型阻塞定位方法，其鲁棒性表现为：能... 详细信息

水锤波管道管内湍流及用户取水极易产生噪声，且噪声声波与阻塞反射波高度相似，严重干扰传统方法的定位结果．鉴于此，本研究在频域内严格推导了阻塞的水锤波解耦模型，并提出了基于全波形反演的新型阻塞定位方法，其鲁棒性表现为：能够在噪声环境中(信噪比低至-10 dB)精准定位单个阻塞；如果两个相邻阻塞的间距大于最小检测半波长，那么新型方法能够较准确地估计它们的位置；当管道中的波速存在不确定性时，新型方法仍能准确定位阻塞；与传统定位方法相比，新型方法抗噪声干扰能力更强，所需的信号带宽更窄．

关键词：水锤波输水管道故障检测局部阻塞匹配场处理方法反演分析

基于RISC-Ⅴ的深度可分离卷积神经网络加速器

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 2024年第11期47卷 2536-2551页

作者：曹希彧陈鑫魏同权华东师范大学计算机科学与技术学院上海200062

人工智能时代,RISC-Ⅴ作为一种新兴的开源精简指令集架构,因其低功耗、模块化、开放性和灵活性等优势,使之成为一种能够适应不断发展的深度学习模型和算法的新平台.但是在硬件资源及功耗受限环境下,基础的RISC-Ⅴ处理器架构无法满足卷... 详细信息

人工智能时代,RISC-Ⅴ作为一种新兴的开源精简指令集架构,因其低功耗、模块化、开放性和灵活性等优势,使之成为一种能够适应不断发展的深度学习模型和算法的新平台.但是在硬件资源及功耗受限环境下,基础的RISC-Ⅴ处理器架构无法满足卷积神经网络对高性能计算的需求.为了解决这一问题,本文设计了一个基于RISC-Ⅴ的轻量化深度可分离卷积神经网络加速器,旨在弥补RISC-Ⅴ处理器的卷积计算能力的不足.该加速器支持深度可分离卷积中的两个关键算子,即深度卷积和点卷积,并能够通过共享硬件结构提高资源利用效率.深度卷积计算流水线采用了高效的Winograd卷积算法,并使用2×2数据块组合拼接成4×4数据片的方式来减少传输数据冗余.同时,通过拓展RISC-Ⅴ处理器端指令,使得加速器能够实现更灵活的配置和调用.实验结果表明,相较于基础的RISC-Ⅴ处理器,调用加速器后的点卷积和深度卷积计算取得了显著的加速效果,其中点卷积加速了104.40倍,深度卷积加速了123.63倍.与此同时,加速器的性能功耗比达到了8.7GOPS/W.本文的RISC-Ⅴ处理器结合加速器为资源受限环境下卷积神经网络的部署提供了一个高效可行的选择.

关键词：神经网络深度可分离卷积 RISC-Ⅴ Winograd快速卷积硬件加速