拟线性脉冲系统的一致渐近稳定性

利用Lyapunov函数方法研究拟线性脉冲混合系统的一致性渐近稳定性，建立该类系统一致渐近稳定性的充分条件，最后，作为应用给出一个实例。     

混合型集成神经网络故障诊断方法研究

基于集成神经网络故障诊断理论，提出了一种混合型集成神经网络故障诊断方法，阐述了其结构和算法。采用了工业对象对其进行了仿真研究，通过仿真结果表明其可行性。     

粗糙集-神经网络故障诊断方法研究

从人工神经网络故障诊断模型的特点出发 ,利用粗糙集理论解决该模型应用中的主要问题 ,包括进行训练样本质量研究 ,定义相关概念 ,给出故障特征提取算法等 ,提出了粗糙集 神经网络智能混合系统模型 ,分析了该模型的实现步骤 ,结合具体实例验证了上述理论的正确性·利用SAS软件进行了数值仿真·结果表明 ,提出的理论较好地解决了神经网络结构、训练样本的大小、样本质量等对人工神经网络的精度及泛化能力有直接影响的问题 ,减少了训练所需的计算量和时间 ,提高了模型的正确率·     

自主车辆行为决策的安全验证方法

在各种不同类型交通事件的触发下,自主车辆的行为过程在连续和离散模式间动态切换,表现出复杂的混合系统的动态行为.采用形式验证技术研究自主车辆行为决策的安全验证方法.依据自主车辆环境感应器测得的原始数据,对其他车辆的初始状态进行估计,并根据自主车辆和其他车辆的不确定初始状态将其抽象为马尔科夫链.然后,利用离线产生的马尔科夫...     

基于区间计算的混合系统定时器设定范围的实例验证

针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案,应用区间计算方法能很容易地得出复杂连续动态的过渡状态,不仅可以很好对具有定时器的混合系统在某一时刻上进行验证,还可对定时器处在某一范围内的情况进行验证,化工过程控制中混合系统的实例验证过程,证明了上述思想的可行性。     

一种SET的SPICE宏模型及SET/CMOS混合系统仿真研究

基于单电子晶体管(SET)数学分析模型,改进了它的SPICE宏模型.该模型考虑了背景电荷的影响,由1个电压控制电流源、1个电压控制电压源构成.与准分析模型相比较,该模型准确地表现了SET的I-U特性.通过A/D转换器的仿真实例表明,所设计的3位SET/CMOS混合系统具有良好的适用性和精确度,可以推广到SET/CMOS混合系统的管子级设计.     

Implementation of transaction level AMBA bus models using systemC

This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are twom ain techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction level and using the uniformed modeling language-System C.According to the concepts of interface,port and hierarchical channel introduced in SystemC 2.0,the system of master-channel (AMBA bus) slave is created as the architecture of the AMBA bus transaction level model,which can make it more extendable.The port and interface classes of the model that are prone to program are defined in accordance with the SoC hierarchical design methodology,In addition,method calls,not signal communication,are used between different modules in the model,so the higher-level abstraction is achieved and the simulation performance is improved.The AMBA bus transaction level model is analyzed and certified by simulation experiment,and proved to be completely compliant to the AMBA specification 2.0.     

基于Petri网的城市交通控制混合系统模型

城市道路交通信号控制是典型的混合动态系统,既包含连续状态变量又包含离散状态变量.本文归纳研究了信号控制交叉口群的主要构成元素：交通信号控制、交叉口与道路路段,其中交通信号控制与交叉口两个元素属于离散事件动态系统（DEDS）,而道路路段交通流属于连续时间动态系统（CVDS）.然后,应用混合系统建模理论,分别构筑了交通信号控制的petri网模型、交叉口的petri网模型、道路路段交通流的连续系统模型,以及交叉口petri网模型与路段交通流模型之间的接口.该模型具有既能够进行交通控制信号优化与交通阻塞机理解析应用,又便于计算机软件实现的优点.