daizhancheng的个人博客分享 http://blog.sciencenet.cn/u/daizhancheng

博文

一篇在审的博士学位论文 精选

已有 34326 次阅读 2013-8-23 17:24 |个人分类:科研|系统分类:科研笔记

大约两周前收到以色列Tel Aviv大学研究生委员会主席R. Fastner教授的e-mail邀请我评审D. Laschov的博士学位论文虽然与Mr. Laschov素未谋面也无直接交往但知道他和他的老师Margaliot教授一直在做矩阵半张量积方面的研究自然有兴趣读一读他的博士论文更何况$300的评审费对一位退休的穷教授也算不菲

 

昨天收到邮寄来的博士学位论文今天开读突然心血来潮想和朋友们分享一下自己的感受

 

1谁说我们没有创新

 

先把论文摘要的开头两段翻译如下原文见附一):

 

布尔网络是具有布尔状态变量的离散时间动态系统目前作为生物系统特别是基因调控系统的计算模型布尔网络正吸引着相当大的注视布尔控制网络是带有布尔输入的布尔网络程代展利用矩阵半张量积发展了代数状态空间表示法这种表示法对于在控制理论的框架下研究布尔控制网络已被证明非常有用

 

在本文中我们利用代数状态空间表示法研究若干布尔控制网络的控制问题包括最优控制最小时间控制能控性和能观性研究这些问题会加深我们对基因环路以及生物系统内部控制的理解从而发展出适用的控制方法以利用外部输入调控生物系统。”

 

有些人一说到国内学者的研究工作就贬得一塌糊涂好像我们只会从国外杂志缝里找题目只会跟着外国人后面跑我在这里不是想自吹自擂但我们在埋头苦干的同时也可以偶尔自豪地抬起头来说:“我们的工作是原创的这项研究是外国人在跟着我们做。”

 

有几个人曾在我的博客上留言诋毁我的工作:“我认为XX之所以放弃搞科研是因为他决心脱离程代展搞的伪科学项目我将自己的研究工作当作自己的Baby看到这样的评价难免痛心希望这篇博文能多少改变一点这些人对我们工作的看法

 

2别人眼里的矩阵半张量积

 

再把论文第一章引言的开头一小节翻译如下原文见附二):

 

程代展和他的同事们发明了一种布尔网络/布尔控制网络的代数表示法[1]我们将在第二章给出这种表示法的细节这个新工具激发了布尔网络/布尔控制网络方面的大量研究工作例如找出布尔网络/布尔控制网络不动点与极限圈的数目、过渡过程与吸引域[2,3]布尔网络的状态空间分析[4]布尔控制网络的实现[5]能控性与能观性[6]干扰解耦[7]稳定性与镇定[8]无穷时域优化[9]布尔控制网络的辩识[10]等等[11]对这些工作做了一个很好的综述

 

最近布尔网络/布尔控制网络的代数表示法还被用到如下的一些问题上图的最大稳定集与上色问题及其在多自主体不同步问题的应用[12]布尔变换不动点的存在与数目[13]混合值逻辑网络的干扰解耦[14]时间布尔网络的能控性与选化[15]切换布尔网络的能达性与能控性[16]布尔网络/布尔控制网络的能观性与可重构性[17]高阶布尔网络的能抗性[18,19] 布尔网络/布尔控制网络的状态轨迹的周期结构[20]切换布尔网络的相容可镇定性[21]带或不带时延的布尔网络的同步[22,23,24]以及状态反馈镇定[25]。”

 

该论文的这一小节刻画了用矩阵半张量积研究布尔网络及相关问题的一个轮廓这里所列举的包括国内、外学者的一些有代表性的工作实际上这方面的文章远比这些多即使在这篇学位论文其他地方也引到利用矩阵半张量积的许多其他相关论文值得一提的是该小节引用论文最早出自2009短短五年的时间它得到了很大的发展为了便于感兴趣的读者阅读相关论文我把上述参考文献列在后面

 

我真心感谢我的同行和我过去的和现在的学生们特别是国内研究半张量积同事们你们的工作或许在上述短短的引文中被提到或许没有还有的朋友可能你们的第一篇相关论文正在审稿过程中甚至还有许多最近来信同我探讨想法的朋友我想借此机会谢谢你们让我们共同努力将这套方法发展成一个中国创造的新学科体系

 

3矩阵半张量积向何处去

 

基于矩阵半张量积的研究工作目前相当活跃随着更多的青年学生、学者的加入它越发显示出自己的生命力和广泛的应用前景最近研究显示矩阵半张量还有许多其他应用例如与线路设计有关的布尔函数的分解问题[26]模糊控制以及解模糊关系方程[27,28]时变时延的布尔网络[29]有限自动机[30]控制器设计[31]复杂网络的分解[32]队型控制[33]等等

 

那么矩阵半张量积到底能解决什么样的问题呢经过这十好几年的工作个人以为它是解决逻辑型或者说有限集上的映射和动态过程的有力工具

 

大致可以说世界上的演化过程可以分为两类时间型的和逻辑型的前者如各种力学系统包括天体运动等它们可以用微分方程、差分方程等来描述而后者如离散事件系统、生物演化、博弈等对于它们可用的经典数学工具实际上是很欠缺的而矩阵半张量积正是为后一种演化过程提供了一个合适的工具

 

不妨把经典逻辑k值逻辑及混合值逻辑统称为泛逻辑更一般地它还可以包括以这些值为界点的中间状态例如模糊逻辑以及博弈中的混合策略等当年Kalman提出状态空间方法它促使了现代控制理论的诞生实际上代数状态空间表示法就是给出了泛逻辑型动态演化的状态空间方法从某种意义上说它比连续型动态系统的状态空间方法更强大因为在这种表示下一切泛逻辑动态系统都可以表示为线性形式一切泛逻辑控制系统都可以表示为双线性形式

 

自己目前最感兴趣的问题是网络演化博弈我们用泛逻辑状态空间方法首次给出了严格的状态方程[34]相信它将成为研究网络演化博弈的一个重要平台我们的目标是要建立一个处理泛逻辑映射和泛逻辑动态过程的一套完整的数学体系不妨暂时将其称为泛逻辑数学吧

由于计算机的发展及其广泛应用有人断言:“微积分在数学中一贯处于领袖地位可以预期有朝一日这种地位将被离散数学夺走[35]。”相信我心目中的泛逻辑数学可望成为计算机时代新兴的离散数学的一个重要组成部分

 

现在就我所知国内参与矩阵半张量积及其应用研究的老师和学生来自北京大学、清华大学、山东大学、同济大学、哈尔滨工业大学、哈尔滨工程大学、大连理工大学、南开大学、浙江师范大学聊城大学以及中科院系统所、沈阳自动化研究所等国外有意大利、以色列、英国、美国、瑞典等的学者

 

这是一个应用广泛、潜力无限的新方向这是一片初春乍绿、生机盎然的新耕地我年纪已大渴望着后继有人渴望着更多有兴趣的年轻学者加入让我们一起开拓、耕耘待到金秋的收获时节我们一定会硕果累累满载而归

 

参考文献

[1] D. Cheng, H. Qi, Z. li, Analysis and Control fo Boolean Networks, Springer-Verlag, 2011.

[2] D. Cheng, H. Qi, A linear representation of dynamics of Boolean networks, IEEE Trans. Aut. Contr. , Vol. 55, 2251-2258, 2010.

[3] D. Cheng, Input-state approach to Boolean networks, IEEE Trans. Neural Networks, Vol. 20, 512-521, 2009.

[4] D. Cheng, H. Qi, State-space analysis of Boolean networks, IEEE Trans. Neural Networks, Vol. 21, 584-594, 2010.

[5] D. Cheng, Z. Li, H. Qi, Realization of Boolean control networks, Automatica, Vol. 46, 62-69, 2010.

[6] D. Cheng, H. Qi, Controllability and observability of Boolean control networks, Automatica, Vol. 45, 1659-1667, 2009.

[7] D. Cheng, Disturbance decoupling of Boolean control networks, IEEE Trans. Aut. Contr. , Vol. 56, 2-10, 2011.

[8] D. Cheng, H. Qi, Z. Li, J. Liu, Stability and stabilization of Boolean networks, Int. J. Robust Nonlin. Contr. , Vol. 21, 134-156, 2011.

[9] Y. Zhao, Z. Li, D. Cheng, Optimal control of logical control networks, IEEE Trans. Aut. Contr. , Vol. 56, 1766-1776, 2011.

[10] D. Cheng, Y. Zhao, Identification of Boolean control networks, Automatica, Vol. 47, 702-710, 2011.

[11] D. Cheng, H. Qi, Y. Zhao, Analysis and control of general logical networks An algebraic approach, Annual Reviews in Contr. , Vol. 36, 11-25, 2012.

[12] Y. Wang, C. Zhang, Z. Liu, A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems, Automaitca, Vol. 48, 1227-1236, 2012.

[13] H. Li, Y. Wang, Z. Liu, Existence and number of fixed pints of Boolean transformations via the semi-tensor product method, Appl. Math. Letters, Vol. 25, 1142-1147, 2012.

[14] Z. Liu, Y. Wang, Disturbance decoupling of mix-valued logical networks via the semi-tensor product method, Automatica, Vol. 48, 1839-1844, 2012.

[15] F. Li, J. Sun, Cotrollability and optimal control of a temporal Boolean network, Neural Networks, Vol. 34, 10-17, 2012.

[16] H. Li, Y. Wang, On reachability and controllability of switched Boolean control networks, Automatica, Vol. 48, 2917-2922, 2012.

[17] E. Fornasini, M. E. Valcher, Observability, reconstructibility and state observers of Boolean control networks, IEEE Trans. Aut. Contr. , Vol. 58, 1390-1401, 2013.

[18] F. Li, J. Sun, Controllability of higher order Boolean control networks, Appl. Math. Comput. , Vol. 219, 158-169, 2012.

[19] H. Chen, J. Sun, A new approach for global controllability of higher order Boolean control network, Neural Networks, Vol. 39, 12-17, 2013.

[20] E. Fornasini, M. E. Valcher, On the periodic trajectories of Boolean control networks, Automatica, Vol. 49, 1506-1509, 2013.

[21]H. Li, Y. Wang, Consistent stabilizability of switched Boolean networks, Neural Networks, Vol. 46, 183-189, 2013.

[22] R. Li, T. Chu, Complete synchronization of Boolean networks, IEEE Trans. Neural Netw. Learn. Syst. , Vol. 23, 840-846, 2012.

[23] R. Li, M. Yang, T. Chu, Synchronization of Boolean networks with time delays, Appl. Math. Comput. , Vol. 219, 917-927, 2012.

[24] R. Li, M. Yang, T. Chu, Synchronization design of Boolean networks via the semi-tensor product method, IEEE Trans. Neural Netw. Learn. Syst. , Vol. 24, 996-1001, 2013.

[25] R. Li, M. Yang, T. Chu, State feedback stabilization for Boolean control networks, IEEE Trans. Aut. Contr. , Vol. 58, 1853-1857, 2013.

[26] D. Cheng, X. Xu, Bi-decomposition of multi-valued logical functions and its applications, Automatica, Vol. 49, 1979-1985, 2013.

[27] D. Cheng, J. Feng, H. Lv, Solving fuzzy relational equations via semi-tensor product, IEEE Trans. Fuzzy Syst. , Vol. 20, 390-396, 2012.

[28] M. Meng, J. Feng, Synchronization of interconnected multi-valued logical networks, Asian J. Contr. , to appear.

[29] L. Zhan, K. Zhang, Controllability and observability of Boolean control networks with time-variant delays in states, IEEE Trans. Neural Netw. Learn. Syst. , Vol. 24, 1478-1484, 2013.

[30] X. Xu, Y. Hong, Matrix approach to model matching of asynchrollous sequential machines, IEEE Trans. Aut. Contr. , on line: http://ieee.org/stamp/stamp.jsp?tp=&arnumber=6507639.

[31] M. Yang, R. Li, T. Chu, Controller design for disturbance decoupling of Boolean control networks, Automatica, Vol. 49, No. 1, 273-277, 2013.

[32] Y. Zhao, J. Kim, M. Filippone, Aggregation algorithm towards large-scale Boolean network analysis, IEEE Trans. Aut. Contr. , on line: http://ieee.org/stamp/stamp. jsp?tp=&arnumber=6365758.

[33] L. Zhang, J. Feng, Mix-valued logic based formation control, Int. J. Contr. , Vol. 89, 1191-1199, 2013.

[34] D. Cheng, F. He, H. Qi, T. Xu, F. He, Modeling, analysis and control of networked evolutionary games, http://lsc.amss.ac.cn/~dcheng/preprint/NTGAME02.pdf (IEEE TAC, under revision).

[35] 王树和, 《数学聊斋》, 科学出版社, 北京, 2008.

 

附录一:

 

Boolean networks (BNs) are discrete-time dynamical systems with Boolean state variables. BNs are recently attracting considerable interest as computational models for biological systems and, in particular, as models of gene regulating networks. Boolean control networks (BCNs) are Boolean networks with Boolean inputs. Daizhan Cheng developed an algebraic state-space representation for BCNs using the semi-tensor product of matrices. This representation proved quite useful for studying BCNs in a control-theoretic framework.

 

In this work we use the algebraic state-space representation to study several control-theoretic problems for BNs and BCNs includingoptimal control, minimum-time control, controllability, and observability. Addressing these problems may lead to a better understanding of genetic circuits and the intrinsic control in biological systems using exogenous inputs.

 

附录二:

 

Daizhan Cheng and his colleagues developed an algebraic representation of BNs/BCNs [30]. We give a detailed description of this representation in Chapter 2. This new approach stimulated considerable research in the control theory of BNs/BCNs. Examples includefinding the number of fixed points and cycles, transient period and basin of attractors of BNs and BCNs [28, 23]; state-space analysis of BNs [29]; realization of BCNs [26]; controllability and observabiity [27]; disturbance decoupling [24]; stability and stabilization [31]; infinite horizon optimal control [131]; identification of BCNs [33] and more. A good survey of these works can be found in [32].

 

More recently the algebraic representation of BNs/BCNs has been used to investigate the following problemsthe maximum stable set and vertex coloring problems of graphs with application to the group consensus of multi-agent systems [126], the existence and number of fixed points of Boolean transformations [88], disturbance decoupling in mix-valued logical networks [96], controllability and optimal control of a temporal Boolean networks [96], controllability and optimal control of a temporal Boolean network [84], reachability and controllability of switched BCNs [86], observability and reconstructibility properties of BNs and BCNs [47], controllability of higher-order BCNs [85, 22], periodic structure of the state trajectories of BNs and BCNs [48], consistent stabilizability of switched BNs [87], synchronization of BNs with and without thime delays [89, 90, 92], and state feedback stabilization [91].

 



http://blog.sciencenet.cn/blog-660333-719184.html

上一篇:【自传】漫漫人生路:第二十四章 小城故事
下一篇:从一篇博士学位论文想到的

86 谢力 刁有彬 刘光波 李铭 曹聪 郭向云 陆泽橼 武夷山 翟远征 李贤伟 杨正瓴 李汝资 张士宏 魏东平 苏光松 李天成 许浚远 马春旺 张忆文 李伟钢 郭保华 苏盛 毕重增 宋泽阳 张珂良 李志军 於鑫 翟自洋 罗春元 李明 徐耀 唐凌峰 刘俊华 白图格吉扎布 王启云 赵序茅 李本先 戴朝华 赵学良 孔梅 彭真明 曹俊 李学宽 许有瑞 刘士勇 苏金亚 李杰 韦玉程 张海霞 丁大勇 赵丛然 张能立 徐大彬 张士伟 郭嘉琳 张乾兵 李建雄 李宇斌 王海洋 刘全慧 陆俊茜 尚书勇 王志江 臧睦君 孟浩 曹禺 马雷 张卫 李晓瑜 ycjyf ZHAOKe007 qqlisten fishman936 cly85 Veteran11 shgrs xidiannxu xsongy crossludo fsdw tjlrx hao yunmu idealist XY chaogerhui

该博文允许注册用户评论 请点击登录 评论 (81 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2018-7-22 03:15

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部