检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

关于安全案例论证构建的综述

软件学报 2024年第9期35卷 4013-4037页

作者：陈泽众邓玉欣上海市高可信计算重点实验室(华东师范大学) 上海200062

安全案例提供清晰、全面和可靠的论据,说明系统在特定环境下的操作满足可接受的安全性.在受监管的安全攸关领域,如汽车、航空和核能等领域,认证机构通常要求系统经过严格的安全评估程序,以确保其符合一个或多个安全标准.在系统开发中应... 详细信息

安全案例提供清晰、全面和可靠的论据,说明系统在特定环境下的操作满足可接受的安全性.在受监管的安全攸关领域,如汽车、航空和核能等领域,认证机构通常要求系统经过严格的安全评估程序,以确保其符合一个或多个安全标准.在系统开发中应用安全案例是一种新兴的技术手段,以结构化和全面的方式表达安全攸关系统的安全属性.对安全案例的4个基本构建步骤:确定目标、收集证据、构建论证和评估安全案例,进行简要介绍.然后聚焦于构建论证这一关键步骤,详细介绍现有的8种安全案例表达形式,包括目标结构符号(GSN)、声明-论点-证据(CAE)、结构化安全案例元模型(SACM)等,并分析了它们的优缺点.由于安全案例所需材料的显著复杂性,软件工具通常被用作构建和评估安全案例的实用方法.比较7种用于安全案例开发和评估的工具,包括astah system safety、gsn2x、NOR-STA、Socrates、ASCE、D-Case Editor和AdvoCATE.此外,还深入探讨了安全案例构建中所面临的多重挑战,这些挑战包括数据的可靠性和完整性、复杂性和不确定性的管理、监管和标准的不一致、人因工程、技术的快速发展以及团队和跨学科合作6个方面.最后,展望安全案例的未来研究方向,揭示其潜在应用和研究问题.

关键词：安全案例系统安全论证构建目标结构符号安全案例工具

乌兰察布地区马铃薯种植技术及病虫害防治措施

在线全文

学校读者我要写书评

暂无评论

中文科技期刊数据库（全文版）农业科学 2024年第5期 0153-0155页

作者：梁宝钰化德县经营管理站内蒙古乌兰察布013350

马铃薯是重要粮食作物之一,其具有较为丰富的营养价值。在实践种植过程中,要想保障马铃薯产量和质量的提升就需要农业从业者更深入地了解马铃薯的种植技术,对其常见的病害进行防治,这样才可以更好地提升马铃薯条种植质量和效率。因此,... 详细信息

马铃薯是重要粮食作物之一,其具有较为丰富的营养价值。在实践种植过程中,要想保障马铃薯产量和质量的提升就需要农业从业者更深入地了解马铃薯的种植技术,对其常见的病害进行防治,这样才可以更好地提升马铃薯条种植质量和效率。因此,本文主要论述了马铃薯的相关种植技术,就常见的病害法治措施进行进一步的分析和探究。

关键词：马铃薯种植技术病害防治措施

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

我国集体土地征收的司法审查及其优化

西北农林科技大学学报（社会科学版） 2024年第5期24卷 53-63页

作者：陈泽北京师范大学法学院北京100875

通过对1 172份高级人民法院有关江苏、陕西以及河南三省集体土地征收案件的实证分析,发现我国集体土地征收的司法审查中,法院出于职能定位及信息、专业和权力等因素的考虑,表现出显著的程序偏好。这种程序偏好反映出我国集体土地征收中... 详细信息

通过对1 172份高级人民法院有关江苏、陕西以及河南三省集体土地征收案件的实证分析,发现我国集体土地征收的司法审查中,法院出于职能定位及信息、专业和权力等因素的考虑,表现出显著的程序偏好。这种程序偏好反映出我国集体土地征收中存在的法院能动性受限、征收程序有待完善以及诉讼机制与立法目的之间错位等问题。因此,应增强集体土地征收司法审查中法院的能动性,完善我国集体土地征收的程序自治功能建构,促进我国集体土地征收司法审查实质性与程序性基准的结合以及推动我国集体土地征收司法审查判断要素的拓展等,以期协调集体土地征收所涉及的复杂利益关系,从而更好地推动乡村振兴与农业农村现代化。

关键词：集体土地征收司法审查程序偏好优化路径

维普期刊数据库博看期刊

计及循环寿命和电能量-调频市场出清的储能自调度策略

在线全文

学校读者我要写书评

暂无评论

电力系统自动化 2024年第14期48卷 28-41页

作者：陈泽宇陈艳波新能源电力系统全国重点实验室(华北电力大学) 北京市102206

探究储能参与电力市场的运行策略、引导储能积极参与电能量交易,能够有效缓解新型电力系统的电量平衡和调频需求矛盾。为此,提出了考虑循环寿命和电能量-调频市场出清的储能自调度策略。首先,针对储能循环寿命计算过程中出现的“零交互... 详细信息

探究储能参与电力市场的运行策略、引导储能积极参与电能量交易,能够有效缓解新型电力系统的电量平衡和调频需求矛盾。为此,提出了考虑循环寿命和电能量-调频市场出清的储能自调度策略。首先,针对储能循环寿命计算过程中出现的“零交互状态”问题,设计了改进的等效循环寿命模型(MECL),能够更准确地描述储能的运行损耗。其次,根据改进的MECL和电能量-调频市场联合出清规则,构建双层Stackelberg博弈模型来描述储能自调度运行策略。再次,根据所提模型的特点,结合强对偶定理(SDT)、KKT(Karush-Kuhn-Tucker)条件和Benders分解将所提模型分解为主、子问题进行迭代求解。最后,通过多种情景对比分析,验证了考虑改进MECL的自调度运行策略能够提升储能联盟参与电能量-调频市场的运行收益。

关键词：储能电能量市场调频市场循环寿命自调度策略 Stackelberg博弈

在线全文

学校读者我要写书评

暂无评论

新书推介

国际城市规划 2024年第1期39卷 140-141页

作者：陈泽胤同济大学建筑与城市规划学院

《城市共享、未来智慧城市和可持续发展》本书提供了一个关键的理论框架,用于理解智慧城市作为创新驱动力的实施和发展,对生产力、宜居性和具体举措的可持续性产生长期影响。该框架基于对21个案例研究的实证分析,其中包括来自不同地区... 详细信息

《城市共享、未来智慧城市和可持续发展》本书提供了一个关键的理论框架,用于理解智慧城市作为创新驱动力的实施和发展,对生产力、宜居性和具体举措的可持续性产生长期影响。该框架基于对21个案例研究的实证分析,其中包括来自不同地区的先驱项目。它研究了成功的智慧城市计划如何通过结合监管治理和私人机构来促进技术创新。对智慧城市建设方法的类型进行了彻底的检查。本书从当前的问题和挑战、先进的技术发展、减灾、生态视角、社会问题和城市治理等方面介绍了智慧城市的整体方法。

关键词：私人机构创新驱动力监管治理智慧城市可持续发展具体举措宜居性新书推介

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

新书推介

国际城市规划 2024年第3期39卷 149-150页

作者：陈泽胤同济大学建筑与城市规划学院

本书深入探讨了实现净零排放目标的多方面研究方法。首先,全面探讨了欧洲、北美、澳大利亚、亚洲和非洲等不同国家和地区的去碳化进程。其次,重点介绍了各种研究和影响活动,如概念化、机会识别、案例研究和概念验证演示,旨在向公众和企... 详细信息

本书深入探讨了实现净零排放目标的多方面研究方法。首先,全面探讨了欧洲、北美、澳大利亚、亚洲和非洲等不同国家和地区的去碳化进程。其次,重点介绍了各种研究和影响活动,如概念化、机会识别、案例研究和概念验证演示,旨在向公众和企业传授知识。

关键词：新书推介机会识别澳大利亚概念验证零排放案例研究传授知识概念化

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

面向多边多属性采购的自动谈判模型

系统工程理论与实践 2024年

作者：曹慕昆陈泽权汪瑶厦门大学管理学院

供应链的快速发展带动了供应链采购电子化、数字化的需求，处于主导地位的供应链节点企业开始寻求更高效率的采购谈判方式以应对高频率的采购需求，而现有模型难以完全支持高复杂度的实时谈判场景. 本文面向供应链多边采购，对自动... 详细信息

供应链的快速发展带动了供应链采购电子化、数字化的需求，处于主导地位的供应链节点企业开始寻求更高效率的采购谈判方式以应对高频率的采购需求，而现有模型难以完全支持高复杂度的实时谈判场景. 本文面向供应链多边采购，对自动谈判模型进行探索. 首先，对多属性一对多自动谈判模型进行模块拆分，在对对手信息进行预处理的基础上，采用连续变量的贝叶斯方法估计谈判对手的偏好，促进多边多属性谈判达成共赢局势. 其次，在策略生成部分引入TD3（Twin Delayed Deep Deterministic policy gradient algorithm，双延迟深度确定性策略梯度）强化学习算法，实现了agent对谈判过程的感知和对谈判对手的策略行为判断. 然后，引入增强拉格朗日算法输出能够实现谈判双方联合效益最大化的反馈提案. 最后，本文通过人机实验验证了模型在多场景下的谈判策略可行性和有效性.

关键词：供应链采购自动谈判强化学习增强拉格朗日遗传算法贝叶斯估计

基于数据残留时间的SRAM-PUF预选算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子学报 2024年第5期52卷 1478-1487页

作者：陈泽亮孔德珠尹爱国陈泽福张培勇浙江大学微纳电子学院浙江杭州310000 珠海奔图电子有限公司广东珠海519000

静态随机存取存储器(Static Random-Access Memory,SRAM)物理不可克隆函数(Physical Unclonable Function,PUF)利用参数设计完全相同的晶体管在制造过程中存在的工艺偏差,生成每块芯片无法克隆的密钥响应.由于SRAM-PUF内部错误分布的随... 详细信息

静态随机存取存储器(Static Random-Access Memory,SRAM)物理不可克隆函数(Physical Unclonable Function,PUF)利用参数设计完全相同的晶体管在制造过程中存在的工艺偏差,生成每块芯片无法克隆的密钥响应.由于SRAM-PUF内部错误分布的随机性,密钥重构需要使用纠错码,而纠错电路的面积与其纠错能力呈正相关,为了降低SRAM-PUF错误分布,减小纠错电路面积,本文通过对SRAM数据残留特性的研究,提出一种数据残留预选算法,对SRAM单元进行筛选,提高PUF响应稳定性,使用区块择优算法筛选SRAM区块,减小响应的分散度,以更短的时间和资源消耗生成SRAM-PUF响应,测试结果表明,在不同温度(-40℃~80℃)和±10%电压波动下,256位SRAM-PUF响应拥有99.8%的稳定性及1.9×10^(-8)的误码率,相对于通用的临时多数表决(Temporal Majority Voting,TMV)算法提升了1.7%的稳定性,降低2.1×10^(5)倍误码率,与1000次TMV相比,时间复杂度从O(2000n)线性降低到O(900n).经过72小时老化测试后,采用数据残留算法预选的SRAM-PUF稳定性仅下降0.2%.

关键词：物理不可克隆函数 SRAM 预选算法数据残留临时多数表决

在线全文

学校读者我要写书评

暂无评论

面向车载自组织网络的混合信任管理方案研究

计算机科学与探索 2024年第2期18卷 516-525页

作者：项丹陈泽茂武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室武汉430040

随着智能交通的快速发展,车载自组织网络(VANETs)具有广阔的发展前景,但也面临多种安全威胁。针对车载自组织网络中可能存在的内部攻击者和虚假消息,提出了一种分布式的混合信任管理方案HTMS-V。该方案考虑到车载自组织网络的特性,基于... 详细信息

随着智能交通的快速发展,车载自组织网络(VANETs)具有广阔的发展前景,但也面临多种安全威胁。针对车载自组织网络中可能存在的内部攻击者和虚假消息,提出了一种分布式的混合信任管理方案HTMS-V。该方案考虑到车载自组织网络的特性,基于改进的主观逻辑模型结合直接信任和间接信任对网络中的车辆节点进行信任评估,基于节点间的交互记录建立节点间的信任关系;基于节点信任和节点间距离进行消息信任评估,并根据信任评估结果识别网络中的虚假消息和恶意节点。为了验证所提出方案的性能,设计了四种不同的攻击场景,在车辆网络仿真平台Veins上进行对比实验,测试HTMS-V方案在各种攻击场景下的表现。实验结果表明,HTMS-V方案能有效抵抗车载自组织网络中的各种攻击,在40%恶意节点率的情况下仍能识别大部分虚假消息和恶意节点,且HTMS-V方案的表现明显优于由主观逻辑模型和基于距离的加权投票构成的基线方案。

关键词：车载自组织网络(VANETs) 信任管理主观逻辑