Login
Language: English  |  中文 
 
 
 

广西民族大学机构知识库 > → 广西民族大学 > → 信息科学与工程学院 > → 期刊论文 >


Please use this identifier to cite or link to this item: http://ir.calis.edu.cn/hdl/530500/4652

Title: Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems
Authors: Chengdu Institute of Computer Application, Chinese Academy of Sciences, China
Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities; School of Computer and Information Technology, Beijing Jiaotong University, China
Hao Yang1
Jinzhao Wu
Zhiwei Zhang
Yang Liu
Keywords: Three dimensional t-model nonlinear algebraic program
three dimensional t-model nonlinear algebraicHybrid Systems
completed trace equivalence
Issue Date: 2013
Publisher: Applied Mathematics & Information Sciences
Citation: Applied Mathematics & Information Sciences, 2013, 7(5):1693-1697.
Abstract: In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid Systems and eliminate system states, approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems is proposed. Firstly,the three dimensional t-model nonlinear algebraic program is used to describe the system continuous transition behavior. Then, the approximate of three dimensional t-model nonlinear algebraic Hybrid System is established.Whether trace is approximate or not could be decided through three dimensional t-model nonlinear algebraic Hybrid System trace approximate algorithm. Next, it put forward the approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems. It can optimize three dimensional t-model nonlinear algebraic program as well as reduce the number of system states. The experiment result shows that this method is effective
URI: http://ir.calis.edu.cn/hdl/530500/4652
Appears in Collections:期刊论文

Files in This Item:

File Description SizeFormat
Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems.pdf158.73 kBAdobe PDFView/Open
Recommend this item     Add this item as favorite
View Statistics

License: See CALIS IR operational policies.

Number of Online Users: 207     Total of Site Visit: 3504408