时空的本质

在一场持续了几个月的辩论中，两位相对论学者，提出他们关于宇宙及其演变及对量子理论影响的不同观点。前英国皇家学会会长M·阿蒂雅认为，这是继爱因斯坦和玻尔辩论之后本世纪最重要的论争。《科学美国人》编者按语：1994年，斯蒂芬·霍金（StePhenWHawking）和罗杰·彭罗斯（RogerPenrose）在剑桥大学牛顿数学科学研究所发表了一系列公开演讲。普林斯顿大学出版社用《时空的本质》的书名结集出版。为了对两位科学家的观点进行比较和对照，《科学美国人》选辑他们几次演讲的精义在这里发表。他们分享着物理学的共同传统（彭罗斯在剑桥…     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

外伤性肝破裂救治方式的选择（附58例报告）

对５８例外伤性肝破裂采用不同方式进行手术治疗，治愈５４例，死亡５例。肝破裂后病情多凶险，急诊处理须简单、快速、有效，力求诊断与治疗同步，尽量缩短急诊至手术治疗的时间。根据不同的损伤选择不同的手术方式，以止血，清创和引流为基本原则。３０例采用肝血回输，未发生不良反应。     

排课系统的改进及辅助功能设计

新排课系统采用VisualFoxpro6.0中文版,对原系统(UCDS排课系统)进行了改进,增设了辅助功能,克服原系统的一些缺陷,改善了工作界面,提高了工作效率和工作质量。     

模糊系统论

本文从讨论系统观出发,给出了一般模糊系统的形式定义和表示方法,全面讨论了模糊系统的静态结构、动态行为、学习机制、数字特征及问题求解过程等问题。论文还讨论了这种模糊系统的表示能力问题,证明了诸如逻辑电路系统、Petri网、H网、各种数据驱动的系统、用流程图表示的程序系统等都是这种系统的特例。论文提出的模糊系统及其“浸润式”执行机制为新型计算机系统的设计提供了一种新模式。一个物理的模糊系统可用一个由大量微处理器构成的互联网络来实现。为此,论文提出了一些具体实现这种系统的设想以及在已有计算机上进行模拟的具体设计。