摘要：§1.引言 现代电气、化工、生物工程和航天飞行器、航空飞行器、核反应工程等都是复杂的系统工程.在这类工程的科学研究和工程设计中,经常需要用常微分方程组的初值问题来建立系统运动行为的数学模型.为了获得研究和设计的数据。

摘要：经验和分析表明,仿真技术已成为 CIMS 设计、分析、运行和鉴定的有力工具.另一方面,CIMS 中仿真技术的应用对仿真技术的发展也提出了新的挑战,从而必将进一步推动仿真技术自身的发展和完善.本文主要包括以下几部分内容:(1)概述面向 CIMS 的仿真建模方法学:包括常用的面向进程和事件的建模、Petri 网、Petri 网与知识基组合方法及面向对象建模方法等;(2)对仿真语言面向 CIMS 的发展提出了若干建议;(3)将并发工程概念引入仿真领域,提出一种并发仿真工程环境新建议;(4)讨论了知识系统与仿真技术的结合,给出了作者开发的 FMS 专家系统实例,并进一步讨论了其应用现状及存在的问题;(5)阐述了仿真优化技术在 CIMS 仿真中的作用以及有待解决的问题;(6)讨论了 CIMS 中的嵌入式仿真技术.

摘要：ＲＴＤＯＳ是一个运行在８０３８６微机上的实时多任务操作系统。本文介绍了ＲＴＤＯＳ的设计原理，主要功能和实现特点。

摘要：本文研究和设计了对非刚性和刚性常微分方程数值软件的正确性、精确度、计算工作量、适用范围、强度等进行综合检测、评估的测试方法和测试软件。

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

摘要：本文给出一类适合在MIMD并行计算机系统上运行的数值求解常微分方程初值问题的向前步方法。在计算过程中,该方法不需要进行异步迭代。文中给出方法的构造格式、精度和数值稳定性分析,并给出算法在串行计算机上的模拟方法及在VAX-11/780上的模拟算例。

摘要：本文讨论并行显式Ｒｕｎｇｅ－Ｋｕｔｔａ公式在多处理机系统上的实现方法，并且给出实现的加速比与常微分方程右端函数复杂性的关系曲线。

摘要：文中提出微分代数系统的一些实时控制计算方法，进行误差估计，给出采样间隔与控制误差的关系。对于一个模型问题进行了稳定性分析，画出稳定区域。

摘要：本文对裂缝波导阵天线设计计算进行综述,提出一些处理。为了避免计算裂缝之间互耦系数的大量数值积分时间,给出泰勒级数展开和直接插值方法。在求解Elliott设计程序中出现的非线性方程组时,应用了逐次消元迭代方法。所有这些处理使计算时间大量减少。

摘要：研究冗余设计的失效率计算问题，分析了多路冗余的共因对失效率的影响，从理论上证明了只有充分地减少多路冗余的公共失效因素才能有效地降低系统的失效率。