检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于相对风险模型的区域生态风险评价

科学技术与工程 2024年第7期24卷 3020-3033页

作者：朱家兵吴建廷张华崔言辉梁甲迪李西春浪潮软件科技有限公司济南250101 山东省国土空间数据和遥感技术研究院济南250000

部分生态系统在现代社会经济发展过程中遭到了不同程度的破坏,而生态风险评价是对生态系统健康状况最重要的衡量方法之一。以云南省为研究区,选取4类主要风险源,划分5类生境,以生态系统为风险受体,4类生态系统服务为评价终点,采用相对... 详细信息

部分生态系统在现代社会经济发展过程中遭到了不同程度的破坏,而生态风险评价是对生态系统健康状况最重要的衡量方法之一。以云南省为研究区,选取4类主要风险源,划分5类生境,以生态系统为风险受体,4类生态系统服务为评价终点,采用相对风险模型(relative risk model, RRM),分别计算云南省各生境、风险源、评价终点及评价单元的生态风险值,并划分风险等级;利用蒙特卡洛模拟方法进行不确定性分析,并结合评价结果进行风险管理分析。结果表明:云南省生态风险整体状况良好,空间差异较小;昭通市的相对风险等级最高,但结果误差最大;城市生态系统生境受到的风险、人口负荷风险源对生态系统造成的风险、调节服务对生态风险的响应,三者评价结果均为最高;风险源的不确定性对风险结果的影响存在低估现象,且风险演变模拟结果趋向收敛。

关键词：生态风险评价 RRM 生态系统不确定性分析

在线全文

学校读者我要写书评

暂无评论

一种面向嵌入式操作系统的形式化验证方法

华东师范大学学报（自然科学版） 2024年第4期 1-17页

作者：王阳方竟成蔡雄张志鹏蔡喁缪炜恺中国航发控制系统研究所江苏无锡214063 华东师范大学软件工程学院上海200062 上海工业控制安全创新科技有限公司可信软件创新研究院上海200333

操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.... 详细信息

操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。

关键词：嵌入式操作系统形式化验证 VCC CBMC PAT

同方期刊数据库

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

在线全文

学校读者我要写书评

暂无评论

结合区块链的车联网可信认证与激励机制综述

计算机科学与探索 2024年

作者：高春祺李雷孝史建平内蒙古工业大学数据科学与应用学院内蒙古自治区基于大数据的软件服务工程技术研究中心鄂尔多斯市市民卡建设有限公司

随着车联网数据共享需求的日益增长，安全可靠的身份认证协议与科学合理的激励机制成为保障车联网络稳定运行的首要条件。区块链作为去中心化的分布式账本为车联网提供了技术完善的数据共享平台，结合区块链技术的车联网成为切实可行的... 详细信息

随着车联网数据共享需求的日益增长，安全可靠的身份认证协议与科学合理的激励机制成为保障车联网络稳定运行的首要条件。区块链作为去中心化的分布式账本为车联网提供了技术完善的数据共享平台，结合区块链技术的车联网成为切实可行的数据共享新思路。该研究总结车联网需求，梳理分析基于区块链的车联网架构并将其分为云端层、机制层与边缘层。对相关文献进行归纳总结，分析现有基于区块链的车联网中认证协议与激励机制存在的问题，对其相应的解决方案进行分类比较。从分布式与集中式两种认证架构总结分析现有的可信认证机制的工作流程与实现方案，梳理现有的激励机制工作并将其归纳为基于价值的激励机制、基于信任的激励机制与基于个体决策的激励机制。最后，从隐私保护与典型攻击两方面总结可信认证与激励机制的现存问题与解决方法，在数据共享、多车辆协同与结合6G技术方面对基于区块链的车联网的未来研究方向做出展望。

关键词：区块链车联网认证协议激励机制数据共享

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

多模态检索研究综述

计算机工程与应用 2024年第5期60卷 62-75页

作者：金涛金冉侯腾达袁杰顾骁哲浙江万里学院大数据与软件工程学院浙江宁波315100 江苏电力信息技术有限公司南京210003

多模态数据的日益增长使得多模态检索技术也相继受到了不少关注。随着汽车、医学等行业引入计算机与大数据技术,大量的行业数据其本身都是以多模态形式呈现出来的,行业的快速发展使人们对信息的需求不断增加,单一模态数据检索已经无法... 详细信息

多模态数据的日益增长使得多模态检索技术也相继受到了不少关注。随着汽车、医学等行业引入计算机与大数据技术,大量的行业数据其本身都是以多模态形式呈现出来的,行业的快速发展使人们对信息的需求不断增加,单一模态数据检索已经无法满足人们对信息的需求。为了解决这些问题,满足一种模态的数据检索其他模态数据的需求,通过文献的查阅对多模态检索的方法进行研究,分析了公共子空间、深度学习、多模态哈希算法等不同的研究方法,梳理了近年来提出的解决这些问题的多模态检索技术。最后,对近几年来提出的多模态检索方法根据检索的准确性、检索的效率以及特点等多方面进行评价对比;对多模态检索所遇到的挑战进行分析,并展望多模态检索未来的应用前景。

关键词：多模态检索公共子空间深度学习哈希算法

在线全文

学校读者我要写书评

暂无评论

多指标排序优选抽油井工作参数软件研发

钻采工艺 2024年第3期47卷 102-107页

作者：贾鹿石国伟赵金玲华磊王君中国石油新疆油田公司数据公司

针对原有抽油机井工作参数软件与采油生产实际结合不够紧密、使用不方便的问题,经过技术攻关研发出多指标排序优选抽油井工作参数软件。首先确立以产液量指标为主、井下效率指标为辅、安全指标可靠的优选抽油井工作参数的设计思路,其次... 详细信息

针对原有抽油机井工作参数软件与采油生产实际结合不够紧密、使用不方便的问题,经过技术攻关研发出多指标排序优选抽油井工作参数软件。首先确立以产液量指标为主、井下效率指标为辅、安全指标可靠的优选抽油井工作参数的设计思路,其次是建立以产液量计算为核心的系统算法。应用工程计算和经验公式相结合的方法,通过抽油泵沉没压力使供液量与排液量建立联系,将与供液量接近的排液量作为产液量,进而计算出井下效率、悬点载荷和抽油杆负载率。对所有“泵径、冲程、冲次”组合的优势产液量和优势井下效率及其对应的指标和下泵深度以列表方式输出,对所有指标与井下效率的关系以曲线方式输出,经过排序对比即可挑选出各项指标均占优势且稳定可靠的抽油井工作参数组合,实现抽油井工作参数优化设计的目标。该软件自2017年应用以来年均指导调参130井次,平均单井增产原油63.54 t,提高井下效率3.2%,取得了显著的应用效果。

关键词：抽油机井参数优化液量井下效率沉没压力悬点载荷抽杆利用率

在线全文

学校读者我要写书评

暂无评论

“论文工厂”的自动检测特征模型研究

数据分析与知识发现 2024年

作者：胡天翼刘建华鄂海红丁峻鹏乔晓东北京邮电大学计算机学院(国家示范性软件学院) 北京万方数据股份有限公司

[目的] 本研究探索“论文工厂”论文自动化检测的特征模型，构建从多个维度自动化甄别论文工厂论文的工具，为我国科研诚信治理和学术出版质量控制提供重要支持。[方法] 本研究从撤稿观察等网站搜集论文工厂论文的撤稿记录及关联数据资... 详细信息

[目的] 本研究探索“论文工厂”论文自动化检测的特征模型，构建从多个维度自动化甄别论文工厂论文的工具，为我国科研诚信治理和学术出版质量控制提供重要支持。[方法] 本研究从撤稿观察等网站搜集论文工厂论文的撤稿记录及关联数据资源，构建了用于训练及评价论文工厂自动化检测模型的首个公开数据集，构建了文本随机游走策略与文本注意力机制的论文工厂论文分类模型（RWTA-Model），建模了33种论文工厂文法特征，并使用SHAP方法自动挖掘显著特征。[结果] 本研究基于标题结构特征实现F1=0.777的检测性能，基于摘要结构特征实现F1=0.842的检测性能，基于正文结构特征实现F1=0.847的检测性能。对于三种文章结构数据，本研究与多种基线方法对比均取得了最好的结果，并挖掘了12种显著的文法特征。[局限] 支撑特征构建的数据集集中于生物医学领域，存在领域偏见的潜在风险。[结论] 本研究构建了论文工厂标题、摘要和正文结构三个维度的分类模型与33种维度的自动检测特征模型，可以有效甄别出论文工厂论文并挖掘多维度特征，支撑论文工厂论文的自动化检测。

关键词：论文工厂科研诚信深度学习自然语言处理

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

漏洞自动修复研究综述

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

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

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

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

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

频率—波数域水陆检数据上、下行波场分离方法

在线全文

学校读者我要写书评

暂无评论

石油地球物理勘探 2024年第4期59卷 755-762页

作者：高少武于万辉张建磊孙鹏远马光凯王克斌东方地球物理公司河北涿州072751 油气勘探计算机软件国家工程研究中心河北涿州072751

随着海洋油气勘探开发的发展,OBC/OBN水陆检海底接收的应用日趋广泛,上、下行波场分离作为水陆检数据处理的关键技术,决定了资料处理品质及应用效果。常规方法分离出来的上行波场中包含下行波场,下行波场中包含上行波场,即不能实现上行... 详细信息

随着海洋油气勘探开发的发展,OBC/OBN水陆检海底接收的应用日趋广泛,上、下行波场分离作为水陆检数据处理的关键技术,决定了资料处理品质及应用效果。常规方法分离出来的上行波场中包含下行波场,下行波场中包含上行波场,即不能实现上行波场与下行波场的完全分离。为此,提出在频率—波数域利用包含直达波和切除直达波后的水陆检数据,直接计算水陆检数据标定滤波因子,实现水陆检数据标定和上、下行波场分离。分离后的上行波场数据中既消除了虚反射多次波干扰,又提高了地震数据信噪比和分辨率,为后续联合反褶积和偏移成像等处理提供了高保真的上行波场和下行波场数据。数据实例表明了所提方法的有效性和实用性。

关键词：海底节点(OBN) 频率—波数域标定滤波因子海底电缆(OBC) 上、下行波场

维普期刊数据库博看期刊

自适应的粒子群优化-支持向量机动力电池自放电诊断

在线全文

学校读者我要写书评

暂无评论

汽车工程学报 2024年

作者：刘成豪张宇豪程端前杨飞付琰重庆大学大数据与软件学院中国汽车工程研究院股份有限公司

锂离子动力电池是目前应用最广泛的电动汽车储能设备，如何快速准确地诊断电池故障对车辆的安全运行至关重要。本文提出了一种基于单体自适应电压阈值和粒子群优化-支持向量机(PSO-SVM)的动力电池自放电故障诊断方法。本研究主要关注动... 详细信息

锂离子动力电池是目前应用最广泛的电动汽车储能设备，如何快速准确地诊断电池故障对车辆的安全运行至关重要。本文提出了一种基于单体自适应电压阈值和粒子群优化-支持向量机(PSO-SVM)的动力电池自放电故障诊断方法。本研究主要关注动力电池电压信号，结合箱型图法和专家审核，完成自放电故障的样本标记，再通过滑动窗口法提取到时域和频域上的16种特征，使用主成分分析法对电压特征进一步降维，得到累计方差贡献度为95%的前五项主成分作为PSO-SVM模型的输入。该方法旨在提高电池自放电故障的识别精度，最终结果表明，本文提出的方法具有较高的识别准确率，可靠性强，在实际的电动汽车应用场景中有一定的应用前景和价值，可为电动汽车安全性能的提升提供理论支撑。

关键词：动力电池电压信号自放电支持向量机主成分分析