【摘 要】
：
简要介绍全舰计算环境（Total Ship Computing Environment,TSCE）的基本概念、相关组成、体系架构、安全需求分析以及美军TSCE设计经验对我军舰艇发展的启示。针对TSCE的安全性
论文部分内容阅读
简要介绍全舰计算环境（Total Ship Computing Environment,TSCE）的基本概念、相关组成、体系架构、安全需求分析以及美军TSCE设计经验对我军舰艇发展的启示。针对TSCE的安全性未知问题,我们引入了形式化验证方法。首先,使用全自动的模型检测方法验证TSCE子集;然后,使用形式推理的方式半自动半人工的验证TSCE全集。复杂度分析揭示了新方法的效率。最后,得出结论,本文提出的TSCE形式化验证方案可望与传统的软件工程方法优势互补,协同验证TSCE是否满足包括安全性在内的相关性质需
其他文献
采用一种新策略对Li1.184[Ni0.15Mn0.516Co0.15]O2进行改性,即通过气流破碎、高压均质混合分散和喷雾干燥的方法得到与碳纳米管复合的富锂锰基正极材料(CNT@LMR)。使用扫描电
法尼酯衍生物X受体 (FXR)是一种胆汁酸受体 ,在胆汁酸代谢和胆固醇代谢中发挥重要作用 ,并有望成为降低胆固醇 ,治疗某些心血管病及肝脏疾病的治疗靶点。本文介绍了FXR的发现
本文采用2003~2010年全国农村固定观察点微观住户调查数据,研究了我国农户收入水平、结构及其影响因素。研究发现,农户收入水平及增速均滞后于城镇居民,其主要收入来源是劳动
机体在生命活动过程中保持自身稳定,即自稳态,是生物生长发育、保持物种稳定和基本特征的必备条件。现代医学认为,遗传物质DNA对其发挥着重要调控作用。而中医学认为,肾精是
教学活动是教师和学生双向参与的活动,教学过程是一个提出问题与解答问题的过程,"慕课"实现了教与学的全程参与。"慕课"背景下,以问题逻辑的方式,设计与创作"微课程"教学单元
<正>第一招:你的老妈骂你的时候,你可以:看着其他的地方,想别的事情。不管,不听。性质:硬。注:不能经常用。第二招:你的老妈骂你,不让你看其他地方的时候,你可以:找妈咪身上
线粒体是高度动态的细胞器,其形态、数量以及在细胞内的分布经常发生变化,线粒体的融合/分裂率精确地调控细胞内线粒体的数目和形态。目前已知的与线粒体分裂有关的分子有Drp
与碎屑岩储层相比,礁灰岩储层的微观孔隙结构复杂且具有油湿性,其水驱油机理主控因素尚不明确.采用“岩芯扫描电镜、铸体薄片、压汞、润湿性”等静态资料与“微观驱替及岩芯
根据某公司的生产要求,设计机电液一体化的载荷试验平台检测塑料检查井产品。阐述载荷试验平台的结构组成、液压系统的控制和回路设计,提出主要的控制系统和控制界面。塑料检
本文分析了AP1000第三代核电技术的特点,指出了AP1000第三代核电技术可以带动我国经济和核电产业的发展。通过对AP1000依托项目三门一期工程的造价分析,我们认为我国发展AP10