您的位置： 专家智库 > >

陈望梅

作品数：3 被引量：1H指数：1
供职机构：北京航空航天大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇ADA
  • 2篇ADA语言
  • 1篇语言
  • 1篇语言比较
  • 1篇语言转换
  • 1篇知识库
  • 1篇智能模拟
  • 1篇容错
  • 1篇容错系统
  • 1篇软件容错
  • 1篇专家系统
  • 1篇文本
  • 1篇可靠性
  • 1篇C语言
  • 1篇程序语言
  • 1篇N

机构

  • 3篇北京航空航天...

作者

  • 3篇陈望梅
  • 2篇邹军
  • 2篇麦中凡
  • 1篇吴平

传媒

  • 2篇计算机与数字...
  • 1篇航空计算技术

年份

  • 2篇1996
  • 1篇1991
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
软件容错及一个N文本容错系统的实现被引量：1
1991年
软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。
吴平陈望梅
关键词：容错系统可靠性
全文增补中
C和Ada语言比较及C到Ada转换技术
1996年
本文比较C和Ada语言的异同,探讨用Ada语言实现C语言特殊语法功能的技术。
邹军陈望梅麦中凡
关键词：C语言ADA语言程序语言语言转换
Ada智能模拟包AISP的前向推理系统
1996年
AISP是一个用Ada语言开发的智能模拟环境。本文从界面语言、知识库、推理机等几个方面详细介绍AISP前向推理系统的设计及其两种应用途径:作为智能模拟包,构造军事智能模拟系统;作为专家系统工具,开发军事专家系统。
邹军陈望梅麦中凡
关键词：知识库专家系统ADA语言
全选 清除 导出
共1页<1>
聚类工具0