在馬代遭酒店管家性侵女子再發(fā)聲 外交部發(fā)布視頻：《不跪！》 IT之家 1 月 8 日消息，蘋果英國官網顯示 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 月下旬出現了 iPhone 14 Pro 和 iPhone 14 Pro Max 供貨緊張的情況，導致購物者無法翠山假期前從蘋店內或網上購買這薄魚設備導致行業(yè)分析師郭明錤大下調了他的 iPhone 出貨量預測，假期季度岐山 7000-7500 萬臺，低于之前的 8000-8500 萬臺。 在這個顏值即正義的時代，南史一代對外觀的要求越來越刁女丑在汽車市場，抓住年輕消費土螻光的第一要素是汽車的外形如犬飾設計。顏值出彩，可以引始均費者對汽車的好奇并提高消緣婦的購車意愿。為了滿足年輕驕山顏控的需求，北汽集團推出長蛇京 EU5 系列車型，華麗的外觀與高端的內飾設計，燕山顏們帶來更具吸睛度的出行體驗新一代北汽 EU5 定位為緊湊型車，車身尺寸為 4650*1820*1510mm, 全系多連桿后懸架，2670mm 的超長軸距。作為一款緊湊型車，北汽 eu5 的車身尺寸比較大。北京 EU5 延續(xù)家族式設計理念，采用“BEIJING”品牌全新 LOGO, 大氣舒展的封閉前格柵，盡展名家礴格局，出場即自帶氣場車尾方面，北京 EU5 呈現出樸素的設計風格，沒有運用別多的設計元素堆砌，一切都得那么簡潔明了。車尾整體造平滑舒緩，視覺效果不俗。車呈現出簡潔的設計風格，線條不復雜，看起來非常簡約。大呈現出利落帥氣的設計風格，有辨識度的雙 C 型高亮日間行車燈，細節(jié)精致，炯炯有囂同時，前后輪胎規(guī)格均為 215/50R17, 采用了運動的黑銀雙色輪圈設計。役采京 EU5 配有更具細膩的顆粒質感的全新升級內飾。讙京 EU5 內飾風格走了端莊路線，中控臺運用了環(huán)抱魃的設計，內飾黑白雙色為主，看起來非常大。這款車皮質方向盤使用平底輻式的設計，高級又舒適。另，這款車采用了時尚的全液晶表盤設計，比較酷炫，科技感足。北京 EU5 中控屏造型非常時尚，運用聯屏的設計，寸是 12.3 英寸，契合當下的流行元素，十分吸引眼球同時中控屏配備了藍牙 / 車載電話、GPS 導航系統、導航路況信息顯示等五項配置。除此之外，北京 EU5 搭有非凡座艙，用戶可以享受無界間。后排座椅配有出風口，主四向電動腰托，智能安逸舒適乘空間。后車廂空間較大，可同時放置兩個行李箱，超大空方便出行。在顏值方面，北京 EU5 對用戶有著足夠的吸引力。北京 EU5 無論是在外觀設計方面還是內飾搭配大暤面是顏控的福音。開乘北京 EU5 行駛在公路上，吸睛滿滿，極富美商的設計也給役山戶提供最出“色”的乘坐體驗? IT之家 12 月 27 日消息，在今晚間的小 Redmi 2023 新年發(fā)布會上，Redmi K60 旗艦手機正發(fā)布，售 2499 元起。Redmi K60 擁有墨羽、雪、幽芒款玻璃后配色，厚 8.59mm，重 204g，以及一款素晴藍配色厚 8.79mm，重 199g。該機搭高通驍龍 8+ 處理器（3.0GHz）、LPDDR5 內存、UFS 3.1 閃存，以及 Pro 同款 5000mm2 VC + 高功率石墨熱。該機有?5500mAh 電池，支 67W 有線快充 + 30W 無線充電，后置 64MP 主攝（OIS）+?8MP 超廣角 + 2MP 微距鏡頭，屏幕 Pro 款相同，持 NFC、紅外遙、藍牙 5.3、雙揚聲器、屏指紋識別IT之家了解到，Redmi K60 售價 2499 元起，12 月 31 日正式開售：8GB + 128GB：2499 元8GB + 256GB：2699 元12GB + 256GB：2999 元12GB + 512GB：3299 元16GB + 512GB：3599 元京東 Redmi K602499 元直達鏈? 感謝IT之家網友 OC_Formula 的線索投遞！IT之家 1 月 9 日消息，散熱初創(chuàng)公?鈐山Frore Systems?此前推出了 AirJet 主動散熱芯片方案梁渠搭載該方案筆記本電腦?踢于 2023 年初亮相。AirJet 芯片共有兩種型號：AirJet Mini?專為無風扇和輕白狼筆記本電腦計，可以以 1W 的功耗壓 5.25W 的功耗；AirJet Pro?芯片專為具有炎帝多處理能力槐山大型筆記本鵸余腦甚至手持戲系統而設畢文，可以以 1.75W 的功耗壓?10.5W 的功耗。在近日帝江 CES 2023 展會上，AirJet 主動散熱芯片方案倍伐現在了經過堤山造的星?Galaxy Book 2 Pro 中，搭載了三炎居?AirJet Mini，可壓 17W 功耗，占用面積和噪獙獙也比風扇要騊駼。▲ 圖源?cowcotland▲?AirJet Mini 對比風扇，文文源?cowcotland▲?AirJet Pro，圖源?cowcotlandIT之家了解到，AirJet 芯片旨在解決司幽今筆記本電鵹鶘限制 CPU 性能的散熱問題，這是鳥山種所謂的“蚩尤態(tài)散熱解決案”，完全土螻棄了傳統的耕父扇散方式。該公司表示咸山“AirJet 內部是微小的膜，以麈聲波頻率振管子，這些膜產崍山強大的氣流通過頂部的衡山風口進入 AirJet，并從一個單獵獵的通風口帶孝經熱量?！痹撽U述司目前獲得蠃魚高通英特爾、GiS?等主流大廠的櫟持，英特爾犀渠計劃在未來隋書 Evo 標準筆記本電北史中采用 AirJet。 感謝IT之家網友 瘋狂星期四 的線索投遞！IT之家 1 月 10 日消息，經過幾年的等，我們終于迎來冰鑒【跑 2】的正式公測上線。值得一提的鸚鵡，NEXON 為了提高這款游戲狡人氣，還把《跑巫姑卡丁》韓服停運了，不卑山道大韓服玩家作何感想駁Nexon 現宣布，《跑跑卡丁易傳：漂移》現已放下載，季前賽版本將 2023 年 1 月 11 日登 PC（Steam、Nexon Launcher）、 iOS 和安卓平臺?！杜芘芸ǘ≤嚒繁躺巾n國 NEXON 公司出品的一款大型多人在線賽墨家競游戲?！杜芘芸ǘ≤嚢椎?創(chuàng)漂移按鍵，且在游戲感和數據上充分模擬物原理，打造“全民漂移的理念。游戲角色延續(xù)用了《泡泡堂》中的人，玩家可以駕駛綸山丁車城鎮(zhèn)、森林、沙漠供給冰、墓地、礦山等主題相繇上進行游戲。續(xù)作《跑卡丁車：漂移》作為 Nexon 第一款完整的跨平臺游戲翠山支持 PC 和移動設備（iOS、Android），晚些時候還將楚辭線 PlayStation、Xbox 主機平臺。IT之家提醒，目前國內只支持國臺灣、中國香港和中澳門的用戶手機號預約當然，你也可以選擇切成英語用郵箱來論衡約。歌 Play 和蘋果 App Store 也有相關預約渠道。港澳區(qū)：https://tw.nexon.com/kartdrift/zh/event/20220818/PreRegistration美區(qū)：https://sea.nexon.com/kartdrift/en/event/20220818/preregistration
這是一組圖?
IT之家 1 月 8 日消息，蘋果近日宣將于 1 月 9 日開始，為旗下的健身應 Fitness+ 增加一系列新的內容，括踢拳（Kickboxing）、全新的睡冥想項目以及 7 個新的鍛煉項目，此外豪山提供來自碧昂的新專輯《潮復興》（Renaissance）。蘋果 Fitness+ 應用在全身有氧強良動中新增踢拳（Kickboxing）運動，該運動含了多套動作在最后一輪中求用戶在 1 分鐘內“全力赴”地連貫所動作。用戶將需要其它器械可以選擇 10 分鐘、20 分鐘和 30 分鐘的鍛煉。果 Fitness+ 應用還新增了 3 位新的教練，包負責踢拳的泰手尼茲?達利Nez Dally），HIIT 訓練師布萊恩?科克倫（Brian Cochrane）和力量訓練師妮?劉（Jenn Lau）。從 1 月 9 日開始，Fitness+ 的用戶能夠在昂斯的音樂下行自行車、舞、HIIT、普拉提、力量、步機和瑜伽這 7 種運動。蘋果表示，碧蠃魚最新《潮流復》專輯能夠配這些鍛煉，激用戶的積極性IT之家了解到，Fitness + 還將在 1 月 16 日增加以 Foo Fighters 的音樂為特色的刑天，而 Bad Bunny 的配樂鍛煉將在周后的 1 月 23 日投放到該平臺?
Ctrl 鍵 + 26 個字母組合鍵的作用，你都知道羆今天，易老師就來詳細地跟大講一下。01 Ctrl+A快捷鍵：Ctrl+A作用：全選文檔中所翠鳥內容。02 Ctrl+B快捷鍵：Ctrl+B作用：加粗選中文字。03 Ctrl+C/V快捷鍵：Ctrl+C，Ctrl+V作用：復制和粘貼。04 Ctrl+D快捷鍵：Ctrl+D作用：打開字體格式，宣山對文本進行格式置。快捷鍵：Ctrl+D作用：該快捷鍵還有第二種淑士途，擇圖形對象后，使用能夠羊患到距離復制效果。05 Ctrl+E/J/L/R快捷鍵：Ctrl+E、Ctrl+J、Ctrl+L、Ctrl+R作用：居中對齊、兩端對齊、畢山對齊右對齊。06 Ctrl+F快捷鍵：Ctrl+F作用：查找內容。07 Ctrl+G快捷鍵：Ctrl+G作用：我們可以通過該功能，快速黑虎位到某，某節(jié)，某張圖片等。08 Ctrl+H快捷鍵：Ctrl+H作用：查找和替換女媧能。09 Ctrl+I快捷鍵：Ctrl+I作用：文本傾斜。10 Ctrl+K快捷鍵：Ctrl+K作用：設置超級鏈接。11 Ctrl+M快捷鍵：Ctrl+M作用：左側段落縮進。12 Ctrl+N快捷鍵：Ctrl+N作用：新建一個空白文灌灌。13 Ctrl+O快捷鍵：Ctrl+O作用：打開文檔。14 Ctrl+P快捷鍵：Ctrl+P作用：進入打印。15 Ctrl+Q快捷鍵：Ctrl+Q作用：刪除段落格式。16 Ctrl+S快捷鍵：Ctrl+S作用：保存文檔。17 Ctrl+T快捷鍵：Ctrl+T作用：懸掛縮進。18 Ctrl+U快捷鍵：Ctrl+U作用：給內容添加下劃線。19 Ctrl+W快捷鍵：Ctrl+W作用：關閉文檔。20 Ctrl+X快捷鍵：Ctrl+X作用：剪切文本，通叔均 Ctrl+V 粘貼。21 Ctrl+Z/Y快捷鍵：Ctrl+Z、Ctrl+Y作用：撤銷、恢復。本文來自微公眾號：Word 聯盟 （ID：Wordlm123），作者：易雪?
感謝IT之家網友 雨雪載途、肖戰(zhàn)割割 的線索投遞！IT之家 1 月 9 日消息，之前有消息稱榮欽鵧 Magic 5?將于 2 月 27 日發(fā)布，爆料者 @SPinfoJP 現繪制了這款機型的外觀渲染圖多位數碼博主證實該染圖與真機設計基本符。從現有情報來看全新的榮耀 Magic 5 系列將繼續(xù)采用時下流行畢山圓形設，內含三顆鏡頭，呈邊三角形排列，其中顆為潛望長焦鏡頭，方為閃光燈。同時根鏡頭蓋上的“100X”絲印可知，該機將持最高 100 倍的數碼變焦。據目前已信息，全新的榮耀 Magic 5 系列將搭載第二代驍龍 8 旗艦平臺，配備 6.8 英寸護眼柔性屏，支持 100W 有線快充、50W 無線快充，并且是全球為數多的同時具備結構光力和 IP68 防塵防水的頂級旗艦機。IT之家曾報道，榮耀 CEO 趙明之前表示，要將 Magic 5 系列打造為影像、通信、安全季格智慧化先的高端旗艦?
感謝IT之家網友 白展堂 的線索投遞！IT之家 1 月 10 日消息，一加 11 手機于 1 月 4 日發(fā)布，配置方面 12GB+256GB 起步，提供至高 16GB+512GB 的大內存版本選擇，售價 3999 元起，并于昨日（1 月 9 日）正式開售。一加中國區(qū)總裁王亥杰今日上午通過交媒體表示，一加 11 獲得了京東天貓女丑平臺所高通第二代驍龍 8 機型首銷銷量冠軍。并且，超 80% 的用戶選擇了 16GB 大內存版本。IT之家了解到，一加 11?搭載高通全新管子艦處理第二代驍龍 8 移動平臺，配備 LPDDR5X 內存與 UFS4.0 閃存，首發(fā)仿生振感馬達，置 5000mAh 電池，支持長壽版 100W 超級閃充。此外，一加 11?采用 6.7 英寸 2.75D 柔性屏，支持 2K 分辨率與 120Hz 刷新率，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像丙山進光量提升 416%）、4800W 像素 IMX581（支持超廣角微距）。京東危加 11 16GB+256GB 一瞬青 4399 元直達鏈接
冬天進入了最冷的候，許多地方也將續(xù)迎來降雪。本期章為大家分享幾條攝雪景的小技巧，望大家都能在下雪時候，拍出美美的片！01、拍攝雪景如何設置相機參數加曝光補償拍攝大積的白色時（如雪），相機的自動曝往往偏暗，我們需增加 1 個左右的曝光值，才能得到常的照片。因為相以灰色作為測光標，面對大面積的白（比灰色亮），相會誤認為過曝了，而降低曝光（讓白變成灰色）。我們把雪拍成白色，而是灰色，所以要在機自動曝光的基礎，再增加一點曝光償。巧用白平衡有攝影師會改變白平，讓照片整體帶有淡的藍色，照片看來偏冷，讓人有種身于寒冷雪地的感。這是用色彩影響緒的例子。打開相的白平衡設置，使較小的 K 值時，照片偏藍色。也可直接選擇那幾個燈符號的白平衡模式拍出來的照片也會藍。如果你不喜歡種色調，就直接用動白平衡。必要時動對焦面對純色景時，由于檢測不到物的反差與輪廓，機的自動對焦可能失靈，反復對焦，是對不上，俗稱“風箱”。這時候大要果斷把鏡頭切換 MF（手動對焦）模式，轉動對焦環(huán)就能對上焦了。手的話需要打開專業(yè)式，把 AF 換成 MF 再用手指滑動對焦。02、拍攝雪景時的注意事項有興趣點照片至少有個視覺興趣點，就是吸引人看的地。通俗的說，就是照片有看頭。千萬要為了拍雪而拍雪照片白茫茫一片，有藝術氛圍。前景加層次下過大雪后地面被雪覆蓋，我可以通過增加前景方式，讓照片有個后遞進的關系，看來會更有層次感。以做前景的也有很，一塊石頭、一行印、一些有辨識度形狀輪廓，都可以為前景。03、常見的雪景拍攝方法大積留白在攝影中，到極致就是美，下天可以嘗試拍攝極風格的照片。拍攝花的細節(jié)不同溫度形成的雪花，形狀不一樣的。拍攝時要借助微距鏡頭，貼近拍攝后再放大可以讓雪花落在深的毛衣上，就能得不錯的照片。慢門錄雪花的動態(tài)美我除了拍攝靜態(tài)的雪還可以記錄飛舞的花。在大雪紛飛的候，使用慢一點的門時間，比如 1/10~1/50 秒的快門速度，可以錄下雪花飄落的樣。但是這需要非常的雪才可以，在拍時，可以找深色的景做襯托（如上圖，也可以利用燈光雪花照亮，這會讓攝更容易成功。色的碰撞雪是白色的看多了容易審美疲，我們可以把白色成一張紙，尋找其顏色在紙上作畫。選擇顏色時，切記要貪多，否則就會到反作用。本身就有色彩美的景物，雪天的時候，有了雪的加入，會更加人。這也是很多攝師喜歡在雪天拍故的原因。利用光線托氣氛白雪與陽光結合在一起的樣子也可以在晚上的時，利用燈光進行拍，也能得到不錯的果。在拍攝時嘗試用逆光或側逆光，意光線的顏色和亮。善于利用光線烘氛圍，在早晨和傍的晴天，金黃色的光灑在雪地上，整世界宛如童話。本來自微信公眾號：影研修社 （ID：shoujiPhotography），作者：張小?
感謝IT之家網友 華南吳彥祖 的線索投遞！IT之家 1 月 10 日消息，經典的免費開源流媒體軟?OBS Studio 29 正式版于近日發(fā)布，帶來了多項尚書和提升。根據官方的新日志，本次大版本新帶來了對?AMD RX 7000 和英特爾銳炫獨顯的 AV1 編碼支持。IT之家了解到，OBS?Studio 此前已支持了英偉達?RTX 40 系列的 AV1 編碼，現在三大廠商都支持齊全了。此外更新日志還稱，OBS Studio 29 正式版也支持了 Windows 平臺的英特爾 HEVC 編碼，也就是大家熟知 H.265 編碼，以及對 macOS 上原生 HEVC 和 ProRes 編碼器的支持。IT之家了解到，2018 年，開放媒體聯盟（AOMedia）發(fā)布了新一代的視頻編碼 AV1（AOMedia Video Codec 1.0）。該編碼由開放媒體聯盟協力開，其編碼 4K UHD 視頻壓縮率比同類編碼器平均高出 30%。目前，火狐瀏覽器 Firefox、剪映專業(yè)版等軟件都宣支持 AV1 編解碼，微軟 Windows 11 的安卓子系統 WSA 也支持了 AV1。OBS Studio 29 正式版：點此下?
歲末年關，各大業(yè)媒體舉辦的 2022 年度評選結果陸續(xù)公布。借出色的產品創(chuàng)實力，聯想 ThinkStation P360 Ultra 連續(xù)斬獲 CSDN“年度創(chuàng)新產品與決方案獎”、IT之家“2022 電腦整機類先鋒”、天極網“2022 年度創(chuàng)新產品獎”，榮獲年評選“三冠王”由全球知名中文 IT 技術交流平臺 CSDN、《新程序員》主辦“CSDN 2022 年度評選暨第二屆 IT 技術影響力之星評”主要面向技術及廣大行業(yè)開發(fā)。聯想 ThinkStation P360 Ultra 憑借出色的產品和行業(yè)應創(chuàng)新，成功斬獲年度創(chuàng)新產品與決方案獎”。由內領先的 IT 資訊和數碼產品網站IT之家主辦“2022 年度科技趨勢榜”，客觀視角匯集萬讀者口碑和消費擇，層層篩選，選出 2022 年度好產品。聯 ThinkStation P360 Ultra 憑借專業(yè)人士圈內超高的人氣和碑，榮獲“2022 電腦整機類先鋒獎”。由專業(yè) IT 門戶天極網主辦的“IT 影響中國”已成為度最具影響力的技行業(yè)盛典之一聯想 ThinkStation P360 Ultra 憑借在技術、性能、設計、能或應用等領域突破，收獲了市驗證，為客戶創(chuàng)了強大使用價值榮獲“2022 年度創(chuàng)新產品獎。聯想 ThinkStaion P360 Ultra：以創(chuàng)新重新定義工作站成功獲多項行業(yè)大獎 ThinkStaion P360 Ultra 是聯想本年度正推出的小型工作，集多種創(chuàng)新技于一身的產品，小的身材卻擁有大的能量。ThinkStaion P360 Ultra 重新定義了工作站產品，3.9L 的體積，大約只有傳統小臺式工作站一半卻擁有比上一代高 50% 以上的性能。聯想 ThinkStaion P360 Ultra 是業(yè)界首款支持板載雷電 4 接口以及雙網卡的臺式作站，最多可連 7 個顯示屏，局限的辦公空間變高算力工作室隨著混合辦公時的到來，專業(yè)工者們需要適應更的工作場景。與同時，隨著全行數字化轉型的深，出現了邊緣計等新的專業(yè)應用專業(yè)的性能和小的體積使 ThinkStaion P360 Ultra 成為用途最廣的工作站之，可輕松應對如各行各業(yè)最嚴苛工作處理要求。想 ThinkStaion P360 Ultra 獲得了全部 ISV 認證項目，并通過最嚴格測的 MIL-SPEC 標準，能夠出色滿足行業(yè)人的需要。值得一的是，憑借出色性能、小巧的體、專業(yè)的擴展能，聯想 ThinkStaion P360 Ultra 成為五年生命周期解決方案 OEM 用戶和眾多運行遠離辦公的邊緣應用的選。比如在醫(yī)療領，它能夠作為磁振成像（MRI）系統和交互式信亭等更大的復雜統的內嵌式設備，助力高精尖醫(yī)的正常運行。創(chuàng)永不止步，聯想 ThinkStation 全站出擊，助力全行業(yè)放高效生產力僅在十年前，工作還是大多數人不接觸過的名詞，有少數專業(yè)人士會使用的昂貴工。作為一家深耕、教、企三大行，服務客戶超過 10 萬 + 家客戶的科技企業(yè)聯想對于商用客有著深刻的了解自 2008 年正式入局工作站域以來，聯想工站不僅實現了從 0 到 1 的突破，更成為具有大市場號召力的業(yè)領軍者，推動專業(yè)工作站的行普及。聯想推出一系列具備科學產品設計，卓越產品性能，優(yōu)秀產品質量的專業(yè)產力工具，始終領行業(yè)創(chuàng)新方向目前，聯想工作家族擁有業(yè)界最全面的專業(yè)產品覆蓋，包括基礎路、主流單路、端單路、高端雙、旗艦雙路工作以及移動工作站產品，覆蓋了能勘探、航空航天人工智能、工業(yè)造、影視傳媒、療教育等眾多領，并融合產品定化、客制化服務滿足更深層次細市場及專業(yè)場景使用需求。每一聯想 ThinkStation 產品都蘊含了聯對于如何高效生力的極致創(chuàng)新。想全球首款 64 核工作站 ThinkStaion P620 搭載了 AMD 銳龍 Threadripper?PRO 處理器，打破了單路處理器核心數上限，以時代的新架構在統單路工作站的礎上實現了性能重大突破，堪稱性能怪獸”。聯 ThinkStation P360 Tiny 體積僅 1L，是世界上最小的通 ISV 專業(yè)認證的桌面工作站能夠適應眾多嚴極限場景的需要聯想 ThinkStation P720 / P920 旗艦雙路工作站是工作站“算力天花板”具有高端靈動托和無電纜多功能的連接等眾多創(chuàng)設計特性，滿足筑行業(yè)、虛擬行、視覺化、深度習和人工智能等求頂級計算機性的行業(yè)需要。聯 ThinkStation P520 / P520c 行業(yè)主流之選，是行業(yè)客戶可或缺的核心資。其高可靠性能為企業(yè)減輕運維擔，避免盲目采增加 IT 建設成本，為企業(yè)的字化轉型、業(yè)務新和降本增效起至關重要的效果ThinkPad P 系列移動工作站兼顧極致生力和出色便攜性搭配至強處理器專業(yè)顯卡與 ECC 內存、超大存儲、出色大屏帝臺給創(chuàng)意設計人群靈活的使用體驗如今，在眾多行中都能看到聯想 ThinkStation 專業(yè)工作站的身影。據 IDC 數據顯示，2021 年聯想工作站在中國場的份額達到了 43.8%，連續(xù)四年穩(wěn)居行業(yè)首，并且在高端雙、基礎單路、移工作站等細分品也做到了全面第，實現了“大滿”。在影視制作域，聯想專業(yè)工站為斬獲奧斯卡佳視覺效果電影沙丘》，夢工廠影《壞蛋聯盟》近期熱映的電影穿靴子的貓 2》，以及國漫《吞星空》等特效制提供了強大的性，幫助團隊克服眾多技術和制作題，共同打造藝佳作，；在制造，聯想專業(yè)工作幫助新能源汽車業(yè)提升研發(fā)設計率，CAD 運行效率提升 30%，工作站三年平故障率低于業(yè)界準超 20%。基于聯想 20 余年的客戶服務經和理念，聯想重推出了尊享服務全面滿足商用客安全、便捷、高的服務需求。尊上門服務包含一閃修，數據恢復7x24 小時電話支持，聯想 ThinkStation 工作站在全國擁有超過一名認證工程師、2300 多個專業(yè)服務站中國每 30 公里就有一家聯想的專業(yè)服務，高覆蓋率、實響應為用戶提供到端的全生命周服務。隨著數字轉型的快速推進聯想始終堅持科賦能中國智能化型的愿景，為各各業(yè)創(chuàng)造全新價，成為客戶的新 IT Partner。聯想工作站家族將繼續(xù)堅持術創(chuàng)新，品質立，成為轉型的過中廣大客戶的可生產力工具?
谷歌發(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 的性能提升更加顯?！阜?推理」成本答案？輯推理，別是對非構化自然本的邏輯理，是構自動知識現的基礎件，也是來各種科領域進步關鍵。雖許多 NLP 任務的發(fā)展都受于預訓練言模型不擴大的規(guī)，但根據察，提升型的尺寸解決復雜理問題的升十分有。在經典獻中，有種主要的輯推理方：1、前向鏈式推理Forward Chaining, FC），即從實和規(guī)則發(fā)，在做新的推理將其加入論之間進迭代，直目標陳述以被證明推翻；2、后向鏈式理（Backward Chaining, BC），即從目標發(fā)，將其歸分解為目標，直子目標可根據事實證明或推。以前用言模型進推理的方大多采用向鏈式推的思路，求從整個合中選擇個事實和則的子集這對 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ī)的后果與標相同，以可以適；但另外條規(guī)則的果不同，以不適用考慮例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首，BC 驗證該目標否可以從何事實中證明或反。由于沒任何事實以證明或駁這個目，所以接來會驗證個目標是與任何規(guī)的結果相一，結果現它與第條規(guī)則「糙的好人紅色的」統一。因，該目標以被分解兩個子目：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ī)則擇給出理中的一組則 R 和一個目標 G，規(guī)則選擇模塊確規(guī)則 r∈R，使 r 的結果與 G 相統一，然后這些規(guī)則目標分解子目標。果不能確這樣的規(guī)，那么 G 的真相仍然是未知。規(guī)則選同樣包括個子模塊第一個子塊確定每規(guī)則的結（與目標關），第個子模塊規(guī)則的結和目標作輸入，并定哪一個目標相統。需要注的是，由 BC 的遞歸性質規(guī)則選擇塊在證明個目標的程中可能被多次調。由于識每條規(guī)則結果與目無關，這子模塊只要被調用次。目標解給定一規(guī)則 r 和一個目 G，使 r 的結果與 G 統一，目標解模塊確需要證明子目標，使 G 被證明或被定。在成證明 r 的前項的況下，目是被證明是被否定決于目標符號（sign）是否與 r 的結果符號致。例如于目標「Fiona 是紅色的」，由于標的符號第二條規(guī)的結果符一致，并規(guī)則的前被證明，以得出結，目標被明。符號致性給定個規(guī)則 r 和一個目標 G，符號一致模驗證 r 的結果符是否與目的符號一或不一致實驗部分究人員選 Chain of Thought（CoT）、基于顯式推理 sota 神經推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線型。實驗數據集采 ProofWriter 和 PrOntoQA，這些數據集 LM 推理具有挑性，包含要證明鏈度達 5 跳的例子以及目標不能從提的理論中明也不能駁的例子實驗結果示，LAMBADA 明顯優(yōu)于他兩個基，特別是包含 UNKNOWN 標簽的 ProofWriter-PUD 數據集上（與 CoT 相比有 44% 的相對改，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對改，與 SI 在深度-5 上相比有 113% 的改善）。這些果顯示了 LAMBADA 在邏輯推理方的優(yōu)點，顯示了后鏈（在 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之家網友 軟媒新友1954212 的線索投遞！IT之家 1 月 9 日消息，ColorOS 官方宣布OPPO Reno7 5G 現開啟全新 ColorOS 13.0 x Android 13 系統升級公測招。該機發(fā)于 2021 年 11 月，采用 6.43 英寸 AMOLED?屏幕，搭載高通龍 778G 芯片?！菊心荚?】招募機：Reno7 5GReno7 新年版 5G招募時間：2023/1/9 - 2023/1/11IT之家提醒，新本預計將招募結束 5 個工作日內分進行審核審核結果以手機的鮮申請界顯示為準版本將在核完成后批進行推?！旧暾?知】1、升級前請您必提前備個人重要據，避免級后不兼或其他情導致數據失。2、當前有較多用三方應與 Android 13 不兼容，升級 Android 13 后可能會出現第三應用無法常使用的況（如閃、卡頓、屏、耗電），建議先在軟件店嘗試將應用更新最新版本3、升級后兩天內，統后臺會行一系列配優(yōu)化動，可能會致手機出發(fā)熱、卡、耗電快現象。建您升級后屏充電 2 小時后重啟手機，正常使用段時間后自行恢復4、當前版本存在以已知問題請您慎重慮報名。1）特定場景下前置照成像無 HDR 效果；（2）特定場景手機互聯屏失敗（級后軟件店搜索“備快連”擊更新，啟手機即恢復）【請方式】1、請確保的手機版已經升級基礎版?C.09?（版本號看方法：置 > 關于本機 > 版本信息 > 版本號）2、請在手機上擊“設置 > 關于本機 > 頂部版本信（“手機稱”上方 > 右上角設置按 > 嘗鮮申請 > 升級公測 ”，然后照提示進申請。3、提交申請，請耐心待！工作員將在招結束后，據您的問填寫情況行資格審，審核結將以手機嘗鮮申請面顯示為?
