张双双
- 作品数：3 被引量：4H指数：2
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术历史地理更多>>
- 金代致仕问题研究
- 退休,在古代称“致仕”。致仕在官僚机构的运转、办事效率、人员更替方面发挥着举足轻重的作用。灭亡辽、宋后,金对辽、北宋的致仕政策进行总结,创建了具有本民族特色的致仕政策。关于金代致仕的研究,学界多集中在致仕年龄界定、致仕经...
- 张双双
- 关键词：金代
- 文献传递
- 递归π演算向Petri网的转换研究
- 递归结构是实际应用π演算时经常用到的一种形式，而在Petri网中对递归结构直接描述非常困难却必不可少，因此本文前半部分给出了一种递归π演算向Petri网转换的方法。该转换建立在对π演算的递归结构以及Petri网的经典理论...
- 张双双
- 关键词：系统工程方法论互模拟等价
- 文献传递
- 一种递归π演算向Petri网的转换方法被引量：2
- 2014年
- 针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的语义,且编码完全相同的轨迹集合,对于在规模较大的复杂系统中应用Petri网模型有着积极的意义。本文还分别证明了递归π演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性。
- 康辉张双双梅芳
- 关键词：计算机软件互模拟等价
