编者说明

在广泛采用先进科学技术的当代工业化社会中,人类的生产活动、社会活动及文化娱乐活动都在每时每刻地产生大量的信息。在二十世纪中期计算机的出现以及随后的迅速发展,特别是和通信技术的结合,才使人类活动所创造的知识——信息得以很好地存储、管理、传播及利用,并又给人类社会的进步施加了强有力的反作用。     

试论机制说明对科学发现的研究

在生物科学等一些与生命相关学科中,机制说明(mechanistic explanation)正在成为一种主流解释模式,其中一部分学者运用机制说明来考察科学发现的过程,将科学发现看作人类解决问题的认知策略,试图建立一种科学理论发展的动力学,由此回应两种情境的相分问题。他们的研究表明,科学发现与科学辩护的区分是人为的,对这两个问题的研究,最终应回到科学实践当中,建立一种动态的理论发展模式。     

关于《系统科学》编写大纲的说明

一、许国志院士在１９９８年８月举办的“系统科学与工程研讨班”开幕式上提出了编一本《系统科学》教材的任务,并提出这本教材应有系统科学学科的基本概念贯穿全书,就象物理学教材把基本概念“能量”贯穿全书一样。研讨班结束后,有关同志对此进行了认真的讨论,具体工...     

一种容忍入侵结构的Z规格说明

面向对象的形式化规格说明语言Obiectz在软件开发中的规格需求方面已广泛应用，但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段，是实现系统可生存性的一种方法，可用于安全关键性基础设施以及系统的基本服务的保护。显然，在容忍入侵系统的开发过程中应用形式化的规格说明方法，保证所开发的系统能够满足系统的安全需求，可增强用户对所实现系统的信任。以Obiectz方法对我们所设计的一个容忍入侵的会议密钥系统进行规格说明为例，将Obiectz的应用扩展到安全关键系统的开发和设计领域。     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

关于“关键路径的极大代数解法”的补充说明

本文对文[1]的算法补充了确定关键路径集合的步骤。