摘要：离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用，在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识，改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用，回顾了在仿真建模形式化方面所进行的研究工作，重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。

摘要：为克服愈来愈严重的软件危机,人们已经提出许多软件设计方法。其中以面向对象的程序设计思想最为引人注目,它被普遍认为是90年代程序设计方法的发展主流。它具有数据抽象、信息隐藏等特点,符合人们对实际问题进行自然分解的思维方式,并能提高软件的可重用性、可扩充性和可维护性。本文集中讨论面向对象程序设计方法的基本概念和基本特征。

摘要：计算机集成施工CIC(Computer IntegratedConsruction)是80年代末90年代初在国际建筑施工业刚刚出现的一种综合性高新技术。目前正得到广泛的关注和发展。它对于建筑业所产生的影响和效益如同计算机集成制造系统CIMS(Computer In-tegrated Manufacturing System)对于制造业所产生的巨大影响和效益一样,并将对传统的建筑设计和施工方法以及企业的组织结构、管理方式和作业流程产生一场深刻的变革。 CIC是把建筑业领域独立发展应用的计算机辅助设计 CAD、计算机辅助施工 CAC(Computer