基于Petri网的分布式实时多媒体同步模型被引量：10

A distributed realtime multimedia synchronic model based on Petri net

下载PDF

导出

摘要利用Petri网这个形式化的工具对多媒体同步模型进行了描述,并借鉴了DTPN的交互思想和XTSPN的动态语义,使该模型具有交互性,并能克服网络延迟等影响.

作者姚洪英范铁生苏红丽马海英

机构地区辽宁大学沈阳工业大学

出处《沈阳工业大学学报》 EI CAS 2004年第1期96-98,共3页 Journal of Shenyang University of Technology

关键词多媒体同步 PETRI网同步控制

分类号 TN911.73 [电子电信—通信与信息系统]

引文网络
相关文献

参考文献4

1单志广,杨扬,王任,于兴业.扩展时间流Petri网多媒体同步模型[J].计算机研究与发展,2000,37(2):223-227. 被引量：8
2王素彬,石自力.多媒体系统的交互式同步模型[J].计算机工程与应用,1999,35(7):20-21. 被引量：2
3蔡安妮,孙景鳌编著..多媒体通信技术基础[M].北京:电子工业出版社,2000:376.
4袁崇义著..Petri网原理[M].北京:电子工业出版社,1998:199.

二级参考文献5

1Ralf Steinmetz，Multimedia: computing,commuications and applications，1996年被引量：1
2胡晓峰，多媒体系统原理与应用，1996年被引量：1
3王任，硕士学位论文，1999年被引量：1
4魏铁军，博士学位论文，1997年被引量：1
5魏铁军,陈俊亮.分布式多媒体通信中的同步技术[J].北京邮电大学学报,1997,20(3):24-29. 被引量：15

共引文献8

1李乃祥.Dual-scale multimedia dynamic synchronization model[J].Journal of Chongqing University,2009,8(4):257-264.
2李乃祥.双层多媒体动态同步模型构建方法研究[J].计算机工程与应用,2010,46(23):67-71.
3李乃祥.基于两类同步点的双尺度多媒体动态同步模型[J].天津师范大学学报（自然科学版）,2010,30(3):49-53.
4蔡燕,刘守印.一种扩展的基于Petri网的多媒体同步模型[J].计算机工程与应用,2001,37(23):127-129. 被引量：1
5刘晓霞,李芳.物联网视频感知节点的动态同步建模与仿真[J].软件工程,2019,22(1):27-30.
6胡新荣,杨翠萍.音、视频信号同步技术的研究[J].计算机工程与应用,2003,39(3):153-155. 被引量：5
7王玲玲,曾建潮,杨根科.基于Petri网的多媒体同步通信模型[J].计算机工程与科学,2004,26(1):99-101.
8张广胜,吴哲辉,翟正利,贾广余.基于同步时间Petri网的细粒度多媒体同步模型研究[J].计算机科学,2004,31(2):78-81. 被引量：2

同被引文献52

1朱翠,王晓洁,段晓红.我国汽车销售公司服务营销现状浅析[J].消费导刊,2009,0(6):10-10. 被引量：2
2肖健宇,张德运,陈海诠,董浩.模型检测与定理证明相结合开发并验证高可信嵌入式软件[J].吉林大学学报（工学版）,2005,35(5):531-536. 被引量：6
3宫蓉蓉.基于Petri网的可达树与可达图的构造与算法实现[J].计算机与数字工程,2006,34(1):111-113. 被引量：6
4王锡钢,齐大彬.基于Petri网的工作流建模技术分析与应用[J].计算机应用与软件,2007,24(3):102-103. 被引量：8
5Leveson N G. Software safety: why, what, and how [J]. ACM Computing Surveys, 1986,18 (2) : 125 - 163. 被引量：1
6袁崇义.Petn网原理与应用[M].北京:电子工业出版社,2005:51-75. 被引量：1
7Cicirelli F, Furfaro A, Nigro L. An approach to protocol modeling and validation [ C ]//ANSS' 06 Proceedings of the 39th Annual Symposium on Simulation. Washington DC ,USA,2006:261 -268. 被引量：1
8Franck C, Olivier H R. Structural translation from time petri nets to timed automata [ J ]. Journal of Systems and Software,2006,79(10) :1456 - 1468. 被引量：1
9Bell D G, Brat G P. Automated software verification & validation: an emerging approach for ground operations [ C ]//Aerospace Conference, 2008 IEEE. Big Sky,USA,2008 : 1 - 8. 被引量：1
10Li Z,Liu B ,Ma N ,et al. Formal testing applied in embedded software [ C ]//Proceedings of International Conference on Reliability, Maintainability and Safety. Chengdu, China,2009:1 - 5. 被引量：1

引证文献10

1韦宁.基于ASP.NET的商品Cult3D展示[J].广西大学梧州分校学报,2004,14(3):61-63. 被引量：2
2崔文成,杨雪,葛睿,邵虹,于淼.基于高级Petri网的住院医师培训工作流建模与分析[J].沈阳工业大学学报,2010,32(6):687-692. 被引量：1
3李露.基于Petri网的多媒体同步技术研究[J].科技创业月刊,2007,20(10):190-191. 被引量：1
4刘慧喜.VR技术在产品设计中的应用[J].山西科技,2007(5):120-120. 被引量：3
5郭西雅.体验营销理念在汽车销售体系中的应用研究[J].生产力研究,2010(3):210-211. 被引量：3
6李震,刘斌,殷永峰,李晓勋.基于扩展Petri网的安全关键软件需求模型检验[J].沈阳工业大学学报,2011,33(1):113-120. 被引量：4
7孙晓瑜.铁路机务系统远程教育中Cult3d技术的应用[J].科技信息,2011(25).
8李震,刘斌,陆民燕,殷永峰.基于扩展Petri网的除冰软件安全需求建模和验证[J].北京航空航天大学学报,2012,38(1):64-68. 被引量：3
9李震,刘斌,苗虹,殷永峰.基于划分软件安全Petri网的需求形式化验证[J].系统工程与电子技术,2012,34(9):1966-1972. 被引量：1
10毛洋.VR技术在工业设计中的应用发展[J].设计,2018,31(23):90-91. 被引量：7

二级引证文献25

1石从继.Cult3D在机械产品网上发布系统中的应用[J].机械管理开发,2010,25(4):199-200. 被引量：2
2李震,刘斌,陆民燕,殷永峰.基于扩展Petri网的除冰软件安全需求建模和验证[J].北京航空航天大学学报,2012,38(1):64-68. 被引量：3
3李震,刘斌,苗虹,殷永峰.基于划分软件安全Petri网的需求形式化验证[J].系统工程与电子技术,2012,34(9):1966-1972. 被引量：1
4王佳妮.当今形势下汽车销售若干问题研究与思考[J].现代营销（下）,2012(11):55-56.
5刘艳秋,谢萌,丁伟祥.基于RCEPN的资源配置优化模型与方法[J].沈阳工业大学学报,2013,35(6):667-671. 被引量：2
6黄志球,徐丙凤,阚双龙,胡军,陈哲.嵌入式机载软件安全性分析标准、方法及工具研究综述[J].软件学报,2014,25(2):200-218. 被引量：65
7郭俊利.基于网络和数据库的电话营销在汽车销售中的应用研究[J].商,2015,0(38):95-95.
8洪英汉,黄彬超.基于jQuery框架的产品3D展示技术的研究与实现[J].电脑知识与技术,2015,0(10):144-145. 被引量：1
9郑健敏,阴忆青,魏宁,余情,郑玉英.基于BPM的住院医师管理系统开发与实现[J].医学信息学杂志,2016,37(3):37-41. 被引量：6
10林艳艳.基于数字化技术的汽车零售商业模式[J].莆田学院学报,2016,23(6):54-58. 被引量：1

1宋军,顾冠群.基于Petri网的同步通信模型及算法[J].通信学报,1997,18(12):19-24. 被引量：1
2赵宇虹,艾波.SDL-2000动态语义定义方法[J].吉林大学学报（信息科学版）,2002,20(3):25-28.
3宋军,顾冠群.多媒体同步通信的Petri网模型[J].数据通信,1998(1):15-17. 被引量：1
4马驰州,滕鹏晓,杨亦春,尹力.分布式实时被动声定位系统研究[J].探测与控制学报,2007,29(1):18-22. 被引量：17
5秦啸,庞丽萍.分布式实时系统结构的研究[J].信息与开发,1998(1):21-23.
6李福东.面向移动互联网的位置营销关键技术与方法研究[J].信息通信技术,2015,9(5):91-96. 被引量：4
7王晓晖,朱耀庭,朱光喜.实时多媒体通信的同步模型研究[J].通信学报,2000,21(2):7-14. 被引量：4
8计算机系统、计算机网络与网络互连[J].电子科技文摘,2000(9):105-110.
9张广胜,吴哲辉,翟正利,贾广余.基于同步时间Petri网的细粒度多媒体同步模型研究[J].计算机科学,2004,31(2):78-81. 被引量：2
10李玉华,吴峣.无线数据通信的分布式实时水文监测系统[J].电子技术应用,2001,27(12):44-45. 被引量：1

沈阳工业大学学报

2004年第1期

浏览历史

内容加载中请稍等...

基于Petri网的分布式实时多媒体同步模型被引量：10

参考文献4

二级参考文献5

共引文献8

同被引文献52

引证文献10

二级引证文献25

相关作者

相关机构

相关主题

浏览历史

基于Petri网的分布式实时多媒体同步模型 被引量：10

参考文献4

二级参考文献5

共引文献8

同被引文献52

引证文献10

二级引证文献25

相关作者

相关机构

相关主题

浏览历史

基于Petri网的分布式实时多媒体同步模型被引量：10