航空航天最新文章 形式化方法在機載電子硬件研制中的應用研究 詳細設計規(guī)范是機載電子硬件適航性設計流程中的關鍵文檔。通過對形式化方法特點分析，給出基于模型檢驗的設計規(guī)范提取步驟，以提高設計的正確性和完整性。以ARINC429總線傳輸模塊設計為例，基于形式化方法完成正向設計過程。試驗結果表明，基于形式化方法的設計流程能夠有效幫助制定詳細設計規(guī)范并在后期提高驗證效率，進而縮減研制周期。 發(fā)表于：8/11/2015 你隨手扔的垃圾將變成日本飛機的燃料 日本宇宙航空研究開發(fā)機構(JAXA)將啟動用垃圾制造噴氣式飛機燃料的技術的實證研究，并擬于2016年著手設備設計，并力爭在2018年左右制造燃料。 如果成功推向實際應用，在世界上將屬首次。 發(fā)表于：8/11/2015 澳大利亞或借助Spartan躋身航空發(fā)射領域 在航天上有所建樹的國家仍然不多，但是隨著技術的持續(xù)進步、以及財政和后勤方面的保證，澳大利亞或將很快成為其中的一員——如果昆士蘭大學和Heliaq高級工程的能夠聯手將50到500公斤(110-1102磅)的載荷送入軌道的話。 該項目名叫Spartan，并且被分成了三個階段，旨在提升大家對小型衛(wèi)星市場的興趣。 發(fā)表于：8/11/2015 地球不止一顆衛(wèi)星？神秘"迷你衛(wèi)星"繞地球運行 據英國《每日郵報》報道，前幾天，美國宇航局公布了一段“深空氣候觀測站”(DSCOVR)探測器拍攝的月球從地球前方經過的錄像，引發(fā)全球媒體和公眾的廣泛關注。 發(fā)表于：8/10/2015 MH370殘骸確定后 我們離解開謎團有多遠？ 2014年3月8日，載有239人的馬來西亞航空公司MH370航班在從吉隆坡飛往北京途中失蹤。一年多來，對飛機殘骸的搜尋毫無進展。但最近在位于印度洋西南部的留尼汪島上發(fā)現了飛機機翼部碎片，而且殘骸有可能屬于波音777型號的飛機。8月6日法國方面認為飛機殘骸有“很大可能”來自馬航MH370航班，還需要數日的分析才能給出最終鑒定結果。如何從一個殘骸判斷飛機型號？殘骸能透露出多少有用信息？下一步搜救該如何開展？我們離解開謎團還有多遠？ 發(fā)表于：8/10/2015 四旋翼飛行器平衡傳感器數據處理方法探討 四旋翼飛行器的制作與研究日漸火熱，而且其應用價值日漸凸顯，當今四旋翼飛行器大都使用飛控板控制，其優(yōu)點是操作簡單，穩(wěn)定性比較好，但很多的復雜功能無法自定義，僅僅能使用其固有的動作。源于市面上飛控板的這一不足，設計了具有自主特色的控制思路，重點講解在研究過程中的角度平衡的數據處理思路與方法。 發(fā)表于：8/9/2015 波音研發(fā)空天飛機：可發(fā)射間諜衛(wèi)星、太空武器 波音已經從美國軍方那里拿到了660萬美元的新合同，設計一種可重復使用的廉價微型航天器，用于發(fā)射軍用衛(wèi)星乃至是太空武器，以應付中國、俄羅斯太空力量的威脅。 發(fā)表于：8/8/2015 大疆Phantom 3/2 Vision+對比分析 無人機更親民？ 深圳無人機初創(chuàng)公司大疆創(chuàng)新（DJI）正式推出了Phantom 3系列的新品無人機，根據搭配的相機規(guī)格不同，又分為 Standard（標準版），Professional（專業(yè)版）和Advanced（高級版）三個版本。價格更是相當親民，標準版僅售4799元。 發(fā)表于：8/8/2015 北斗高性能低噪聲放大器的研究與設計 針對國內北斗行業(yè)的發(fā)展，介紹了一種適用于北斗B3頻段的低噪聲放大器的設計原理和設計方法，并給出了設計結果。為了達到更好的增益，采用了3級級聯的方式。最終設計出的低噪聲放大器在B3頻段內的增益為（40±0.5）dB，輸入駐波系數小于1.5，輸出駐波系數小于1.2，噪聲系數小于1 dB，在全頻段內無條件穩(wěn)定。 發(fā)表于：8/7/2015 40納米北斗智能芯片將于9月量產，2秒內即可精準定位 “目前我國北斗芯片在國產化和自主可控方面取得極大進展，國產導航模塊銷售量已突破600萬片，高精度板卡總銷售量9萬套，占國內30%市場份額。北斗在交通、氣象、漁業(yè)、公安、林業(yè)等涉及國家安全的關鍵行業(yè)和領域將廣泛應用?！北倍忿k副主任張春領在前幾日的北斗應用高峰論壇上介紹。 發(fā)表于：8/7/2015 媒體解析馬航MH370殘骸如何漂到留尼汪島 波音777的機翼在改進757和767設計的基礎上，增加了機翼的長度及厚度，翼展加大到60.9米，優(yōu)化了機翼的性能。在該機的機翼上，有著為數眾多的氣 動面，包括前緣襟翼、后緣襟翼、減速板和其他不可動的翼面。這其中，減速板與前緣襟翼都與這片殘骸的結構完全不同，而該機的后緣襟翼倒是和殘骸極相似。 發(fā)表于：8/6/2015 基于SystemVerilog可重用測試平臺的實現 對于中小型設計，傳統的驗證效率低、可重用性差，而基于方法學的高級驗證測試平臺搭建較繁瑣，驗證流程不太靈活。以ARINC429收發(fā)器IP核為驗證對象，采用SystemVerilog語言，通過層次化設計，改善工程組織架構，運用虛接口與回調等關鍵技術，實現了一種可重用測試平臺。將不同的測試案例在測試平臺上運行，結合斷言與覆蓋率驅動等驗證技術完成了對ARINC429收發(fā)器IP核的功能驗證，代碼覆蓋率和功能覆蓋率均達到100%。實踐表明，該測試平臺具有良好的可重用性、易操作性，驗證效率較高。 發(fā)表于：8/5/2015 電容式加速度計接口電路非線性建模與仿真設計 非線性是Sigma-Delta（ΣΔ）加速度計系統的關鍵指標之一?；谝粋€五階ΣΔ加速度計結構，分析了其主要的非線性模塊，在MATLAB中建立了整體結構的行為級模型，并利用根軌跡法進行了穩(wěn)定性分析?；赥SMC 0.35 μm工藝實現了一位量化的開關電容接口電路設計和版圖設計，版圖的后仿真結果和模型的行為級仿真結果一致，驗證了所建立模型和設計電路的準確性。 發(fā)表于：8/5/2015 卷積信道編碼與物理層網絡編碼的聯合設計 針對無人機作為中繼平臺在異步通信條件下數據傳輸誤碼率高的問題，提出將物理層網絡編碼與卷積信道編碼聯合設計的方案。在方案中，中繼節(jié)點引入置信傳播(Belief Propagation)算法，將信道譯碼和網絡編碼聯合起來，解決了符號偏移和相位偏移對通信系統的影響。仿真結果顯示，該方案與未進行信道編碼和RA碼信道編碼方式相比誤碼率最低，提高了系統的魯棒性，可以更好地抵制相位偏移和符號偏移對通信系統的影響，提高無人機的抗干擾能力。 發(fā)表于：8/5/2015 太空花生：奇特形狀小行星近距離掠過地球 據國外媒體報道，近日，美國航空航天局(NASA)拍攝到了一顆花生形狀的小行星，它在上周末以非常近的距離掠過地球。據介紹，這可能是一顆“密接小行星”，由兩個圓形突出的部分組成。 發(fā)表于：8/5/2015 ?…272273274275276277278279280281…?
