2020年6月2日20:30-22:00，智能信息处理与控制重点实验室2020年第4期学术沙龙顺利开展，本次沙龙以腾讯会议为平台（会议号：864317989），采用线上形式进行。本次沙龙特别荣幸地邀请到重庆三峡学院人工智能学院名誉院长王钧教授（IEEE Fellow、IAPR Fellow、长江学者）和美国哥伦比亚特区大学张念教授参加，浙江师范大学人事处副处长刘洋博士作为主讲嘉宾做了题为“Observability and Controllability of Boolean Networks”的学术报告。
论坛由高子林博士主持，学院的冯玉明博士、程波博士、李洪兵博士、涂正文博士、代祥光博士、张先休博士、张保杰博士、杨仪博士等30余名教师参加了本次学术沙龙。
刘洋博士首先介绍了布尔网络的背景、基本的逻辑运算规则，以及矩阵半张量积的定义。然后利用逻辑函数构造出布尔网络的动态模型，并对该模型进行了特殊的线性化和相应的分析。最后，利用矩阵半张量积的算法给出了布尔网络可观测性和可控性的充要条件。
讨论阶段，学者们进行了热烈探讨。王钧教授和张念教授对刘洋博士所取得的研究成果给予了充分肯定，并给参会的老师提供了很多建设性的建议，让参与本次学术沙龙的老师受益匪浅！
