【摘 要】
:
本文在介绍典型的离散事件系统以及实时系统的时间状态序列语义模型的基础上,对离散事件系统的语义模型进行了初步的探讨.建立了基本离散事件系统与耦合离散事件系统的时间状
【机 构】
:
武汉大学软件工程国家重点实验室,武汉,430072
【出 处】
:
2005年全国理论计算机科学学术年会
论文部分内容阅读
本文在介绍典型的离散事件系统以及实时系统的时间状态序列语义模型的基础上,对离散事件系统的语义模型进行了初步的探讨.建立了基本离散事件系统与耦合离散事件系统的时间状态序列语义模型,并讨论了时间序列结构作为离散事件系统的充要条件.我们这里给出的基于时间状态序列的语义模型仅是对离散事件系统语义的一个初步的探讨.在此基础上,可以进一步了解基本离散事件系统的耦合过程中的结构化性质,并对离散事件系统的结构化的耦合方式做深入的研究.
其他文献
本文根据基于Web服务的系统设计中所遇到的实际问题,设计了密码协议,并利用微软.Net的SOAP扩展加以实现.解决了Web服务的保密通讯、授权访问以及防止重方攻击等安全问题.通过
本文对软件流水领域二维数组数据相关性分析算法进行了研究.文章扩展了一般λ测试技术,解决了二维数组的数据相关性判定问题,获得了比传统方法更加精确有效的结果.
保守主义相信,文化其实是没有办法从外面改变的,唯一能变的是制度我最近写了一篇文章,核心观点是:新一届领导人对中国文化具有温情,因此,他们一定会推动全面改革。后来我对朋
SPIN是一个模拟有限状态并发系统的模型检测工具.本文详细介绍了SPIN的工作原理,并基于SPIN模型检测工具给出了一个简单的安全协议的形式化描述和分析.
CE:你此次率20个企业团队访华,他们想在中国寻找怎样的机会?里克·斯奈德:我此次带来的20家公司团队,来自汽车制造、物流、营销等多个不同行业,各自寻找的业务机会也不完全相
本文研究的mUFL问题是基于一般情况UFL问题的,如果将多目标要求引入metricUFL中,是否能获得更好的近似度还需要进一步的研究.
1国家图书馆文慧堂2011年12月20日互动百科“2011年度十大热词”发布的主持人是个磁性声线但有点饶舌的大叔,据说还当过某部门发言人。他用挑战依次上台发布新词的嘉宾来串场
微博上大V正集体进入低谷期。继薛蛮子之后,李开复也在遭遇新挑战。9月5日,创新工场董事长兼CEO李开复发微博透露自己身患癌症。很多人,尤其是年轻人为此难过。虽然李开复并
本文提出了一种关于模型管理中映射对象的Expression实现算法,同时给出了Hxpression在参与模型管理的过程中所必须的转换工作,也讨论了Expression能够被通用化的情况,以及不
网页的URL,很早就应用于检索领域,然而由于其提供的信息量不足,只是被用来辅助检索,并且只是作为查询相关信息.本文对URL和文档结构信息在网页检索中的应用进行了研究.文章对