基于动作细化的握手扩展

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于动作细化的握手扩展

杨昕梅, 孙秀莉, 李绍荣

文章导航 > 电子科技大学学报 > 2011 > 40(3): 406-410

杨昕梅, 孙秀莉, 李绍荣. 基于动作细化的握手扩展[J]. 电子科技大学学报, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

引用本文:

杨昕梅, 孙秀莉, 李绍荣. 基于动作细化的握手扩展[J]. 电子科技大学学报, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

YANG Xin-mei, SUN Xiu-li, LI Shao-rong. Handshaking Expansion Based on Action Refinement[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

Citation:

YANG Xin-mei, SUN Xiu-li, LI Shao-rong. Handshaking Expansion Based on Action Refinement[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

基于动作细化的握手扩展

doi: 10.3969/j.issn.1001-0548.2011.03.016

1.
电子科技大学光电信息学院;
2.
美国波特兰州立大学电子与计算机工程学院

基金项目:

国家863计划(2007AA01Z143)

作者简介:
杨昕梅(1978-),女,博士,主要从事复杂系统验证与评估技术方面的研究.

中图分类号: TN402

Handshaking Expansion Based on Action Refinement

1.
School of Optoelectronic Information,University of Electronic Science and Technology of China Chengdu 610054;
2.
Department of ECE,Portland State University Portland USA

摘要: 基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。
- 并发系统 /
- 无死锁 /
- 握手扩展 /
- 真并发模型 /
- 等待事件结构
Abstract: Handshaking expansion is a main procedure in the design of asynchronous circuits. At present, there is not description and definition for the refinement of handshaking expansion formality. Through investigating formal semantics of the handshaking expansion of asynchronous circuits, a refinement model for handshaking expansion is presented based on a powerful strategy of action refinement in the hierarchical design of concurrent systems. The proposed semantics employs wait event structures and then derives a true concurrency model with maximum parallelism. The refined system conforms to the original specification with respect to a vertical bisimulation relation. Furthermore, the refinement function preserves correctness and deadlock-freeness of the behavior in the refined system.
- concurrent system /
- deadlock-freeness /
- handshaking expansion /
- true concurrency model /
- wait event structure

[1]	代翔. 基于事件模式及类型的事件检测模型 . 电子科技大学学报, 2022, 51(4): 592-599. doi: 10.12178/1001-0548.2021377
[2]	陈增, 王科人, 杨铮. 基于会面合并事件的社会关系强度度量模型 . 电子科技大学学报, 2019, 48(1): 96-102. doi: 10.3969/j.issn.1001-0548.2019.01.016
[3]	黄贤英, 杨林枫, 刘小洋, 何道兵, 刘广峰, 阳安志. 社交网络突发事件传播速率模型研究 . 电子科技大学学报, 2019, 48(3): 462-468. doi: 10.3969/j.issn.1001-0548.2019.03.024
[4]	黄姝娟, 刘白林, 张雅, 茹媛. 时间/事件触发的安全关键系统调度研究 . 电子科技大学学报, 2017, 46(3): 631-635. doi: 10.3969/j.issn.1001-0548.2017.03.025
[5]	马上, 汪陈浩, 胡剑浩. 一种余数系统基扩展算法及VLSI实现 . 电子科技大学学报, 2015, 44(2): 205-210. doi: 10.3969/j.issn.1001-0548.2015.02.008
[6]	耿技, 宋旭, 陈伟, 秦志光. 基于系统结构和运行环境的系统生存性模型 . 电子科技大学学报, 2014, 43(1): 101-106. doi: 10.3969/j.issn.1001-0548.2014.01.017
[7]	程克非, 贾廷强. 基于CPK的TLS握手协议的设计与研究 . 电子科技大学学报, 2013, 42(3): 420-424. doi: 10.3969/j.issn.1001-0548.2013.03.020
[8]	童恩栋, 牛温佳, 谭红艳, 赵志军, 唐晖. 面向传感网的服务构建与并发控制 . 电子科技大学学报, 2011, 40(3): 322-332. doi: 10.3969/j.issn.1001-0548.2011.03.001
[9]	廖剑伟, 李莉, 陈善雄, 余建桥. 实时交互进程的并发检查点技术 . 电子科技大学学报, 2011, 40(4): 573-576. doi: 10.3969/j.issn.1001-0548.2011.04.020
[10]	于江德, 李学钰, 樊孝忠, 庞文博. 最大熵模型的事件分类 . 电子科技大学学报, 2010, 39(4): 612-616. doi: 10.3969/j.issn.1001-0548.2010.04.030
[11]	王茂琰, 徐军, 吴健, 吴军. 基本结构变化对左手介质透射影响的研究 . 电子科技大学学报, 2008, 37(2): 251-254.
[12]	郭磊, 唐斌, 刘刚. 多站无源跟踪系统容错算法 . 电子科技大学学报, 2008, 37(5): 681-684.
[13]	许都, 宋雷, 王宏. 死锁恢复的多维交换结构容错路由算法 . 电子科技大学学报, 2008, 37(6): 844-847,854.
[14]	王昱青, 陈华富, 尧德中. 一种扩展的功能磁共振BOLD动力学模型研究 . 电子科技大学学报, 2007, 36(2): 291-293.
[15]	沈莹, 唐友喜. 无扩频矩阵知识二维扩频系统的盲同步 . 电子科技大学学报, 2006, 35(6): 861-864.
[16]	李才良, 毛勇. 以概率p进入M/G/1排队系统的等待时间 . 电子科技大学学报, 2006, 35(2): 271-274.
[17]	丘志杰, 刘心松, 刘丹, 刘谐. 内核级并发通信的研究 . 电子科技大学学报, 2006, 35(4): 524-527.
[18]	陈文宇, 桑楠, 屈鸿. 分布式对象调试中的事件模型 . 电子科技大学学报, 2005, 34(3): 377-380.
[19]	肖军模. 对军用安全模型的扩展 . 电子科技大学学报, 2005, 34(2): 186-189.
[20]	饶克谨, 赵伯琳. 无金属基底吸波结构对TE波的反射 . 电子科技大学学报, 1998, 27(2): 129-135.

WeChat

点击查看大图

计量

文章访问数: 3189
HTML全文浏览量: 103
PDF下载量: 66
被引次数: 0

基于动作细化的握手扩展

doi: 10.3969/j.issn.1001-0548.2011.03.016

1. 电子科技大学光电信息学院;

2. 美国波特兰州立大学电子与计算机工程学院

基金项目:

国家863计划(2007AA01Z143)

作者简介:
杨昕梅(1978-),女,博士,主要从事复杂系统验证与评估技术方面的研究.

收稿日期: 2009-10-28
修回日期: 2010-01-18
刊出日期: 2011-06-15

中图分类号: TN402

关键词:

摘要: 基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。

English Abstract

杨昕梅, 孙秀莉, 李绍荣. 基于动作细化的握手扩展[J]. 电子科技大学学报, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

引用本文:

杨昕梅, 孙秀莉, 李绍荣. 基于动作细化的握手扩展[J]. 电子科技大学学报, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

YANG Xin-mei, SUN Xiu-li, LI Shao-rong. Handshaking Expansion Based on Action Refinement[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

Citation:

YANG Xin-mei, SUN Xiu-li, LI Shao-rong. Handshaking Expansion Based on Action Refinement[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 406-410. doi: 10.3969/j.issn.1001-0548.2011.03.016

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发