【摘 要】
：
给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算
【机 构】
：
兰州工业高等专科学校计算中心,兰州工业高等专科学校计算机工程系
【基金项目】
：
甘肃省自然科学基金资助项目（3ZS051-A25-047）
论文部分内容阅读
给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X｜→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.
其他文献
我国现代民营企业经过多年的快速发展,形成了积累效应,已从量的积累进入到以企业全面转型和提升为核心任务的质的提高阶段.但我国现代民营企业在转型中遇到一些亟待解决的制
介绍了数据挖掘在入侵检测中的应用，阐述了数据挖掘中分类规则和分类数学模型，分析和讨论了RIPPER算法的原理，并用RIPPER算法优化了入侵检测系统中常用的短序列匹配算法，说明了优
提高公民思想道德素质,是构建和谐社会的重要内容.在构建和谐社会的进程中,要求公民道德建设的目标体现以人为本的科学发展;要求公民道德建设的体系设计适应社会主义市场经济
通过对加工中心及数控铣床刀具半径补偿的研究，分析了刀具半径补偿在编程中的常见错误，并提出了编程中的解决方法；通过扩展刀具半径补偿的功能，便于简化编程，提高零件加工精度。
在L型瓦理论的基础上，给出了12类新的紧优双环网无限族，拓展了双环网无限族．
研究了关于右零化子满足升链和降链条件的环，即Artinian环和Noether环．设R是左P-内射环且非零补左理想在R中不小，若R满足条件（＊），则R是右Artinian环．证明了R是QF环当且仅当R是满足条
本文侧重于用机理的视角去诠释公共政策，把握体现人类智慧和社会品质的公共政策脉搏。“协”是公共政策的内核与终极关怀，透过对公共政策机理的分析，凸显在构建和谐社会过程当中
目的探讨早期中心静脉-动脉血二氧化碳分压差（Pcv-aCO2）改变联合上腔静脉血氧饱和度（ScvO2）对脓毒性休克患者预后的预测意义。方法选择我院ICU 2015年1月2017年1月收治的60例脓毒
金色链霉菌Streptomyces aureofaciens(LM~r,CTC~r,产金霉素)的原生质体经U.V.照射40min灭活后,与林可链霉菌林可变种Streptomyces lincolnensis var lincolnensis(LM~r,CTC~