论文部分内容阅读
基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法，其典型代表分别是转换系统和时态逻辑，该文首先阐述并剖析这两种方法，然后基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架，引入一种将两者相结合的形式化描述方法。
基于时态逻辑的扩充状态转换模型
【摘 要】
：
基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法，其典型代表分别是转换系统和时态逻辑，该文首先阐述并剖析这两种方法，然后基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架，引入一种将两者相结合的形式化
【机 构】
：
师范学院
【出 处】
：
1998年计算机专题学术会议
【发表日期】
：
1998年期
其他文献
美国联邦通信委员会(FCC)不久前作出了一项暂时性规定,即电话公司可以通过其视频拨号网络提供电视节目,并提出由该委员会授予卫星广播频段。但是广播公司认为这是不公平的竞
在现实中，往往由于机器设备的运行状况变引起的频率成分随时间的变化，一个信号有多种描述方式，时间历程可用来描述信号幅值随时间的变化情况；傅立叶变换则描述了信号幅值随频率变
该文将针对该实验室所开发之光纤传送时信号雏型系统作一介绍，该雏型系统包含光电模组、控制电路和及1 PPS接收传送电路等。利用电信SONET纲路传送架构中未使用之位元Byte)来
一、黑河概况rn黑河发源于祁连山北麓,由山间的35条河流组成,随着用水的增加,部分支流与干流失去地表水力联系,形成东、中、西3个独立的子水系.其中东部子水系即黑河干流水系
3月6日上午,广播电影电视部副部长同向荣、中央人民广播电台副台长王燕春,在山东省广播电视厅厅长张海涛和青岛市委宣传部负责同志陪同下,视察了青岛广播电视发射塔和青岛有
随着计算机技术的发展、新型应用领域的出现及应用的深入，提出了对进态数据加工处理的要求。该文详细分析了时态数据库系统的新的要求，提出了一种把字符、数值等在实际应用中不
首先对离散事件动态系统采用的时态逻辑及有关框架进行介绍，然后概述了该理论在控制综合与性质正确性验证方面的主要研究成果，最后指出了存在问题及未来研究方向。