一个带时间限制的事件结构模型

• 作者: 张明新 赵锡英
• 来源期刊: 兰州工业高等专科学校学报
• 学科: 数学
• 关键词: 扩展的绑定事件结构 带时间绑定事件结构 偏序集 迹 剩余事件结构
• 年，卷（期）: 2007,（2）
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141.4
• 字数: 3847字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-2269.2007.02.001

摘要

给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X|→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明新	兰州工业高等专科学校计算机工程系	15	190	5.0	13.0
2	赵锡英	兰州工业高等专科学校计算中心	32	50	4.0	5.0