不知火舞的被虐|伊人天伊人天天综合网|博洛尼亚天气|任你懆这里只有精品4|久久美日韩精品久久|掌中之物漫画免费阅读观看|0丨d老妇

國產操作系統的案例

國產操作系統搭配國產工業軟件,有沒有戳到你的心趴
無論是國產操作系統還是國產工業軟件,無論是主動還是被動,替換過程都是走出舒適區的過程,陣痛都在所難免。 也許再過十幾二十年,今天的小學生中學生步入職場,看著他們打開國產操作系統使用國產軟件畫圖做仿真的場景。今天的拓荒者們講述起起曾經的辛酸與陣痛,一切都會顯得那么云淡~風輕~。
天洑智能仿真系列產品完成統信UOS適配,全面兼容國產操作系統
近日,天洑自主研發的智能熱流體仿真軟件AICFD與智能結構仿真軟件AIFEM(V2026.1)成功完成與統信桌面版、服務器版操作系統的適配工作。經測試,雙方產品完全兼容,運行穩定、安全可靠、性能優異。 統信UOS是國內廣泛使用的自主操作系統,已通過多項國家級安全測評,在政府、金融、能源等關鍵行業擁有大規模部署。此次適配意味著天洑仿真軟件可在統信UOS環境下合規、穩定運行,為用戶提供更安全可控的國產仿真工具選擇。 一、智能熱流體仿真軟件AICFD AICFD由天洑自主研發,在業界率先引入人工智能技術,高效解決工業級流動、傳熱、多相流、噪聲及燃燒等復雜仿真問題,為工程師提供更高效、精準、易用的流體仿真解決方案。 AICFD 2026R1版本更新聚焦在智能建模、AI網格、幾何模塊、旋轉機械、多相流及后處理等方面。 二、智能結構仿真軟件AIFEM AIFEM由天洑自主研發,集智能仿真、高效求解、設計優化于一體。 基于有限元分析技術,創新融合AI算法與工程專家知識庫,精準解決傳統仿真軟件四大難題:建模耗時、操作復雜、迭代低效、計算緩慢。 AIFEM 2026R1在AI智能助手、前處理、多物理場分析、批處理等方面實現大幅升級。 試用與支持 30天免費試用:前往天洑官網下載,無需申請許可,安裝即用。 全天候技術支持:天洑技術團隊隨時響應,助您攻克技術難關。
展開
鴻蒙開源之后,能成為第三大操作系統嗎?
一個為數不多的好消息是,華為的鴻蒙操作系統正在受到廣泛關注。此前,華為悄悄開通鴻蒙OS的官方微博賬號,在一條內容都沒發的情況下,該賬號便快速地收獲了8萬名粉絲。隨著鴻蒙操作系統6月初即將開始規模化推送這一時間節點的臨近,新一輪的討論已開始醞釀。 由“備胎”逐步轉正的曲折經歷,使得鴻蒙一出現在大眾視野中,更肩負了某種特殊的使命,同時也被寄予了國人渴望看到一款國產移動操作系統的殷殷厚望。然而,面對早已格局穩固的手機操作系統市場,鴻蒙需要挑戰的卻是Android與iOS這兩座早已獨占行業多年的高峰。 在剛剛結束的谷歌開發者大會上,谷歌發布了Android 12,并且在其公布的合作伙伴名單中剔除了華為。這意味著,Android12已不再適配華為手機,谷歌和華為已正式決裂。一方面,是大家渴望見到一款國產操作系統的群情激昂。但另一面,巨頭們卻早已樹立起了森嚴的高墻。 擺在鴻蒙面前的,似乎除了繼續前行,已沒有其他更好的選擇。 “鴻蒙做生態,這事兒很難” 事實上,從2019年5月起,隨著美國商務部工業與安全局將華為列入“實體清單”后,谷歌開始響應政府舉措,逐步縮減對于華為的服務范圍。
展開
助力國產操作系統!國內首款基于云架構的三維CAD:CrownCAD,設計師們歡呼吧!(2021年9月8日正式發布)
國產三維云CAD:CrownCAD 通過 Web 瀏覽器將它們帶給用戶,從而提供最流行和最需要的云功能——數據存儲和管理、3D 可視化、通信和協作。可以在CrownCAD 平臺上開發應用程序,以提供更復雜和特定的用戶功能,例如在 Web 上建模,編輯和分析 3D 模型,CAE有限元,以及二次開發。由于被許可方可獲得 CrownCAD的附加價值,這些應用程序的開發速度比平時快得多。 CrownCAD擁有完全自主的三維幾何建模引擎DGM和幾何約束求解器DCS兩大CAD核心技術,在CAD關鍵技術上實現國產自主,很大程度上使中國制造業不再受制于人,為中國制造業的創新提供堅實保障。 CrownCAD的使用非常靈活,不僅對成熟的公司而且對雄心勃勃的初創企業都具有吸引力。 結合了許多典型的工程功能,如可視化和創作 3D 模型,以及調度用戶請求和數據存儲的云能力。雖然 3D 模型的所有計算都是在云服務器上進行的,但用戶可以訪問 3D 模型的表示,并可以通過 WebGL 和 Typescript/Javascript 在基于 Web 瀏覽器的應用程序中導航和操作它。在實時協作期間提供對模型的即時操作,具有適合大公司的可擴展性。 三維CAD平臺CrownCAD技術。它是一個多用戶平臺,專為協作工作而設計,專為在私有云和公共云上工作而設計。CrownCAD的開發可以伴隨著我們的服務來為您的最終用戶產品定制云平臺,就像我們為我們的幾個客戶所做的那樣。
展開
國產操作系統圖1
汽車操作系統最新研究
CASA聯盟組織架構 在產品方面,普華軟件是中國電子科技集團的國產操作系統戰略平臺,并作為牽頭單位承擔了關于汽車電子操作系統的十一五、十二五核高基重大專項,所形成的汽車操作系統在車身控制模塊(BCM)、新能源整車控制器(VCU/HCU)、電子轉向系統(EPS)等關鍵零部件得到量產應用,并已被德國博世的先進輔助駕駛系統(ADAS)量產使用。 東軟睿馳發布了NeuSAR產品,其基于AUTOSAR研發制作,為自主研發自動駕駛系統的OEM整車企業及零部件供應商提供的面向下一代汽車通訊和計算架構的系統平臺,包含Classic AUTOSAR、Adaptive AUTOSAR及系列開發系統工具。 ② 智能駕駛操作系統 智能駕駛操作系統將會成為自動駕駛汽車發展的核心競爭力之一。智能駕駛操作系統發展趨勢和特點是縱向分層,以實現層與層之間的解耦,方便快速開發和移植,如下圖所示。 智能駕駛操作系統縱向分層示意圖 各層之間各司其職,分工不同: 操作系統:負責對硬件提供線程創建等服務; 中間件/開發框架:負責和不同操作系統對接,并給上面應用提供通訊,資源管理等服務; 應用/功能軟件:剩下都是它的事。 目前行業普遍采用的智能駕駛操作系統主要是Linux、QNX和其他RTOS(如FreeRTOS、ThreadX、VxWorks等)。 三者之間的主要特點對比如下圖所示: 智能駕駛操作系統比較 Linux最初是作為通用操作系統而設計開發的,但提供了一些實時處理支持,這包括大部分POSIX標準中的實時功能,支持多任務、多線程,具有豐富的通信機制等。
展開
汽車操作系統最新研究
來源 | Adaptive AUTOSAR 前言:軟件定義汽車背景下,操作系統是汽車生態發展的靈魂。隨著汽車電動化、智能化、網聯化的發展,汽車操作系統已經成為車輛中重要的組成部分之一,一定程度上決定了車輛的安全性、舒適度、智能化水平和整體性能。 1、汽車操作系統簡介 汽車操作系統是運行在異構分布硬件架構上的實時安全平臺軟件,提供整車及部件感知、規劃、控制等功能框架并向上支撐智能網聯駕駛生態的軟件集合,是汽車智能計算基礎平臺安全、實時和高效運行的重要基礎和核心支撐。 汽車操作系統包括安全車載操作系統、智能駕駛操作系統和智能座艙操作系統。 ① 安全車載操作系統 安全車載操作系統主要面向經典車輛控制領域,如動力系統、底盤系統和車身系統等,該類操作系統對實時性和安全性要求極高,生態發展已趨于成熟。 安全車載操作系統主要是實時操作系統RTOS,主要應用對象是 ECU。ECU對安全車載操作系統最基本的要求是高實時性,系統需要在規定時間內完成資源分配、任務同步等指定動作。嵌入式實時操作系統具有高可靠性、實時性、交互性以及多路性的優勢,系統響應極高,通常在毫秒或者微秒級別,滿足了高實時性的要求。 目前,主流的安全車載操作系統都兼容 OSEK/VDX 和 Classic AUTOSAR 這兩類汽車電子軟件標準。其中,Classic 平臺基于 OSEK/VDX 標準,定義了安全車載操作系統的技術規范。
展開
攜手統信,中望CAD Linux預裝版適配UOS,共建國產基礎軟件應用生態圈
加快發展基礎軟硬件生態,實現操作系統、工業設計軟件等核心關鍵領域的自主化與國產化,避免陷入“卡脖子困境”已經成為業界的普遍共識。 2020年年初,中望軟件推出了第一款基于Linux系統環境的國產CAD產品“中望CAD預裝版”,實現了與統信軟件推出的UOS操作系統的兼容互認證。而在近日,又推出了全新界面、功能更強大的新版本,將為用戶帶來更加安全可靠的二維工業設計軟件的同時,邁出共建國產基礎應用軟件生態圈的堅實一步。 中望CAD Linux預裝版獲“統信軟件”官方適配認證 統信軟件是以“打造中國操作系統創新生態”為使命的中國基礎軟件公司,專注于操作系統等基礎軟件的研發與服務,目前已經推出了多款面向個人、企業、服務器、專業用設備等不同版本的統信UOS操作系統產品。UOS操作系統已經成為目前國內較成熟的國產操作系統主力軍之一。 為了滿足Linux系統用戶對于安全、穩定、自主的國產工業設計軟件的應用需求,中望軟件在2019年底就開始與統信UOS研發與適配團隊密切合作,積極開展軟件適配相關工作。 目前,中望軟件不僅率先推出了適用于UOS操作系統的中望CAD Linux預裝版,還與統信UOS進行了產品兼容互認證,并同步在各主流應用商店上架和更新,供廣大用戶免費下載使用。這一領先舉措,填補了工業設計軟件在國產操作系統上的空白。 經過多次產品迭代升級,中望CAD Linux預裝版已發展到V5.0版本,軟件性能和穩定性大幅度提升。截至目前,軟件在統信UOS應用商店下載排名中名列前茅。據不完全統計,中望CAD Linux預裝版受到近萬名統信UOS用戶的肯定與好評。
展開
華云三維CrownCAD 2021
同時,CrownCAD基于云架構的設計,支持云端存儲、版本控制、團隊協同,并支持跨平臺在國產計算機和國產操作系統上運行,非常適合于自主可控要求高的領域。 官網:https://www.crowncad.com/ 公司公眾號:華云三維CrownCAD CrownCAD是國內首款、完全自主可控的集計算機輔助設計、工程圖、團隊協同、版本管理為一體的云端三維建模軟件。“完全自主可控”(具有完全自主的CAD核心技術)、“跨平臺”(能夠在國產芯片和國產操作系統上運行)一直是我們研發這款新型軟件追求的一個核心目標,在目前復雜的國際形勢下,這點顯得尤其重要。 下圖為“一箭九星”長征十一號火箭在海上發射的船上標記“華云三維CrownCAD助力航天事業” 目前,這些高端制造領域被國外三維CAD軟件所壟斷,除了面臨“卡脖子”的風險外,還存在一個突出的問題,即“性能問題”。中國制造業不斷壯大, 模型越來越龐大、越來越復雜,對傳統的基于PC的CAD軟件帶來巨大挑戰。CrownCAD基于云架構的設計,能夠充分利用云計算技術對大規模數據處理的優勢,支持云端存儲、版本控制、團隊協同,并支持跨平臺在國產計算機和國產操作系統上運行,從而成為高性能的云端設計平臺。 1.新增曲線/曲面功能 通過新增曲線/曲面功能,實現通用產品外觀設計、消費產品造型及工業設計。
展開
國產之光—PKPM-CAE通用仿真云計算系統
PKPM-CAE通用仿真云計算系統 一、研發背景 通用仿真軟件廣泛應用于土木建筑、機械制造、材料加工、汽車、航空航天等領域,是國家的工業基石之一。其系統復雜度高,物理和數學層面理論難度大,同時牽涉多學科的交叉協同,因此開發難度大、成本高、周期長。 由于國內對通用仿真軟件的研究起步較晚,導致該領域長期被歐美國家壟斷,屬于典型的“卡脖子”領域,在一定程度上已經影響國家的工業數據安全。 2021年11月,工信部發布《“十四五”軟件和信息技術服務業發展規劃》,明確提出要重點突破工業軟件,研發推廣計算機輔助設計、仿真、計算等工具軟件,探索開放式工業軟件架構、系統級設計與仿真等技術路徑。 北京構力科技經過多年技術攻堅,研發完成PKPM-CAE通用仿真云計算系統,實現通用仿真模擬成套技術突破。 PKPM-CAE擁有完整且自主可控的仿真前后處理系統、任務調度系統、網格劃分內核和通用有限元計算內核。該系統對標國外的主流商業仿真軟件(abaqus、ansys等),致力于滿足國內土木乃至全工業領域絕大部分通用仿真需求。 圖1 軟件首頁 二、產品模式 PKPM-CAE軟件是一套基于云原生技術開發的CAE通用仿真系統,包括桌面版和WEB版(云版),兩者操作界面完全一樣,且桌面版可與web版進行項目交互(拉取和推送),從而實現了兩者的統一。 圖2 本地拉取和推送云端 三、產品功能 1. 網格劃分 PKPM-CAE擁有完全自主知識產權的二維和三維網格劃分引擎,可滿足常規建筑結構和工業領域的網格劃分需求。 圖3 體育館二維網格劃分示例 圖4 骨頭三維網格劃分示例 2.
展開
[國產PLC]耐特生產PLC在暖通系統是怎樣設計
一、設備簡介 因人類生產生活的需要, 暖通空調系統的應用不斷擴大, 成了各大型室內場所的必備基礎配套設施。 暖通自控系統簡稱 HVAC, 其主要是通過控制鍋爐、 冷凍機、 水泵、 風機、 空調機組等來維護室內環境的舒適。 二、設備原理 暖通空調的三個主要功能是暖氣、 通風及空氣調節。 室外的制冷機組對冷(熱)媒水進行制冷降溫輸送到安裝在室內的風機盤管機組中, 由風機盤管機組采取就地回風的方式與室內空氣進行熱交換,維持室內外或不同房間之間的壓力關系, 從而實現對室內空氣處理的目的。 三、產品選型及設計 硬件配置采用CPU224XP,外加8輸入、8輸出擴展模塊和4路模擬量輸入/輸出模塊。 在整個工程中采用溫濕度傳感器采集現場的溫濕度,通過模擬量輸入到CPU224XP內,再經過PLC內PID計算,將計算結果通過模擬量輸出到調節閥等設備,來控制水閥、風閥輸出量的大小,以達到控制溫度,和空氣質量的效果。 四、功能特點 該系統可以全自動通過自身環境溫濕度采集,來不斷調節環境溫濕度,來達到理想的舒適環境。根據不同的時間段來開啟或關閉設備,來達到節約成本的效果。 六、結語 整個暖通系統經過近一年的使用證明:耐特PLC可編程控制器工作是可靠的,性能是優良的,整個控制系統好用、易用;耐特ST-200PLC控制器是一種非常好用的控制設備,它工作可靠,成本低廉,性能優異。用耐特ST-200PLC控制器可以制造出非常出色的控制系統
展開
北斗系統關鍵器部件全面國產
北斗與互聯網、云計算、大數據融合,建成高精度時空信息云服務平臺,推出全球首個支持北斗的加速輔助定位系統,用戶突破1億。 走出一條具有中國特色的重大工程自主可控發展之路 據馬加慶介紹,在自主可控方面,北斗衛星導航系統實現了關鍵器部件、用戶設備全面國產化,走出了一條具有中國特色的重大工程自主可控發展之路。 其中,在強化應用驗證方面,在衛星領域,從器件、板卡、單機和在軌使用等多層級全面考核器部件的可用性,加大應用驗證力度,“解決了以前國產元器件‘不敢用,不好用,用不好’的問題。”馬加慶介紹。在應用領域,在集中組織研發北斗芯片、模塊基礎上,通過重點行業、區域應用示范工程,大力推廣使用自主芯片、模塊、軟件產品,邊建邊用、反復迭代,有效提高了水平。 馬加慶說,在國際合作與交流方面,北斗也已走出國門,加速融入世界。例如成立中俄衛星導航重大戰略合作項目委員會和中美、中歐衛星導航合作工作組,開通中俄衛星導航聯合監測平臺,與美、俄分別簽署系統兼容與互操作聯合聲明,為多系統實現共贏、全球用戶享受更加高效可靠服務做出中國貢獻。目前,北斗已加入國際民航、國際海事、3GPP移動通信三大國際組織,還將為全球提供免費搜索救援服務。 按計劃,2018年底將建成北斗三號基本系統,為“一帶一路”參與國家和地區提供服務;2020年底,建成世界一流的北斗三號系統,提供全球服務;2035年,建成以北斗為核心的綜合定位、導航、授時體系。 來源:內容來自「人民日報」,謝謝。
展開
國產操作系統圖2
國產CAE軟件產品定位及系統的開發求解器
結合自己開發經驗,討論一下如何系統的開發求解器。求解器開發可以分為三個階段: 1.原型開發; 2.迭代開發; 3.維護開發; 1. 原型開發 這階段主要完成以下任務: 1.1.技術選型; 確定要實現的功能,使用的開發語言,開發環境和工具。目前大部分求解器開發使用C/C++/Fortran語言 1.2 實現基本功能; 要能對最簡單的例子進行計算,并得到正確的結果。需要做的工作: 能生成標準求解器的輸入文件,比如Nastran,Ansys,HFSS,Fluent等的求解器輸入文件,例子的計算結果要與這些標準求解器計算的結果做比較。 標準求解器輸入文件的解析器。用來解析輸入文件,作為開發求解器的輸入數據。 比較標準求解器的計算結果和開發的求解器結果。 這階段的主要目的是保證算法的 正確性 。開發時為了提高效率,可以借助Matlab軟件: 用Matlab完成原型的開發,直到計算結果正確。在此基礎上再將Matlab翻譯成 C++/Fortran。這樣在早起可以將精力集中在算法驗證上。需要注意的是盡量進行模塊化開發。 1.3. 完成求解器原型; 這里需要介紹一下Matlab軟件,基本介紹看百度,主要說一下Matlab混合編程。Matlab有工具是可以把M文件翻譯成C++的,不推薦。主要介紹如何把C++/Fortran文件編譯成Matlab文件。這個功能很有用,當進行模塊化開發的時候,C++/Fortran完成模塊功能,然后編譯成Mex文件,作為Matlab的模塊使用。這樣可以逐步將Matlab翻譯成C++/Fortran,提高開發效率。
展開
美國EDA禁令的陰謀與陽謀
當然,盜版橫行并不利于國產操作系統的發展,我們是吃過虧的。到時候應該不是放任盜版,更有可能是鼓勵國產操作系統的發展。 美國EDA禁令一出,國產EDA龍頭華大九天大漲,就是這個道理。 美國知道EDA其實不能真正卡住中國的脖子。如果能的話, 當初不讓華為用美國EDA軟件就行了,何必禁止臺積電給美國代工? 關鍵還是芯片制造。無論是芯片與科學法案,還是EDA禁令,還是芯片四方聯盟,全是志在控制芯片制造。 下面聊聊我們應該如何應對。 先思考這個問題,為什么美國一直強調的是先進制程,成熟工藝不考慮對中國卡脖子?因為他知道,在成熟制程上,美國毫無勝算。 如果一個產業沒有足夠的利潤,是無法支撐高工資的。因此,如果技術門檻不夠高,很快就會被中國拿下,然后憑借規模優勢,碾壓外國同行。隨著中國技術的提升,越來越多的產業被中國拿下。這里就不再贅述。 而成熟工藝上,中國可能很快掌握所有關鍵環節,甚至包括光刻機,EDA軟件等等。 成熟工藝技術上完全掌握的后果是什么?成本大幅下降,隨之帶來價格的下降。而在歐美制造的芯片將會毫無競爭力。最后的結果就是,成熟工藝芯片,全部到中國來進行代工。中國將壟斷成熟工藝。 一臺先進的DUV光刻機的價格是天文數字,而用來進行芯片設計的EDA軟件也是貴得離譜,這些最后都會成為消費者手中電子產品的成本。如果全部國產,芯片以及相關電子產品的價格將會發生翻天覆地的變化。 美國希望芯片美國本土制造,而如果美國制造芯片,就必須保持足夠高的利潤率。美國現在推動芯片聯盟,就是希望通過技術壁壘延緩中國科技進步,這樣才能得到穩定的高額利潤。而要組建芯片聯盟,則要斷了韓國臺灣和中國大陸先進工藝客戶之間的聯系。可謂環環相扣。 因此,我們最佳策略應該是先拿下成熟工藝,通過規模和成本優勢壟斷成熟工藝。再逐漸向更先進的工藝發展。最終成為世界芯片制造的工廠。
展開
天河三號原型機國產系統+芯片曝光
據新華社消息,在國家超級計算天津中心,我國自主研發的新一代百億億次超級計算機——“天河三號”E級原型機完成研制部署,并順利通過分項驗收,該原型機系統采用了三種國產自主高性能計算和通信芯片。 在此基礎上,“天河三號”超級計算機預計于2020年研制成功! 研究人員在研發天河三號原型機 這次天河三號項目團隊完成了四項大事: 自主設計了三款芯片:“邁創”眾核處理器(Matrix-2000+)、互連接口芯片、路由器芯片; 設計了四類結點(計算結點、I/O服務結點、I/O存儲結點、服務結點)、十余種PCB電路板; 設計和實現了新型的計算處理、高速互連、并行存儲、服務處理、監控診斷、基礎架構等硬件分系統, 以及系統操作、并行開發、應用支撐和綜合管理等軟件分系統 “這一切都是為了全面實現超算系統的自主可控。”中山大學數據科學與計算機學院教授、國家超級計算廣州中心主任盧宇彤告訴新智元,原型系統是主要驗證核心關鍵技術的可行性,包括CPU、互連通信、存儲架構、能效比等,并不追求峰值。所以,不和美國Summit系統比規模。 未來2-3年,打造出全自主的具有國際領先水平的新一代超級計算機 盧宇彤博士告訴新智元,天河三號原型機是國防科大設計和研發的,部署在天津超算中心,為未來E級天河三號大系統研發預先構建應用軟件生態。 “天河三號原型機的性能是國家原型系統項目指標要求的每秒3-5P(1P=1千萬億次)。”盧宇彤說。
展開
強度所發布大型國產CAE軟件HAJIF系統2018版
11月7日,航空工業飛機強度研究所在珠海召開的“新時代,新航空,新強度”創新成果推介會上,正式對外發布自主研發的大型國產CAE軟件HAJIF系統2018版,發布主題為“數字強度 引領未來”。 1979年,航空人開始研發HAJIF-I型系統,開始了自主開發結構分析軟件的歷程,HAJIF從此成為自主CAE的一面旗幟。隨后的40多年里,研發團隊陸續開發了HAJIF-II、YIDOYU、VEP、HAJIF-Ⅲ、COMPASS等系列軟件,先后四次獲得國家科技進步獎,在我國航空器研制歷程中發揮了重要作用。2013年,強度所搭建了融合靜、動、熱、疲等多專業的通用加專用的HAJIF2013。在數字引領的新時代,結合航空器研制新的需求,強度所又推出了全新的HAJIF2018版本。 與前一版本相比較,HAJIF2018具有三個大的改變。 更加專業:10余個專業軟件定制成功案例,已經具備了30余個專業功能模塊; 更加開放:提供20多個開放式接口和40余套HAMU流程,支持靈活的流程組織。 支持虛擬試驗:具備全機結構強度虛擬試驗能力,在試驗前提供虛擬裝配、三維沉浸式評估功能,在試驗中提供實時預警與三維變形顯示功能,在試驗后提供一致性評估與模型修正功能。 針對數字強度特點,本次發布對HAJIF軟件產品線進行了重新劃分,包含六大產品: ——HAJIF-BASIC開放式有限元分析平臺; ——HAJIF-COMPASS超大規模變量優化軟件; ——HAJIF-MODELING航空結構輔助建模軟件; ——HAJIF-STRENGTH航空結構強度分析軟件; ——HAJIF-VT結構強度虛擬試驗軟件; ——HAJIF-DATA結構強度工程數據庫。 覆蓋了航空結構設計、強度計算到強度試驗驗證的全過程。
展開