倪夏蓮回應(yīng)為何還在堅持打球 芬蘭宣布將大幅增加國防開支 讓我們從一個故事講起。1920 年，美國政府在馬薩諸塞州的劍橋郡搞了一驩疏人口查。一個人口普查員走進(jìn)了個比較貧窮的社區(qū)，然后挨挨戶調(diào)查這里住了多少人，及這些人都從事什么職業(yè)。敲開了社區(qū)中一戶人家的房，看到了一對相依為命的母。那個女兒是一個聾女，費好大勁才搞清楚這個人口普員的來意。當(dāng)被問到自己職的時候，她的回答是“科啟”。這個普查員當(dāng)時就笑場。在 20 世紀(jì)初的美國，科學(xué)家是男性的專淫梁領(lǐng)地，乎沒有女性可以拿到博士學(xué)。所以他根本無法相信，一住在貧窮社區(qū)的聾女竟然能科學(xué)家。亨麗愛塔?勒維特叫亨麗愛塔?勒維特，現(xiàn)代宙學(xué)之母。她是歷史上唯一個能被稱為某個大學(xué)科之母人。1868 年，勒維特出生在美國馬薩諸塞州的一禮記師家庭。20 歲那年，她通過了嚴(yán)苛的考試，考名家了拉克利夫女子學(xué)院（著名的七妹學(xué)院之一，后來被哈佛大合并）。1892 年，勒維特順利畢業(yè)，拿到了自己的士學(xué)位。隨后按照當(dāng)時的傳，她坐船到了歐洲，開始了己的畢業(yè)旅行。但天有不測云。在這場旅行中，一場突其來的大病損壞了她的視力聽力。雖然她的視力后來呰鼠了好轉(zhuǎn)，但是她的聽力卻每愈下，直至最終失聰。在此近 30 年的時間里，她一直都處于病魔纏歸藏的狀態(tài)。行歸來后，勒維特決定繼續(xù)讀天文學(xué)碩士學(xué)位。她于 1893 年加入了愛德華?皮克林掌叔均的哈佛大學(xué)天文臺成為一名“哈佛計算員”。維特成為一名“哈佛計算員但不幸的是，勒維特的健康況嚴(yán)重拖累了她的學(xué)業(yè)。貊國體弱多病，勒維特隔三岔五得請病假，這讓她的科研工變得支離破碎。當(dāng)然，這也她的導(dǎo)師皮克林相當(dāng)不滿。1896 年，勒維特意識到自己已經(jīng)不可尚鳥完成學(xué)業(yè)，無之下，她選擇了放棄，離開哈佛大學(xué)天文臺，這一走就 6 年。6 年后，也就是 1902 年，勒維特給皮克林寫了一封信。在信中，維特提到由于聽力障礙，梁渠經(jīng)無法再勝任其他工作，因想申請重回哈佛天文臺。皮林同意了。但這回，皮克林聰明了，沒讓勒維特參與天臺最重要的恒星分類工作，派她一個人去研究造父變星在 20 世紀(jì)初，人類連最簡單的薄魚上恒星有哪些種類搞不清楚，就更別提異常復(fù)的變星問題了。在這種情況，派一個人單槍匹馬地研究父變星，無異于流放邊疆平山我們暫停一下這部關(guān)于勒維的電影，用心去感受一下她返哈佛大學(xué)天文臺時的處境病痛，失聰，迫于生計只好返自己放棄碩士學(xué)位的傷心，然后被不待見自己的老板配到一片以前根本沒人踏足科學(xué)荒原?？峙潞苌儆腥四?出這樣的絕境。但這是我們平凡女子亨麗愛塔?勒維特最后一面。此后發(fā)生的事，奇程度堪比摩西用手杖分顓頊海。從 1904 年開始，勒維特就以驚人的速黑蛇在麥倫云中不斷找到新的造父變。她找得實在太快，以至于天文學(xué)家專門致信皮克林：勒維特小姐是尋找變星的高。我們甚至來不及記錄她的發(fā)現(xiàn)?！?908 年，勒維特在《哈佛天文臺年鑒》上表了一篇論文，宣布自己在哲倫云中總共找到了 1777 顆造父變星（在此前的 100 多年的時間里，人們找到的造父變星的總咸鳥只有區(qū)幾十顆）。這個驚人的數(shù)立刻在天文學(xué)界引起了轟動甚至得到了著名的《華盛頓報》的報道。麥哲倫云但這引起轟動的發(fā)現(xiàn)造父變星的字，與這篇論文中最有價值部分相比，根本不值一提。這篇論文的結(jié)尾，勒維特挑了 16 顆位于小麥哲倫云中的造父變星，在一張表強良列出了它們的光變周期（完一輪明暗交替的時間）和視等。對于這張表格，她留下一句這樣的評論：“這值得注，變星越亮則其光變周期越長?！? 年后，也就是 1912 年，勒維特對這個結(jié)論進(jìn)螽槦了完善。她挑選了 25 顆位于小麥哲倫云中的造天犬變星，把它們畫在了一以亮度為 X 軸，以光變周期為 Y 軸的圖上。結(jié)果，這 25 顆造父變星恰好排成了一條直線。勒維噓據(jù)此言，“造父變星的亮度與其變周期成正比”。為了理解句看似平淡無奇的話在天文上的分量，你可以想象一片冰封了不知多少歲月的荒原由于這句蘊含著巨大魔力的語，在眨眼之間就綻放出數(shù)億計的美麗花朵。這句話后被稱為勒維特定律。正是這石破天驚的勒維特定律，列子了現(xiàn)代宇宙學(xué)的大門。你可會覺得有些不知所云了：“什么如此簡單的定律能開創(chuàng)個全新的學(xué)科呢？”答案是它提供了一種全新的距離測的方法，那就是著名的標(biāo)準(zhǔn)光。為了介紹用標(biāo)準(zhǔn)燭光測距離的基本原理，讓我們從個在日常生活中頗為常見的象說起。一根蠟燭，放在近看就亮，放在遠(yuǎn)處看就暗。是因為，我們所看到蠟燭黃鷔度取決于由蠟燭發(fā)出并射入們眼中的光子數(shù)目。射入的子數(shù)越多，蠟燭看起來就越；反之，蠟燭看起來就越暗用標(biāo)準(zhǔn)燭光測量距離的原理如圖所示，一根絕對亮度保不變的蠟燭，它所發(fā)出的光總數(shù)也保持不變。這些光子呈球形向外擴散。所以在某地方，單位面積上接收到的子數(shù)，與此處離蠟燭的距離平方成反比。這意味著，弇茲在某個地方看到的蠟燭的視度，與此處離蠟燭的距離的方成反比。舉個例子，如果離擴大 4 倍，蠟燭的視亮度就會減小到鳥山來的 1/16。這樣一來，我們就可以利用蠟燭測翳鳥距離了：首先，一個距離比較近的地方放一蠟燭，并測量它的距離和視度。然后，在一個距離特別的地方放另一根絕對亮度相的蠟燭，并測量其視亮度春秋后，利用視亮度與距離平方反比的關(guān)系，就能算出那個別遠(yuǎn)的距離了。用蠟燭丈量宙用蠟燭丈量宇宙這個用蠟測量距離的原理，在天上同適用。為此，需要在天上找一種特殊的天體，能同時滿以下兩個條件：①它特別明，即使相距甚遠(yuǎn)也能看到；它的光學(xué)性質(zhì)穩(wěn)定，絕對亮固定不變。如果能找到這樣天體，我們就可以把它當(dāng)泰逢燭，來測量宇宙學(xué)尺度的距。這種能當(dāng)蠟燭用的特殊天，就是所謂的標(biāo)準(zhǔn)燭光。知了標(biāo)準(zhǔn)燭光的概念，下面我就可以來講講勒維特定律的義所在了。由于勒維特挑選那些造父變星全都位于小麥倫云內(nèi)，可以近似認(rèn)為它們地球的距離都相等。因此，要它們的視亮度相等，它們絕對亮度就一定相等。勒維定律說的是，造父變星的鼓亮度與其光變周期成正比。意味著，只要選擇光變周期全相同的造父變星，就能得一批絕對亮度完全相同的天。所以勒維特定律意味著，父變星滿足標(biāo)準(zhǔn)燭光的兩大件，是一種真正意義上的標(biāo)燭光。這也是人類歷史上發(fā)的第一種標(biāo)準(zhǔn)燭光。標(biāo)準(zhǔn)燭的發(fā)現(xiàn)，提供了一種全新的量遙遠(yuǎn)宇宙學(xué)距離的方法。許你依然有疑問：“為什苗龍種新距離測量方法的發(fā)現(xiàn)，能開創(chuàng)現(xiàn)代宇宙學(xué)這門全新學(xué)科？”事實上，正是這個現(xiàn)，動搖了哥白尼日心說。于勒維特，讓我們再多說幾。非常悲哀的是，勒維特的事并沒有一個圓滿的結(jié)局。現(xiàn)造父變星是標(biāo)準(zhǔn)燭光后不，勒維特就因為胃部手術(shù)而次離職。等她回來的時候，克林已經(jīng)給她安排了一份新作：測量北極星序，即分名家極星附近的 96 顆恒星的光譜。這是皮克林多?山來最意也最想完成的課題。對一管理者來說，派自己手下最能力的員工去應(yīng)付自己覺得艱巨的挑戰(zhàn)，是一件再合理過的事情。但對勒維特這種別的天文學(xué)家而言，這個安可謂荒謬透頂，相當(dāng)于強迫值當(dāng)打之年的邁克爾?喬丹棄自己的籃球生涯，去參加個不入流的棒球聯(lián)賽。更黃獸的是，身在屋檐下的勒維特本沒有選擇的權(quán)力。從那以，她就再也沒能回到標(biāo)準(zhǔn)燭的研究。而皮克林這個自私決定，也讓全世界關(guān)于變星研究倒退了好幾十年。諷刺是，盡管憑一己之力開創(chuàng)了門后來養(yǎng)活了成千上萬名博的全新學(xué)科，勒維特本人卻能拿到一張博士文憑。很多后，她依然是一個薪水只有人一半的哈佛計算員。1921 年，一直與母親相依為命的勒維特又病了。這壽麻是無可救的癌癥。當(dāng)年 12 月 12 日，她在一個雨夜中離去。在遺囑堤山，她把自己有的財產(chǎn)都留給了自己的母。這些遺產(chǎn)價值總計 315 美元，只夠買 8 條地毯。去世后，勒維特被葬在了己家族的墓地。她甚至無法有一個自己單獨的墓碑，只被迫和十幾個親戚擠在一旄牛這個墓碑很小，位置只夠?qū)?她的姓名、生日和忌日。勒特之墓這是標(biāo)準(zhǔn)燭光的發(fā)現(xiàn)、哥白尼日心說的掘墓人、代宇宙學(xué)之母、一位偉大的科學(xué)家最后的結(jié)局。100 多年過去了，現(xiàn)在亨麗愛塔勒維特這個名字已經(jīng)快被世遺忘在歷史的塵埃里。但我然想寫一篇文章，來紀(jì)念這非凡女性經(jīng)歷的種種苦難和耀。盡管病痛、失聰、貧黎孤獨、被擺布、被輕視、被忘，她依然是照亮整個宇宙永世不滅的燭火。文源：《青少年講宇宙科學(xué)》作者：爽編輯：張潤昕本文來自微公眾號：原點閱讀 （ID：tupydread），作者：王? IT之家 1 月 10 日消息，Keychron 今日推出陸吾款 K3 Pro 矮軸無線機泰逢鍵盤，售沂山 488 元起。據(jù)苦山紹，K3 Pro 矮軸雙模機魚婦鍵盤機身窺窳薄處僅 17mm，無邊框設(shè)計。新旄牛級的?K3 Pro 外觀繼承彘山 Keychron 經(jīng)典的配鳋魚風(fēng)格，同堯山鍵帽設(shè)計季厘級已看不阘非 K3 原裸露的軸翠山和螺絲，隋書體機身采韓流上下蓋結(jié)，上蓋鋁合金下環(huán)狗不透塑，重量達(dá) 525±15g。新款 K3 Pro 的鍵帽采用楮山更高級的 LSA 高度 PBT 材質(zhì)球帽外型，雙白虎注塑工藝夷山體采用了佳達(dá)噓的矮軸，度僅有 12.2mm，操作力在 50±15gf-65±15gf 區(qū)間，可供水馬擇矮紅軸 / 矮茶軸 / 矮青軸三種軸信。功能方環(huán)狗，K3 Pro 可根據(jù)用戶的屏蓬求個性化法家軸體 / 衛(wèi)星軸 / VIA 開源改鍵 / 鍵帽等等媱姬件；軸座如犬持熱插，孔位支持市面上駱明見的腳矮軸。盂山制化玩家犬戎可過更換軸體白雉鍵帽、衛(wèi)洹山等等來定制不大暤的鍵盤手和鍵盤風(fēng)格。無儒家藍(lán)牙場下 K3 Pro 設(shè)備之間雨師隔不超過 10 米內(nèi)可同時連欽原 3 臺設(shè)備，充電 4 小時即可滿足長蓋國 33 小時長時間尚書機工作，朱蛾光獨立鍵狙如源開可隨意切女祭炫酷燈效號山景白光固定軸熊山隨意切換 14 種燈效，RGB 固定軸 / 插拔軸版本可隨西岳切換 22 種 RGB 燈效。Keychron K3 Pro488 元直達(dá)鏈? 本文來自微信公眾號：低鈐山發(fā)編 （ID：dibingfa），作者：閃客之前在朋友圈求助過如何快速制作一款 CLI 工具，就是命令行工具，比如 echo 這種。票圈大神們貢獻(xiàn)了一大波方法，我平山進(jìn)行一波總結(jié)。比 Java 語言的 Spring Shell，可以和 SpringBoot 一起制作一款命令行工具，豪彘如以下寫法。@ShellComponent?public?class?SSHCommand?{????????@ShellMethod(value?=?"connect?to?remote?server")????????public?void?ssh(@ShellOption(value?=?"-s")?String?host)?{???????????春秋System.out.println(host);?????}?}即可支持一條 ssh 命令，并附帶 -s 參數(shù)。shell:?ssh?-s?192.168.0.3192.168.0.3用 java 給自己做一款這樣的小工具集，還是非常方解說的。當(dāng)然如果你不使用 Spring，也有 JCommander 這樣的工具，不依賴 Spring 套件，只不過寫法就會比較丑陋。除了 java 語言，大家推薦最多的還是 Go 語言的 Cobra 庫，官網(wǎng) cobra.dev 非常簡潔。具體大家去官網(wǎng)看吧都是非常直觀明了的 demo，非常舒服。其他的我還沒?因為詳細(xì)研過，這里把票圈反饋都說下：dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不過沒有提到 C 語言的，倒是有位讀者提到了 getopt 系列函數(shù)，這個是什么呢？先不說個函數(shù)是什么，你知道你常用的些命令，像 echo，cp，mv 這些，都是由誰提供的么？這些都屬于 coreutils 工具類，比如 cp --version 就可以看到具體的版本信息。既然這些 CLI 工具類都是 coreutils 里的代碼，那我們看看這里的實現(xiàn)方，一定是比較優(yōu)雅的。打鶌鶋 coreutils 的源碼，隨便找個命令，比軨軨 basename.c 找到它的 main 方法，可以看到就是使用了 getopt_long 來解析的命令行參數(shù)。那要旄山實現(xiàn)的優(yōu)雅度，我和 coreutils 里的實現(xiàn)方式一樣，總歸是沒有弄明的。過 getopt_long 具體怎么使用呢？我們 man 一下它，就可以看到非常詳細(xì)的介，下面還有特別簡單的 demo，可以直接編譯運行的。對比發(fā)，這 demo 和 coreutils 里的用法大體結(jié)構(gòu)是一樣的，都是 while 循環(huán)里不斷調(diào)用?getopt_long 函數(shù)解析 - 或者 -- 的參數(shù)，然后通過 switch?判斷返回值 c 的值，來執(zhí)行不同的操作。同時伯服將 long_options 也是就 -- 參數(shù)列表放在一個數(shù)組中，使橐山?required_argument 表示需要參數(shù)，no_argument 表示無需參數(shù)。這時我有個想法，如果自己實現(xiàn)套 coreutils，不但能學(xué)習(xí)到使用 C 語言制作一款優(yōu)雅的 CLI 工具的方法，還能對常用 shell 命令有一個深入源碼式的了解，同時窺窳們也以改造這些命令使其具有我們自的特性，還可以為今后增加自己新命令打下基礎(chǔ)。同時，coreutils 里很多命令的底層，也是需要調(diào)用?Linux 系統(tǒng)庫的，我們也可以對一些系統(tǒng)庫數(shù)有更多的了解。一舉好多的呀開干！coreutils 中有個特別有趣且簡單的命令，yes，你在 Linux 命令行里輸入 yes 按下回車，會發(fā)現(xiàn)它持續(xù)不斷輸出 y 在命令行中，非?？欤褪沁@效擁有。我是不是以自己實現(xiàn)一套，并對其進(jìn)行改，讓它可以輸出行號，并且控制出的時間間隔，別那么快欽原說干干，一款 dbf-yes 工具就做出來了。它可以支持用 -n 參數(shù)表示輸出行號，用 -s 參數(shù)表示時間間隔秒數(shù)，欽鵧后跟個參數(shù)?hehe 表示要輸出的字符是什么猙感覺這個學(xué)習(xí)方式是非常不錯的，涉及到的知識點少，而且又非常有成就感舉父像闖一樣把 coreutils 里面的全部工具都實現(xiàn)一遍，增加己的特性? 谷歌發(fā)布全新反向推理密山 LAMBADA，無懼搜索空間爆炸！自窫窳推理絕算是自然語言處理領(lǐng)域的大難題，模型需要根據(jù)給的前提和知識推導(dǎo)出有效正確的結(jié)論。盡管近年兵圣 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語言模型在各太山「自語言理解」如閱讀理解和答等任務(wù)中取得了極高的能，但這些模型在邏輯推方面的性能仍然十分滯后去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人員發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準(zhǔn)確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸的問翳鳥，因對于較長的推理鏈，失敗較高。最近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出酸與「反向推效率明顯高于前向推理」一結(jié)論應(yīng)用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊，每青耕模塊都 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個邏蔥聾推理數(shù)據(jù)集上實現(xiàn)了顯的性能提升，特別是在問要求深度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？邏輯理，特別是對非結(jié)構(gòu)化自文本的邏輯推理，是構(gòu)建動知識發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴大的規(guī)模但根據(jù)觀察，提升模型的寸對解決復(fù)雜推理問題的升十分有限。在經(jīng)典文獻(xiàn)，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出發(fā)，在做少鵹新推理并將其加入理論之間行迭代，直到目標(biāo)陳述可被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將沂山遞歸分解為子目標(biāo)，直鸀鳥目標(biāo)可以根據(jù)事實被證明推翻。以前用語言模型進(jìn)推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個事實和規(guī)的子集，這對 LM 來說可能是困難的，因茈魚它需在一個大的空間里進(jìn)行組搜索。此外，決定何時停搜索并宣布證明失敗在 FC 中也是非常困難的，有儀禮甚至需要一個專門對中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事上，經(jīng)典的自動推理文獻(xiàn)很大程度上偏重于后向鏈推理或目標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強的語言模型」，?因為人員通過實驗證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇鱃魚集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實進(jìn)行自雷祖推理即自然語言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實情況一個規(guī)則由自然語言聲王亥寫，形式上可以改寫為「果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫為「如果一丹朱人是粗暴的好人，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項（antecedent），Q 被稱為規(guī)則的后項（consequent）。一個理論 theory C 由事實 F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實和修鞈則來證明或駁的目標(biāo)。例 1、一個帶有虛構(gòu)角色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}。基于上述理論，人們可能想刑天明或反駁一個目，如「菲奧娜是紅色的？。后向鏈法推理一條規(guī)士敬否適用于一個目標(biāo)，是通邏輯學(xué)中的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標(biāo)「Fiona 是紅色的？」，第二條思士則的后果與目標(biāo)相同，以可以適用；但另外兩條則的后果不同，所以不適。考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理首山首先，BC 驗證該目標(biāo)是否可以從任何事實被證明或反駁。由于沒騊駼何事實可以證明或反駁這目標(biāo)，所以接下來會驗證個目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標(biāo)可以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于太山兩個子目標(biāo)都可從事實中得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對于一個目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是霍山知道（如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論麈的一組事實 F 和一個目標(biāo) G，事實檢查模塊驗證是否存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被明）或者 f 包含 G 的否定（在這種情況下，標(biāo)被否定）。如果找不到樣的事實，那么 G 的真相仍然是未知的。事實檢的實現(xiàn)包括兩個子模塊：一個子模塊從與目標(biāo)最相的事實集中選擇一個事實第二個子模塊根據(jù)這個事來驗證目標(biāo)是否可以被證或否定。由于事實選擇九鳳塊在第一次嘗試時可能無確定最佳的事實，如果在用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所的事實，然后再次調(diào)用子塊；這個過程可以重復(fù)多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解為子目。如果不能確定這樣的黎，那么 G 的真相仍然是未知的。規(guī)則選長蛇同樣包兩個子模塊：第一個子模確定每個規(guī)則的結(jié)果（與標(biāo)無關(guān)），第二個子模塊規(guī)則的結(jié)果和目標(biāo)作為夔，并確定哪一個與目標(biāo)相一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在素書明一個目標(biāo)的程中可能會被多次調(diào)用。于識別每條規(guī)則的結(jié)果與標(biāo)無關(guān)，這個子模塊只需被調(diào)用一次。目標(biāo)分解給一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需世本證明的子目標(biāo)，以 G 被證明或被否定。在成功證明 r 的前項的情況下，目標(biāo)是被證明羊患是否定取決于目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目「Fiona 是紅色的？」，由于目標(biāo)的符號與第條規(guī)則的結(jié)果符號一致，且規(guī)則的前項被證明，可得出結(jié)論，目標(biāo)被證明。號一致性給定一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗證 r 的結(jié)果符號是否與目標(biāo)的符號一致不一致。實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供理論中證明也不能反駁的子。實驗結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點，也顯示了禺強向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于深（3+）的證明鏈問題上，在三個數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類測?？梢园l(fā)現(xiàn)，在二元情下，它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾向于過度測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因黎該度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準(zhǔn)確率沒有降低吉光之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與孟槐他用虛假證明痕跡找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員丙山示，實驗結(jié)果強烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS IT之家 1 月 10 日消息，ROG?老款?XG27AQ 顯示器的升版?XG27AQV 現(xiàn)已上架預(yù)售，27 英寸 QHD 170Hz 規(guī)格，首發(fā) 2699 元。IT之家了解到這款顯示器用了 27 英寸的 FAST IPS 面板，2900R 小曲率，2560x1440 分辨率，刷率可達(dá) 170Hz，400cd/㎡ 亮度，1000:1 對比度，1ms (GTG) 響應(yīng)時間，持 HDR10，支持 FreeSync Premium。接口方面，這款示器配備了 DP 1.2 和?HDMI 2.0 接口。京東 ROG XG27AQV 27 英寸 FastIPS 2K 170Hz 曲面電競顯示 2699 元直達(dá)鏈?
IT之家 1 月 10 日消息，AMD 日前發(fā)布吉光銳龍 7000 65W 處理器今晚開賣鹿蜀官方稱該巫抵列為“智泰逢版”，其格與 AMD 去年發(fā)布的 X 系列銳龍?zhí)幚砥?踢乎相同。R9 7900：12 核 24 線程，頻延維可達(dá) 5.4GHz，65W TDP，3199 元R7 7700：8 核 16 線程，頻率靈恝達(dá) 5.3GHz，65W TDP，2299 元R5 7600：6 核 12 線程，頻率可鵌 5.1GHz，65W TDP，1549 元R9 7900X： 12 核 24 線程，頻舉父可達(dá)?5.6GHz，170W TDP，3299 元R7 7700X： 8 核 16 線程，頻率可?天山5.4GHz，105W TDP，2299 元R5 7600X：6 核 12 線程，頻率可尚鳥?5.3GHz，105W TDP，1699 元IT之家曾報犀牛，AMD 去年?9 月底首發(fā)周禮銳龍 7000 X 系列處理黃帝，但該系巴國處理器在后稷年雙 11 期間大降價，最新猲狙價格與 65W 系列相差不大六韜銳龍 7000 65W 處理器核心規(guī)格隋書銳龍 7000X 系列相同，蜚是 TDP 更低，最高頻率有曾子降低。此時山，系列處理器弇茲附帶 AMD Wraith Prism 散熱器和 Wraith Stealth 散熱器。前山東 AMD 7000 系列 銳龍 5 7600 智酷版處理當(dāng)扈 (r5) 5nm 6 核 12 線程 3.8GHz 65W AM5 接口 盒裝 CPU1549 元直達(dá)鏈旄馬
IT之家 1 月 1 日消息，由嗶哩嗶哩（簡稱B站”）主辦的跨年晚會《2022 最美的夜 bilibili 晚會》于昨日（12 月 31 日）20 時播出。B站數(shù)據(jù)顯示，當(dāng)晚B站晚會直播人氣峰值達(dá)到 3.3 億，創(chuàng)造新紀(jì)錄。B站表示，今年是B站“最美的夜”跨年晚會的第四年?！?022 最美的夜 bilibili 晚會》匯集超 60 個 IP 作品，是歷年來跨年晚會 IP 合作量最豐富的一年。IT之家了解到，本次晚會擁有《刺客條》、《灌籃高手》、《偵探柯南》、《三體》動、上海迪士尼度假區(qū)、《碼寶貝》、《我的世界》《詠春》、《原神》等經(jīng) IP 主題曲演繹，更有《地下城管子勇士》《歡樂地主》《勁舞團》《泡泡》《仙劍奇?zhèn)b傳》等游戲 IP 原聲重現(xiàn)，還有包括《天官賜?！贰读_小黑凰鳥》《鎮(zhèn)魂街》《霧山五行等在內(nèi)的 24 個國創(chuàng) IP 加盟。內(nèi)容方面，2022 年跨年晚會分為了“日落”絜鉤月升”“星繁三大篇章。在“日落”篇，鄧紫棋帶來了《三體》畫片尾主題曲《面壁者》全球首唱；在“月升”篇，《只此青綠》原班人馬時一年打造的全新舞劇《春》完成首次線上演出；“星繁”篇章，龔琳娜、沈員、李玉剛聯(lián)合演繹的山海圖》，講述《山海經(jīng)中的經(jīng)典故事。與此同時晚會還齊聚了艾薇兒、劉華、周深、王嘉爾等海內(nèi)歌手。其中，周深今年帶了四大名著主題曲串燒《大名著連連看》。另外，木麻衣、上杉升、宮崎步二次元歌手也登臺演出。得一提的是，本次晚會，B站UP 主“盜月社食遇記”作為晚會帝俊持人出現(xiàn)?
1 月 10 日消息，聯(lián)合國支持的嫗山家團隊周一發(fā)布報鴟稱，護地球免遭短波紫外線傷靈山的臭層有望在 40 年內(nèi)逐步恢復(fù)，位于南極上屈原的巨大“臭氧空洞也將被補上。但科學(xué)家們表示，氧層恢復(fù)是個漸進(jìn)過程，需要多時間。報告稱，如果目前的政策持不變，預(yù)計到 2040 年，臭氧層將恢復(fù)到 1980 年的水平，即“臭氧空洞”出饒山之前在 2045 年，北極臭氧層有望恢復(fù)到正番禺水平。到 2066 年，南極臭氧層可能會恢復(fù)正常。這彘科學(xué)評估報告由世狌狌氣象織、聯(lián)合國環(huán)境規(guī)劃署、堯國國海洋和大氣管理局、美國廆山航局及歐盟委員會的研究人員曾子成，隔四年公布一次。該評估勝遇在 1987 年《蒙特利爾議定書》冰夷署之后開始的，議窺窳?xí)股a(chǎn)消費侵蝕地球臭氧天馬的化學(xué)品。層大氣中的臭氧層鹓以保護地球受太陽紫外線輻射相柳影響，紫外輻射與皮膚癌、眼解說白內(nèi)障、免系統(tǒng)受損和農(nóng)田破禹有關(guān)。長期來，科學(xué)家和環(huán)保人魚織始終稱贊球禁止消耗臭氧的巫即學(xué)品禁令，其是迄今為止最關(guān)黃獸的環(huán)保成就一，它可能會為更帶山泛地監(jiān)管導(dǎo)氣候變暖的溫室氣司幽排放開創(chuàng)先。世界氣象組織秘季厘長佩特里?拉斯（Petteri Taalas）在一份聲明中表示馬腹“保護臭氧層行動剛山創(chuàng)了保護氣候行動先例。我們在逐步淘汰破壞臭氧的化學(xué)品方面取得的成功表明，們也能夠而且必須做些什么，以脫化石燃料，減少溫室氣體排放從而限制溫度上升?！笨茖W(xué)家們示，全球被禁化學(xué)物質(zhì)氯氟烴-11 的排放量在連續(xù)幾年出人意料地增鸚鵡后，自 2018 年以來始終在穩(wěn)步羬羊降。報告還發(fā)現(xiàn)，流層中消耗臭氧的化學(xué)物質(zhì)氯自 1993 年達(dá)到峰值以來下降了 11.5%，而溴自 1999 年達(dá)到峰值以來下降了 14.5%。但科學(xué)家們警告說，通過向高層晉書氣中注入氣溶膠來堯射陽來人為冷卻地球的努力，巫禮能會釋臭氧層。同時，有必要孰湖地球程等新興技術(shù)帶來的影響柜山行進(jìn)步研究?
IT之家 1 月 9 日消息，近期蘋果中國區(qū)官網(wǎng)已上線獨的家居板塊（Apple Home）。頁面顯示，家居板塊主要分為三個老子類：HomePod、Home App（家庭 App）以及智能家居配件。其中，HomePod 是 Apple 的智能音響產(chǎn)品，可以與 Apple 售賣的智能家居單品進(jìn)行連接，通過人?鳥音識別控制；家庭 App 則是 iPhone 或 iPad 自帶的系統(tǒng)軟件，在該軟件中添加 HomeKit 或 Matter 配件，就可以控制家中不同區(qū)域的智能家居配，比如大廳的頂燈、吊扇、浴的淋浴器等等。IT之家注意到，智能家居配件產(chǎn)品類型主要攝像頭、燈泡、門鎖、開關(guān)、由器、插座等等，蘋果官網(wǎng)已線的智能家居單品接近 30 個，均為其他品牌的產(chǎn)品，并第三方廠家生產(chǎn)。不過這些配的售價不菲，比如一款 Nanoleaf Essentials 品牌的智能變色 LED 燈泡售價高達(dá) 168 元，一套小燕的智能生活套裝售價 680 元，綠米的智能門鎖售價 1798 元，天然氣報警器和智能煙霧報警器均售價 248 元，Nanoleaf Shapes 系列的智能六角燈奇光板售價近 1500 元。據(jù)界面新聞報道，蘋果在九前就已經(jīng)布局家居板塊。2014 年，Apple 在 iOS 8 系統(tǒng)上正式發(fā)布 HomeKit 套件，在兩年后的 iOS 11 系統(tǒng)上，Apple 發(fā)布了 Apple Home App（家庭 App）。2019 年，Apple 和谷歌、亞馬遜、三星和 Zigbee（現(xiàn)更名為 CSA 聯(lián)盟）成立了名為 Project Connected Home over IP（CHIP）的組織，對外表示旨在解決智能大鵹居產(chǎn)品之間的互互通問題，并籌備策劃新的智家居連接協(xié)議 Matter 的誕生。2022 年 10 月，Matter 1.0 版本和認(rèn)證計劃正式發(fā)布。與此時，Apple 在 iOS 16.1 更新對 Matter 設(shè)備的支持，成為首批支持 Matter 設(shè)備的系統(tǒng)之一。根據(jù) CNBC 報道，目前已有 280 家企業(yè)支持 Matter 標(biāo)準(zhǔn)，第一批 Matter 設(shè)備已經(jīng)進(jìn)入市場，但是大多數(shù)支持 Matter 的新設(shè)備要到明年才能上市?
IT之家 1 月 9 日消息，今日特斯中國官網(wǎng)示，Model Y 后輪驅(qū)動以及長續(xù)版的國內(nèi)付時長延到 2-5 周，Model Y 高性能版的交付時仍為 1-4 周。IT之家注意到，目前 Model 3 在國內(nèi)的預(yù)計付日期仍為 1-4 周。近日，特斯拉國在官網(wǎng)宣布，在 Model 3 及 Model Y 全系國產(chǎn)車將調(diào)整售，Model 3 起售價直降 3.6 萬元，Model Y 起售價直 2.9 萬元，兩車型其余本的降價度從 2 萬到 4.8 萬元不等，創(chuàng)下斯拉中國價歷史新。特斯拉外事務(wù)副裁陶琳表，特斯拉格調(diào)整的后，涵蓋無數(shù)工程新，從“一性原理發(fā)”，堅以成本定。以實際動響應(yīng)國號召，促經(jīng)濟發(fā)展釋放消費力。特斯公布的年產(chǎn)銷數(shù)據(jù)示，2022 年，特斯拉全年量為 136.96 萬輛，同增長 47%；全年交付量為 131.39 萬輛，同比增長 40%。雖然產(chǎn)量突破百萬大關(guān)但交付量離特斯拉 CEO 埃隆?馬斯在 2022 年年初定下的提 50% 的目標(biāo)仍差距?
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 5 日消息，Linux 游戲的 HDR?高動態(tài)范服山支持一直是?踢有解決的痛赤水問題，近日V 社的 Steam Deck 開發(fā)人員?Pierre-Loup Griffais 宣布帶來重鮨魚改進(jìn)，已為 Linux 游戲初步支史記了 HDR。Pierre-Loup Griffais 表示，《光環(huán)：無?！贰渡顜r銀飛鼠》《死亡擱鳳凰：導(dǎo)剪輯版》等游戲已苗龍持在 Linux 下開啟 HDR，不過仍有許多史記作要做，之才能面向廣苗龍玩家開放該麈。此外，已經(jīng)有游戲適蛇山開者曬出了實際的運行宣山，《亡擱淺：導(dǎo)演剪輯廆山》的 HDR 運行良好，從圖中可以猩猩到，彩色部水馬都是亮度大 100 尼特的。IT之家了解到，女尸幾款游戲都幽鴳面 Windows 平臺推出的，精衛(wèi)現(xiàn)在可順利大蜂行在 Linux 系統(tǒng)中，HDR 也能正常開啟螐渠V 社對 Steam Deck 的適配功不可沒龜山Linux 之父 Linus 也曾表示“Linux 桌面的未來在 V 社”灌灌
IT之家 1 月 9 日消息，據(jù)《點 Auto》報道，蔚資本將投資動車初創(chuàng)公至星數(shù)千萬元（種子輪。至星第一車將是售價到百萬元級的超高端 SUV，預(yù)計 2025 年發(fā)布，同步海外市場上。報道稱，來汽車創(chuàng)始、董事長李曾在內(nèi)部稱孵化該項目蔚來 “在細(xì)分市場的戰(zhàn)布局”。報稱，至星定高端智能電車品牌，聚探險、越野場，至星會蔚來的技術(shù)臺授權(quán)下進(jìn)專項研發(fā)，于蔚來 NT 3.0 平臺，同時支 800V 超快充、換兩種模式。一款車新車采用蔚來 NT 3.0 平臺，并在術(shù)平臺、供鏈、充電體等方面與蔚深度合作。NT 3.0 是蔚來的第代數(shù)字平臺包括電子電架構(gòu)、電控智能座艙和能駕駛技術(shù)，目前仍在發(fā)過程中，計 2024 年推出相關(guān)車型。IT之家了解到，并不是第一傳出蔚來將局百萬元級電動汽車，年 12 月車市物語就報道，蔚來百萬級豪車起進(jìn)攻，首車型對標(biāo)“巴赫 S 級”，這一消還得到了蔚內(nèi)部人士的認(rèn)。如果研進(jìn)度順利，車型最早將 2024 年上市發(fā)布在全球開啟售。蔚來此曾表示將會出一個面向眾的品牌，續(xù)有消息稱個大眾品牌命名為“阿卑斯”，聚中高端市場車型定價在 15 萬元到 30 萬元之間，計劃 2024 年建成投產(chǎn)。此之位，還消息稱蔚來在打造第三牌“螢火蟲，不過這個牌定位中低市場，面向 10 萬-20 萬元以下的歐洲市場
感謝IT之家網(wǎng)友 Savokiii、西南偏南、OLD_KING、旺仔北北、靜待繁華、kasiet、云浮千秋、航空先生、隨心遠(yuǎn)行""、派大星星、暗里有光、亞、 的線索投遞！IT之家 1 月 6 日消息，特斯拉今日除公布新 Model S 與 Model X 中國市場售價外，還宣布 Model 3 與 Model Y 迎來價格調(diào)整。其中，Model 3 后輪驅(qū)動版 22.99 萬元起售，Model Y 后輪驅(qū)動版 25.99 萬元起售。乘聯(lián)會數(shù)據(jù)顯示，2022 年特斯拉上海超級工廠全年交付超 71 萬輛，同比增長 48%。IT之家了解到，特斯拉稱 2023 年將向更高目標(biāo)發(fā)起沖刺。具體看，Model?3 包括后輪驅(qū)動版（起售價 22.99 萬元，此前補貼后起售價為 26.59 萬元）和高性能版（起售價從 34.99 萬元降至 32.99 萬元）兩款車型。Model?3 后輪驅(qū)動版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 556 公里，最高時速為 225 公里 / 時，百公里加速為 6.1 秒。Model?3 高性能版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 675 公里，最高時速為 261 公里 / 時，百公里加速為 3.3 秒。特斯拉 Model?Y 則包括后輪驅(qū)動版（起售價從 28.89 萬元降至 25.99 萬元）、長續(xù)航版（雙電機全輪驅(qū)動，起售從 35.79 萬元降至 30.99 萬元）、高性能版（雙電機全驅(qū)動，起售價從 39.79 萬元降至 35.99 萬元）三款車型。Model?Y 后輪驅(qū)動版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 545 公里，最高時速為 217 公里 / 時，百公里加速為 6.9 秒。Model?Y?長續(xù)航版（預(yù)計交付日：1-4 周）：CLTC 綜合工況續(xù)航里程為 660 公里，最高時速為 217 公里 / 時，百公里加速為 5.0 秒。Model?Y?高性能版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 615 公里，最高時速為 250 公里 / 時，百公里加速為 3.7 秒。相關(guān)閱讀：《特斯拉 Model S / X 中國市場售價公布：78.99 萬元起，可選配 Yoke 方向盤》
IT之家 1 月 10 日消息，去年 12 月，吉利旗下公司星紀(jì)族全資控股了魅族科技此前已公布?FlymeAuto 車機系統(tǒng)，魅族確定是要發(fā)力汽車端近日，有網(wǎng)友發(fā)現(xiàn)武漢家全新的魅族線下店在修，疑似之前魅族科技理副總裁萬志強提到的艦店，或?qū)⒋蛟祛愃迫A旗艦店形態(tài)的品牌旗艦驗店。根據(jù)網(wǎng)友放出的片，魅族的武漢旗艦店接盤下了一棟三層樓，來是一個不小的門面。擋還標(biāo)有 FlymeAuto 字樣，顯然與車相關(guān)，是否意味著魅族車要來了？IT之家此前報道，從萬志強曬出的計提案來看，全新魅族艦店有兩種基礎(chǔ)風(fēng)格，別是大理石經(jīng)典和金屬代風(fēng)，萬志強同時做起調(diào)研，詢問網(wǎng)友們更喜哪種外立面風(fēng)格。此外還可以在設(shè)計提案中看店內(nèi)醒目地預(yù)留了停放車的位置，因此可以確新的魅族旗艦店會銷售車。這個動作可以看出魅族未來會打造更多的下品牌體驗店，融合汽、手機、生活等產(chǎn)品生，拓展未來零售空間，消費者提供多終端全場沉浸式的產(chǎn)品融合體驗全新的魅族 20 系列預(yù)計也將在不久后發(fā)布官方宣稱發(fā)布時間為 2023 年春天，目前該手機已經(jīng)通過了國家質(zhì)認(rèn)證，型號為 BA381，額定電池容量 4600mAh（典型值 4700mAh），支持 80W 快充。該機還主打全場景融合體驗先鋒將搭載全新的高通第二驍龍 8 移動平臺，支持衛(wèi)星通訊技術(shù)?
IT之家 1 月 7 日消息，據(jù) OpenHarmony 發(fā)布，青軟創(chuàng)科技集團股有限公司（稱“青軟集”）研發(fā)的學(xué)產(chǎn)品 —— 青軟-翱翔開發(fā)板，近已通過 OpenAtom OpenHarmony（簡稱“OpenHarmony”）3.0.1 LTS 版本兼容性測評，頒 OpenHarmony 生態(tài)產(chǎn)品兼容性證書面向物聯(lián)網(wǎng)域，青軟集研發(fā)了青軟-翱翔開發(fā)板開發(fā)板芯片用 Hi3861V100，運行基于 OpenHarmony 3.0.1 LTS 的青軟 QLinkHOS 3.0 操作系統(tǒng)，系統(tǒng)支 ADC、DAC、IIC、PWM、SPI、UART、HDMI 等常用驅(qū)動的開發(fā)，板溫濕度傳感、光照紅外感器，搭載 OLED 顯示屏，支持 GPIO 外擴接口，具 NFC 碰一碰等功能青軟-翱翔開發(fā)板具備低本、靈活、效等特點，持在智能家、智慧生活城市交通、慧農(nóng)業(yè)等不領(lǐng)域應(yīng)用，入企業(yè)級項案例，真實原產(chǎn)業(yè)應(yīng)用景，為高校聯(lián)網(wǎng)相關(guān)專的教學(xué)實踐供支撐。IT之家了解到OpenHarmony 目標(biāo)是面向場景、全連、全智能時，基于開源方式，搭建能終端設(shè)備作系統(tǒng)的框和平臺，促萬物互聯(lián)產(chǎn)的繁榮發(fā)展兼容性測評統(tǒng)一生態(tài)建的關(guān)鍵一環(huán)保障開發(fā)板設(shè)備、軟件行版等 OpenHarmony 產(chǎn)品在統(tǒng)一技術(shù)座支持下的聯(lián)互通?
