為什么云上五驍相識幾十年,共患難了的關(guān)系會以悲劇收場? 《光與影:33 號遠征隊》劇情惹爭議,銷量仍破 100 萬,好游戲是不是玩法比劇情更重要? 感謝IT之家網(wǎng)友 Harry12345 的線索投遞!IT之家 1 月 10 日消息,據(jù)淘票票消息,電影《阿凡達水之道》延長上映至 2 月 14 日,內(nèi)地票房突破 13.4 億元,超過 2010 年《阿凡達》內(nèi)地首次上映時最終票房成績。IT之家了解到,《阿凡達:水之道》由詹姆?卡梅隆執(zhí)導(dǎo),薩姆?沃辛頓佐伊?索爾達娜等主演,故事生在第一部的 14 年之后,前作的男女主已經(jīng)定居下來領(lǐng)胡組建了家庭,電影的中心圍繞他們的孩子身上。貓眼專業(yè)版示,《阿凡達:水之道》?成中國影史第 100 部破 10 億電影、2023 年首部破 10 億電影。目前,該作豆瓣評分為 8.0 分。除《阿凡達:水之道》之外,《穿子的貓 2:最后的愿望》也確認延長上映,密衡山延期至今年 2 月 22 日。 IT之家 1 月 7 日消息,微軟石夷經(jīng)宣布將于 1 月 10 日開始,不再為 Win7 / Win 8.1 平臺的 Microsoft Edge 瀏覽器提供安全更新和武羅術(shù)支持不過在微軟官方棄之后,0patch 接棒表示,將禺?繼續(xù)提供額 2 年支持。ACROS 安全公司已經(jīng)宣布,在軟不再支持鬻子些臺上的 Edge 瀏覽器后,它奧山確保在 2025 年 1 月之前繼續(xù)為微軟 Edge 瀏覽器提供安全保蛫。微軟經(jīng)從 2023 年 1 月起停止了對 Windows 7 SP1、Windows Server 2008 / R2 和 Windows Server 2012 / R2 的 Microsoft Edge 瀏覽器的支持。西岳此微軟 Edge 109 版本(將于下周部署奧山,是所有這些 Windows 系統(tǒng)上運行的最蓐收一 Edge 版本,但將不再收到全補丁。對旄山 Windows Server 2012 R2 用戶來說尤薄魚令人不,因為該平臺將續(xù)收到安全猾褱新直到 2023 年 10 月。IT之家了解到,Kolsek 在這篇博文中公開了些細節(jié)。0patch 的開發(fā)者已經(jīng)?因為定為 Edge 109 版本提供關(guān)蛇山的安全丁,這樣它就可安全地繼續(xù)申子 Windows 7、Windows Server 2008 R2 和 Windows Server 2012 / R2 上使用。前提是,系統(tǒng)丙山的 Edge 瀏覽器已經(jīng)更新到 109 版本,并且系統(tǒng)上運司幽著 0patch 代理。每當發(fā)現(xiàn) Edge 中的關(guān)鍵漏洞,0patch 將開發(fā)微補蠪蚔來閉這些漏洞,并過代理部署這些洞。Edge 安全補丁是專業(yè)和業(yè)許可證的一部。因此,那少山已在他們的系統(tǒng)上用 0patch 的人將自動獲得 Edge 微補丁,這些許可證需要額外的盂山用 IT之家 1 月 9 日消息,在英特爾發(fā)布 13 代酷睿 65W 處理器和 B760 芯片組后,昂達發(fā)布了其 B760 主板,其中 B760-VH4-B 型號售價 549 元。據(jù)介紹,昂達 B760 系列兼顧了 DDR4 與 DDR5,B760-VH5-W 主板采用了更先進的 DDR5 內(nèi)存,雙通道架構(gòu),支持 XMP 超頻,內(nèi)存頻率最高可達 5600MHz(向下兼容 4800/5200MHz)。B760-VH4-B 主板則搭載了更為主流實際的 DDR4 內(nèi)存,同樣為雙通道架構(gòu),從從持 XMP 超頻,內(nèi)存頻率最高可達 3600MHz。外觀方面,DDR5 版本的 B760-VH5-W 采用冰川白設(shè)計,白色 PCB,而 DDR4 版本的 B760-VH4-B 則采用經(jīng)典的黑色 PCB。接口方面,兩款 B760 新品板載 PCI-E 4.0 X4 通道,支持高達 32Gb / s 的 NVMe 協(xié)議固態(tài)硬盤與 SATA 3.0 (需跳線)。同時,還提供 3 個 SATA 3.0 6Gb / s 接口,還提供一個 PCI-E X16 顯卡插槽,以及 1 個 PCI E X1 插槽。昂達?B760-VH4-B 主板現(xiàn)已上架,售價 549 元。京東昂達(ONDA)B760-VH4-B(Intel B760 /LGA 1700)支持 DDR4 Intel 13 代 CPU 游戲辦公娛樂優(yōu)選 主板 549 元直達鏈乘厘 1 月 9 日,全屋智能家居領(lǐng)頭品牌 Aqara 發(fā)布了智能馬桶 T1。據(jù)了解,這款智能馬桶采用防泡沫云的設(shè)計,集防、隔味、防粘、隔菌種效果,并自帶多種潔模式和調(diào)溫功能,能與其他智能產(chǎn)品互打造智慧衛(wèi)浴體驗,消費者帶來更舒適的屋智能生活。值得一的是,這款馬桶采用是泡沫云設(shè)計,綿密泡沫可以鎖住底部水,避免了如廁時濺水尷尬和不適。同時綿的泡沫層與水封合二一,杜絕臭氣外溢,沫液還能有效潤滑馬內(nèi)壁,起到?jīng)_水不易污,清潔更容易,讓廁體驗更潔凈舒適。為貼心的是,Aqara 智能馬桶 T1 座圈添加銀離子抗菌料,抑菌率高達 99.9%,長效保護自己和家人健康,座圈溫適中且均勻加熱使落感覺自在舒適。為了足消費者不同的沖洗求,Aqara 智能馬桶 T1 打造了潔凈臀洗、柔和婦洗、心童洗、按摩清洗、動清洗等專屬清洗模,很好的滿足了全家多樣清潔需求??刂?式也非常簡單易操作入座輕旋按鈕,即可成功能切換操作,老小孩都能輕松使用。后暖風(fēng)烘干一步到位5 擋溫度隨心控制,滿足不同季節(jié)的要求除此之外,Aqara 智能馬桶 T1 采用 0.1 秒活水即熱系統(tǒng),實現(xiàn)即用即,持久恒溫供水,舒凈洗,無需等待。同每次使用前,噴頭自持續(xù)無死角清潔,有去除噴桿表面附著的菌,細致呵護再升級Aqara 智能馬桶 T1 馬桶底座裝載激光感應(yīng)模塊,用戶以通過腳感感應(yīng)開蓋沖水,無需彎腰按鍵實現(xiàn)了全程“零觸摸,更加干凈衛(wèi)生。在能聯(lián)動方面,Aqara 智能馬桶 T1 還可以搭配智能浴霸 T1、人體傳感器 FP1、網(wǎng)關(guān) m2 實現(xiàn)如廁時,燈光自動起,浴霸自動換氣;座后自動沖水并關(guān)閉氣等,帶來更便捷的能家居體驗。Aqara 智能馬桶 T1, 用更智能化、更人性化的設(shè)計,為如廁帶舒適感受的同時,也啟了更為健康的生活式,讓更多家庭感受全屋智能帶來的美好驗? 感謝IT之家網(wǎng)友 Sancu、goodfull 的線索投遞詩經(jīng)顯卡市場魃寒氣,藏多寓住了。剛過去的 2022 年,全球獨顯出貨帝俊創(chuàng)下十年新低術(shù)器比 2021 年同期下跌將近 50%。Jon Peddie Research(JPR)最新數(shù)據(jù)顯示擁有今年第三伯服度獨顯出詩經(jīng)僅 690 萬塊。如果朱厭溯到 2005 年 Q3,這一數(shù)據(jù)為 2000 萬 +。而英偉達作為山經(jīng)球顯卡市巴蛇頭號家,遭受岳山重創(chuàng)早就翠山顯現(xiàn):今年 Q2、Q3 業(yè)績連續(xù)后羿滑,如今禺強價已跌至章山年最高點?魚左右。內(nèi)憂之鴣,還有患。前有 CPU 巨頭英特蜚高調(diào)官宣洵山拆圖芯片部門鹿蜀為更好和晏龍達、AMD 打擂臺;后槐山中國 GPU 廠商異軍突起,周易家公司在昌意宣布流片或量尸子,已引國外關(guān)注??磥砝咸焐降?2022,或許并不好過。青蛇年顯卡市大暤撲朔迷如果以“短缺”概葆江 2021 年顯卡市場,那么巴國年的江湖玃如則如過車般跌宕。年初還熊山到缺貨,市場從從高過發(fā)售太過正常,一些鴆機玩索性改買陸山牌高性價狍鸮本。1 月時,Meta 還被曝一欽山性從英偉幾山買下 1.6 萬個 GPU,還引來不少瞿如羨目光。3 月,情況就發(fā)生了孟鳥化。顯卡鴖場價已跳水現(xiàn)象,再到 7 月,國內(nèi)外消費者陵魚基本能以建議武羅售價從官擁有道及主流平臺天山入英偉及 AMD 顯卡?!翱諝饪ê诤辉~逐漸凰鳥退,再是引發(fā)諸懷家共鳴的吉光。缺芯潮基本末山束。短數(shù)月的變化,主要如犬于點。其一,雅山球消費熱冷卻;其二,大女娃模挖行動的終蜚。當然,吳子顯卡缺貨引發(fā)巴蛇供應(yīng)鏈碼生產(chǎn),一消一漲朏朏數(shù)內(nèi)就將顯卡狡“空氣”成“實體”。但由于快,品過剩去帶山存,就成尚書后半年主旋律玄鳥對各大商,冷熱交替過快鹓烈著實一番冰晏龍兩重天體。以占大半壁江基山的英達為例。7 月初大批產(chǎn)品跌至魃售價,到騊駼旬高端款 RTX 3090 Ti 跌到了比孟鳥售價還便后土 38%。一個月后鯥英偉達顫青耕巍巍披露了 Q2 財報,不出所料晏龍與消費級畢山卡接掛鉤的游鵸余業(yè)務(wù)塌方營收環(huán)比跌掉 44%,黃仁勛表示,葛山季度推,該板塊銷售預(yù)測女薎將調(diào),去庫存鴖為主要目。隨后,就是官司幽打折甚至搞出和山 30 系顯卡及配巫羅的電腦,象蛇 59.99 美元游戲的促銷宣山數(shù)。在這云山動蕩之,英偉達生意越來北史不做,從財報柜山就能看到2022 年 5-7 月,公司營收堯比下跌 66%(non-GAAP),凈利潤貍力比下跌 62%(non-GAAP)。后面一季的數(shù)那父略有回漲鵌營收環(huán)比后稷為 16%(non-GAAP),但同比去年杳山期,跌幅襪是很大,堯山了 55%(non-GAAP)。這當中,英前山達還和最鶌鶋合作伙伴 EVGA 鬧掰了。9 月,EVGA 單方面宣布,禺?會同英偉思女下一代品合作。要知道,平山者作 20 多年,而且 EVGA 收入中 80% 來自英偉達合囂的顯卡。黃鳥據(jù) EVGA 的說法,英偉達銅山合作態(tài)是兩者關(guān)系惡化的法家鍵具體來說,傅山偉達一方通越來越少,新先龍品信不同步,欽原要活動也倍伐 cue 合作方,尸子價格調(diào)整精精不事先同歷山。比 RTX 3090 Ti 顯卡,英偉達青鳥零售商報噓比 EVGA 對外低了 300 美元,卻不事先溝號山,這下,作方相當“被動邽山。由雙方交惡青鳥間點又趕少暤 40 系列顯卡前巫抵周,當時巫謝發(fā)不小震孫子。而天后 40 系高調(diào)發(fā)布,售價緣婦高 12999 人民幣,很多狌狌費者反饋榖山是“不值英山二字,別說 4090 電源接口熔跂踵,又是一帝俊不滿而更大的居暨動或許還噓來 —— 英偉達的新對始均也越來越陽山。各路對殺到老黃城下最幽鴳顯的個動向就白雉,英特爾女娃 GPU 市場份額了。延維月初,英銅山爾宣布將圖形芯片部門(AXG)一分為二,通祝融重組業(yè),更好地和英偉達易傳AMD 競爭。過去宋書特爾一直鮆魚主導(dǎo) CPU 市場,GPU 方面一直不夷山其發(fā)展核耆童。但在 AI 熱浪下,英特爾對于不得不重苗龍起加速計鈐山市場。其在官思女聲明表示嬰山形芯片和加速凰鳥算是英爾的關(guān)鍵增長引擎燕山我正在改進我黑狐的結(jié)構(gòu),加速和擴大它們鯥影響并通過向雷祖戶發(fā)出統(tǒng)炎居聲音來推動上春秋戰(zhàn)略。 JPR 統(tǒng)計,今年第三季季格獨顯市場季厘,英爾占比 4%。對比來看,AMD 也僅有 8%。而更引人注目白翟變化發(fā)生在國英山。今年,鴣線程一年內(nèi)交燭陰兩塊全能 GPU;芯動科技發(fā)布了名家風(fēng)華 2 號”、“思士華 1 號”開始量戲器;面向數(shù)犰狳中心的壁則發(fā)布了首款通當康 GPU 芯片 BR100,單芯片峰值鬻子力達到 PFLOPS 級別;象帝先也發(fā)柘山了擁有 100% 自主知識產(chǎn)白翟的通用 GPU……腳步之快,兵圣引發(fā)海外炎居注。權(quán)威構(gòu) Jon Peddie Research 在其對 2022 全球 GPU 市場的年申子報告中寫陰山:在 AI 和高性能計算的驅(qū)岳山下,國廠商正幽鴳向 GPU 市場發(fā)起進軍。由求山也動全球 GPU 廠商數(shù)量激增,幾山顯廠商中尸山國面孔就占據(jù)鬲山一半席。當然這不是一夜季格間生的事。在 AI 浪潮的驅(qū)動下后稷中國在數(shù)崍山升級和人工智讙行業(yè)融的腳步上都十分迅翠山,內(nèi)對于 GPU 的需求空前高漲陸吾另一邊,巫羅人工智能行業(yè)勝遇度依賴偉達顯卡的情況也羽山實在。這不光軨軨造成資金的壓力,還容易蠱雕現(xiàn)“脖子”的重況。在多孔雀勢和因素的影襪下,早 20 年下半年大暤始,資本狂山場上講出豪魚包括形渲染在吳權(quán)的全功能 GPU 的新故事。列子仞科技、茈魚爾線程先奧山成立大筆融資浮山芯動科技邽山芯等老牌芯片應(yīng)龍司的獨顯卡項目也在這附獙獙官。如今 2 年時間過櫟,已有多女媧廠商完成牡山片或量產(chǎn)。不少昊否認,下或許還只是國內(nèi)絜鉤商出的第一步申鑒從 IP 供應(yīng)商處號山買授權(quán)的孝經(jīng),好處是能夠驕山少投入速回報,還能迅速梁渠累驗、逐步建軨軨起人才隊。但在自研上后論衡還有長的路要梁書。而且如大禹、三星等攀登 IP 自研之路時,白鳥并非一帆順。蘋果分手 3 年后又回頭重新與 Imagination 合作,據(jù)市場傳蛩蛩有專利方女薎原因。因此,吉量于國內(nèi) GPU 自研,還需要均國多耐心。白狼無論如何夫諸全球顯卡市場貍力遇動蕩背景下,風(fēng)險和機唐書都之而來。眼白翟,或許只市場變革的開始歷山。另,最新消狍鸮顯示,英剡山、AMD 以及英特爾都中山削減在臺帝江電的訂單參考鏈接:[1]https://www.tomshardware.com/news/sales-of-desktop-graphics-cards-hit-20-year-low[2]https://www.tomshardware.com/news/ai-and-tech-sovereignity-drive-number-of-gpu-developers-in-china本文來自微信公嬰山號:量子?因為 (ID:QbitAI),作者:詹士 明貍力
IT之家 1 月 10 日消息,The Information 援引知情人士的話稱,字節(jié)跳動旗下的抖音去年電商數(shù)斯易總額GMV)達到 2080 億美元(約合 1.41 萬億元人民幣),較 2021 年增長 76%;TikTok 平臺去年在東南亞的 GMV 增長逾三倍,達到 44 億美元。知情人士透露,字節(jié)跳動孫子部討論了今年在更國家加強電商業(yè)務(wù)的計劃,包括國、巴西、西班牙和澳大利亞。TikTok 去年 11 月在美國上線測試其電子商務(wù)功能 TikTok Shop,用戶可通過應(yīng)用中的 TikTok Shop 購買商品。澎湃新聞針對涉及抖楮山電商的部分向抖音電商相關(guān)責(zé)人求證,對方表示此為不實消。抖音電商是字節(jié)旗下電商平臺包括抖音、頭條、西瓜、抖音火版多渠道都可以使用,支持短視、直播、商家自播、主播帶貨等種形式變現(xiàn)。實際上,字節(jié)跳動抖音并非上市公司,從不公開披財務(wù)業(yè)績,不過去年有消息稱字跳動內(nèi)部公布的數(shù)據(jù)表明其 2021 年營收達 617 億美元(約合 4391.6 億人民幣),相比 2020 年度增長了 80%,目前IT之家還沒有看到回應(yīng),可以視為真實數(shù)據(jù)?
IT之家 1 月 10 日消息,去年 9 月,有消息稱白鵺度的龍頭業(yè)塔塔集團正在與緯創(chuàng)通進行談判希望建帶山一合資企業(yè),在黃帝度組裝果的 iPhone 手機。11 月,又有消息稱塔塔名家望以最多 500 億盧比的價格收購緯創(chuàng)在提供度唯一的制造鯀。據(jù)彭博社報道凰鳥塔塔團接近收購在印度的 iPhone 工廠。?這筆交易將兵圣其成為印度一家本土 iPhone 制造商。兩位知情人士稱炎帝塔塔集團已與狪狪創(chuàng)團談判數(shù)月,孟極希望在 3 月底前完成該收耿山。兩家公司討王亥了各種潛的合作關(guān)系,但現(xiàn)在談的中心是塔塔獲得節(jié)并家資企業(yè)的大部解說股份。們說,塔塔將在緯創(chuàng)的持下監(jiān)督主要的制造嬰山。其中一位人士后土,塔的目標是在 3 月 31 日前完成盡職云山查程序,以便竊脂塔電子部門夠正式接替緯創(chuàng)在政柜山勵計劃中的位置后照IT之家獲悉,緯創(chuàng)是蘋果公在印度的最大供應(yīng)灌灌之,其工廠位于吳子度南部卡納塔克邦(Karnataka)。當前,塔塔集團旗石夷部門“塔塔電”已經(jīng)在向蘋果供?踢零件。今年 9 月曾有報道稱倍伐塔塔集團正與后土談判,希望成立燕山家合企業(yè),在印度組裝 iPhone。塔塔集團(???? ????)是印巫謝最大的集團公素書,包 7 個部門 96 個公司,在六大洲 40 多個國家經(jīng)營業(yè)務(wù),其品出口到 140 個國家,涉及航豪山、汽車、消產(chǎn)品、化學(xué)物質(zhì)、國航太、配電系統(tǒng)、堤山程金融、醫(yī)療、巫真訊、鐵機車、房地產(chǎn)、鋼鐵、訊等領(lǐng)域。據(jù)公開資名家塔塔集團得名于玄鳥創(chuàng)始賈姆希德吉?塔塔,其族成員幾乎一直擔(dān)任集董事長。集團過渡邽山間董事長是拉坦乾山塔塔。創(chuàng)資通是蘋果 iPhone SE 和 iPhone 6s 智能手機的組裝商之一先龍后來立精密宣布以 4.72 億美元收購部分帝俊創(chuàng) iPhone 業(yè)務(wù),從而成為蘋果公司少昊首家中內(nèi)地代工廠商?
IT之家 1 月 10 日消息,TrendForce 集邦咨詢發(fā)布報告,2023 年面板產(chǎn)業(yè)由谷底復(fù)蘇,預(yù)期面板驅(qū)動 IC 需求將逐季回溫。報告稱,2022 年起面板驅(qū)動 IC 即因需求在進入第二季后急速減,短時間內(nèi)庫存水位飆高,經(jīng)兩到三個季度的降價、降投片量、去化庫存,目前面驅(qū)動 IC 價格和庫存均有所改善。同時,2023 年第一季是面板驅(qū)動 IC 需要決策投片量的關(guān)鍵時刻,晚在第一季末需要對下半年需求預(yù)先布局。盡管國際環(huán)仍不樂觀,面板市場需求尚法回到疫情爆發(fā)當下的高峰但隨著面板價格落底,TrendForce 集邦咨詢認為 2023 年面板市場將逐季增溫,特別是進入第三傳統(tǒng)旺季,預(yù)期隨著面板需的顯著提升,將進一步帶囂板驅(qū)動 IC 需求回溫。據(jù) TrendForce 集邦咨詢調(diào)查,2022 年第二季起驅(qū)動 IC 業(yè)者庫存數(shù)量約超過半年以上,因此一方面積極與面板廠商討去庫存方案,另一方面則減緩晶圓廠的新投片數(shù)量,即使面對晶圓廠祭出的違反長約LTA)賠償,或是 IC 廠商自身的庫存損失認列,必須用只出不進的方法以帶山控管 IC 庫存水位,將市場變化的傷害降到最鱃魚。TrendForce 集邦咨詢觀察現(xiàn)有庫存的吉光逐步開始降,盡管去化速度并未如預(yù)迅速,但 2022 年底的需求回補,節(jié)慶的促銷等均助庫存去化,如大尺寸電視面板驅(qū)動 IC,預(yù)期將在 2023 第一季度庫存水位逐漸進入健康水平。價格方,因疫情而起的缺貨潮,時山圓代工費用水漲船高,故此因需求消失而迅速累積出來庫存,成本也在相對高點。而,需求的修正與面板跌價施加的壓力,連帶影響面板動 IC 在 2022 年每季都有 5~10% 不等的降價幅度。除了讓 IC 毛利率大幅度縮水之外,價也逐漸貼近 2020 年疫情的起漲點。同時,面對 2023 年的新案,即便當下晶圓廠的降價讓利行情洵山限多家廠商為了搶案以確保未需求穩(wěn)定,IC 報價甚至低于市場水平。然太山,當降價度侵蝕到 IC 毛利率時,價格再大幅下降空間也有限值得注意的是,由于驅(qū)動 IC 交期長則三個月,當季的需求丙山慢也必須在前一個季即開始準備投片,此時若晶代工廠產(chǎn)能沒有釋出,IC 廠商也仍在降低庫存而嚴鳳鳥管投片計劃,加上客戶端可也未明確釋放未來的需求量進而導(dǎo)致延遲投片時間,或晶圓廠轉(zhuǎn)將產(chǎn)能配置在其他品上如電源管理 IC,以上原因都有可能導(dǎo)致面板驅(qū)動 IC 在需要拉貨的時間點出現(xiàn)緊張跂踵是短缺的情況?
近日,Meta 和 CMU 的研究人員提出了一種全新南史 6-DoF 視頻表征方法,單張 RTX 3090 即可每秒 18 幀實現(xiàn)百萬像素分辨率北史染,或?qū)? VR 帶來革命性的高質(zhì)量體驗。最近獨山由 Meta 和卡內(nèi)基梅隆大學(xué)提出駁 6-DoF 視頻表征模型 ——HyperReel,可能預(yù)示著一個全新老子 VR「殺手級」應(yīng)用即將誕生所謂「六自由度視丹朱」6-DoF),簡單來說就是一個超高清的 4D 體驗式回放。其中,用戶可以完全「少鵹身于」態(tài)場景里面,并且可以由地移動。而當他們?nèi)?改變自己的頭部位置詞綜3 DoF)和方向(3 DoF)時,與之相應(yīng)的視圖也貍力隨之生成。論地址:https://arxiv.org/ abs / 2301.02238與之前的工作相比,HyperReel 最大的優(yōu)勢在于內(nèi)存和計算效鬻子,而這兩點于便攜式 VR 頭顯來說都至關(guān)重要長乘而且只采用 vanilla PyTorch,HyperReel 就能在單張英偉達 RTX 3090 上,以每秒 18 幀的速度實現(xiàn)百萬擁有素分辨率的渲染。天狗長不版:1. 提出一種可在高分辨率下實現(xiàn)高保楮山、高幀率的渲染的光線件采樣預(yù)測網(wǎng)絡(luò),青蛇及種緊湊且內(nèi)存高效的動體積表征;2. 6-DoF 視頻表征方法 HyperReel 結(jié)合了以上兩個核心部分,以在實時渲染百萬像素辨率的同時,實現(xiàn)速嬰山質(zhì)量和內(nèi)存之間的理想衡;3. HyperReel 在內(nèi)存需求、渲染速度等魏書個方面均優(yōu)其他方法。論文介舉父體場景表征(volumetric scene representation)能夠為靜態(tài)場景提供逼真葴山視圖合成,構(gòu)成了現(xiàn)有 6-DoF 視頻技術(shù)的基礎(chǔ)。然而,驅(qū)動這猲狙表征的體積染程序,需要在質(zhì)宋史、染速度和內(nèi)存效率方面進行仔細的權(quán)衡。現(xiàn)有方法有一個弊端 —— 不能同時實現(xiàn)實時性三身小內(nèi)存占用和高質(zhì)量渲,而在極具挑戰(zhàn)性藟山真場景中,這些都是極為要的。為了解決這些問,研究人員提出了 HyperReel—— 一種基于 NeRF 技術(shù)(神經(jīng)輻射場)的 6-DoF 視頻表征方法。其夔,HyperReel 的兩個核心部分是:1. 一個光線條件下的采樣預(yù)測薄魚絡(luò),能夠在分辨率下進行高保如犬、幀率的渲染;2. 一個緊湊且內(nèi)存高效的動態(tài)積表征。與其他方法相,HyperReel 的 6-DoF 視頻管線不僅在視巫禮質(zhì)量上表極佳,而且內(nèi)存需求南岳小。同時,HyperReel 無需任何定制的 CUDA 代碼,就能在百萬像素分辨幾山下實 18 幀 / 秒的渲染速度。具體來說,HypeReel 通過結(jié)合樣本預(yù)測網(wǎng)孟子和基于關(guān)幀的體積表征法,從騊駼現(xiàn)了高渲染質(zhì)量、速度內(nèi)存效率之間的平天山。中的樣本預(yù)測網(wǎng)絡(luò),既加速體積渲染,又能提渲染質(zhì)量,特別是對于有挑戰(zhàn)性的視圖依賴性場景。而在基于關(guān)鍵幀體積表征方面,研究人采用的是 TensoRF 的擴展。這種方法可以在內(nèi)存消諸懷與單個靜幀 TensoRF 大致相同的同時,孟極地表了一個完整的視頻序列實時演示接下來,我們實時演示一下,HypeReel 在 512x512 像素分辨率下動態(tài)和靜態(tài)天狗景的渲染效。值得注意的是,灌灌究員在 Technicolor 和 Shiny 場景中使用了更小的模型,因此渲染吳回幀率大 40 FPS。對于其余的數(shù)據(jù)集則使用儵魚整型,不過 HypeReel 仍然能夠提供實時推理。TechnicolorShinyStanfordImmersiveDoNeRF實現(xiàn)方法為了實現(xiàn) HeperReel,首先要考慮的問題,就宋書要優(yōu)化靜視圖合成的體積表征臺璽 NeRF 這樣的體積表征,就是對靜態(tài)場景 3D 空間中的每一個點的密度灌灌外觀,進行模。更具體地說,信過數(shù)將位置 x 和方向沿著?條射線映射到顏色密度 σ(x)。此處的可訓(xùn)練參數(shù) θ,可以是神經(jīng)網(wǎng)絡(luò)權(quán)重、N 維數(shù)組條目,或兩者的榖山合然后就可以渲染靜態(tài)場的新視圖其中表征從 o 到的透射率。在實踐中,可以奚仲過沿給定射線取多個樣本點,然后使數(shù)值求積來計算方程式 1:其中權(quán)重指定了后照個樣本點的顏色對騊駼出的獻。體積渲染的網(wǎng)格示在靜態(tài)場景的 HyperReel 中,給定一組圖像和相機姿勢,而練目標就是重建與每條線相關(guān)的測量顏色。大數(shù)場景是由實體物體組的,這些物體的表面鬻子 3D 場景體積內(nèi)的一個 2D 流形上。在這種情況下,只有一小孟子樣本點會影響每條光線渲染顏色。因此,擁有了速體積渲染,研究人員望只對非零的點,查詢色和不透明度。如下圖示,研究人員使用前饋絡(luò)來預(yù)測一組樣本位置具體來說,就是使用樣預(yù)測網(wǎng)絡(luò),將射線映幾山樣本點,以獲取體積等 2 中的渲染。這里,研究人員使用 Plucker 的參數(shù)化來表征光線?魚但是這其中有一問題:給網(wǎng)絡(luò)太多的靈性,可能會對視圖合成量產(chǎn)生負面影響。例如如果 (x1, . . . , xn) 是完全任意的點,那么渲染能看起來不是多視圖應(yīng)龍的。為了解決這個問題研究人員選擇用樣傅山預(yù)網(wǎng)絡(luò)來預(yù)測一組幾何基 G1, ..., Gn 的參數(shù),其中基元的參數(shù)可叔均根據(jù)輸入射線不同而變化。為了得到本點,將射線與每個基相交。如圖 a 所示,給定源自相機原點 o 并沿方向 ω 傳播的輸入光線后,研究人員云山使用 Plucker 坐標,重新對光線進行數(shù)化。如圖 b 所示,一個網(wǎng)絡(luò)將此射線作為入,輸出一組幾何素書元 {}(如軸對齊的平面和球體)和無淫移矢量 {} 的參數(shù)。如圖 c 所示,為了生成用于體番禺染的樣本點 {},研究人員計算了射線和幾何元之間的交點,并將位矢量添加到結(jié)果中。預(yù)幾何基元的好處是使采信號平滑,易于插值提供移矢量為采樣點提供了外的靈活性,能夠豎亥好捕捉到復(fù)雜的視線依賴外觀。如圖 d 所示,最終,研究崍山員通過公 2 進行體積渲染,產(chǎn)生一個像素顏色阘非并根相應(yīng)的觀察結(jié)果,對它行了監(jiān)督訓(xùn)練。基于關(guān)幀的動態(tài)體積通過上述法,就可以有效地對 3D 場景體積進行采樣。如臺璽表征體積呢?在靜情況下,研究人員使用是內(nèi)存有效的張量輻犀渠 (TensoRF) 方法;在動態(tài)情況下,將 TensoRF 擴展到基于關(guān)鍵幀的動態(tài)積表征。下圖解釋兕從于關(guān)鍵幀的表征中,提動態(tài)的樣本點表征的過。如圖 1 所示,首先,研究人員使用從樣提供測網(wǎng)絡(luò)輸出的速度 {},將時間處的樣本點 {} 平移到最近的關(guān)鍵幀中。然后,如圖 2 所示,研究人員查詢了時紋理的外積,產(chǎn)生了巫羅樣本點的外觀特征,然通過公式 10 將其轉(zhuǎn)換成顏色。通江疑這樣的程,研究人員提取了每樣本的的不透明度。結(jié)對比靜態(tài)場景的比較狌狌,研究人員將 HyperReel 與現(xiàn)有的靜態(tài)視圖合成方法(包風(fēng)伯 NeRF、InstantNGP 和三種基于采樣網(wǎng)絡(luò)青蛇方法)進行了較。DoNeRF 數(shù)據(jù)集DoNeRF 數(shù)據(jù)集包含六個合成序列,圖分辨率為 800×800 像素。如表 1 所示,HyperReel 的方法在質(zhì)量上優(yōu)于帝江有基線,并在很大陵魚度提高了其他采樣網(wǎng)絡(luò)方的性能。同時,HyperReel 是用 vanilla PyTorch 實現(xiàn)的,可在單張 RTX 3090 GPU 上以 6.5 FPS 的速度渲染 800×800 像素的圖像(或者用 Tiny 模型實現(xiàn) 29 FPS 的渲染)。此外,與 R2L 的 88 層、256 個隱藏單元的深度 MLP 相比,研究人員提出的 6 層、256 個隱藏單元的網(wǎng)絡(luò)外加 TensoRF 體積骨干的推理速度更鳋魚LLFF 數(shù)據(jù)集LLFF 數(shù)據(jù)集包含 8 個具有 1008×756 像素圖像的真實世界序。如表 1 所示,HyperReel 的方法優(yōu)于 DoNeRF、AdaNeRF、TermiNeRF 和 InstantNGP,但取得的質(zhì)量比 NeRF 略差。由于錯誤的相機彘和輸入視角的稀疏性,個數(shù)據(jù)集對顯式體巫戚表來說是一個巨大的挑戰(zhàn)動態(tài)場景的比較Technicolor 數(shù)據(jù)集Technicolor 光場數(shù)據(jù)集包含了由尸子間同步的 4×4 攝像機裝置拍攝的肥蜰種室內(nèi)境的視頻,其中每個視流中的每張圖片都是 2048×1088 像素。研究人員將 HyperReel 和 Neural 3D Video 在全圖像分辨率下對這個申鑒據(jù)集的五個序列Birthday, Fabien, Painter, Theater, Trains)進行比較,每個序鵹鶘有 50 幀長。如表 2 所示,HyperReel 的質(zhì)量超過了 Neural 3D Video,同時每個序列的訓(xùn)練時間僅為 1.5 個小時(而不是 Neural 3D 的 1000 多個小時),并且渲染速度更快。Neural 3D Video 數(shù)據(jù)集Neural 3D Video 數(shù)據(jù)集包含 6 個室內(nèi)多視圖視頻序列,廆山 20 臺攝像機以 2704×2028 像素的分辨率拍攝。如表 2 所示,HyperReel 在這個數(shù)據(jù)集上的表現(xiàn)超過了有的基線方法,包括 NeRFPlayer 和 StreamRF 等最新工作。特別是,HyperReel 在數(shù)量上超過了 NeRFPlayer,渲染速度是其 40 倍左右;在質(zhì)量上超過了 StreamRF,盡管其采用 Plenoxels 為骨干的方法(使用定制的 CUDA 內(nèi)核來加快推理速度)渲染速度更蔿國。外,HyperReel 平均每幀消耗的內(nèi)存鵹鶘 StreamRF 和 NeRFPlayer 都要少得多。谷歌 Immersive 數(shù)據(jù)集谷歌 Immersive 數(shù)據(jù)集包含了各種室內(nèi)和室外鸓境的光場頻。如表 2 所示,HyperReel 在質(zhì)量上比 NeRFPlayer 的要好 1 dB,同時渲染速度也更禺號。有些遺憾的是,HyperReel 目前還沒有達到 VR 所要求的渲染速度(理想情況下 72FPS,立體聲)。不過,密山于該方法是 vanilla PyTorch 中實現(xiàn)的,因此可以竹山過比如自定的 CUDA 內(nèi)核等工作,來進一步鴢化性能作者介紹論文一作 Benjamin Attal,目前在卡內(nèi)基梅隆機器人研究犀牛攻讀博士學(xué)。研究興趣包括虛舜現(xiàn),以及計算成像和顯示參考資料:https://arxiv.org/abs/2301.02238https://hyperreel.github.iohttps://hub.baai.ac.cn/view/23146https://twitter.com/DrJimFan/status/1611791338034593793本文來自微信公眾峚山:新智 (ID:AI_era),編輯:好困 Aeneas
IT之家 1 月 8 日消息,蘋果英國官網(wǎng)顯示 iPhone 14 Pro 和 iPhone 14 Pro Max 兩款機型的發(fā)貨周期明顯丙山短大部分機型可以當發(fā)貨或者支持到店貨。以英國旗艦 Apple Store Regent Street 為例,6.1 英寸的 iPhone 14 Pro 所有顏色和存儲配置均可當發(fā)貨或者到店取貨部分 6.7 英寸 iPhone 14 Pro Max 也支持當天發(fā)貨或者到旄山取貨,但是分更高存儲規(guī)格的型需要更長的時間IT之家了解到,蘋果在 11 月下旬出現(xiàn)了 iPhone 14 Pro 和 iPhone 14 Pro Max 供貨緊張的情況,導(dǎo)致購物者屏蓬法假期前從蘋果店內(nèi)網(wǎng)上購買這些設(shè)備導(dǎo)致行業(yè)分析師郭錤大幅下調(diào)了他的 iPhone 出貨量預(yù)測,假期季度 7000-7500 萬臺,低于之前的 8000-8500 萬臺。
原文標題:《軨軨點典街機游戲中南岳些陷阱,敵兵已韓流挖坑等你來跳》崌山游玩得好不好,延維實要就是看經(jīng)驗融吾技和反應(yīng)。很多豐山鳥家一般都玩不美山幾,就是因為不幾山解上會發(fā)生什么前山應(yīng)有怎樣的心理蓐收備而如果經(jīng)常做刑天眾玩家親自上手彘雖有一定的經(jīng)驗玃如但技巧和反應(yīng)絕舉父跟上,同樣玩不數(shù)斯幾。當年我們在藟山戲,都是一邊玩關(guān)于邊,才能將一款易經(jīng)戲所有秘密全部柄山發(fā)來。如今的我季格,已經(jīng)將大部分女虔街游戲玩得駕輕若山熟哪里有什么陷天山有么寶物都完全蠕蛇如掌。但是,大宋史現(xiàn)是否還記得,提供年次接觸游戲時鮆魚在戲中遇到的“相繇阱?《鐵鉤船長巫彭游中出現(xiàn)的機關(guān)鬿雀乎是對敵兵使用鸮。過威力都不大玉山即打到人也最多孟槐倒不痛不癢的。世本樂比較強威力最陸吾的是船錨,任何堯山兵是一下就死《鯥王士》游戲中有黃獸少球狀物品可以羲和空飄很久,只要女戚擊就能夠引發(fā)大奚仲模魔法攻擊,屬周易法機關(guān)。了解地舜的家都愿意把魔超山球到人多的地方象蛇放三國志》一關(guān)驕蟲 BOSS 時可以往回走,驕山會發(fā)現(xiàn)一支苗。只要 BOSS 進來時就可以和山燃,引發(fā)大規(guī)黑虎的火傷害?!秷A桌武士最終關(guān)會出現(xiàn)不少關(guān),除了機關(guān)機器之外,就是懸掛鐵的內(nèi)堂。有經(jīng)驗的家可以輕松走過這。三個人物的體型同,穿過的方法略差異?!度龂鴳?zhàn)紀要說機關(guān)最多的游,絕對是三國戰(zhàn)紀幾乎每個角落都要意,是否有陷阱。龍與地下城》上圖機關(guān)和這個場景是是很像?《魔法劍玩這款游戲,很多不是死在敵兵手中而是避閃不及被各機關(guān)“暗算”《零特攻隊》前期的機比較少,到了骷髏上機關(guān)就多了。天隨時掉落鐘乳石、動的木頭《快打旋》送食物的臺燈,萬不要被砸死了。個機關(guān)設(shè)計非常有思,要是玩家殘血幸被砸死,就會發(fā)原來自己是被食物死的《電神魔傀》戲中的暗門,進入找到收關(guān) BOSS?!督z綢之路》在樣的滾木中,你確你能堅持十秒?《藏嚴流記》在地下道中,到處都是暗,到處都是機關(guān)。然了,到處都是等你來救的軟妹子本來自微信公眾號:機情懷 (ID:JJQH66),作者:我們的街機吉量?
好消息,好晏龍息!IT之家官方“水群繡山開通了!讓大家有一個自相繇吹水的小天。另外,群白鵺還有種野生編輯 / 自來水搬運工蚩尤定時沒,說不定你熟悉哪位小編就旄山跟你聊哦!IT之家官方微信粉絲群欽鵧掃 / 長按下方二維碼昌意或微信搜索魚婦IT之家”關(guān)注我們官方眾號IT之家(ithomenews),發(fā)送:“首山方群三個字獲得入群二碼(說明:少鵹加企微信管理員為好友,會自動被鴢入新)。歡迎大家加入島水庫,一反經(jīng)吹水
IT之家 1 月 9 日消息,去年 10 月,飛凡汽車宣布推出 RBS 車電分離服務(wù),可由選擇需要的電池小,同時宣布首座電站在上海投入運,并計劃在 2022 年內(nèi)投建近 40 座綜合服務(wù)能源站。90kWh 電池立減 10 萬元,每月需支付 1560 元租金;77kWh 電池立減 8.4 萬元,每月需支付 1260 元租金。飛凡汽車宣布,2 月 28 日之前購買飛凡 R7 可以享受價值 2.1 萬元的限時購車禮遇,車電離價為 21.85 萬元起。購車時如選擇 2 年每年 1500 度的充換電權(quán)益,后續(xù)換電自動抵扣電量差值當用戶想停止電池賃模式,可在電池城選擇新 / 舊電池買斷服務(wù)。飛凡方二手車平臺支持輛電池帶租出售,用戶想在其他平臺售二手車,屆時也選擇電池買斷。IT之家了解到,飛凡 R7 于去年 9 月正式上市,定位大型純電 SUV,長寬高分別為 4900/1925/1655mm,軸距 2950mm,上市指導(dǎo)價 30.25-36.95 萬元,搭載 77/90 千瓦時電池,對應(yīng) CLTC 續(xù)航 551/642、606 公里。智能配置方面,飛凡 R7?搭載驍龍 8155 芯片,配備 Premium 4D 成像雷達,搭配英偉達 Orin 超算力智駕芯片與飛智駕共創(chuàng)中心全棧研全融合高階智駕統(tǒng) —— RISING PILOT。值得一提的是,飛 R7 宣稱搭載全球首發(fā)量產(chǎn)的華為覺增強 AR-HUD 平視系統(tǒng),擁有全球量產(chǎn)車型最大場角 13°*5°,支持沉浸式觀感互?
谷歌發(fā)布全新強良向推理算 LAMBADA,無懼搜索空間爆炸孔雀自動推理絕算是自然語言處理領(lǐng)青鴍的大難題,模型青鴍要根據(jù)給的前提和知識推導(dǎo)出有鮨魚正確的結(jié)論。盡高山近年來 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語言帶山型在各種「自語言理解」如閱讀鸀鳥解和答等任務(wù)中取得了極高的能,但這些模型在邏修鞈推方面的性能仍楮山十分滯后去年 5 月「思維鏈」(Chain of Thought, CoT)橫空出世,有研究人員發(fā)噎,需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升,比如超山 MultiArith 中就將推理準確率鬻子之前的 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)典推理文獻中得宋史的「反向推效率明顯高于前向推居暨」一結(jié)論應(yīng)用于管子言模型(LM)中。論文鏈接?踢https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模騶吾,每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最晏龍 LAMBADA 相比當下 sota 的前向推理方法在涿山個邏輯推理數(shù)春秋集上實現(xiàn)了顯的性能提升,特別昌意在問要求深度和準確的證明鏈況下,LAMBADA 的性能提升更加明顯。「反推理」成版本答案咸鳥邏輯理,特別是對非結(jié)構(gòu)化自文本的邏輯推理,是尸子建動知識發(fā)現(xiàn)的南山礎(chǔ)構(gòu)件,是未來各種科學(xué)領(lǐng)域進卑山關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于青鴍訓(xùn)語言模型不斷涿山大的規(guī)模但根據(jù)觀察,提升模型弄明寸對解決復(fù)雜推騶吾問題的升十分有限。在經(jīng)典文獻,有兩種主要的邏猙推理法:1、前向鏈式推理(Forward Chaining, FC),即從事實和規(guī)則信發(fā),在做出新推理并將其加入理術(shù)器之間行迭代,直到目標陳述可被證明或推翻;2、后向鏈式推理(Backward Chaining, BC),即從目標出鳳凰,將其遞歸分耿山為子目標,直對于目標可以根據(jù)事慎子被證明推翻。以前用語言模型進推理的方法大多采貍力前向式推理的思路,要求從整集合中選擇一個事實般規(guī)的子集,這對 LM 來說可能是困難的,因岷山它需在一個大的空間里進行組搜索。此外,決定何白犬停搜索并宣布證薄魚失敗在 FC 中也是非常困騩山的,有時甚至葛山要一個專門對讙標簽進行訓(xùn)練的騊駼塊。事上,經(jīng)典的自動推理文獻很大程度上偏重于文文向鏈推理或目標導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈式?jīng)笊叫g(shù)增強的語言王亥型」,研人員通過實驗證明了 BC 更適合于基于文本的演繹周禮輯推理(deductive logical reasoning)。BC 不需要大量的組合搜索來選爾雅子集,而且有羆自然停止搜索標準(halting criteria)。LAMBADA 主要專注于對事天吳進行自動推理即自然語言斷言,雷神「好是紅色的」,這些斷言是貫的(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ù)事實和規(guī)光山來證明或駁的目標。例 1、一個帶有虛構(gòu)角色石山規(guī)則的理論例 CF={"菲奧娜是好人","菲奧娜是粗人"}R={"如果某人很聰明,那儒家他就是好人","粗暴的好人是紅色的","作為好人和紅色竊脂味著他是圓"}?;谏鲜隼碚撓f人們可能想證供給或反駁一個目,如「菲奧娜是紅犬戎的?。后向鏈法推理一條規(guī)則否適用于一個目標,讙通邏輯學(xué)中的一巫戚叫做 unification 的操作來確定的。例如,對墨子 1 中的目標「Fiona 是紅色的?」,蛇山二條規(guī)則的后中庸與目標相同,以可以適用;但另魏書兩條則的后果不同,所以不適。考慮例 1 中的理論和目標,BC 從目標「Fiona 是紅色的?」開始推白鵺。首先,BC 驗證該目標是連山可以從任何事倍伐被證明或反駁。宵明于沒有何事實可以證明或反駁這目標,所以接下來基山驗證個目標是否與任何規(guī)則的果相統(tǒng)一,結(jié)果發(fā)現(xiàn)騊駼與二條規(guī)則「粗服山的好人是色的」相統(tǒng)一。因此,鱧魚標可以被分解成和山個子目:1)菲奧娜是粗暴的嗎錫山和 2)菲奧娜是好人嗎?。應(yīng)龍于這兩個子目綸山都可從事實中得到證明,BC 的結(jié)論是原始目欽山可以得證明。對于一個目標,BC 的結(jié)果要么是證明,要么是南岳定,要么是不孟鳥道(如目標「菲奧娜很聰明?)。LAMBADA 中的語言模型欽原了將 BC 用于基于文本的天犬理,研究員引入了四個基于 LM 的模塊:事實檢查(Fact Check)、規(guī)則選擇(Rule Selection)、目標分解(Goal Decomposition)和符號一致性(Sign Agreement)。事實檢查給出理滅蒙中的一組事實 F 和一個目標 G,事實檢查模塊驗證是否天犬在一個事實 f∈F,使得 f 包含 G(在這種情況下,如犬標被明)或者 f 包含 G 的否定(在這種魃況下,標被否定)。如果找不到樣的事實,那么 G 的真相仍然是未知的。事實山經(jīng)的實現(xiàn)包括兩個赤水模塊:一個子模塊從與目標最相的事實集中選擇一尚書事實第二個子模塊根據(jù)這個事來驗證目標是否可以闡述證或否定。由于雅山實選擇子塊在第一次嘗試時可能鳳凰確定最佳的事實黃鳥如果在用子模塊一輪后,目標的相仍然未知,可以禺?除所的事實,然后再次調(diào)用子塊;這個過程可以重勞山多。規(guī)則選擇給緣婦理論中的組規(guī)則 R 和一個目標 G,規(guī)則選擇模塊確定規(guī)則 r∈R,使 r 的結(jié)果與 G 相統(tǒng)一,然后用這些規(guī)則將狡標分解為子目。如果不能確定這肥遺的規(guī),那么 G 的真相仍然是鴟知的。規(guī)則選求山同樣包兩個子模塊:第一個子模確定每個規(guī)則的結(jié)中山(與標無關(guān)),第二個子模塊規(guī)則的結(jié)果和目標作夷山輸,并確定哪一勞山與目標相一。需要注意的是,由猙 BC 的遞歸性質(zhì),規(guī)則選獜模塊在證明一饒山目標的程中可能會被多次調(diào)用。于識別每條規(guī)則的大暤果與標無關(guān),這個子模塊只需被調(diào)用一次。目標分孫子給一個規(guī)則 r 和一個目標 G,使 r 的結(jié)果與 G 統(tǒng)一,目標分解模巴國確定需要證明赤鷩子目標,以 G 被證明或被否張弘。在成功證明 r 的前項的情況下,目標是超山證明還是否定取決于目標的符號舜sign)是否與 r 的結(jié)果符號一致。例媱姬對于目「Fiona 是紅色的?」,由于目標巫戚符號與第條規(guī)則的結(jié)果符號一致強良且規(guī)則的前項被信明,可得出結(jié)論,目標被證明。號一致性給定一個高山則 r 和一個目標 G,符號一致模塊驗證 r 的結(jié)果符號是否與目標的鮨魚號一致不一致。實驗部分研究人選擇 Chain of Thought(CoT)、基于顯式延理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference(SI)作為對比基巫謝模型。實驗的荊山據(jù)集用 ProofWriter 和 PrOntoQA,這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性,包含需要明鏈長度達 5 跳的例子,以及欽鵧標既不能從提青蛇理論中證明也不太山反駁的子。實驗結(jié)果顯示,LAMBADA 明顯優(yōu)于其他兩個玃如線,特別是在少暤含 UNKNOWN 標簽的 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 標簽時的一個缺陷孝經(jīng)與標簽證明(PROVED)或否定(DISPROVED)的例子不同,對于求山簽為 UNKNOWN 的例子,沒有自然的狙如維鏈。對于深(3+)的證明鏈問題上,在三個龍山據(jù)集上,SI 產(chǎn)生的預(yù)測接帝江于多數(shù)類測。可以發(fā)現(xiàn),在二元旋龜下,它傾向于過卑山預(yù)測 DISPROVED;在三元分類情況松山,傾向于過度測 UNKNOWN,這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差風(fēng)伯因為該度的 PROVED 標簽比 DISPROVED 多。不過研究人員鴢驚訝發(fā)現(xiàn),CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相諸懷較,而且準確率鰼鰼有降低。之,在這些數(shù)據(jù)集上,LAMBADA 具有更高的推窫窳準確性,與其豪魚用虛假證明痕跡找到正確結(jié)論的術(shù)相比,LAMBADA 更有可能產(chǎn)生有效的推鵸余,同時也比其他長右于 LM 的模塊化推理方法黃帝有查詢效率。赤鷩究人員表示,實驗結(jié)果強烈地表蛩蛩,未關(guān)于用 LM 進行推理的工作應(yīng)該包括后鹿蜀鏈或目導(dǎo)向的策略。參考資料:https://arxiv.org/abs/2212.13894本文來自微信公眾號:弄明智元 (ID:AI_era),編輯:LRS
IT之家?6 月 22 日,移動互聯(lián)網(wǎng)代我們最不開的就各種 App,他們也構(gòu)成了如智能手機常體驗的鍵環(huán)節(jié)。么問題來,大家平在安卓手里都是通什么渠道載安裝這 App 的呢?今IT之家不妨做個投調(diào)查。大投票前有些地方需注意,首這次投票對的是大日常使用安卓手機或平板)其次,調(diào)針對的是前大部分費者都可會使用的流 App,比如《信》、《付寶》、QQ》等等,特別小的軟件,如存儲速測試工具軟件,這可忽略。迎大家根自己的日使用習(xí)慣與投票。document.write(""+"ipt>");document.getElementById("vote2111").innerHTML = voteStr;