论文部分内容阅读
从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
安全苛求系统的形式化开发方法
【摘 要】
：
从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛
【机 构】
：
北方交通大学电子信息工程学院,北方交通大学装甲兵工程学院信息工程系,北方交通大学交通运输学院
【出 处】
：
北方交通大学学报
【发表日期】
：
2002年6期
其他文献
继“十一五”“核高基”重大专项国产FT-1000高性能通用多核微处理器研发成功之后，近日，浪潮在京正式推出首批基于飞腾处理器的通用服务器产品。
在最近结束的第33届美洲杯帆船赛上，埃里森率领他的宝马甲骨文号一举夺得了冠军。如同喜欢探险，在买进SUN后的一次答记者问中，埃里森也说，“我享受竞争，生活就是一系列的发现行为，
细菌性肝脓肿是发生于肝脏的一种继发性感染,在临床上并不少见[1-3],有时还是致命的.近一个世纪以来,由于原发疾病的有效控制,抗生素的应用,影象检查的发展以及治疗方法上的
近年来随着我国经济社会的发展,林业生产和林业保护也在不断地发生改革和转型。传统的林业已经无法满足当今社会的发展需求,因此传统林业应向现代林业转型,注重可持续发展,有
<正> 王大伯退休之后,发觉自己的眼睛越来越昏花,特别是到了夜间,看东西也不那么清楚了,显得很费力。他听同事介绍,鱼肝油丸含有丰富的维生素A和D,不仅能防治眼睛昏花症,而且
介绍了水浸宽带聚焦探头的背衬制作方法、探头制作工艺及其性能的测试,并把该探头应用于超声波C扫描成像.
一位姓柳的先生在网上发帖子说，自己装了镍铬烤瓷牙后“尿检重金属严重超标，被北大医院诊断为隐匿性肾炎”。他的帖子引发了其他烤瓷牙网友的强烈呼应，纷纷列举自己原本健康的身
迄今为止还没有人能够对云计算引发的伟大变革进行全面系统的总结和分析。人们对于技术变革的总结仍然是凌乱和无序的，因而，大多数的企业仍然没有摆脱传统的技术开发范式和投资
在皖南众多风格独特的徽派民居村落中,黟县宏村是徽派古民居中的一颗璀璨的明珠。宏村的整个外观奇特,是一座牛形古村落。村后有山,村前有水,既有山林野趣,又有水乡风貌,层楼