搜索筛选:
搜索耗时3.3357秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：刘承威,,
来源：南京航空航天大学 年份：2019
近年来,模型驱动(Model-Driven)尤其是采用形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段。AADL(Architecture Analysis and...
[学位论文] 作者：刘承威,,
来源：河南大学 年份：2004
背景:临床上,韦尼克脑病(Wernicke Encephalopathy,WE)的发病率较低,而肠瘘并发韦尼克脑病的发生较WE更为少见。此外,相关文献报道也较少,一方面与该病发生时缺乏早期特异性...
[期刊论文] 作者：刘承威,于智彩,
来源：世界最新医学信息文摘(电子版) 年份：2018
机体在正常情况下,十二指肠与腹腔内其他周围脏器并不相通,但在病理情况下,十二指肠可与周围组织相通,即形成十二指肠瘘。胆囊内瘘大多为胆囊结石、肿瘤等引起胆囊炎症的发生...
[期刊论文] 作者：刘承威, 于智彩, 席子明,,
来源：世界最新医学信息文摘 年份：2018
在医学技术不断发展和医学模式不断更新的时代背景下,ERAS(Enhanced Recovery After Surgery;亦即快速康复外科)概念的提出顺应了不断发展的新的医学时代的要求。ERAS是'...
[期刊论文] 作者：刘承威，于智彩，席子明，LIUCheng-wei，YUZhi-cai，XIZi-ming,
来源：世界最新医学信息文摘（连续型电子期刊） 年份：2018
...
[期刊论文] 作者：刘承威, 杨志斌, 周勇, 袁胜浩, 许金淼, 薛垒,,
来源：小型微型计算机系统 年份：2019
在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界...
[期刊论文] 作者：王飞, 杨志斌, 黄志球, 周勇, 刘承威, 章文炳, 薛垒,,
来源：软件学报 年份：2018
...
[期刊论文] 作者：王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼,
来源：软件学报 年份：2018
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重...
相关搜索：
