亚洲男人的天堂2018av,欧美草比,久久久久久免费视频精选,国色天香在线看免费,久久久久亚洲av成人片仓井空

根據合同FA8750-19-C-0092制定本報告:利用符號表示進行安全和可靠的學習。這項研究工作的目標是開發新的工具、算法和方法,以提高自主的、可學習的網絡物理系統(LE-CPSs)的安全性。這些系統由于更高的自主性以及網絡組件和物理環境之間的相互作用而表現出一系列豐富的行為。這項工作總結了在符號系統測試、模型提取、異常檢測、學習未知動力學和形式化方法方面的進展,以驗證這些系統。這些工作被整合到控制系統分析框架中,并應用于高保真F16模型。

報告總結

可靠自主性(AA)計劃是由美國國防部高級研究計劃局(DARPA)委托進行的,目的是推動持續可靠技術的發展,以跟上安全關鍵系統日益復雜和自主的步伐。該計劃的目標是學習型(LE)網絡物理系統(CPS)(LECPSs);由于更高水平的自主性,以及網絡組件和物理環境之間的互動,這些系統表現出豐富的行為集合。由于這些系統經常被部署在安全關鍵環境中,其故障可能導致金錢和人命的損失,因此其持續的保證是最重要的。

為了加速LE-CPS的采用,保證學習團隊采用了一種多方面的方法,為保證幾個層次的自主性提供解決方案,包括規范、設計、培訓、設計時間測試和運行時間保證。圖1所示的海報中總結了保證學習團隊的方法。

圖1 可靠學習小組

1.1 可靠學習挑戰問題

該團隊將F-16飛行控制系統[75]確定為美國防部(DoD)可靠自主性計劃的相關基準。這支持了該計劃第二階段挑戰問題2.5 "避免地面碰撞 "和第三階段挑戰問題3.2 "避免空中碰撞"。我們開發了控制系統分析框架(CSAF),這是一個集成的工具鏈,以證明團隊開發的技術和工具的有效性。我們使用DevOps風格的自動化來推動LE-CPS的持續集成和目標定向測試。最后,我們展示了運行時可靠(RTA)的可行性,以保護系統免受LECPS故障的影響。

1.2 控制系統分析框架

Galois開發了控制系統分析框架,這是一個用于建模、測試和正式驗證LE-CPS的綜合工具鏈。CSAF將最先進的分析工具引入數字工程框架,由DevOps風格的持續集成支持,以加速安全關鍵系統的數字設計。CSAF通過對學習型組件進行嚴格的自動測試來實現持續驗證。圖2說明了CSAF如何與現有的和新興的工具相結合,在持續集成/持續部署(CI/CD)環境中提供自動化、目標定向測試、運行時間可靠驗證。

圖2 控制系統分析框架概述

2 引言

在過去的十年中,將機器學習技術應用于網絡物理系統方面取得了巨大的進步,導致了支持學習的自主網絡物理系統的發展;這些系統已經在空中、地面和深海環境中得到了初步的部署。機器學習使圖像處理、決策和控制的強大和適應性方法成為可能。然而,由于這些系統的操作行為缺乏強有力的保證,以及許多訓練方法需要大量的數據,這些系統的廣泛采用和更廣泛的接受受到了阻礙。

2.1 符號系統測試

這一工作的第一階段探討了如何將為傳統軟件系統開發的形式化驗證和原則性測試技術重新用于驗證、安全和改善學習型系統的訓練時間。具體來說,我們將這些技術用于現實世界中復雜的異質系統(F-16模型),該系統由傳統算法、自適應控制和學習型組件混合組成。我們的技術將相關領域的知識作為模型生成的一部分,在第二階段我們進行了高覆蓋率的系統級測試。這種方法為部署的機器學習模型的安全性提供了高度的保證,即使是在面對意外的環境干擾時。第一階段的初步結果成功地證明了使用正式模型來有效地指導學習,改善訓練時間,提高性能,并使數據得到更有效的利用。因此,我們預計這將大大擴展深度學習方法可以應用的系統組件的范圍。

我們將上述對學習型系統的正式驗證和測試與運行時保護方法的工作相結合,以確保學習型控制器(LEC)算法的正確性。我們利用先進的機器學習(ML)異常檢測方法來評估LEC輸出的質量。我們提供了替代的、確定性的程序,這些程序既可以用來引導LEC的不良行為,也可以提供適合形式化驗證的LEC行為的替代抽象。最后,我們提供了利用我們的測試結果來提高我們重新訓練的LEC的效率和穩健性的方法。

雖然通過學習來適應控制法則對實現更靈活的車輛系統很重要,但對動態變化的適應也同樣重要,例如,由于部件的退化或平臺的損壞。第一階段推進了先前的工作,開發了新的系統動力學學習方法,利用基礎系統物理學知識,提供更可靠和有效的結果。

2.2 可靠學習挑戰問題

Galois在Aditya Zutshi博士的領導下,開始收集基準挑戰問題,包括波音公司的TAXINET/X-Plane模擬器、汽車學習行動(CARLA),以及控制理論研究中使用的學術基準。F-16 AeroBench基準[76]的選擇是為了使我們的工作與空域挑戰問題集和正在進行的波音公司TAXINET/X-plane的感知工作相一致,使用基于感知的學習技術。第一階段的高潮是將我們的工具和技術早期整合到一個模塊化的學習型控制器測試線束中,使用F-16模型來演示F-16地面防撞系統(GCAS)機動的保證學習。作為第一階段挑戰問題2.5的一部分,我們成功演示了GCAS機動。

在第二階段,團隊繼續開發控制系統分析框架和其他工具,重點是F-16空中防撞(ACA)挑戰問題。在第二階段,我們演示了單人和多人的F-16空中防撞,作為該計劃挑戰問題3.2的一部分。

2.3 CPS系統的訓練、魯棒性和形式驗證的方法

普渡大學團隊在Suresh Jagannathan博士和Ananth Grama博士的領導下,致力于保證學習型控制器的六個核心部分:

(i) 下一代高效的學習模型的訓練程序。

(ii) 在強化學習(RL)控制器中使用新的訓練程序。

(iii) 保證控制器性能和物理設備安全的正式方法。

(iv) 應用于CPS系統的穩健性技術。

(v) 控制器的可擴展驗證;以及。

(vi) 新的規范形式和編譯技術,用于高保證的多智能體自主系統。

2.4 OSU的異常檢測調查

俄勒岡州立大學(OSU)團隊在Tom Dietterich和Alan Fern博士的領導下,對跨越許多應用領域的兩類數據的異常檢測(AD)進行了調查。研究異常檢測的動機是,保證機器學習系統的自主性必須能夠檢測到與訓練系統相比,系統何時處于新的 "運行狀態"。

第一個AD調查研究了深度圖像分類的開放類別檢測問題。這個問題涉及到開發一些方法,以確定一個經過訓練的深度圖像分類器在部署后遇到的輸入圖像,相對于訓練數據中的類別而言,是否屬于一個新類別。我們的工作重點是使用 "神諭技術 "來分析這個問題的深度表征和異常檢測方法的互動。結果表明,改進的表征與基于這些表征的改進的異常檢測信號相比,有相對的改進空間。

第二個AD調查研究了分布外動態(OODD)檢測的問題。這個問題涉及到確定何時一個時間過程,例如一個部署的學習控制系統,正在經歷與它被訓練的動態不同的動態。這是一個在深度強化學習(DRL)文獻中很少受到關注的問題,盡管它具有實際的重要性。我們的第一個貢獻是設計和開發了第一套基于常用DRL領域的ODD基準和度量。我們的第二個貢獻是設計、開發和評估了一個強大的基線OODD方法,它提供了非微不足道的性能,但也為基準留下了改進空間。這為OODD檢測的未來進展奠定了基礎。

2.5 實時學習系統動力學(物理感知學習)

由Ufuk Topcu博士領導的德克薩斯大學(UT)奧斯汀團隊的工作重點是開發數據驅動的算法,用于在非常嚴重的數據限制下對未知動態系統進行可達性分析和控制。這項工作是由系統動態發生重大和意想不到的變化的情景所激發的。在保證學習計劃中,這些工作被應用于F16模型被置于需要快速傾斜系統動力學的場景中,因為在操作條件、故障和極端的地面防撞場景中,傳統方法無法提供保證。

2.6 學習程序性政策的強化學習方法

由Swarat Chaudhuri博士領導的UT Austin團隊(最初在萊斯大學)開發了模仿-預測程序化強化學習(PROPEL),這是一種強化學習方法,用于學習可以用預定義符號語言表達的程序化策略(關于這項工作的論文《模仿-預測程序化強化學習》發表在2019年NeurIPS大會上)[48]。符號化策略是一個決策程序,例如 "如果(道路暢通)加速,否則減速",可以想象它是由人類工程師編寫。相對于傳統的深度強化學習,其中學習的策略是不透明的神經網絡,程序化的策略是可審計的,并簡化了正式的正確性驗證。這個政策學習問題是用鏡像下降法解決的,該方法保持了一個神經和程序化政策的加法組合,使用歸納程序合成和基于梯度的優化的混合方法迭代更新這兩個部分(更多內容見第3.5節)。該方法在一個模擬駕駛任務以及一系列經典控制任務上進行了評估。實證結果表明,該方法發現了人類可理解的策略,而沒有明顯影響性能。

該團隊還開發了一種強化學習的方法,在探索過程中構建的每一個中間策略都得到了正式的驗證,并在2020年的NeurIPS上展示了 "具有正式驗證的探索的神經符號強化學習"(REVEL)。在算法上,REVEL學習神經策略,這些策略由確保每一個行動都是安全的盾牌來保護。該學習算法使用一種鏡像下降的形式來迭代更新策略的防護罩和神經組件,同時保持安全,而不需要直接的神經網絡驗證。該方法在控制和機器人學的幾個基準上進行了評估,這些基準類似于簡化的自動駕駛應用。結果表明,REVEL可以在學習過程中保證最壞情況下的安全,而其他最先進的強化學習方法在學習過程中經常違反安全約束。

在項目的最后階段,該團隊探索了學習符號策略的機制,這些策略在被視為像素的場景中運作。在這里,一個神經網絡被用來識別一個場景中有趣的實體。然后,這些實體被視為命名的變量,一個以這些變量為程序的程序被自動發現。

付費5元查看完整內容

相關內容

人工智能在軍事中可用于多項任務,例如目標識別、大數據處理、作戰系統、網絡安全、后勤運輸、戰爭醫療、威脅和安全監測以及戰斗模擬和訓練。

描述

未來的美陸軍部隊將需要進行跨域機動(CDM),并且有時需要半獨立地進行部署,同時通信和 GPS 等基礎設施會被中斷或拒絕。機器人和自主系統將在擴大協作決策中機動部隊的作戰范圍、態勢感知和有效性方面發揮關鍵作用。

DEVCOM ARL 專注于發展對作戰人員概念的基本理解和可能的藝術,通過研究,極大地提高基于空中和地面的自主車輛感知、學習、推理、通信、導航和物理能力,以增強和增加在復雜和有爭議的環境中的機動自由。

可擴展、自適應和彈性自主 (SARA) 協作研究聯盟 (CRA) 專注于開發和實驗加速自主移動性和可操作性、可擴展異構和協作行為以及人類智能體團隊的新興研究,以實現自適應和彈性智能系統可以對環境進行推理,在分布式和協作的異構團隊中工作,并做出適時決策,以在復雜和有爭議的環境中實現自主機動。

付費5元查看完整內容

射頻片上系統,或稱RFSoC,是射頻工程中的一個新興模式。具體來說,它將嵌入式處理能力的靈活性與單芯片上緊密耦合的射頻模數轉換器(ADC)和數模轉換器(DAC)相結合。這大大降低了實現射頻收發器的設計復雜性,并普遍降低了尺寸、重量和功率要求。RFSoC有多種形式和不同程度的復雜性;有些是為最初的實驗室演示和原型設計的,有些是縮小了外形尺寸,為可部署或生產應用設計的。總的來說,RFSoC大大加快了軟件定義無線電(SDR)的市場,SDR是具有射頻功能的計算設備,可以在不同的抽象層進行重新編程和重新配置,從工廠到實驗室,到生產車間,甚至最終用戶。

使用SDR實現雷達,無論是獨立的還是作為多功能射頻的一部分,都是一個不斷增長的趨勢,并且可以在RFSoC中有效實現。特別是,使用線性頻率調制(LFM)或 "FM啁啾"的先進雷達波形,正在成為雷達脈沖的行業標準,因為它們的返回可以通過數字信號處理進行可靠的處理,以實現高度精確的范圍分辨率。

波形設計,特別是數字合成的雷達波形,是一個活躍的研究領域。一個能夠以高頻率發射多個復雜波形,并能以極低的延遲在多個波形之間切換的設計,應該利用完全在RFSoC(即硬件)的可編程邏輯(PL)部分實現波形的更高速度和處理能力。因此,探索波形數字合成的廣泛架構選擇是有益的。

在這項研究中,我們設計并實現了兩個定制的數字合成器:一個線性頻率調制發生器(LFMGEN)和一個可變直接數字合成器(VARDDS)。合成器是用極高速集成電路硬件描述語言(VHDL)設計的,采用了寄存器傳輸級(RTL)方法,并封裝在賽靈思高級可擴展接口(AXI)標準包裝器中,以方便它們在Vivado知識產權(IP)集成器中使用。每個設計都與輕量級硬件抽象層和一組軟件驅動器配對,以包含在Xilinx Vitis C應用項目中。合成器被集成到基于賽靈思第一代(Gen)RFSoC ZCU111評估平臺的測試平臺中,由此產生的射頻波形可以在實驗室環境中生成和分析。合成器是針對各種最大瞬時帶寬(IBW)實現的(后置和路由結果),并對其在波形生成、負載和交換延遲、資源使用、時間限制和功耗方面的相對優勢和劣勢進行比較。這項工作的貢獻如下:

  • 首次對Xilinx RFSoC上的多個定制數字雷達波形合成器進行比較。
  • 對數字合成器進行了徹底的介紹和比較,每個合成器都針對各種標準進行了優化,包括性能(延遲和帶寬)、資源(塊狀隨機存取存儲器[RAM]、現場可編程門陣列[FPGA]查找表[LUT]和功率)以及靈活性(LFM與任意同相和正交[IQ]波形生成)。每個數字合成器都能獨立地以16位的精度再現高達1GHz的IBW波形。
  • 基于Xilinx RFSoC開發雷達波形設計原型或生產形態的設計理念和策略。
  • 分析復雜的射頻數字和RFSoC特定的設計考慮因素,包括采樣率、塊設計時序封閉和時鐘管理。

付費5元查看完整內容

我們開發了一個深度學習框架來發現Koopman網絡模型,該模型映射了所有測量的生物電路輸出、實驗輸入參數和背景設計參數之間的因果關系。我們發現了測量(如多個熒光報告器)和監測的實驗參數(如光密度(OD)、溫度、誘導劑濃度、培養基的年齡)的因果關系的動態網絡模型,從而概括了任意非線性系統的動態結構函數(和傳遞函數)的概念。這些模型被用來確定具有類似行為的生物部分或生物電路的類別和關系,推斷潛在變量的狀態以產生實驗驚喜的假設,預測和評估穩定系統行為的操作包絡,并定量預測生物電路動態響應作為實驗參數的函數。我們項目中的方法結合了深度學習算法的表達能力、可擴展性和Koopman算子理論的嚴謹性,以發現數據驅動的動態系統模型,用于假設生成和生物電路表征。

最先進的模型發現方法通常利用關于模型結構的先驗信息。例如,貝葉斯分層模型識別方法基于模型先驗知識推斷出模型類別和參數。壓縮感應算法基于預先定義的基礎函數字典來識別輸入-輸出和動態模型。最先進的學習Koopman算子的方法依賴于動態模式分解(DMD),它利用線性模型來近似無窮大的Koopman算子。因此,這些方法依賴于科學家的創造力來提供先驗的典型模型。這限制了它們在缺乏規范模型的領域的適用性,如合成生物學、神經科學、人機系統或社會系統。

在合成生物電路設計方面,數據驅動的科學模型發現受到三個主要技術挑戰的阻礙。1)在未建模的動態情況下學習生物電路變量之間的定量關系,2)了解這些關系如何作為生物電路背景的函數而變化,以及3)在生物電路模型中轉換設計變量和背景之間的關系,以預測生物電路的穩定運行包絡。由于這些挑戰,科學發現通常依賴于手工或半自動的數據收集,然后由人類對數據進行解釋。模型被視為確認人類產生的假設的一種手段,而不是發現新的科學假設的一種手段。同樣,這是因為模型是圍繞科學家提供的第一原理而構建的,而不是來自數據驅動的算法。

我們開發了一種數據驅動的方法來學習網絡模型,其分辨率與數據中可用的空間和時間尺度相稱。我們沒有試圖為一個詳細的第一原理模型完全填充所有的動力學參數,而是開發了只描述測量的或已知的實驗變量之間因果關系的網絡模型。利用這個計算框架,我們項目的主要成果將在下面的章節中概述。

付費5元查看完整內容

前沿作戰基地(FOB)防御是一項人力密集型任務,需要占用作戰任務的寶貴資源。雖然能力越來越強的無人駕駛飛行器(UAV)具備執行許多任務的能力,但目前的理論并沒有充分考慮將其納入。特別是,如果操作人員與飛行器的比例為一比一時,并沒有考慮提高無人機的自主性。本論文描述了使用先進機器人系統工程實驗室(ARSENL)蜂群系統開發和測試自主FOB防御能力。開發工作利用了基于任務的蜂群可組合性結構(MASC),以任務為中心、自上而下的方式開發復雜的蜂群行為。這種方法使我們能夠開發出一種基于理論的基地防御戰術,在這種戰術中,固定翼和四旋翼無人機的任意組合能夠自主分配并執行所有必要的FOB防御角色:周邊監視、關鍵區域搜索、接觸調查和威脅響應。該戰術在軟件模擬環境中進行了廣泛的測試,并在現場飛行演習中進行了演示。實驗結果將使用本研究過程中制定的有效性措施和性能措施進行討論。

第1章:導言

1.1 背景和動機

2019年,美國海軍陸戰隊司令大衛-H-伯杰將軍發布了他的規劃指南,作為塑造未來四年的部隊的一種方式。他在其中指出:"我們今天做得很好,我們明天將需要做得更好,以保持我們的作戰優勢"[1]。這句話摘自海軍陸戰隊司令大衛-H-伯杰將軍的《2019年司令員規劃指南》(CPG),呼吁采取集中行動,以應對海軍陸戰隊在未來戰爭中預計將面臨的不斷變化的挑戰。在為海軍陸戰隊確定未來四年的優先事項和方向的CPG中的其他指導,呼吁建立一個 "適合偵察、監視和提供致命和非致命效果的強大的無人駕駛系統系列"[1]。伯杰將軍進一步呼吁利用新技術來支持遠征前沿基地作戰(EABO)。EABO將需要靈活的系統,既能進行有效的進攻行動,又能進行獨立和可持續的防御行動。簡而言之,實現EABO將需要最大限度地利用每個系統和海軍陸戰隊。

從本質上講,伯杰將軍正在呼吁改變無人駕駛飛行器的使用方式。通過使用大型的合作自主無人飛行器系統,或稱蜂群,將有助于實現這一目標。無人飛行器蜂群提供了在人力需求和后勤負擔增加最少的情況下成倍提高戰場能力的機會。正如伯杰將軍所提到的 "下一個戰場",海軍陸戰隊將必須利用各種技術,最大限度地利用自主性和每個作戰人員在戰場上的影響。

目前的無人系統使用理論是以很少或沒有自主性的系統為中心。另外,目前的系統依賴于單個飛行器的遠程駕駛;也就是說,每輛飛行器有一個操作員。部隊中缺乏自主系統,這在監視和直接行動的作戰能力方面造成了差距。此外,側重于一對一操作員-飛行器管理的無人系統理論要求操作員的數量與車輛的數量成線性比例。這對于 "下一個戰場 "來說是不夠的。相反,海軍陸戰隊將需要能夠讓操作員擺脫束縛或提高他們同時控制多個飛行器的能力系統[2]。

考慮到這些目標,美國海軍研究生院(NPS)的先進機器人系統工程實驗室(ARSENL)已經開發并演示了一個用于控制大型、自主、多飛行器的系統,該系統利用了分布式計算的優勢,并將駕駛的認知要求降到最低。ARSENL在現場實驗中證明了其系統的功效,在該實驗中,50個自主無人駕駛飛行器(UAV)被成功發射,同時由一個操作員控制,并安全回收[3]。

1.2 研究目標

這項研究的主要目標是證明使用無人機蜂群來支持前沿作戰基地(FOB)的防御。特別是,這需要自主生成、分配和執行有效的、符合理論的基地防御所需的子任務。這部分研究的重點是開發基于狀態的監視、調查和威脅響應任務的描述;實施支持多飛行器任務分配的決策機制;以及任務執行期間的多飛行器控制。

輔助研究目標包括展示基于任務的蜂群可組合性結構(MASC)過程,以自上而下、以任務為中心的方式開發復雜的蜂群行為,探索自主蜂群控制和決策的分布式方法,以及實施一般的蜂群算法,并證明了對廣泛的潛在蜂群戰術有用。總的來說,這些目標是主要目標的一部分,是實現主要目標的手段。

1.3 方法論

基地防御戰術的制定始于對現有基地防御理論的審查。這一審查是確定該行為所要完成的基本任務和子任務的基礎。然后,我們審查了目前海軍陸戰隊使用無人機的理論,以確定這些系統在基地防御任務中的使用情況。

在確定了任務要求的特征后,我們為基地防御的整體任務制定了一個高層次的狀態圖。子任務級別的狀態圖等同于MASC層次結構中的角色。

ARSENL代碼庫中現有的算法和游戲以及在研究過程中開發的新算法和游戲被用來在ARSENL系統中實現子任務級的狀態圖。最后,根據高層次的狀態圖將這些游戲組合起來,完成基地防御戰術的實施。

在游戲和戰術開發之后,設計了基于理論的有效性措施(MOE)和性能措施(MOPs)。通過在循環軟件(SITL)模擬環境中的廣泛實驗,這些措施被用來評估基地防御戰術。在加利福尼亞州羅伯茨營進行的實戰飛行實驗中,也展示了該戰術和游戲。

1.4 結果

最終,本研究成功地實現了其主要目標,并展示了一種包含周邊監視、關鍵區域搜索、接觸調查和威脅響應的基地防御戰術。此外,開發工作在很大程度上依賴于MASC層次結構,以此來制定任務要求,并將這些要求分解成可在ARSENL蜂群系統上實施的可管理任務。這一戰術在實戰飛行和模擬環境中進行了測試,并使用以任務為中心的MOP和MOE進行了評估。最后的結果是令人滿意的,在本研究過程中開發的戰術被評估為有效的概念證明。

1.5 論文組織

本論文共分六章。第1章提供了這項研究的動機,描述了這個概念驗證所要彌補的能力差距,并提供了ARSENL的簡短背景和所追求的研究目標。

第2章討論了海軍陸戰隊和聯合出版物中描述的當前海軍陸戰隊后方作戰的理論。還概述了目前海軍陸戰隊內無人機的使用情況,并描述了目前各種系統所能達到的自主性水平。

第3章概述了以前自主系統基于行為的架構工作,ARSENL多車輛無人駕駛航空系統(UAS)和MASC層次結構。

第4章對基地防御戰術的整體設計以及高層戰術所依賴的游戲進行了基于狀態的描述。本章還詳細介紹了用于創建、測試和評估這一概念驗證的方法。在此過程中,重點是對每一戰術和戰術所針對的MOP和MOE進行評估。

第5章詳細介紹了所進行的實戰飛行和模擬實驗,并討論了與相關MOPs和MOEs有關的測試結果。

最后,第6章介紹了這個概念驗證的結論。本章還提供了與基地防御戰術本身以及更廣泛的自主蜂群能力和控制有關的未來工作建議。

付費5元查看完整內容

浮動航天器模擬器(FSS)是模仿衛星在空間運動的機器人載體。使用FSS可以在地球上對制導、導航和控制算法進行實驗驗證,然后再將其應用于空間,因為空間的錯誤是災難性的。此外,FSS是空間系統工程課程中大學生的一個重要研究和教育工具。然而,目前使用的所有FSS都是定制開發和昂貴的項目。本論文涵蓋了用于教學和研究目的的新型浮動航天器模擬器的開發、組裝和測試過程,該模擬器被命名為MyDAS,代表微型動態自主航天器模擬器。通過介紹MyDAS,一個小型的、簡單的和低成本的FSS,使FSS在大學和中學階段的研究和教育中得到更廣泛的利用。討論了MyDAS的不同推進配置及其相應的運動方程。對于一個特定的配置,選擇并測試了現成的氣動和電子組件。一個模塊化和標準化的3D打印框架將所有部件固定在一起,形成一個最終的剛性載體。最后,MyDAS在各種實驗中被測試,完成了全部的硬件功能。

1 引言

本論文進行小型化和簡化的浮動航天器模擬器(FSS)工作。本章簡要介紹了這項工作的動機和目標,以及本論文的結構。

1.1 動機

未來空間任務中的航天器需要靈活、自主的制導、導航和控制(GNC)算法,如對接、接近或清除碎片的操縱[1], [2], [3]。用硬件在回路中驗證GNC算法的一種方法是使用FSS,而無需將測試對象送入太空。盡管不向太空發射任何東西而大大降低了成本,但目前的FSS仍然需要大量的經濟和費時的工作來建造和操作,這只有專門的機構或公司才可能做到。除此之外,目前的FSS都是獨特的設計,沒有標準化。引入一種新的、負擔得起的、小而簡單的FSS可以使本科生甚至高中生以及業余用戶能夠使用FSS工作。提供這種機會可以增加為未來空間任務創造更好的GNC算法的成功機會。

1.2 目標

先前工作提出了一個更便宜、更小、更簡單的FSS的概念[4],稱為MyDAS,代表微型動態自主航天器模擬器。提出了初步的計算機輔助設計(CAD)模型、材料清單、氣動圖、接線圖、兩種浮動配置和三種推進配置。本論文的目的是建立一個MyDAS的物理工作實例。為此,所有定制設計的部件應與購買的現成部件一起制造和組裝。所有的功能部件應先單獨測試,然后再組合。最終的裝置必須能夠使用壓縮空氣供應漂浮和推動自己。如果可能的話,在不使用推進系統的空氣的情況下,漂浮時間應超過5分鐘。此外,推進系統必須由機載計算機和機載電池控制。該裝置的硬件和軟件應是開源的,以使其可重復使用。作為其中的一部分,將提出一個成本估算。在未來的工作中,希望MyDAS能被積極用于驗證和改進GNC算法。

1.3 結構

如上所述,本論文是基于以前的工作,其中介紹了關于FSS的理論基礎和技術現狀[4]。理論基礎和技術現狀同樣適用于本論文,這就是為什么它們在本文件中沒有明確重復。在第2章運動方程中,以前工作中的簡化運動方程被指定用于其中一個推進配置。第3章氣動系統討論了MyDAS的氣動系統。第4章電子學中解釋了MyDAS的電路以及所有的電子元件。第5章框架設計的主要內容是構建和制造一個定制的、3D打印的框架,該框架將所有的部件固定在一起。第6章設置和測試描述了在組裝MyDAS的過程中對單個和組合部件的若干測試。在第7章實驗中,全功能的FSS被用在一個花崗巖試驗臺上,以證明其功能,以及描述某些推進方面的特征。最后一章的結論是對工作的總結以及對未來工作的建議。復制MyDAS的基本信息,如技術圖紙、材料清單和Python列表,可以在附錄中找到。此外,該代碼與CAD文件和更多不能打印在紙上的數據一起在網上提供。

付費5元查看完整內容
北京阿比特科技有限公司