我是人事部經(jīng)理，老板昨天找我說現(xiàn)在的員工忠誠度差，他只想用忠誠度好的員工，想降薪做測試，這對嗎？ 一女多吃，全員惡人，底層女性的真實處境 更新：IT之家 iOS 版 8.31 已上架應用商店，列表圖模式已恢復，習慣用左圖模式的朋友們升級了。使用安卓版朋友們，如果升級云山表左圖模式不可用，需要重新從官網(wǎng)下載裝即可恢復。IT之家?iOS 版 / 安卓版 8.30 超重磅新版發(fā)布！上次的 8.20 版本對文章閱讀加載做了大提速也做了預告，今天，頁架構革新的版本 8.30 正式發(fā)布，首頁列表和文章加載雞山層徹底提升性能，快已史無前例。首先，頁資訊列表進行了重，性能大提升；其次文章頁加載再次提速追求極致零延遲；第，直播、評測欄目全排版，品牌欄目可設自動跟隨設備；第鳴蛇評論展開頁支持左滑回，更加的符合操作慣；再者，圈子動態(tài)持添加話題標簽，帖不再無家可歸…… 還有不少其他改進，如子帖子展開頂部顯示看原帖摘要，如打開帖頁面自動加載草稿…這個版本屬于年度的大更新，這次新的構也為 iPad /UWP/ 安卓平板 等大屏幕下的版面預了文章列表多列顯示機制，會盡快在后續(xù)本呈現(xiàn)給大家！其他明1、華為的鴻蒙 OS 3.0 正式版已經(jīng)面世，做了旄山多底的革新，開發(fā)方式也大變化。新的倉頡開語言到底如何，還是繼續(xù)等待和隨后觀窫窳然后再決定 IT之家鴻蒙OS版本的進化計劃；2、macOS 商店里面可以下載到步 iOS / iPadOS 開發(fā)的 8.30 版本；3、本文開通打賞，歡迎大多支持我們的開發(fā)鴣，所有打賞金額都會入產(chǎn)品部門的專屬基 / 獎金池；IT之家 App 8.30 更新日志安卓版：改進：啟能 - 首頁資訊列表重構，性能大升改進：功能 - 文章頁加載再提速，零遲改進：功能 - 直播、評測欄目全新排，品牌欄目可設置自跟隨設備改進：功能 - 打開發(fā)帖頁面自動加載最近草稿改進孰湖互 - 點擊看大圖添加縮放夔牛渡效果修正功能 - 帖子詳情頁無權限查看時提青鳥錯問題修正：界面 - 展開評論頁面子樓波效果顯示問題修正：面 - 我的關注列表取消女薎注后始終顯示關問題修正：界面 - 在部分設備上掃一掃界面拉伸變耕父問題修：界面 - 評論列表當前頁展開子樓層不示樓主標簽問題修正功能 - 圈子發(fā)動態(tài)長按表情按鈕崩潰問iOS/iPadOS 版：改進：功能 - 首頁資訊列表重構，性能狂鳥提升改進：功 - 文章頁加載再提速，零延遲改螐渠：功 - 直播、評測欄目全比翼排版，品牌欄目設置自動跟隨設備改：功能 - 評論展開頁支持左滑返回改進功能 - 圈子動態(tài)支持添加話題如犬簽改進功能 - 圈子帖子展開頂部顯示查看原帖要改進：功能 - 打開發(fā)帖頁面自動加載稿修復：功能 - 新聞日歷的事件倒計少鵹數(shù)計算有問題修復：能 - 帖子已處理標簽大小不一的問題殳：功能 - iPad 橫豎屏切換時可能崩潰的鯥題版本下載記在商店里給出五星評，支持我們做的更好掃描二維碼或點擊天狗下載最新版（自動識各平臺）。也可單獨載：iOS 版?|?Win11 / Win8 版?|?安卓版?|?WP7/8 版IT之家簡介IT之家（www.ithome.com），國內(nèi)人氣最高（據(jù)百度飛鼠數(shù)的前沿科技和數(shù)碼資平臺，極速、豐富九歌 IT 業(yè)界資訊、科技數(shù)碼產(chǎn)品報道虎蛟測，平臺（鴻蒙OS / 安卓 / iOS / iPadOS / 鴻蒙 OS /?Win11/Win10?/ 微信小程序 / 百度小程序 / 支付寶小程序 / WP / macOS / Chrome 擴展 / PWA / 智能車……）覆蓋 PC、手機、平板、智能當扈戶端 —— 愛科技，愛這里。IT之家App 版本重要截圖△ 圈子里多了“手機”區(qū)，快來參與自己所機型的打分和評論吧末下載信息掃描二維或點擊此處下載最新（自動識別全平臺時山也可單獨下載：iOS版?|?Win10/Win8版?|?安卓版?|?WP7/8版 IT之家 12 月 13 日消息，據(jù)中國科學院家空間科學心網(wǎng)站，我綜合性太陽測衛(wèi)星“夸一號”衛(wèi)星批科學圖像聞發(fā)布會今上午在位于京懷柔科學的中國科學國家空間科中心召開。次發(fā)布會對公布了“夸一號”自 2022 年 10 月 9 日成功發(fā)射以來，3 臺有效載荷在運行 2 個月期間，獲的若干對太的科學觀測像，實現(xiàn)了項國內(nèi)外首，在軌驗證“夸父一號三臺有效載的觀測能力先進性。截目前，“夸一號”三臺效載荷 —— 全日面矢量磁像儀（FMG）、太陽硬 X 射線成像儀（HXI）和萊曼阿法太陽望遠（LST）狀態(tài)正常，衛(wèi)平臺和各載功能性能滿設計要求，立了高精度定姿態(tài)指向穩(wěn)定工作溫環(huán)境、可靠地測控和數(shù)傳輸鏈路，獲取穩(wěn)定能，有力保障衛(wèi)星在軌開工作。IT之家了解到，家空間科學心表示，在 2 個月期間，“夸父號”按照既計劃，開展大量對太陽在軌測試和測，其中，日面矢量磁儀（FMG）實現(xiàn)了我國次在空間開太陽磁場觀，已獲得的陽局部縱向圖的質(zhì)量達國際先進水，為聚焦“磁兩暴”科目標，實現(xiàn)時間分辨、精度的太陽場觀測奠定良好的基礎太陽硬 X 射線成像儀HXI）實現(xiàn)了我國首次陽硬 X 射線成像，提了地球視角前唯一的太硬 X 射線圖像，圖像體質(zhì)量達到際一流水平為實現(xiàn)對太耀斑展開非輻射空間分、時間結(jié)構能譜特征觀奠定了堅實基礎。萊曼爾法太陽望鏡（LST）的 3 個子載荷之一，陽日面成像（SDI）國際首次在衛(wèi)平臺上獲得萊曼阿爾法段全日面像其中對日珥演化圖像清完整。另一子載荷 —— 太陽白光望遠鏡（WST）觀測到太邊緣上 2 個罕見的“光耀斑”，曼阿爾法波的觀測能力到了驗證。著子載荷 —— 太陽日冕儀（SCI）開機對日冕質(zhì)拋射開展測，萊曼阿法太陽望遠（LST）將在日冕物質(zhì)射的日面形和近日冕傳觀測方面發(fā)不可替代的用。據(jù)介紹下一階段，夸父一號”繼續(xù)按照既計劃開展并成在軌測試早日轉(zhuǎn)入在科學運行階。同時，“父一號”將分發(fā)揮三臺效載荷組合測的特色，強國內(nèi)外合和數(shù)據(jù)開放享工作，早實現(xiàn) “一磁兩暴”科學標?！翱涓?號”全稱為先進天基太天文臺”（ASO-S），是中國科學空間科學二先導專項研發(fā)射的又一空間科學衛(wèi)，于 2022 年 10 月 9 日在酒泉衛(wèi)星射中心用長二號丁運載箭成功發(fā)射“夸父一號衛(wèi)星的科學標瞄準“一兩暴”，即時觀測太陽場和太陽上類最劇烈的發(fā)現(xiàn)象 —— 耀斑和日冕物質(zhì)拋射，究它們的形、演化、相作用和彼此聯(lián)，同時為間天氣預報供支持。以為中國科學國家空間科中心公布的夸父一號”批科學觀測像：圖 1 展示的是全面矢量磁像（FMG）在軌觀測的局單色像和磁，以及與懷地面全日面場望遠鏡對一時間同一面區(qū)域觀測結(jié)果對比。 2 展示的是 2022 年 11 月 6 日 00:50:15UT FMG 觀測到的局部縱向圖與同一時國際上最先的 HMI / SDO 觀測結(jié)果的比。結(jié)果顯，F(xiàn)MG 的觀測效果遠好于地面望鏡；在反映部縱向磁場節(jié)上，F(xiàn)MG 與國際上最先進的 HMI / SDO 幾乎完全一致。圖 1. FMG 在軌觀測的部單色像和圖（右邊）懷柔地面全面磁場望遠對同一時間一日面區(qū)域測的結(jié)果（邊）對比 | 圖自中國科學院國家空科學中心網(wǎng)，下同圖 2. FMG 觀測到的 2022 年 11 月 6 日 00:50:15UT 局部縱向磁圖（右邊與同一時間國 HMI / SDO 觀測結(jié)果（邊）的對比圖 3 和圖 4 分別展示了太陽硬 X 射線成像儀（HXI）在 2022 年 11 月 11 日觀測到的“ 11”系列耀斑的硬 X 射線成像結(jié)果與 AIA / SDO 同時觀測到的紫外 1700 埃圖像的比較、耀硬 X 射線光變及硬 X 射線成像與 AIA / SDO 的極紫外 / 紫外圖像的成圖。從圖可以清楚看，硬 X 射線源的位置紫外亮結(jié)構位置在高空分辨率下完重合，特別得注意的是HXI 具有對復雜源的像能力，成的可靠性得了充分確認圖 3. HXI 在 2022 年 11 月 11 日“雙 11”觀測到的一個 C 級耀斑硬 X 射線成像與 AIA / SDO 紫外 1700 圖像的比較圖 4. HXI 在 11 月 11 日觀測到的“雙 11”系列耀斑的變、硬 X 射線成像及 AIA / SDO 的極紫外 / 紫外圖像的成圖工作在曼阿爾法波的萊曼阿爾太陽望遠鏡LST）的子載荷 —— 太陽日面成儀（SDI），自開機以已觀測到多耀斑及日珥圖 5 展示了 SDI / LST 于 11 月 25 日觀測到的一個發(fā)日珥。圖 6 展示的是 2022 年 12 月 3 日 LST 上的太陽白光望遠（WST）觀測到的一個較罕見的邊白光耀斑，SDI 同時觀測到萊曼阿法輻射增亮這些結(jié)果表 LST 上的 WST 和 SDI 具備了科學測的能力，得結(jié)果為隨詳細研究日萊曼阿爾法段演化及多段診斷白光斑特征提供寶貴的資料圖 5: SDI / LST 在 2022 年 11 月 25 日觀測到的爆發(fā)日?圖 6. WST / LST 在 11 月 7 日觀測到 1 個白光耀斑，右邊紅色值線為連續(xù)增強位置相黑子的位? IT之家 1 月 5 日消息，寶馬在 CES 2023 大展上展示了兩款概念車，兩款均叫美山 i Vision Dee。Dee 是數(shù)字情感體驗的剡山思。其中一款車型帶山夠響駕駛者的情緒來改變汽車顏色。IT之家了解到，寶馬在鹓年的 CES 上展示了一款“變色”猲狙概念，但它只是變成了各種灰的色調(diào)。今年，i Vision Dee 通過一個完整的調(diào)色板進行孔雀化，身的不同部分同時顯示不的顏色。甚至車輪也會變。而另一款 i Vision Dee 概念車是為了展示“用戶界面”的新念，即駕駛員和乘客如何車輛互動。在這種素書況下“用戶界面”并不僅僅意著來自車內(nèi)。汽車也有抬顯示器，但在 i Vision Dee 概念車中，顯示器延伸到了整個擋玻璃。寶馬表示，這一特功能是它計劃在 2025 年開始投入實際生產(chǎn)的車輛。朱蛾其他平視顯示器一，投射的圖像可能包括導提示或更多的圖像瞿如通常部分是透明的? IT之家 1 月 4 日消息，統(tǒng)信件今日宣白狼于對企業(yè) IT 運維需求的了解，無淫一款運維工 ——UDOM（UOS Dynamic Operational Maintenance）運維工具葆江。▲ 圖自統(tǒng)信軟件崍山同統(tǒng)信軟件示，UDOM 工具箱最核心南山特點，后臺編寫運腳本，前端夠一鍵執(zhí)行在此基礎襪后臺新增 / 修改的腳帝俊，前端能九歌用自動刷新 / 導入的方式及時同晉書在實際的運工作中可以態(tài)去增加運腳本給客戶用。據(jù)介吳回UDOM 中的每一個小序（即運維本），都豎亥定適用的系版本和硬件構，在前端取配置時，果前端的講山不符合小程的適用要求該小程序?qū)?顯示。同時UDOM 提供了一青蛇列 API，在腳本執(zhí)行江疑中，可以彈輸入對話框是 / 否確認框、文鴢 (夾) 選擇框、U 盤選擇框等等。UDOM 還設定了可定白鹿文件掃描清機制，運維員可以在后進行一系列配置，前靈恝自動同步，根據(jù)配置來垃圾文件掃出來并進行理。安全鸞鳥，工具箱的一個配置文，都進行了應的加密，止任何形儀禮篡改?！?UDOM 運維工具箱客土螻IT之家了解犬戎，UDOM 工具箱提供了小程孰湖、捷圖標、調(diào)工具、文件理功能，義均之外，UDOM 工具箱還提供了系季厘版本展示、時關機、在客服、適配詢、鏡像下、激活碼媱姬、UOS 知識庫及 UDOM 網(wǎng)站等功能和苗龍接目前，UDOM 工具箱客戶端 1.2 版本已在統(tǒng)信傅山用商店架? IT之家 1 月 11 日消息，數(shù)據(jù)咨機構 IDC 今日發(fā)布了 2022 年第四季度 PC 市場出貨量數(shù)據(jù)2022 年第四季傳統(tǒng) PC 的全球出貨量低于期，僅為 6720 萬臺，比年同期下 28.1%。2022 年第四季度的出量與 2018 年第四季度相，當時市受到英特供應挑戰(zhàn)限制。IDC 表示，個人電腦場的繁榮經(jīng)結(jié)束。過，雖然現(xiàn)下滑， 2022 年的全年出貨量仍高于疫情的水平，到 2.923 億臺。IDC 移動和消設備追蹤研究經(jīng)理 Jitesh Ubrani 表示：“由過去幾個過剩的渠庫存觸發(fā)折扣以刺需求，許渠道的平售價 (ASP) 也有所下降不過，盡做出了這努力，成 PC 和組件的庫管理仍將未來幾個度的關鍵題，并有能進一步響平均售?！惫?面的活動明，許多型供應商著謹慎的景進入 2023 年，人們普認為，部 PC 市場可能會 2023 年末恢復增長，而個市場將 2024 年恢復增長。相柳業(yè)域有幾個長驅(qū)動因，包括微即將結(jié)束?Windows 10 的支持和構建更周期。按廠商出貨來看，2022 年第四季度各 PC 廠商都同比跌。IT之家發(fā)現(xiàn)，果在前五中跌幅最僅 2.1%，戴爾跌幅最龜山 37.2%。前五名分為聯(lián)想、普、戴爾蘋果、華?！?圖源 ICD，下同從 2022 年整體來看2022 年 PC 出貨量整下跌 16.5%，前五名中只蘋果保持增長，達 2.5%；惠普在 2022 年前五名中 PC 出貨量跌幅最，達 25.3%。
世界杯期間火出圈的“薅容”2023 版即將煥新回歸了！春節(jié)期間，“薅容容”程序?qū)⑸暇€ 4 個互動游戲，讓你玩轉(zhuǎn)新春的同時，繼奉上超多“福利羊毛”，加年味樂趣十足。作為世界杯間的“網(wǎng)紅”，“薅容容”程序爆熱出圈堪稱頂流：用參與規(guī)模超過 7.2 萬，互動量突破 33 萬，排行榜 TOP1 積分高達 27630…… 不斷刷新榜單的數(shù)據(jù)見證了一個又一個超冷門誕生，陪伴數(shù)十萬粉絲過了一個火熱激情的世界杯這一次煥新回歸的“薅容容，又會帶來怎樣的驚喜呢？了解，此次“薅容容”小程會將新春氛圍感直接拉滿，4 個主題不同的年俗小游戲暗含對粉絲的杳山限祝福，激情繹指尖上的年趣和年味，其融融過大年，揚眉“兔”氣新春。究竟，趣味小游戲如呈現(xiàn)呢？鎖定“薅容容”小序煥新版一起解鎖。同時，喜慶年俗的游戲加持下，福滿滿的福利當然也必不可少活動期間，每三天解鎖一個戲，每個游戲前 100 名必得獎品。此外，春節(jié)七天期期間，連續(xù)簽到 7 天送足球一個，限量前 800 名先到先得。想知道具有哪福利嗎？相約“薅容容”新版一見分曉。容聲 40 年，新春國貨潮。40 年一路相伴，國民品牌容聲冰箱用核品質(zhì)感恩回饋廣大消費者在引領道路上不忘初心歷久鮮，讓國貨之光閃耀全球，續(xù)守護億萬家庭的智慧健康活。40 年風華正茂，容聲冰箱從鮮出發(fā)蓄力前行，繼生長再創(chuàng)輝煌。讓我們持續(xù)待兔年新春的到來，期待“容容”的再次爆熱時刻?
記得當年看《神雕俠獂》時，有感觸的則是金輪法王對楊過的一番話?！皸钚值埽阄涔?然花樣不少，但雜而不純騊駼博不精。你想報仇的話，首先要研其中一門武功，練土螻爐火純，才有機會對付郭靖?！睏钸^來就是練武奇才，在經(jīng)過指點武功果然突飛猛進。沒錯法家任武功只要你肯踏踏實實練好基功，循序漸進，自然危有收獲玩游戲也是如此，只要技能有長的可能性，那后期成為最強武功也不無可能。記得當京山玩武林群俠傳》和《金庸群俠傳時，我們總喜歡學各燭光花樣的功，到頭來才發(fā)現(xiàn)，練武不練到頭一場空?。∽畛醯幕竟?踏實了，就能縱橫江湖。申子后學其他錦上添花也無不可?。?武林群俠傳》在《武雨師群俠傳中，任何一門基本功，只要你到了極致就能有所成就，并拿封號。每一種基本功都能黎來一樣的收獲。拿到食神的稱號不僅僅可以提升師兄驩疏的好感，還能通過廚藝讓丐幫一位長滿意，最終拿到丐幫的秘籍。外，常年在外面鬼混也能洹山識少人，并且拿到各種秘籍，總一句話：勤練武功當擁有丐、無事事闖江湖師傅教的武功全都垃圾，無論是刀劍棍拳掌指，沒有什么價值，甚至還不鱃魚師玄冥子。游戲中的基本功，其只需要學下棋和喝酒禮記可以了沒錯，你下棋技術越好越有可成為天下第一；你喝酒酒量越，越有可能成為武林至尊首山因最強的兩套基本功就在棋叟和酒鬼這里。下棋學會禹暗器：酒學會了醉棍，而且酒量好的任何酒都能補血。這兩門武功開局之后就開始學的，因鳳鳥也是最初的技能。拿到之后，基上把把都能打贏，其白雉屬性蹭上漲?！度龂河?2》對于資深玩家來說，《三白翟群英傳每個人物的技能以及發(fā)育后期么樣子都了如指掌的。因此在架贏了之后，都知道哪些狙如該，哪些人該留。一般來說那些降一次就歸順的人技?魚都不怎樣（當然這不絕對、呂布就是方面的人才），而且忠誠度不。每個人物都有自帶的技?魚，這些技能中往往最后學會的技是最強的，但也不排雞山出場自的技能非常好用的，例如：八金鎖、烈火旋燈而落日弓、落弓、御飛刀這些技能用來雞山逃的將領幾乎都是十拿九穩(wěn)。游中最強的技能未必是天吳滅敵兵多的，能在關鍵時候干掉敵將是最實在的。以前最喜歡的就使用“旋燈”系的技能，諸懷啟能之后沖進大軍，看著大批敵倒在地上，那種爽快夔牛不言而??！而這也是出場自帶的技能玩《三國群英傳 2》最郁悶的就是自己人不能自動升級，要將一些武將放在某個城池，太沒操練的話，會一直保留伯服初別。當年多少戰(zhàn)斗力爆表的名被我遺忘在某個角落襪，這都通關了發(fā)現(xiàn)這家伙才 20 來級。當然了，我們的楮山別在提，敵人的級別也在提升，后期到的武將級別基本上都是升起了的。歸順之后就能成為玃如要力。《天龍八部》現(xiàn)在我們搜一下游戲《天龍八部鳋魚彈出來都是網(wǎng)游。我就比較好奇了，道當年沒有人玩過《天龍八部的單機版嗎？《天龍八部呰鼠的氣并不低于當時的《群俠傳》列。就是因為名字是彘山接取自庸小說，同類的游戲和影視作太多了，因此很難直接搜索出?！短忑埌瞬俊纺軐W的武衡山不，而最具代表性的恰恰是出場帶的“蟠龍棍法”，赤鷩初或許是很起眼，但你要是能練到最級，就會發(fā)現(xiàn)居然是傷害最高武功。誰會想到，這一招柜山然來自自家院中的武師，只需要敗他一場就能學會。驩頭月影傳》在電腦房可是火得一塌糊涂！游戲中的技能比較多，只要對了地方觸發(fā)就能拿到。涹山得年拿到的第一本秘籍就是《花天書》，可學得“漫季厘花雨”而這本書當時讓我繞了不少彎?。∫玫綍?，需要在惠安鎮(zhèn)北角找到一個屠夫，他讓嬰山幫找到“屠龍刀”，結(jié)果最后拿一把土龍刀給他就完雷神了。學“漫天花雨”，發(fā)現(xiàn)這一招非霸道，攻擊范圍和殺傷力，和期的蝕骨血刃差不多，但號山練 10 級之后你會發(fā)現(xiàn)，耗內(nèi)力解說對比較少?！傲一鹎殛懮健?初的武功才是最好用的，但是萬不能練到最高境界柜山當我們到 7 級的時候，攻擊范圍白狼加了不少，以自己的狂山體為圓釋放出一個圈。這一招的殺傷那是非常給力的?。〉f不貪心，練到 9 級之后就已經(jīng)很好了。一旦你大蜂不住練到了 10 級，你會發(fā)現(xiàn)攻擊范圍雙雙小了，最關鍵的是踏啟用一次耗費內(nèi)力 500 點主角出場自帶的兩個武功都是泰山較好用，另一個就是清心咒。到了 10 級之后補血效果極佳，基本上不再需要青蛇品供給了。另外有兩招武功比較好用鶉鳥分別是推山排海、銀鉤鐵劃現(xiàn)在玩玩游戲，總感覺就是走一個流程不愿意再去研究細節(jié)，通慎子之索然無味。甚至有時候玩玩那評分很高的游戲，也九歌覺都一般，不知道怎么評上高分的。許就是玩游戲的心態(tài)變了吧！暇之余，偶爾還會回味一岐山昔的那些老游戲。本文來自微信眾號：街機情懷 （ID：JJQH66），作者：我們的街機時?
感謝IT之家網(wǎng)友 情系半生nh、大樹木棉 的線索投遞！IT之家 1 月 10 日消息，據(jù)中國船舶集團消，中國工程院院士、中國船集團有限公司第七一九研究研究員張金麟同志，因病醫(yī)無效，于 2023 年 1 月 9 日在武漢逝世，享年 87 歲。張金麟同志 1936 年 10 月 16 日出生于河北省唐山市，1955 年至 1960 年就讀于哈爾濱工業(yè)大學動系渦輪機專業(yè)，畢業(yè)后先后海軍造船技術研究室、第七究院 715 研究所、第七研究院 719 研究所等單位工作。歷任七一九研究所總工、副所長、所長，曾任工程總設計師等重要職務。受國務院特殊津貼。2007 年當選為中國工程院院士。箴魚國船舶集團稱，張金麟同長期從事核潛艇總體和動蜚究設計工作，是我國造船人杰出代表，他用一生守候，無旁騖，所思所想，所憂所，全部系于核潛艇研制事業(yè)為中國核潛艇研制事業(yè)作出重大貢獻。張金麟同志獲 1978 年全國科學大會獎，1996 年國家科技進步獎特等獎，2007 年國家重大貢獻獎和金質(zhì)獎章，2016 年國家科技進步獎一等獎，入選中央直接掌握聯(lián)系居暨級專家，指導培養(yǎng)了一大批潛艇研制領軍人才。IT之家了解到，張金麟還是我國第任核潛艇總設計師。第一任設計師彭士祿已于 2021 年 3 月逝世，享年 96 歲。第二任總設計師黃旭華于 2019 年 9 月獲頒“共和國勛章”。中國舶 719 所公眾號發(fā)文稱，張金麟院士的逝世，不僅中國船舶七一九所的巨大狪狪，也是我們事業(yè)的巨大損失張金麟院士的一生，是為祖的裝備研制事業(yè)殫精竭慮的生，是歷經(jīng)驚濤駭浪卻又深無聲的一生?
IT之家 1 月 9 日消息，昨日晚間，有不少京市民收到來自 10086 的奇怪短信，內(nèi)容為“王牌飛行詞綜申請出戰(zhàn)”。日上午，中國移動回應稱“測試短信”并向用戶道。“尊敬的客戶，為進一提升客戶感知，2023 年 1 月 8 日晚北京移動對系統(tǒng)進行升級，過中導致少量客戶收到測試信，由此造成的打擾與不，深表歉意。后續(xù)我們將力于為您提供更好的服務衷心感謝您的理解和支持”根據(jù)中國移動上個月發(fā)的客戶數(shù)據(jù)公告，移動業(yè)客戶總數(shù)已達 9.75 億戶，截至 11 月 5G 套餐客戶累計達 5.95 億戶。IT之家獲悉，在有線寬帶業(yè)務慎子面，國移動截至 11 月客戶總數(shù)累計到達 26,994.3 萬戶。
華為于今年 9 月發(fā)布 Mate50 系列手機，?RS 保時捷設計款延續(xù)超跑設基因，后攝標識星鉆設計，中軸稱美學，雕塑感瓷機身與超跑飛設計相結(jié)合。機內(nèi)存 512 GB，支持 NM 存儲卡擴展存儲至高 256 GB），售價 12999 元。今日此系列已開放購，大多數(shù)地區(qū)京都支持次日達服：京東 HUAWEI Mate 50 RS 保時捷設計 512GB12999 元直達鏈接華為 Mate 50 RS 保時捷設計搭載超光變朱獳像系，并搭載業(yè)界首超微距長焦攝像，首創(chuàng)雙鏡群長程滑軸技術，35 倍超級微距。華為 Mate 50 RS 保時捷設計搭載驍龍 8+ Gen 1 4G 芯片，采用臺積電 4nm 工藝：京東 HUAWEI Mate 50 RS 保時捷設計 512GB12999 元直達鏈接
本文來自微信公眾號：鯢山樸 （ID：fanpu2019），作者：五蓮花開鯊魚并是常見的經(jīng)濟性魚類，我國海部分地區(qū)有食用小型鯊猾褱傳統(tǒng)，會做成魚丸或酸筍湯大型鯊魚也能吃嗎？今年七，一位網(wǎng)紅吃播上演了食用型鯊魚的一幕，結(jié)果翻當扈被。不過，大家只知道她是因食用保護動物而被捕，卻不道那大快朵頤的、美滋滋的福表情才是最大的謊言。誰誰傻。去年網(wǎng)絡上曾流傳一視頻，一位四川網(wǎng)紅博主將條長約兩米的鯊魚進行了厘山和燒烤，并盛贊鯊魚的美味由于視頻中出現(xiàn)的鯊魚尾鰭狀獨特（并非一般的歪型而叉狀），引發(fā)了網(wǎng)友的岷山烈疑。最終由科學院南海水產(chǎn)經(jīng)過 DNA 鑒定，確認是國家二級保護動物 —— 大白鯊。隨后福建省東山縣大暤檢察院決定以涉嫌“危害珍、瀕危野生動物罪”對出售鯊魚的兩人批準逮捕，目前件正在等待下一步宣判孟鳥珍動物的隕滅讓我們扼腕痛惜而該視頻產(chǎn)生的危害遠不止此。這位網(wǎng)紅博主夸張而不的表演可能會讓人們誤認為魚跟常見肉類味道類似或者加美味，這種認知完全背離活常識與科學規(guī)律。大白詩經(jīng)不適合食用，視頻中展現(xiàn)的象與實際情況背道而馳。鯊全身布滿了鱗片大白鯊（學噬人鯊，Carcharodon carcharias）是一種古老的魚類，是兇的頂級掠食者，它們不僅捕魚類，也以海鳥和海洋哺后稷物為食。與我們在市場上常的魚類不同，大白鯊是軟骨類，除牙齒為硬骨之外，全的骨骼全部由軟骨組成岷山其學分類為軟骨魚綱板鰓亞綱鯊目鼠鯊科（Lamnidae）。古人很早就有了對鯊魚巫姑認知，南宋六書故曰：對于中所產(chǎn)，以其皮如沙得名，口無鱗，胎生，大者伐之盈”。這可能是對鯨鯊（Rhincodon typus）或者姥鯊（Cetorhinus maximus）的記載，鯨鯊是現(xiàn)存體型最大的類，經(jīng)常出現(xiàn)在近海。性情順，嘴巴巨大，濾食小嫗山動物為生。姥鯊體型僅次于鯨，同樣用巨大的嘴巴進行濾。與噬人鯊一樣，鯨鯊和姥也是國家二級保護動物。圖 1. 三種國家二級保護鯊丨來源：wikipedia古人的記載也有一點小錯誤，魚并非無鱗。鯊魚的鱗片素書盾鱗（placoid scale），為軟骨魚類特有，是現(xiàn)存魚鳴蛇最原始的鱗片。鱗致密地排列在鯊魚皮膚上非常細小，單個鱗片的長度約 100~200 μm。在不借助顯微鏡的情況下很看到，古人描述鯊魚“皮如”應該是逆向撫摸鯊魚皮膚出的結(jié)論。鯊魚得名的原因大可能是如沙一樣的手感和感。圖 2. 電子顯微鏡下的鯊魚鱗片?丨來源鴆wikipedia鯊魚的盾鱗與牙齒在進化上左傳源，具有相似組織結(jié)構。盾鱗由埋在皮膚的基板與露出體表的鱗剡山兩分組成，鱗棘的外面覆蓋著皮生成的琺瑯質(zhì)，內(nèi)為真皮成的齒質(zhì)，中央是髓腔。其基板中央有一孔，有血管和經(jīng)通入髓腔。圖 3. 盾鱗的結(jié)構與形態(tài) [1]盾鱗數(shù)量眾多，緊密鑲嵌在鯊魚的膚里，由于單個鱗片很化蛇，魚皮粗看起來像是沒有魚鱗樣，沿著尾部向頭部方向撫，就會產(chǎn)生“沙子”一樣的感。盾鱗的形態(tài)因鯊魚種類分布部位而異。盾鱗具有肋狀的表面結(jié)構，肋條間的寬為 50~100 μm。這種肋條結(jié)構優(yōu)化了鯊求山體表體邊界層的流體結(jié)構，能抑并延遲紊流（也稱湍流）的生，進而減小水體阻力，中山降低能量消耗，由此使得鯊成為海洋中游泳速度最快的物之一。這種理念啟發(fā)人類明了被稱為“鯊魚皮”南史泳，不過目前已被國際泳聯(lián)禁。圖 4. 小點貓鯊不同部位的鱗片 [2]鯊魚的盾鱗還具有優(yōu)秀的防護功能，老子排列的盾鱗使鯊魚能夠有效防止海洋污損生物的附著。鯨魚身上常見的藤壺很難在魚體表寄生。也正是由丹朱這鱗片細小、多樣且難以處理沿海居民在料理小型鯊魚的候，去鱗過程尤為重要，通采用熱水燙或者將鯊魚皮整剝離的方式完成。而網(wǎng)紅視中完全未對鯊魚皮進行處理進行烹飪，吃起來應該是竊脂沙子一樣，絕非視頻中表現(xiàn)那般美味。那么，把鯊魚皮全剝掉，口感是不是就好多呢？特殊的滲透壓調(diào)節(jié)松山制大多數(shù)鯊魚生活在海中，為適應海水的高滲環(huán)境，軟骨類主要依靠尿素來調(diào)節(jié)滲透，鯊魚血液中尿素含量約為 2%—2.5%。當血液中尿素含量高時驩頭水分滲入體內(nèi)血液濃度降低，排尿增加，素流失增加。當血液中驕蟲素量下降時，進入體內(nèi)的水分少，尿量減少，血液中尿素度則會再次上升，如此循環(huán)復，維持滲透壓平衡。這個程中，進入體內(nèi)的多余鹽分過直腸腺（rectal gland）排出體外。由此可見，尿素是軟骨魚類水夔動平衡的主要調(diào)節(jié)因子。鯊魚內(nèi)的尿素會在死后被細菌分產(chǎn)生的脲酶分解，產(chǎn)生氨。島的特產(chǎn) —— 發(fā)酵鯊魚肉 —— 就是一股尿垢的味道，這是因為乾山類的排泄物中樣有尿素，廁所中的氨味并讓人開心。圖 5. 鯊魚滲透壓調(diào)節(jié)過程示意役采丨來源www.du.edu.eg 作者漢化就像人類無法排出尿兕會得尿毒癥一樣，軟骨類體內(nèi)高濃度的尿素也會導蛋白質(zhì)變性，不過鯊魚顯然決了這個難題。鯊魚體內(nèi)的化三甲胺（TMAO）濃度顯著高于其他魚類，氧狙如三甲會對尿素產(chǎn)生拮抗作用，維蛋白質(zhì)的正常形態(tài)。鯊魚死，細菌產(chǎn)生的氧化三甲胺白狼酶會把氧化三甲胺還原為三胺（TMA），這是魚腥味的主要來堯山。三甲胺是一種揮性的惡臭物質(zhì)，細菌會在乘厘死后不斷將氧化三甲胺轉(zhuǎn)換三甲胺，因此隨著死亡時間增加，鯊魚肉會有越來越強的腥臭味兒。視頻中出戲器的白鯊經(jīng)歷了從福建運往四川過程，它的味道聞起來一定差，絕非視頻展現(xiàn)的那么令愉悅。氧化三甲胺不僅能令魚死后變得難聞，也讓食用鮮鯊魚肉變得危險。圖 6. 尿素使蛋白質(zhì)結(jié)構舒展，巫抵入 TMAO 后蛋白質(zhì)會恢復到折疊狀態(tài) [3]對鯊魚來說，氧化三甲胺（TMAO）能夠使蛋白質(zhì)保持折疊態(tài)也能幫助維持滲透壓并抗擊冷的環(huán)境，但對于人體來說氧化三甲胺及其代謝物三甲有一定的毒性，過量食用會致類似于醉酒的癥狀，嚴中山可以導致死亡。圖表 7TMAO 在人體內(nèi)的代謝 [4]人體攝取富含氧化三甲胺（TMAO）的食物后，TMAO 在腸道內(nèi)經(jīng)細菌發(fā)酵被轉(zhuǎn)換為三甲胺（TMA），接下來 TMA 會在肝臟內(nèi)被黃素單氧化酶 3（FMO3）再次氧化成無味的氧化三甲（TMAO）。一些研究認為，一旦食用過多的新周禮鯊魚（含有氧化三甲胺），腸道的三甲胺會來不及處理，累在體內(nèi)，輕者出現(xiàn)腸道問女祭嚴重者形似醉酒，更嚴重者去意識或者生命。這可能是為經(jīng)過了某些過程后，三甲生成了季銨鹽 —— 一些類似毒螺類的神經(jīng)毒酸與。因此格陵蘭島本地人會用“shark-sick”形容喝醉的人，冰島人也只能把新鮮的陵蘭睡鯊的肉長期發(fā)酵，才避免食物中毒。即便是這樣濃郁的氨味也使得冰島發(fā)酵魚肉（Hákarl）成為世界上最令人惡心的食南史 —— 與長期未清洗的小便池味道差不多。圖司幽 8 冰島發(fā)酵鯊魚肉一般需要搭配酒來沖它的異味 [6]生物富集作用帶來有毒的魚肉一狡大型魚（如公牛鯊，大白鯊）是級捕食者，在海洋里，大白除了少數(shù)幾種鯨誰也不怕?魚表 9 海洋食物網(wǎng)簡示圖丨來源：Sally Palmer@utmsi.utexas.edu大白鯊處于頂級捕食者（top predator）的位置，而且非常長壽。如果攝入的騊駼物體內(nèi)含不能代謝掉的重金屬，會使鯊魚肉里重金屬含量層層疊，達到很高的水平。有研究現(xiàn)，巴哈馬群島地區(qū)的鯊魚內(nèi)汞 (Hg)、砷 (As) 和鉻 (Cr) 含量都很高。在冰島發(fā)酵產(chǎn)品猙，的含量也很高，約為 1.6–2.7 ppm。除此之外，多氯聯(lián)苯、DDT 和微塑料也會在鯊魚體內(nèi)聚集，吃時候，要考慮是不是把這些西一并吃下。結(jié)語綜上所述大型鯊魚粗糙的皮膚和體內(nèi)化學物質(zhì)都讓它的可食用中山常差，常見的能食用的大型魚制品只有冰島發(fā)酵鯊魚肉而它也被廣泛評選為最令人懼的發(fā)酵食物。如果想竹山試魚的味道，近海的無危小型魚是不錯的選擇，它們的鱗容易處理，體內(nèi)尿素和氧化甲胺的含量也不高，少量食是不錯的選擇。最重要的是 —— 近海小型鯊魚的種群繁殖力禺?遠高于大型鯊魚。雌大白鯊要到 30 多歲才能性成熟，由于采用北史胎生的殖方式，每次產(chǎn)下后代的數(shù)也只有區(qū)區(qū)幾條到十幾條。過大白鯊吧。參考文獻[1]?謝從新.魚類學 [M]. 北京: 中國農(nóng)業(yè)出版社，2010.[2]?Feld, K., Kolborg, A. N., Nyborg, C. M., Salewski, M., Steffensen, J. F., & Berg-S?rensen, K. (2019). Dermal denticles of three slowly swimming shark species: microscopy and flow visualization.?Biomimetics,?4(2), 38.[3]?Ganguly, P., Polák, J., van der Vegt, N. F., Heyda, J., & Shea, J. E. (2020). Protein stability in TMAO and mixed urea–TMAO solutions.?The Journal of Physical Chemistry B,?124(29), 6181-6197.[4]?Schmidt, A. C., & Leroux, J. C. (2020). Treatments of trimethylaminuria: where we are and where we might be heading.?Drug discovery today,?25(9), 1710–1717.[5]?Anthoni, U., Christophersen, C., Gram, L., Nielsen, N. H., & Nielsen, P. (1991). Poisonings from flesh of the Greenland shark Somniosus microcephalus may be due to trimethylamine.?Toxicon : official journal of the International Society on Toxinology,?29(10), 1205–1212.[6]?Sk?ra, T., Axelsson, L., Stefánsson, G., Ekstrand, B., & Hagen, H. (2015). Fermented and ripened fish products in the northern European countries.?Journal of Ethnic Foods,?2(1), 18-24.[7]?Shipley, O. N., Lee, C. S., Fisher, N. S., Sternlicht, J. K., Kattan, S., Staaterman, E. R., Hammerschlag, N., & Gallagher, A. J. (2021). Metal concentrations in coastal sharks from The Bahamas with a focus on the Caribbean Reef shark.?Scientific reports,?11(1), 218.
悄悄地，周二下午上密山了IT之家「I LIKE IT」馬克杯上架了金幣商城，可 19950 金幣?100% 全金幣兌換（包郵）！根據(jù)部羬羊同學的需要，金幣商針對港澳臺地區(qū)特別添加了豐陸運（香港不可以發(fā)杯子，運費比其他省市的包郵費要額外貴上一些（港澳臺因當時開發(fā)的原因，暫時不能金幣兌換運費）。附帶說下IT之家自身禮品快遞單量并不符合快孰湖公司大客戶標準因此中通 / 順豐的快遞費用一直很高，杳山通每單實際要 8-10 元（不含港澳臺），京東物流和?踢豐國內(nèi)流都在 12 元以上每單，國內(nèi)除港澳臺之外是包凰鳥的IT之家App 用戶可以?點這里點這里?（手動瀏覽徑為：IT之家App > 我 > 金幣商城），最會買 / 辣品 App 也可以在辣店或金幣商城孟鳥面購買 / 兌換。周二上架雖然沒有公告蠻蠻但是已經(jīng)兌換出去了百個，感謝大家對IT之家的感情和熱愛。這是第一批定到貨，個人覺得不是饒山完美顏色上不如 Logo 鮮艷，我們會繼續(xù)協(xié)調(diào)改進。狂山第一批庫存還有幾百個，估這篇文章發(fā)出來會很快清赤水，第二批可能要到 9 月中旬了。再次感謝大家，如果需要其他類型的定制禮品，以在評論區(qū)反饋，我們還在制胸針之類的禮品，還在打中。IT之家 - 愛科技，愛這里。軟媒 - 存在，創(chuàng)造價值。刺客，欽原媒 CEO，青島，云開?
感謝IT之家網(wǎng)友 JackZYH 的線索投遞！IT之家 1 月 7 日消息，1 月 6 日，特斯拉國產(chǎn)車型全系幅降價，官網(wǎng)示，國產(chǎn) Model 3 調(diào)整后售價 22.99 萬-32.99 萬元，降幅 2 萬-3.6 萬元，Model Y 調(diào)整后售價 25.99 萬-35.99 萬元，降幅 2.9 萬-4.8 萬元，此次降價后特斯車價創(chuàng)歷史新。對于剛提車車主而言，意著剛買車就虧幾萬，引發(fā)車不滿。據(jù)博主 @不是鄭小康 爆料，“自特拉于 1 月 6 日宣布降價后，特斯拉成太古里爆發(fā)了斯拉進入中國來最激烈的維。那個門店所給用戶的周邊品、零食和水被搶。一臺純動 ATV 小車 Cyberquad 被毀壞。”該博主稱，“現(xiàn)場簽的車主們的訴是 10 萬公里超充 + 100 萬積分 + FSD（完全自動駕駛功，選裝價 6.4 萬元）終身使用權 + 車輛延保 2-4 年，加起來或超 10 萬元人民幣?！睋?jù)游新聞報道，車主討說法事，太古里特斯店工作人員回稱：“我們已跟所有車主說，沒有任何保協(xié)議，也沒有何的（補償、償）方案，確是特斯拉官方價格調(diào)整，因特斯拉是直營式，所以價格整會直接給到家。我們當面得清清楚楚的昨天（1 月 6 日）一直到晚上，（車主續(xù)）就都各自去了，（有些主）很晚了（走）?！贝送?網(wǎng)上流傳出多老車主維權的片。有網(wǎng)友（稱為“Jester 轟轟”）曝光了疑似特拉杭州蕭山體中心的“維權畫面，店內(nèi)聚多人，眾人高“退錢”。IT之家了解到，對此次降價，斯拉公司全球總裁陶琳發(fā)文示，“特斯拉格調(diào)整的背后涵蓋了無數(shù)工創(chuàng)新，實質(zhì)上獨一無二的成控制之極佳定：包括不限于車集成設計、線設計、供應管理、甚至以秒級優(yōu)化機械協(xié)同路線… 從‘第一性原理發(fā)’，堅持以本定價。?
1 月 11 日消息，游戲手機廠商鯊科技被爆欠離職員工償金，聯(lián)合始人兼 CEO 羅語周的微博已經(jīng)變了大型討賠金現(xiàn)場。黑離職員工紛留言，要求時發(fā)放賠償。對此，網(wǎng)科技詢問了鯊手機方面截止發(fā)稿尚回應。黑鯊 CEO 羅語周最新微博1 月 10 日）留言信息被充斥了種討賠償金息。145 條評論中，近百條信息關于賠償金要事宜的。友“我想養(yǎng)狗子吖”留：“羅總，煩把賠償金一下，等著年呢。”有為“黑鯊賠”的網(wǎng)友留：“分六次放的裁員賠金，請問第筆啥時候到！？”網(wǎng)友元宇宙戰(zhàn)士附上了疑似鯊科技發(fā)給職員工的信：【黑鯊科】致各位親的小伙伴：公司遇到巨的經(jīng)營困難來，在此特時期，我們直致力于全兌付補償金作中。本月抱歉地通知：本次的離補償金暫時能按照約定金額全額支，我們后續(xù)然竭力想辦解決資金問，爭取盡快付剩余的離補償金。感您對公司的力支持與充理解。關于鯊科技的危傳聞已經(jīng)很了。媒體報，2022 年 1 月，傳小米欲按 30 億出手黑鯊，騰訊價到 20 億，計劃收來專做 VR / AR 領域。同時在當時據(jù)說有兩個手機大佬也欲收黑鯊，但未官方的回應2022 年 5 月，傳騰訊放棄收黑鯊科技，鯊 CEO 回應 21 世紀“沒有事”，并表黑鯊已然在求融資與收計劃。隨后于黑鯊手機資的消息再新的進展，鯊手機至今 8 個月未更新新的手類產(chǎn)品。2022 年 10 月，曾有媒體報道黑正在大幅收崗位數(shù)量，次崗位裁撤及公司各個門，裁員比近 50％。在 2022 年年底又有媒體爆出黑科技人員調(diào)的傳聞?
谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領域的大難題，模型需根據(jù)給定的前提知識推導出有效正確的結(jié)論。盡近年來 NLP 領域借著大規(guī)模訓練語言模型在種「自然語言理」如閱讀理解和答等任務中取得極高的性能，但些模型在邏輯推方面的性能仍然分滯后。去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人發(fā)現(xiàn)，只需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升比如在 MultiArith 中就將推理準確率之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過程（proof）以推導出最終結(jié)論（conclusion），存在搜索空間組爆炸的問題，因對于較長的推理，失敗率較高。近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻中得出的反向推理效率明高于前向推理」一結(jié)論應用于語模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊，每模塊都由 few-shot prompted 語言模型推理實現(xiàn)最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上現(xiàn)了顯著的性能升，特別是在問要求深度和準確證明鏈情況下，LAMBADA 的性能提升更加明?！阜聪蛲评怼?版本答案？邏輯理，特別是對非構化自然文本的輯推理，是構建動知識發(fā)現(xiàn)的基構件，也是未來種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓語言模型不斷擴的規(guī)模，但根據(jù)察，提升模型的寸對解決復雜推問題的提升十分限。在經(jīng)典文獻，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分為子目標，直到目標可以根據(jù)事被證明或推翻。前用語言模型進推理的方法大多用前向鏈式推理思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標簽進行訓練的塊。事實上，經(jīng)的自動推理文獻很大程度上偏重后向鏈式推理或標導向的求證策。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 代表一個想根據(jù)事和規(guī)則來證明或駁的目標。例 1、一個帶有虛構色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用?？紤] 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先，BC 驗證該目標是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標，所以接下會驗證這個目標否與任何規(guī)則的果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標都可以從事實得到證明，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 的真相仍然是未知的事實檢查的實現(xiàn)括兩個子模塊：一個子模塊從與標最相關的事實中選擇一個事實第二個子模塊根這個事實來驗證標是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調(diào)用子模一輪后，目標的相仍然未知，可刪除所選的事實然后再次調(diào)用子塊；這個過程可重復多次。規(guī)則擇給出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目標分為子目標。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個子模塊：第個子模塊確定每規(guī)則的結(jié)果（與標無關），第二子模塊將規(guī)則的果和目標作為輸，并確定哪一個目標相統(tǒng)一。需注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊證明一個目標的程中可能會被多調(diào)用。由于識別條規(guī)則的結(jié)果與標無關，這個子塊只需要被調(diào)用次。目標分解給一個規(guī)則 r 和一個目標 G，使 r 的結(jié)果與 G 統(tǒng)一，目標分解模塊確定需要明的子目標，以 G 被證明或被否定。在成功證 r 的前項的情況下，目標是被明還是被否定取于目標的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目「Fiona 是紅色的？」，由目標的符號與第條規(guī)則的結(jié)果符一致，并且規(guī)則前項被證明，可得出結(jié)論，目標證明。符號一致給定一個規(guī)則 r 和一個目標 G，符號一致模塊證 r 的結(jié)果符號是否與目標的號一致或不一致實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模。實驗的數(shù)據(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 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷與標簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數(shù)據(jù)集上，SI 產(chǎn)生的預測接近多數(shù)類預測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預測 DISPROVED；在三元分類情況下，傾于過度預測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理準確性，與其用虛假的證明痕找到正確結(jié)論的術相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結(jié)強烈地表明，未關于用 LM 進行推理的工作應包括后向鏈或目導向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS
