云南高校图书馆联盟文献共享服务平台- MBSA

MBSA: 作品数：30被引量：70H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：丁浩沈继龙游凯何丁莉张静更多>>; 相关机构：AQuantive公司北京航空航天大学成都飞机设计研究所中国航空综合技术研究所更多>>; 相关期刊：《环球飞行》《信息安全与通信保密》《软件指南》《广东医学》更多>>; 相关基金：中央高校基本科研业务费专项资金国家重点基础研究发展计划广西壮族自治区自然科学基金更多>>

无人机基于模型的安全性分析方法研究: 《环球飞行》2024年第5期22-25,共4页胡春平李同飞张玉婷; 对无人机开展安全性分析,提高无人机安全性水平,是保证安全飞行的重要因素。然而,传统的安全性分析方法在应用到无人机这类复杂系统上时在功能危险识别、准确性和效率等方面存在不足。基于模型的安全性分析(MBSA)方法被认为是解决这些...; 关键词：MBSE MBSA 一体化无人机

Formal management-specifying approach for model-based safety assessment: 《Journal of Systems Engineering and Electronics》2023年第6期1589-1601,共13页XU Changyi DUAN Yiman ZHANG Chao; the National Natural Science Foundation of China(52105070,U21B2074);Department of Science and Technology of Liaoning Province China(2033JH1/10400007).; In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations...; 关键词：model-based safety assessment(MBSA) MANAGEMENT AVAILABILITY RELIABILITY MAINTAINABILITY continuous time Markov chain.

扫描修补漏洞方可高枕无忧: 《网络安全和信息化》2021年第4期129-132,共4页刘景云; 漏洞无处不在,无时不在,它关乎系统及软件等的安全,因此对IT系统及其相关设备的安全扫描也是极为必要的。本文以MBSA安全扫描器为例,详细讲解了如何使用它来发现系统中存在的各种安全问题,并提供相应的解决方法,从而让用户及时的处理系...; 关键词：IT系统漏洞安全扫描器 MBSA 扫描无处不在

基于模型的复杂系统安全性和可靠性分析技术发展综述被引量：51: 《航空学报》2020年第6期140-151,共12页胡晓义王如平王鑫付永涛; 复杂系统的安全性、可靠性分析一直是装备通用质量特性领域关注的热点问题。随着航空机载系统向综合化、集成化、智能化方向发展,系统的功能逻辑、架构设计以及容错设计越来越复杂,以人工演绎推理为主的传统安全性、可靠性分析手段已经...; 关键词：基于模型的系统工程(MBSE) 基于模型的安全性分析(MBSA) 基于模型的可靠性分析(MBRA) 同源设计模型驱动

安全关键系统需求形式化建模分析实例研究被引量：1: 《计算机科学与探索》2019年第8期1295-1306,共12页张维珺胡军李宛倩陈朔石梦烨唐红英; 国家重点基础研究发展计划(973计划)No.2014CB744903;南京航空航天大学研究生创新基地(实验室)开放基金No.kfjj20171611;中央高校基本科研业务费专项资金~~; 近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介...; 关键词：自动飞行控制系统(AFCS) 基于模型的安全性分析方法(MBSA) NUSMV xSAP 模型扩展故障树失效模式与影响分析(FMEA)表

基于模型检查的货运飞船推进剂在轨补加任务故障树分析方法研究: 《质量与可靠性》2018年第6期23-27,共5页陈露李孝鹏李福秋周文明覃沙; 针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型...; 关键词：故障树分析模型检查 MBSA NUSMV

一维链{[Zn(4,4′-bipyridine)(H_2O)_4]·(4-MBSA)_2(H_2O)}_n配合物的合成、晶体结构及荧光性能分析被引量：1: 《化学世界》2017年第1期27-33,共7页兰翠玲罗志荣黎远成; 广西自然科学基金面上(No.2013GXNSFAA019047);广西壮族自治区教育厅广西高校科学技术研究重点(No.2013ZD069)和材料物理与化学重点学科(No.KS16ZD03)资助项目; 以4,4′-联吡啶(4,4′-bipyridine)和4-甲基苯磺酸(4-HMBSA)为配体与金属Zn(II)离子成功合成出了一种{[Zn(4,4′-bipyridine)(H_2O)_4]·(4-MBSA)_2(H_2O)}_n,并对其进行元素分析、红外、晶体结构、荧光、热稳定性分析。通过结构分析,...; 关键词：4 4′-联吡啶晶体结构荧光配合物

基于Internet的系统安全漏洞分析与防护: 《数字技术与应用》2013年第6期216-216,共1页王伟; 随着计算机技术和网络技术的发展,计算机系统安全显得越来越重要,在网络安全防御体系中,安全漏洞修复是一项至关重要的环节。如何进行计算机系统安全漏洞的分析和防范,对于提高系统安全性、减少安全事件发生都具有非常重要意义。本课题...; 关键词：安全漏洞漏洞库 MBSA 安全编程

MBSA2．2延伸Windows防线: 《网络运维与管理》2012年第24期75-75,共1页; MBSA，即Microsoft Baseline Security Analyzer，其最初版本给人的印象非常平庸简陋。最新版MBSA2．2突显成熟之美，着眼于Windows7及Windows Server2008 R2！; 关键词：WINDOWS MICROSOFT SECURITY ANALYZER 防线 MBSA

一种新兴的基于模型的民机安全性分析方法被引量：2: 《科技创新导报》2012年第27期44-45,共2页冯臻; 本文描述了一种民用飞机研制安全性评估领域新兴的基于模型的安全性分析方法,通过介绍该方法理念以及具体实施流程,剖析了其不同于传统安全性分析方法之处,即优势所在。最后总结了此方法优缺点及未来得到推广应用所面临的挑战。; 关键词：基于模型民机安全性 MBSA

MBSA