<div data-page-id="doxcnYKsuTCX9crPKJBv6CKk1lg" data-docx-has-block-data="true"> <div class="ace-line ace-line old-record-id-doxcnAu0qMQ0UyqycE45an6lZZL" style="white-space: pre;"><strong>兩位帝國理工學(xué)院的學(xué)者獲得了歐洲研究委員會 (ERC) 的概念證明資助，以加速他們的研究理念和概念。</strong></div> <div class="ace-line ace-line old-record-id-doxcn2qIKiMymCGOCkXgyBTaJfe" style="white-space: pre;">材料系和計算系的學(xué)者各自獲得了價值 150,000 歐元的贈款，用于探索其研究項目成果的商業(yè)或社會潛力。</div> <div class="ace-line ace-line old-record-id-doxcniwa6yyQuAYCuKy52050mFe" style="white-space: pre;">這筆資金是歐盟研究和創(chuàng)新計劃 Horizon Europe 的一部分。</div> <div class="ace-line ace-line old-record-id-doxcnssYgaIKYkSaCgdSoLoLoae" style="white-space: pre;">這些贈款建立在通過 ERC Consolidator Grants 授予學(xué)者的資金之上。贈款獲得者可以使用額外的資金來驗證科學(xué)概念的實</div> <div class="ace-line ace-line old-record-id-doxcnssYgaIKYkSaCgdSoLoLoae" style="white-space: pre;">際可行性、探索商業(yè)機(jī)會或準(zhǔn)備專利申請。</div> <div class="ace-line ace-line old-record-id-doxcnSo4ccIkKwUgUsB9hAgWZqb" style="white-space: pre;"><strong>用于研究可穿戴設(shè)備的 </strong><strong>3D</strong><strong> 打印電池的新資金 </strong></div> <div class="ace-line ace-line old-record-id-doxcnEOMkwSKsQCow6pSGUs7Oic" style="white-space: pre;">研究人員已獲得歐洲研究委員會的新資金，用于研究可穿戴設(shè)備的 3D 打印電池。</div> <div class="ace-line ace-line old-record-id-doxcnmw2qwE8MYQ440IKSs5EbJd" style="white-space: pre;">可穿戴電子產(chǎn)品，包括手表、健身追蹤器、可聽設(shè)備、溫度傳感器，是需要能源自主的新技術(shù)。智能手表等可穿戴設(shè)備通常</div> <div class="ace-line ace-line old-record-id-doxcnmw2qwE8MYQ440IKSs5EbJd" style="white-space: pre;">采用可充電鋰離子電池制造。盡管它們具有出色的性能，但它們是易燃的，難以定制成不同的形狀，鋰正在成為一種關(guān)鍵資源。</div> <div class="ace-line ace-line old-record-id-doxcnM6QIaICsk4guwd08JHEWMg" style="white-space: pre;">歐洲研究委員會資助了由 Cecilia Mattevi 博士領(lǐng)導(dǎo)的新研究，以研究基于水性電解質(zhì)的可充電鋅離子電池的制造，該電池使</div> <div class="ace-line ace-line old-record-id-doxcnM6QIaICsk4guwd08JHEWMg" style="white-space: pre;">用 3D 打印制造，為可穿戴設(shè)備供電。在可穿戴設(shè)備中使用 3D 打印電池具有許多優(yōu)勢。這些為傳統(tǒng)電池提供了一種更可持續(xù)的</div> <div class="ace-line ace-line old-record-id-doxcnM6QIaICsk4guwd08JHEWMg" style="white-space: pre;">替代品，生產(chǎn)成本效益高，并且可以輕松定制設(shè)計。</div> <div class="ace-line ace-line old-record-id-doxcn0IcGKQCcAU8espdi0IDRVd" style="white-space: pre;">材料系的讀者 Cecilia Mattevi 博士解釋說：&ldquo;3DZnBat 概念驗證背后的想法是解決可穿戴電子設(shè)備電池領(lǐng)域的緊迫挑戰(zhàn)，例</div> <div class="ace-line ace-line old-record-id-doxcn0IcGKQCcAU8espdi0IDRVd" style="white-space: pre;">如安全性、原材料的可用性和保形特性&rdquo;&ldquo;這個項目將使我能夠開發(fā)概念驗證，以探索基于水性電解質(zhì)的 3D 打印可充電鋅離子電</div> <div class="ace-line ace-line old-record-id-doxcn0IcGKQCcAU8espdi0IDRVd" style="white-space: pre;">池的市場潛力。&rdquo;</div> <div class="ace-line ace-line old-record-id-doxcniwCsCSWuoocKIdOz6i4wXb" style="white-space: pre;"><strong>改進(jìn)軟件系統(tǒng) </strong></div> <div class="ace-line ace-line old-record-id-doxcneeegu4AUkOA4AdN2W3JCMf" style="white-space: pre;">卡達(dá)爾教授</div> <div class="ace-line ace-line old-record-id-doxcn6UqmSkw404E0rDDQw0BPKh" style="white-space: pre;"><a href="https://www.doc.ic.ac.uk/.cristic/">計算機(jī)系的Cristian Cadar 教授</a>正在研究幫助軟件系統(tǒng)安全可靠地發(fā)展的方法。</div> <div class="ace-line ace-line old-record-id-doxcniOySSWMUUaYIs5SCIfAFQf" style="white-space: pre;">ERC Proof of Concept 項目 PATCH 源于作為<a href="https://www.imperial.ac.uk/news/189368/imperial-academics-6million-erc-funding/">2018 年授予的 ERC Consolidator Grant 項目</a>的一部分所進(jìn)行的研究工作，PASS：</div> <div class="ace-line ace-line old-record-id-doxcniOySSWMUUaYIs5SCIfAFQf" style="white-space: pre;">安全和安全軟件演進(jìn)的程序分析。 PATCH 旨在開發(fā)程序分析技術(shù)，使軟件系統(tǒng)能夠安全可靠地發(fā)展。PATCH（&ldquo;補(bǔ)丁&rdquo;是表示軟件</div> <div class="ace-line ace-line old-record-id-doxcniOySSWMUUaYIs5SCIfAFQf" style="white-space: pre;">更改的技術(shù)術(shù)語），計劃探索在 PASS 中開發(fā)的一些研究技術(shù)的適用性，以構(gòu)建可應(yīng)用于實際軟件項目的概念驗證原型。</div> <div class="ace-line ace-line old-record-id-doxcnKcoEgEu8SmOSSgIitUwRsc" style="white-space: pre;">特別是，PATCH 將使用動態(tài)符號執(zhí)行 (DSE)，這是一種系統(tǒng)地探索程序路徑的程序分析技術(shù)，這些路徑被建模為一組數(shù)學(xué)約束。</div> <div class="ace-line ace-line old-record-id-doxcnKcoEgEu8SmOSSgIitUwRsc" style="white-space: pre;">該項目的目標(biāo)是構(gòu)建一個概念驗證原型，該原型應(yīng)用 DSE 技術(shù)隨著代碼的發(fā)展逐步分析軟件更改。</div> <div class="ace-line ace-line old-record-id-doxcnGwIuSe84Wa8KM4vNhdEycr" style="white-space: pre;">Cadar 教授說：&ldquo;PATCH 為探索我們的 ERC 研究在實踐中的潛力提供了一個令人興奮的機(jī)會。現(xiàn)代軟件系統(tǒng)正在加速發(fā)展，</div> <div class="ace-line ace-line old-record-id-doxcnGwIuSe84Wa8KM4vNhdEycr" style="white-space: pre;">迫切需要全面驗證軟件變更，這是我們項目的主要目標(biāo)。&rdquo;</div> <div class="ace-line ace-line old-record-id-doxcneGuEyuGwCYeYKZFc149Pcb" style="white-space: pre;">&nbsp;</div> </div>