广西师范大学学报（自然科学版） ›› 2011, Vol. 29 ›› Issue (2): 138-144.

• • 上一篇    下一篇

一个可控制变迁系统模型

许道云, 王晓峰   

  1. 贵州大学计算机科学与信息学院,贵州贵阳550025
  • 收稿日期:2011-04-20 发布日期:2018-11-19
  • 通讯作者: 许道云(1959—),男,贵州安顺人,贵州大学教授,博导。E-mail:dyxu@gzu.edu.cn
  • 基金资助:
    国家自然科学基金资助项目(60863005)

Model of Controllable Transition System

XU Dao-yun, WANG Xiao-feng   

  1. College of Computer Science and Information,Guizhou University,Guiyang Guizhou 550025,China
  • Received:2011-04-20 Published:2018-11-19

摘要： 本文以带输出的非确定型标记变迁系统为基本框架,建立了一个可控制变迁系统模型。在该模型中,伴随内部状态的输出作为观察部分,根据外部观察固定长度的历史记录,决定对系统实施反馈控制。运行状态、外部观察以及反馈控制形成一个环路。赋予非确定性的模糊或概率表示,可以进一步研究系统的相关性质。引入状态等价关系下的双模,可实现系统优化。

关键词: 可控制变迁系统, 模型, 性质分析, 双模, 系统优化

Abstract: A model of controllable transition system is presented based on the frame of nondeterministic labeled transition systems.In the model,the outputs associated with the inner states are viewed as observable information,and the feedback controls of the system are depended on historic records of observations of fixed length.The cycles of running in the system consist of inner running states,outer observations and feedback controls.Furthermore,the related properties in the system can be further studied based on the nondeterministic transition systems with probabilities or fuzzy theories,and the optimization of implementing system can be done by bisimulation of states equivalence.

Key words: controllable transition system, modeling, analysis ofproperties, bisimulation, system optimization

中图分类号: 

  • TP301
[1] 杜尚丰,孙明,董乔雪.智能控制理论与应用[M].北京:中国农业大学出版社,2005.
[2] 杨文.模糊离散事件系统监督控制理论[J].自动化学报,2008,34(4):460-465.
[3] 叶阳东,贾利民.模糊离散事件动态系统相关问题的研究[J].中国铁道科学,2001,22(6):44-49.
[4] CASSANDRAS C G,LAFORTUNE S.Introduction to discrete event systems[M].Norwell,MA:Kluwer,1999.
[5] RAMADGE R J,WONHAM W M.Supervisory control of a class of discreteevent processes[J].SIAM Journal on Control and Optimization,1987,25(1):206-230.
[6] HEYMANN M,LIN F.Discrete-event control of nondeterministic systems[J].IEEE Transactions on Automatic Control,1998,43(1):3-17.
[7] HOPCROFT J E,MOTWANI R,ULLMAN J D.Introduction to automata theory,language,and computation[M].2nd ed.Boston,MA:Addison Wesley,2001.
[8] 贺伟.范畴论[M].北京:科学出版社,2006.
[9] LARSEN K G,SKOU A.Bisimulation through probabilistic testing[J].Information and Computation,1999,94(1):1-28.
[10] RUTTEN J.Universal coalgebra,a theory of systems[J].TheoreticalComputer Science,2000,249(1):3-80.
[11] MOSS L.Coalgebraic logic[J].Annals of Pure and Applied Logic,1999,96(1/3):277-317.
[12] 陆钟万.面向计算机科学的数理逻辑[M].2版.北京:科学出版社,2007.
[13] MITCHELL T M.机器学习[M].曾华军,译.北京:机械工业出版社,2003.
[14] ACZEL P,MENDLER N.A final coalgebra theorem[J].Computer Science,1989,389(1):357-365.
[15] RUTTEN J.Automata and coinduction (an exercise in coalgebra)[J].Computer Science,1998,1466(1):547-554.
[1] 张灿龙, 李燕茹, 李志欣, 王智文. 基于核相关滤波与特征融合的分块跟踪算法[J]. 广西师范大学学报（自然科学版）, 2020, 38(5): 12-23.
[2] 王娜娜, 张翔. PAN基弱碱性离子交换纤维对Zn2+吸附性能研究[J]. 广西师范大学学报（自然科学版）, 2020, 38(5): 86-94.
[3] 徐建闽, 韦佳, 首艳芳. 基于博弈论-云模型的城市道路交通运行状态综合评价[J]. 广西师范大学学报（自然科学版）, 2020, 38(4): 1-10.
[4] 田晟, 吕清. 动力电池动态老化模型的研究与仿真[J]. 广西师范大学学报（自然科学版）, 2020, 38(3): 11-18.
[5] 杨晓伟, 张军舰. 负二项回归模型的重对数律和强相合性[J]. 广西师范大学学报（自然科学版）, 2020, 38(3): 59-69.
[6] 包剑飞, 张杜鹃. 旅游产业与区域经济耦合协调度研究——以长江三角洲城市群为例[J]. 广西师范大学学报（自然科学版）, 2020, 38(3): 117-127.
[7] 郜红娟, 韩会庆, 罗绪强, 李金艳, 陈梦玲, 张新鼎. 贵州土地利用变化对淡水生态系统服务的影响[J]. 广西师范大学学报（自然科学版）, 2020, 38(1): 157-163.
[8] 邹艳丽, 汪洋, 刘树生, 姚飞. 带有邻居度信息的容量负载模型下电网级联故障研究[J]. 广西师范大学学报（自然科学版）, 2019, 37(4): 27-36.
[9] 李旭, 何茜, 白冰, 周伟. 鱼类生境适宜性研究回顾及在横断山区应用思考[J]. 广西师范大学学报（自然科学版）, 2019, 37(4): 111-118.
[10] 陈凤,蒙祖强. 基于BTM和加权K-Means的微博话题发现[J]. 广西师范大学学报（自然科学版）, 2019, 37(3): 71-78.
[11] 杜雪松,林勇,梁国琨,黄姻,宾石玉,陈忠,覃俊奇,赵怡. 两种罗非鱼的耐寒性能比较[J]. 广西师范大学学报（自然科学版）, 2019, 37(3): 174-179.
[12] 吕凯晨, 闫宏飞, 陈翀. 基于沪深300成分股的量化投资策略研究[J]. 广西师范大学学报（自然科学版）, 2019, 37(1): 1-12.
[13] 胡锡亨, 张伟斌, 吴青峰, 李松, 金圆圆, 陈善俊, 韦建军. RbCaCl3晶体的弹性及热力学性质研究[J]. 广西师范大学学报（自然科学版）, 2019, 37(1): 173-180.
[14] 许远静, 胡维平. 基于随机森林的不同程度病态嗓音识别[J]. 广西师范大学学报（自然科学版）, 2018, 36(4): 34-41.
[15] 刘电霆, 吴丽娜. 社会网络中基于信任的LDA主题模型领域专家推荐[J]. 广西师范大学学报（自然科学版）, 2018, 36(4): 51-58.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 广西师范大学学报（自然科学版）编辑部
地址：广西桂林市三里店育才路15号　邮编：541004
电话：0773-5857325　E-mail: gxsdzkb@mailbox.gxnu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发