并发系统模型研究

1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。     

论高速重载铁路运输对钢轨的技术要求

介绍了近年来我国铁路运输实行提速重载的技术政策,分析了提速重载运输中钢轨的服务特点及发生缺陷和伤损的现象和机理,借鉴国外高速铁路用轨的执行标准和生产工艺,提出在提高速重载条件下,乃至将来高速客运专线运输对钢轨的技术要求。     

基于软件工程的规约方法分类

本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.     

一个统一的程序验证框架

本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就意味着说明程序的公式蕴含说明性质的公式，其中蕴含即为一般的逻辑蕴含．因此，本文的方法为并发程序的规范及验证提供了一个统一的框架．它允许充分利用现有的用于证明并发系统时序性质的各种完全证明系统．一个缓冲系统的简单例子用来说明本文的方法．此例子表明本文的方法是可行的.     

并发程序性质的时序分析

不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列     

章村矿39135里工作面突水条件分析及防治

对章村矿三井39135里工作面边界条件、水文地质特征、涌水量预测进行分析，对完善带压开采下组煤，保证矿井安全生产具有重要意义。     

公平转移系统规范及其应用

本文讨论了用于并发系统规范的２种方法：时序逻辑方法和状态自动机方法，由此，本文提出了一析的规范形式－－公平转换系统规范ＦＴＳＳ（ｆａｉｒ ｔｒａｎｓｉｔｉｏｎ ｓｙｓｔｅｍ ｓｐｅｃｉｆｉｃａｔｉｏｎ），此规范方法集成了状态自动要方法和时序逻辑方法的优点，改进 时序逻辑方法通常较复杂，不易理解，特别唱它不能用于描述并发系统的局限性质等不足，进一步对ＦＴＳＳ中第一部分进行了讨论，是到结论，ＦＴＳＳ是     

时序逻辑:线性时间对分支时间

1.引言 时序逻辑是一种模态逻辑,不同于经典逻辑,其真假值依赖于时间而变化。对于序的数学处理,并不是静态的,它包含很重要的动态特征。一个典型的程序执行模型就是状态列,不同的状态,程序的属