期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于安全熵的访问控制模型量化分析方法
1
作者
王超
陈性元
+1 位作者
熊厚仁
曾光
《计算机工程与设计》
CSCD
北大核心
2012年第8期2911-2914,2925,共5页
针对访问控制模型的量化分析问题,提出基于安全熵的安全性量化分析方法。结合信息论有关知识引入安全熵概念,基于安全熵对模型的安全性进行定义;应用该方法对BLP等经典安全模型进行了量化分析,验证了该方法的实用性,并指出了访问控制模...
针对访问控制模型的量化分析问题,提出基于安全熵的安全性量化分析方法。结合信息论有关知识引入安全熵概念,基于安全熵对模型的安全性进行定义;应用该方法对BLP等经典安全模型进行了量化分析,验证了该方法的实用性,并指出了访问控制模型和BLP模型对非授权间接访问防护方面的不足。实验结果表明,该方法适用于访问控制模型的安全性度量以及系统的访问控制能力评估。
展开更多
关键词
信息熵
安全
熵
访问控制
模型
安全性
量化
分析方法
模型
安全性
非授权间接访问
在线阅读
下载PDF
职称材料
安全关键系统需求形式化建模分析实例研究
被引量：
1
2
作者
张维珺
胡军
+3 位作者
李宛倩
陈朔
石梦烨
唐红英
《计算机科学与探索》
CSCD
北大核心
2019年第8期1295-1306,共12页
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介...
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表等。从分析结果来看,使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。
展开更多
关键词
自动飞行控制系统(AFCS)
基于模型
的安全性
分析方法
(
mbsa
)
NUSMV
xSAP
模型
扩展
故障树
失效模式与影响
分析
(FMEA)表
在线阅读
下载PDF
职称材料
经颅磁刺激电场分析研究进展
被引量：
6
3
作者
夏思萍
徐雅洁
+3 位作者
余颖聪
顾卫国
马昌玉
杨晓冬
《中国生物医学工程学报》
CAS
CSCD
北大核心
2020年第6期727-735,共9页
经颅磁刺激是一种利用通电线圈在脑部的诱发电场来调节皮质兴奋性的技术,广泛应用于神经病学、康复学等领域。经颅磁刺激诱发电场分析与安全性、刺激效果密切相关,在优化刺激方案、线圈设计方面具有重要意义,成为相关领域的研究重点。...
经颅磁刺激是一种利用通电线圈在脑部的诱发电场来调节皮质兴奋性的技术,广泛应用于神经病学、康复学等领域。经颅磁刺激诱发电场分析与安全性、刺激效果密切相关,在优化刺激方案、线圈设计方面具有重要意义,成为相关领域的研究重点。首先介绍经颅磁刺激3种常见的临床副作用,然后阐述经颅磁刺激现有研究中的常规电场分析方法,包括解析法和数值分析法及其应用场景,并讨论与电场分析密切相关的生物模型建模方法。此外,由于磁刺激线圈与组织中电场分布的密切相关性,介绍常规的刺激线圈结构类型,并结合磁刺激线圈的7种典型设计,分析基于有限元分析的球模型下的电场分布特征。最后,展望经颅磁刺激电场分析研究未来的发展趋势。
展开更多
关键词
经颅磁刺激
安全性
电场
分析方法
头
模型
磁刺激线圈
在线阅读
下载PDF
职称材料
题名
基于安全熵的访问控制模型量化分析方法
1
作者
王超
陈性元
熊厚仁
曾光
机构
解放军信息工程大学电子技术学院
出处
《计算机工程与设计》
CSCD
北大核心
2012年第8期2911-2914,2925,共5页
基金
国家973重点基础研究发展规划基金项目(2011CB311801)
河南省科技创新人才计划基金项目(114200510001)
文摘
针对访问控制模型的量化分析问题,提出基于安全熵的安全性量化分析方法。结合信息论有关知识引入安全熵概念,基于安全熵对模型的安全性进行定义;应用该方法对BLP等经典安全模型进行了量化分析,验证了该方法的实用性,并指出了访问控制模型和BLP模型对非授权间接访问防护方面的不足。实验结果表明,该方法适用于访问控制模型的安全性度量以及系统的访问控制能力评估。
关键词
信息熵
安全
熵
访问控制
模型
安全性
量化
分析方法
模型
安全性
非授权间接访问
Keywords
information entropy
security entropy
access control model
security quantitative analysis method
security of model
unauthorized indirectly access
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
安全关键系统需求形式化建模分析实例研究
被引量：
1
2
作者
张维珺
胡军
李宛倩
陈朔
石梦烨
唐红英
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学与探索》
CSCD
北大核心
2019年第8期1295-1306,共12页
基金
国家重点基础研究发展计划(973计划)No.2014CB744903
南京航空航天大学研究生创新基地(实验室)开放基金No.kfjj20171611
中央高校基本科研业务费专项资金~~
文摘
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表等。从分析结果来看,使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。
关键词
自动飞行控制系统(AFCS)
基于模型
的安全性
分析方法
(
mbsa
)
NUSMV
xSAP
模型
扩展
故障树
失效模式与影响
分析
(FMEA)表
Keywords
automatic flight control system (AFCS)
model-based safety analysis method (
mbsa
)
new symbolic model verifier (NuSMV)
extended safety assessment platform (xSAP)
model extension
fault tree
failure mode and effect analysis (FMEA) table
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
经颅磁刺激电场分析研究进展
被引量：
6
3
作者
夏思萍
徐雅洁
余颖聪
顾卫国
马昌玉
杨晓冬
机构
复旦大学工程与应用技术研究院
中国科学院苏州生物医学工程技术研究所医学影像室
温州市人民医院消化内科
苏州市广济医院放射科
出处
《中国生物医学工程学报》
CAS
CSCD
北大核心
2020年第6期727-735,共9页
基金
国家自然科学基金(11805263)
温州市重大科技专项项目(2018zy013)
苏州市民生科技计划(SS201881)。
文摘
经颅磁刺激是一种利用通电线圈在脑部的诱发电场来调节皮质兴奋性的技术,广泛应用于神经病学、康复学等领域。经颅磁刺激诱发电场分析与安全性、刺激效果密切相关,在优化刺激方案、线圈设计方面具有重要意义,成为相关领域的研究重点。首先介绍经颅磁刺激3种常见的临床副作用,然后阐述经颅磁刺激现有研究中的常规电场分析方法,包括解析法和数值分析法及其应用场景,并讨论与电场分析密切相关的生物模型建模方法。此外,由于磁刺激线圈与组织中电场分布的密切相关性,介绍常规的刺激线圈结构类型,并结合磁刺激线圈的7种典型设计,分析基于有限元分析的球模型下的电场分布特征。最后,展望经颅磁刺激电场分析研究未来的发展趋势。
关键词
经颅磁刺激
安全性
电场
分析方法
头
模型
磁刺激线圈
Keywords
transcranial magnetic stimulation
safety
electric field analysis method
head model
magnetic stimulation coil
分类号
R318 [医药卫生—生物医学工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于安全熵的访问控制模型量化分析方法
王超
陈性元
熊厚仁
曾光
《计算机工程与设计》
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
2
安全关键系统需求形式化建模分析实例研究
张维珺
胡军
李宛倩
陈朔
石梦烨
唐红英
《计算机科学与探索》
CSCD
北大核心
2019
1
在线阅读
下载PDF
职称材料
3
经颅磁刺激电场分析研究进展
夏思萍
徐雅洁
余颖聪
顾卫国
马昌玉
杨晓冬
《中国生物医学工程学报》
CAS
CSCD
北大核心
2020
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
