检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

软件学报 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年第2期45卷 118-124页

作者：董文雅潘建欣郭伟武汉理工大学材料复合新技术国家重点实验室武汉430070 武汉氢能与燃料电池产业技术研究院武汉430064 佛山仙湖实验室佛山528200

目前,质子交换膜燃料电池(PEMFC)反极研究主要通过单电池完成,反极过程没有考虑相邻电池的影响,与电堆实际情况并不完全相同.本文通过控制加湿度和过量系数等测试条件分析了5片PEMFC电堆阳极在水淹和缺气情况下的饥饿反极情况.结果表明... 详细信息

目前,质子交换膜燃料电池(PEMFC)反极研究主要通过单电池完成,反极过程没有考虑相邻电池的影响,与电堆实际情况并不完全相同.本文通过控制加湿度和过量系数等测试条件分析了5片PEMFC电堆阳极在水淹和缺气情况下的饥饿反极情况.结果表明,在电堆阳极水淹情况下,反极单电池电压表现为缓慢下降到电解水平台然后迅速恢复的循环过程,性能恢复归因于水淹单电池阳极进出口压差上升使其液态水排出而氢气重新进入;在电堆阳极缺气情况下,反极单电池电压表现为迅速降低到碳腐蚀平台然后迅速恢复的循环过程,这是由于缺气单电池的阳极进出口压差下降使电堆内氢气重新分配.缺气反极电池电压会降低到碳腐蚀平台,因此会对电池性能造成不可逆的损害.

关键词：阳极水淹阳极缺气质子交换膜燃料电池电堆

羽人吹奏奥洛斯管河南永城黄土山西汉金银错青铜伞杠图像的跨文化意涵(下)

在线全文

学校读者我要写书评

暂无评论

新美术 2024年第1期45卷 80-101页

作者：金烨欣厦门理工学院

五上林风格:王级车马动物狩猎纹饰前文所述河南商丘永城市芒山镇黄土山二号东、西车马室出土的两件车伞杠,为上林风格的典型代表,取代了战国至西汉早期以来的几何风格而独具汉风。西汉经历了文景之治的休养后,至武帝朝中期,四向拓土,使... 详细信息

五上林风格:王级车马动物狩猎纹饰前文所述河南商丘永城市芒山镇黄土山二号东、西车马室出土的两件车伞杠,为上林风格的典型代表,取代了战国至西汉早期以来的几何风格而独具汉风。西汉经历了文景之治的休养后,至武帝朝中期,四向拓土,使汉帝国的疆土拓展臻于极盛。纹饰虽部分延续了此前的涡卷纹风格,但规律性略有减弱,更多是作为主要纹饰的背景式布局填充。这种功能类似于商代晚期典型的“三层花”云雷纹地装饰底纹的效果,其律动的涡卷纹从战国演化而来,具有更类似于植物的藤蔓造型。

关键词：商代晚期河南永城云雷纹河南商丘汉帝国黄土山永城市

变步长仿真与改进熵权法联动的综合能源系统鲁棒性评估方法

在线全文

学校读者我要写书评

暂无评论

上海交通大学学报 2024年第1期58卷 59-68页

作者：范宏何杰田书欣上海电力大学电气工程学院上海200090

综合能源系统作为能源互联网的重要表现形式,在提高能源利用率的同时,由于耦合度过高,各系统之间响应速度差异过大,所以带来了更多风险.从系统安全的角度出发,准确找出系统中的薄弱环节,评估系统的鲁棒性至关重要.为此,在复杂网络环境下... 详细信息

综合能源系统作为能源互联网的重要表现形式,在提高能源利用率的同时,由于耦合度过高,各系统之间响应速度差异过大,所以带来了更多风险.从系统安全的角度出发,准确找出系统中的薄弱环节,评估系统的鲁棒性至关重要.为此,在复杂网络环境下,提出变步长仿真与改进熵权法联合的鲁棒性评估方法.介绍综合能源系统的结构并进一步解释系统耦合环节;提出包含网络破损度、联通因子在内的鲁棒性指标,采用根据不同系统响应时间差异的变步长仿真方法,针对仿真结果提出一种改进熵权法,构建更客观的评价方法;通过案例验证了该评价方法的优越性.

关键词：综合能源系统复杂网络鲁棒性熵权法评估方法

在线全文

学校读者我要写书评

暂无评论

电商平台自治法律机制的构建

法商研究 2024年第2期41卷 106-123页

作者：周莉欣重庆大学法学院

随着电商平台的发展,其公共性日益增强的同时,平台企业的权利也展现出了权力化特征。对于此类异化了的权利,很难通过一般的民法制度对其进行约束和矫正。而经济法的规制重心又在平台企业间的竞争关系上,其对电商平台内部关系的调整缺乏... 详细信息

随着电商平台的发展,其公共性日益增强的同时,平台企业的权利也展现出了权力化特征。对于此类异化了的权利,很难通过一般的民法制度对其进行约束和矫正。而经济法的规制重心又在平台企业间的竞争关系上,其对电商平台内部关系的调整缺乏针对性。商法中以分权制约、弱权整合以及程序控权为基础的自治法律机制恰好能够契合对平台企业权利异化规制的需求。构建电商平台自治法律机制,能够实现共建共治共享的电商平台治理格局、促进电商平台内生性民主建设、推进电商平台内部秩序的构建。电商平台发展至今,其产权结构的变化、组织属性的增强都表明电商平台已经具有实施自治的基础。因此,从对平台企业权利异化规制的角度看,电商平台自治法律机制的构架包括以平台成员权确立为代表的弱权整合机制、以引入协商制度为代表的程序控权机制以及以治理权转移为代表的分权机制。

关键词：电商平台平台企业平台自治成员权协商制度

融合LGBM和SHAP的企业负面事件下微博用户极端情感可解释模型

在线全文

学校读者我要写书评

暂无评论

数据分析与知识发现 2024年第7期8卷 103-117页

作者：蒋建洪李梦欣桂林电子科技大学商学院桂林541004

【目的】提取用户外部刺激和认知评价指标,构建企业负面事件下微博用户极端情感影响因素模型,利用SHAP解释各特征变量的影响。【方法】基于认知情感理论、社会影响理论、情感评价模型、LDA模型、扎根理论确定外部刺激和认知评价指标,并... 详细信息

【目的】提取用户外部刺激和认知评价指标,构建企业负面事件下微博用户极端情感影响因素模型,利用SHAP解释各特征变量的影响。【方法】基于认知情感理论、社会影响理论、情感评价模型、LDA模型、扎根理论确定外部刺激和认知评价指标,并将两类指标包含的特征变量作为输入,极端情感变量作为输出,构建极端情感影响因素模型。通过4个模型性能对比,将最优模型与SHAP模型融合进行可视化展示。【结果】认知评价维度提取出7个特征变量;LGBM模型的准确率、精确率、F1值分别达到0.88、0.90、0.93,优于其他对比模型;从特征变量对微博用户极端情感产生的影响程度来看,认知评价维度普遍高于外部刺激维度,且各特征变量的影响方式有所不同。【局限】需要探索更多影响因素及更广泛的企业负面事件类型,算法性能有待提高。【结论】本研究提出的模型优化了扎根编码过程,可视化各特征变量对极端情感的影响程度、影响方向、影响大小及影响方式,可以为企业解决网络口碑负面化的问题提供理论依据。

关键词：企业负面事件 LGBM SHAP 扎根理论认知情感理论

在线全文

学校读者我要写书评

暂无评论

基于混合模型的特种车辆转向泵马达性能评估

湖南大学学报（自然科学版） 2024年第8期51卷 155-164页

作者：李乐米雨欣贾然北京信息科技大学机电工程学院北京100192

为了实现转向泵马达运行性能的实时评估,首先构建了转向泵马达物理模型,该模型考虑了转向泵马达运行机理,通过求解泵马达外特性方程、液压回路平衡方程、内部流量计算方程等,实现内部不可测参数的初步评估与计算,进而获得各类参数对转... 详细信息

为了实现转向泵马达运行性能的实时评估,首先构建了转向泵马达物理模型,该模型考虑了转向泵马达运行机理,通过求解泵马达外特性方程、液压回路平衡方程、内部流量计算方程等,实现内部不可测参数的初步评估与计算,进而获得各类参数对转向泵马达性能的影响机制.同时采用LSTM深度学习方法构建了转向泵马达数据驱动模型,学习并预测不同工况下转向泵马达容积效率的变化规律,并将其输入至物理模型形成转向泵马达性能评估混合模型,提高不同工况条件下转向泵马达性能评估的准确性及适用性.实例分析表明,该混合模型可实现复杂工况下转向泵马达高低压侧压力、流量、转速及转矩等参数的计算与评估,模型误差低于10%.

关键词：转向泵马达混合模型性能评估

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

在线全文

学校读者我要写书评

暂无评论

多孔介质中过热蒸汽迁移过程的模型试验

中国环境科学 2024年第7期44卷 3892-3899页

作者：陈植欣胡黎明清华大学水利水电工程系水圈科学与水利工程全国重点实验室水利部水圈科学重点实验室北京100084

过热蒸汽在多孔介质中的热湿迁移是采用蒸汽注入加热技术修复有机污染土壤的关键过程.研发过热蒸汽加热二维模型试验系统,开展系统试验研究过热蒸汽在不同粒径多孔介质中热湿迁移规律.结果表明:采用定流量过热蒸汽注入可以在较短的时间... 详细信息

过热蒸汽在多孔介质中的热湿迁移是采用蒸汽注入加热技术修复有机污染土壤的关键过程.研发过热蒸汽加热二维模型试验系统,开展系统试验研究过热蒸汽在不同粒径多孔介质中热湿迁移规律.结果表明:采用定流量过热蒸汽注入可以在较短的时间内实现模型整体升温,相同位置处蒸汽压力的增长速率低于升温速率.玻璃珠模型中蒸汽压力场与温度场的演化过程基本一致,表明玻璃珠模型中的热量传递主要来自于蒸汽迁移所带来的潜热释放.采用热红外成像仪可以合理地反映过热蒸汽迁移过程中温度场的整体演变.随着颗粒粒径的减小,蒸汽冷凝锋与过热蒸汽锋的推进均受到抑制.

关键词：过热蒸汽蒸汽注入加热技术有机污染土壤修复热湿迁移模型试验