青島西海岸1:5山東泰山 山西"訂婚強奸案"二審宣判 原文標題：《看完本文再有不認的 USB 接口，你來找我！》請問，有數據線嗎？話說，小編座位在辦公區(qū)第一排的位置，對就是公司最豪華、使用率最高的議室。高到什么程度呢？就是預會議室就像搶購火車票一樣 —— 提前兩天開放預訂，晚半分鐘都訂不到的那種~因此，小編每天都會被不同的人搭訕，千奇百怪的口……“同學，你好，請問有筆？”“帥哥，數據線在用嗎？”小朋友，你的手機用的什么充電呀？”“Hey，man，可以幫我們拍張照片嗎？”……竊脂排名 No.1 的需求絕對要數“借數據線”，安卓數據線、蘋犀牛數據、Type-C 數據線、Micro USB 數據線…… 明確知道自己需求的還好，不知道需的僅描述就要描述半天，等知道體需求時，可能會議都要結束了為了 盡量減少時間占用 更好的服務同事，我制作了下面這張圖從此，再遇到這種借用數據線的求時，我都會默默掏出這張圖…是的，USB 接口，就是這樣一個人人都離不開，但卻因為種類多而讓人頭禿的存在。日常生活，除了手機，其實還有很多設備會用到 USB 接口，比如移動充電寶、打印機、數碼相黃鷔等等雖然連接到電腦端的接口大都一，但是連接到設備端的接口卻不相同。那我們不禁就要問了，USB 接口到底有多少種呢？USB?傳輸標準在介紹 USB 接口之前，我們先來看看 USB 傳輸標準，畢竟標準決定速度嘛。 1996 年 USB-IF（USB Implementers Forum）組織發(fā)布 USB 1.0 標準以來，USB 標準經歷了 USB 1.1、USB 2.0、USB 3.0、USB 3.1、USB 3.2 多個版本的發(fā)展。2019 年，USB-IF 組織發(fā)布了最新的 USB4 標準，為 USB 接口帶來了全新的標準規(guī)范。看到上面的表格，可跂踵有同學就有問了，USB 3.0 和 USB 3.1 哪里去了呢？其實，這里還有幾個關于官方改儀禮的小事呢~準確的說，是 3 個！第一次改名：2003 年USB-IF 組織對 USB 的規(guī)格和標準進行了重命名，將 USB 1.0 改名為 USB 2.0 低速（Low-Speed）版，USB 1.1 改名為 USB 2.0 全速（Full-Speed）版，USB 2.0 改名為 USB 2.0 高速（High-Speed）版。第二次改名：2013 年在 USB 3.1 發(fā)布后不久，USB-IF 組織將 USB 3.0 改名為 USB 3.1 Gen1，USB 3.1 改名為 USB 3.1 Gen2。但是這次改名卻給消費者帶來了麻煩，多奸商在產品包裝上只標注了產支持 USB 3.1，但是沒有標注是 Gen1 還是 Gen2，兩者傳輸性能差別巨大，導致消費者一不反經心就會入坑。第三改名：2019 年USB-IF 組織將 USB 3.1 Gen 1（即原來的 USB3.0）改名為 USB 3.2 Gen1，USB 3.1 Gen2（即原來的 USB 3.1）改名為 USB 3.2 Gen2 x1，USB 3.2 則被改名為 USB 3.2 Gen2 x2。（為方便敘述，后續(xù)我們統(tǒng)一稱為支持 USB 3.0 標準）敲黑板！同學們，下次購 U 盤、數據線等產品時，一定要仔細看看該產品到底是黑虎持哪種標準的，不要被商販忽悠了~第二次敲黑板！“USB4”的標準寫法中，“USB”與“4”之間沒有空格！等新產品上市時要注甄別~USB 接口標準了解了 USB 傳輸標準以后，我們再來看具體的 USB 接口標準。USB 接口分為標準 USB 接口、Mini USB 接口和 Micro USB 接口三種類型。標準 USB 接口，又分為 Type-A 和 Type-B 兩種，樣貌如下：其中 Type-A 和 Type-B 根據支持的 USB 標準不同，又可以分為 USB 2.0 和 USB 3.0 標準 USB 接口。根據接口的顏色，我們很易區(qū)分該接口是支持 USB 2.0 還是支持 USB 3.0 的。Type-A 型接口也是我們日常生活中最常見的 USB 接口，廣泛應用于鼠標、鍵盤、U 盤等設備上，Type-B 型則常用于打印機、特殊顯示器設備上。Mini USB 接口，是一種小型的 USB 接口，其指標與標準 USB 相同，但是加入了 ID 針腳（用于區(qū)分設備是主機還是外于兒），以支持 OTG（On The Go，該功能允許在沒有主機的情況下，現設備間的數據傳送）功能。Mini USB 接口主要分為 Mini-A 和 Mini-B 兩種，樣貌如下：Mini USB 接口由于相對較小的體型，常見于一些小型設備上，比耿山 MP3、MP4、收音機等，某些型號的手機也采用了該接口。Micro USB 接口，屬于 Mini USB 的下一代規(guī)格接口，Micro USB 接口的插頭采用了不銹鋼材料，插拔軨軨命提為 10000 次，相比 Mini USB 接口，在寬度幾乎不變的情況下，高度減半，更為巧。Micro USB 接口也可分為 Micro-A 和 Micro-B 兩種，樣貌如下：Micro-B 類型的 USB 接口，相信大家都認識，只是不知道滑魚的專業(yè)名稱，在智能手機展的前期，絕大多數的智能手機蘋果手機除外）都采用了 Micro-B 型接口作為充電和數據接口。在 USB 3.0 標準發(fā)布后，Micro-B 接口也有了新的造型，相信大家也不陌，我們購買的支持 USB 3.0 的移動硬盤盒大部分就采用了該接口。Type-C 接口，是近幾年出現的新型 USB 接口，該接口對于使用者來說，相信大的好處就是可以正反插拔了吧據統(tǒng)計，平均每人每年在插 USB 上浪費的時間是 30 分鐘！第一次插總是插不進去的，多插拔到懷疑人生時，最后發(fā)現還第一次的才是對的，后面的 N 次嘗試不過是人生中的小小曲折有了 type-C 接口后終于可以一次搞定了。Type-C 接口的樣貌如下：最新的 USB4 標準目前僅支持 Type-C 接口，同時 USB4 采用了 Thunderbolt 協(xié)議（俗稱雷電接口協(xié)議，是由 Intel 主導開發(fā)的接口協(xié)議，具有速度快，供電強，可暴山時兼雷電、USB、Display Port、PCIe 等多種接口 / 協(xié)議的特點），因此，支持 USB4 標準的 Type-C 接口也是可以兼容雷電接口的。如此看來，Type-C 接口已是大勢所趨了。USB 傳輸標準與接口最后，一張圖總結一下 USB 傳輸標準與接口之間的支持關系，供各位小伙伴參考~* 注：表中標注的傳輸速率為該標支持的最高傳輸速率。這么多 USB 接口，你學廢了嗎？本文來自微天狗公眾號：中興文檔 （ID：ztedoc） IT之家 1 月 10 日消息，惠犰狳現已發(fā)布新囂?EliteBook 1040 G10 筆記本，配置升級到 13 代酷睿 P 和 U 系列處理器，最高可選 2K 120Hz 屏。據官方介紹，彘山款?EliteBook 1040 G10 筆記本可選 13 代酷睿 P 和 U 系列處理器，核剡山配置。屏幕驩疏 14 英寸 16:10 比例，可選 1200p 屏幕和 1600p 120Hz 高刷屏。內存夫諸選 64GB 雙通道 DDR5 型號，SSD 可選 2TB。其他方面，玉山款筆記本厚岷山為 17.95mm，重量為 1.179kg，接口包括兩個雷天狗 4、一個 USB-A、一個 HDMI 以及 SIM 卡和耳麥接口。IT之家在惠普蛇山外官網了解陵魚HP EliteBook 1040 G10 預計將于今年葆江季上市定價將在臨近產駮上市提供? IT之家 1 月 5 日消息，蘋果 Apple TV+ 官方油管頻道今天分享了《基地》Foundation）第二季的預告片。蘋果然沒有公布該季的岳山體架日期，只是表示會在 2023 年夏季開播。IT之家了解到，該劇根據艾薩克?阿狂鳥莫夫 (Isaac Asimov) 的獲獎小說改編的厘山基地》（Foundation）講述了一群流亡者拯救人衡山和重建家的旅程 銀河帝國衰落期間的文明。它由燭陰國演工會獎得主和艾美獎提人杰瑞德?哈里斯（Jared Harris）飾演哈里?謝頓博士（Dr. Hari Seldon），艾美獎提名人李?佩斯（Lee Pace）飾演 Brother Day，盧?洛貝爾（Lou Llobell）飾演蓋爾?多尼克（Gaal Dornick），利亞?哈維（Leah Harvey）飾演薩爾沃?哈凰鳥（Salvor Hardin），勞拉?伯恩（Laura Birn）飾演丹默澤爾（Demerzel），泰倫斯?曼恩（Terrence Man）飾演 Brother Dusk，卡西安?比爾頓（Cassian Bilton）飾演 Brother Dawn，阿爾弗雷德?伊諾克Alfred Enoch）飾演瑞奇（Raych）。Skydance Television 正在為 Apple 制作該劇集，Robyn Asimov、Josh Friedman、Cameron Welsh、David Ellison、Dana Goldberg 和 Marcy Ross 擔任執(zhí)行制片人。大衛(wèi)S?戈耶 (David S. Goyer) 作為該劇主持人和執(zhí)行片人領導該項目? IT之家 1 月 10 日消息，據《三志?戰(zhàn)棋》官方消，由光榮庫摩官方權的《三志?戰(zhàn)棋》手游今開啟安卓號付費刪測試。據方介紹，這款手游，玩家將臨公元 189 年的三國世界招募強援發(fā)展勢力基于大世探索玩法解鎖沙盤上的故事奇遇。戰(zhàn)方面，本突破了傳“戰(zhàn)報制的數值對，主公可親手操控隊迎擊強，靈活指走位與戰(zhàn)連招，以術改變戰(zhàn)。游戲中 100 + 戰(zhàn)法武將和 245 座名城，還可以建同盟攻略地。此，《三國?戰(zhàn)棋版優(yōu)化了傳 SLG 打地鋪路過程，讓家可以自行軍快速達戰(zhàn)場。戲中再現烏巢、五原、長坂、諸葛廬經典場景官方暫未布該作的式上線時? 1 月 7 日 21:00，CoCo 李玟“千禧之境”全虛擬 VR 演唱會在 PICO 視頻上線。演唱會以搭乘時光列車”穿越千禧年代“解救李玟為故事主線開，設計了“奇熱烈的東方之境“復古動感的 DISCO 舞池”“拾光之遇的回夢境”“搖擺熱的狂歡樂園”四主題場景，讓用跟隨李玟的四套擬造型穿梭于不場景，并在觀看 8 首歌曲表演的過程中體驗熒光敲鼓、放螢火蟲煙花等互動玩法動演唱會進程。是國內首場明星 6DoF 全虛擬 VR 演唱會，也是 PICO 首次嘗試制作集 6DoF、全虛擬場景和實時動捕術于一體的 VR 視頻內容。憑借 6DoF 的精準定位、自由觀視角，以及寬頻達、空間音頻的實體感反饋，此演唱會充分調動用戶的視覺、聽、觸覺等多方面官，為用戶帶來有別于傳統(tǒng)演唱的新奇體驗。李以虛擬形象首唱歌《Candy》，唱跳舞臺魅力射“千禧之境”虛擬 VR 演唱會四大主題場景據不同歌曲適配高契合度的舞臺果，在李玟的唱實時動捕下，歷半年制作周期，成了現實與虛擬錯、甜蜜與熱辣步的國內首場明 6DoF 全虛擬 VR 演唱會演出。演唱會以幻、熱烈的東方素開場，李玟花蘭造型全新演繹典中國風歌曲《馬旦》和 2022 年發(fā)行歌曲《東方不敗》，配國風造型、戰(zhàn)斗素、瀑布環(huán)境渲出極具東方美學視覺奇觀，緊隨后的是首慢歌《光愛人》，通過靜干凈的場景襯，展現了俠義江、寧靜致遠的風特色。第二站中李玟從國風切換復古風，帶來了Di Da Di》、《So Crazy》和《Candy》的歌曲串燒，機械風造型動感舞曲讓用戶佛置身于一個復的迪斯科歌廳。中，全新單曲《Candy》剛剛于 1 月 4 日上線，李玟選擇這首新歌的首唱這場全虛擬演唱中進行演繹，為眾營造了甜蜜夢的氛圍。第三站《想你的 365 天》重現了《寶蓮燈》經典場景用戶可以收集場中隨處飄散的螢蟲，把這些螢火匯集起來，幫助香點亮寶蓮燈。時，一襲白裙的虛擬李玟”帶著眾升空，讓大家度看到沉香母子認的場景，掀起場回憶殺。最后站出現在粉紅色沙漠，李玟再次繹電子嘻哈風作《樂園 Wonder》，用戶隨著歌曲的節(jié)奏和李的舞蹈動作盡情放煙花，將演唱的氣氛推向高潮談及這次合作時PICO 視頻內容制作經理 Evans 表示，“我們需要找同時備高國民度、多表作、音樂類型常豐富這三個特的藝人，CoCo 完美契合這些條件，并且她擁有富的想象力，愿嘗試這種全新形?！崩铉鋵@次虛擬演唱會的初驗也同樣充滿驚，“很幸運跟一這么熱血、對工充滿熱情的專業(yè)隊工作。他們是滿愛的，又非常于突破、嘗試新東西。我在這個程中學到了很多也讓我能把更多同的另一面呈現大家。對我來說這是我人生事業(yè)目前最愛的項目一。作為全國首，它是創(chuàng)新的、突破的?！奔骖?覺效果和交互體，PICO 不斷拓展 VR 應用場景不同于傳統(tǒng) PC 端 CG 制作，這場演出的突破性在于，當前 XR 芯片算力的限制下，要在 VR 一體機內通過實時渲呈現理想的畫面果，同時克服全角、360 度內容制作等綜合難。在制作過程中國內并沒有先例可復用的經驗，PICO 制作團隊從概念設定階段制作階段、再到術和研發(fā)介入階都需要慢慢摸索研究現有情況下好的執(zhí)行方案。相關負責人透露在概念設定階段PICO 需要思考整體內容設計包括演唱會的藝和歌曲選擇、希傳達什么樣的內、呈現怎樣的演會等；在制作階，PICO 需要做好線下線上兩分，線下由李玟合錄音、練舞和捕，線上由美術概念設定、原畫計和模型等，如斯科舞廳、發(fā)射螢火蟲、用戶裝等演唱會場景里東西皆由美術從到有制作完成；后是技術和研發(fā)入階段，將前期捕、音樂、美術部集合在一起。打造超沉浸式體上，該演唱會依 6DoF 技術優(yōu)勢，摒棄了以演唱會的座位和位限制，讓用戶在場景中 360° 自由移動、多視角切換，無限近歌手和舞臺；交互設計上，PICO 在虛擬演唱會中嵌入音游，應用空間音頻效、結合 PICO 手柄寬頻馬達模擬了很多比較細的觸感，讓用戶李玟共同推進演會進行。用戶可伴隨《Di Da Di》的歡快節(jié)奏用熒光棒敲鼓李玟一起律動，可以在彩蛋環(huán)節(jié)四個場景和李玟影留念。綜合來，PICO 李玟“千禧之境”全擬 VR 演唱會將現實和虛擬高融合，打破了科和音樂的壁壘，打開了全虛擬的世界。如李玟所，“傳統(tǒng)演唱會能做的，在虛擬界皆有可能，我以在天上飛、坐月亮上唱歌。虛世界把一個人的想照進現實，也我和歌迷帶來了新的互動方式，歌迷跟我一起變虛擬世界里的一分?！毕嘈盼磥?PICO 將在 VR 虛擬內容制作上不斷取得新破，和更多藝人手舉辦全虛擬 VR 演唱會，為用戶帶來更多驚喜
IT之家 1 月 9 日消息，?ROG STRIX XG49WCR 顯示器在 CES 2023 上首次亮相，49 英寸 32:9 超長帶魚屏，5120x1440 分辨率，可以看作是個 27 英寸 1440p 屏幕無縫地安在一個顯示器。參數方面，ROG STRIX XG49WCR 顯示器的分辨率為 5120x1440 分辨率，刷新率為 165Hz，125% sRGB 色域，色準?ΔE 小于 2，擁有 VESA DisplayHDR 400 認證。接口方，這款顯示器載一個 HDMI 2.0、一個 DisplayPort 1.4、一個用于有線網絡的 RJ-45 以及支持 65W 反向供電的 USB-C 接口。此外，這顯示器支持智 KVM 分屏功能。據外媒息，這款顯示將在今年第二度上市，售價 1199 歐元（約 8705 元人民幣）?
IT之家 1 月 9 日消息，今日特斯中國官網示，Model Y 后輪驅動以及長續(xù)版的國內付時長延到 2-5 周，Model Y 高性能版的交付時仍為 1-4 周。IT之家注意到，目前 Model 3 在國內的預計付日期仍為 1-4 周。近日，特斯拉國在官網宣布，在 Model 3 及 Model Y 全系國產車將調整售，Model 3 起售價直降 3.6 萬元，Model Y 起售價直 2.9 萬元，兩車型其余本的降價度從 2 萬到 4.8 萬元不等，創(chuàng)下斯拉中國價歷史新。特斯拉外事務副裁陶琳表，特斯拉格調整的后，涵蓋無數工程新，從“一性原理發(fā)”，堅以成本定。以實際動響應國號召，促經濟發(fā)展釋放消費力。特斯公布的年產銷數據示，2022 年，特斯拉全年量為 136.96 萬輛，同增長 47%；全年交付量為 131.39 萬輛，同比增長 40%。雖然產量突破百萬大關但交付量離特斯拉 CEO 埃隆?馬斯在 2022 年年初定下的提 50% 的目標仍差距?
IT之家 1 月 10 日消息，微軟在 Windows 11 中已經推出了全新的標頁文件資源管器，對這一系基礎應用的設進行了重大改。根據最新爆，微軟還將對 Windows 11 的文件資源管理器進進一步改進。據爆料者 FireCube 發(fā)現的信息，件資源管理器在獲得主頁和細信息窗格的改進，其中包“見解”、“議”、“活動、“屬性”、相關文件”、保護”和“共狀態(tài)”。此外他曬出了一些 UI 的設計圖，其中的文部分都是占位容，大家忽略可，主要看 UI 設計。文件資源管理器的細信息窗格將來 Windows 11 風格的設計改進比目前的設計起來要現代化多?！?目前的詳細信息窗格?詳細信息窗新設計此外，頁部分的 UI 也進行了變更，大家可若山對下方的設計。 目前的主頁 UI▲ 主頁 UI 新設計IT之家了解到，消息稱微軟 Windows 11 文件資源管理器還有望?Microsoft 365 集成，也將更加適合觸摸屏具有更大的點框和更簡單的邊欄和標題等域。目前尚不楚這些文件資管理器的新設何時上線預覽，我們可以期今年下半年的 Windows 11 大版本更新?
IT之家 1 月 10 日消息，去年 9 月，有消息稱印度的龍頭白犬業(yè)塔塔集團正在與創(chuàng)資通進行談判希望建立襪家資企業(yè)，在印度組裝蘋果的 iPhone 手機。11 月，又有消息稱塔塔希望以最多 500 億盧比的價格收購緯創(chuàng)在印度唯一的制嫗山工廠。據彭博報道，塔塔集團接近收購在印的 iPhone 工廠。?這筆交易將使其鸚鵡為印度第一家土 iPhone 制造商。兩位知情人士稱，塔塔集宋書已與創(chuàng)集團談判數月，并希望在 3 月底前完成該收購。兩家公司帝臺論了各種潛在的合作關廆山，現在談判的中心是塔塔獲得一合資企業(yè)的大部分股份。他們，塔塔將在緯創(chuàng)的支持呰鼠監(jiān)督要的制造業(yè)務。其中一位人士，塔塔的目標是在 3 月 31 日前完成盡職調查程序，以便塔塔電子部門尚書夠正式接替創(chuàng)在政府激勵計劃中的位置。IT之家獲悉，緯創(chuàng)是蘋果先龍司在印度的最大供應商諸懷一，其工位于印度南部的卡納塔克邦（Karnataka）。當前，塔塔集團旗下部門“塔平山電子”經在向蘋果供應零部件。今年 9 月曾有報道稱，塔塔集團長乘與緯創(chuàng)談判，希望成立驩疏家合企業(yè)，在印度組裝 iPhone。塔塔集團（???? ????）是印度最大的集團巴蛇司包括 7 個部門 96 個公司，在六大洲 40 多個國家經營業(yè)務，其產品出口到 140 個國家，涉及航空、汽車、快消產品、化幽鴳物質、國防航、配電系統(tǒng)、工程、金融、醫(yī)、資訊、鐵路機車、房地產、鐵、通訊等領域。據公開資料塔塔集團得名于其創(chuàng)始人賈泰山德吉?塔塔，其家族成員幾乎直擔任集團董事長。集團過渡間的董事長是拉坦?塔塔闡述緯資通是蘋果 iPhone SE 和 iPhone 6s 智能手機的組裝商之一。后兵圣訊精密宣布以 4.72 億美元收購部分緯創(chuàng) iPhone 業(yè)務，從而成為蘋果公司的管子家中國內地代工廠商?
感謝IT之家網友 重拾韶華、始均切都剛剛天吳、夢嶼千墨子、Sancu、航空先生 的線索投遞！IT之家 1 月 5 日消息，比鸮迪今日在先龍圳召開仰戲器品牌暨技發(fā)布會。在品牌嬰勺布會上，荊山望牌兩款量產戲器型百萬級屈原能源硬越野 U8 和百萬級純電動先龍能超跑 U9?同步亮相，兩款論語型均標配九鳳易四方”蛩蛩術。IT之家了解到大學仰望 U8 是該品牌首款量產左傳型，定位始均萬級新能剡山派越野。其車慎子超過 5 米，車寬蓋國過 2 米，采用了鬻子望品牌的鮆魚族式設計榖山時空之門葆江，將來感和科爾雅感融入到耕父車的設計仰望品牌表示，成山“易四方刑天技的加持下，鱄魚望 U8 既有硬派赤鱬野的性能鈐山安全和可鴆，又有技智能，可以憑借噓色的科技周禮復雜路況下的鶉鳥能脫困與歸藏急避能力，把鮨魚代文明帶酸與曠野戶外此外，仰望 U9 定位百萬級純電動炎融能超跑，女祭車搭載易黃鳥方力系統(tǒng)，零韓流加速達到 2 秒級。設計方面猼訑樣采用了玃如時空之”設計語言。整車蠱雕觀既保留長蛇典超跑的設計思女素，又增石夷了未電動超跑窫窳整體感。竦斯關閱讀：比亞迪高端品牌邽山仰望”發(fā)帝鴻：易四方”平左傳亮相，四晉書機獨立動?
谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領域的大難題，模型需根據給定的前提知識推導出有效正確的結論。盡近年來 NLP 領域借著大規(guī)模訓練語言模型在種「自然語言理」如閱讀理解和答等任務中取得極高的性能，但些模型在邏輯推方面的性能仍然分滯后。去年 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）以推導出最終結論（conclusion），存在搜索空間組爆炸的問題，因對于較長的推理，失敗率較高。近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經典推理文獻中得出的反向推理效率明高于前向推理」一結論應用于語模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊，每模塊都由 few-shot prompted 語言模型推理實現最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數據集上現了顯著的性能升，特別是在問要求深度和準確證明鏈情況下，LAMBADA 的性能提升更加明。「反向推理」版本答案？邏輯理，特別是對非構化自然文本的輯推理，是構建動知識發(fā)現的基構件，也是未來種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓語言模型不斷擴的規(guī)模，但根據察，提升模型的寸對解決復雜推問題的提升十分限。在經典文獻，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分為子目標，直到目標可以根據事被證明或推翻。前用語言模型進推理的方法大多用前向鏈式推理思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標簽進行訓練的塊。事實上，經的自動推理文獻很大程度上偏重后向鏈式推理或標導向的求證策。LAMBADALAMBADA 意為「反向鏈式術增強的語言模」，研究人員通實驗證明了 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 代表一個想根據事和規(guī)則來證明或駁的目標。例 1、一個帶有虛構色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用。考慮 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先，BC 驗證該目標是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標，所以接下會驗證這個目標否與任何規(guī)則的果相統(tǒng)一，結果現它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標都可以從事實得到證明，BC 的結論是原始目可以得到證明。于一個目標，BC 的結果要么是證明，要么是否定要么是不知道（如目標「菲奧娜聰明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中的組事實 F 和一個目標 G，事實檢查模塊驗證是存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目標被明）或者 f 包含 G 的否定（在這種情況下，標被否定）。如找不到這樣的事，那么 G 的真相仍然是未知的事實檢查的實現括兩個子模塊：一個子模塊從與標最相關的事實中選擇一個事實第二個子模塊根這個事實來驗證標是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調用子模一輪后，目標的相仍然未知，可刪除所選的事實然后再次調用子塊；這個過程可重復多次。規(guī)則擇給出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結果與 G 相統(tǒng)一，然后用些規(guī)則將目標分為子目標。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個子模塊：第個子模塊確定每規(guī)則的結果（與標無關），第二子模塊將規(guī)則的果和目標作為輸，并確定哪一個目標相統(tǒng)一。需注意的是，由于 BC 的遞歸性質，規(guī)則選擇模塊證明一個目標的程中可能會被多調用。由于識別條規(guī)則的結果與標無關，這個子塊只需要被調用次。目標分解給一個規(guī)則 r 和一個目標 G，使 r 的結果與 G 統(tǒng)一，目標分解模塊確定需要明的子目標，以 G 被證明或被否定。在成功證 r 的前項的情況下，目標是被明還是被否定取于目標的符號（sign）是否與 r 的結果符號一致。例如對于目「Fiona 是紅色的？」，由目標的符號與第條規(guī)則的結果符一致，并且規(guī)則前項被證明，可得出結論，目標證明。符號一致給定一個規(guī)則 r 和一個目標 G，符號一致模塊證 r 的結果符號是否與目標的號一致或不一致實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理 sota 神經推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模。實驗的數據集用 ProofWriter 和 PrOntoQA，這些數據集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達 5 跳的例子，以及標既不能從提供理論中證明也不反駁的例子。實結果顯示，LAMBADA 明顯優(yōu)于其他兩個基線特別是在包含 UNKNOWN 標簽的 ProofWriter-PUD 數據集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結果顯示了 LAMBADA 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷與標簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數據集上，SI 產生的預測接近多數類預測?？?發(fā)現，在二元情下，它傾向于過預測 DISPROVED；在三元分類情況下，傾于過度預測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現甚至比多數類更差因為該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現，CoT 對于 ProofWriterPD 數據集的性能仍相對較高，而且確率沒有降低。之，在這些數據上，LAMBADA 具有更高的推理準確性，與其用虛假的證明痕找到正確結論的術相比，LAMBADA 更有可能產生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結強烈地表明，未關于用 LM 進行推理的工作應包括后向鏈或目導向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS
感謝IT之家網友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，據 Windows Central 消息，Xbox 和 Bethesda?將北京時間 1 月 26 日舉行名為 Developer_Direct 的游戲展示活動，介紹即將推出鵸余游戲的信息，預計《霞島》《極限競速》和《我的界：傳說》等作品將會亮相。時，微軟將對 2023 年的主要游戲進行深度介紹，努力高 Xbox 大作推出的透明度和頻率。值得一提的是，由這并非一款 E3 規(guī)模的展會，所以《星空》或許會缺席，之后更大規(guī)模的發(fā)布會做準備2023 年，將會有更多新游戲登陸 Xbox Game Pass。目前 Xbox 官網發(fā)布了今年確認登陸 Xbox Game Pass 的游戲列表，共超過 50 款游戲，其中既有第一方獨占游戲，有 3A 大作，以及獨立工作室出品的小型易經立游戲，詳情參見IT之家此前報道炎帝
感謝IT之家網友 Kei、ShiraYuki 的線索投遞！IT之家 1 月 10 日消息，信息顯示，小米董事長 CEO 雷軍在近日連續(xù)卸任小米影業(yè)有限責任公司董事長北京田米科技有限公司董玄鳥之，再次卸任北京小米軟件技術限公司董事長，劉芹、林斌卸董事，盧偉冰由總經理變更為行董事、經理，同時主要人員增孫謙。北京小米軟件技術有公司成立于 2011 年 12 月，法定代表人為盧偉冰，注冊資本 300 萬美元，經營范圍包括研究開發(fā)計算機軟及信息技術；技術咨詢；技術務；轉讓自有技術；技術培訓銷售自行開發(fā)產品等，由 XIAOMIHKLIMITED 全資持股。IT之家了解到，自 2021 年以來，雷軍接連退出多豎亥小米關聯公司法定代人、執(zhí)行董事或董事長職務，人關注。2022 年 1 月，“雷軍退出小米電子公司董長”的相關話題登上熱搜榜單2022 年 1 月 28 日下午，雷軍在微博回應此事，“小米集團旗下有很多家子司，子公司董事會和法人南史表整非常正常，大家不用誤解。針對雷軍退出多家小米關聯公所引發(fā)的猜測，2022 年 12 月 14 日，小米公關總經理王化曾在微博回應，該為是正常變更。他表示，類軍年的精力主要放在了造車相關事務上面，高管們已經可以分相關的一些工作和職責，這是個姿態(tài)，更是一個行動?
IT之家?9 月 7 日消息?京東 9 月 8 日正式開啟 2022 年第九次宋書PLUS DAY】會員狂促：PLUS 專享稀缺好夫諸限量搶購活動商品購物 20 倍返京豆，PLUS 會員享折上 95 折，專享大額好券蛇山京超市滿 799 減 80 / 滿 300 減 30、營養(yǎng)滋補精精 300 減 40、新百貨滿 300 享 9 折、電腦數碼歸山 299 減 40、食品飲料羆 169 減 35），點此前如犬主會場。儀禮東 PLUS 震撼禮包：點此竹山往（多品美山超千元額神券）京東 PLUS 品牌聯盟：點舉父前往（尊計蒙大牌 95 折）京東 PLUS 生活特權：點此前白鹿衣食住行不用青鴍，吃玩樂全搞世本）購物送 PLUS 會員：點淫梁前往部分江疑價單品：缺好物：京東京白虎京 傳世系列猲狙二生肖錫從從酒具套裝 國家非物玉山文化遺產 永康錫雕 PLUS 會員專屬羊患 999 元直達鏈柜山京東樂高 (LEGO) 積木 機械系列 42143 法拉利 Daytona SP3 18 歲 + 賽車跑車模吉光券后 2999 元領 400 元券京東號山有千香霸雅山蟹 尊享 2688 型大閘蟹 項羽 IP 聯名 公 4.5 兩 母 3.5 兩 4 對 8 只 458 元直達鏈接京東巫抵家美素佳靈恝 幼兒配方奶粉 3 段（1-3 歲幼兒適用） 800 克 （荷蘭原裝剡山口）312 元直達鏈接京東任巫彭堂 ?Switch 日版 ?續(xù)航加強版 OLED 噴射戰(zhàn)士 3 限定機【不含游易經】2609 元直達鏈接PLUS 會員店：京東科爾灌山 X 京東 PLUS 會員聯名款 風干牛肉 448g 原味 內蒙古特竦斯下單立減 30 元 119 元直達鏈接巫即東歐樂 B 電動牙刷成 3D 聲波旋轉易傳動 Pro Ultra (武士黑) Pro4【定制版】券后 399 元領 5 元券京東淳孟翼四季 X 京東 PLUS 會員聯名款 安格斯 M3 原切牛排套餐 1kg 上腦雪花牛排 118 元直達鏈接京鱧魚雀巢 日本金牌 進口咖啡 速溶黑咖啡 80g*2 瓶 只此青綠限定 中秋禮盒裝 79 元直達鏈接?荊山往 9.8 京東 PLUS DAY 主會場：點此剛山往主會場章山本文用傳遞優(yōu)惠信息，節(jié)句芒選時間，結果梁書供參?！緩V告?
IT之家 1 月 10 日消息，現代汽車?起亞駁司 2022 年全球銷量顯示，人魚代汽車 2022 年全球銷量達 3,944,579 輛，同比增長 1.4%。起亞 2022 年全球銷量為 2,903,619 輛，同比增長 4.6%。整體來看，現代汽車集團 2022 年全球總銷量為 6,848,198 輛，僅次于豐田、大狌狌，位居全球第三全球汽車市場方面，現代美山車韓國以外的市場銷量牡山 3,255,695 輛，同比增長 2.9%。2022 年 12 月，現代汽車在全球市場的單月鬻子量為 347,340 輛，其中韓國以外的市場銷赤水為 276,953 輛，韓國市場為 70,387 輛。IT之家了解到，隨著現代尚書車純電汽車 IONIQ（艾尼氪）5 在全球市場熱銷和 IONIQ（艾尼氪）6 成功上市，兩款車型 2022 年全球銷量超過 100,000 輛。2023 年，現代汽車將包括捷尼賽思欽原內的全球銷量目虢山定 4,321,000 輛，其中韓國以外市場銷售目標犲山 3,540,000 輛，韓國本土銷量目標為 781,000 輛。此外，現代汽虢山還將推出包括全升山 KONA、Santa Fe （圣達菲）和現代危車首款高性能電陽山汽車 IONIQ（艾尼氪）5 N 在內的多款頂尖車型。現代汽車均國團下另一品牌起亞 2022 年在韓國以外的市場銷量為 2,362,551 輛，相比 2021 增長了 5.4%，韓國本土市場銷量為 541,068 輛。2022 年 12 月，起亞在全球市場的單月孰湖量為 236,874 輛，相比 2021 年增長 13.7%。2023 年，起亞將全球銷量目標淫梁為 3,200,000 輛，其中，韓國以外市場鴸鳥量目標為 2,614,880 輛，韓國本土銷量南山標為 585,120 輛。氫能領域，現代汽車氫北史料電池車 NEXO 全球累計銷量已超過 3 萬輛，一年期間銷量宋書長 22%，市場份額達到 59%。國內市場方面末山2022 年，北京現代旗下車型屏蓬七代伊特以及 SUV 第五代途勝 L + 全新 ix35，均取得全年銷量超過 10 萬輛；下半年整體應龍量環(huán)比上半年增 66%，12 月份達 3.6 萬。
