检索结果-内蒙古大学图书馆

软件学报 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年第1期35卷 405-429页

作者：王嵩立荆一楠何震瀛张凯王晓阳上海市数据科学重点实验室上海200433 复旦大学计算机科学技术学院上海200438

数据库管理系统根据应用场景分为事务型(OLTP)系统和分析型(OLAP)系统.随着实时数据分析需求增长,OLTP任务和OLAP任务混合的场景越来越普遍,业界开始重视支持混合事务和分析处理(HTAP)的数据库管理系统.这种HTAP数据库系统除了需要满足... 详细信息

数据库管理系统根据应用场景分为事务型(OLTP)系统和分析型(OLAP)系统.随着实时数据分析需求增长,OLTP任务和OLAP任务混合的场景越来越普遍,业界开始重视支持混合事务和分析处理(HTAP)的数据库管理系统.这种HTAP数据库系统除了需要满足高性能的事务处理外,还需要满足实时分析对数据新鲜度的要求.因此,对数据库系统的设计与实现提出了新的挑战.近年来,在工业界和学术界涌现了一批架构多样、技术各异的原型和产品.综述HTAP数据库的背景和发展现状,并且从存储和计算的角度对现阶段的HTAP数据库进行分类.在此基础上,按照从下往上的顺序分别总结HTAP系统在存储和计算方面采用的关键技术.在此框架下介绍各类系统的设计思想、优劣势以及适用的场景.此外,结合HTAP数据库的评测基准和指标,分析各类HTAP数据库的设计与其呈现出的性能与数据新鲜度的关联.最后,结合云计算、人工智能和新硬件技术为HTAP数据库的未来研究和发展提供思路.

关键词：数据库系统混合事务和分析处理查询处理数据库存储存储模型事务处理

来源：评论

学校读者我要写书评

暂无评论

PRIDE轻量级密码的不可能统计故障分析

引用

通信学报 2024年第1期45卷 141-151页

作者：李玮孙文倩谷大武张爱琳温云华东华大学计算机科学与技术学院上海201620 上海交通大学计算机科学与工程系上海200240 上海市可扩展计算与系统重点实验室上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

针对2014年美密会上提出的PRIDE轻量级密码的实现安全,提出了面向唯密文攻击假设的新型不可能统计故障分析方法,设计了卡方拟合优度-汉明重量区分器、卡方拟合优度-极大似然估计区分器等新型区分器。所提方法基于随机半字节故障模型,结... 详细信息

针对2014年美密会上提出的PRIDE轻量级密码的实现安全,提出了面向唯密文攻击假设的新型不可能统计故障分析方法,设计了卡方拟合优度-汉明重量区分器、卡方拟合优度-极大似然估计区分器等新型区分器。所提方法基于随机半字节故障模型,结合统计分布状态和不可能关系分析,围绕导入故障前后中间状态的变化,最少仅需432个故障即可恢复出PRIDE算法的128 bit原始密钥,且成功率达99%及以上。实验分析表明,所提方法不仅能减少故障数和耗时,而且进一步提升了准确率。该结果对轻量级密码的实现安全性提供了重要参考。

关键词：侧信道分析不可能统计故障分析轻量级密码 PRIDE 智能无人系统

来源：评论

学校读者我要写书评

暂无评论

四面受火工程竹材炭化性能试验与数值模拟研究

引用

建筑结构学报 2024年第3期45卷 60-69页

作者：陈玲珠冷予冰许清风陈溪王明谦张富文上海市建筑科学研究院有限公司、上海市工程结构安全重点实验室上海200032

针对目前工程竹材炭化性能研究中存在的受火时间较短、灭火不及时等不足,通过8根四面受火工程竹柱炭化性能的对比试验,研究了材料类型、截面尺寸、受火方向、加工工艺和受火时间等因素对工程竹材炭化性能的影响。结果表明:工程竹材炭化... 详细信息

针对目前工程竹材炭化性能研究中存在的受火时间较短、灭火不及时等不足,通过8根四面受火工程竹柱炭化性能的对比试验,研究了材料类型、截面尺寸、受火方向、加工工艺和受火时间等因素对工程竹材炭化性能的影响。结果表明:工程竹材炭化后截面基本可分为3个区域,即炭化层、高温分解层和常温层;四面受火工程竹材角部区域由于双向受热而由棱角变为弧形;工程竹材炭化速率随受火时间增加略有减小,截面尺寸较大的试件炭化速率略小;相同条件下的重组竹试件炭化速率显著低于胶合竹;横纹径向炭化速率略大于横纹切向,当受火时间较长时差异不明显;一次成型的重组竹炭化性能略优于二次成型的重组竹。提出了工程竹材炭化性能数值分析模型,可快速模拟工程竹材的炭化性能,炭化速率模拟的误差均在10.2%以内,满足工程精度要求。提出的计算模型可较准确地计算工程竹材的炭化深度。根据明火试验和数值模拟结果,建议工程竹结构防火设计时胶合竹和重组竹燃烧1.00 h的名义线性炭化速率可按T/CECS 1101—2022《工程竹结构设计标准》的规定取值,即胶合竹构件的名义线性炭化速率为54 mm/h,重组竹构件的名义线性炭化速率为30 mm/h。

关键词：工程竹胶合竹重组竹四面受火试验数值模拟炭化速率

来源：评论

学校读者我要写书评

暂无评论

面向设备与人力资源协作任务的优化调度方法

引用

软件学报 2024年第11期35卷 5319-5340页

作者：何飞佳沈立炜宋育臣牛军钰赵文耘复旦大学计算机科学技术学院上海200438 上海市数据科学重点实验室(复旦大学) 上海201203

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的... 详细信息

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的协作具有资源可选性、任务高频性、工人动态性的特点,传统的资源调度技术无法有效应对该类型任务(简称为DHRC任务)中的调度需求.为此,提出一种面向设备与人力资源协作任务的优化调度方法,所提方法分为设备资源调度和人力资源调度两个阶段.在设备资源调度阶段,提出基于NSGA-II的设备资源调度算法,在综合考虑任务距离、设备负载和设备位置周边工人人数等因素情况下实现任务对资源的优化选择.在人力资源调度阶段,提出基于DPSO的人力资源调度算法,根据工人位置和协作依赖等因素实现对工人的优化选择以及相应的路径规划.在模拟环境内的实验结果表明,所提方法第1阶段的算法在效率上与对比算法相当,在效用性上优于对比算法(离散粒子群优化算法).第2阶段的算法在效率上与效用性上均优于对比算法(使用锦标赛机制改进的遗传算法).

关键词：人机物资源调度 NSGA-Ⅱ DPSO

来源：评论

学校读者我要写书评

暂无评论

面向链接预测的知识图谱表示学习方法综述

引用

软件学报 2024年第1期35卷 87-117页

作者：杜雪盈刘名威沈立炜彭鑫复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海201203

作为人工智能的重要基石,知识图谱能够从互联网海量数据中抽取并表达先验知识,极大程度解决了智能系统认知决策可解释性差的瓶颈问题,对智能系统的构建与应用起关键作用.随着知识图谱技术应用的不断深化,旨在解决图谱欠完整性问题的知... 详细信息

作为人工智能的重要基石,知识图谱能够从互联网海量数据中抽取并表达先验知识,极大程度解决了智能系统认知决策可解释性差的瓶颈问题,对智能系统的构建与应用起关键作用.随着知识图谱技术应用的不断深化,旨在解决图谱欠完整性问题的知识图谱补全工作迫在眉睫.链接预测是针对知识图谱中缺失的实体与关系进行预测的任务,是知识图谱构建与补全中不可或缺的一环.要充分挖掘知识图谱中的隐藏关系,利用海量的实体与关系进行计算,就需要将符号化表示的信息转换为数值形式,即进行知识图谱表示学习.基于此,面向链接预测的知识图谱表示学习成为知识图谱领域的研究热点.从链接预测与表示学习的基本概念出发,系统性地介绍面向链接预测的知识图谱表示学习方法最新研究进展.具体从知识表示形式、算法建模方式两种维度对研究进展进行详细论述.以知识表示形式的发展历程为线索,分别介绍二元关系、多元关系和超关系知识表示形式下链接预测任务的数学建模.基于表示学习建模方式,将现有方法细化为4类模型:平移距离模型、张量分解模型、传统神经网络模型和图神经网络模型,并详细描述每类模型的实现方式与解决不同关系元数链接预测任务的代表模型.在介绍链接预测的常用的数据集与评判标准基础上,分别对比分析二元关系、多元关系和超关系3类知识表示形式下,4类知识表示学习模型的链接预测效果,并从模型优化、知识表示形式和问题作用域3个方面展望未来发展趋势.

关键词：知识图谱表示学习链接预测多元关系超关系

来源：评论

学校读者我要写书评

暂无评论

基于有效应力正负分解的木材三维弹塑性损伤模型

引用

土木工程学报 2025年第2期58卷 25-32页

作者：王明谦同济大学上海200092 上海市建筑科学研究院有限公司上海市工程结构安全重点实验室上海200032

准确描述木材的损伤演化过程对于木结构的制造、施工和后期维护具有重要意义。为合理反映木材不同方向损伤的相互影响,根据热力学第二定律建立了的双标量弹塑性损伤模型。采用Hill屈服准则和Voce模型更新木材的有效应力和塑性应变。根... 详细信息

准确描述木材的损伤演化过程对于木结构的制造、施工和后期维护具有重要意义。为合理反映木材不同方向损伤的相互影响,根据热力学第二定律建立了的双标量弹塑性损伤模型。采用Hill屈服准则和Voce模型更新木材的有效应力和塑性应变。根据有效应力正负分解和损伤能释放率识别受拉和受压不同的损伤起始点。通过2种标量形式的损伤变量分别追踪木材受拉和受压损伤演化过程。通过编写用户自定义子程序UMAT将本构模型嵌入商业有限元软件ABAQUS。根据已有木材单轴和双轴受力试验结果对本构模型进行验证。计算结果表明,弹塑性损伤本构模型能够准确表征木材的非线性受力行为。基于有效应力正负分解和能量释放率的损伤识别方法能够合理表征木材在双轴受拉和双轴受压状态下的强度包络线。

关键词：木材弹塑性损伤模型有效应力正负分解热力学

来源：评论

学校读者我要写书评

暂无评论

轻量级密码Pyjamask和SUNDAE-GIFT的不可能统计故障分析

引用

计算机学报 2024年第5期47卷 1010-1029页

作者：李玮高建宁谷大武秦梦洋刘源东华大学计算机科学与技术学院上海201620 上海交通大学计算机科学与工程系上海200240 上海交通大学上海市可扩展计算与系统重点实验室上海200240 上海交通大学上海市信息安全综合管理技术研究重点实验室上海200240

Pyjamask密码是2020年由Goudarzi等学者在国际对称密码学期刊中提出的密码算法,同时也是国际轻量级密码竞赛第二轮候选算法,旨在保护物联网中传感器、智能芯片和嵌入式设备的数据安全.本文结合Pyjamask密码的设计结构和实现特点,基于不... 详细信息

Pyjamask密码是2020年由Goudarzi等学者在国际对称密码学期刊中提出的密码算法,同时也是国际轻量级密码竞赛第二轮候选算法,旨在保护物联网中传感器、智能芯片和嵌入式设备的数据安全.本文结合Pyjamask密码的设计结构和实现特点,基于不可能关系策略和统计分析,提出适用于在唯密文环境下的不可能统计故障分析方法,并设计了 Wasserstein距离-汉明重量和Wasserstein距离-极大似然估计区分器.该分析方法分别仅需1024和1120个随机故障密文,即可在59.84ms和140.16ms内破译Pyjamask密码全部版本的128比特主密钥.并且,该方法和区分器均可用于认证加密算法SUNDAE-GIFT的分析中.不可能统计故障分析的攻击速度快,并且实现代价低,为轻量级密码的实现安全研究提供了有价值的参考.

关键词：轻量级密码 Pyjamask SUNDAE-GIFT 故障分析不可能关系密码分析

来源：评论

学校读者我要写书评

暂无评论

反射式光取向液晶偏振体全息柱透镜的特性

引用

物理学报 2025年第7期74卷 243-252页

作者：马陈文陈芳芳郑继红上海理工大学光电信息与计算机工程学院上海市现代光学系统重点实验室上海200093

光取向液晶技术是利用偏振光照射来实现液晶分子的定向排列,该技术可以研制成偏振体全息光栅,具有偏振和体全息选择特性,且作为光耦合元件在光学波导及扩瞳输出方面有广泛应用前景.本文报道了一种采用光控取向技术与偏振离轴全息光路相... 详细信息

光取向液晶技术是利用偏振光照射来实现液晶分子的定向排列,该技术可以研制成偏振体全息光栅,具有偏振和体全息选择特性,且作为光耦合元件在光学波导及扩瞳输出方面有广泛应用前景.本文报道了一种采用光控取向技术与偏振离轴全息光路相结合的方法,制备了光斑直径为2 cm的液晶偏振体全息柱透镜.实验过程中可通过控制曝光角度来获得所需光栅周期变化范围,实现红绿蓝RGB三色光入射不同光栅周期下的衍射角角度相同.结果表明,在1721.2—5346.5 nm的光栅周期变化范围内,当RGB三色光分别入射至光栅周期为3147,2649.1,2275.6 nm位置上时,所测得的衍射角度均为11.59°,实际衍射角度与理论衍射角度的误差不超过±0.5°;在532 nm右旋圆偏光下,正入射的衍射效率达90.6%,满足布拉格条件的斜入射衍射效率为84.4%;此外,通过实现光斑的一维扩束,初步验证了PVLS在彩色波导领域应用的可行性.

关键词：光控取向液晶变间距偏振光栅光波导

来源：评论

学校读者我要写书评

暂无评论

基于决策变量时域变化特征分类的动态多目标进化算法

引用

自动化学报 2024年第11期50卷 2154-2176页

作者：闵芬董文波丁炜超华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海201112

动态多目标优化问题(Dynamic multi-objective optimization problems,DMOPs)广泛存在于科学研究和工程实践中,其主要考虑在动态环境下同时联合优化多个冲突目标.现有方法往往关注于目标空间的时域特征,忽视了对单个决策变量变化特性的... 详细信息

动态多目标优化问题(Dynamic multi-objective optimization problems,DMOPs)广泛存在于科学研究和工程实践中,其主要考虑在动态环境下同时联合优化多个冲突目标.现有方法往往关注于目标空间的时域特征,忽视了对单个决策变量变化特性的探索与利用,从而在处理更复杂的问题时不能有效引导种群收敛.为此,提出一种基于决策变量时域变化特征分类的动态多目标进化算法(Dynamic multi-objective evolutionary algorithm based on classification of decision variable temporal change characteristics,FT-DMOEA).所提算法在环境动态变化时,首先基于决策变量时域变化特征分类方法将当前时刻决策变量划分为线性变化和非线性变化两种类型;然后分别采用拉格朗日外插法和傅里叶预测模型对线性和非线性变化决策变量进行下一时刻的初始化操作.为了更有效地识别非线性决策变量变化模式,傅里叶预测模型通过傅里叶变换将历史种群数据从时域转换到频域,在分析周期性频率特征后,使用自回归模型进行频谱估计后再反变换至时域.在多个基准数据集上和其他算法进行对比,实验结果表明,所提算法是有效的.

关键词：傅里叶变换动态多目标优化问题决策变量分类动态多目标进化算法预测策略

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：