计算机应用系统的可靠性设计准则 被引量：1

1

作者 陈杰勋 石柱 胡怀咏 《计算机应用研究》 CSCD 1996年第4期41-43,共3页

长期以来，计算机应用系统的可靠性一直是专家们讨论的重要问题。本文从计算机系统设计的角度，论述了一些计算机应用系统的可靠性设计准则。

关键词 计算机 应用 可靠性设计 硬件 软件

全文增补中

以仿真技术为基础的车间调度器 被引量：4

2

作者 王锦 《系统仿真学报》 CAS CSCD 1992年第2期15-17,共3页

本文将概要介绍“863”计划自动化领域CIMS主题正在组织开发的车间调度器工具软件。

关键词 仿真 车间 调度器 CIMS 软件

在线阅读 下载PDF 职称材料

动力学系统实时仿真数值方法研究 被引量：4

3

作者 刘德贵 宋晓秋 +1 位作者 陈丽容 朱珍民 《计算机工程与设计》 CSCD 2002年第12期4-8,51,共6页

从6个方面概述动力学系统实时仿真数值方法的一些最近的研究进展,内容包括:实时仿真快速混合算法、实时并行Rosenbrock算法、实时并行组合算法、微分代数系统的实时算法与实时并行算法、实时间断处理并行算法以及一些并行算法的效率分... 从6个方面概述动力学系统实时仿真数值方法的一些最近的研究进展,内容包括:实时仿真快速混合算法、实时并行Rosenbrock算法、实时并行组合算法、微分代数系统的实时算法与实时并行算法、实时间断处理并行算法以及一些并行算法的效率分析等。给出构造实时仿真算法新的思想和方法,同时也涉及一些有关问题的讨论。 展开更多

关键词 动力学系统 实时仿真 数值方法 仿真算法 并行算法 计算机仿真

在线阅读 下载PDF 职称材料

实时仿真算法的研究进展 被引量：14

4

作者 刘德贵 朱珍民 《系统仿真学报》 CAS CSCD 2001年第1期60-63,共4页

从六个方面综述动力学系统实时仿真算法的一些最近的研究进展。讨论包括：快速实时仿真算法研究；实时组合算法与网络计算机上的实时并行算法；微分代数系统的实时算法与实时并行算法；实时间断处理；仿真模型信息传输误差估计；动力学... 从六个方面综述动力学系统实时仿真算法的一些最近的研究进展。讨论包括：快速实时仿真算法研究；实时组合算法与网络计算机上的实时并行算法；微分代数系统的实时算法与实时并行算法；实时间断处理；仿真模型信息传输误差估计；动力学系统仿真假解研究等一些新的思想和方法。 展开更多

关键词 实时仿真 算法 动力学系统 数学模型 微分代数系统

在线阅读 下载PDF 职称材料

地空导弹半实物仿真研究

5

作者 张秀兰 朱英杰 《系统仿真学报》 CAS CSCD 1994年第1期54-61,共8页

本文首先介绍了地空导弹半实物仿真系统的组成及仿真过程，然后给出了从全数学仿真向半实物仿真过渡的方法，最后就仿真中遇到的一些技术问题进行了讨论。

关键词 半实物仿真 地对空导弹

在线阅读 下载PDF 职称材料

注塑模三维温度场的边界元计算及其仿真

6

作者 刘冲林 石中岳 《系统工程与电子技术》 EI CSCD 1992年第1期45-49,44,共6页

注塑模具的冷却系统对塑料件的质量有至关重要的影响。本文针对注塑模具温度场的特点,建立了基于传热学和边界元法的数学模型,对三维边界元网格剖分和边界条件作了特殊的处理。在此基础上开发了三维稳态温度场分析(CAE)软件。在实际应... 注塑模具的冷却系统对塑料件的质量有至关重要的影响。本文针对注塑模具温度场的特点,建立了基于传热学和边界元法的数学模型,对三维边界元网格剖分和边界条件作了特殊的处理。在此基础上开发了三维稳态温度场分析(CAE)软件。在实际应用中表明分析结果合理。 展开更多

关键词 温度分布 边界元法 注塑 模具

在线阅读 下载PDF 职称材料

一类快速实时仿真算法的稳定性和收敛性 被引量：5

7

作者 朱珍民 刘德贵 李寿佛 《系统仿真学报》 CAS CSCD 2000年第1期70-74,共5页

构造了一类非整点步右函数求值的快速实时的数字仿真混合算法 ,该类算法在每个积分步内只需要进行一次右函数的求值 ,且与相同工作量的方法相比数值稳定性区域大 ,方法的误差小 ,数值试验也表明算法是有效的。

关键词 动力学系统 实时仿真 算法 稳定性 收敛性

在线阅读 下载PDF 职称材料

软件失效安全性及其主要研究内容 被引量：4

8

作者 石柱 王纬 《计算机工程与设计》 CSCD 北大核心 1994年第3期17-20,共4页

本文介绍了软件失效安全性的基本概念，说明了软件失效安全性同其它相关研究领域间的异同，并详细论述了软件失效安全性的主要研究内容。

关键词 软件工程 软件 安全性 失效

在线阅读 下载PDF 职称材料

CIMS软件可靠性保证技术 被引量：2

9

作者 石柱 周新蕾 +1 位作者 王纬 陶克强 《计算机集成制造系统-CIMS》 EI CSCD 1995年第1期38-41,共4页

软件已成为计算机集成制造系统(CIMS)的关键组成部分,其可靠性直接影响到CIMS的性能、运行和维护成本.本文从软件生存周期的角度,论述了在各个阶段中保证软件可靠性的技术.

关键词 软件可靠性 软件可靠性估计 软件可靠性保证 计算机集成制造系统

在线阅读 下载PDF 职称材料

实时仿真的数学模型及实时Runge-Kutta算法的收敛性分析 被引量：1

10

作者 宋晓秋 李伯虎 +1 位作者 刘德贵 袁兆鼎 《系统工程与电子技术》 EI CSCD 1991年第1期39-46,共8页

本文讨论了实时仿真的数学模型,和实时Runge—Kutta算法的收敛性分析,给出了补尝阶与实时算法收敛阶之间关系的理论证明。

关键词 实时仿真 数学模型 算法

在线阅读 下载PDF 职称材料

航天软件审查的实施方法及应用经验 被引量：2

11

作者 石柱 周新蕾 缪峥红 《系统工程与电子技术》 EI CSCD 2000年第10期71-74,共4页

软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以... 软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以及审查的过程 ,并阐述了我们在航天型号软件审查实践中的结果和体会。 展开更多

关键词 软件工程 软件安全 软件评估 审查程序 航天

在线阅读 下载PDF 职称材料

实时专家系统研究 被引量：2

12

作者 石柱 《系统工程与电子技术》 EI CSCD 1990年第9期55-62,39,共9页

在本文中,我们首先讨论了什么是实时专家系统,研究它的理由及其与通常所说的专家系统有何不同。阐述了实时专家系统的研究现状及未来的研究方向。最后简要地介绍了实时专家系统应用和工具的研究实例。

关键词 实时 专家系统

在线阅读 下载PDF 职称材料

防空导弹数字仿真模型的校验和测试

13

作者 费景高 《现代防御技术》 2001年第1期56-60,64,共6页

指出对正确的数字仿真模型的一些错误看法。通过对一些防空导弹设计中所用数字仿真模型中存在的错误分析，提出建模过程中应考虑的一些问题。提出系统地进行数字仿真模型的校核、验证和测试的一些实施方法。

关键词 校核 验证 测试 防空导弹 数字仿真模型

在线阅读 下载PDF 职称材料

刚性延迟微分方程数值仿真的两步连续Rosenbrock方法 被引量：5

14

作者 冷欣 刘德贵 +1 位作者 宋晓秋 陈丽容 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第7期1758-1762,共5页

在科学、工程领域的研究和应用中,常常会遇到刚性延迟微分方程系统,对它们进行数值仿真时,通常需要稳定性较好计算复杂性小的方法。为了数值仿真刚性延迟微分方程系统,构造了一类用于求解刚性延迟微分方程的两步连续Rosenbrock方法,讨... 在科学、工程领域的研究和应用中,常常会遇到刚性延迟微分方程系统,对它们进行数值仿真时,通常需要稳定性较好计算复杂性小的方法。为了数值仿真刚性延迟微分方程系统,构造了一类用于求解刚性延迟微分方程的两步连续Rosenbrock方法,讨论了方法的构造,方法的阶条件,证明了方法的收敛性,分析了方法的稳定性。这种方法具有GP-稳定性,数值试验表明方法是有效的。 展开更多

关键词 刚性延迟微分方程 两步连续Rosenbrock方法 数值稳定性 收敛性

在线阅读 下载PDF 职称材料

奇异延迟微分方程数值仿真的两步连续Runge-Kutta方法 被引量：2

15

作者 冷欣 刘德贵 +1 位作者 宋晓秋 陈丽容 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第3期590-594,共5页

提出在当前的积分步内计算级值时,放松延迟对计算的影响的思想,构造了一类奇异延迟微分方程数值仿真的两步连续 Runge-Kutta 方法(TSCRK),讨论了方法的构造,方法阶条件,证明了方法的收敛性,分析了方法的稳定性。这类方法具有优良的稳定... 提出在当前的积分步内计算级值时,放松延迟对计算的影响的思想,构造了一类奇异延迟微分方程数值仿真的两步连续 Runge-Kutta 方法(TSCRK),讨论了方法的构造,方法阶条件,证明了方法的收敛性,分析了方法的稳定性。这类方法具有优良的稳定性和较高的阶级,并保持了显式的求解过程。数值试验表明方法是有效的。 展开更多

关键词 奇异延迟微分方程 两步连续Runge-Kutta方法 数值稳定性分析 收敛性

在线阅读 下载PDF 职称材料

地理信息系统及其某些军事方面应用 被引量：2

16

作者 孟章荣 《现代防御技术》 1999年第1期26-30,35,共6页

介绍了一般地理信息系统的数据结构特点和作为其基础的图像数据库，并着重说明了在军事方面应用的地理信息系统应有的功能及构成。例举了在某些军事方面应用中对地理信息系统的一些特殊要求。

关键词 地理信息系统 GIS 军事应用

全文增补中

具有规范化的四元数递推计算的公式误差估计 被引量：1

17

作者 费景高 《现代防御技术》 1999年第3期44-51,共8页

对捷联式制导系统中目前常用的四元数递推公式进行误差估计，给出利用观测数据计算四元数的误差界的公式，还介绍了保持四元数范数不变的一类递推公式。

关键词 四元数 捷联式 惯性制导系统 算法误差 估计

全文增补中

具有规范化的四元数递推计算的舍入误差的概率估计

18

作者 费景高 《现代防御技术》 1999年第4期47-55,共9页

对捷联惯性制导系统弹载计算机四元数计算的舍入误差进行了概率估计。首先建立定点计算机上四元数计算舍入误差的概率模型，然后利用该模型得到舍入误差的分布函数，进行舍入误差的概率分析。

关键词 捷联式 惯性制导 舍入误差 概率估计 误差计算

全文增补中

IEEE488总线在动量轮测试中的应用

19

作者 董雷 于敏 董涛 《中国空间科学技术》 CSCD 北大核心 1996年第3期58-62,共5页

叙述了资源卫星动量轮的一般结构和开环测试原理。详细介绍了应用ＩＥＥＥ４８８总线构成的动量轮开环性能自动测试系统。说明了这个自动测试系统的系统构成以及测试项目、测试流程和获得的测试结果。并据此提出这个系统在卫星研制工作... 叙述了资源卫星动量轮的一般结构和开环测试原理。详细介绍了应用ＩＥＥＥ４８８总线构成的动量轮开环性能自动测试系统。说明了这个自动测试系统的系统构成以及测试项目、测试流程和获得的测试结果。并据此提出这个系统在卫星研制工作中具有推广价值。 展开更多

关键词 动量轮 总线 参数测量 资源卫星

在线阅读 下载PDF 职称材料

数据库技术新进展

20

作者 宛延闿 《计算机辅助设计与图形学学报》 EI CSCD 1991年第3期73-79,共7页

本文介绍了第一届演绎和面向对象数据库国际会议的由来、基本概念和数据库技术的新进展。演绎和面向对象数据库作为下一代智能数据库系统研究前沿,它们支持工程数据库系统特有的长事务管理、版本管理、动态模式修改和具有丰富语义且能... 本文介绍了第一届演绎和面向对象数据库国际会议的由来、基本概念和数据库技术的新进展。演绎和面向对象数据库作为下一代智能数据库系统研究前沿,它们支持工程数据库系统特有的长事务管理、版本管理、动态模式修改和具有丰富语义且能描述复杂对象的数据模型。对CAD/CAM、OA、CASE等非商用领域系统集成和超越计算机软件开发复杂性障碍,演绎和面向对象数据库系统将产生重要影响。 展开更多

关键词 数据库技术 面向对象数据库 演绎数据库 数据库系统 长事务管理 计算机软件开发 智能数据库 系统集成 软件开发过程 版本管理

在线阅读 下载PDF 职称材料