检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京邮电大学,太原重型机械学院,西安交通大学
出 处:《太原重型机械学院学报》1998年第4期273-280,共8页Journal of Taiyuan Heavy Machinery Institute
基 金:机械部教育司科技项目;机械制造系统工程国家重点实验室开放基金
摘 要:本文在混合系统的自动机和变迁系统模型的基础上,对混合系统按照不同抽象层次进行系统分解,提出了一种递归形式的混合系统模型。这种模型支持由粗到细逐步细化的建模。当这种模型满足给出的若干附加性质时,它容易转化为逻辑结构清晰的混合仿真程序。最后对一个混合系统的实例建立了其混合仿真的递归形式仿真模型。Based on the automata and transition system models of hybrid systems,this paper decomposes hybrid systems according to different adstraction levels and proposes a recursion model of hybrid systems. This model supports the step by step modeling from abstract to concrete. When such model satisfies the given additional properties,it is easy to translate it to combined simulation programs which have clear logic structures. Finally, the recursion model of an example is given.
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117