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