论文部分内容阅读
混合系统是一种离散和连续构件融合在一起的反应系统，通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。本文概述了目前几个重要的混合计算模型，并通过扩充公平转换系统ＦＴＳ，提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。
混合系统的形式化模型
【摘 要】
：
混合系统是一种离散和连续构件融合在一起的反应系统，通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。本文概述了目前几个重要的混合计算模型，并通过扩充公平转换
【机 构】
：
重庆大学计算机学院
【出 处】
：
重庆大学学报(自然科学版)
【发表日期】
：
1999年6期
其他文献
本文首先简单介绍一下道路桥梁的发展现状,然后详细介绍道路桥梁施工中的易发问题,并分析具体有效的防御措施,最后对全文进行总结分析,综合展望道路桥梁施工防御问题的发展前
随着科学技术的发展,计算机技术、网络技术大量运用到教学之中,作为知识的传播者教师,应及时提高自己的技能,更好地掌握和运用现代技术为教学服务.本文通过对教师技术职能发
微生物驱油是一种经济有效的三次采油方法.针对微生物在水油性油藏传输驱油的问题进行渗流数学理论研究.根据石油微生物学的多孔介质中微生物传输作用机制,首先建立了适合于
利用开关电容滤波器的特性构造了一个小波函数发生器，它能够方便地产生不同尺度下的小波信号波形，文中给出了一个具体的实现方案，并论证了随着样点数的增加和样点间隔的减小可以
将人工神经网络理论和模糊系统理论结合起来，研究并提出了一类基于人工神经网络的模糊系统建模和控制方法。仿真表明该方法能有效地用于多种难以建立数学模型的控制系统。
近年来,职业院校的生源数量和质量呈逐年下滑趋势,学生英语水平尤其是商务英语能力参差不齐,制约了教学质量的提高.实施分层次技能教学有利于不同英语基础的学生扬长避短,实
直流系统是发电厂厂用电中最重要的一部分,它应保证在任何事故情况下都能可靠和不间断地向其用电设备供电。洛电二期原有的直流系统蓄电池采用老式镍镉蓄电池,充电和绝缘检测
设计了一种用于手写字符在线识别的多级分类器模型。在该模型中，通过对四个独立的分类算法进行集成，将脱机方法与联机方法，神经网络方法与传统方法有机地结合起来构成一个完整的
生态文明的目标是实现人与自然的和谐发展，中华传统的自然生态伦理思想是生态文明的哲学基础与思想源泉，党的十八大报告提出，要树立“尊重自然、顺应自然、保护自然”的生态文明
伴随近些年我们国家的高速公路快速发展,公路质量问题已经成为工程的生命重要保证,是人们的普遍共识。公路质量问题一直都不同程度的存在着,并且造成严重的交通事故也时有发