【摘 要】
：
核电厂数字化仪控系统的网络可靠性，对仪控系统的安全性和可用性有重要意义。经过对核电厂仪控系统网络特性的研究，采用网络验证和网络测试的方法对网络连通可靠性和性能可靠性进行评价。首先，基于仪控系统网络架构的设计信息，通过网络验证对连通可靠性和性能可靠性的各项属性进行验证，并且模拟网络故障，以验证故障情况下连通可靠性和性能可靠性的各项属性。其次，基于仪控系统网络验证结果生成验证反例，将其作为输入，生成网
论文部分内容阅读
核电厂数字化仪控系统的网络可靠性，对仪控系统的安全性和可用性有重要意义。经过对核电厂仪控系统网络特性的研究，采用网络验证和网络测试的方法对网络连通可靠性和性能可靠性进行评价。首先，基于仪控系统网络架构的设计信息，通过网络验证对连通可靠性和性能可靠性的各项属性进行验证，并且模拟网络故障，以验证故障情况下连通可靠性和性能可靠性的各项属性。其次，基于仪控系统网络验证结果生成验证反例，将其作为输入，生成网络测试例，对连通可靠性和性能可靠性进行测试。基于这种网络可靠性验证和网络可靠性测试的方法，形成研究核电厂仪控系统网络可靠性评价的通用方法。该方法能够从网络架构设计和网络实现上对网络性能进行综合评估，适用于对不同结构和工作模式仪控网络的可靠性评价。
其他文献
1921年,三家电影公司相继推出电影长片《阎瑞生》《海誓》《红粉骷髅》拉开了中国电影的叙事大幕。经过二十年代的“国产电影运动”和三十年代的“电影文化运动”直到1936年全面抗战爆发之前,国产商业型电影和更具现实性的民族电影都在短期内得到了较快的发展。这一时期的电影不仅作为一种娱乐形式,一种可视化的大众传播媒介,更作为一种启蒙工具催生着中国女性的自我意识,启发着大众的现代性。根据女性叙事学理论奠基者
闪存以更低功耗、更高访问速度以及良好抗震性等优势,占据了绝大多数非易失性存储市场份额。因技术限制,基于2D闪存的传统固态盘（Solid State Drive,SSD）已无法再通过缩短存储单元尺寸来降低单位比特成本。传统SSD在存储容量和存储性能上的局限性,严重限制了其在高可靠性存储市场的应用。基于3D闪存的开放通道固态盘（Open-Channel Solid State Drive,OCSSD）
点对点分布式存储系统是一种去中心化的系统,该系统能将地理完全分散的数据节点连接起来,对空闲空间进行资源共享。由于系统中数据节点的地理完全分散,在调度过程中需要更全面的考虑数据节点的自身网络性能、硬件性能、故障发生率、空闲程度等指标。若调度算法单一地考虑时间或性能会导致系统负载不均衡,使得算法执行时间变长。本文基于以上课题展开研究,主要研究成果与创新点如下:依据改进的网格密度峰值聚类算法对系统中数据
规范的会计处理可以保证会计信息质量,而企业出于各种动机,会通过多种手段粉饰财务数据,扮靓业绩,会计变更成为企业调节利润的重要手段。频频变更会计数据的公司会引起了全社会的广泛关注,企业披露信息的真实性和准确性受到质疑,公司公信力减弱,影响资本市场健康、良性发展,研究会计变更课题具有重要的理论意义和实践意义。针对会计变更问题,以广州浪奇公司为研究对象,综合采用文献分析法、对比分析法、案例研究法等,介绍
新冠疫情期间在线教育的快速普及进一步说明推动教育信息化对各级教育均具有积极意义。而微课正是实现这一目标的可行路径。研究者从微型学习理论、认知负荷理论、边际效应理论等理论出发,通过问卷调查法、文献分析法、案例分析法等研究方法对微课在初中物理教学中的应用现状进行了调查,在此基础上对初中物理微课教学进行了系统地设计,并以“以运动的快慢”主题为例进行了微课教学设计与实践,最后从教师、学校、社会三个层面对初
语言可以客观地表达命题也可以表达说话人观点、感情和态度。条件复句可以反映说话人的主观认识和判断,也可以表达说话人的情感态度,因此条件复句具有表达情态的功能。责任型情态包含说话人的指令要求和意愿特征,在政治语篇中出现较多,逐渐成为一个热点话题。责任型情态条件复句的基础意义是表达要求,要求意义普遍存在于表述中,责任型情态的蕴涵意义包括表承诺、表劝告、表号召,这些意义与说话人的主观态度息息相关。观察发现
本文以黔东南苗族侗族自治州台江县施洞地区苗族花蝶纹为研究对象,以服饰博物馆馆藏施洞地区苗族盛装服饰以及银饰作为主要的实物研究样本,并结合田野考察和文献资料中的样本;通过对施洞地区苗族花蝶纹的造型、色彩和工艺几个方面的具体剖析,同时结合其在应用方面的研究,将施洞地区苗族花蝶纹进行系统地整体性概述,深入探究施洞地区苗族花蝶纹的造型和色彩特征及文化寓意。其次,从图案学、美学、设计学等角度,结合施洞地区苗