搜索筛选:
搜索耗时0.9483秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[会议论文] 作者：员春欣,
来源：第六届全国容错计算学术会议 年份：1995
...
[会议论文] 作者：李佳玉,员春欣,
来源：第九届全国容错计算学术大会 年份：2001
本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实例,论述使用形式方法的必要性....
[会议论文] 作者：员春欣,江建慧,
来源：第十届全国容错计算机学术会议 年份：2003
在线测试是基本容错技术之一.本文把在线测试技术概括为差错控制码、重复与比较、在线监督等三类,对其发展历史进行了回顾,重点是20世纪90年代以来的成果,包括芯片设计方案、...
[会议论文] 作者：员春欣,江建慧,
来源：第十届全国容错计算机学术会议 年份：2003
本文概述了安全传输系统在发达国家已达到的技术水平.包括产品的实用化、通信协议的标准化、设计和确认的形式化等.作者建议我国应该重视并尽快加强安全传输系统的产品开发、...
[会议论文] 作者：周治邦,员春欣,
来源：全国第六届微计算机学术交流会 年份：1988
该文介绍了具有高故障安全特性的三模冗余微型计算机系统。系统由三个完全相同的280型微型计算机构成。三个子系统执行相同的程序，严格同步运行，总线表决，由故障安全型比较器检......
[会议论文] 作者：员春欣,施莉娟,王卫权,刘涛,
来源：第八届全国容错计算学术会议 年份：1999
危险分析是开发安全系统的极为重要的基础工作。该文以计算机联锁用现场总线为例进行了失效模式及效应分析（ＦＭＥＡ），根据分析结构提出了安全性需求。...
[会议论文] 作者：施莉娟,员春欣,王卫权,枉扬,
来源：第八届全国容错计算学术会议 年份：1999
该文首先概述了故障－安全概念的新发展，提出了对故障安全概念的新定义。在此基础上分析了故障－安全概念的形成，最后定义了强实时安全信息传输系统的故障安全概念。...
相关搜索：
