Luca Cardelli教授討論了系統(tǒng)地實現(xiàn)幾乎所有動力系統(tǒng)類別的可實驗實現(xiàn)方法，表明在理論和實踐中，對合成(和自然)生物化學(xué)行為的復(fù)雜性幾乎沒有限制。

2022年9月28日，亞太人工智能學(xué)會(AAIA)歐洲人工智能高峰論壇成功舉辦。200余位亞太人工智能學(xué)會(AAIA)歐洲地區(qū)院士、300余名專家和教授參加了本次高峰論壇。13位亞太人工智能學(xué)會(AAIA)院士發(fā)表了精彩主題演講并分享了他們最新的研究。

首先亞太人工智能學(xué)會主席Schahram Dustdar (歐洲科學(xué)院院士、IEEE會士、維也納工業(yè)大學(xué)計算機(jī)科學(xué)教授) 帶來開場致辭。Schahram Dustdar 主席介紹了亞太人工智能學(xué)會的總體情況。目前學(xué)會共有883位院士，其中249位院士來自歐洲；341位院士來自美洲，其中239位院士來自美國；287位院士來自亞洲，其中169位院士來自中國。其余院士來自其他地區(qū)。

接下來，12位院士帶來前沿的人工智能主題報告。

Alejandro F Frangi (IEEE會士、EAMBES會士、SPIE會士、國際醫(yī)學(xué)圖像計算與計算機(jī)輔助介入(MICCAI)協(xié)會董事會成員、CISTIB生物醫(yī)學(xué)計算成像與仿真技術(shù)中心主任、英國利茲大學(xué)皇家學(xué)院計算醫(yī)學(xué)講座教授) 教授帶來“監(jiān)管科學(xué)中的計算精確成像和醫(yī)學(xué)”的主題報告。

Alejandro F Frangi教授首先介紹受到所有醫(yī)學(xué)成像技術(shù)的進(jìn)展和最近生物成像領(lǐng)域的突破的挑戰(zhàn)，醫(yī)學(xué)圖像分析已經(jīng)發(fā)展成為一個成熟的領(lǐng)域。醫(yī)學(xué)圖像分析、醫(yī)學(xué)成像物理和技術(shù)以及來自醫(yī)學(xué)和生物學(xué)的領(lǐng)域知識之間的交叉融合，推動了真正的跨學(xué)科發(fā)展，超越了誕生這一領(lǐng)域的學(xué)科的原有界限，創(chuàng)造了更為豐富的協(xié)同作用。精確成像并不是一門新的學(xué)科，而是醫(yī)學(xué)成像領(lǐng)域的一個獨(dú)特方向。它誕生于機(jī)械學(xué)和現(xiàn)象學(xué)模型成像的交叉點(diǎn)，并將這些努力統(tǒng)一起來。精確成像的特點(diǎn)是描述性、預(yù)測性和整合性。它抓住了處理影像科學(xué)中信息泛濫的三個主要方向，從而從數(shù)據(jù)、信息和知識中獲得智慧。精確成像可以促進(jìn)更為準(zhǔn)確地設(shè)計成像生物標(biāo)志物，以及使用基于醫(yī)學(xué)成像的計算模型和模擬來改善監(jiān)管科學(xué)和醫(yī)療產(chǎn)品的創(chuàng)新。Alejandro F Frangi教授的報告總結(jié)并正式確定了我們對精準(zhǔn)醫(yī)療的精準(zhǔn)成像的愿景，并強(qiáng)調(diào)了與過去的研究以及我們目前對大規(guī)模計算表型組學(xué)和臨床試驗中的一些聯(lián)系。

Björn W. Schuller (IEEE會士、ISCA會士、BCF會士、德國奧格斯堡大學(xué)嵌入式智能醫(yī)療保健和健康所教授兼主任、倫敦帝國理工學(xué)院人工智能教授兼GLAM主任、德國Gilching audEERING GmbH公司首席科學(xué)官和聯(lián)合創(chuàng)始首席執(zhí)行官、哈爾濱工業(yè)大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院客座教授) 教授帶來“戶外音頻智能：從健康到環(huán)境”的主題報告。

Björn W. Schuller教授講述了對一般音頻的豐富的狀態(tài)和特質(zhì)歸因，從語音中的情感高性到對一般音頻源做同樣的處理。這個版本是以整體處理的方式來做這件事，而不是孤立地看待講話和研究講話或孤立地看待聲源。我們真正把音頻作為一個整體。這些資源是從頭到尾進(jìn)行研究。這個版本是我們有一個從頭到尾通過預(yù)處理表示和決策共同優(yōu)化的過去。我們需要非常有效地從少數(shù)例子中學(xué)習(xí)，如零點(diǎn)射擊、增強(qiáng)、自我監(jiān)督和轉(zhuǎn)換。

Duc Truong Pham (英國皇家工程院院士、威爾士學(xué)會院士、全球制造工程師學(xué)會會士、IET會士、英國機(jī)械工程師學(xué)會會士、伯明翰大學(xué)機(jī)械工程系教授) 教授帶來“使用蜜蜂算法的智能制造和生產(chǎn)優(yōu)化”的主題報告

Duc Truong Pham教授首先介紹了什么是蜜蜂算法，也就是蜜蜂的覓食行為，以及蜜蜂算法的500多個應(yīng)用。通過分析基本蜜蜂算法的流程圖，借助于鄰域縮小、站點(diǎn)放棄來更好地發(fā)揮蜜蜂算法的作用。從蜜蜂算法的應(yīng)用來看，有很多應(yīng)用，如機(jī)械設(shè)計、控制系統(tǒng)調(diào)整、數(shù)字濾波器設(shè)計、分類訓(xùn)練和制造單元的形成。在生產(chǎn)和制造方面也有許多應(yīng)用，如放電加工、液壓成型、配合形狀、工具磨損、PID控制器和設(shè)計機(jī)器人抓手等。還有新版本的蜜蜂算法，如可以實時在線使用的“超快”蜜蜂算法和一個版本的雙參數(shù)蜜蜂算法。

Emanuele Trucco (英國皇家藝術(shù)學(xué)會院士、IAPR會士、英國機(jī)器視覺學(xué)會會士、亞太人工智能學(xué)會會士、鄧迪大學(xué)科學(xué)與工程學(xué)院計算視覺系主任、英國國家醫(yī)療服務(wù)體系泰賽德綜合醫(yī)院榮譽(yù)臨床研究員、中國科學(xué)院兼職教授) 教授帶來“VAMPIRE中的自動視網(wǎng)膜圖像分析和癡呆癥”的主題報告。

VAMPIRE是高度跨學(xué)科的，結(jié)合了醫(yī)學(xué)圖像分析、機(jī)器學(xué)習(xí)和數(shù)據(jù)分析、醫(yī)學(xué)研究和大規(guī)模數(shù)據(jù)研究。Emanuele Trucco教授介紹了該團(tuán)隊在一個國際合作項目中開發(fā)的VAMPIRE系統(tǒng)，該項目由該團(tuán)隊開發(fā)，介紹了視網(wǎng)膜血管的特定形態(tài)測量參數(shù)的關(guān)聯(lián)，如視網(wǎng)膜血管直徑、曲率和分形維數(shù)。心血管風(fēng)險因素和心血管事件跨越醫(yī)學(xué)圖像分析、深度學(xué)習(xí)和數(shù)據(jù)分析等學(xué)科。Emanuele Trucco教授的演講概述了VAMPIRE的目標(biāo)、內(nèi)容和目前的成果，同時描述了研究自動視網(wǎng)膜圖像分析和癡呆的措施和挑戰(zhàn)。

Georg Brasseur (德國國家工程院院士、奧地利科學(xué)院院士、歐洲科學(xué)與藝術(shù)院院士、IEEE會士、奧地利科學(xué)院數(shù)學(xué)和自然科學(xué)部主任（2013-2022）、格拉茨理工大學(xué)電氣測量與傳感器系統(tǒng)研究所教授) 教授帶來“歐洲能源轉(zhuǎn)型的現(xiàn)實和困境”的主題報告。

Georg Brasseur教授指出，全球變暖正在越來越嚴(yán)重。目前，每年約有36Gt的二氧化碳被釋放。我們的目標(biāo)是將全球變暖限制在最高1.5℃或2℃。我們的目標(biāo)是將全球變暖限制在1.5℃或2℃，這就要求在所有部門短期內(nèi)大幅減少溫室氣體。Georg Brasseur教授分析了全球能源需求和歐洲一次能源需求，與化石燃料相比，風(fēng)能和太陽能的能量密度，以及如何優(yōu)化利用歐洲的發(fā)電。Georg Brasseur教授提出，要實現(xiàn)歐洲的能源轉(zhuǎn)型，必須采取幾項措施：節(jié)約能源，擴(kuò)大綠色電力和產(chǎn)生綠色可儲存的能源載體，使歐洲電力網(wǎng)絡(luò)非化石化，只對那些能明確證明自己符合效率標(biāo)準(zhǔn)的電力用戶給予國家補(bǔ)貼，從而促進(jìn)非化石化，為規(guī)劃和投資的法律確定性創(chuàng)造政治框架條件等。

Gianluigi Greco (歐洲人工智能學(xué)會會士、意大利人工智能學(xué)會主席、意大利卡拉布里亞大學(xué)計算機(jī)科學(xué)教授、卡拉布里亞大學(xué)數(shù)學(xué)與計算機(jī)科學(xué)系系主任) 教授帶來“用LTL推理業(yè)務(wù)流程”的主題報告。

Gianluigi Greco教授指出，工作流自動化的目標(biāo)必須通過許多參與者的協(xié)作來實現(xiàn)。為了支持工作流自動化，我們需要指定各種活動必須執(zhí)行的順序，比如過程方法和聲明方法。Gianluigi Greco教授討論了LTLf的形式性質(zhì)和結(jié)果，并進(jìn)一步指出LTL2SAT系統(tǒng)體系結(jié)構(gòu)的有效性。

Gregory Z. Gutin (歐洲科學(xué)院院士、倫敦大學(xué)皇家霍洛威學(xué)院計算機(jī)科學(xué)系教授) 教授帶來 “算法訪問控制：理論與實踐相結(jié)合”的主題報告。

Gregory Z. Gutin教授考慮了信息安全訪問控制中的一些問題。有幾個這樣的問題是固定參數(shù)可操作的（FPT），即可以通過運(yùn)行時間為f(k)N^c的算法來解決，其中f是一個可計算的函數(shù)，k是參數(shù)，c是一個常數(shù)。因此，我們表明，如果這樣的問題被證明是FPT，那么它就可以用SAT或CSP通用求解器在類似FPT的運(yùn)行時間內(nèi)求解。

Haldun M. Ozaktas (土耳其國家科學(xué)院院士、IEEE會士、SPIE會士、OSA會士、比爾肯特大學(xué)電氣工程系教授、土耳其科學(xué)技術(shù)研究委員會(TUBITAK)科學(xué)獎得主) 教授帶來“光學(xué)在計算機(jī)中的應(yīng)用”的主題報告。

Haldun M. Ozaktas教授介紹了信息技術(shù)的關(guān)鍵領(lǐng)域，如通信、存儲、傳感、顯示、制造和加工。Haldun M. Ozaktas教授解釋了光信息處理的歷史，向我們展示了數(shù)字光計算、光互連和光電子計算機(jī)的基本理論和發(fā)展。他還談到了人工神經(jīng)網(wǎng)絡(luò)的發(fā)展歷史，視覺信息的捕捉和顯示，計算成像，納米級系統(tǒng)等。

Luca Cardelli (歐洲科學(xué)院院士、英國皇家學(xué)會院士、ACM會士、歐洲理論計算機(jī)科學(xué)協(xié)會會士、英國牛津大學(xué)計算機(jī)科學(xué)系教授) 教授帶來 “動力系統(tǒng)的生物化學(xué)編程”主題報告。

Maria Pia Fanti教授 (IEEE會士、巴里大學(xué)電氣與信息工程系系統(tǒng)與控制工程教授、電子與信息工程系自動化與控制實驗室主任) 帶來“自動駕駛汽車控制的共識協(xié)議”主題報告。

Maria Pia Fanti教授指出自動駕駛汽車配備了越來越多的傳感器、電信系統(tǒng)和計算代理。在多代理網(wǎng)絡(luò)的分布式控制問題中，每個代理都是一個動態(tài)系統(tǒng)，就代理狀態(tài)的所有或某些組成部分達(dá)成協(xié)議的問題被稱為共識問題。

該報告介紹了應(yīng)用于無領(lǐng)導(dǎo)的代理網(wǎng)絡(luò)中的兩種共識協(xié)議策略。第一個共識協(xié)議是由必須達(dá)到共同速度的車輛在形成一個均勻間隔的字符串時應(yīng)用的。共識協(xié)議的參數(shù)針對以具有有向生成樹的一類有向圖描述的通信拓?fù)浣Y(jié)構(gòu)為特征的網(wǎng)絡(luò)進(jìn)行了優(yōu)化，以便最大限度地提高收斂率和避免振蕩。第二個共識協(xié)議通過僅使用V2V通信來解決交叉口管理問題，即不采用外部交叉口管理代理。電動汽車采用了一種迭代算法，該算法避免了穿越交叉口的碰撞，并使延遲或與預(yù)測的交叉口出口時間有關(guān)的預(yù)期最小化。該報告表明，所提出的控制方法將被應(yīng)用于歐洲地平線項目，以管理互聯(lián)合作的自動駕駛車輛。

Mérouane Debbah (IEEE會士、WWRF會士、Eurasip會士、華為法國研發(fā)中心副總裁、數(shù)學(xué)與算法科學(xué)實驗室聯(lián)合主任、拉格朗日數(shù)學(xué)與計算研究中心主任) 帶來“移動AI：挑戰(zhàn)與機(jī)遇”主題報告。

Mérouane Debbah 教授認(rèn)為移動蜂窩網(wǎng)絡(luò)的管理正變得越來越復(fù)雜，而經(jīng)典的部署/優(yōu)化技術(shù)卻不具成本效益，因此被視為止步不前?？紤]到5G網(wǎng)絡(luò)在數(shù)據(jù)速率（超過10Gb/s）、大規(guī)模連接（每平方公里超過1000000個設(shè)備）、延遲（低于1ms）和能源效率（與4G網(wǎng)絡(luò)相比減少100倍）方面的極端限制，這就更加困難。然而實際資源（能源、帶寬和空間）的稀缺，適當(dāng)?shù)慕鉀Q方案的開發(fā)受到嚴(yán)重限制。最近，社區(qū)已經(jīng)轉(zhuǎn)向一種新的資源，即網(wǎng)絡(luò)各層的人工智能，以利用摩爾定律的改進(jìn)所帶來的不斷增長的計算能力，并結(jié)合5G網(wǎng)絡(luò)中巨大數(shù)據(jù)的可用性。這是一個重要的范式轉(zhuǎn)變，它將不斷增加的數(shù)據(jù)流/大量的節(jié)點(diǎn)視為一種機(jī)會。在這次報告中，Mérouane Debbah教授通過各種例子討論了人工智能的最新進(jìn)展如何為無線網(wǎng)絡(luò)的設(shè)計提供一個有效的框架。

Zhongdong Wang (IEEE會士、IET會士、英國埃克塞特大學(xué)副校長、?？巳卮髮W(xué)工程、數(shù)學(xué)及物理科學(xué)學(xué)院執(zhí)行院長、埃克塞特大學(xué)電力工程教授) 教授帶來“數(shù)字孿生在電力能源系統(tǒng)上的應(yīng)用及展望”主題報告。

Zhongdong Wang教授指出，2050年的凈零排放目標(biāo)需要社會通過風(fēng)能、光能、波浪能、生物質(zhì)能和水能來利用“實時”太陽能，為了納入這些綠色但往往是間歇性的資源，電力網(wǎng)絡(luò)必須變得更加智能，實時信息需要在電力生產(chǎn)商和消費(fèi)者、地方和國家能源商店以及輸配電網(wǎng)運(yùn)營商之間進(jìn)行交流。人工智能研究已經(jīng)廣泛開展，以優(yōu)化能源預(yù)測、能源市場價格預(yù)測和供需管理等過程的性能。最近，數(shù)字雙胞胎正在開發(fā)中，為未來電力網(wǎng)絡(luò)基礎(chǔ)設(shè)施的數(shù)字化做準(zhǔn)備。重要的是要強(qiáng)調(diào)，如果人工智能和任何新的數(shù)字技術(shù)能夠真正為能源部門和我們的凈零未來做出貢獻(xiàn)，他們需要提供高度或至少與人類能源系統(tǒng)操作者同等的可靠性，并能在任何緊急情況下正常工作。

在亞太人工智能(AAIA)歐洲人工智能高峰論壇的討論中，有一點(diǎn)特別引起了大家的興趣，那就是科學(xué)家在與政策制定者、媒體和公眾打交道時可以扮演的角色，除了用事實教育公眾，我們還需要提供有說服力的證據(jù)，讓人們與我們一起努力。

本次會議由Zhongdong Wang教授 (IEEE會士、IET會士、英國埃克塞特大學(xué)副校長、埃克塞特大學(xué)工程、數(shù)學(xué)及物理科學(xué)學(xué)院執(zhí)行院長、?？巳卮髮W(xué)電力工程教授)主持。

亞太人工智能學(xué)會(AAIA)歡迎專家學(xué)者加入，共同推動人工智能技術(shù)和產(chǎn)業(yè)的融合發(fā)展。