摘要
虚拟仿真技术应用于高校教学实验系统是一种新兴的教学思路。离散事件系统是虚拟仿真技术的常用方法。该文以微机接口教学与实验系统为例,就基于离散事件系统进行建模和仿真教学实验系统作了一些研究。
出处
《电脑知识与技术》
2017年第4期133-135,共3页
Computer Knowledge and Technology
二级参考文献17
-
1LIU F C, LIN H, DZIONG Z. Bisimilarity control of partially ob- served nondeterministic discrete event systems and a test [J]. Auto- matica, 2011,47(4): 782- 788.
-
2LIU F C, QIU D W, LIN H. Bisimilarity control of nondeterministic discrete event systems [C] //The 30th Chinese Control Conference. New York: IEEE, 2011:87 - 92.
-
3HENNESSEY M, MILNER R. Algebraic laws for nondeterminism and concurrency [J]. Journal of the ACM, 1985, 32(1 ): 137 - 161.
-
4DANOS V, DESHARNAIS J, LAVIOLETTE F, et al. Bisimula- tion and cncongruence for probabilistic systems [J]. Information and Computation, 2006, 204(4): 503 - 523.
-
5YING M S. Bisimulation indexes and their applications [J]. Theoret- ical Computer Science, 2002, 275(1/2): 1 - 68.
-
6PAPPAS G J. Bisimilar linear systems [J]. Automatica, 2003, 39(12) 2035 - 2047.
-
7HAGHVERDI E, TABUADA P, JAPPAS G J. Bisimulation relations for dynamical, control, and hybrid systems [J]. Theoretical Computer Science, 2005, 342(2/3): 229 - 261.
-
8NIELSEN M, WINSKEL G. Petri nets and bisimulation [J]. Theoret- ical Computer Science, 1996, 153( 1/2): 211-244.
-
9CLARKE E M, GRUMBERG O, PELED D. Model Checking [M]. London: MIT Press, 1999.
-
10CASSANDRAS C G, LAFORTUNE S. Introduction to Discrete Event Systems [M]. Boston, MA: Kluwer, 1999.
共引文献5
-
1刘富春,罗苹.具有多项式时间复杂性的离散事件系统安全诊断[J].控制理论与应用,2017,34(6):717-722. 被引量：7
-
2刘富春,张旭,赵锐.不完备离散事件系统的当前状态不透明性[J].控制理论与应用,2019,36(7):1067-1071. 被引量：1
-
3刘富春,严飞,赵锐,崔洪刚.分层离散事件系统的不透明性[J].信息与控制,2019,48(3):339-343. 被引量：1
-
4刘富春,曹越,赵锐,邓秀勤,崔洪刚.离散事件系统最小故障诊断基的求解与应用[J].信息与控制,2020,49(5):521-526. 被引量：2
-
5刘富春,胡芹.基于分布式离散事件系统监控理论的云资源动态调度[J].信息与控制,2017,46(5):558-563. 被引量：5
同被引文献22
-
1宋小春,陆载涵,鄢烈祥.基于Web的化工原理虚拟仿真实验系统[J].计算机工程与设计,2004,25(8):1267-1268. 被引量：6
-
2张小新,魏厚龙.FPGA技术及其开发方式概述[J].山西电子技术,2008(5):86-87. 被引量：6
-
3李耀麟,张吕彦.虚拟实验的研究现状及其发展前景[J].陇东学院学报,2009,20(2):118-121. 被引量：23
-
4王顺利,戴明,孙丽娜,李波,李志强.基于FPGA的一种新型8通道数据采集系统[J].电子技术应用,2009,35(11):79-81. 被引量：7
-
5杨海钢,孙嘉斌,王慰.FPGA器件设计技术发展综述[J].电子与信息学报,2010,32(3):714-727. 被引量：220
-
6郭永彩,苏渝维,高潮.基于FPGA的红外图像实时采集系统设计与实现[J].仪器仪表学报,2011,32(3):514-519. 被引量：76
-
7任丰兰.基于组态王和PLC的虚拟仿真教学实验系统的开发[J].机电工程技术,2012,41(3):43-47. 被引量：10
-
8林徐润,段虎.虚拟仿真技术在高职实训教学中的应用[J].深圳信息职业技术学院学报,2012,10(2):21-25. 被引量：91
-
9郑争兵,魏瑞,陈正涛.一种基于FPGA的高速数据通道的实验方法[J].实验室研究与探索,2012,31(12):78-81. 被引量：13
-
10陈曦,杨亮,李鹏斐,罗浩.基于FPGA的静电测向系统[J].仪器仪表学报,2013,34(8):1901-1906. 被引量：13
引证文献2
-
1赵红梅,包保全,薛培凤,陈建平,额尔敦,张屏.虚拟仿真实验教学项目的建设与管理[J].内蒙古医科大学学报,2018,0(S02):1-3. 被引量：4
-
2王开宇,赵海博,秦晓梅,赵权科,张晶.基于FPGA+HTML5动画的数码管虚拟仿真教学实验设计[J].实验技术与管理,2018,35(8):119-120. 被引量：5
二级引证文献9
-
1于蕾艳,石永军.融合研究性教学的汽车虚拟仿真教学平台[J].实验技术与管理,2019,36(5):126-128. 被引量：8
-
2秦晓梅,巢明,谢梦琦,赵权科,王开宇.远程实体操控单片机实验平台建设[J].实验科学与技术,2019,17(4):87-91. 被引量：4
-
3秦晓梅,巢明,程春雨,赵权科,姜艳红,崔承毅.传统单片机对IIC总线通信模拟编程的优化研究[J].工业和信息化教育,2019,0(10):39-43. 被引量：5
-
4武照云,鱼鹏飞,朱红瑜,李广玉,孟逵.基于HTML5的凸轮廓线图解法App教学软件研究[J].中国教育信息化,2019,25(22):85-89. 被引量：1
-
5徐鹏程.“工业4.0”时代医药类学生实践能力培养——以内蒙古医科大学为例[J].药学研究,2020,39(9):547-549. 被引量：1
-
6祝颂.以人才培养质量为切入点反思药物分析实验教学[J].科技风,2023(10):13-15. 被引量：2
-
7沈艳,米鍇,冯晓丽,吕靖,边慧.虚拟仿真实验平台在医学机能学实验中的应用[J].信息与电脑,2023,35(5):248-250. 被引量：3
-
8宋玉强,王维昌.柴油机凸轮轴热处理工艺三维动画开发[J].中国冶金教育,2024(2):42-44.
-
9张彦飞,孙新,张慧锋,郭淑英,于欢,马莹慧.虚拟仿真技术结合药物分析实验的“技能型”人才培养的教学改革[J].化工管理,2024(25):46-49.
-
1赵李东,张少芳.教学实验用计算机性能需求分析[J].科技风,2008(21):102-102.
-
2饶淑珍.基于Packet Tracer软件的OSPF协议仿真教学实验[J].电脑知识与技术,2016,12(1Z):194-195. 被引量：4
-
3谢志英,谢方方,杨素敏.《计算机硬件技术基础》虚拟仿真教学实验探索[J].电脑知识与技术（过刊）,2015,21(5X):151-152. 被引量：3
-
4黄成庆,卞根发.电脑仿真技术应用于船舶驾驶的实践教学[J].福建电脑,2011,27(1):199-200.
-
5陈思明,卞根发.电脑仿真教学电站模拟器的开发与应用[J].福建电脑,2006,22(6):187-187.
-
6徐晓龙,张全升,王佳宁.基于LabVIEW的信号发生器设计[J].电脑编程技巧与维护,2017(10):77-79. 被引量：1
-
7曹世华,余军阳,娄雅芳.基于物联网的移动护理信息学教学实验系统设计与应用[J].中国数字医学,2017,12(5):42-44. 被引量：9
-
8许桂花.初中语文读写结合教学思路研究[J].新课程,2017,0(8):5-5.
-
9王雄,高海艳,杨旭博,刘小乐,李启龙.基于MATLAB的送药装置驱动系统建模与仿真[J].机械制造与自动化,2017,46(3):158-160. 被引量：1
-
10方国庆,李文明,余洋,张洋,叶笑春,安虹.高通量众核并行模拟加速技术研究[J].计算机工程,2017,34(4):73-78.
