高莹
- 作品数：4 被引量：9H指数：1
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- Petri网的流分解
- Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不...
- 吴振寰高莹吴哲辉
- 关键词：PETRI网动态性质
- 文献传递
- C/E网系统中交叠式序列的计数
- 2010年
- 在CCS中,Milner把系统中的两个事件处于并发定义为"它们可以按任意顺序发生"。这个关于并发的定义被称之为"交叠式并发"。然而在网论中,Petri把并发定义为"非序",并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为"真并发"。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。
- 吴振寰高莹吴哲辉
- 关键词：并发
- Petri网的流分解
- 2008年
- Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。
- 吴振寰高莹吴哲辉
- 关键词：PETRI网动态性质
- 从教学过程设计转向信息技术支持的学习环境设计被引量：9
- 2010年
- 由于中美两国历史文化背景的差异,在学科演化和发展上也呈现不同的道路,引进的教学设计在中国遭到了已有的"教学论"的质疑。对教学设计的概念重新进行梳理后,重新解读了中国的"教学设计"的内涵,以期能抛砖引玉,促进教学设计在中国的健康发展。
- 孙永丽高莹
- 关键词：教学设计教学论教学过程设计学习环境
