91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

混合關(guān)鍵性架構(gòu)下低空飛行器DVFS策略的形式化驗(yàn)證與安全適配機(jī)制研究

湖南泰德航空技術(shù)有限公司 ? 2026-03-31 09:54 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

摘要:隨著低空飛行器自主任務(wù)能力的持續(xù)提升,有限機(jī)載能源與日益增長的實(shí)時(shí)計(jì)算需求之間的矛盾已成為制約其發(fā)展的核心瓶頸。動(dòng)態(tài)電壓頻率調(diào)整技術(shù)作為平衡性能與功耗的關(guān)鍵手段,在提升飛行器續(xù)航與任務(wù)能力方面展現(xiàn)出重要研究價(jià)值。本文系統(tǒng)梳理了低空飛行器混合關(guān)鍵性計(jì)算架構(gòu)特征,深入分析了異構(gòu)片上系統(tǒng)上DVFS的實(shí)現(xiàn)機(jī)制與現(xiàn)實(shí)挑戰(zhàn)?;趯?duì)飛行器動(dòng)態(tài)負(fù)載特性與實(shí)時(shí)性約束的系統(tǒng)剖析,歸納了DVFS技術(shù)從傳統(tǒng)啟發(fā)式方法、前瞻性預(yù)測策略、基于學(xué)習(xí)的自適應(yīng)控制到系統(tǒng)級(jí)協(xié)同優(yōu)化的演進(jìn)脈絡(luò)。以水空跨介質(zhì)飛行器為例,重點(diǎn)探討了極端工況對(duì)DVFS技術(shù)提出的特殊要求。結(jié)合當(dāng)前研究不足,從可認(rèn)證人工智能、統(tǒng)一異構(gòu)資源管理、可靠性協(xié)同設(shè)計(jì)等維度對(duì)未來發(fā)展方向進(jìn)行了展望。

關(guān)鍵詞:低空飛行器;動(dòng)態(tài)電壓頻率調(diào)整;混合關(guān)鍵性系統(tǒng);異構(gòu)計(jì)算;能量管理;

一、低空飛行器與DVFS技術(shù)

1.1 低空飛行器技術(shù)發(fā)展背景

近年來,以無人機(jī)為代表的低空飛行器技術(shù)經(jīng)歷了前所未有的快速發(fā)展,已從單純的消費(fèi)級(jí)娛樂產(chǎn)品演變?yōu)楹w軍事偵察、物流配送、農(nóng)業(yè)監(jiān)測、應(yīng)急救援等多領(lǐng)域的戰(zhàn)略性裝備。這一技術(shù)躍遷的核心驅(qū)動(dòng)力,在于飛行器自主能力的持續(xù)提升——現(xiàn)代低空飛行器不僅能夠執(zhí)行預(yù)設(shè)航線的巡航任務(wù),更具備復(fù)雜環(huán)境下的自主導(dǎo)航、目標(biāo)識(shí)別、動(dòng)態(tài)避障等高級(jí)智能功能。

低空飛行器的廣泛應(yīng)用前景已獲得國家層面的戰(zhàn)略重視。2024年全國兩會(huì)首次將“低空經(jīng)濟(jì)”寫入政府工作報(bào)告,標(biāo)志著這一新興產(chǎn)業(yè)被提升至國家戰(zhàn)略層面。作為低空經(jīng)濟(jì)運(yùn)行的主要載體,自主飛行器技術(shù)與低空應(yīng)用場景的深度融合,有望在物流配送、城市治理、智慧農(nóng)業(yè)、應(yīng)急救援等領(lǐng)域催生新的經(jīng)濟(jì)增長點(diǎn)。在這一背景下,飛行器的智能化水平、續(xù)航能力和任務(wù)可靠性成為決定其應(yīng)用價(jià)值的關(guān)鍵要素。

然而,自主能力的提升必然伴隨著計(jì)算需求的急劇增長。現(xiàn)代低空飛行器為執(zhí)行視覺同步定位與建圖、目標(biāo)檢測跟蹤、路徑規(guī)劃等計(jì)算密集型任務(wù),需要在嵌入式平臺(tái)上部署高強(qiáng)度算法。與此同時(shí),飛行器在尺寸、重量和功率方面受到嚴(yán)格限制,機(jī)載能源極為有限。這種“高計(jì)算需求”與“嚴(yán)格能源限制”之間的矛盾,已構(gòu)成制約飛行器作戰(zhàn)半徑、任務(wù)續(xù)航與戰(zhàn)場生存能力的核心瓶頸。

更具挑戰(zhàn)性的是,飛行器在不同任務(wù)階段的計(jì)算負(fù)載呈現(xiàn)劇烈波動(dòng)特征。平穩(wěn)巡航階段,計(jì)算負(fù)載處于維持姿態(tài)穩(wěn)定的基線水平;起降階段因涉及精密控制和地面效應(yīng)處理,負(fù)載顯著升高;在遭遇風(fēng)擾或執(zhí)行劇烈機(jī)動(dòng)時(shí),控制系統(tǒng)需高頻解算姿態(tài)以維持穩(wěn)定,計(jì)算負(fù)載瞬時(shí)達(dá)到峰值。這種動(dòng)態(tài)變化的負(fù)載特性,使得靜態(tài)電源管理策略難以奏效——若為保障峰值性能而持續(xù)高功耗運(yùn)行,將造成大量能源浪費(fèi);若為節(jié)能而固守低功耗狀態(tài),則可能因無法響應(yīng)突發(fā)計(jì)算需求而危及飛行安全。

1.2 DVFS技術(shù)的核心價(jià)值與理論根基

動(dòng)態(tài)電壓頻率調(diào)整技術(shù)為解決上述矛盾提供了關(guān)鍵路徑。其基本原理在于:處理器的動(dòng)態(tài)功耗與供電電壓的平方及工作頻率成正比。通過動(dòng)態(tài)調(diào)節(jié)電壓與頻率,可在計(jì)算需求較低時(shí)降低功耗,在需求激增時(shí)提升性能,從而實(shí)現(xiàn)性能與功耗的動(dòng)態(tài)權(quán)衡。

DVFS的理論基礎(chǔ)可追溯至Weiser等與Pouwelse等的開創(chuàng)性研究,他們首次系統(tǒng)驗(yàn)證了動(dòng)態(tài)電壓頻率調(diào)節(jié)在降低處理器能耗方面的有效性,開創(chuàng)了性能與功耗動(dòng)態(tài)權(quán)衡的新范式。近年來的研究持續(xù)證實(shí)DVFS在嵌入式系統(tǒng)中的核心地位——Zidar等在超低功耗嵌入式系統(tǒng)環(huán)境下實(shí)現(xiàn)了高達(dá)47.7%的能效提升;Ramegowda等在FreeRTOS平臺(tái)驗(yàn)證了DVFS策略的實(shí)際有效性。這些研究表明,DVFS不僅是一種節(jié)能手段,更是在微秒級(jí)時(shí)間尺度內(nèi)實(shí)現(xiàn)性能與能耗權(quán)衡的主要技術(shù)路徑。

將DVFS技術(shù)應(yīng)用于高安全、高可靠的低空飛行器平臺(tái),尤其是軍事應(yīng)用場景,面臨著獨(dú)特挑戰(zhàn)。飛行器固有的硬實(shí)時(shí)約束、任務(wù)攸關(guān)的可靠性要求,以及復(fù)雜電磁對(duì)抗環(huán)境下的魯棒性需求,都對(duì)DVFS策略的設(shè)計(jì)提出了全新課題。特別是在水空跨介質(zhì)飛行器這類新興平臺(tái)上,DVFS算法還必須適應(yīng)任務(wù)場景的劇烈切換與極端物理環(huán)境的考驗(yàn)。

二、低空飛行器中DVFS的硬件與系統(tǒng)基礎(chǔ)

2.1 混合關(guān)鍵性計(jì)算架構(gòu)

為應(yīng)對(duì)復(fù)雜任務(wù)需求,現(xiàn)代低空飛行器機(jī)載平臺(tái)普遍采用異構(gòu)與分布式設(shè)計(jì)。這種架構(gòu)的核心特征是飛行控制器與伴飛計(jì)算機(jī)在物理和邏輯上的分離,體現(xiàn)了混合關(guān)鍵性系統(tǒng)的設(shè)計(jì)理念,旨在通過物理隔離為不同關(guān)鍵等級(jí)的任務(wù)提供可靠保障。

飛行控制器是保障飛行器飛行安全的核心,專用于處理“內(nèi)環(huán)”飛行控制任務(wù)。它通?;?a target="_blank">STM32等可預(yù)測性強(qiáng)的微控制器,核心職責(zé)包括高頻融合傳感器數(shù)據(jù)、實(shí)時(shí)解算飛行器姿態(tài)、輸出精確電機(jī)控制信號(hào)。這些任務(wù)具有嚴(yán)格的硬實(shí)時(shí)截止時(shí)間——任何延遲都可能破壞飛行穩(wěn)定,甚至引發(fā)災(zāi)難性后果。因此,飛行控制器的設(shè)計(jì)將時(shí)序可預(yù)測性置于首位。硬實(shí)時(shí)系統(tǒng)的可調(diào)度性分析依賴于對(duì)最壞情況執(zhí)行時(shí)間的精確界定,這也決定了飛行控制器端的DVFS策略以保守穩(wěn)定為原則,通常采用能滿足最壞情況執(zhí)行時(shí)間邊界的一組受限頻點(diǎn),僅在安全閾值內(nèi)進(jìn)行小幅調(diào)節(jié),避免破壞系統(tǒng)可調(diào)度性。

伴飛計(jì)算機(jī)則是飛行器高級(jí)自主功能的計(jì)算核心,也是應(yīng)用DVFS的理想平臺(tái)。它通常是高性能異構(gòu)片上系統(tǒng),如英偉達(dá)Jetson系列或高通驍龍飛行平臺(tái),集成了多核中央處理器、圖形處理器及AI加速器等復(fù)雜的異構(gòu)計(jì)算資源。伴飛計(jì)算機(jī)承載著視覺同步定位與建圖、目標(biāo)檢測、路徑規(guī)劃等計(jì)算與數(shù)據(jù)密集型任務(wù),其計(jì)算負(fù)載動(dòng)態(tài)變化劇烈。例如,在開闊空域飛行時(shí)負(fù)載較低,但在障礙物密集環(huán)境中計(jì)算需求會(huì)激增。由于這些智能任務(wù)具有軟實(shí)時(shí)特性,允許一定的響應(yīng)時(shí)間裕度,這為DVFS在滿足性能約束的前提下最大化能效創(chuàng)造了巨大空間。

這種混合關(guān)鍵性架構(gòu)的設(shè)計(jì),本質(zhì)上將DVFS的應(yīng)用場景劃分為兩個(gè)截然不同的領(lǐng)域:在飛行控制器端,DVFS以保障確定性為首要目標(biāo);在伴飛計(jì)算機(jī)端,DVFS以實(shí)現(xiàn)能效優(yōu)化為核心追求。兩者的協(xié)同與平衡,構(gòu)成了低空飛行器電源管理的基本矛盾。

2.2 SoC上DVFS的實(shí)現(xiàn)機(jī)制與現(xiàn)實(shí)挑戰(zhàn)

在片上系統(tǒng)上有效實(shí)施DVFS并非簡單的軟件調(diào)用,必須深入理解硬件機(jī)制并正視現(xiàn)實(shí)挑戰(zhàn)。若忽視底層約束,節(jié)能效果將大打折扣,甚至可能出現(xiàn)總能耗不降反升的尷尬局面。

DVFS技術(shù)有效實(shí)施的首要障礙在于性能伸縮的非線性特征。任務(wù)執(zhí)行時(shí)間并非與頻率嚴(yán)格成反比——許多智能任務(wù)呈現(xiàn)出“內(nèi)存密集型”特征,其性能瓶頸在于DRAM訪存延遲而非CPU運(yùn)算頻率。在這種情況下,單純降低CPU頻率不僅無法有效改善能耗,反而可能因執(zhí)行時(shí)間延長而增加總能耗。這一現(xiàn)象揭示了DVFS策略設(shè)計(jì)中的一個(gè)關(guān)鍵原則:必須基于任務(wù)的實(shí)際計(jì)算特征進(jìn)行頻率調(diào)節(jié),而非簡單依賴CPU利用率等宏觀指標(biāo)。

系統(tǒng)功耗構(gòu)成的復(fù)雜性是第二個(gè)重要挑戰(zhàn)。總能耗并非僅由CPU決定,SoC中非核心模塊、各類傳感器等部件的功耗占比顯著,且與CPU DVFS狀態(tài)呈現(xiàn)弱相關(guān)性。實(shí)測研究表明,在Jetson AGX Xavier平臺(tái)中,圖像傳感器功耗占比可達(dá)28%,且與CPU頻率關(guān)聯(lián)度較低,需要獨(dú)立的電源域管理。這意味著單純依靠DVFS的節(jié)能潛力有限,必須與動(dòng)態(tài)電源管理等系統(tǒng)級(jí)方法協(xié)同優(yōu)化。

切換開銷的不可忽視性是第三個(gè)現(xiàn)實(shí)挑戰(zhàn)。每次電壓與頻率的切換均伴隨延遲與能量消耗——電壓調(diào)節(jié)需要等待電源管理電路穩(wěn)定,頻率切換需要重新配置鎖相環(huán)。若調(diào)節(jié)過于頻繁,其開銷可能抵消節(jié)能收益。因此,有效的DVFS策略必須具備“成本感知”能力,在節(jié)能收益與切換開銷之間做出理性權(quán)衡。

三、低空飛行器對(duì)DVFS技術(shù)的挑戰(zhàn)與需求

3.1 動(dòng)態(tài)負(fù)載特性分析

低空飛行器機(jī)載控制系統(tǒng)的計(jì)算負(fù)載波動(dòng),主要源于飛行任務(wù)剖面的變化、環(huán)境感知需求的差異以及突發(fā)事件的響應(yīng)。

從任務(wù)剖面看,飛行器在不同飛行階段呈現(xiàn)出可預(yù)測的負(fù)載起伏。平穩(wěn)巡航時(shí),負(fù)載處于維持姿態(tài)穩(wěn)定的基線水平;起降階段因涉及精密控制和地面效應(yīng)處理,負(fù)載顯著升高;而在有風(fēng)擾的懸?;騽×覚C(jī)動(dòng)時(shí),控制系統(tǒng)需高頻解算姿態(tài)以維持穩(wěn)定,計(jì)算負(fù)載瞬時(shí)達(dá)到峰值。這種貫穿任務(wù)全程的負(fù)載變化,是DVFS策略需要適應(yīng)的基本場景。

環(huán)境復(fù)雜性的變化帶來更劇烈的負(fù)載波動(dòng)。在城市峽谷等非結(jié)構(gòu)化環(huán)境中,系統(tǒng)需持續(xù)運(yùn)行SLAM和動(dòng)態(tài)避障等計(jì)算密集型算法。研究表明,即便部署輕量級(jí)算法如YOLOv4-Tiny,機(jī)載實(shí)現(xiàn)復(fù)雜視覺算法仍面臨嚴(yán)峻算力挑戰(zhàn)。為應(yīng)對(duì)此問題,學(xué)術(shù)界正在探索新的傳感范式——Kulkarni等提出基于“事件相機(jī)”的視覺慣性里程計(jì)方法,通過自適應(yīng)事件累積降低計(jì)算開銷,這表明新的傳感和處理范式有望與DVFS協(xié)同進(jìn)一步優(yōu)化能效。更關(guān)鍵的是,這些計(jì)算任務(wù)通常是并發(fā)執(zhí)行的,其負(fù)載相互疊加,共同構(gòu)成總體系統(tǒng)計(jì)算壓力。

應(yīng)急響應(yīng)與模式切換也會(huì)導(dǎo)致計(jì)算負(fù)載驟增。傳感器異常、突發(fā)避障等事件需要即時(shí)啟動(dòng)診斷與容錯(cuò)算法。這一現(xiàn)象在水空跨介質(zhì)飛行器跨介質(zhì)轉(zhuǎn)換時(shí)尤為突出,系統(tǒng)需在極短時(shí)間內(nèi)應(yīng)對(duì)流體動(dòng)力變化和模式切換,對(duì)DVFS的響應(yīng)速度和實(shí)時(shí)性提出極高要求。

3.2 實(shí)時(shí)性約束與可調(diào)度性保障

低空飛行器的飛行控制系統(tǒng)屬于硬實(shí)時(shí)系統(tǒng),任何計(jì)算延遲都可能引發(fā)嚴(yán)重后果,因此實(shí)時(shí)性是DVFS策略設(shè)計(jì)的首要約束。這一約束帶來的核心挑戰(zhàn)主要體現(xiàn)在兩個(gè)方面。

截止時(shí)間保障是首要難題。DVFS通過調(diào)節(jié)處理器頻率直接影響任務(wù)執(zhí)行時(shí)間,若缺乏精確分析或保守設(shè)計(jì),可能導(dǎo)致關(guān)鍵任務(wù)錯(cuò)過截止時(shí)間,破壞系統(tǒng)可調(diào)度性。在混合關(guān)鍵性系統(tǒng)中,高關(guān)鍵性任務(wù)與低關(guān)鍵性任務(wù)共享計(jì)算資源,DVFS策略必須在滿足高關(guān)鍵性任務(wù)實(shí)時(shí)性約束的前提下,盡可能為低關(guān)鍵性任務(wù)提供節(jié)能空間。

可預(yù)測性與安全性同樣面臨挑戰(zhàn)。頻率和電壓的動(dòng)態(tài)切換會(huì)引入額外開銷和不確定性,降低系統(tǒng)時(shí)序可預(yù)測性。更值得警惕的是,若缺乏安全機(jī)制,DVFS的動(dòng)態(tài)調(diào)節(jié)能力可能成為潛在的攻擊入口。因此,DVFS策略的設(shè)計(jì)必須以保證系統(tǒng)行為的可預(yù)測性為前提,在安全關(guān)鍵系統(tǒng)中建立形式化的驗(yàn)證機(jī)制。

3.3 對(duì)DVFS策略的核心需求

綜合前述分析,低空飛行器對(duì)DVFS策略提出了五方面的核心需求:

實(shí)時(shí)性保證是首要任務(wù),策略必須絕對(duì)保障所有關(guān)鍵控制任務(wù)的截止時(shí)間,這是飛行安全的基石。自適應(yīng)性要求策略能夠快速、準(zhǔn)確地感知并響應(yīng)計(jì)算負(fù)載的劇烈波動(dòng),避免響應(yīng)滯后導(dǎo)致的性能不足或能耗浪費(fèi)。能源效率要求在滿足性能與實(shí)時(shí)性約束的前提下,最大化節(jié)省能源以延長續(xù)航。低開銷要求策略自身的算法復(fù)雜度、運(yùn)行時(shí)計(jì)算開銷及操作點(diǎn)切換引入的延遲與功耗都被控制在最低水平。高魯棒性則要求策略在各種飛行場景、計(jì)算負(fù)載及外部干擾下始終保持穩(wěn)定、可靠的工作狀態(tài)。

這五大需求相互交織,共同構(gòu)成一個(gè)復(fù)雜的多目標(biāo)優(yōu)化問題。DVFS技術(shù)的發(fā)展史,本質(zhì)上就是為更優(yōu)地滿足上述需求而不斷演進(jìn)的歷史。

四、主流動(dòng)態(tài)DVFS方法演進(jìn)

4.1 傳統(tǒng)啟發(fā)式方法

DVFS技術(shù)發(fā)展初期,研究者傾向于采用基于閾值的啟發(fā)式方法,典型代表是Linux內(nèi)核中的Ondemand與Conservative調(diào)速器。這類方法以實(shí)現(xiàn)簡單、開銷極低為主要優(yōu)勢,其邏輯僅涉及基礎(chǔ)比較和查表,運(yùn)行時(shí)開銷微乎其微,因此在資源受限平臺(tái)上極具吸引力。

然而,啟發(fā)式方法均屬于事后響應(yīng)機(jī)制——通過監(jiān)測CPU利用率等指標(biāo),當(dāng)負(fù)載超過閾值時(shí)升頻,低于閾值時(shí)降頻。在低空飛行器這種負(fù)載劇烈波動(dòng)的平臺(tái)上,這種機(jī)制容易出現(xiàn)升頻滯后或降頻延遲:升頻滯后導(dǎo)致關(guān)鍵任務(wù)錯(cuò)過截止時(shí)間,降頻延遲則造成不必要的能耗浪費(fèi)。

為緩解響應(yīng)滯后問題,研究者對(duì)傳統(tǒng)框架進(jìn)行了改進(jìn)。陳道品等通過引入雙閾值機(jī)制實(shí)現(xiàn)多核處理器的精細(xì)化功耗調(diào)控,在保證性能的同時(shí)顯著降低能耗;王曉瑩等基于潛在負(fù)載處理能力匹配任務(wù)與處理核,實(shí)現(xiàn)了更高效的調(diào)度與節(jié)能。盡管這些改進(jìn)提升了啟發(fā)式策略的效能,但其被動(dòng)響應(yīng)的根本局限仍未解決,推動(dòng)研究逐漸轉(zhuǎn)向前瞻性預(yù)測策略。

4.2 前瞻性預(yù)測策略

預(yù)測式方法的關(guān)鍵在于由被動(dòng)響應(yīng)轉(zhuǎn)向主動(dòng)預(yù)測。通過利用歷史數(shù)據(jù)和模型推演,系統(tǒng)可以在負(fù)載變化發(fā)生前進(jìn)行電壓頻率調(diào)節(jié),從而更好地保障實(shí)時(shí)性約束。

常用預(yù)測模型包括時(shí)間序列分析與卡爾曼濾波等。針對(duì)傳統(tǒng)CPU利用率難以準(zhǔn)確刻畫負(fù)載的問題,Moghaddam等利用更細(xì)粒度的性能計(jì)數(shù)器并結(jié)合卡爾曼濾波進(jìn)行負(fù)載預(yù)測,在保證性能約束的同時(shí)實(shí)現(xiàn)了穩(wěn)定的能耗降低。與此同時(shí),為提升模型在負(fù)載劇烈波動(dòng)下的適應(yīng)性,李昌碩等提出基于預(yù)測誤差自適應(yīng)加權(quán)的指數(shù)平滑模型,在STM32平臺(tái)上驗(yàn)證了最高達(dá)66%的能效提升。

預(yù)測式DVFS在處理地理測繪等規(guī)律性任務(wù)剖面時(shí)具有顯著潛力。然而,由于依賴精確模型,其在非結(jié)構(gòu)化環(huán)境下面對(duì)非線性、非周期性負(fù)載時(shí)表現(xiàn)受限,這一局限性進(jìn)一步推動(dòng)了基于學(xué)習(xí)的自適應(yīng)控制方法的發(fā)展。

4.3 基于學(xué)習(xí)的智能控制

強(qiáng)化學(xué)習(xí)方法的引入為DVFS帶來了革命性變化。通過與環(huán)境的持續(xù)交互,智能體能夠在無需顯式模型的情況下學(xué)習(xí)最優(yōu)策略,實(shí)現(xiàn)能效、實(shí)時(shí)性與自適應(yīng)性的動(dòng)態(tài)權(quán)衡。

針對(duì)異構(gòu)SoC管理中信息不完備導(dǎo)致的部分可觀測性問題,Zhou等引入深度循環(huán)Q網(wǎng)絡(luò),利用循環(huán)神經(jīng)網(wǎng)絡(luò)的記憶能力推斷系統(tǒng)狀態(tài),實(shí)現(xiàn)更優(yōu)頻率調(diào)控。在視頻渲染任務(wù)中,該方法獲得最高2.1倍的單位功耗性能提升,展示了學(xué)習(xí)方法在緊耦合異構(gòu)資源管理中的潛力。

針對(duì)傳統(tǒng)能耗優(yōu)化方法對(duì)平臺(tái)特定功率模型依賴強(qiáng)、構(gòu)建成本高且難以遷移的問題,Yu等提出模型無關(guān)的在線學(xué)習(xí)框架。該方法基于Actor-Critic架構(gòu),直接與NVIDIA Jetson TX2等平臺(tái)的功耗管理單元交互,避免顯式功率建模。在實(shí)際硬件實(shí)驗(yàn)中,該框架能夠快速適應(yīng)不同任務(wù)與平臺(tái),實(shí)現(xiàn)最高34.6%的能效提升。

針對(duì)多任務(wù)并發(fā)場景下傳統(tǒng)DVFS難以區(qū)分負(fù)載特性、決策次優(yōu)的問題,Lin等提出GearDVFS框架,通過引入“元狀態(tài)”并利用性能計(jì)數(shù)器感知負(fù)載上下文,結(jié)合分支動(dòng)作DQN分解決策空間。在視頻處理任務(wù)中,該方法實(shí)現(xiàn)23.9%至26.9%的單位功耗性能提升。

值得注意的是,學(xué)習(xí)式方法已由處理器級(jí)調(diào)控拓展至系統(tǒng)級(jí)跨域協(xié)同優(yōu)化。李新民等通過構(gòu)建綜合飛行能耗、通信速率與感知增益的多目標(biāo)獎(jiǎng)勵(lì)函數(shù),利用強(qiáng)化學(xué)習(xí)實(shí)現(xiàn)飛行軌跡與功率分配的聯(lián)合優(yōu)化,總能耗降低12.36%至21.08%。

4.4 系統(tǒng)級(jí)協(xié)同優(yōu)化

隨著低空飛行器機(jī)載平臺(tái)演變?yōu)閺?fù)雜的異構(gòu)SoC,單一處理器層面的優(yōu)化已難以滿足系統(tǒng)級(jí)能效與魯棒性需求,促使DVFS向與任務(wù)調(diào)度、容錯(cuò)機(jī)制及異構(gòu)資源管理協(xié)同的系統(tǒng)級(jí)優(yōu)化發(fā)展。

在系統(tǒng)級(jí)協(xié)同框架下,CPU、GPU、NPU等單元的性能與功耗被統(tǒng)一建模與調(diào)控。DVFS與任務(wù)調(diào)度在異構(gòu)架構(gòu)中緊密耦合,需協(xié)同解決任務(wù)分配與執(zhí)行功耗狀態(tài)選擇兩個(gè)核心問題。Valente等提出的“Shaheen”異構(gòu)SoC即為代表,針對(duì)安全型納米無人機(jī)導(dǎo)航任務(wù)集成高性能RV64核心與低功耗RV32集群,實(shí)現(xiàn)基于任務(wù)特性的天然分工。

視覺自主導(dǎo)航是低空飛行器的核心任務(wù)之一,對(duì)卷積神經(jīng)網(wǎng)絡(luò)能效提出較高要求。Li等利用深度學(xué)習(xí)模型的容錯(cuò)性,提出激進(jìn)DVFS框架,允許電壓與頻率降低至可能發(fā)生時(shí)序違例的水平,在僅引入極小精度損失前提下實(shí)現(xiàn)顯著能耗優(yōu)化。這一研究表明,通過挖掘算法固有魯棒性,可突破傳統(tǒng)DVFS的安全裕度限制,形成跨層協(xié)同優(yōu)化的新思路。

在安全關(guān)鍵系統(tǒng)中,能耗、可靠性與實(shí)時(shí)性的聯(lián)合優(yōu)化是調(diào)度算法設(shè)計(jì)的核心難題。王澤元提出融合任務(wù)調(diào)度、DVFS、動(dòng)態(tài)電源管理與容錯(cuò)機(jī)制的協(xié)同優(yōu)化框架,通過降低冗余開銷并結(jié)合空閑回收策略,在保持高可靠性的同時(shí)實(shí)現(xiàn)28.8%至53.1%的能耗優(yōu)化。

4.5 關(guān)鍵交叉性議題

在上述所有策略的演進(jìn)過程中,低開銷與高魯棒性始終是貫穿不同層次的關(guān)鍵約束。由于電壓與頻率切換本身會(huì)引入額外的時(shí)間與能量開銷,過于頻繁的調(diào)節(jié)甚至可能抵消節(jié)能收益,因此有效的DVFS設(shè)計(jì)必須具備對(duì)切換成本的顯式感知與約束能力。

對(duì)于低空飛行器等安全關(guān)鍵系統(tǒng),可靠性是不可妥協(xié)的設(shè)計(jì)基石。然而,DVFS通過降低供電電壓會(huì)增加瞬態(tài)故障發(fā)生概率——電壓降低使電路對(duì)噪聲和輻射干擾更敏感,使能耗優(yōu)化與系統(tǒng)可靠性形成天然沖突。針對(duì)這一問題,吳昊提出“先保安全,再求節(jié)能”的多目標(biāo)優(yōu)化調(diào)度策略,在降頻前預(yù)先建立任務(wù)冗余防護(hù),使系統(tǒng)在低電壓狀態(tài)下仍保持高可靠性。實(shí)驗(yàn)結(jié)果表明,該方法在將能耗降低20.8%至54.6%的同時(shí),將平均故障率控制在較低水平,驗(yàn)證了通過調(diào)度與容錯(cuò)協(xié)同設(shè)計(jì)實(shí)現(xiàn)能效與可靠性平衡的可行性。

五、面向水空跨介質(zhì)飛行器的DVFS應(yīng)用探討

5.1 跨介質(zhì)轉(zhuǎn)換的動(dòng)力學(xué)挑戰(zhàn)

水空跨介質(zhì)飛行器作為新興的低空飛行器形態(tài),在隱蔽滲透、瀕海偵察等方面具備廣闊應(yīng)用前景。然而,其運(yùn)行模式較傳統(tǒng)單介質(zhì)飛行器更為復(fù)雜,任務(wù)剖面涵蓋空中、水面、水下運(yùn)行以及最具挑戰(zhàn)性的跨介質(zhì)轉(zhuǎn)換階段。

跨介質(zhì)轉(zhuǎn)換對(duì)計(jì)算能力和實(shí)時(shí)響應(yīng)提出了最為嚴(yán)苛的要求。在高速入水和出水過程中,飛行器需應(yīng)對(duì)劇烈的流體沖擊、浮力變化及推進(jìn)特性突變??刂葡到y(tǒng)必須在極短時(shí)間內(nèi)完成姿態(tài)調(diào)節(jié)、模式切換與多源傳感器數(shù)據(jù)融合,導(dǎo)致計(jì)算負(fù)載瞬時(shí)達(dá)到峰值。已有研究表明,跨介質(zhì)轉(zhuǎn)換伴隨著復(fù)雜的流體動(dòng)力學(xué)效應(yīng)、瞬態(tài)動(dòng)力學(xué)模型切換以及推進(jìn)器輸入飽和上限的快速變化,共同構(gòu)成飛行器面臨的核心技術(shù)挑戰(zhàn)。

這些嚴(yán)苛的物理約束直接轉(zhuǎn)化為對(duì)機(jī)載計(jì)算能力的極高需求。多種計(jì)算密集型任務(wù)在跨介質(zhì)階段短時(shí)并發(fā)——多介質(zhì)動(dòng)力學(xué)模型的實(shí)時(shí)求解、多源異構(gòu)傳感器數(shù)據(jù)的高頻融合、先進(jìn)控制算法的在線執(zhí)行、控制模式的快速切換,使系統(tǒng)計(jì)算負(fù)載瞬時(shí)達(dá)到峰值。對(duì)DVFS策略而言,這意味著必須在極短時(shí)間內(nèi)將處理器從低功耗狀態(tài)迅速提升至高性能狀態(tài),并在負(fù)載回落后及時(shí)降頻。在秒級(jí)甚至毫秒級(jí)的負(fù)載突變下,響應(yīng)遲緩的策略可能因計(jì)算能力供給不足而危及飛行安全。

5.2 面向AAV的特殊需求

基于水空跨介質(zhì)飛行器獨(dú)特的運(yùn)行剖面和極端技術(shù)挑戰(zhàn),應(yīng)用于其上的DVFS策略除了滿足低空飛行器的一般性需求外,還必須具備以下特殊屬性:

模式感知的動(dòng)態(tài)實(shí)時(shí)性保障要求策略能夠識(shí)別當(dāng)前運(yùn)行模式,并動(dòng)態(tài)調(diào)整最低安全工作頻率等實(shí)時(shí)性約束。空中巡航、水面滑行、水下潛航與跨介質(zhì)轉(zhuǎn)換各階段對(duì)實(shí)時(shí)性的要求存在本質(zhì)差異,DVFS策略必須能夠感知這種差異并做出針對(duì)性響應(yīng)。

輕量化的上下文感知自適應(yīng)性要求在資源受限條件下,將運(yùn)行模式等上下文信息與簡化預(yù)測機(jī)制相結(jié)合,實(shí)現(xiàn)低開銷的前瞻性頻率調(diào)節(jié)。跨介質(zhì)轉(zhuǎn)換窗口極為短暫,任何復(fù)雜的在線優(yōu)化算法都難以在可用時(shí)間窗口內(nèi)完成收斂,因此必須發(fā)展輕量級(jí)的自適應(yīng)機(jī)制。

切換開銷感知的魯棒設(shè)計(jì)需要顯式考慮頻繁模式轉(zhuǎn)換帶來的操作點(diǎn)切換成本,通過遲滯或抑制機(jī)制避免無效調(diào)節(jié)。跨介質(zhì)轉(zhuǎn)換往往伴隨多次嘗試和調(diào)整,若每次切換都觸發(fā)激進(jìn)的DVFS調(diào)節(jié),其累積開銷可能相當(dāng)可觀。

系統(tǒng)級(jí)協(xié)同能效優(yōu)化要求突破單一CPU優(yōu)化,將DVFS與任務(wù)調(diào)度、異構(gòu)資源管理及系統(tǒng)級(jí)電源管理協(xié)同設(shè)計(jì),實(shí)現(xiàn)全局能效最優(yōu)。水空跨介質(zhì)飛行器需要同時(shí)管理飛行控制、導(dǎo)航感知、通信鏈路等多個(gè)子系統(tǒng),DVFS策略必須與這些子系統(tǒng)協(xié)同運(yùn)作。

六、未來發(fā)展趨勢與關(guān)鍵研究方向

6.1 面向?qū)崟r(shí)控制的可認(rèn)證人工智能

基于深度強(qiáng)化學(xué)習(xí)的DVFS策略雖具高度自適應(yīng)性,但其“黑箱”特性缺乏可解釋性,難以在航空航天等安全關(guān)鍵領(lǐng)域提供形式化的安全性與實(shí)時(shí)性保證。當(dāng)前深度強(qiáng)化學(xué)習(xí)策略的決策過程缺乏透明性,其行為邊界難以界定,這已成為工程應(yīng)用的主要障礙。

未來研究亟需在保持自適應(yīng)能力的同時(shí),彌合先進(jìn)人工智能與航空系統(tǒng)嚴(yán)苛安全要求之間的鴻溝。具體路徑可能包括:發(fā)展輕量化智能體設(shè)計(jì),使模型復(fù)雜度可控、行為可解釋;引入形式化驗(yàn)證方法,對(duì)學(xué)習(xí)策略的安全邊界進(jìn)行數(shù)學(xué)證明;構(gòu)建混合架構(gòu),將可認(rèn)證的經(jīng)典控制理論與自適應(yīng)學(xué)習(xí)機(jī)制相結(jié)合,實(shí)現(xiàn)“安全內(nèi)核+學(xué)習(xí)增強(qiáng)”的雙層結(jié)構(gòu)。通過這些努力,為低空飛行器提供可信、可界定的穩(wěn)定性與實(shí)時(shí)性保障。

6.2 統(tǒng)一的異構(gòu)計(jì)算資源管理框架

當(dāng)前SoC各處理單元的功耗管理多由不同驅(qū)動(dòng)或軟件棧獨(dú)立實(shí)現(xiàn),CPU、GPU、NPU、DSP等各有其電源管理機(jī)制,缺乏統(tǒng)一的全局視角,難以實(shí)現(xiàn)系統(tǒng)級(jí)最優(yōu)能效。這種“煙囪式”管理架構(gòu)導(dǎo)致資源調(diào)度決策碎片化,無法根據(jù)任務(wù)特性協(xié)同調(diào)配異構(gòu)計(jì)算資源。

一個(gè)重要的研究前沿是在實(shí)時(shí)操作系統(tǒng)內(nèi)核層面構(gòu)建統(tǒng)一的電源與性能管理框架。該框架應(yīng)對(duì)異構(gòu)計(jì)算資源進(jìn)行抽象,提供統(tǒng)一的功耗狀態(tài)管理與性能調(diào)控接口;依據(jù)任務(wù)的計(jì)算特性和實(shí)時(shí)性需求,協(xié)同完成任務(wù)調(diào)度與各處理單元的DVFS配置;在運(yùn)行時(shí)動(dòng)態(tài)監(jiān)測系統(tǒng)狀態(tài),進(jìn)行全局能效優(yōu)化。實(shí)現(xiàn)該目標(biāo)仍需解決異構(gòu)任務(wù)建模、跨設(shè)備依賴分析、能效-性能全局聯(lián)合優(yōu)化等關(guān)鍵問題。

6.3 可靠性作為一等設(shè)計(jì)約束

在傳統(tǒng)DVFS設(shè)計(jì)中,可靠性往往作為事后約束或通過保守電壓裕度加以保證,這顯著限制了節(jié)能潛力。然而,激進(jìn)降壓雖可提升能效,卻會(huì)增加瞬態(tài)故障風(fēng)險(xiǎn)——隨著工藝尺寸縮小,電路對(duì)電壓擾動(dòng)的敏感性顯著增強(qiáng)。

未來DVFS策略需將可靠性與性能、功耗并列為一等設(shè)計(jì)目標(biāo)。這意味著需要建立融合電壓、頻率、溫度及器件老化等因素的在線可靠性模型,能夠?qū)崟r(shí)評(píng)估當(dāng)前工作狀態(tài)下的瞬態(tài)故障率;將可靠性模型引入多目標(biāo)優(yōu)化控制器,實(shí)現(xiàn)能效提升與系統(tǒng)長期可靠性的協(xié)同權(quán)衡;發(fā)展可靠性感知的任務(wù)調(diào)度算法,在高可靠性需求時(shí)段采用保守策略,在低可靠性需求時(shí)段進(jìn)行激進(jìn)節(jié)能。這一研究方向?qū)τ谲娛聭?yīng)用等高安全場景尤為重要。

6.4 高保真仿真與驗(yàn)證平臺(tái)

DVFS策略的研發(fā)嚴(yán)重依賴高保真的仿真與驗(yàn)證環(huán)境。當(dāng)前研究中普遍采用的仿真模型往往過于簡化,難以準(zhǔn)確反映真實(shí)硬件的行為特征——功耗模型的誤差、時(shí)序建模的粗糙、系統(tǒng)交互的缺失,都可能導(dǎo)致仿真結(jié)論與實(shí)際部署效果之間的顯著偏差。

未來需要構(gòu)建面向低空飛行器應(yīng)用的專用DVFS驗(yàn)證平臺(tái),具備以下特征:精確的功耗建模,能夠捕捉不同操作點(diǎn)下的動(dòng)態(tài)與靜態(tài)功耗;真實(shí)的時(shí)序仿真,能夠反映頻率調(diào)節(jié)對(duì)任務(wù)執(zhí)行時(shí)間的影響;完整的外設(shè)建模,能夠模擬傳感器、通信等模塊的功耗行為;硬件在環(huán)測試能力,能夠在實(shí)際硬件上驗(yàn)證策略效果。這樣的驗(yàn)證平臺(tái)將極大提升DVFS策略研發(fā)的效率與可靠性。

動(dòng)態(tài)電壓頻率調(diào)整技術(shù)作為平衡性能與功耗的關(guān)鍵手段,在低空飛行器領(lǐng)域具有重要研究價(jià)值與應(yīng)用前景。本文系統(tǒng)梳理了DVFS技術(shù)在低空飛行器中的發(fā)展現(xiàn)狀與演進(jìn)脈絡(luò),從混合關(guān)鍵性計(jì)算架構(gòu)出發(fā),分析了飛行器動(dòng)態(tài)負(fù)載特性與實(shí)時(shí)性約束對(duì)DVFS策略提出的核心需求,歸納了從傳統(tǒng)啟發(fā)式方法到系統(tǒng)級(jí)協(xié)同優(yōu)化的技術(shù)演進(jìn)路徑。

研究表明,DVFS技術(shù)正經(jīng)歷從以CPU為中心的局部節(jié)能手段,向面向異構(gòu)平臺(tái)、具備智能決策能力的系統(tǒng)級(jí)性能-功耗協(xié)同管理策略的根本轉(zhuǎn)變。這一轉(zhuǎn)變源于現(xiàn)代低空飛行器為實(shí)現(xiàn)高級(jí)自主性而引入的復(fù)雜異構(gòu)計(jì)算架構(gòu),以及其在動(dòng)態(tài)、非結(jié)構(gòu)化環(huán)境下面臨的嚴(yán)苛實(shí)時(shí)性、可靠性與安全性約束。水空跨介質(zhì)飛行器作為這一演進(jìn)的前沿平臺(tái),其極端跨介質(zhì)運(yùn)行環(huán)境將上述挑戰(zhàn)推向極致,成為新一代動(dòng)態(tài)電源管理技術(shù)的重要試驗(yàn)場。

解決DVFS技術(shù)在先進(jìn)低空飛行器平臺(tái)上所面臨的應(yīng)用瓶頸,不僅是推動(dòng)此類特種飛行器發(fā)展的關(guān)鍵,其研究成果——可認(rèn)證的智能控制、統(tǒng)一的資源管理、可靠性與能效的協(xié)同設(shè)計(jì)、高保真的驗(yàn)證平臺(tái)——將對(duì)整個(gè)低空飛行器領(lǐng)域乃至更廣泛的自主移動(dòng)機(jī)器人和安全關(guān)鍵嵌入式系統(tǒng)的能源效率管理技術(shù)體系產(chǎn)生深遠(yuǎn)影響。

&注:由于小編水平有限,對(duì)所閱讀文獻(xiàn)的翻譯及總結(jié)難免有誤,錯(cuò)誤之處敬請(qǐng)指正,非常感謝。本公眾號(hào)推送內(nèi)容以交流學(xué)習(xí)為目的,并非商業(yè)用途,所使用的配圖均來源于公開網(wǎng)絡(luò)獲取,如有侵權(quán),請(qǐng)聯(lián)系協(xié)商處理。

湖南泰德航空技術(shù)有限公司于2012年成立,多年來持續(xù)學(xué)習(xí)與創(chuàng)新,成長為行業(yè)內(nèi)有影響力的高新技術(shù)企業(yè)。公司聚焦高品質(zhì)航空航天流體控制元件及系統(tǒng)研發(fā),深度布局航空航天、船舶兵器、低空經(jīng)濟(jì)等高科技領(lǐng)域,在航空航天燃/滑油泵、閥元件、流體控制系統(tǒng)及航空測試設(shè)備的研發(fā)上投入大量精力持續(xù)研發(fā),為提升公司整體競爭力提供堅(jiān)實(shí)支撐。

公司總部位于長沙市雨花區(qū)同升街道匯金路877號(hào),株洲市天元區(qū)動(dòng)力谷作為現(xiàn)代化生產(chǎn)基地,構(gòu)建起集研發(fā)、生產(chǎn)、檢測、測試于一體的全鏈條產(chǎn)業(yè)體系。經(jīng)過十余年穩(wěn)步發(fā)展,成功實(shí)現(xiàn)從貿(mào)易和航空非標(biāo)測試設(shè)備研制邁向航空航天發(fā)動(dòng)機(jī)、無人機(jī)、靶機(jī)、eVTOL等飛行器燃油、潤滑、冷卻系統(tǒng)的創(chuàng)新研發(fā)轉(zhuǎn)型,不斷提升技術(shù)實(shí)力。

公司已通過 GB/T 19001-2016/ISO 9001:2015質(zhì)量管理體系認(rèn)證,以嚴(yán)苛標(biāo)準(zhǔn)保障產(chǎn)品質(zhì)量。公司注重知識(shí)產(chǎn)權(quán)的保護(hù)和利用,積極申請(qǐng)發(fā)明專利、實(shí)用新型專利和軟著,目前累計(jì)獲得的知識(shí)產(chǎn)權(quán)已經(jīng)有10多項(xiàng)。湖南泰德航空以客戶需求為導(dǎo)向,積極拓展核心業(yè)務(wù),與國內(nèi)頂尖科研單位達(dá)成深度戰(zhàn)略合作,整合優(yōu)勢資源,攻克多項(xiàng)技術(shù)難題,為進(jìn)一步的發(fā)展奠定堅(jiān)實(shí)基礎(chǔ)。

湖南泰德航空始終堅(jiān)持創(chuàng)新,建立健全供應(yīng)鏈和銷售服務(wù)體系、堅(jiān)持質(zhì)量管理的目標(biāo),不斷提高自身核心競爭優(yōu)勢,為客戶提供更經(jīng)濟(jì)、更高效的飛行器動(dòng)力、潤滑、冷卻系統(tǒng)、測試系統(tǒng)等解決方案。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 飛行器
    +關(guān)注

    關(guān)注

    13

    文章

    841

    瀏覽量

    47817
  • 無人機(jī)
    +關(guān)注

    關(guān)注

    236

    文章

    11347

    瀏覽量

    196257
  • DVFS
    +關(guān)注

    關(guān)注

    1

    文章

    19

    瀏覽量

    12380
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    EDA形式化驗(yàn)證漫談:仿真之外,驗(yàn)證之內(nèi)

    “在未來五年內(nèi)仿真將逐漸被淘汰,僅用于子系統(tǒng)和系統(tǒng)級(jí)驗(yàn)證。與此同時(shí),形式化驗(yàn)證方法已經(jīng)開始處理一些系統(tǒng)級(jí)任務(wù)。隨著技術(shù)發(fā)展,更多Formal相關(guān)的商業(yè)標(biāo)準(zhǔn)化會(huì)推出?!?Intel?fellow
    的頭像 發(fā)表于 09-01 09:10 ?2377次閱讀

    激光毀傷系統(tǒng):低空飛行器的 “隱形獵手”

    低空安全關(guān)鍵力量。它讓各類違規(guī)、危險(xiǎn)的低空飛行器無所遁形,為人們的生活、工作和生態(tài)環(huán)境營造安全有序的
    發(fā)表于 02-26 17:26

    CES Asia 2025 低空經(jīng)濟(jì)專館:思想碰撞,引領(lǐng)低空經(jīng)濟(jì)規(guī)則升級(jí)

    經(jīng)濟(jì)發(fā)展的重要基礎(chǔ),領(lǐng)導(dǎo)們探討如何在保障航空安全的前提下,逐步擴(kuò)大空域開放范圍,優(yōu)化空域管理體制,提高空域資源的利用效率,為低空飛行器的廣泛應(yīng)用創(chuàng)造有利條件。適航認(rèn)證新規(guī)的制定則是確保飛行器
    發(fā)表于 07-04 17:04

    CES Asia 2025聚焦低空智能感知與空域管理,論壇開啟行業(yè)新征程

    和協(xié)同工作,以提高空域利用率和飛行安全性。論壇將組織相關(guān)企業(yè)和研究機(jī)構(gòu),共同探討UTM/UAM管理系統(tǒng)的技術(shù)標(biāo)準(zhǔn)、數(shù)據(jù)交互規(guī)范和系統(tǒng)集成方案,推動(dòng)建立統(tǒng)一的低空交通管理平臺(tái),實(shí)現(xiàn)對(duì)
    發(fā)表于 07-10 09:57

    CES Asia 2025同期低空智能感知與空域管理技術(shù)論壇即將啟幕

    安全、UTM/UAM管理系統(tǒng)發(fā)展與互操作、人工智能在空域動(dòng)態(tài)管理中的應(yīng)用等前沿議題,將匯聚全球頂尖專家、企業(yè)代表,共同探索低空領(lǐng)域的未來發(fā)展方向。 低空通信導(dǎo)航監(jiān)視技術(shù)作為
    發(fā)表于 07-10 10:16

    eVTOL低空飛行器電機(jī)為什么要用自粘結(jié)鐵芯方案?

    任意齒槽結(jié)構(gòu)(如斜槽、階梯槽),提升電機(jī)運(yùn)行平穩(wěn)。 五、N·V·H 難題:低空飛行器關(guān)鍵技術(shù)痛點(diǎn)低空飛行器N·V·H 難題嚴(yán)重影響飛行器
    發(fā)表于 08-06 11:25

    芯片電感/半導(dǎo)體模組磁性元器件在低空飛行器領(lǐng)域的應(yīng)用范圍及其作用

    是儲(chǔ)能穩(wěn)壓、濾波抗干擾、能量轉(zhuǎn)換、信號(hào)匹配,直接影響飛行器的續(xù)航能力、飛行穩(wěn)定性和安全性。 一、核心應(yīng)用范圍與具體作用 1. 動(dòng)力系統(tǒng)(電機(jī)驅(qū)動(dòng)與電調(diào)) 低空飛行器的“心臟” 系統(tǒng),決
    發(fā)表于 01-16 14:29

    ACRN 之InterruptWindow功能正確形式化驗(yàn)證

    重磅推薦|ACRN 之InterruptWindow功能正確形式化驗(yàn)證
    發(fā)表于 06-18 16:04

    VaaS平臺(tái)已支持區(qū)塊鏈平臺(tái)智能合約的形式化驗(yàn)證

    VaaS形式化驗(yàn)證平臺(tái),采用了多種形式化驗(yàn)證方法,具有驗(yàn)證效率高、自動(dòng)化程度高、人工參與度低、易于使用、支持多個(gè)合約開發(fā)語言、可支持大容量區(qū)塊鏈底層平臺(tái)的形式化驗(yàn)證等優(yōu)點(diǎn)。
    發(fā)表于 12-14 10:18 ?1606次閱讀

    基于定理證明其的有限域及其形式化研究

    方法只能在η固定的特定有限域上進(jìn)行驗(yàn)證,而且計(jì)算量往往超出計(jì)算機(jī)的能力?;诮换ナ蕉ɡ碜C眀形式化驗(yàn)證為有限域性質(zhì)的通用驗(yàn)提供了可能,但這方面的工作難度較大。已有
    發(fā)表于 04-25 11:41 ?1次下載
    基于定理證明其的有限域及其<b class='flag-5'>形式化</b><b class='flag-5'>研究</b>

    從小眾走向普及,形式化驗(yàn)證對(duì)系統(tǒng)級(jí)芯片開發(fā)有多重要?

    形式化驗(yàn)證作為一種全新的驗(yàn)證方法,近年來在芯片開發(fā)中快速發(fā)展,正逐漸取代傳統(tǒng)的仿真方法。 雖然仿真在系統(tǒng)級(jí)驗(yàn)證方面仍然發(fā)揮著重要的作用,但對(duì)于單元級(jí)的signoff而言,形式化驗(yàn)證已經(jīng)
    的頭像 發(fā)表于 04-21 19:35 ?1359次閱讀
    從小眾走向普及,<b class='flag-5'>形式化驗(yàn)證</b>對(duì)系統(tǒng)級(jí)芯片開發(fā)有多重要?

    欣旺達(dá):已具備低空飛行器電池研發(fā)生產(chǎn)能力

    近日,欣旺達(dá)電子股份有限公司(以下簡稱“欣旺達(dá)”)明確表示,公司已經(jīng)具備了研發(fā)和生產(chǎn)低空飛行器電池的能力,并且正在積極與相關(guān)的廠商進(jìn)行對(duì)接。 欣旺達(dá)作為一家在電池領(lǐng)域具有深厚技術(shù)積累的企業(yè),一直
    的頭像 發(fā)表于 12-04 11:23 ?1534次閱讀

    MATLAB在低空飛行器中的應(yīng)用

    在當(dāng)今科技飛速發(fā)展的時(shí)代,低空飛行器領(lǐng)域正經(jīng)歷著前所未有的變革與發(fā)展。從私人和公共服務(wù)到城市和區(qū)域空中交通,從觀光旅游到大件貨物運(yùn)輸,低空飛行器的應(yīng)用場景日益廣泛。隨著低空經(jīng)濟(jì)向無人化、智能化、協(xié)同化、綠色化方向邁進(jìn),對(duì)
    的頭像 發(fā)表于 01-16 09:39 ?1718次閱讀
    MATLAB在<b class='flag-5'>低空飛行器</b>中的應(yīng)用

    浙江鋒鋰低空飛行器電池解決方案亮相2025亞洲通用航空展

    2025年亞洲通用航空展(AERO ASIA)近日于珠海國際航展中心啟幕。贛鋒旗下浙江鋒鋰攜全系列低空飛行器電池解決方案亮相,以覆蓋多場景、多維度的高性能固態(tài)產(chǎn)品,展現(xiàn)了為低空飛行器電源全面賦能的強(qiáng)大實(shí)力。
    的頭像 發(fā)表于 12-04 17:32 ?1473次閱讀

    低空飛行器(如eVTOL、物流無人機(jī)、城市空中交通飛行器)的適航認(rèn)證

    低空飛行器(如eVTOL、物流無人機(jī)、城市空中交通飛行器)的適航認(rèn)證是目前航空界最前沿也是最嚴(yán)格的領(lǐng)域之一。在中國,這主要由中國民用航空局(CAAC)依據(jù)CCAR-21部及相關(guān)咨詢通告進(jìn)行管理。一份
    的頭像 發(fā)表于 12-08 23:51 ?1714次閱讀
    <b class='flag-5'>低空飛行器</b>(如eVTOL、物流無人機(jī)、城市空中交通<b class='flag-5'>飛行器</b>)的適航認(rèn)證