检索结果-内蒙古大学图书馆

质量与可靠性 1993年第3期 33-35页

作者：石柱王纬北京计算机应用与仿真技术研究所

三、软件失效安全性设计软件失效安全性设计不仅包括加强软件可靠性的标准软件工程和容错技术,而且也包括与软件失效安全性有关的设计特征。通过减少危险的可能性或严重性,可以减小风险。 1.通过软件设计防止危险通过软件设计防止危险... 详细信息

三、软件失效安全性设计软件失效安全性设计不仅包括加强软件可靠性的标准软件工程和容错技术,而且也包括与软件失效安全性有关的设计特征。通过减少危险的可能性或严重性,可以减小风险。 1.通过软件设计防止危险通过软件设计防止危险,往往涉及到设计出其故障和失效不会引起危险的软件(本质安全的软件),或减少软件危险的数目。一般说来。

关键词：软件失效安全性

来源：评论

学校读者我要写书评

暂无评论

软件可靠性工程管理

引用

质量与可靠性 1993年第6期 35-37,46页

作者：王纬北京计算机应用与仿真技术研究所

简要叙述了软件可靠性工程管理的意义,指出软件可靠性工程管理的特点、目标、内容、方法及其实施。

关键词：软件可靠性工程管理

来源：评论

学校读者我要写书评

暂无评论

SPESEC:并行科学工程计算的模拟环境

引用

系统工程与电子技术 1992年第7期14卷 19-28页

作者：费景高北京计算机应用和仿真技术研究所

SPESEC是在MIMD并行计算机上进行科学工程计算的模拟环境,已经在具有MC 68000系列微处理器的计算机系统上实现。SPESEC具有明确定义的虚拟机,提供了为该虚拟机编程的语言,从而为用户提供了完整的编程和运行环境。本文描述SPESEC的设计... 详细信息

SPESEC是在MIMD并行计算机上进行科学工程计算的模拟环境,已经在具有MC 68000系列微处理器的计算机系统上实现。SPESEC具有明确定义的虚拟机,提供了为该虚拟机编程的语言,从而为用户提供了完整的编程和运行环境。本文描述SPESEC的设计目的、性能特点和SPESEC提供的并行程序环境,也给出在串行计算机上实现SPESEC的某些细节。最后给出在SPESEC中进行并行计算的例子。

关键词：并行计算机科学计算模拟

来源：评论

学校读者我要写书评

暂无评论

CAD/CAM工程数据库设计与实现

引用

系统工程与电子技术 1992年第9期14卷 72-76页

作者：李长春张建平石中岳北京计算机应用和仿真技术研究所

CAD/CAM工程数据库是计算机集成制造系统的一个重要组成部分,本文介绍其主要特点、组成及实现方法。

关键词： CAD CAM 数据库接口设备

来源：评论

学校读者我要写书评

暂无评论

运载火箭姿态运动并行实时数字仿真

引用

计算数学 1992年第4期14卷 489-497页

作者：费景高北京计算机应用和仿真技术研究所

1.前言大型运载火箭的姿态运动是指火箭绕其质心的运动,它是火箭姿态稳定控制系统的控制对象.火箭的姿态运动是多种运动的复合,诸如火箭壳体的弹性弯曲振动、液体推进剂在贮箱内的晃动,都会使其发生弱阻尼或不衰减的振荡.另外,火箭的参... 详细信息

1.前言大型运载火箭的姿态运动是指火箭绕其质心的运动,它是火箭姿态稳定控制系统的控制对象.火箭的姿态运动是多种运动的复合,诸如火箭壳体的弹性弯曲振动、液体推进剂在贮箱内的晃动,都会使其发生弱阻尼或不衰减的振荡.另外,火箭的参数,如转动惯量、重心位置、谐振频率和气动特性等都是随时间和飞行状态变化的,从而使运动特性变得非常复杂.

关键词：运载火箭姿态运动数字仿真

来源：评论

学校读者我要写书评

暂无评论

科学工程计算模拟并行环境的并行Fortran语言

引用

计算机工程与设计 1992年第6期13卷 56-64,66页

作者：费景高北京计算机应用和仿真技术研究所

SPESEC是多处理机系统上科学工程计算并行环境模拟器。该模拟器为并行计算提供了扩充的Fortran语言。本文给出其对标准Fortran77的扩充部分的句法和语义。

关键词：并行计算 Fortran语言多处理机系统

来源：评论

学校读者我要写书评

暂无评论

微分代数问题的实时控制计算

引用

航天控制 1992年第3期10卷 47-56页

作者：费景高北京计算机应用和仿真技术研究所

本文对微分代数问题提出一种实时控制计算方法,进行误差估计,给出采样间隔与控制误差的关系.对于一个模型问题进行了稳定性分析,画出稳定区域,给出保证控制稳定的采样间隔的取值范围.

关键词：实时控制稳定性飞行器

来源：评论

学校读者我要写书评

暂无评论

分块三级及矢量量化图像编码

引用

系统工程与电子技术 1992年第2期14卷 25-31页

作者：田萍北京计算机应用和仿真技术研究所

本文提出了一种新的称为分块三级及矢量量化图像压缩编码方法。该方法是以分块截断编码技术和矢量量化技术为基础的编码方法。对两幅512×512×8静态测试图像进行的计算机模拟实验表明:平均编码率低于0.91比特/像素,即图像数据... 详细信息

本文提出了一种新的称为分块三级及矢量量化图像压缩编码方法。该方法是以分块截断编码技术和矢量量化技术为基础的编码方法。对两幅512×512×8静态测试图像进行的计算机模拟实验表明:平均编码率低于0.91比特/像素,即图像数据压缩比大于8.8倍,而信噪比不低于37dB,复原图像的主观质量较好。

关键词：图像编码图像处理矢量量化分块

来源：评论

学校读者我要写书评

暂无评论

多处理机系统上并行程序的串行仿真

引用

系统仿真学报 1992年第2期4卷 8-14页

作者：费景高北京计算机应用和仿真技术研究所

本文给出多处理机系统上并行程序计算过程的一般描述。引进元事件的概念,将并行计算过程归化成一个离散事件系统的动态过程。文中给出该过程在串行计算机上的仿真原理和在具MC68000系列微处理器的计算机系统上的实现方法。

关键词：多处理机并行程序仿真

来源：评论

学校读者我要写书评

暂无评论

典型Weiener模型和Hammerstein模型数学模型辨识方法

引用

系统仿真学报 1992年第4期4卷 2-12页

作者：丁桂春北京计算机应用和仿真技术研究所

本文介绍的非线性动态系统中的典型Weiener模型如“线性—限幅”系统,“线性—死区一限幅”系统和典型Hammerstein模型如“死区—线性”系统,“滞环—线性”系统参数辨识方法,是在只知道系统输入和输出,而不知道中间变量任何信息的情况... 详细信息

本文介绍的非线性动态系统中的典型Weiener模型如“线性—限幅”系统,“线性—死区一限幅”系统和典型Hammerstein模型如“死区—线性”系统,“滞环—线性”系统参数辨识方法,是在只知道系统输入和输出,而不知道中间变量任何信息的情况下,利用频谱分析方法,辨识出系统中线性和非线性部分全部参数的。最后,还对非线性特性辨识结果进行确认性检验。

关键词：辨识数学模型非线性谐波系数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：