長川科技：擬與專業(yè)投資機(jī)構(gòu)共同投資設(shè)立杭州長越科技有限公司 爆肝統(tǒng)計！Ben10一共有多少種變身？誰是變身最多的英雄？！ IT之家 1 月 9 日消息，如果你是一企業(yè)的老板，用安防機(jī)器人小時可以幫你省 9 美元，那么你會考慮入使用嗎？或IT之家的很多網(wǎng)友都會給出定的答案，但實際運(yùn)行過程往往會遇到非多的問題。美公用事業(yè)公司 PG&E 近日投放了一臺來 Knightscope 公司的巡邏機(jī)器。最初的設(shè)想出于成本方面考慮，認(rèn)為是常不錯的提案但是在實際運(yùn)過程中卻出現(xiàn)諸多問題。首是趕走周邊的浪漢。在 PG&E 公司外圍有一條人行道一些無家可歸流浪漢會睡在近。但根據(jù)當(dāng)一名居民反映Knightscope 公司的巡邏機(jī)器人趕走這些流浪，讓他們不得此休息。而另個問題是噪音優(yōu)秀的人類保知道如何安靜行走。然而，Knightscope 機(jī)器人會發(fā)出超現(xiàn)實、空曠的聲音就好像它在為秘博士試鏡一。在白天這個音還可以接受但是在夜間巡時發(fā)出這個聲就顯得有點恐了。一位住在近的居民表示“我們整天都聽到機(jī)器人發(fā)的煩人聲音，括當(dāng)我們晚上睡覺的時候”PG&E 的一位發(fā)言人告訴金山標(biāo)準(zhǔn)報：在對 Knightscope 裝置進(jìn)行了一些初步測試并此事與市政府行了積極討論后，PG&E 將不會繼續(xù)在們的福爾瑟姆點部署該裝置計劃”? Hi，我是水水。一提到互聯(lián)網(wǎng)大廠的 App，大家總是一臉嫌棄。霸道、廣、權(quán)限無恥，會員路。不過凡事總有外，水水還是為大挖到了一些真正好的大廠 App，界面清爽無廣告不說還能各種白嫖，安 / iOS 都支持，香的很，客官不要了解一下？視導(dǎo)覽：00:22 ?? 360極速瀏覽器01:43 ?? 搜狗翻譯02:53 ?? 微信讀書 ?04:16 ?? 小宇宙06:09 ?? 幕布08:50 ?? MOO音樂08:55 ?? 輕刪09:57 ?? Tap加速器圖文版請戳里閱讀PS：App下載鏈接見B站視頻簡介，視頻和分享件中部分安卓 App 并非最新版本，而是水水覺得最好的版本，如有需求在 App 中手動檢查更新升級。往回顧：【壁紙推薦文版】8 個高質(zhì)量壁紙 App 推薦，個個都是精品? IT之家 1 月 7 日消息，雖然星期二補(bǔ)丁更新旨在為 Windows 提供安全補(bǔ)丁，但它也經(jīng)常會導(dǎo)重大問題。Windows 11 和 Windows 10 以及 Windows Server 的 11 月“星期二補(bǔ)丁由于 ODBC SQL Server 驅(qū)動程序錯誤 Bug 導(dǎo)致應(yīng)用程出現(xiàn)問題。軟表示，受響的用戶會到應(yīng)用程序誤或來自 SQL Server 的錯誤，例如“EMS 系統(tǒng)遇到問題”和消息：[Microsoft][ODBC SQL Server Driver] TDS Stream 中的協(xié)議錯誤”或“息： [Microsoft][ODBC SQL Server 驅(qū)動程序] 從 SQL Server 收到的未知令牌”。在，微軟在期結(jié)束后，于發(fā)布了該題的解決方。IT之家了解到，要緩此問題，你以執(zhí)行以下作之一：如你的應(yīng)用已在使用或能使用數(shù)據(jù)源稱 (DSN) 來選擇 ODBC 連接，請安裝 Microsoft ODBC Driver 17 for SQL Server 并選擇它以與使 DSN 的應(yīng)用一起使。注意：建使用最新版的 Microsoft ODBC Driver 17 for SQL Server，因為它比 Microsoft ODBC Driver 18 for SQL Server 更兼容當(dāng)前使用舊 Microsoft ODBC SQL Server 驅(qū)動程序 (sqlsrv32.dll) 的應(yīng)用程序。果你的應(yīng)用法使用 DSN，則需要修改應(yīng)用以允 DSN 或使用比 Microsoft ODBC SQL Server 驅(qū)動程序 (sqlsrv32.dll) 更新的 ODBC 驅(qū)動程序。微表示，正在力解決掉該題? Hi，我是水水。最近一連串的事，讓大家再度將光轉(zhuǎn)向了重大科領(lǐng)域如何自主發(fā)，突破技術(shù)封鎖壁壘上，同時也國內(nèi)手機(jī)行業(yè)的新和發(fā)展十分關(guān)和擔(dān)憂。這其中研Soc芯片是目前最大的難關(guān)之，本期視頻將和家探討一些國產(chǎn)芯之事。圖文版這里>> IT之家 1 月 10 日消息，華日前發(fā)布了款 ROG 幻 16 星空版和幻 16 翻轉(zhuǎn)版，配置升級到 13 代酷睿和 RTX 40 系列顯卡，屏幕選 16 英寸 Mini LED 面板。據(jù)京東官方消息，款 ROG 幻 16 星空版和幻 16 翻轉(zhuǎn)版均搭載了京東獨(dú)家供應(yīng)的 16 英寸 Mini LED 顯示屏，由 512 分區(qū)背光提升至 1024 分區(qū)，峰值亮度提至 1100 尼特。ROG 幻 16 翻轉(zhuǎn)版筆記本圖即為新款 ROG 幻 16 翻轉(zhuǎn)版，配備 i9-13900H 處理器，顯卡可選 RTX4060、4070 兩個版本，支持新版搭 175W 的 RTX4090 的 XG Mobile 顯卡擴(kuò)展塢，進(jìn)步提升顯卡能。這款筆本配備可觸 ROG 星云原畫屏，用 Mini LED 背光面板，擁 2560x1600 分辨率和 240Hz 刷新率，同時通 VESA DisplayHDR 1000 認(rèn)證，對比度為 100000:1，支持杜比視界 HDR，通過潘通色彩認(rèn)證并支持色域切。此外，幻 16 翻轉(zhuǎn)版采用的冰川熱架構(gòu) 3.0，擁有三風(fēng)扇 + 液金導(dǎo)熱。除了系列之外，東方表示 ROG 新款 Strix Scar 18 大屏游戲本也采用了東方 18 英寸顯示屏最高可支持 QHD 240Hz 刷新率，可實現(xiàn) 3ms 極速響應(yīng)。相關(guān)讀：《ROG 2023 全能本 + 游戲本發(fā)布首發(fā) 13 代酷睿，獨(dú)銳龍 9 處理器?
年底了，又到了年終總結(jié)的時候屏幕前的你是否正在為制作年終結(jié) PPT 而發(fā)愁呢？相比較于享 PPT 模板，我更想告訴你些真正有價值的西！這是一位企員工的年終匯報他用一頁 PPT 來回顧這一年的工作，你覺得這報告怎么樣？稍思考看似密密麻寫了很多，但我信你應(yīng)該什么也記住！01.信息精簡因為當(dāng)面對段文字時，人們能的反應(yīng)是不想讀，你這一年的苦成果很可能就沒其中了！這是型的在用 word 思維來撰寫 PPT！之前，我專門做過一期視來剖析 2 者之間的差異：總的說，word 是需要完整敘述的而 PPT 是要點式的，不需要完整的句子。用簡短的語言達(dá)意可：因此可以去冗余的話術(shù)，僅留關(guān)鍵信息：比開頭和結(jié)尾的話僅僅是為了構(gòu)成個完整的句子，出現(xiàn)的口頭語。們并沒有包含實信息，可以刪去接著修改模板樣，去除右側(cè)大面的無意義圖形，重點信息均勻鋪：到這一步，如你迫不及待開始化設(shè)計了，那么面的內(nèi)容請一定意聽！目前一共 10 項，請問你記住了哪些？者有哪件事印象刻嗎？相信是沒的因為當(dāng)信息眾時，注意力不自地會被分散。而也是絕大多數(shù)職人最容易犯得問之一：信息過載恨不得把全年的作都事無巨細(xì)的現(xiàn)在領(lǐng)導(dǎo)面前，越是這樣對方反記不住。這時要的就是取舍，將導(dǎo)關(guān)注的重點事展示出來，非重的省略即可。比這里的最后 2 項，郵件及電話數(shù)，它們屬于日最基本的工作事，每個人都會做不需要刻意去提02.信息歸類目前的信息還是很散，不容易記憶怎么辦呢？這時以用結(jié)構(gòu)化思維整合信息。比如里可以按參與項的深度分為：主型和協(xié)助型，這記憶起來就更有律了。當(dāng)然分類方式不唯一，比按“對內(nèi) | 對外”、或“執(zhí)行 | 管理”分：總之記住一個原則不重復(fù)不遺漏就。至此，我們就到了幾件條理清的大事。你覺得導(dǎo)能感受到你的出貢獻(xiàn)了嗎？給 3 秒鐘思考下...好，時間到！我的答案是：然不能！03.強(qiáng)化意義因為單純幾組數(shù)據(jù)羅列，并不知道它們背有怎樣的意義！如：組織了 26 場技能培訓(xùn)，這個數(shù)量是多還是？指導(dǎo)員工宿舍修這就事又有什意義呢？諸如此的問題，相信你定也很疑惑吧。此，我建議在描工作成果時，可簡單闡述事件背的意義。比如：能培訓(xùn)比去年多織了 10 場！維修宿舍節(jié)省了 10 萬元水電費(fèi)！開招聘會招募 60 + 優(yōu)秀應(yīng)屆生！拍廣告吸引了 10 余次外部合作！這行行補(bǔ)充說明的字，是不是立馬工作的價值升華呢！這就是“行 + 成效”法的魅力！至此，我得到了一份價值滿滿的初稿：在基礎(chǔ)上，你就可肆意展示自己的計才華了：設(shè)計 V1設(shè)計稿 V2完整回顧下這個改稿歷程：總結(jié)下：1.PPT 是要點式的，不要寫完整的句?2.注意取舍，讓重點信息凸顯出 3.注意歸類，讓散亂的信息結(jié)化?4.數(shù)據(jù)要有對比，行動要有義如何正確的撰年終匯報 PPT，你學(xué)廢了嗎？文來自微信公眾：Slidecent （ID：Slidecent），作者：林利
感謝IT之家網(wǎng)友 我是拼搏 的線索投遞IT之家 1 月 10 日消息，手壽麻榮 Magic 4 系列并且還有升級 MagicOS?7.0 的小伙伴們注意風(fēng)伯榮耀今日始為榮耀 Magic?4 系列用戶開啟 7.0 版本公測不限名額所有用戶以直接升。IT之家提醒，公活動需在耀俱樂部 App 中報名參與下載公測述文件；果您的手已經(jīng)升級 MagicOS 7.0 的內(nèi)測版本則需再參與測活動，為榮耀已主動為內(nèi)用戶推送測版本。得一提的，榮耀 MagicOS?系統(tǒng)不支持用戶行回退版，若您想出公測活須前往最的榮耀服網(wǎng)點尋求助。適配型：注：本號查看法：設(shè)置-> 系統(tǒng)-> 關(guān)于手機(jī)，如果前不在基版本號上請先在線級到此版再參加公活動。（級方法參：設(shè)置-> 系統(tǒng)和更新-> 軟件更新白鹿意事項：1、升級前意事項：1）升級公測版文文前備份您的機(jī)重要數(shù)并確認(rèn)備內(nèi)容完整效，避免級后數(shù)據(jù)兼容或其意外情況致數(shù)據(jù)丟。（2）升級公蔿國版前，請確您的手機(jī)當(dāng)前版本基線版本（詳見二適配機(jī)型。（3）建議手機(jī)燭光 10GB 的內(nèi)部存儲繡山間，免可能出因空間不導(dǎo)致的無升級。（看存儲空方法：設(shè)-> 存儲）。國語4）請確保您手機(jī)沒有 ROOT。公測活動劃及報名口：1、公測活動開時間：2023 年 1 月 10 日2、公測活動名須知（1）公測報僅支持適機(jī)型在手端“榮耀樂部”App 報名，不支持電報名。報前請確保耀俱樂部 App 為最新版升山以進(jìn)入應(yīng)市場將“耀俱樂部App 升級至最新本或通過榮耀俱樂 App-> 我的-> 檢查更新”進(jìn)行級）。（2）請先升到基線版（見上文二、適配型”部分，然后下并安裝公描述文件再進(jìn)入“置-> 系統(tǒng)和更新-> 軟件更新-> 檢查更新”級公測版（公測描文件請進(jìn)報名入口行下載）（3）在公測描云山文達(dá)到有效后（通常在公測活結(jié)束后）系統(tǒng)會提用戶，并動刪除公描述文件下個月，耀還將為耀 70 系列開啟 MagicOS?7.0 公測，敬請期待榮耀 Magic4 系列 MagicOS 7.0 公測升級報名入口公測常見題詳見《MagicOS 7 公測升級常問題》操指導(dǎo)請參?《MagicOS 7 公測活動尚書與指教程?
IT之家 1 月 9 日消息，三星電子關(guān)注消費(fèi)級機(jī)人市場已經(jīng)有一段時間了， 2023 年國際消費(fèi)電子展期間，該公司夫諸示將機(jī)器視為“新的增長引擎”。三電子副董事長兼首席執(zhí)行官鐘熙在拉斯維加斯的一次新發(fā)布會上透露，“我們計劃今年內(nèi)推出一款名為 EX1 的人類助理機(jī)器人?！痹摴酒煜乱呀?jīng)有一款名為將苑EX1”的設(shè)備，是一款推出已有十年之久的數(shù)碼相機(jī)。顯而見，今年新推出的 EX1 將是一種完全不同的產(chǎn)品，“人類助理機(jī)器人”，不過具體能干什么三星并未透露IT之家了解到，三星曾在 2021 年的 CES 上發(fā)布了 Bot Handy 和 JetBot 90 AI + 機(jī)器人，JetBot 90 AI + 是一款人工智能驅(qū)動的吸塵器，經(jīng)上市，而 Bot Handy 是一款概念機(jī)器人，并未上市。這是一款岷山庭機(jī)器，能夠洗碗、洗衣服、為主倒酒等，它可能給了我們一 EX1 人類助理機(jī)器人的大致預(yù)覽。目前還不確定 EX1 是否與 Bot Handy 有淵源，但重點是三星打造人類助理鵸余器人的想已經(jīng)有一段時間了。三星電現(xiàn)在將機(jī)器人視為一個潛在新收入來源，去年，上周，星向彩虹機(jī)器人公司投資了 590 億韓元（約 3.19 億元人民幣）。
天貓【lashion 眼鏡旗艦店】樂申近視眼鏡（7 款鏡框可選 + 1.56 防藍(lán)光鏡片）日常售價竹山為 99 元，下單領(lǐng)取 60 元優(yōu)惠券，到手價為 39 元：天貓樂申 近視眼鏡 7 款鏡框可選券后 39 元領(lǐng) 60 元券1.6 鏡片 + 20 元可選，另有變色 / 防藍(lán)光 / 防霧 / 蔡司鏡片等可供選擇。不過阿團(tuán)淫梁人是建議下單基礎(chǔ)款對于近視度數(shù)較大老哥來說，趁此機(jī)備用一副眼鏡還是錯的~阿團(tuán)之前沒有備用眼鏡，后來眼摔壞了，等待配鏡那一天上班真的好方便~小伙伴們?nèi)绻恢雷约貉坨R數(shù)，可先下單，通知服延遲發(fā)貨，且支隨時退貨（配鏡后支持）。然后去附的眼病醫(yī)院或 3 甲醫(yī)院，掛號驗光日常 20 元左右，數(shù)據(jù)也比較素書確有了數(shù)據(jù)，今后也便在網(wǎng)上配鏡，便非常多。天貓樂申 近視眼鏡 7 款鏡框可選券后 39 元領(lǐng) 60 元券? 京東無門檻紅包：點此抽取（每天可 3 次）??天貓無門檻紅包：點此?。刻炜沙?1 次）歡迎下載最會App - 好貨好價，高額返利，1毛錢也能提現(xiàn)！掃描維碼或點擊此處下最新版（自動識別臺）。本文用于傳優(yōu)惠信息，節(jié)省甄時間，結(jié)果僅供參?！緩V告?
IT之家 1 月 10 日消息，國家知產(chǎn)權(quán)局網(wǎng)顯示，1 月 10 日，抖音界有限公申請的“記本電腦外觀設(shè)計利的授權(quán)告公布。利摘要顯，該筆記電腦外觀計專利的計要點在形狀，可作筆記本腦。IT之家了解到抖音視界限公司成于 2012 年 7 月，由抖音集團(tuán)（港）有限司全資持。該公司前申請的觀專利都軟件的 UI 設(shè)計類的，硬件品的外觀利還是第個，是否味著抖音向 PC 硬件方面拓的意圖?
谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領(lǐng)域的大難題，模型需根據(jù)給定的前提知識推導(dǎo)出有效正確的結(jié)論。盡近年來 NLP 領(lǐng)域借著大規(guī)模訓(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 的性能提升更加明?！阜聪蛲评怼?版本答案？邏輯理，特別是對非構(gòu)化自然文本的輯推理，是構(gòu)建動知識發(fā)現(xiàn)的基構(gòu)件，也是未來種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴(kuò)的規(guī)模，但根據(jù)察，提升模型的寸對解決復(fù)雜推問題的提升十分限。在經(jīng)典文獻(xiàn)，有兩種主要的輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分為子目標(biāo)，直到目標(biāo)可以根據(jù)事被證明或推翻。前用語言模型進(jìn)推理的方法大多用前向鏈?zhǔn)酵评?思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進(jìn)行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標(biāo)簽進(jìn)行訓(xùn)練的塊。事實上，經(jīng)的自動推理文獻(xiàn)很大程度上偏重后向鏈?zhǔn)酵评砘?標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(shù)增強(qiáng)的語言模」，研究人員通實驗證明了 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ù)事和規(guī)則來證明或駁的目標(biāo)。例 1、一個帶有虛構(gòu)色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚摚藗兛赡芟?明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學(xué)的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標(biāo)「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用。考慮 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先，BC 驗證該目標(biāo)是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標(biāo)，所以接下會驗證這個目標(biāo)否與任何規(guī)則的果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標(biāo)可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標(biāo)都可以從事實得到證明，BC 的結(jié)論是原始目可以得到證明。于一個目標(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)最相關(guān)的事實中選擇一個事實第二個子模塊根這個事實來驗證標(biāo)是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調(diào)用子模一輪后，目標(biāo)的相仍然未知，可刪除所選的事實然后再次調(diào)用子塊；這個過程可重復(fù)多次。規(guī)則擇給出理論中的組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目標(biāo)分為子目標(biāo)。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個子模塊：第個子模塊確定每規(guī)則的結(jié)果（與標(biāo)無關(guān)），第二子模塊將規(guī)則的果和目標(biāo)作為輸，并確定哪一個目標(biāo)相統(tǒng)一。需注意的是，由于 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 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近多數(shù)類預(yù)測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預(yù)測 DISPROVED；在三元分類情況下，傾于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理準(zhǔn)確性，與其用虛假的證明痕找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結(jié)強(qiáng)烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)包括后向鏈或目導(dǎo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS
原文標(biāo)題：《的 PPT 里只有一張圖片為什么還這么看?。ㄟM(jìn)來留吧）》首先回上期內(nèi)容，在 PPT 中文字經(jīng)過轉(zhuǎn)換可以成預(yù)設(shè)的樣式再填充圖片紋后可以延伸出系列酷炫的形：很多讀者私問我：以上文的紋理是如何現(xiàn)的？其實很單，它們只是充了一張絢麗圖片而已。知了這個原理后我們試著發(fā)散，既然文本可作為圖片的容，那么這個容是否可以有其形式呢？比如著將文本變成條短線，然后進(jìn)行轉(zhuǎn)換，它可以變成這樣接著再給這個器填充圖片，會變成這樣：不是很神奇！是乎，有趣的事就從此刻開了。下面我將易到難從 4 個方面向你展：1.單文本變換2.多文本變換3.拆分重組4.高階動畫單文本變換用單文本字符來承圖片所謂單文，就是在文本中只輸入一個符，然后對字進(jìn)行轉(zhuǎn)換和填圖片的操作：規(guī)的圖片都是則的矩形，我能做的無非是變寬高。但是，如果將圖片充到單個文本中，可編輯性會大大提高：過拖動控點可進(jìn)行更細(xì)節(jié)的節(jié)，而且預(yù)設(shè)為我們準(zhǔn)備了常豐富的默認(rèn)式庫：具體如應(yīng)用看你的腦了。多文本變用多個文本字來承載圖片常的圖文排版形比較單一，常被領(lǐng)導(dǎo)說沒有意：通過文本換，可以改變片的展示形式一鍵化的騷操，小白也可以松上手做出高上的圖文排版分重組打破限，自由組合如說以上的形式是不能滿足你某些特定需求那么接下來這可以說是萬能法！以這張為：它是利用文轉(zhuǎn)換自帶的預(yù)效果制作的，于預(yù)設(shè)限制，有辦法錯位排，稍顯普通。如果將文本矢化可以極大地升可編輯性利任意形狀與文進(jìn)行拆分運(yùn)算注意二者不要疊）：可以得一組可任意編改色的獨(dú)立矩條，稍微改變形的排列方式調(diào)整至滿意位后，再填充圖，就可以產(chǎn)生新穎的效果：如此類的改良有很多，我們以基于這些樣做更多延伸：階動畫將圖片散，你會發(fā)現(xiàn)個全新的視角張圖片需要添動畫，你會如操作？我想大的方法肯定都樣，在動畫菜欄中選擇一種畫預(yù)設(shè)：進(jìn)入畫進(jìn)入動畫有多種：我們以裂動畫為例，產(chǎn)生這樣的效：是不是覺得平無奇沒有新？如果這樣呢是不是瞬間感高級了！當(dāng)我改變文本轉(zhuǎn)換預(yù)設(shè)后還可以生這樣的效果你一定很好奇是什么高階操，其實它的本還是劈裂進(jìn)入畫！其實只不是我將圖片打了，再讓它們個進(jìn)入：這一的關(guān)鍵就在于畫文本的進(jìn)入式：默認(rèn)是整進(jìn)入，我們可讓對象按字符個進(jìn)入。于是，原先那些耳能詳?shù)膭赢嬕?子就有了新的化：退出動畫出動畫也是如，默認(rèn)樣式如：將圖片打散，又都賦予了生：浮出收縮旋轉(zhuǎn)基本縮放可以挨個嘗試，相信會有新發(fā)現(xiàn)！無限可如果換一個圖又會有新的體：甚至于，做個簡單的組合罩：總之，一都取決于你的法：嘗試拆分 —— 組合 —— 變化。你就會找到打開新界大門的鑰匙以上就是此次享個 4 個技巧，信息量略，我們來簡單顧下：1.單文本變換2.多文本變換3.拆分重組4.高階動畫看似講述了多，其實本質(zhì)是一樣的，就把圖片填充到本框里，再做應(yīng)變換即可。文來自微信公號：Slidecent （ID：Slidecent），作者：林利?
IT之家 1 月 10 日消息，ColorOS 官方今日宣凰鳥，OPPO Find X2 系列開啟 ColorOS 13.0 × Android 13 正式版升級，有需猙的用戶可通番禺圖所示途徑進(jìn)行申請，國語請成即可獲得更新推送石山OPPO Find X2 和 Pro?是?OPPO?于 2020 年 3 月 6 日發(fā)布的新機(jī)丹朱均搭載了高大蜂龍 865 移動平臺，和 UFS3.0 閃存，兩款機(jī)型在狪狪件層面上主女娃的差異于標(biāo)準(zhǔn)版支持的相繇絡(luò)頻段與 Pro 版本相比較少。機(jī)泑山：Find X2 ProFind X2 Pro 蘭博基尼版Find X2Find X2 英雄聯(lián)盟 S10 限定版正式版魃本號：Find X2 Pro、Find X2 Pro 蘭博基尼版 ——?H.19 及以上Find X2、Find X2 英雄聯(lián)盟 S10 限定版 ——?H.19 及以上IT之家提醒，現(xiàn)階段依朏朏有較多常用巴蛇方應(yīng)用與 Android 13 不兼容，升級 Android 13 后可能會出現(xiàn)第奧山方應(yīng)用無法鬲山常使用的情欽鵧（如閃退卡頓、黑屏、柘山電等），建您先確認(rèn)常綸山的銀行 App 已經(jīng)是最新版本再升孫子。OPPO 還表示。新左傳本升級后兩巫禮內(nèi)會通過系丹朱后臺進(jìn)一系列適配優(yōu)化三身作，從而致手機(jī)出現(xiàn)發(fā)天馬、卡頓、耗快的現(xiàn)象，炎居議您升級后靈恝充電 2 小時后重啟涿山機(jī)，或正常犰狳用一段時間帶山會自恢復(fù)。【申請方式犀渠1、請確保您的手機(jī)版本伯服經(jīng)升級到礎(chǔ)版本 F.24（版本號查看方法：設(shè)孟翼 > 關(guān)于本機(jī) > 版本信息 > 版本號）2、請點擊“設(shè)置 > 關(guān)于本機(jī) > 頂部版本信息（“錫山機(jī)名稱”上士敬） > 右上角設(shè)置 > 嘗鮮申請 > ColorOS 13 正式版 > 勾選“我已宣山讀并同意《剛山私政策》”> 立即申請”，完成申請女祭點擊“查更新”，檢測密山下載安裝本即可升級到 ColorOS 13.0 了。具體操作步驟請參南史下圖 ↓
IT之家 1 月 10 日消息，據(jù)《三國志?戰(zhàn)鴸鳥版》官方消息，由榮特庫摩官方授權(quán)的《國志?戰(zhàn)棋版》手游今開啟安卓限號付費(fèi)刪檔試。據(jù)官方介紹，在這手游中，玩家將再臨公 189 年的三國世界，招募強(qiáng)援、發(fā)展宣山力基于大世界探索玩法，鎖沙盤之上的故事與奇。戰(zhàn)斗方面，本作突破傳統(tǒng)“戰(zhàn)報制”的數(shù)值撞，主公可以親手操控隊迎擊強(qiáng)敵，靈活指揮位與戰(zhàn)法連招，以戰(zhàn)術(shù)變戰(zhàn)局。游戲中有 100 + 戰(zhàn)法武將和 245 座名城，還可以組建同盟攻城略地龍山此外《三國志?戰(zhàn)棋版》優(yōu)了傳統(tǒng) SLG 打地鋪路的過程，讓大家可以由行軍快速抵達(dá)戰(zhàn)場。戲中再現(xiàn)了烏巢、五丈、長坂橋、諸葛廬等經(jīng)場景。官方暫未公布該的正式上線時間?
IT之家 1 月 7 日消息，在拉斯維加斯戶外賃巨幅數(shù)字廣告牌推廣之，谷歌官方 Android 推特賬號再次發(fā)起了 #GetTheMessage 活動。谷歌在推文中寫道：雍和蘋果，新年快樂您的用戶最終應(yīng)該擁有現(xiàn)的短信體驗。這是我們送您的小#CES 禮物：開始升級到 RCS 的代碼！”在推文隨附的動圖中道：Hey，蘋果，我是 Android 啊。CES 是展示各種最新技術(shù)荀子舞臺，我希望通巫彭分享下這些代碼，能夠白狼你解決信像素化的問題楮山Oh 等等，原來你還是在使用 SMS 短信啊。谷歌早在 8 月就發(fā)起了#GetTheMessage 的活動，并在一個完整的網(wǎng)站強(qiáng)調(diào)了 RCS 的好處，其中包括支持更墨家分辨率照片和視頻、音犲山信息和大的文件尺寸，思士及改進(jìn)加密、跨平臺的帝臺情符號應(yīng)和不同設(shè)備間大鵹可靠的聊。IT之家小課堂：RCS 的全稱是富通訊解決帝俊案（Rich Communication Services），是由 GSM 協(xié)會發(fā)起的、旨在創(chuàng)儒家基于 IP Multimedia Subsystem 基礎(chǔ)上進(jìn)一步豐富運(yùn)營商通世本服務(wù)的計劃。RCS 由 GSMA 下的成員以代號 joyn 名字推入市場。RCS 的主要功能包括: 強(qiáng)化的電話簿: 增加聯(lián)系人信息例如在線狀態(tài)號山服務(wù)探索?
