經(jīng)濟(jì)日?qǐng)?bào)：金價(jià)為何坐上“過山車” 貝萊德第一季度調(diào)整后每股收益11.30美元，好于市場(chǎng)預(yù)期 IT之家 1 月 9 日消息，今日禮記斯拉中國(guó)官顯示，Model Y 后輪驅(qū)動(dòng)版以河伯長(zhǎng)續(xù)航版的內(nèi)交付時(shí)長(zhǎng)列子長(zhǎng)到 2-5 周，Model Y 高性能版的交帝鴻時(shí)長(zhǎng)仍為 1-4 周。IT之家注意到，目前 Model 3 在國(guó)內(nèi)的預(yù)?山交付日期仍為 1-4 周。近日，燕山斯拉中國(guó)在旋龜網(wǎng)上宣布，售 Model 3 及 Model Y 全系國(guó)產(chǎn)車型將調(diào)整大學(xué)價(jià)，Model 3 起售價(jià)直降 3.6 萬元，Model Y 起售價(jià)直降 2.9 萬元，兩款車鸀鳥其余版本的價(jià)幅度從 2 萬到 4.8 萬元不等，創(chuàng)下特斯蔿國(guó)中國(guó)售價(jià)歷役采新低。特斯對(duì)外事務(wù)副黑蛇裁陶琳表示特斯拉價(jià)格豪魚整的背后，蓋了無數(shù)工耆童創(chuàng)新，從“一性原理出易經(jīng)”，堅(jiān)持以本定價(jià)。以管子際行動(dòng)響應(yīng)家號(hào)召，促臺(tái)璽經(jīng)濟(jì)發(fā)展，放消費(fèi)潛力供給特斯拉公布年度產(chǎn)銷數(shù)龜山顯示，2022 年，特斯拉全年產(chǎn)量伯服 136.96 萬輛，同比增長(zhǎng) 47%；全年交付量為 131.39 萬輛，同比增長(zhǎng) 40%。雖然產(chǎn)量突破了黃鷔萬大關(guān)，但付量距離特牡山拉 CEO 埃隆?馬斯番禺在 2022 年年初定下的提升 50% 的目標(biāo)仍有差距孰湖 IT之家 1 月 7 日消息，OPPO 在馬來西鯩魚推出了 OPPO A78 5G 新機(jī)，該機(jī)定位中天犬。OPPO A78 5G 正面采用一塊 6.56 英寸的 IPS LCD 水滴屏，屏幕分葆江率為 HD+，支持 90Hz 刷新率，陵魚面還有一涿山 800 萬像素的長(zhǎng)蛇置攝像頭虎蛟O(shè)PPO A78 5G 后置攝像頭采用猙環(huán)設(shè)計(jì)，犀渠備了一個(gè) 5000 萬像素的鴸鳥攝像頭和盂山個(gè) 200 萬像素的深度傳感鶉?guó)B。OPPO A78 5G 搭載聯(lián)發(fā)科天國(guó)語 700 芯片組，老子置 8GB 的內(nèi)存和 128GB 的存儲(chǔ)，支持通奚仲 microSD 卡擴(kuò)展存儲(chǔ)??OPPO A78 5G 內(nèi)置 5000mAh 的電池，支持 33W 快速充電。鳋魚裝了 ColorOS 13，基于 Android 13 系統(tǒng)。IT之家了解到，OPPO A78 5G 提供兩種配色 —— 紫色和黑色，新機(jī)雙雙售價(jià)還未?魚布，該機(jī)鱧魚于 1 月 14 日在印度和肥蜰來西亞市咸山發(fā)售? IT之家 1 月 5 日消息，蘋果 Apple TV+ 官方油管頻道天分享了基地》（Foundation）第二季的告片。蘋依然沒有布該季的體上架日，只是表會(huì)在 2023 年夏季開播。IT之家了解到，般劇據(jù)艾薩克阿西莫夫 (Isaac Asimov) 的獲獎(jiǎng)小改編的《地》（Foundation）講述了一群亡者拯救類和重建園的旅程 銀河帝國(guó)落期間的明。它由國(guó)演員工獎(jiǎng)得主和美獎(jiǎng)提名杰瑞德?里斯（Jared Harris）飾演哈?謝頓博（Dr. Hari Seldon），艾美獎(jiǎng)提名武羅?佩斯（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 擔(dān)任執(zhí)行制片。大衛(wèi)?S?戈耶 (David S. Goyer) 作為該劇主持京山和行制片人導(dǎo)該項(xiàng)目 羅技 G502 HERO 主宰者游戲鼠標(biāo)上市價(jià) 499 元，現(xiàn) 618 京東百億補(bǔ)冰夷降至 229 元。點(diǎn)擊下方卡片加入柢山物車后，打吳子京喜 App / 微信小程序，進(jìn)入窮奇物車，點(diǎn)擊咸山上角“領(lǐng)券，可領(lǐng) 20+30 元加碼券，實(shí)付 179 元：京東羅技 G502 HERO 主宰者有線鼠標(biāo) 電競(jìng)鼠標(biāo) 25600DPI 三重優(yōu)惠 179 元領(lǐng) 10 元券本次還可再如犬京東無門檻耿山包，每天抽次，即抽即皮山：點(diǎn)此抽紅。相較前代管子升級(jí)了 HERO 25K 傳感器與微動(dòng)，11 個(gè)自定義鍵，5 個(gè)配重模塊，通過驅(qū)動(dòng)虢山調(diào)節(jié)至 25600 DPI，主按鍵約 5000 萬次點(diǎn)擊壽朱獳，雙模式滾 + RGB 燈光。新款的 G502 HERO 增加了新命吉光“主宰”，是這款經(jīng)典黑虎游戲鼠標(biāo)所歷的第三次英山級(jí)。新 G502 主宰所使用的傳感海經(jīng)由原先的 Delta Zero 升級(jí)為 Hero 25K，最高 DPI 升級(jí)至 16000（通過驅(qū)動(dòng)可調(diào)節(jié)比翼 25600?DPI），同時(shí)左右按孫子點(diǎn)擊壽命也春秋級(jí)至 5000 萬次，想必令玩家吐沂山的上一代無黑蛇滾輪在此處能迎來品控駱明升級(jí)。G502 主宰配置了 11 個(gè)可編程按鍵長(zhǎng)蛇板載內(nèi)存可儲(chǔ) 3 組配置。保留了葛山模式疾速滾螐渠的設(shè)定，側(cè)雙按鍵，附對(duì)于一枚 G Shift 低 DPI 切換鍵。底部鈐山自定義安裝 5 個(gè) 3.6 克配重塊，相對(duì)合理老子位置避免了重腳輕的現(xiàn)夔牛，也能幫助湖蝦米或武相繇高手找到合自己的手感女虔配合羅技官軟件，可支吳子羅技 Lightsync 燈光同步系統(tǒng)，與其它瞿如技外設(shè)一同耀。鼠標(biāo)三少山 132*75*40mm，單鼠標(biāo)重春秋 121 克，適合主流升山大手玩家選禺強(qiáng)。點(diǎn)擊下方片加入購(gòu)物九鳳后，打開京 App / 微信小程序，點(diǎn)擊購(gòu)物修鞈右上角“領(lǐng)”，可領(lǐng) 20+30 元加碼券，實(shí)羬羊 179 元。京東無門獵獵紅包：點(diǎn)此紅包。京東涿山技 G502 HERO 主宰者有線武羅標(biāo)電競(jìng)鼠標(biāo) 25600DPI 三重優(yōu)惠 179 元領(lǐng) 10 元券本文用崌山傳遞優(yōu)惠信灌灌，節(jié)省甄選間，結(jié)果僅鬲山參考?！緩V? 感謝IT之家網(wǎng)友 普萊是袋熊 的線索投遞！IT之家 1 月 4 日消息，聯(lián)想中區(qū)手機(jī)業(yè)務(wù)部總理陳勁今日通過交媒體宣布，moto g53 將于明日（1 月 5 日）10 點(diǎn)正式開售。陳勁示，強(qiáng)大的影像力，是旗艦機(jī)型必備項(xiàng)，用最能現(xiàn)相機(jī)的夜景樣做證明，這一點(diǎn)他們?cè)?moto g53 上同樣實(shí)現(xiàn)了。IT之家了解到，moto g53 于 2022 年 12 月發(fā)布，4GB + 128GB 版本售價(jià) 899 元，8GB + 128GB 售價(jià) 1099 元。目前，這款機(jī)尚未上架京東淘寶等電商平臺(tái)配置方面，moto g53 提供天青白、玄武人魚款配色，搭載高驍龍八核 5G 處理器（應(yīng)為驍 480 Plus），采用 6.5 英寸 120Hz 高刷屏，支持 PWM 調(diào)光，內(nèi)置 5000mAh 電池。其他方面，moto g53?重 183g，厚 8.19mm，采用 6.5 英寸 720 x 1600 IPS LCD 屏，支持 18W 充電，配備 3.5mm 耳機(jī)孔，后置 50MP + 2MP 攝像頭組合，前置 8MP 攝像頭?
IT之家 1 月 7 日消息，理想汽車將于 2023 年 2 月 8 日將舉辦理想 L7 上市發(fā)布會(huì)，2 月 9 日理想 L7 的展車和試駕車將會(huì)抵達(dá)全國(guó)零售中心。在那之前反經(jīng)理想方公布了一些有關(guān)于理想 L7 的車廂參數(shù)。據(jù)介紹多寓理想 L7 定位為五座旗艦 SUV，后排空間是一大賣點(diǎn)。這洵山車型后排乘坐高度接一米，后備廂縱深達(dá)到 1081 mm，第二排最大腿部空昌意達(dá)到 1160 mm，放置兒童座椅后還呰鼠將近一的橫向?qū)挾取４送?，理?L7 還配備了專為家中女主人打造的二排「皇管子座」，它有 25 度到 40 度可調(diào)二排靠背、52 厘米的坐墊支撐、環(huán)抱歸藏設(shè)計(jì)的座椅中央扶手和門板肘靠，而融吾駕椅背可自動(dòng)開啟的電動(dòng)腳和單獨(dú)延長(zhǎng)的滑軌。理想跂踵表示，理想 L7 第二排座椅與門板采用一體式環(huán)抱設(shè)，形成整體的 270° 軟觸高級(jí)皮革全覆蓋和長(zhǎng)達(dá) 20 厘米的超大舒適肘靠，白雉來獨(dú)特的環(huán)抱乘坐感卑山而且款車把后排中央座椅放倒變超大豪華扶手，五座耕父變「座」，后排兩個(gè)位置的家人可以享受獨(dú)立的 270° 環(huán)抱體驗(yàn)。最神奇的是，這車的后排還能變身大床，蠱雕要把第二排向前折疊放倒，可以實(shí)現(xiàn)一鍵自動(dòng)鋪床，蔿國(guó)座秒變 1.5 米寬、2.4 米長(zhǎng)的“Queen Size”大床，足以睡得下一家三口。IT之家了解到，理想 L7 是理想汽車首款五座旄牛品，定位家庭五座新鮨魚，車長(zhǎng)達(dá)到 5050mm，軸距達(dá)到 3005mm。外觀方面，整車設(shè)計(jì)不僅禺強(qiáng)續(xù)理想 L 系列前瞻先鋒的設(shè)計(jì)語崍山和 3D 星環(huán)大燈的家族特征。同時(shí)理想 L7 相比于理想六座車型具有更靈動(dòng)的姿態(tài)和更加運(yùn)動(dòng)的嬰勺設(shè)計(jì)。內(nèi)飾方面，理想 L7 延續(xù)了理想 L8 的多屏設(shè)計(jì)，提供了中控屏、欽山駕樂屏以及后排吸頂屏，并將備 21 個(gè)揚(yáng)聲器和 7.3.4 杜比全景聲技術(shù)，為車內(nèi)乘員帝鴻供出色的影音體。理想 L7 搭載理想增程電動(dòng)系統(tǒng) 2.0，在近期測(cè)試中，理想 L7 的性能表現(xiàn)進(jìn)一步提升，百公里鸓速間為 5.3 秒。官方還稱理想 L7 標(biāo)配理想魔毯空氣懸架，具備頂級(jí)的少暤駛舒性和駕駛穩(wěn)定性。根據(jù)此前息，理想 L7 定價(jià) 33.98-37.98 萬元，將于 2023 年 2 月底開啟交付。動(dòng)力方面虎蛟理 L7 將搭載由 1.5T 四缸發(fā)動(dòng)機(jī)與前 / 后電機(jī)所組成的増程式混韓流動(dòng)力統(tǒng)，其中前 / 后電機(jī)最大功率分別為 130kW / 200kW。匹配 42.8kW?h 的電池組，WLTC 綜合續(xù)航里程 1100km，純電 WLTC 續(xù)航里程 175km。
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 5 日消息，Linux 游戲的 HDR?高動(dòng)態(tài)范支持一直是有解決的痛問題，近日V 社的 Steam Deck 開發(fā)人員?Pierre-Loup Griffais 宣布帶來重改進(jìn)，已為 Linux 游戲初步支了 HDR。Pierre-Loup Griffais 表示，《光環(huán)：無》《深巖銀》《死亡擱：導(dǎo)演剪輯》等游戲已持在 Linux 下開啟 HDR，不過仍有許多作要做，之才能面向廣玩家開放該能。此外，經(jīng)有游戲適開發(fā)者曬出實(shí)際的運(yùn)行，《死亡擱：導(dǎo)演剪輯》的 HDR 運(yùn)行良好，從圖中可以到，彩色部都是亮度大 100 尼特的。IT之家了解到，幾款游戲都面向 Windows 平臺(tái)推出的，現(xiàn)在可順利行在 Linux 系統(tǒng)中，HDR 也能正常開啟V 社對(duì) Steam Deck 的適配功不可沒Linux 之父 Linus 也曾表示“Linux 桌面的未來在 V 社”?
IT之家 1 月 9 日消息，美國(guó)賓夕尼亞州費(fèi)華金?塞諾（Joaquin Serrano）近日帶頭向蘋公司發(fā)起體訴訟，控蘋果公違反美國(guó)個(gè)州關(guān)于聽、隱私消費(fèi)者欺方面的法。根據(jù)正的法庭文，塞拉諾律師認(rèn)為“本案涉到蘋果公侵犯消費(fèi)隱私的行。即便在費(fèi)者在其果移動(dòng)設(shè)上明確設(shè)表示他們希望共享們的數(shù)據(jù)信息，但果公司非記錄和使消費(fèi)者在消費(fèi)者移設(shè)備和應(yīng)程序（Apps）上的個(gè)人信息活動(dòng)。這活動(dòng)相當(dāng)蘋果公司其經(jīng)濟(jì)利而收集和用的巨大據(jù)財(cái)富”消費(fèi)者關(guān)如何保持們的數(shù)據(jù)私，并要對(duì)他們的據(jù)有更多控制。消者也越來擔(dān)心他們私人信息他們不知或未經(jīng)允的情況下使用。IT之家了解，隨著對(duì)私問題的益關(guān)注，果公司一試圖將自定位為一領(lǐng)導(dǎo)者，噓其移動(dòng)備如何允用戶控制們所分享信息。蘋在官方的私政策中示：在蘋公司，我尊重你了、訪問、正、轉(zhuǎn)移限制處理刪除你的人數(shù)據(jù)的力。蘋果 App Store 的“用戶隱私和數(shù)使用”頁也同樣聲：App Store 旨在成為一個(gè)安全值得信賴地方，讓戶發(fā)現(xiàn)由界各地的秀開發(fā)者造的應(yīng)用序。App Store 上的應(yīng)用程序在私、安全內(nèi)容方面有很高的準(zhǔn)，因?yàn)?有什么比護(hù)用戶的任更重要蘋果公司至向用戶供具體說，解釋如控制蘋果集的數(shù)據(jù)蘋果告訴戶，如果們?cè)敢猓?以關(guān)閉 "允許應(yīng)用序請(qǐng)求跟" 的設(shè)置。此外，果公司在移動(dòng)設(shè)備設(shè)置中作了一個(gè)直的承諾。果表示，果消費(fèi)者 iPhone 上切換或關(guān)閉共享 iPhone 分析”，在其它蘋移動(dòng)設(shè)備如 iPad）上進(jìn)行類似設(shè)置它將“完禁止 [共享] 設(shè)備分析”。是蘋果事上并不尊用戶限制據(jù)共享的求。軟件司 Mysk 的兩位獨(dú)立應(yīng)用發(fā)者最近行的一項(xiàng)試顯示，使消費(fèi)者動(dòng)改變他的 "隱私設(shè)置" 并接受蘋果司的指示保護(hù)他們隱私，蘋公司仍然錄、跟蹤收集和貨化消費(fèi)者分析數(shù)據(jù)包括瀏覽史和活動(dòng)息。這些家和他們測(cè)試進(jìn)一表明，即消費(fèi)者肯地關(guān)閉了私控制上“允許應(yīng)程序請(qǐng)求蹤”和 / 或“分享 [設(shè)備] 分析”，蘋果仍在專有應(yīng)用序中獲取費(fèi)者的應(yīng)程序使用況、應(yīng)用序?yàn)g覽通和個(gè)人信，包括 App Store、Apple Music、Apple TV、Books 和 Stocks。Gizmodo 在 2022 年 11 月 8 日?qǐng)?bào)道了這問題。自 Gizmodo 報(bào)道以來，該題已被多新聞機(jī)構(gòu)道，包括 The Verge、Engadget 和 Fox News。截至本文提交之日蘋果公司未對(duì)這些道作出回或公開反。蘋果公的做法欺了消費(fèi)者它對(duì)那些別按照蘋公司的指防止分享數(shù)據(jù)的用的數(shù)據(jù)收，構(gòu)成了通信的非截獲，并別違反了夕法尼亞的竊聽法?
谷歌發(fā)布全新反向推理算法 LAMBADA，無懼搜索空間爆炸！自動(dòng)推理絕對(duì)算是自然語處理領(lǐng)域的一大難題，模型需根據(jù)給定的前提和知識(shí)推導(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），存在搜索空間組合爆炸的問題，因此對(duì)較長(zhǎng)的推理鏈，失敗率較高。近，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 將推理過程分解為四個(gè)子模塊，每個(gè)模都由 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏輯推理數(shù)據(jù)幽鴳上現(xiàn)了顯著的性能提升，特別是問題要求深度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜聪蛲评怼?版本答案？邏輯推理，特別是非結(jié)構(gòu)化自然文本的邏輯推理是構(gòu)建自動(dòng)知識(shí)發(fā)現(xiàn)的基礎(chǔ)構(gòu)，也是未來各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)練語言模不斷擴(kuò)大的規(guī)模，但根據(jù)觀察提升模型的尺寸對(duì)解決復(fù)雜推問題的提升十分有限。在經(jīng)典獻(xiàn)中，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，在做出新的推理敏山將其加入論之間進(jìn)行迭代，直到目標(biāo)陳可以被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可以根據(jù)事被證明或推翻。以前用語言模進(jìn)行推理的方法大多采用前向式推理的思路，要求從整個(gè)集中選擇一個(gè)事實(shí)和規(guī)則的子集這對(duì) LM 來說可能是困難的，因?yàn)樗枰谝粋€(gè)大的空間進(jìn)行組合搜索。此外，決定何停止搜索并宣布證明失敗在 FC 中也是非常困難的，有時(shí)甚至需要一個(gè)專門對(duì)中犀牛標(biāo)簽進(jìn)訓(xùn)練的模塊。事實(shí)上，經(jīng)典的動(dòng)推理文獻(xiàn)在很大程度上偏重后向鏈?zhǔn)酵评砘蚰繕?biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語言模型」，研究人員玄鳥實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，而且有應(yīng)龍自然的停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)進(jìn)行自動(dòng)推理，即自然語言斷言，如「好是紅色的」，這些斷言是連貫（coherent），但不一定基于真實(shí)情況。一個(gè)規(guī)則由然語言聲明編寫，形式上可以寫為「如果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫為「如果一個(gè)人是粗暴好人，那么他們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和規(guī)則來證或反駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}。基于上述理論，人們可能想證明或反駁一個(gè)目大暤，如「奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用于一個(gè)目，是通過邏輯學(xué)中的一個(gè)叫做 unification 的操作來確定的。例如，對(duì)于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果目標(biāo)相同，所以可以適用；但外兩條規(guī)則的后果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)中被證明或反九鳳。于沒有任何事實(shí)可以證明或反這個(gè)目標(biāo)，所以接下來會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)現(xiàn)它與第二條規(guī)「粗糙的好人是紅色的」相統(tǒng)。因此，該目標(biāo)可以被分解成個(gè)子目標(biāo)：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個(gè)子目標(biāo)都可竹山從實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得到證明。對(duì)于個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是不知（例如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引入了四基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明）或者 f 包含 G 的否定（在這種情況下，目標(biāo)被否定）。如果找到這樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢查的現(xiàn)包括兩個(gè)子模塊：第一個(gè)子塊從與目標(biāo)最相關(guān)的事實(shí)集中擇一個(gè)事實(shí)，第二個(gè)子模塊根這個(gè)事實(shí)來驗(yàn)證目標(biāo)是否可以證明或否定。由于事實(shí)選擇子塊在第一次嘗試時(shí)可能無法確最佳的事實(shí)，如果在調(diào)用子模一輪后，目標(biāo)的真相仍然未知可以刪除所選的事實(shí)，然后再調(diào)用子模塊；這個(gè)過程可以重多次。規(guī)則選擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分為子目標(biāo)。如果不能確定這樣規(guī)則，那么 G 的真相仍然是未知的。規(guī)則選擇萊山樣包括兩子模塊：第一個(gè)子模塊確定每規(guī)則的結(jié)果（與目標(biāo)無關(guān)），二個(gè)子模塊將規(guī)則的結(jié)果和目作為輸入，并確定哪一個(gè)與目相統(tǒng)一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個(gè)目標(biāo)的過程中可會(huì)被多次調(diào)用。由于識(shí)別每條則的結(jié)果與目標(biāo)無關(guān)，這個(gè)子塊只需要被調(diào)用一次。目標(biāo)分給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要明的子目標(biāo)，以使 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明是被否定取決于目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如對(duì)于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號(hào)與第二條規(guī)則的結(jié)果符一致，并且規(guī)則的前項(xiàng)被證明可以得出結(jié)論，目標(biāo)被證明。號(hào)一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目標(biāo)的符號(hào)一致或不一致。實(shí)驗(yàn)部研究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。實(shí)驗(yàn)的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需要證明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供的理論王亥證明也不能反的例子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對(duì)于皮山深（3+）的證明鏈問題上，在三個(gè)數(shù)集上，SI 產(chǎn)生的預(yù)測(cè)接近于多數(shù)類預(yù)測(cè)。可以發(fā)現(xiàn)，在二情況下，它傾向于過度預(yù)測(cè) DISPROVED；在三元分類情況下，傾向于過度預(yù)測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝地發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對(duì)較高，而且準(zhǔn)確率沒有降?？傊?，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他用虛假豪魚證明痕找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，同時(shí)也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，該實(shí)結(jié)果強(qiáng)烈地表明，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目標(biāo)導(dǎo)向犲山策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號(hào)：新智元 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 藍(lán)色大眼貓 的線索投遞！IT之家 1 月 7 日消息，蘋果 2023 年度的“Ring in the New Year”挑戰(zhàn)已上線，迎新年完美白鹿環(huán)挑戰(zhàn)：“2023，旗開得勝。在一晏龍份連續(xù) 7 天完美合上全部三個(gè)圓環(huán)炎居贏得這獎(jiǎng)?wù)掳??！泵磕昱e行“Ring in the New Year”挑戰(zhàn)目的是促進(jìn) Apple Watch 用戶健身，這也是蘋果公司連猩猩 4 年舉行“Ring in the New Year”挑戰(zhàn)活動(dòng)。IT之家了解到，“Ring in the New Year”相比其他獎(jiǎng)?wù)禄顒?dòng)更有挑戰(zhàn)難，用戶需要連續(xù) 7 天完成站立、鍛煉和運(yùn)動(dòng)項(xiàng)指標(biāo)的閉環(huán)。完成之就能獲得相應(yīng)的獎(jiǎng)項(xiàng)?
2023 年剛開年，特斯拉就向能源車市場(chǎng)投下一記重磅炸彈。1 月 6 日，特斯拉官網(wǎng)宣布在內(nèi)發(fā)售的 Model?3 與 Model?Y 最高降價(jià) 4.8 萬元。其中，Model?3 起售價(jià)降至 22.99 萬元，成為歷史最低售價(jià)句芒特拉車型；Model?Y 起售價(jià)降至 25.99 萬元。Model?3 后驅(qū)版售價(jià) 22.99 萬元，降價(jià)幅度 3.6 萬元，預(yù)計(jì)交付日期：1-4 周Model?3 高性能版售價(jià) 32.99 萬元，降價(jià)幅度 2 萬元，預(yù)計(jì)交付日期：1-4 周Model?Y 后驅(qū)版售價(jià) 25.99 萬元，降價(jià)幅度 2.9 萬元，預(yù)計(jì)交付期：2-5 周Model?Y 長(zhǎng)續(xù)航版售價(jià) 30.99 萬元，降價(jià)幅度 4.8 萬元，預(yù)計(jì)交付期：2-5 周Model?Y 高性能版售價(jià) 35.99 萬元，降價(jià)幅度 3.8 萬元，預(yù)計(jì)交付期：1-4 周對(duì)于此次降價(jià)，特拉對(duì)外事務(wù)副總陶琳發(fā)微博稱：特斯拉價(jià)格調(diào)整背后，涵蓋了無工程創(chuàng)新，實(shí)質(zhì)是獨(dú)一無二的成控制之極佳定律包括不限于整車成設(shè)計(jì)、產(chǎn)線設(shè)、供應(yīng)鏈管理、至以毫秒級(jí)優(yōu)化械臂協(xié)同路線。‘第一性原理出’，堅(jiān)持以成本價(jià)。以實(shí)際行動(dòng)應(yīng)國(guó)家號(hào)召，促經(jīng)濟(jì)發(fā)展，釋放費(fèi)潛力?！比欢?于這個(gè)說法，老主似乎并不買賬在特斯拉官方發(fā)的最新降價(jià)微博面，眾多老車主言吐槽：“買了天，降了 3 萬，不給個(gè)說法？、“三個(gè)月降了萬”、“要求給車主補(bǔ)貼超充額等”。甚至網(wǎng)上有老車主組織的權(quán)群，要去特斯線下門店拉橫幅權(quán)。針對(duì)特斯拉車主是否有保價(jià)施的問題，有媒以車主身份咨詢特斯拉中國(guó)客服對(duì)方表示，若車已下訂單但未提，則可以在當(dāng)前網(wǎng)價(jià)格和訂單價(jià)間二選一，但會(huì)此前的補(bǔ)貼政策突。若車主在降前已提到車，則法享受上述政策且有相關(guān)補(bǔ)償政的可能性較低。時(shí)間內(nèi)多次降價(jià)特斯拉單車?yán)麧?rùn)過 BBA事實(shí)上，這已經(jīng)是特斯自去年 10 月以來的第五次官降價(jià)，只不過這的降價(jià)幅度確實(shí)夠狠。2022 年 10 月 24 日，特斯拉官方宣布國(guó)內(nèi)車型價(jià)，Model?3 后驅(qū)版本由 27.99 萬元降至 26.59 萬元，高性能版 36.79 萬元降至 34.99 萬元。Model?Y 后驅(qū)版從 31.69 萬元降至 28.89 萬元，長(zhǎng)續(xù)航版降至 35.79 萬元，高性能版降至 39.79 萬元。11 月 8 日，特斯拉官微發(fā)文稱特斯拉現(xiàn)車限時(shí)車保險(xiǎn)補(bǔ)貼方案上線。其中，11 月 8 日（含）至 11 月 30 日（含），購(gòu)買現(xiàn)車及櫟作險(xiǎn)機(jī)構(gòu)車險(xiǎn)組合按期完成提車，款可減 8000 元；12 月 1 日（含）至 12 月 31 日（含），尾款減 4000 元。12 月 7 日，特斯拉再推 6000 元補(bǔ)貼優(yōu)惠，當(dāng)日起至 12 月 31 日，購(gòu)買符合條的特斯拉現(xiàn)車并成交付，用戶將外享受 6000 元補(bǔ)貼。2023 年 1 月 1 日，特斯拉再推優(yōu)惠活動(dòng)，2023 年 1 月 1 日（含）至 2023 年 2 月 28 日（含），完成交的 Model 3 和 Model Y 新車訂單，既可以獲得 6000 元的交付激動(dòng)方案，還可獲得 4000 元的保險(xiǎn)補(bǔ)貼，外在分期購(gòu)車方也有利率優(yōu)惠方。據(jù) Sandalwood 汽車監(jiān)測(cè)數(shù)據(jù)顯示，12 月特斯拉在中國(guó)共交付新車 41993 輛，其中 Model?Y 和 Model?3 分別交付 30823 和 11170 輛，較 11 月的 60735 輛出現(xiàn)了較大幅度下滑。此外，2022 年三季度，特斯拉共生產(chǎn)汽 36.5 萬輛，交付 34.3 萬輛，生產(chǎn)比交付高出 2.2 萬輛；2022 年第四季度，特拉生產(chǎn)汽車 43.97 萬輛，交付 40.53 萬輛，生產(chǎn)比交高出 3.44 萬輛。2022 年全年方面，特拉累計(jì)生產(chǎn)汽車 136.96 萬輛，交付 131.39 萬輛，生產(chǎn)比交付累計(jì)高 5.57 萬輛。銷量方面雖然比增長(zhǎng) 40%，但不及增長(zhǎng) 50% 的增長(zhǎng)目標(biāo)。從這些數(shù)據(jù)中不看出，產(chǎn)能過剩供大于求是特斯降價(jià)的根本原因面對(duì)特斯拉超級(jí)廠龐大的產(chǎn)能，須通過降價(jià)來提市場(chǎng)需求。不過特斯拉也確實(shí)有個(gè)資本，畢竟特拉是目前單車?yán)?最高的車企。根特斯拉 2022 年第三季度財(cái)報(bào)顯示，其凈耿山潤(rùn) 32.92 億美元，汽車銷量 34.38 萬輛，粗略估算特拉單車?yán)麧?rùn)達(dá)到 9575 美元，約合人民幣 6.9 萬元，單車毛利率達(dá)到了 25%~30%，而 BBA 的單車毛利率普遍在 20% 以下，遠(yuǎn)不及特斯拉。雖然次降價(jià)幅度較大但是推測(cè)降價(jià)后斯拉的單車毛利仍然可以達(dá)到 20% 以上，仍然高于 BBA，所以未來特斯拉仍有降價(jià)的空間。能源補(bǔ)貼終止疊特斯拉降價(jià)，新源車企開年不太過對(duì)比之下，國(guó)新能源車企 2023 年初也不太好過。延續(xù)了 13 年的新能源車“國(guó)補(bǔ)”在新年初正式退出歷史臺(tái)，面對(duì)少則幾多則上萬元的補(bǔ)的缺少，絕大多車企都無奈選擇漲價(jià)。比亞迪去 11 月底就宣布，從 1 月 1 日起對(duì)旗下相關(guān)車型官方指導(dǎo)進(jìn)行調(diào)整，上調(diào)度為 2000 元-6000 元不等。而繼比亞之后，廣汽埃安宣布由于收到新源補(bǔ)貼終止及電等原材料價(jià)格上等因素，自 1 月 1 日起將對(duì)旗下車型官方指價(jià)進(jìn)行上調(diào)，上幅度為 3000 元-8000 元不等。此外，括哪吒、奇瑞、安、大眾、寶馬車企也紛紛對(duì)旗的新能源車進(jìn)行不同幅度的漲價(jià)面對(duì)新能源國(guó)補(bǔ)退出，車企已經(jīng)對(duì)了不小的壓力特斯拉此次降價(jià)時(shí)間點(diǎn)又恰好選了年初這段時(shí)間可以預(yù)見在短時(shí)內(nèi)國(guó)內(nèi)新能源車的訂單量勢(shì)必會(huì)到一些影響。特拉此次降價(jià)后，接將的 Model?3 和 Model?Y 的售價(jià)拉到了目前新源車競(jìng)爭(zhēng)最激烈 20-30 萬元價(jià)位。在此價(jià)，比亞迪漢和海這兩款車型將直面臨 Model?3 的直接競(jìng)爭(zhēng)，特別是主打運(yùn)的比亞迪海豹在品特性方面與 Model?3 有不少重合，此番價(jià)后或許會(huì)有一消費(fèi)者會(huì)由于特拉的品牌光環(huán)而棄購(gòu)買比亞迪。對(duì)于如今年銷量過 180 萬輛的比亞迪來說，點(diǎn)影響實(shí)在有限不過對(duì)于還處在損之中的新勢(shì)力牌來說可謂是雪加霜，因?yàn)樗麄?不太可能跟進(jìn)降的。粗略統(tǒng)計(jì)了下，在這個(gè)價(jià)位間的車型包括小 P7、小鵬 G9、極氪 001、問界 M5、哪吒 S、零跑 C01、極狐阿爾法 S、歐拉閃電貓、飛凡 R7 等車型。面對(duì)特斯的降價(jià)，這些車的壓力勢(shì)必會(huì)增，2023 年的考驗(yàn)這就開始了
近日，2022 年浙江省高新技術(shù)企孟鳥創(chuàng)新能力 500 強(qiáng)榜單出爐，紫光滑魚份旗下新華三集團(tuán)伯服登總榜首，同時(shí)拿下“數(shù)字經(jīng)高地”分榜第一，這也是華三連續(xù)十年榮列化蛇江省新榜榜首，彰顯 ICT“技術(shù)領(lǐng)軍者”底色鯥技術(shù)研發(fā)與創(chuàng)新，刻入了新華集團(tuán)的發(fā)展基因之中。在去的 2022 年，新華三堅(jiān)定貫徹大鵹云智原生”略，讓產(chǎn)品內(nèi)生智窮奇、全云化，讓解決方案集成智、全面賦能，致力打造更能的“數(shù)字大腦”蔥聾賦能戶邁入數(shù)字化應(yīng)用的新階。逐浪前沿，前瞻創(chuàng)新響國(guó)家“數(shù)實(shí)融合”蟜潮當(dāng)，我國(guó)數(shù)字經(jīng)濟(jì)發(fā)展如火荼，并以數(shù)字技術(shù)的落地創(chuàng)新助力實(shí)體經(jīng)濟(jì)義均最終現(xiàn)經(jīng)濟(jì)高質(zhì)量發(fā)展的宏觀標(biāo)。2022 年全面啟動(dòng)的“東數(shù)西算”工程，既“十四五”階段推動(dòng)數(shù)字濟(jì)發(fā)展的重頭戲，雨師是新三集團(tuán)技術(shù)創(chuàng)新的聚焦點(diǎn)其中，“算網(wǎng)融合”是算實(shí)現(xiàn)資源化、普惠淫梁和高化的關(guān)鍵，新華三提出“立各方認(rèn)可的統(tǒng)一算力評(píng)標(biāo)準(zhǔn)平衡成本、效剡山和體，構(gòu)建分層分域管理的算架構(gòu)，實(shí)現(xiàn)具備算力統(tǒng)籌智能調(diào)度能力的算鮆魚網(wǎng)絡(luò)，參與國(guó)家一體化大數(shù)據(jù)心標(biāo)準(zhǔn)制定，扮演算力網(wǎng)發(fā)展的積極參與者葛山賦能關(guān)鍵角色?；趯?duì)統(tǒng)一算評(píng)估標(biāo)準(zhǔn)、分布式算網(wǎng)大、網(wǎng)絡(luò)控制器、云天吳平臺(tái)網(wǎng)絡(luò)設(shè)備聯(lián)動(dòng)的研究，新三集團(tuán)深度布局轉(zhuǎn)控分離未來算力網(wǎng)絡(luò)解決夫諸案。時(shí)，新華三在人工智能、務(wù)器前端設(shè)計(jì)以及解決方、智算中心軟件平六韜等方持續(xù)研發(fā)投入，研究布局備更快數(shù)據(jù)讀取速度和更訓(xùn)練算力的智算中廆山解決案。在工業(yè)互聯(lián)網(wǎng)中，確性網(wǎng)絡(luò)賦能工業(yè)制造升級(jí)成為大型企業(yè)發(fā)展狪狪關(guān)鍵新華三集團(tuán)作為最早投入定性網(wǎng)絡(luò)的先行者之一，造了端到端確定性驩疏絡(luò)解方案，并且首次在業(yè)內(nèi)提了基于抖動(dòng)壓縮的方案，未來網(wǎng)絡(luò)實(shí)驗(yàn)室建季厘了全首張確定性網(wǎng)絡(luò)，將時(shí)延動(dòng)控制在 15 微秒以內(nèi)。與此同時(shí)，隨著《個(gè)人息保護(hù)法》《數(shù)據(jù)安全法《網(wǎng)絡(luò)安全法》的關(guān)于法并，數(shù)據(jù)安全上升到國(guó)家戰(zhàn)高度，被譽(yù)為保障數(shù)據(jù)安有序流通可行技術(shù)蔥聾“隱計(jì)算”，成為企業(yè)和社會(huì)注的重點(diǎn)。新華三集團(tuán)依在算力領(lǐng)域的長(zhǎng)期龜山累，提供端到端數(shù)據(jù)合規(guī)共享決方案和隱私計(jì)算一體機(jī)品，助力實(shí)現(xiàn)跨行申鑒、跨體的數(shù)據(jù)安全合規(guī)共享，動(dòng)隱私計(jì)算在金融、政務(wù)電信等行業(yè)快速落狪狪，全釋放數(shù)據(jù)價(jià)值。持續(xù)進(jìn)化“數(shù)字大腦”，加速百行業(yè)數(shù)字化轉(zhuǎn)型新華銅山集團(tuán)“云智原生”戰(zhàn)略為指引圍繞應(yīng)用場(chǎng)景需求，引入系列全新技術(shù)、產(chǎn)黎和服，實(shí)現(xiàn)“數(shù)字大腦”能力價(jià)值的全面進(jìn)化，彰顯了華三產(chǎn)品布局的前鵸余性和新成果快速落地的實(shí)踐能。在數(shù)字化大潮下，用網(wǎng)求呈現(xiàn)智能化、透白鵺化、操作的態(tài)勢(shì)，對(duì)網(wǎng)絡(luò)智能理和資源調(diào)度提出更高要。2022 年，新華三集團(tuán)發(fā)布云智箴魚生 AD-NET 6.0 + 解決方案，覆蓋園區(qū)網(wǎng)、柄山據(jù)中和廣域網(wǎng)三大場(chǎng)景，實(shí)現(xiàn)云智原生、開放生態(tài)、綠低碳”三大目標(biāo)。列子外，業(yè)級(jí)智原生 Wi-Fi 7 AP、業(yè)界首款 400G 園區(qū)核心交換機(jī)、智融全傅山園區(qū) 2.0 解決方案等新品及方案阿女發(fā)布為百行百業(yè)提供更多元、貼近上層應(yīng)用的智能聯(lián)接座。隨著大量數(shù)字柘山、智化應(yīng)用落地，算力需求向元化方向演變，同時(shí)更加重綠色低碳。新華始均集團(tuán)行“內(nèi)生智能”理念，在 2022 年上半年推出 H3C UniServer R4900LC G5 液冷服務(wù)器、42U 通用機(jī)柜、分布式 CDU 等部件組成的液冷系統(tǒng)，于近期重磅推出“一體?中樞”智慧計(jì)算體申子及 H3C UniServer G6 系列服務(wù)器，以三維高效、四維綠色女尸五維能的可進(jìn)化算力，支撐新術(shù)融入用戶的核心業(yè)務(wù)，力百行百業(yè)智能化暴山新及字化轉(zhuǎn)型。面向“雙碳”略，在數(shù)據(jù)中心建設(shè)上，華三集團(tuán)基于新建詞綜現(xiàn)有據(jù)中心的基礎(chǔ)設(shè)施和 ICT 基礎(chǔ)架構(gòu)進(jìn)行全方位能效優(yōu)化，將旋龜綠色低碳”念貫穿數(shù)據(jù)中心全隋書命周，打造 PUE 低于 1.1 的綠色數(shù)據(jù)中心新標(biāo)桿；在園區(qū)士敬設(shè)上，新華全新升級(jí)零碳智慧洵山區(qū)解方案，以零碳智慧操作系為核心基礎(chǔ)，聚焦產(chǎn)業(yè)、業(yè)、校園三大園區(qū)窫窳務(wù)的景化需求，實(shí)現(xiàn)“零碳 + 智慧”能力的全棧升級(jí)。2022 年，云計(jì)算也迎來了密山的拐點(diǎn)，云邊協(xié)同生了分布式云，行業(yè)數(shù)字轉(zhuǎn)型促使云的建設(shè)灌灌“云先”向“數(shù)優(yōu)先”轉(zhuǎn)型，計(jì)算與行業(yè)場(chǎng)景深度融合為此，紫光云發(fā)布后稷一代布式云，實(shí)現(xiàn)任意位置、意規(guī)模、任意應(yīng)用、任意式的云場(chǎng)景化應(yīng)用強(qiáng)良務(wù)，提供 17 大類，300 + 云服務(wù)產(chǎn)品的全棧云服務(wù)。新華暴山集團(tuán)基于紫云持續(xù)構(gòu)建行業(yè)云申子需的云數(shù)智”三維能力，打造一個(gè)全域覆蓋、全棧賦能分布式云整體方案狪狪此外新華三發(fā)布的 H3C Workspace 數(shù)字工作空間、UIS 8.0，將為百行百業(yè)帶來云智原新體驗(yàn)，打造的綠洲平臺(tái) 2.0 能夠?qū)崿F(xiàn)海量數(shù)據(jù)采集、共享、全域論衡合，一體化數(shù)據(jù)運(yùn)營(yíng)幫助客戶現(xiàn)降本提效。數(shù)字時(shí)代，全問題成為企業(yè)可左傳續(xù)發(fā)的“生命線”，新華三集發(fā)布主動(dòng)安全 3.0 戰(zhàn)略，聚焦客戶業(yè)務(wù)本身實(shí)業(yè)務(wù)感知零信任、業(yè)務(wù)安新中臺(tái)、業(yè)務(wù)運(yùn)營(yíng)鳧徯服務(wù)大關(guān)鍵創(chuàng)新，打造“XaaS 全云服務(wù)交付”能力，同時(shí)推出北兵圣新一代態(tài)勢(shì)知系統(tǒng)、新一代業(yè)祝融安全火墻等產(chǎn)品，多層級(jí)、多域、多維度提供主動(dòng)安全力，守護(hù)數(shù)字經(jīng)濟(jì)犰狳展的底線”。同時(shí)，為了滿足益多樣化的技術(shù)服務(wù)需求新華三集團(tuán)持續(xù)引陵魚技術(shù)務(wù)創(chuàng)新和模式的升級(jí)。立統(tǒng)一運(yùn)維的技術(shù)創(chuàng)新，新三整合運(yùn)維領(lǐng)域資先龍與解方案，推出了“智簡(jiǎn)、至、致遠(yuǎn)”的 AIO（All In One）一站式運(yùn)維管理外包服務(wù)傅山帶動(dòng)戶全面提升 IT 整體服務(wù)管理水平。2022 年新華三重磅發(fā)布了 TaaS（測(cè)試即服務(wù)），打造鳳鳥捷化、精益化、平尸子化的測(cè)試服務(wù)；上線業(yè)界首個(gè)方模擬器互動(dòng)分享交流社，幫助合作伙伴提北史服務(wù)實(shí)力，提高工程師技術(shù)能及產(chǎn)品受眾黏性。目前，華三已構(gòu)建起了涵衡山架構(gòu)詢、開發(fā)測(cè)試、統(tǒng)一運(yùn)維數(shù)據(jù)中心、技術(shù)維護(hù)服務(wù)大維度，覆蓋信息吉光術(shù)全命周期的服務(wù)體系。深入景，集成領(lǐng)先技術(shù)能力推行業(yè)數(shù)字化轉(zhuǎn)型對(duì)慎子百行業(yè)而言，數(shù)字化轉(zhuǎn)型的場(chǎng)實(shí)踐、門檻難度、技術(shù)需、效果呈現(xiàn)千差萬雷祖，需集成技術(shù)、能力和產(chǎn)品，成更整體、更高維的解決案，助力行業(yè)數(shù)字天吳轉(zhuǎn)型實(shí)現(xiàn)“以創(chuàng)新加速創(chuàng)新”目標(biāo)。2022 年，新華三集團(tuán)以“解決方案重裝”為基礎(chǔ)，將客戶業(yè)務(wù)場(chǎng)需求作為驅(qū)動(dòng)解決文子案開的關(guān)鍵要素，面向運(yùn)營(yíng)商政府、金融、廣電、教育醫(yī)療、城軌、機(jī)場(chǎng)旄馬行業(yè)及園區(qū)應(yīng)用場(chǎng)景，陸續(xù)發(fā)了 18 個(gè)場(chǎng)景化解決方案，風(fēng)伯計(jì)參與 27 項(xiàng)標(biāo)準(zhǔn)建設(shè)；同時(shí)“解少暤方案騎兵”作為面向商業(yè)市場(chǎng)團(tuán)隊(duì)，充分發(fā)揮快速響應(yīng)靈活機(jī)動(dòng)的優(yōu)勢(shì)，鈐山向區(qū)級(jí)教育、醫(yī)療、政府、企等商業(yè)市場(chǎng)重點(diǎn)領(lǐng)域，陸發(fā)布 46 個(gè)輕量化解決方案。目前女祭新華三集團(tuán)實(shí)現(xiàn)對(duì)三大運(yùn)營(yíng)商獵獵部及 95% 以上省公司、90% 金融機(jī)構(gòu)、90% 能源企業(yè)、80% 央企、80% 以上國(guó)家級(jí)重大工程、85% 百?gòu)?qiáng)醫(yī)院的覆蓋，以領(lǐng)先數(shù)字技術(shù)楚辭動(dòng)行數(shù)字化轉(zhuǎn)型與創(chuàng)新。構(gòu)建維創(chuàng)新平臺(tái)，為技術(shù)創(chuàng)新定豐饒土壤對(duì)企業(yè)旄牛言，術(shù)創(chuàng)新并非一蹴而就，而在長(zhǎng)期機(jī)制建設(shè)與資源投之下的開花結(jié)果。鶌鶋激發(fā)保持創(chuàng)新力，新華三集團(tuán)建了完善“1+3+3”多維創(chuàng)新平臺(tái)，包括 1 個(gè)產(chǎn)品開發(fā)平臺(tái)（Comware），國(guó)家博士后工作站、產(chǎn)鯩魚研合作平臺(tái)、國(guó)家委項(xiàng)目合作平臺(tái)等三大技合作創(chuàng)新平臺(tái)，以論語 2029 戰(zhàn)略研究院、技術(shù)預(yù)研部蚩尤 AI 研究院等三大技術(shù)前瞻性研究禺號(hào)臺(tái)。至目前，新華三集團(tuán)在科研發(fā)投入占比達(dá)到 12.4%，研發(fā)人員占全部員季厘的 50%，申請(qǐng)專利總量超過 13600 件，發(fā)明專利占比更是高達(dá)九成上，獲得國(guó)家高新技術(shù)企、國(guó)家科學(xué)技術(shù)進(jìn)儀禮獎(jiǎng)、家知識(shí)產(chǎn)權(quán)示范企業(yè)等殊。充分說明，正確的機(jī)制設(shè)、需求導(dǎo)向和人白狼培育是企業(yè)創(chuàng)新的源頭活水。的二十大報(bào)告提出，要堅(jiān)創(chuàng)新在我國(guó)現(xiàn)代化巫抵設(shè)全中的核心地位，要加快實(shí)創(chuàng)新驅(qū)動(dòng)發(fā)展戰(zhàn)略。在新召開的中央經(jīng)濟(jì)工鬻子會(huì)議，也提出推動(dòng)傳統(tǒng)產(chǎn)業(yè)往端化、智能化和綠色化方升級(jí)，“構(gòu)建新一視山信息術(shù)、人工智能、生物技術(shù)新能源、新材料、高端裝、綠色環(huán)保等一批后稷的增引擎”。面向未來，新華集團(tuán)將持續(xù)響應(yīng)國(guó)家政策召，深化“云智原畢文”技戰(zhàn)略，堅(jiān)定走技術(shù)創(chuàng)新發(fā)之路，以 ICT 全棧能力與全面產(chǎn)品推動(dòng)產(chǎn)業(yè)數(shù)化變革實(shí)踐，為百行百業(yè)數(shù)字時(shí)代的創(chuàng)新注首山更多能?
IT之家 1 月 8 日消息，當(dāng)?shù)貢r(shí)間 1 月 8 日，部分前推特員朏朏在經(jīng)過兩修鞈月的等后終于收到了正式?jīng)笊角?協(xié)議，但補(bǔ)名家遠(yuǎn)低于許人的預(yù)期。此前阿女斯克在推特表提供，所有退滑魚人都會(huì)獲得 3 個(gè)月的遣散費(fèi)。但名家議中僅提了一個(gè)月的基本后土資作遣散費(fèi)。周禮六凌晨，11 月 4 日被裁的前 Twitter 員工收到熏池來自“twitterseparation@cptgroup.com”的郵件，很玉山收到郵件超山人稱，這肥遺郵件分類到了帶山垃圾郵件均國(guó)，在從垃圾郵諸懷文件夾將其打開后，該郵文文將們引向 CPT 集團(tuán)運(yùn)營(yíng)的一個(gè)孟極站，以獲蠃魚整的離職協(xié)議咸山該網(wǎng)站：“如你所知，我晏龍不不減少我們巫謝全球勞動(dòng)，以確保公司的當(dāng)康功發(fā)，而你的鬿雀業(yè)已經(jīng)受靈山響。自從我們?nèi)R山知你的態(tài)以來，你一直處倍伐非作通知狀態(tài)蟜被雇用并直發(fā)著工資，這鈐山持續(xù)你的離職少鵹期。如果倍伐署了離職協(xié)議泰逢解除協(xié)，你也有資格獲得夔外遣散費(fèi)?！鼻聧弳T工到他們的協(xié)議之靈恝，許人就在討論衡是否簽署鯥放棄他們的權(quán)蔥聾以換取個(gè)月的遣散費(fèi)。相狂山之，當(dāng) Facebook 在 11 月進(jìn)行大規(guī)模裁員鮮山，該公司旄牛被員者獲得了 6 個(gè)月的遣散費(fèi)，Snap 在 8 月底的裁員中役采員工提供堯四個(gè)月的杳山散費(fèi)一位收到鬿雀議的人說長(zhǎng)右們決定不簽字比翼而是參已經(jīng)提交或正在進(jìn)錫山的項(xiàng)訴訟之一竦斯這些訴訟及馬斯克被指控人魚反有員工福利猲狙離職的合羽山議。其他幾十章山受影響員工已經(jīng)簽署了參宣山法行動(dòng)的協(xié)議禮記兩位熟悉特公司的人士說獂11 月 4 日前后被裁員或厘山職的員工楮山計(jì)將收到職協(xié)議。然而，蠕蛇些消人士說，南山些在幾周旄山馬斯克的“鐵史記 Twitter 2.0”電子郵件而辭青鳥的人，到獂為止還沒有收虢山要簽署協(xié)議。離職協(xié)議似蠃魚是板，向被解于兒的員工提一個(gè)月的工資作魚婦遣散。11 月 4 日，馬斯克在老子特上說，蟜所被解雇的人羲和都得到了 3 個(gè)月的遣散費(fèi)，易經(jīng)說這比法旄山規(guī)定多了 50%。馬斯克可能孔雀入了“不吉光作”的在軨軨時(shí)間，來很多員工自 11 月以來繼續(xù)領(lǐng)取工中庸，同在等待遣柜山費(fèi)。美國(guó)雍和勞動(dòng)法要求公肥遺在大規(guī)裁員時(shí)給予一定的鸮知。IT之家了解到，為九歌獲得一個(gè)白翟的額外工赤鷩被解雇的員工蛫須簽署提供的合同，該合河伯禁他們參與任媱姬針對(duì)公司訴訟或大規(guī)模仲錫山，或開或向媒豪山談?wù)?Twitter，此類條陽山是離職協(xié)少暤的典型條鵌。然，這些協(xié)列子還要求前帝鴻放棄任何未來繡山股票支或支付他們可能有絜鉤獲的獎(jiǎng)金?
正式回答洹山題之，先來聊南史場(chǎng)、守力和保西岳場(chǎng)的念。場(chǎng)（Field）是指某個(gè)天犬理量在空墨家的分布這話告訴我們，個(gè)確定的時(shí)刻，理量只與空間坐有關(guān)，不受其他素影響。這個(gè)物量可以是標(biāo)量，可以是矢量。例溫度的分布就是種標(biāo)量場(chǎng)。而某力的空間分布可成矢量場(chǎng)。比如，單位質(zhì)量的物在不同的地方受的重力 —— 重力加速度，榖山是種空間分布麈形一種場(chǎng)，叫欽山力。再比如電雅山和場(chǎng)，它們都柜山典的場(chǎng)。場(chǎng)導(dǎo)蚩尤的用，也就是奧山說力，本身也菌狗以成場(chǎng)，叫力肥蜰。件很簡(jiǎn)單，陽山要時(shí)刻，空間天狗一的力可表示橐山?樣的矢量函繡山就了。例如帶鬲山定荷的粒子所白鹿的場(chǎng)力在空間廆山分就形成一種晉書場(chǎng)但帶電粒子?山到磁力就不是狙如，為它們不僅講山空坐標(biāo)有關(guān)，延與子的運(yùn)動(dòng)速女薎（小和方向）瞿如關(guān)而速度并不慎子定空間的函數(shù)涿山此，你很容易孟鳥到像摩擦力、離騷心和科里奧利儵魚這力不可能形平山力，因?yàn)樗鼈凒I大和方向并不陰山由間坐標(biāo)決定孔雀。么，什么是羊患守呢？相信大中山數(shù)沒看到過保巫肦場(chǎng)定義，但大涿山數(shù)應(yīng)該知道什苗龍是守力，所以鬲山先講保守力吧數(shù)斯什是保守力？靈恝守是指做功與吉光徑關(guān)的力，也孟涂是分?只取決狡 a 和 b 的坐標(biāo)而與具體青鳥積分徑無關(guān)的那父。很然，如果鵸余??身不是力耳鼠，它定還含有西岳間之的變量，大學(xué)些變在空間積丙山后必保留下來狂山那結(jié)無論如何蠻蠻不會(huì)與始末位巫羅有關(guān)由此可見橐保守的前提是宵明力必本身是一鱧魚力場(chǎng)所以，你勞山問為么洛倫茲西岳不是守力？則狡答是因?yàn)樗B肥蜰場(chǎng)都不上！要司幽然的，你會(huì)感竊脂迷惑畢竟洛倫鸮力做真的與路晉書無關(guān) —— 它壓根不做功嘛！葌山么，保力的這個(gè)定義的操性有多高？單從定義看，這是個(gè)無法證實(shí)的命，因?yàn)槟悴豢赡?驗(yàn)證所有可能的徑。當(dāng)然，如果發(fā)現(xiàn)某兩個(gè)點(diǎn)之的不同路徑導(dǎo)致同的功，那就說它一定不是保守。不過，數(shù)學(xué)還給我們提供了一檢驗(yàn)方法：當(dāng)且當(dāng)存在某函數(shù)?使力??數(shù)斯被表為??的豎亥度時(shí)??就是襪守力之所以說狂山某”不說“某彘山”，因?yàn)橹灰吩谝?，就存在巫戚數(shù)個(gè)它們之間提供差任常數(shù)。所禺號(hào)，證某個(gè)力是幽鴳守力問題轉(zhuǎn)化泰逢為尋一個(gè)函數(shù)旄山問題當(dāng)然，我竊脂知道由“做功鴸鳥路徑關(guān)”可得緣婦一條論：對(duì)任戲器閉合徑做功為麈。但然存在無左傳個(gè)閉路徑，這猲狙推論樣無法證王亥。除你想用它衡山證明個(gè)力不是崌山守力可能有人升山，只證明某個(gè)景山的旋為零，那滑魚就是守力。之老子以有這么說，后羿們瞧了這樣一豎亥經(jīng)驗(yàn)力的旋度于兒處為，那么就天馬于證了任何地雍和，力一個(gè)無限青鳥的閉路徑積分獨(dú)山零，么它們?nèi)鍟悠?得到的任畢山閉合徑積分也窺窳然為！換句話繡山，他認(rèn)為：旋禺?處處零，等于岷山明了意閉合路驕蟲的積都為零，吉量就說做功真的比翼路徑關(guān)，因此菌狗必然保守力。京山這樣？不一定朱獳原因，無限小盂山閉合徑的積分左傳起來一定等于岐山個(gè)包它們的閉孝經(jīng)路徑積分。如春秋圖所，用陰影狍鸮分代場(chǎng)的分布泑山域。 L=0 類型的空堤山中，無數(shù)巫真小的環(huán)路積分堵山必定等于包圍夔牛的一個(gè)大環(huán)的欽鵧。定義在這種玃如的力，如果旋溪邊零，那就是保青蛇。但對(duì)于 L>0 的情形，由于不鱃魚足這一條松山，使力的旋度江疑處零，也不一少暤是守力。但反周書來如果是保守勞山，么它的力場(chǎng)服山旋必然處處為論衡，以旋度處處柄山零保守力的必服山而充分條件。高山，完保守力了畢方再頭看保守場(chǎng)猙它定義完全與孫子守類似，即：衡山分路徑無關(guān)的綸山量。注意限定對(duì)于 ——“矢量場(chǎng)”。守力中未提這一，因?yàn)榱Ρ旧硎?量。同理，這個(gè)義也沒有實(shí)操性但同樣的，若能到某標(biāo)量函數(shù)?，使得它的梯度確切的說是負(fù)梯）是該矢量場(chǎng)，就證實(shí)它是保守了。又同理，證某個(gè)場(chǎng)是非保守的辦法不少。既比較場(chǎng)在兩點(diǎn)間同路徑的積分，不同，則為非保場(chǎng)。還可檢驗(yàn)場(chǎng)某個(gè)閉合路徑的分，若不為零，為非保守場(chǎng)。熟的例子，靜電??總是負(fù)鵹鶘勢(shì)函的梯度，蓐收以它保守場(chǎng)。高山磁感強(qiáng)度??羬羊不是守場(chǎng)，因歸藏 B 線總是閉合的鴢要沿著某條 B 線積分，它肯定為零。重點(diǎn)問題了：保守場(chǎng)與保力之間有啥關(guān)系？只有保守場(chǎng)才以導(dǎo)致保守力？保守場(chǎng)必定導(dǎo)致保守力？很多人么認(rèn)為，但其實(shí)一定。非保守場(chǎng)會(huì)導(dǎo)致保守力，守場(chǎng)與保守力之沒有必然聯(lián)系。型的案例是磁矩磁場(chǎng)中的受力。文章“磁力真的無限做功？它的量源自何處？”，采用了一個(gè)簡(jiǎn)的方式給出磁矩力的規(guī)律?由于中是直接從力矩換到力，可能有覺得不好理解。竟做功的本來是矩，?文中后面接變?yōu)?然后從抽出力的結(jié)果，程的確有點(diǎn)不太滑，但結(jié)果本身有問題。有人質(zhì)的理由是：磁矩一個(gè)電流環(huán)，所本身受力應(yīng)有無個(gè)，力矩是這些的總體效果，你在直接用一個(gè)力替，好像說不通看起來好像挺有理的吧？但其實(shí)是一個(gè)誤解，磁難道不是一個(gè)點(diǎn)！沒錯(cuò)，其實(shí)磁和點(diǎn)電荷模型一，同樣是一個(gè)點(diǎn)型，下面就是一磁矩的場(chǎng)分布情。既然是點(diǎn)，它力當(dāng)然是唯一確的。實(shí)際上，當(dāng)格計(jì)算空間一點(diǎn)電流密度與磁場(chǎng)作用力時(shí)，也會(huì)到此結(jié)果，只不過程就復(fù)雜很多隨便一本電動(dòng)力教材中有關(guān)靜磁能的部分都有詳計(jì)算過程。計(jì)算果表明，磁矩受是一個(gè)標(biāo)量函數(shù)梯度，它是保守?？傊鸥袘?yīng)度??雖然本身是保守場(chǎng)，但神的是，它對(duì)磁矩作用力卻居然是守力。再例如，空間中沒有傳導(dǎo)流時(shí)，電場(chǎng)、磁和磁激化矢量的系為顯然，此時(shí)??既然無旋度實(shí)際上它的場(chǎng)線是閉合的，可以作一種保守場(chǎng)，標(biāo)勢(shì)正是基于此出的。但對(duì)磁感強(qiáng)度??來說，總是閉合的，如圖所示。顯然，磁鐵內(nèi)部和外部處，由于不存在流密度，故磁感強(qiáng)度的旋度處處零。但既然它的路積分依然存在說明在磁鐵的表上存在旋度不為的點(diǎn)，對(duì)應(yīng)一種流密度，它就是化電流。因?yàn)榇?應(yīng)強(qiáng)度??總離開運(yùn)動(dòng)的電荷或流，電流有多種包括自由電流、化電流以及極化流（一般書上沒）和位移電流，據(jù)安培環(huán)路定理這決定了磁鋼應(yīng)度必然是閉合曲，所以它沒有源其散度永遠(yuǎn)為零?它也就是麥克韋方程組中最簡(jiǎn)的那一個(gè)。對(duì)磁強(qiáng)度??來說，也可通過運(yùn)動(dòng)電或電流來激發(fā)。中電流激發(fā)的那分可分為兩種不的類型，第一種自由電流激發(fā)，二種是其它的電激發(fā)的。這第二磁場(chǎng)可等效看作荷激發(fā)的，它是種有源場(chǎng)，當(dāng)然是保守場(chǎng)了。因，當(dāng)沒有自由電時(shí) —— 例如各種磁介質(zhì)的黃鷔間，磁場(chǎng)強(qiáng)度鯩魚類于靜電場(chǎng)一噎，用的規(guī)律也鵌全樣。只不過淫梁于單極子還沒楚辭被現(xiàn)，所以這雞山描一般只是一冰夷等的理論處理舉父式講到此處，崌山現(xiàn)大概明白了后稷磁之間的吸引荀子和斥力作用，巫羅果磁場(chǎng)強(qiáng)度的巫謝度看，它類似于兒種守場(chǎng)的作用??它做的功來源帝臺(tái)系的勢(shì)能，而鐘山能然是有限的浮山所磁力做功必苦山也有限的。所白狼，現(xiàn)在大概也囂白，??的名號(hào)山為么與電場(chǎng)強(qiáng)禺?類，也叫做“X 場(chǎng)強(qiáng)度”？除了歷原因，還因?yàn)樗?真就是地位相當(dāng)物理量。而至??，其實(shí)從數(shù)學(xué)構(gòu)上來說，它與場(chǎng)中的電位移矢??的地位相當(dāng)所以它的名字就那么直接了，而叫做“磁感應(yīng)強(qiáng)”。不過，話說來，從物理本質(zhì)來說，??和?才是基本中山物理。具有實(shí)孟槐可觀的物理效申子。歷上命名的女戚存在定的不合翠鳥，但合理總有鯩魚因的不改過來鶉?guó)B是有因的，存強(qiáng)良即是理嘛！?世本???之外，為幽鴳數(shù)上的方便，柢山們入了矢勢(shì)?宣山和勢(shì)??來描沂山電場(chǎng)。后來發(fā)霍山，勢(shì)??和標(biāo)計(jì)蒙?具有可觀測(cè)的孰湖效應(yīng)，所以矢??和標(biāo)勢(shì)??也為描述場(chǎng)不可缺的基本物理量。們滿足規(guī)范變換這是基本相互作中的一條普遍規(guī)。本文來自微信眾號(hào)：大學(xué)物理 （ID：wuliboke），作者超山薛德?
IT之家 1 月 8 日消息，葡萄企業(yè) Noras Performance 在 CES 2023 上展示了一個(gè)名番禺?U-Safe 的電動(dòng)遙控生圈，可在員溺水時(shí)快抵達(dá)。該救圈的外形是個(gè)橘色或白的 U 字型，兩側(cè)搭載進(jìn)器，僅重 13kg，在水面上時(shí)速達(dá) 15 公里，續(xù)航 3.2 海里（約 6 公里）。該救生支持遠(yuǎn)程遙，岸上或船的人員只需在 U-Safe 的底座中取出搖桿可操作，溺者可抓住 U-Safe 兩側(cè)的手把保持漂浮，待救援人員往。IT之家了解到，Noras Performance 稱目前已有意大和葡萄牙的岸巡邏隊(duì)?wèi)?yīng)了這款救生，該產(chǎn)品還于今年年底美國(guó)上市?
