百博亚洲-六合彩免费图库_百家乐定位胆技巧_全讯网1249 com (中国)·官方网站

快捷指南

Quick guide

學術動態

首頁 >> 學術動態 >> 正文

【學術報告預告】幺半群上的標記加權自動機


發布日期:2025-06-10    點擊:

報告專家:張奎澤

報告時間:2025年6月11日19:00

報告地點:騰訊會議961-385-790

專家簡介:張奎澤,分別于2009年和2014年在哈爾濱工程大學取得數學學士學位和系統工程博士學位。現為西安交通大學數學與統計學院教授。曾在意大利卡利亞里大學作訪問教授,在英國薩里大學任講師,在德國柏林工業大學作洪堡學者,在德國慕尼黑工業大學、瑞典皇家理工學院作博士后。主要研究興趣為離散狀態動態系統的形式化驗證與綜合。研究系統包括布爾控制網絡、有限自動機、Petri網、定時自動機,幺半群上的加權有限自動機等。提出布爾控制網絡的能觀性圖,離散事件系統的新理論框架,幺半群上的加權有限自動機。出版高水平專著2部,發表高水平論文70多篇。

主辦單位:發展規劃與學科建設處

承辦單位:人工智能與計算機學院

景泰县| 网上赌百家乐官网被抓应该怎么处理| 百家乐高人破解| 风水24山代表什么| 百家乐太阳城球讯网| 太阳城百家乐网址--| 包赢百家乐的玩法技巧和规则| 百家乐赢多少该止赢| 百家乐技巧公司| 万达百家乐娱乐城| 博彩交流| 金坛市| 百家乐官网赌场现金网平台排名| 世嘉百家乐官网的玩法技巧和规则 | 百家乐官网赔率技巧| 赌场百家乐官网破解| 一筒百家乐官网的玩法技巧和规则| 百家乐乐城皇冠| 百家乐赌博赌博网站| 金赞百家乐官网娱乐城| 2024地运朝向房子| 新巴尔虎左旗| 网上百家乐官网公司| 百家乐赌场| 免费百家乐官网追号软件| 百家乐赌博机销售| 吉水县| 大发888在线娱乐合作伙伴| 绥芬河市| 大发888体育竞技| 塘沽区| 扑克百家乐赌器| 济南市| 大发888娱乐城下栽| 菲律宾百家乐游戏| 龙博娱乐| 百家乐官网太阳城菲律宾| 百家乐游戏规则介绍| 百家乐官网龙虎台布价格| 百家乐如何看| 百家乐路单打法|