搜索筛选:
搜索耗时0.9574秒,为你在为你在102,285,761篇论文里面共找到 28 篇相符的论文内容
发布年度:
[期刊论文] 作者：谢克嘉,
来源：微电子学与计算机 年份：1995
本文简要描述了两种主要的容错软件技术－Ｎ版本程序和恢复块。并对Ｎ版本程序设计中的几个有关问题及其解决办法进行了讨论。...
[期刊论文] 作者：谢克嘉,
来源：航空科学技术 年份：1993
...
[期刊论文] 作者：谢克嘉,
来源：航空计算技术 年份：1995
本文简要叙述了航空电子专家系统的特点、技术关键及其对策，并举例讨论了专家系统在航空领域的应用。This article briefly describes the characteristics of avionics exp...
[会议论文] 作者：谢克嘉,
来源：全国抗恶劣环境计算机第14届学术年会 年份：2004
本文对ARINC653规范与机载实时操作系统发展趋势进行了探讨。文章围绕机载实时操作系统、ARINC653规范的提出、ARINC653规范的主要特点、ARINC653规范开发进展情况、机载实时...
[会议论文] 作者：谢克嘉,
来源：第六届全国容错计算学术会议 年份：1995
...
[期刊论文] 作者：谢克嘉,
来源：国际航空 年份：1994
自从1950年左右存贮程序计算机出现以来,计算机研究人员总是不断地在增加中央处理单元(CPU)的复杂性上下功夫,包括增加更多的指令类型和数目,更多的寻址方式和更多的专用寄...
[期刊论文] 作者：谢克嘉,
来源：航空计算技术 年份：1995
本文在简要介绍传统测试方法及其存在问题的基础上，阐述了一种新的测试技术──边界扫描测试技术，并对测试技术的发展趋势作了初步探讨。Based on the brief introduction of...
[期刊论文] 作者：谢克嘉,宋过渡,
来源：微电子学与计算机 年份：1998
多版本软件通过设计相异性实现了软件容错，为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为ＳＦＴＭＰ。本文描述了ＳＦＴＭＰ的硬件结构和软件执行支持环境，该环境包括同步、表决......
[期刊论文] 作者：臧红伟,谢克嘉,
来源：软件世界 年份：1993
...
[期刊论文] 作者：臧红伟,谢克嘉,
来源：计算机研究与发展 年份：1993
随着计算机应用领域的日益扩大及实时控制系统的发展，对计算机系统的可靠性要求越来越高。例如在电话交换系统，航空航天控制系统，铁路交通控制系统中，哪怕是一个细微的故障，也可能......
[期刊论文] 作者：臧红伟,谢克嘉,
来源：抗恶劣环境计算机 年份：1992
...
[期刊论文] 作者：孙磊,崔西宁,谢克嘉,,
来源：航空计算技术 年份：2008
综合化航电系统的安全问题将是系统设计者的主要挑战之一，密钥管理是解决安全问题的基础。综合化航电系统的密钥管理不同于联合式航电系统，不存在专用的安全模块和加密总线，因此......
[会议论文] 作者：孙磊,崔西宁,谢克嘉,
来源：第五届中国信息和通信安全学术会议 年份：2007
在高度综合化的航电系统中,大量的计算、通信、控制服务都由飞机上的一个核心计算机(ICP)提供,各种安全级别不同的数据、代码在同一个平台上处理运行,这种处理方式给飞机上的航电系统带来了新的安全挑战。本文提出了一个灵活的安全方案,设计了一个基于公钥体制......
[期刊论文] 作者：韩炜, 臧红伟, 谢克嘉,,
来源：计算机工程与科学 年份：2003
在飞行控制系统中,飞行控制计算机起着核心作用,要求具有极高的可靠性,整个系统的失效率要求小于10-8/小时.为了满足此要求,飞控计算机系统一般采用余度技术.本文结合工程实...
[期刊论文] 作者：刘毅,臧红伟,谢克嘉,
来源：西北大学学报：自然科学版 年份：2006
目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层客错管理策略。结果由系统、分系统和模块构成三级容错管理策略；由故障监控......
[期刊论文] 作者：崔西宁,戴小氐,谢克嘉,
来源：航空计算技术 年份：2008
给出了机载综合核心处理系统AICPS的软件结构和组成,采用基于TLS三层栈的先进的航电系统结构,其通用系统管理GSM分为健康监控、故障管理和配置管理三个软件功能模块,以及飞机...
[期刊论文] 作者：王申科,谢克嘉,郑守淇,,
来源：航空计算技术 年份：1993
本文提出了一种可应用到嵌入式环境中的分布式计算机系统;讨论并分析了系统的管理、容错和可靠性等机制.This paper presents a distributed computer system that can be...
[期刊论文] 作者：崔西宁,沈玉龙,马建峰,谢克嘉,,
来源：通信学报 年份：2009
综合化航空电子系统呈现高度综合化、模块化的特点,其对平台的可信性及信息的机密性和完整性提出了较高要求。仅仅依赖于软件自身并不能建立满足综合化航空电子系统要求的高可信平台,使用可信计算技术,基于可信根,构建可信的综合化航空电子系统,并重点对基于可......
[期刊论文] 作者：臧红伟, 周延泉, 陈益, 谢克嘉,
来源：四川大学学报：自然科学版 年份：2004
在设计飞控计算机时采用了冗余技术(4余度容错计算机),保证系统实现人以两次故障工作,三次故障安全(fo/fo/fs).采用完善的余度管理技术和余度表决监控算法,进行故障的隔离定...
[期刊论文] 作者：臧红伟,周延泉,陈益,谢克嘉,
来源：四川大学学报(自然科学版) 年份：2004
在设计飞控计算机时采用了冗余技术(4余度容错计算机),保证系统实现人以两次故障工作,三次故障安全(fo/fo/fs).采用完善的余度管理技术和余度表决监控算法,进行故障的隔离定...
相关搜索：
