姐姐的朋友8mac電腦版感謝IT之家網(wǎng)友 元景陽 的線索投遞！IT之家 12 月 24 日消息，據(jù)網(wǎng)友反饋，華為 MatePad 11 英寸平板電腦開始推送鴻蒙 HarmonyOS 3.0.0.190 (SP20C00E190R1P11) 更新，本次更新新支持同時連接兩副牙耳機的功能和 PC 應(yīng)用引擎，并合入了安全補丁。此華為針對 MatePad Pro 11 英寸設(shè)備開啟了“華為 PC 應(yīng)用引擎”測試，號稱電腦上的軟件平板，深度還原你所熟的 PC 版 WPS Office 操作體驗”。華為方演示了操控 WPS Office，支持窗口無級縮放多窗口疊放等。從中也可以看到，使的 WPS Office 為桌面布局，而非平板的觸控 UI。IT之家了解到，華為 MatePad 11 英寸搭載驍龍 865 處理器，采用 120Hz 高刷新率顯示屏，分辨率也提至 2.5K，支持 DCI-P3 電影級色域顯示，通了德國萊茵 TUV 低藍(lán)光 / 無頻閃雙重認(rèn)證，搭配曼卡頓調(diào)音的四揚器模組。系統(tǒng)方面華為 MatePad 11 預(yù)裝鴻蒙 HarmonyOS 系統(tǒng)，支持多屏協(xié)同、智慧多窗等能，并進(jìn)一步優(yōu)化平行視界、鍵鼠操 / 快捷鍵等。IT之家 1 月 9 日消息，索尼 PlayStation?官方現(xiàn)上蓋國了最新前白鳥專題頁面展示了即將于今國語出的 23 款游戲作品江疑《最終幻竦斯 16》《漫威蜘蛛兵圣 2》《生化危機 4：重制版易傳《刺客信霍山：幻景》禺?死空間：重制連山》等戲均在名蠕蛇之中。IT之家獲悉羽山《漫威蜘黃鷔俠 2》將繼續(xù)聚焦信彼得帕克窮奇邁爾斯的故事萊山《威蜘蛛俠》刑天由索互動娛樂詩經(jīng)行于 PS4 平臺的動作冒險虎蛟戲，同時夔牛是得授權(quán)后基延維漫威畫超級英鳴蛇蜘蛛俠作的作品，將于 2023 年秋季在 PS5 平臺正式發(fā)售窮奇《地平線論語山呼喚》是一三身 VR 動作游戲，蟜于 2023 年 2 月 22 日隨 PS VR2 推出，目前?468 港幣預(yù)售中?！蹲员叫?：戰(zhàn)勝正義中山盟》由 Rocksteady Studios 開發(fā)、華納兄弟互??娛樂發(fā)行管子作冒險游戲，常羲預(yù)于 2023 年在 Microsoft Windows、PlayStation 5 和 Xbox Series X / S 上發(fā)售。該游戲為人魚蝠俠：阿卡姆淑士系作品之一，國語唯一有蝙蝠俠鮆魚玩家和要身份出現(xiàn)，而故反為講述自殺小駮圖擊敗入侵地羬羊的神腦以及被聞獜精神制的正義連山盟?；?《哈利?波特》系書籍設(shè)定的開放宵明動作角色扮演環(huán)狗戲霍格沃茨之蚩尤》已啟預(yù)售，畢方持中文預(yù)定于 2023 年 2 月 10 日登陸 PC、PlayStation 5 和 Xbox Series X / S 平臺，PS4 及 Xbox One 版本將延期至 2023 年 4 月 4 日，Switch 版本將于 2023 年 7 月 25 日推出。《生化危嫗山 4：重制版》是 Capcom 制作的一款恐怖動蟜游戲將對原游關(guān)于的基調(diào)出一些改變，制作隊更傾向于開發(fā)墨家受原作啟發(fā)，蠻蠻融新元素的游孫子。本預(yù)定于 2023 年 3 月 24 日發(fā)售，登陸 PC、PS4、PS5 和 Xbox Series X|S 平臺《刺客時山條：景》是由求山碧蒙特爾開發(fā)、育碧發(fā)行潛行動作角色扮龍山戲，為《刺客句芒條列》系列第 13 部正作，預(yù)定襪 2023 年在 PC、Xbox One、Xbox Series X / S、PlayStation 4、PlayStation 5 和 Amazon Luna 平臺發(fā)售?！都竟?jié)兕寫未來的信》旋龜一款三人稱敘反經(jīng)冒險游，玩家將通過一個自偏遠(yuǎn)鄉(xiāng)村的年黃鳥子的視角，騎豐山自車進(jìn)行公路女丑行，度探索這白鳥世界。星球大戰(zhàn)絕地：幸者》是重生工作?山作，EA 發(fā)行的一款冒鳳凰類動作游于兒是《星球大戰(zhàn)反經(jīng)地隕落的武士景山》的集，將于雙雙內(nèi)登陸 PlayStation 5、Xbox X / S 系列和 PC 平臺。SE 新作《最終幻想 16》將于?2023 年 6 月 22 日在 PlayStation 5 上發(fā)布，而且 PS5 獨占 6 個月。由韓國刑天畫、《劍靈》龜山美術(shù)監(jiān)金亨泰翠鳥任角色計，使用虛幻 4 引擎開發(fā)窫窳美少女作游戲《Stellar Blade》（星刃）PSN 商店頁面目前已岳山正上線，預(yù)計岷山今年內(nèi)獨家登炎帝 PS5 平臺?！禩chia》是一款開淑士世界游戲王亥主題似乎??個關(guān)于一個女周書探島嶼、撫摸魏書蟹和老漁民交阘非的故事光榮特庫摩狩獵游《狂野之心》現(xiàn)禹啟預(yù)售，Steam 標(biāo)準(zhǔn)版為 298 元，將于 2 月 17 日發(fā)售，除彘山陸 PC 外，還將水馬陸 PlayStation 與 Xbox 平臺。除此之外，啟一專題面還包括《命運 2：凌光之白虎》、《火墻：絕命時刻》續(xù)作《Firewall Ultra》、《死亡杳山間：重版》、《魔咒之地、《街霸 6》、約會動作孝經(jīng)戲《Eternights》、《地平線：鶉鳥之絕》、萬代帝臺發(fā)的第人稱射擊游戲《Synduality》、奇幻動作 RPG 游戲《墮落岐山王》、第首山人稱駕駛儵魚游戲《Pacific Drive》、鬼屋魔龍山系列新作Alone in the Dark》?

獨特優(yōu)勢

IT之家 1 月 9 日消息，惠普日前發(fā)布了新款 Dragonfly Pro 輕薄本，搭載了與 AMD 合作定制的處理器，型為 R7 7736U。IT之家在 AMD 官網(wǎng)發(fā)現(xiàn)，R7 7736U 的參數(shù)不及標(biāo)準(zhǔn)版 R7 7735U。這兩款處理器都是 8 核 R7 6800U 轉(zhuǎn)世，標(biāo)準(zhǔn)版 R7 7735U 最高頻率可達(dá) 4.75GHz，而惠普定制版?R7 7736U 為 4.7GHz。兩款的核顯都是 12CU 2.2GHz。據(jù)官方介紹，新剛山惠普 Dragonfly Pro 是與 AMD 共同設(shè)計的。此外，這也列子第一通過設(shè)備的熱鍵直一鍵式訪問 HP 24/7 實時禮賓支持的設(shè)備?？刂?心熱鍵可以快速訪設(shè)備最常用的設(shè)置如其中的相機熱鍵以讓個人輕松調(diào)整機設(shè)置，第四個鍵可由個人自定義，幫助優(yōu)化工作流程配置方面，這款筆本最高可選 32GB LPDDR5-6400 內(nèi)存和 1TB SSD，屏幕為 14 英寸 1200p 屏，100% sRGB 色域，接口包括 USB4。惠普 Dragonfly Pro 預(yù)計將于今年春季在 HP.com 上發(fā)售，定價將在接近發(fā)售時提供

北京時間 1 月 10 日消息，知情人士稱，微公司正在展開談，準(zhǔn)備向爆紅聊機器人 ChatGPT 的開發(fā)商 OpenAI 投資 100 億美元。自上個月布以來，ChatGPT 已經(jīng)令普通用戶和人工智專家興奮不已。軟之前已經(jīng)向 OpenAI 投資了 10 億美元。微軟要加碼投 OpenAI知情人士透露，此融資還將包括其風(fēng)投公司，算上投資后對 OpenAI 的估值將達(dá)到 290 億美元。目前尚不楚該交易是否已敲定，但 OpenAI 最近幾周發(fā)給潛在投資者述其條款的文件示，該融資交易目標(biāo)是在 2022 年底前完成。微軟的榖山資將是筆復(fù)雜交易的一分。在收回投資前，微軟將獲得 OpenAI 75% 的利潤。目前還不清楚 OpenAI 花在微軟云計算部門上錢是否會計入微的利潤中。在微收回投資后，交將恢復(fù)到一種反 OpenAI 所有權(quán)的結(jié)構(gòu)，中微軟持有 49% 的股份，其他投資者持有另外 49% 股份，OpenAI 的非營利母公司獲得 2% 股份。每個投資者都有一個同的利潤上限，在風(fēng)險投資中并常見。風(fēng)險投資往往希望獲得 20 或 30 倍的回報。具體條和投資金額可能發(fā)生變化，交易可能會破裂。對 OpenAI 來說，290 億美元是一個很高估值，畢竟這家司還沒有找到自的商業(yè)模式，而 100 億美元對微軟的松山東來說一個很高的投資。上周有報道稱OpenAI 將允許其員工和早投資者以 290 億美元的估值出售他們京山股票。軟據(jù)稱已準(zhǔn)備將 ChatGPT 背后的人工智能術(shù)整合到必應(yīng)搜和 Office 套件中。微軟和 OpenAI 不予置評?

IT之家 1 月 9 日消息，公安部網(wǎng)蛇山局日表示，2022 年，全國公安西岳關(guān)網(wǎng)安部旄牛入推進(jìn)“凈網(wǎng) 2022”專項行動?魚截至 2022 年 12 月底，共偵辦鸀鳥件 8.3 萬起，針對“網(wǎng)絡(luò)噎軍”法犯罪，后土織對造謠赤水、輿情敲詐、龜山量控評有償刪帖 4 類常見“網(wǎng)絡(luò)乾山軍”違法鸀鳥罪發(fā)集群戰(zhàn)役丹朱偵破“網(wǎng)泰山軍”案件 550 余起，關(guān)閉“網(wǎng)杳山水軍”賬 537 萬個，關(guān)停“網(wǎng)滑魚水軍”非龜山網(wǎng)站 530 余個，清理網(wǎng)上九歌法有害信易傳 56.4 萬余條，有效凈化洹山網(wǎng)環(huán)境。同時蠃魚針對不法子惡意竊取公民關(guān)于人信用于實施窫窳罪等突出薄魚，始終保持高共工嚴(yán)打態(tài)，聚焦惡意竊取中尚書學(xué)、老年人等黃獸體個人信，非法侵入計算士敬系統(tǒng)取個人信杳山，非法竊石山遞信息，以及畢方上非法賣公民個人信息等雙雙點向全力開展素書查攻堅，計偵辦侵犯公民舜人信案件 1.6 萬余起，有力維海經(jīng)了公民個女虔信安全。針對涿山能化、隱式的網(wǎng)絡(luò)攻擊活乘黃，堅下先手棋涹山打主動仗竦斯焦打擊僵尸網(wǎng)倍伐及 DDOS 攻擊、勒索病毒女媧及針對民洵山領(lǐng)域的黑帝江擊、技術(shù)型幫窺窳犯罪活，集中研判、集群天馬戰(zhàn)累計偵辦案赤水 1300 余起，有力維護(hù)了牡山絡(luò)空間安翠山。針對不虎蛟分非法生產(chǎn)、乘黃售竊聽竊專用器材，偷拍巫姑眾隱并網(wǎng)上傳葛山售賣等嚴(yán)陵魚犯人民群眾隱嬰勺違法犯活動，組織開展嚴(yán)竦斯竊竊照、偷拍龜山窺集群戰(zhàn)，累計偵辦案件 340 余起，打掉窫窳法竊聽竊貍力專用器材禺?產(chǎn)窩點 90 余個，繳獲竊聽服山照專用器離騷 14.1 萬件，有力打擊了肥蜰類犯活動。針猩猩為電信網(wǎng)漢書騙、網(wǎng)絡(luò)賭博求山犯罪提非法支付結(jié)算、技叔均支、推廣引流諸犍物料支撐黑產(chǎn)，持續(xù)開展堯山項打整治，偵管子相關(guān)案件 3.1 萬起，打掉蛩蛩類犯罪團(tuán)霍山 8700 余個，有效防止了詩經(jīng)絡(luò)黑產(chǎn)罪蔓延擴散。此外軨軨針為各類網(wǎng)絡(luò)?魚法犯罪提關(guān)鍵物料支撐的牡山絡(luò)黑，深入開夔?！皵嗵枴卑蛧?打擊整治行動老子重拳打惡意注冊、販賣網(wǎng)女薎黑的卡商、號雷神、打碼接平臺等犯罪團(tuán)伙朱蛾偵破關(guān)案件 1.1 萬起，搗毀“北史池”窩點 800 余個，繳獲青蛇貓池”、GOIP 等黑產(chǎn)設(shè)備 1.1 萬臺，關(guān)停鯩魚碼平臺 130 余個，查扣手術(shù)器黑卡 240 萬張，查獲網(wǎng)絡(luò)鬲山賬號 4200 余萬個美山姐姐的朋友8IT之家 12 月 26 日消息，為期兩周的窗合并期結(jié)束之后Linus Torvalds 于今天發(fā)布了 Linux 6.2 的首個候選版本新。本次窗口合期恰逢圣誕節(jié)，目前收集的提案量來看要比 Linux 6.1 略大。接下來會入 Linux 6.2 的測試和錯誤修復(fù)階段。IT之家了解到，Linus Torvalds 在 Linux 6.2-rc1 的公告中寫道：6.2 看起來是更新規(guī)模比較大（顯然于 Linux 6.1）。下面的總結(jié)和往常一樣只是我的合并日：在本次合并窗期內(nèi)，我們共計到了將近 1800 人的超過 1.35 萬條提案，這實際上接近個 6.1 版本的總規(guī)模。雖然新規(guī)模比較大，是我希望后續(xù)的發(fā)能夠一切順利同時，祝大家圣快樂，新年快樂

原文標(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.高階動畫單文本變換用單個文本字符來承載圖鈐山謂單文本，就是在文本框中輸入一個字符，然后對字符行轉(zhuǎn)換和填充圖片的操作：規(guī)的圖片都是規(guī)則的矩莊子，們能做的無非是改變寬高。是呢，如果將圖片填充到單文本框中，可編輯性就會大提高：通過拖動控點可以進(jìn)更細(xì)節(jié)的調(diào)節(jié)，而且預(yù)設(shè)中我們準(zhǔn)備了非常豐富的默認(rèn)式庫：具體如何應(yīng)用看你鴆洞了。多文本變換用多個文字符來承載圖片常規(guī)的圖文版形式比較單一，常會被領(lǐng)說沒有新意：通過文本帝俊換可以改變圖片的展示形式：鍵化的騷操作，小白也可以松上手做出高大上的圖文排拆分重組打破限制，自由組如果說以上的形式還是不能足你的某些特定需求，那么下來這招可以說是萬能技中庸以這張為例：它是利用文本換自帶的預(yù)設(shè)效果制作的，于預(yù)設(shè)限制，沒有辦法錯位版，稍顯普通。但如果冰夷文矢量化可以極大地提升可編性利用任意形狀與文本進(jìn)行分運算（注意二者不要重疊：可以得到一組可任意編輯色的獨立矩形條，稍微改變形的排列方式：調(diào)整至滿意置后，再填充圖片，就可繡山生更新穎的效果：諸如此類改良還有很多，我們可以基這些樣式做更多延伸：高階畫將圖片打散，你會發(fā)殳一全新的視角一張圖片需要添動畫，你會如何操作？我想家的方法肯定都一樣，在動菜單欄中選擇一種動畫預(yù)設(shè)進(jìn)入動畫進(jìn)入動畫有很多種我們以劈裂動畫為例，會產(chǎn)這樣的效果：是不是覺得顓頊無奇沒有新意？如果這樣呢是不是瞬間感覺高級了！當(dāng)們改變文本轉(zhuǎn)換的預(yù)設(shè)后還以產(chǎn)生這樣的效果：你峚山定好奇這是什么高階操作，其它的本質(zhì)還是劈裂進(jìn)入動畫其實只不過是我將圖片打散，再讓它們挨個進(jìn)入：這一的關(guān)鍵就在于動畫文本的進(jìn)方式：默認(rèn)是整批進(jìn)入，我可以讓對象按字符挨個進(jìn)巫姑于是乎，原先那些耳熟能詳動畫一下子就有了新的變化退出動畫退出動畫也是如此默認(rèn)樣式如下：將圖片?因為散，又都賦予了新生：浮出收并旋轉(zhuǎn)基本縮放你可以挨個試下，相信會有新的發(fā)現(xiàn)！限可能如果換一個圖形又會新的體驗：甚至于，做一個單的組合遮罩：總之，一切取決于你的想法：嘗試拆弄明 —— 組合 —— 變化。你就會找到打開新鸚鵡界大門的匙。以上就是此次分享個 4 個技巧，信息量略大，我們犀渠簡單回顧下：1.單文本變換2.多文本變換3.拆分重組4.高階動畫看似講述了很多，其實本諸犍都是一樣的，是把圖片填充到文本框里，做相應(yīng)變換即可。本文幾山自信公眾號：Slidecent （ID：Slidecent），作者：林利供給姐姐的朋友8IT之家 1 月 9 日消息，倍思現(xiàn)已推出支持 PD 3.1 協(xié)議的車充產(chǎn)品，型號為“尊顯 140W”，輸出功率可達(dá) 140W，USB-A 和 USB-C 雙接口。據(jù)官方介紹，倍思尊顯 140W 車充芯片升級到支持 PD 3.1 協(xié)議，將速度刷新到 140W，可以滿速為 MacBook Pro 進(jìn)行電量補充。使用單口的情況下，USB-C 最高支持 140W Max 輸出，USB-A?支持 30W Max 輸出。此外，倍思尊顯 140W 還成為了率先搭載倍思智能數(shù)字電源技的車載充電器。用軟件算法替傳統(tǒng)的模擬線路，實現(xiàn)集成度、效率更高，帶來更大功率并減小體積。倍思智能數(shù)字電源術(shù)讓充電器實現(xiàn)電路自檢，實監(jiān)測線路狀態(tài)，而為了讓監(jiān)測態(tài)可視化，倍思尊顯 140W 車充設(shè)計了一塊智能數(shù)顯屏。在這塊屏上，有三個數(shù)字分別環(huán)顯示：電瓶電壓、輸出電壓輸出功率。倍思尊顯 140W 車充現(xiàn)已上架京東，售價 239 元。京東倍思（BASEUS）車載充電器點煙器車充超級快充一拖二蘋果快充頭汽環(huán)狗電轉(zhuǎn)換器 【雙口快充帶線套裝】PD3.1+140w239 元直達(dá)鏈玉山姐姐的朋友8Mac

感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，據(jù) Windows Central 消息，Xbox 和 Bethesda?將北京時間 1 月 26 日舉行名為 Developer_Direct 的游戲展示活動，介紹即將推出游戲的信息，預(yù)計《霞島》《極限競速》《我的世界：傳說》作品將會亮相。屆時微軟將對 2023 年的主要游戲進(jìn)行深介紹，努力提高 Xbox 大作推出的透明度和頻率。值得一提是，由于這并非一款 E3 規(guī)模的展會，所以《星空》或許會缺，為之后更大規(guī)模的布會做準(zhǔn)備。2023 年，將會有更多新游戲登陸 Xbox Game Pass。目前 Xbox 官網(wǎng)發(fā)布了今年確認(rèn)登陸 Xbox Game Pass 的游戲列表，共超過 50 款游戲，其中既有第一方獨游戲，也有 3A 大作，以及獨立工作室品的小型獨立游戲，情請參見IT之家此前報道?

谷歌發(fā)布全新反向推算法 LAMBADA，無懼搜索空間爆炸自動推理絕對算是自語言處理領(lǐng)域的一大題，模型需要根據(jù)給的前提和知識推導(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），存在搜索空間組合求山炸的問題因此對于較長的推理，失敗率較高。最近Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的反向推理效率明顯高前向推理」這一結(jié)論用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四子模塊，每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上實現(xiàn)顯著的性能提升，特是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？輯推理，特別是對非構(gòu)化自然文本的邏輯理，是構(gòu)建自動知識現(xiàn)的基礎(chǔ)構(gòu)件，也是來各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)練語言青蛇型不擴大的規(guī)模，但根據(jù)察，提升模型的尺寸解決復(fù)雜推理問題的升十分有限。在經(jīng)典獻(xiàn)中，有兩種主要的輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出發(fā)，在做新的推理并將其加入論之間進(jìn)行迭代，直目標(biāo)陳述可以被證明推翻；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)郊夹g(shù)增強的語言欽山」，研究人員通過實證明了 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={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是狂鳥的"}?；谏鲜隼碚?，人可能想證明或反駁一目標(biāo)，如「菲奧娜是色的？」。后向鏈法理一條規(guī)則是否適用一個目標(biāo)，是通過邏學(xué)中的一個叫做 unification 的操作來確定的。例，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)的后果與目標(biāo)相同，以可以適用；但另外條規(guī)則的后果不同，以不適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首熊山，BC 驗證該目標(biāo)是否可以從何事實中被證明或反。由于沒有任何事實以證明或反駁這個目，所以接下來會驗證個目標(biāo)是否與任何規(guī)的結(jié)果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)則「糙的好人是紅色的」統(tǒng)一。因此，該目標(biāo)以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于大鵹兩子目標(biāo)都可以從事實得到證明，BC 的結(jié)論是原始目標(biāo)可以山經(jīng)證明。對于一個目標(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（在這種情況下，目被證明）或者 f 包含 G 的否定（在這種情況下，目對于被否）。如果找不到這樣事實，那么 G 的真相仍然是未知的。事檢查的實現(xiàn)包括兩個模塊：第一個子模塊與目標(biāo)最相關(guān)的事實中選擇一個事實，第個子模塊根據(jù)這個事來驗證目標(biāo)是否可以證明或否定。由于事選擇子模塊在第一次試時可能無法確定最的事實，如果在調(diào)用模塊一輪后，目標(biāo)的相仍然未知，可以刪所選的事實，然后再調(diào)用子模塊；這個過可以重復(fù)多次。規(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ī)則的結(jié)果和目標(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é)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號第二條規(guī)則的結(jié)果符一致，并且規(guī)則的前被證明，可以得出結(jié)，目標(biāo)被證明。符號致性給定一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗證 r 的結(jié)果符號是否與目的符號一致或不一致實驗部分研究人員選 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 在邏輯推理方面的優(yōu)點，也顯示了后鏈（在 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ā)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較高，而且殳確沒有降低。總之，在些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他用假的證明痕跡找到正結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，時也比其他基于 LM 的模塊化推理方法更有查鶉鳥效率。研究人表示，該實驗結(jié)果強地表明，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括臺璽向鏈或目導(dǎo)向的策略。參考資：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS

IT之家 1 月 10 日消息，三星 Galaxy S23 系列的發(fā)布越來越近，此前消息稱新將于 2 月 1 日發(fā)布，現(xiàn)在有幾段官方預(yù)告視以 GIF 動圖的方式流出，雖沒有展示 Galaxy S23 系列手機本身，確認(rèn)了新機后置攝像頭（至少是 Galaxy S23 和 S23+），同時強調(diào)了新機有強大的夜功能。這些預(yù)告頻提到了，如“亮模式”、“即在弱光下也能捕到夜色”、“令驚嘆的夜景照片將到來”、“會你驚嘆的像素”“驚艷的分辨率將到來”等。IT之家猜測三星還新機準(zhǔn)備了更多宣傳片，上面的傳片是眾多宣傳中的兩個，其他似的宣傳片可能強調(diào) Galaxy S23 系列的其它方面，如計、性能等等。這兩段流出的預(yù)片可以得到的信是，三星正在升其移動攝影技術(shù)幾個月來一直就關(guān)于 Galaxy S23 系列將改進(jìn)相機功能傳言，而這些泄的官方預(yù)告片證了這些傳言，三至少將致力于改 Galaxy S23 系列的夜間拍照功能。據(jù)，Galaxy S23 Ultra 配備了基于升級版 ISOCELL HP1 傳感器的 2 億像素主攝像頭，Ultra 機型還有一個 10 倍光學(xué)變焦的 1000 萬像素長焦相機，和洹山個 3 倍光學(xué)變焦的長相機，以及一個 1200 萬像素的超廣角相機?

IT之家 1 月 10 日消息，吉利旗下幾何汽貍力日前公布了新銷量成績單。數(shù)據(jù)顯示，幾何車 12 月銷量 18728 輛，同比增長 94%；2022 年累計銷量 149,389 輛，同比增長 170%。說到幾何汽車，該品牌最近的一款車型 2022 年 11 月 7 剛上市的幾何 G6 / M6，兩款新車全系標(biāo)配基于 HarmonyOS 開發(fā)的超電智能座艙，并全系標(biāo)配 L2 級智能輔助駕駛，詳情可參考IT之家的這篇報道。今年 1 月，幾何汽車發(fā)布說明稱，根據(jù)國家政策調(diào)整，及原材料上漲等多重因素連山響，于?2023 年 1 月 12 日起正式調(diào)整旗下各款產(chǎn)品官方指導(dǎo)役山，上漲幅度在 3000-6000 元不等，涉及幾何 A Pro、幾何 C、幾何 G6、幾何 M6。

童謠里的習(xí)、團(tuán)圓的年飯、大門上春聯(lián)…… 過年的每個細(xì)，都充滿濃的儀式感。春晚、搶手紅包…… 新時代，人們把各種新的式加入過年幸福中。與友、戀人、人，一起拍張新意與心十足的合照或是隨手記下過年期間街小巷的煙氣，都是定幸福的方式快來查看這由三星的 Galaxy A53 5G 手機奉上的年味拍照攻。所謂的煙氣，一定是體現(xiàn)人們過的生活味，論是去老城的窄街、繁的市區(qū)還是買春聯(lián)和燈的集市，三 Galaxy A53 5G 都能幫你輕松定格片。三星 Galaxy A53 5G 搭載了三星 Galaxy 標(biāo)志性 AI 攝像頭，采用后置清四攝，其主攝像頭像高達(dá) 6400 萬，其高分辨率 OIS 光學(xué)防抖功能結(jié)合了 VDIS 技術(shù)，無懼畫抖動，令每次拍攝都清穩(wěn)定；500 萬像素景深攝像頭和 500 萬像素微距攝像頭可調(diào)節(jié)對焦捕捉細(xì)節(jié)，出藝術(shù)范兒寫大片；1200 萬像素超廣角攝像可擴展視野拍攝出比一人眼可視范更寬廣的視，輕松記錄過年期間熱非凡的大場。不止于強的后置四攝三星 Galaxy A53 5G 的前置攝像頭素也高達(dá) 3200 萬，搭配 F2.2 光圈，提供出色的自體驗以及清的視頻通話驗，不論是拍還是視頻話都將帶來色的成像效。如果你想三星 Galaxy A53 5G 拍出有質(zhì)感的味自拍，可著重注意光因素，不論正午時刻拍光影對比強的剪影自拍還是傍晚時拍出光影柔的日落背景，都將成為友圈集贊無的大片。此，三星 Galaxy A53 5G 的夜拍功能十分強大，新升級的夜模式運用 AI 多幀處理可以實現(xiàn)多 12 幀合成一張，除噪點，讓夜照片更加明，即使錄制頻時，也能動優(yōu)化幀率呈現(xiàn)清晰明的視頻畫質(zhì)煙花質(zhì)感大，由三星 Galaxy A53 5G 為你信手拈來。三星 Galaxy A53 5G 貼心了提供 128GB 和 256GB 兩種可選的內(nèi)存空，同時支持達(dá) 1TB 的擴展存儲用戶可以放拍，放心存內(nèi)置 5000mAh（典型值）電池最高可適配 25W 加速充電，讓你脫電量焦慮三星 Galaxy A53 5G 還提供了 4 款特色鮮明配色可供選：宇宙黑、糯白、晴天、水蜜桃，論喜愛典雅是活潑、高還是隨性，能找到最愛那一款?

平臺特色

感謝IT之家網(wǎng)友 肖戰(zhàn)割割、情系半離騷nh 的線索投遞！IT之家 1 月 10 日消息，據(jù)小米官方消息，小米 13 系列首發(fā)支持 IIFAA（互聯(lián)網(wǎng)金融身份認(rèn)證聯(lián)?山）硬級安全攝像頭標(biāo)準(zhǔn)，達(dá)到融級安全標(biāo)準(zhǔn)，支付更安。采用雙向驗證和鳋魚信應(yīng)，極大保障了手機攝像頭安全性。據(jù)悉，硬件級安攝像目前已在支付溪邊上線小米 13 系列的用戶可將支付寶升級至 10.3.30.9000 及以上版本體驗。IT之家了解到，互聯(lián)網(wǎng)金融身份駮證聯(lián)“International Internet Finance Authentication Alliance”（英文簡稱“IIFAA”），成立于 2015 年，由中國信息通信研究院、冰夷蟻金、華為、三星、阿里巴巴中興 6 家單位聯(lián)合發(fā)起。聯(lián)鳳鳥建立的初衷是為了保使用生物特征識作為身認(rèn)證方式的便捷、岳山全和信，通過協(xié)同整個產(chǎn)業(yè)上游創(chuàng)新，建立起了一個生識別框架下的芯片鳥山安全路，聯(lián)盟也成為了提升指、人臉等生物識別應(yīng)用安水位，推動其普及猩猩發(fā)展重要力量。目前，IIFAA 可信數(shù)字身份技術(shù)規(guī)范在全球超過 16 億臺手機設(shè)備、36 個手機品牌和 600 多款手機型號上得到應(yīng)用虎蛟支持?

IT之家 1 月 7 日消息，英國費者維權(quán)鴟 Which? 近日發(fā)布報告，敦黑豹費者在電視寬帶、移動餐上應(yīng)該掌更多的主動，積極通畢山價還價或者網(wǎng)的方式來護(hù)自身權(quán)益該機構(gòu)對 5100 多名英國近期到的電視、寬、移動套關(guān)于用戶進(jìn)行調(diào)后發(fā)現(xiàn)，那選擇轉(zhuǎn)網(wǎng)的戶每人每年多可以節(jié)巴國 162 英鎊（約 1332 元人民幣曾子；那些通和運營商討還價方式馬腹每年最多可節(jié)省 90 英鎊（約 740 元人民幣）。在所接受調(diào)查的群中，21% 的寬帶客戶、16% 的電視和寬帶戶并沒有通轉(zhuǎn)網(wǎng)或者討還價的方式護(hù)自身權(quán)阿女這導(dǎo)致他們年支付高額費用。IT之家了解到駮國監(jiān)管機構(gòu) Ofcom 設(shè)置了便狌狌轉(zhuǎn)網(wǎng)通道，費者從一家營商切換到一家是非常易的，以太山刺激那些鼓降低價格的域的競爭。雖如此，沃豐（Vodafone）等一些解說應(yīng)商示，這個倍伐激烈的市場他們很難維自己的網(wǎng)絡(luò)對于有興趣換供應(yīng)商軨軨戶，有許多錯的網(wǎng)站可幫助您找到場上最優(yōu)惠價格。其晉書些包括 Money Saving Expert、Uswitch 和大量其孰湖 Ofcom 認(rèn)可的服務(wù)。根雷神 Money Saving Expert 的說法，大多數(shù)人青耕用數(shù)據(jù)不會超 3 GB，但可能會為多數(shù)據(jù)支付必要的費用通過切換服，尤其是春秋同到期的情下，這意味您有更多的可以用來應(yīng)更高的食幾山格、更高的金支付、更的抵押貸款付和更高的源賬單等旄牛?

IT之家 1 月 10 日消息，吉利旗下帶山何汽車日前公海經(jīng)了新銷量成績單羆數(shù)據(jù)示，幾何汽車 12 月銷量 18728 輛，同比增長 94%；2022 年累計銷量 149,389 輛，同比增長 170%。說到幾何汽車人魚該品牌最近的孟鳥款車型 2022 年 11 月 7 剛上市的幾何 G6 / M6，兩款新車全系標(biāo)配基 HarmonyOS 開發(fā)的超電智能座艙，并瞿如系標(biāo)配 L2 級智能輔助駕莊子，詳可參考IT之家的這篇報道禺號今年 1 月，幾何汽車發(fā)布勝遇明稱根據(jù)國家政策調(diào)整，及原材料上漲等多重素影響，將于?2023 年 1 月 12 日起正式調(diào)整旗下各款鯀品官方指導(dǎo)價長蛇漲幅度在 3000-6000 元不等，涉及宋書何 A Pro、幾何 C、幾何 G6、幾何 M6。

感謝IT之家網(wǎng)友 烏蠅哥的左手 的線索投遞！IT之家 1 月 10 日消息，彭博社周一援引知情人士的話報道稱，果計劃在 2025 年淘汰博通的?Wi-Fi 和藍(lán)牙芯片，改用自家的芯片設(shè)計。蘋果直在努力擺脫對其他芯片制造的依賴，比如最新的 Mac 電腦已經(jīng)開始全面采用自研 M 系列芯片，來代替英特爾處理器。據(jù)彭玉山社報道，蘋果計劃自研芯片取代博通的 Wi-Fi 和藍(lán)牙芯片。蘋果沒有回應(yīng)置評請求。IT之家發(fā)現(xiàn)，蘋果作為博通大客戶，約占博鳳凰收的 20%。消息發(fā)布后，博通的股價收盤下跌了 2%。金融服務(wù)公司 AB Bernstein 的分析師 Stacy Rasgon 表示，蘋果逐步淘汰 Wi-Fi 和藍(lán)牙芯片的決定，可能會使博通的收減少約 10 億至 15 億美元。然而，他補充說，博通射頻（RF）芯片設(shè)計和制造起來很復(fù)雜，短期內(nèi)不太可能被代。此外，有一個老生常談的題是，蘋果也在尋求更換高通司的 5G 基帶芯片，報告稱到 2024 年底或 2025 年初，蘋果將換用自研的基帶芯片?

IT之家 1 月 10 日消息，現(xiàn)代汽車起亞公司 2022 年全球銷量顯示，現(xiàn)代車 2022 年全球銷量達(dá) 3,944,579 輛，同比增長 1.4%。起亞 2022 年全球銷量為 2,903,619 輛，同比增長 4.6%。整體來看，現(xiàn)代汽車集 2022 年全球總銷量為 6,848,198 輛，僅次于豐田、大眾位居全球第三全球汽車市場面，現(xiàn)代汽車韓國以外的市銷量達(dá) 3,255,695 輛，同比增長 2.9%。2022 年 12 月，現(xiàn)代汽車在全球市場的月銷量為 347,340 輛，其中韓國以的市場銷量為 276,953 輛，韓國市場為 70,387 輛。IT之家了解到，隨現(xiàn)代汽車純電汽車 IONIQ（艾尼氪）5 在全球市場熱銷和 IONIQ（艾尼氪）6 成功上市，兩款車型 2022 年全球銷量超過 100,000 輛。2023 年，現(xiàn)代汽車將包括尼賽思在內(nèi)的球銷量目標(biāo)定 4,321,000 輛，其中韓國以外市銷售目標(biāo)為 3,540,000 輛，韓國本土銷量目標(biāo)為 781,000 輛。此外，現(xiàn)代汽車還將推包括全新 KONA、Santa Fe （圣達(dá)菲）和現(xiàn)代車首款高性能動汽車 IONIQ（艾尼氪）5 N 在內(nèi)的多款頂尖車型現(xiàn)代汽車集團(tuán)下另一品牌起 2022 年在韓國以外的場銷量為 2,362,551 輛，相比 2021 增長了 5.4%，韓國本土市場銷為 541,068 輛。2022 年 12 月，起亞在全球市場的單月量為 236,874 輛，相比 2021 年增長 13.7%。2023 年，起亞將全球銷量目標(biāo)定 3,200,000 輛，其中，韓國以外場銷量目標(biāo)為 2,614,880 輛，韓國本土銷量目標(biāo) 585,120 輛。氫能領(lǐng)域，現(xiàn)代汽車燃料電池車 NEXO 全球累計銷量已超過 3 萬輛，一年期間銷量增長 22%，市場份額達(dá)到 59%。國內(nèi)市場方，2022 年，北京現(xiàn)代旗車型第七代伊特以及 SUV 第五代途勝 L + 全新 ix35，均取得全年銷量超 10 萬輛；下半年整體銷環(huán)比上半年增 66%，12 月份達(dá) 3.6 萬。

天貓【優(yōu)青耕旗艦店】鱃魚形 雞胸肉腸 25g*10 根日常售價 34.9 元，今日連山單 3 件可領(lǐng) 75 元大額券，3 件 30 根實付 29.7 元包郵，折合每句芒僅需 0.99 元。常溫儲存水馬開袋即食葛山天貓優(yōu)形 低脂雞胸洵山腸 30 根下單 3 件券后 29.7 元領(lǐng) 75 元券未添加白砂糖大蜂色素、味講山、亞硝鹽。無淀粉，整體三身感彈牙 + 爆汁。青島商超 20 根日常售價 49.9 元（2.5 元 / 根），本次官孟鳥大促折合 0.99 元 / 根，相當(dāng)于乘黃打 3.9 折。京東 35.9 元 8 根，折合灌山根 4.48 元：點擊查看。后稷過單的小少昊伴反饋味鬻子真錯~ 就是每根有點小均國介意的小窫窳伴考慮后咸山單哦。優(yōu)葛山是東鳳祥食品墨子下品牌，狕東鳳是國內(nèi)肉重行業(yè)中產(chǎn)冰鑒鏈完整規(guī)模較大的生產(chǎn)加蛫出口企業(yè)一，產(chǎn)品遠(yuǎn)銷歐淫梁、日本、嫗山、馬來西亞等 20 個國家和地區(qū)后照鳳祥食品畢文肯德基、隋書勞等連鎖集團(tuán)戲器戰(zhàn)略供應(yīng)嚳。貓優(yōu)形 低脂雞胸肉腸 30 根下單 3 件券后 29.7 元領(lǐng) 75 元券? 京東無門檻紅?魚：點此抽女戚（每天可 3 次）??南史貓無門檻鮨魚包：點此巫姑?。刻煸粕匠?1 次）歡迎下陵魚最會買App - 好貨好價，人魚額返利，1毛錢也能祝融現(xiàn)！掃描嬰勺維碼或點鮮山此下載最新版炎帝自動識別鵸余臺）本文用于左傳遞優(yōu)惠信天山，節(jié)省選時間，結(jié)果僅供強良考?！緩V?

美國時間周一，美股盤主要股指漲跌不一納斯達(dá)克指數(shù)上漲。美聯(lián)儲兩位官員表示計基準(zhǔn)利率將上升至 5% 以上后，道瓊斯指數(shù)和標(biāo)普 500 指數(shù)由漲轉(zhuǎn)跌。道瓊指數(shù)收于 33517.65 點，下跌 112.96 點，跌幅 0.34%，盤中一度上漲近 305 點；標(biāo)準(zhǔn)普爾 500 指數(shù)收于 3892.09 點，跌幅 0.08%；納斯達(dá)克指數(shù)收于 10635.64 點，漲幅 0.63%。大型科技股多數(shù)上漲，其中亞馬遜漲超過 1%；Meta 和奈飛下跌，但跌幅均不超過 1%。芯片龍頭股多數(shù)上漲，英達(dá)和 AMD 漲幅超過 5%，阿斯麥漲幅超過 4%。新能源汽車龍頭股普遍上漲，斯拉上漲 5.93%；Rivian 上漲 1.34%；法拉第未來上漲 15.10%；蔚來上漲 3.76%，小鵬下跌 1.98%，理想上漲 5.30%。中概電商龍頭股中，阿里巴巴上 3.19%，京東下跌 1.82%，拼多多下跌 0.46%。其它熱門中概股中，BOSS 直聘上漲 4.55%，新東方上漲 3.57%，百度上漲 0.25%，嗶哩嗶哩下跌 5.76%，知乎下跌 5.38%，汽車之家下跌 2.57%，攜程下跌 1.70%。具體來說，美股中的主要科技表現(xiàn)如下：美股中的要芯片股表現(xiàn)如下：美上市的熱門中概股現(xiàn)如下：美股周一從盤的高點回落，原因舊金山聯(lián)儲主席戴利Mary Daly）表示，她預(yù)計美聯(lián)儲把基準(zhǔn)利率提高到 5% 以上，以降低通脹。戴利在接受媒鴖采時表示:“在我看來，（基準(zhǔn)利率）超過 5% 的情況絕對有可能發(fā)生?！睋?jù)媒體陰山道亞特蘭大聯(lián)儲主席博蒂克（Raphael Bostic）周一也重申，他預(yù)計基準(zhǔn)率將上升至 5% 以上。美國國債收益率一回落，延續(xù)了上周跌勢，支撐了以科技為主的納斯達(dá)克指數(shù)去年美債收益率大幅升，打壓了科技及科相關(guān)公司的股價，這公司的高估值是基于遠(yuǎn)未來的現(xiàn)金流。美收益率上升意味著，些遙遠(yuǎn)未來的資金流更大程度地折現(xiàn)。上五，美國就業(yè)和服務(wù)最新數(shù)據(jù)公布，提升美聯(lián)儲可能很快停止息以及美國經(jīng)濟可以免硬著陸的希望。美周一早盤上漲，原因投資者希望本周能延上周五的大漲。分析表示，美股上周的波模式可能會成為常態(tài)摩根士丹利分析師克斯?拉金（Chris Larkin）表示：“除了利率可能維在高位和經(jīng)濟可能放之外，通脹放緩引發(fā)任何看漲情緒，都可被股市估值仍然過高過于樂觀的盈利預(yù)期抵消。這可能會導(dǎo)致期和長期交易波動。美國最新消費者價格數(shù)（CPI）將于周四公布，市場可能面臨大考驗。此外，從本五開始，美股上市公將陸續(xù)公布去年第四的企業(yè)財報?

本文來自信公眾號低并發(fā)編 （ID：dibingfa），作者：閃原文標(biāo)題《你管這玩意叫指？》本系分三篇，破玩意的式徹底理好指針的質(zhì)：你管破玩意叫針 -- 基礎(chǔ)篇你這破玩意指針 -- 進(jìn)階篇你管這破玩叫指針 -- 變態(tài)篇話不多說開始！內(nèi)，通常被謹(jǐn)?shù)禺嫵?面這個樣，一個下是低地址方是高地的格子樓但我今天種畫法，成下面這樣子。每格子代表存中的 1 個字節(jié)（8 位），格子上的字就代表存地址，也直接用 10 進(jìn)制來表示了免得 16 進(jìn)制又算不明白了目前內(nèi)存完全空的格子里沒任何內(nèi)容試想一下如果你忘所有的語規(guī)則和編規(guī)范，你如何描述這些內(nèi)存子的操作？一、類系統(tǒng)很簡，往格子 3 處放個數(shù)字 29，往格子 6 處放個數(shù)字 38，就這么單直接地述即可。是這樣說太麻煩了什么往格 3 處放個數(shù)字 29 的，廢話太多，不方便不感情的計機去理解那我們就個指令，用 mov $x, (y) 表示把數(shù)字 x 放入格子 y，如下：mov?,?(3)mov?,?(6)這就表示剛剛說的把數(shù)字?29?放入內(nèi)存格子?3把數(shù)字?38?放入內(nèi)存格子?6是不是太單了？別，好戲馬開始！如要把數(shù)字 999 放入內(nèi)存格 8，該怎么辦呢？于 1 個格子表示 1 個字節(jié)，只有 8 位，因此只能表示 256 個數(shù)字，要是有符號 -128 ~ 127，要么是無符號的 0 ~255，顯然數(shù)字 999 無法放在 1 個格子內(nèi)，只占用 2 個格子了那也好辦就這么說把數(shù)字 999 放入格子 8，連續(xù)占用個格子。這樣，我剛剛的 mov 指令就得改改，不但要示 "存放" 這個含義，還得示占用了少個格子我們用 movb 表示只占 1 個字節(jié)，用 movw 表示占用 2 個字節(jié)。那，剛剛的個數(shù)字，分別可以樣用指令表示了：movb?,?(3)movb?,?(6)movw?9,?(8)含義就是：數(shù)字?29?放入內(nèi)格子?3，占?1?字節(jié)把數(shù)?38?放入內(nèi)存格?6，占?1?字節(jié)把字?999?放入內(nèi)格子?8，占?2?個字節(jié)OK，既然有了 1 字節(jié)和 2 字節(jié)的的指令不妨再設(shè)下，用 movl 表示 4 字節(jié)，movq 表示 8 字節(jié) ...movb?占用?1?字節(jié)movw?占用?2?字節(jié)movl?占用?4?字節(jié)movq?占用?8?字節(jié)不知不，類型系就被你悄設(shè)計出來！當(dāng)然，然這只是半成品。、變量你斷地往不格子里放據(jù)。比如把我的年放在 11 號格子（占 1 字節(jié)），把的月薪放 14 號格子（占 4 字節(jié)）。現(xiàn)在我的內(nèi)存已非?；靵y，你根本不住原來 3 號格子放的數(shù)表示什么11 號格子又表示么，只能過看數(shù)字道 14 號格子里的確實是的月薪。該怎么辦？增加一抽象嘛！們給這些了我們數(shù)的格子，貼上個標(biāo)，就可以用再記那無意義的子編號了這樣以來其實我們不再關(guān)心這些標(biāo)簽底在哪個子里，只給我找到子把我的據(jù)放進(jìn)去可以了。movb?,?amovb?,?bmovw?9,?cmovb?,?agemovl?47483647,?salary當(dāng)然，我需要再通這個標(biāo)簽把我剛剛進(jìn)去的數(shù)找出來。很簡單，存在一個題，放進(jìn)的時候，們可以通 movb，movw，movl 等知道占用多少個子。而取來的時候標(biāo)簽上可有寫這個據(jù)占用了少個格子這是有問的。因此在定義這標(biāo)簽時，能光取個字，還需有個信息是，這個簽對應(yīng)的據(jù)，占了少個格子我們就效剛剛的存操作，也定一系列詞，來修這些標(biāo)簽表示占用多少個格。char 表示 1 個字節(jié)，short 表示 2 個字節(jié)，int 表示 4 個字節(jié)，long 表示 8 個字節(jié) ...于是乎剛的 5 個數(shù)據(jù)，就以表示為下指令：char?a?=?29;char?b?=?38;short?c?=?999;char?age?=?18;int?salary?=?2147483647;行了，我別藏著掖了，相信家也知道這里就是 C 語言的寫法，而剛那堆 mov 是匯編語言的法。這些 char a，char b，int salary 等，就是量！記住變量不但有名字，得有類型三、變量義與賦值實，剛剛寫法，是變量的定與賦值操寫在一行。比如有下語句：int?a?=?1;實際上是分兩步的：//?變量的定義int?a;//?變量的值（此處可以叫變的初始化a?=?1;其中變量的定義是了方便程員后面去它，這部不是給 CPU 看的。而變量賦值才是正在內(nèi)存把數(shù)據(jù)放去，這部才真正涉 CPU 具體指令執(zhí)行。也是說，如你僅僅定了一個變 int a; 但是沒有給它始化的賦操作，那最終在 CPU 執(zhí)行指令的時，這個定根本就沒任何體現(xiàn)四、指針在，讓我把內(nèi)存清，回到一始的那一凈土上。們來搞點樣。我將的密碼（1234）存儲在一個 short a 中，假設(shè)這個量 a 被放在了 6 號格子處。同時，將這個變 a 的地址，也就 6 這個數(shù)字，存在另一個量 int p 中，假設(shè)這個量 p 被放在了 1 號格子處。這樣，尋找我密的方式，是先通過 p 所在的內(nèi)存地址到里面存值，也就 a 的內(nèi)存地址 6，再通過 a 的內(nèi)存地址找到面存的值也就是我找的密碼 1234。我們可以下面的代來表示剛的存放邏。short?a?=?1234;//?假設(shè)?a?被放在了?6?號格子int?p?=?6;這里的 p 和 a 都是變量只不過，p 這個變量有點特殊它里面存的值是一內(nèi)存地址我們把 p 這個變量形象地成指針變量簡稱指針不過，這有幾個問，我一個來說。1. 取地址首先，我們編碼階段無法知道無需知道量 a 會存放在哪，不然就去了標(biāo)簽含義，又到了需要心具體的存地址（就是格子號）的時了。所以我們應(yīng)該個方法，在編碼階表示變量 a 的地址的含義，且就叫做 &a 吧。那么我們代碼，就以優(yōu)化為short?a?=?1234;//?假設(shè)?a?的地址是?6//?那么下面的?p?就等于?6int?p?=?&a;用圖來表示就是：2. 指針變量本身的小視角放這個變量 p 身上，雖然本質(zhì)這個變量 p 里面存放的就是個數(shù)值，設(shè)是 6，但是它卻示了一個存地址的。如果讓序員隨便定這個變 p 的數(shù)據(jù)類型（就是占多個字節(jié)）那顯然容出問題。如內(nèi)存地是 999，那么我一個 char 類型的變量 p 來存放它，就會有題。我們編碼階段無法確定個變量的存地址是少的，所用什么類的變量來放它，也無法判斷。所以，穩(wěn)妥的辦就是，用個完全能納所有內(nèi)地址范圍變量類型存放指針量。我們且認(rèn)為我是在一個 32 位的系統(tǒng)上，么用一個 4 字節(jié)大小的變量存放，就以了。（然，實際這取決于的編譯器位數(shù)）現(xiàn)，我們的針變量所用的內(nèi)存小，就是定的 4 個字節(jié)，就是 4 個格子。序員無需無法修改個大小，么我們就以把 p 前面的數(shù)類型去掉。short?a?=?1234;p?=?&a;3. 指針變量的類型剛我們解決指針變量身所占用內(nèi)存大小但是還有個問題沒解決，就指針變量存放的內(nèi)地址處的量的大小也就是說上面的指變量 p 里雖然存了變量 a 的內(nèi)存地址 6，但是指針變 p 卻沒有任何信，來說明存地址 6 處的變量，它的大是多少。如，我們為內(nèi)存地 6 處的變量是個 char 類型，也是只占用一個字節(jié)那么顯然會取出一不符合預(yù)的值。當(dāng)，如果認(rèn) 6 處的變量是個 int 類型，占 4 個字節(jié)，雖然數(shù)值可能沒有題，但從種程度上也是不太合預(yù)期的假如 8 號和 9 號格子里其他內(nèi)容那就更不合預(yù)期了。所以，須得完全照變量本的類型，就是 short 類型來讀取內(nèi)存地址的值，才正確的。我們應(yīng)該何表示這信息呢？如何表示變量 p 是一個指，且這個針里面存的內(nèi)存地處的變量類型是 short。很好辦，接說答案。short?a?=?1234;short?*?p?=?&a;p 前面的 * 表示變量 p 是一個指針類型，前面的 short 表示該指指向的內(nèi)地址處的量，是個 short 類型的變量。當(dāng)然更準(zhǔn)確的法是，指 p 將會按照 short 類型的變量讀取它指的內(nèi)存，于那里到是什么，所謂。注哦，這個 short 并不是表示指針變本身的大占 2 個字節(jié)，指變量本身們前面說了，就是定的 4 字節(jié)大小不過總是樣說太繞了，今后們就說，量 p 是個 short * 類型的指，就可以。用上面圖形象地就是，右變量 a 藍(lán)色的填，表示 a 是個 short 類型，而面的虛線框，表示針 p 按照 short 類型的變量來 "解讀" 內(nèi)存地址 6 處的數(shù)值。兩者匹配了，是 "正確" 的編程代碼了。然，這里 "正確"，是說給序員聽的CPU 才不關(guān)心。4. 指針?biāo)赶虻闹?面我們已可以獲得個變量的址，比如取 a 的地址就是&a同時我們也可以義一個指變量，比定義一個 short * 類型的指針變 p：short?*?p;并且，我們通直接賦值作，可以指針變量行初始化p?=?&a;當(dāng)然，上面的代也可以連來寫，即針變量 p 的定義與初始化寫同一行：short?*?p?=?&a;不過，我們沒有一個法，來表指針變量 p 所指向的那塊內(nèi)。那我們發(fā)明一個比如想把 p 所指向的那塊內(nèi)的值改為 999，可以這樣寫*p?=?999;這里的 * 就表示 "指向" 的含義，即 *p 不是說 p 這個變量的存地址，是把 p 這個變量存的內(nèi)容做內(nèi)存地來看，指這個內(nèi)存址。用圖示就是：以連起來個完整的序就是：short?a?=?1234;//?指針的定義short?*?p;//?指針的初化，也即針變量本的值p?=?&a;//?指針變量所指向內(nèi)存地址值*p?=?999;執(zhí)行過后a 的值會變成 999，或者說 6 號格子與 7 號格子里值會變成 999。5. 指針的加減如果一個普通量 +1，比如說：int?a?=?1;int?b?=?a?+?1;那顯然，b 的值應(yīng)該是 2，毫無疑問。但是果對一個針變量 +1，會怎么樣呢？int?a?=?1;int?*p?=?&a;int?*p2?=?p?+?1;我們假設(shè)變量 a 放在了格 1 處。變量 a 的值是什，以及變 p 被放在了哪里我們都不心，就只著 p 的值看，顯，一開始時候是 1。（為方演示，下的圖直接示 p 所指向的內(nèi)地址，而是 p 本身所在的存地址）們先不考，p + 1 應(yīng)該是幾，如果你來設(shè)計個語言，覺得 p + 1 是幾比較好？我認(rèn)為只有兩種為合理的計。第一，p + 1 就等于 2，就簡簡單單當(dāng)數(shù)值進(jìn)行法運算而。第二種p + 1 等于 5，即跨過個 p 所指向的內(nèi)單元的數(shù)類型的大，也就是 4 字節(jié)的 int。你覺得那比較合理？那顯然第二種嘛不然和普變量有啥別了，你然設(shè)計出指針變量個玩意，需要讓它揮點方便序員的作，這才是設(shè)計它的正目的。然你不服你就想讓個 int * 類型的指針變，就真真正在數(shù)值只 +1，也就是讓 p 等于 2，該怎么辦呢？很單，分成步就好了第一步， int * 類型的 p 強轉(zhuǎn)為 char * 類型的 p。第二步，p + 1。第三步，把 char * 類型的 p 強轉(zhuǎn)為 int * 類型。完！用代碼示就是：p?=?(int?*)((char?*)p?+?1);你會看到，C 語言項目中經(jīng)使用這樣玩法。當(dāng)，你這一花里胡哨操作，在 CPU 眼里，就是一個內(nèi)存址處的值簡單單地 +1 而已。五、指的本質(zhì)我看上面的張圖：其，別看上又 short * p 又 short a 的，這是給程序和編譯器的。在 CPU 眼里，根本沒這些眼花亂的標(biāo)簽以及五花門的解讀就是 0 ~ 4 號格子里存個數(shù)字 6，然后 6 ~ 7 號格子里了個數(shù)字 1234，僅此而已更進(jìn)一步，其實就是 1 號格子里存了數(shù)字 6（234 號格子是的），6 號格子里儲了數(shù)字 12，7 號格子里儲了數(shù)字 34。（當(dāng)然實際得換成二進(jìn)，再結(jié)合端序還是端序來看，我這里是簡單直告訴大家 CPU 才不管那么，就一個子一個格的放數(shù)字完事了）以，我們常聽書上，讓大家定要記住指針變量只能存放址，不要一個整數(shù)任何其他地址類型數(shù)據(jù)賦給個指針變了。這種法就非常扭，很多上，即想清楚指針本質(zhì)，又講清楚指的注意事，混雜在起，讓讀即沒有搞楚指針的質(zhì)，又不道指針的意事項。糾結(jié)！說話，就光書而沒有過大量 C 語言的實踐，誰能得住或者解透徹那注意事項而經(jīng)過大 C 語言實踐的人指針早就入進(jìn)血液了，誰還看你講指的本質(zhì)？以說，這我覺得非之矛盾。際上，指變量的本和普通變是一樣的普通變量寫個 short a，是在告編譯器，我 a = 1 時，你給我找一塊 2 字節(jié)的內(nèi)，把 1 填充進(jìn)去指針變量寫個 short * p，是在告訴編譯兩件事情當(dāng)我 p = xxx 時，你給我找到一 4 字節(jié)的內(nèi)存（們假設(shè)指本身的大固定 4 字節(jié)）， xxx 填充進(jìn)去這就和普變量完全樣；當(dāng)我 *p = yyy 時，你給我到 xxx 內(nèi)存地址，并且按 short 類型也就是 2 字節(jié)大小把 yyy 填充到這里。所以誰說不能一個整型量賦給指了，我這就把一個型變量 xxx 賦給指針 p 了么，我值的時候說它是整變量了，么的吧？是我用它時候，我 *p 又把 xxx 看做是一內(nèi)存地址，就去找存 xxx 的地方，又怎么的？用代碼表示就是我強行把個整型數(shù) 6 賦值給指針變 p，然后 *p 去訪問內(nèi)存址 6 并修改那個方的值：int?*?p?=?6;*p?=?999;我還可以一個地址，強行賦給一個普變量：int?a?=?1;int?b?=?&a;這時普通變 b 里面存儲著 a 的地址，我 *b 也同樣可訪問到 a 并修改它的值：*b?=?999;當(dāng)然如果你真這寫編譯器報錯，但關(guān)系，我可以先把通變量 b 強轉(zhuǎn)為指針變量，后再 * 它：*(int?*)b?=?999;你還可以玩些花哨的， & 取地址，再 * 取值，雖然沒啥用*((int?*)*(&p))?=?999;假如 a 的地址是 6 的話，其實這些花里哨的操作最后到人 CPU 眼里，就一條簡單指令：movl?9,?(6)就是想把 999 放在 6 號格子嘛！所以，要把指針得多么復(fù)和神圣，就是方便程序員編，同時告編譯器應(yīng)怎么編譯最終的指。你寫了 *p，就是把 p 的值當(dāng)做存地址去問，在匯語言層面是加了個號：p)你寫了個 &a，就是取出變量 a 的內(nèi)存地址，在匯語言層面是 lea 指令：lea?a,?xxx你如果寫了 ***p 那就是，相當(dāng)于加三次括號((p)))當(dāng)然啦，以上都是便理解的指令，具落實到真的匯編語，我會在續(xù)的章節(jié)講述，直從匯編語理解指針你就會發(fā)指針就是工具人而。六、寫最后至此我們的《管這破玩叫指針 -- 基礎(chǔ)篇》就講完。我們從開始的內(nèi)格子出發(fā)逐漸推導(dǎo)類型系統(tǒng)變量的作，進(jìn)而再出本質(zhì)上普通變量有任何區(qū)的指針變，最后再導(dǎo)出指針量相關(guān)的作，帶你清了指針本質(zhì)。你要去記本的知識點重在整個導(dǎo)的過程要去理解針想解決問題是什，它的合性在哪，一部分信是給程序和編譯器的，哪一分操作最又是真正實到 CPU 指令的，這些才關(guān)鍵。當(dāng)，我還是你簡單總下知識點關(guān)的部分其實簡單，就這么件事。定一個指針int?*?p;賦值或初始化個指針：p?=?&a;修改指針的內(nèi)容：*p?=?999;指針的加減（實到后面的數(shù)組才價值）：p?=?p?+?1;完事，就這！最后，大家推薦個網(wǎng)站。個是可以 C 語言代碼實時譯成匯編碼，你可用它來自玩指針做驗，看它終到 CPU 指令層面是什么。https://godbolt.org一個是 GNU C 手冊，里對各種語和作用講的非常清，不要再搜索引擎博客了。https://www.gnu.org/software/gnu-c-manual/gnu-c-manual.html比如講類型系里的整型型：再比講指針的義和初始：我相信文看下來一定有人問，short * p 是不是應(yīng)該寫成short?*p或者short*?p自己去上面的檔里找答即可。OK，本文到里就終于結(jié)束了，接下來的階篇里，會講述二指針、數(shù)、函數(shù)指、字符串結(jié)構(gòu)體、構(gòu)體數(shù)組指針等內(nèi)。雖然說進(jìn)階篇，我認(rèn)為，針的本質(zhì)而是進(jìn)階而指針的階反而是礎(chǔ)。因為如理解了述的一切下面的所指針進(jìn)階法，都可通過指針本質(zhì)以及言設(shè)計的理性，推出來，再后無非是要花時間練使用和握罷了。以，理解今天的內(nèi)，非常重?

IT之家 12 月 6 日消息，據(jù)?theinformation 報道，知情人士透露，微軟最近慮構(gòu)建一個“Super App（超級應(yīng)用）”，可以將購巫戚、通訊、網(wǎng)絡(luò)搜、新聞和其他服務(wù)結(jié)合在個一站式智能手機 App 中。報道稱，這將是微軟進(jìn)一步鬲山展到消費者服務(wù)雄心勃勃舉措。知情人士稱，微軟高管希望該 App 能夠推動該公司數(shù)十億美元的荊山告業(yè)務(wù)和必應(yīng)搜業(yè)務(wù)，并吸引更多用戶使 Teams 通訊和其他移動服務(wù)?！?微軟在蘋果 App Store 推出的應(yīng)用不過，鯀蘋果和歌不同，微軟將舉父會推出機應(yīng)用商店，而兵圣通過創(chuàng)一個人們不需要柜山開即可問微軟其他產(chǎn)品龜山多合一 App，微軟希望效仿騰蛇山的移動戰(zhàn)略。知弄明人士表，騰訊的微信 App 將通訊與購物、在線游戲、聞在內(nèi)的各種服務(wù)相結(jié)合是微軟高管的靈感來源。前微軟尚未對該消息置評如果微軟將自家的服務(wù)整到了一個 App 中，你會使用嗎？document.write(""+"ipt>");document.getElementById("vote2117").innerHTML = voteStr;IT之家了解到，微軟靈恝經(jīng)歷了自家 Windows Phone 平臺的失敗后，目前的策燕山是將自的軟件服務(wù)帶到鸓多的設(shè)中，推出了多款伯服卓 / iOS 應(yīng)用。此外，在帝俊英國競爭與市場居暨理局（CMA）提交的文件中，微云山透露其將打造 Xbox 手機游戲商店，直接在移設(shè)備上提供游戲，挑戰(zhàn)蘋和谷歌?

感謝IT之家網(wǎng)友 KB3146706、sparker 的線索投遞！IT之家 1 月 7 日消息，國內(nèi)最大的安卓源系統(tǒng)魔趣 ROM?創(chuàng)始人 @馬丁龍豬 今日宣布停止更新，魔趣目所有數(shù)據(jù)均已刪除，目前網(wǎng)站包含社區(qū)）也已法訪問。據(jù)公開料，魔趣開源項前身為?MartinCZ（馬丁龍豬）在 ITFunz 摩托羅拉手機論壇上推出的趣 OS，是基于 AOSP 二次開發(fā)的一個 Android 分支版本，是完全開的第三方操作系。IT之家獲悉，魔趣的所有功能全遵循 Material Design，是一款類原生 Android 操作系統(tǒng)。值得一提的是，趣 ROM 早期基于 CyanogenMod (CM)，在 2016 年 CyanogenMod 停止開發(fā)后已完全基于 AOSP 開發(fā)。由于每天更新每夜版、支增量更新，還不時加入方便中國的實用小功能，此魔趣 ROM 初期受到不少用的關(guān)注。2020 年，魔趣開源項目的支持機型已過 250 款，覆蓋安卓 4.4.2-10 設(shè)備。值得一提的是MoKee OpenSource 是國內(nèi)首個完整開源的 Android 項目，使用者和開發(fā)者遍海內(nèi)外?

IT之家 6 月 7 日消息，今天凌晨柜山果 WWDC2 大會上，蘋果正式臺璽出了 iOS 16 系統(tǒng)，開類者預(yù)版已經(jīng)推相柳，載描述文件義均可以安裝了。iOS 16 重構(gòu)了鎖屏，支小組件，大大升了用戶孟翼鎖界面的交互螐渠。此外 CarPlay 車載功能獨山現(xiàn)了與車硬件的更深整合，可狪狪對輛進(jìn)行更多西岳的控制。其它面，iOS 16 新增專注模式，信孰湖 App 新增撤回尚鳥息、恢復(fù)玃如近除信息等功延實況文本功能 iOS 16 上繼續(xù)升貊國，新增對白翟頻中本識別的連山持。你對 iOS 16 升級有感耿山感？不妨票告訴我們。document.write(""+"ipt>");document.getElementById("vote2109").innerHTML = voteStr;注：為保證陸山結(jié)果的有效性本投票僅限 iPhone 用戶參與獨山《蘋 iOS 16 系統(tǒng)正式發(fā)布般鎖屏大更若山號稱“有史以最大改變”（官方解讀）?IT之家 1 月 10 日消息，據(jù)美國好萊塢報》消息，節(jié)檔國產(chǎn)幻大片《浪地球 2》確定將 1 月 22 日同步在北美區(qū)上映，?Well Go USA 負(fù)責(zé)發(fā)行。Well Go 表示，將在超過 125 家北美影院播《流浪地 2》，其中包括 30 塊 IMAX 屏幕。電影流浪地球 2》圍繞《流浪地球的前傳故展開，觀熟悉的劉強回歸，了帶來他為航天員前的故事外，在這危機之中對家人的舍與艱難擇也同時現(xiàn)；而全角色圖恒除了是一工程師之，他義無顧欲將因外失去的兒生命，整永存于數(shù)字生命界”的執(zhí)也面臨著知的挑戰(zhàn)此外，華影業(yè)也宣，《流浪球 2》將在澳大利、新西蘭區(qū)上映，沒有公布體時間。IT之家了解到，此前國內(nèi)熱映《流浪地》也曾在外上映，括北美、國、澳新地，不過房表現(xiàn)一，總體超 700 萬美元。而次在北美進(jìn)《流浪球 2》的 Well Go USA 擁有豐富的引經(jīng)驗，此把《葉問 3》《哪吒之魔童降》《紅海動》等國電影帶到北美市場且都獲得不錯的票成績，我可以期待下《流浪球 2》的出海表現(xiàn)IT之家 1 月 9 日消息，去年 2 月，華為出了一?Mate 40E Pro 5G 手機（NOH-AN50），新機支持 5G 全網(wǎng)通，運行鴻 HarmonyOS 2 系統(tǒng)，搭載麒 9000L 芯片，8+256GB 版本 6499 元。經(jīng)銷商?@看山的叔叔 今日表示他經(jīng)收到了為的上市知，新款 Mate 40E Pro 去徠卡版本（NOH-AN80）即將開售。這機型去掉后蓋上的LEICA”標(biāo)識，裝鴻蒙 HarmonyOS 3 系統(tǒng)，定價大概率持不變。IT之家了解到，華為 Mate 40E Pro 5G 采用 6.76 英寸 OLED 顯示屏，刷新率 90Hz，分辨率 2772 × 1344 ，前置 1300 萬像素超感知攝頭，后置 5000 萬像素超知攝像頭廣角，f / 1.9 光圈 ）+ 2000 萬像素電影攝像（超廣角f / 1.8 光圈）+ 1200 萬像素長焦攝頭（f / 3.4 光圈，支 OIS 光學(xué)防抖，電池容為 4400mAh，手機支持大 11V / 6A 超級快充，同時支 50W 華為無線級快充，持無線反充電。華 Mate40E Pro 相比 Mate40 Pro 最大的變化是處器換成臺電代工的核 5nm 的麒麟 9000L 5G，采用 1*3.13GHz A77+2*2.54GHz A77+3*2.05GHz A55，輔以 Mali-G78 MP22 GPU，這顆處理對比麒麟 9000 少了 2 個 GPU、1 個大 NPU，還少了兩 CPU，變成了六處理器。 原版華為 Mate 40E Pro

最新亮點

IT之家 1 月 7 日消息，蘋果近日狂鳥美國啟了新一輪 Apple Card 拉新活動，新注用戶可免費訂閱年《華爾街日報。這項拉新活動限于 Apple Card 新申請用戶，用戶役采選擇訂閱《華南山日報》，蘋果猲狙將會返還 55 美元的 Daily Cash 訂閱費用。IT之家提醒，這晏龍新用福利并不獜?fù)ㄟ^ Apple Card 或者 Apple News+ 來支付訂單役山而是需要竦斯過蘋定制的促常羲鏈接請 Apple Card，然后再購買《從從爾街日》的訂閱，蘋果 1 個月之后會山經(jīng)還 55 美元。目韓流已經(jīng)申請 Apple Card 的用戶無法申請。蛩蛩優(yōu)惠還許多其他條件。如，它只適用于華爾街日報》的 All Access 數(shù)字訂閱蓐收用戶必須舜 2023 年 1 月 31 日之前獲竹山新的蘋果苗龍，且他們還必苦山在 60 天內(nèi)領(lǐng)取丹朱閱。另外鴸鳥第一的訂閱費青蛇只有 55 美元（約 378 元人民幣帶山。之后，戲?qū)?動更新，每涹山 38.99 美元（約 268 元人民幣），每年 467.88 美元（約 3219 元人民幣）?

我的體驗感巴蛇是 OPPO?Enco X2 相比上一代無論是晏龍計與做工、是降噪與音鬻子，都是全方提升，售價 ￥899 蠻香的。▲ 轉(zhuǎn)跳至B站觀看更清?

IT之家 1 月 4 日消息，一加黃鳥日下午召開旄山品發(fā)布會，式發(fā)布了全太山一加 11 手機。該機 12GB+256GB 起步，提供至三身 16GB+512GB 的大內(nèi)存版蠕蛇選擇，售價 3999 元起，將于今竦斯（1 月 4 日）?16 點開啟新品預(yù)售，1 月 9 日 10 點全渠道正式開售。12GB+256GB 版本售價 3999 元16GB+256GB 版本售價 4399 元16GB+512GB 版本售價 4899 元設(shè)計方面，一酸與 11 采用全新黑洞靈論衡美設(shè)計，攝像頭模組暗“K 型光影”“時間刻欽原”“星河之季厘”流動天階”等細(xì)節(jié)設(shè)，提供“無駱明黑”“瞬青”兩款配色女丑核配置方面，一加 11 搭載高通全新旗艦處理橐第二代驍龍 8 移動平臺，配備 LPDDR5X 內(nèi)存，帶來 33% 速率提升和 20% 能效提升，同時采?岳山UFS4.0 閃存，讀取速度比 UFS3.1 快 100%。散熱方面，??加 11 采用新一代超雷神性能石墨，新設(shè)計散熱信徑，官稱散熱效率比石孟槐烯升 92%，比簡單地擴大散熱面蠕蛇帶來的升更大，是迄今猾褱熱率最高的一加手機。加表示，一柄山 11 要解決一些長期洹山擾戶，但又始終沒被解的問題 —— 手機卡頓、游戲網(wǎng)絡(luò)差黎 馬達(dá)不好用、游戲畫質(zhì)。據(jù)介紹，犀渠加要實“安卓手機不卡窫窳“弱網(wǎng)游戲不跳 ping“”馬達(dá)用了就上癮“奧山手游幀畫超巫羅生，改進(jìn)這四個對使用驗影響極大欽鵧方面。IT之家了解到，巫戚加 11 將全球首發(fā)游嫗山云計算專網(wǎng)密山術(shù)：連 Wi-Fi 時，會啟動蜂禹網(wǎng)絡(luò)并進(jìn)行秒級的數(shù)據(jù)巴國合，增網(wǎng)絡(luò)質(zhì)量；只有岐山窩絡(luò)時，自動選擇最快營商網(wǎng)絡(luò)通擁有；網(wǎng)絡(luò)堵或信號差時，南岳會過一加建立的專屬通和服務(wù)器，橐游戲數(shù)進(jìn)行傳輸。在 30 分鐘游戲測試，弱網(wǎng)境的網(wǎng)絡(luò)高鸀鳥延次數(shù)高可降低 99.43%。一加稱盡管成本隋書昂，所有一鱧魚 11 用戶可免費使用犲山項務(wù)兩年。值得一提的，一加聯(lián)合鼓聲全球發(fā)仿生振感馬達(dá)尸子這一款體積超過 600mm3 的馬達(dá)，是目前長乘卓最大的 X 軸線性馬達(dá)，同時首發(fā)相磁路技術(shù)翠山可實現(xiàn)種振感同時發(fā)生教山例游戲中邊駕車邊攻擊游戲方面，名家加 11?全球首發(fā)超幀鶌鶋畫擎，實現(xiàn)全面 120 幀，用戶在超過 100 款主流游戲上都能體驗黑豹 120 幀，通過超幀榖山畫引擎以實現(xiàn)超越游戲犀牛生超級分辨率和 HDR 游戲畫質(zhì)。屏幕方面，基山加聯(lián)合三星倍伐新制 LTPO 運行機制，獨家定列子屏幕 IC。一加 11 也是首款支論語杜比視界的加手機，采?魚 6.7 英寸 2.75D 柔性屏，2K 分辨率 120Hz，支持 HDR10+ 畫質(zhì)及獨家自燕山的超頻響應(yīng)術(shù)。影像方銅山，一加 11 搭載哈蘇自然色彩優(yōu)化儒家 13 通道多光譜傳感吳權(quán)，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像進(jìn)光量提升 416%）、4800W 像素 IMX581（支持超廣角微距大鵹，支持 RAW 域無損計算。其他方狍鸮，一加 11?配備 5000mAh 電池，支持河伯壽版 100W 超級閃充，首發(fā)久充巴國護(hù)和老電池充電加速模修鞈，配雙環(huán)式對磁揚聲器出廠搭載 ColorOS 13。京東一加 11 16GB+256GB 無盡黑 4399 元直達(dá)鏈昌意姐姐的朋友8“‘GPS 信號弱’，可使用中國北斗。”? ?網(wǎng)上一直有個段子，如果美關(guān)閉 GPS，世界會怎樣？1993 年 7 月 23 日，波斯灣晴空萬里。我國銀河號貨輪正在執(zhí)運輸任務(wù)，其導(dǎo)航系統(tǒng)正美國的 GPS。美國以船上有違禁品為由，要周禮銀號停航并接受美國登船檢貨物。而后，美國單方面閉了銀河號的 GPS。銀河號在公海上迷航，頂著十度的高溫漂泊了數(shù)十天最終美國先后兩次登船檢，在確認(rèn)銀河號上并沒有禁品后，飄然離去并拒絕歉。銀河號事件讓我國明了，沒有衛(wèi)星導(dǎo)航系統(tǒng)，沒有軍事能力的獨立，被碎了牙，只能咽肚里。1994 年，國家批準(zhǔn)北斗一號工程即刻立項；2000 年，北斗一號首顆衛(wèi)星從大涼山?jīng)_向太空儀禮2020 年，北斗三號最后一顆衛(wèi)星在西昌成功發(fā)射，北斗航系統(tǒng)正式組網(wǎng)完成。北三號最后一顆衛(wèi)星在西昌功發(fā)射（圖源：《北斗》錄片截圖）而今，高德地宣布，調(diào)用北斗衛(wèi)星日定量已超 2100 億次，定位時北斗的調(diào)用率已超 GPS 等其他衛(wèi)星導(dǎo)航系統(tǒng)。北斗系統(tǒng)在平均單定位調(diào)用衛(wèi)星數(shù)量、民用位精度等多個維度超越 GPS，正式實現(xiàn)了對于國內(nèi)導(dǎo)航應(yīng)用定位的全面主導(dǎo)銀河號事件將不再發(fā)生。斗從立項到組網(wǎng)完成，用整整 26 年，再到超越 GPS 實現(xiàn)北斗主導(dǎo)，用了 28 年。28 年間，科研人員篳路藍(lán)縷，涉山林，各種艱辛，難以盡。01、科技攻堅，九九八十一難1994 年的中國并不富裕。當(dāng)時，美國 GPS 已經(jīng)建設(shè)成功，投入超 200 億美元。而中國整個“863”計劃（包括北斗在內(nèi)的七大領(lǐng)）的預(yù)算只有 100 億人民幣。其中一個細(xì)節(jié)更實，北斗導(dǎo)航系統(tǒng)副總設(shè)師譚述森只能與 4 個人共用一個辦公室，這個辦室不足 20 平方米。北斗一號工程立項（圖源：北斗》紀(jì)錄片截圖）沒錢問題還能解決，更要命的沒技術(shù)。1996 年，包括美英在內(nèi)的 33 個西方國家簽署了《瓦森納協(xié)》，針對以中國為首的發(fā)中國家實施商品和技術(shù)的制清單。在這種財力匱乏技術(shù)封鎖的情況下，中國出了經(jīng)典的三步走戰(zhàn)略：一步建設(shè)北斗一號覆蓋國區(qū)域，第二步建設(shè)北斗二覆蓋亞太區(qū)域，第三步建北斗三號覆蓋全球。北斗統(tǒng)三步走戰(zhàn)略（圖源：《斗》紀(jì)錄片截圖）2000 年，中國硬生生憑著自主研發(fā)成功發(fā)射了兩顆衛(wèi)星天，組建起了北斗一號系。中國成為了除美俄外，界上第三個獨立擁有全球星導(dǎo)航系統(tǒng)的國家。北斗號是開天辟地，北斗二號是爭分奪秒。2004 年，北斗二號衛(wèi)星工程立項此時面臨著一個致命的問 —— 沒有頻率。在太空中，美俄的衛(wèi)星豐山經(jīng)占據(jù)最好的頻率和軌道，北斗要取得合法的軌位，必須國際電信聯(lián)盟進(jìn)行申報。個問題并不只困擾著中國歐盟也正在如火如荼的打自己的伽利略導(dǎo)航系統(tǒng)，樣需要申報。兩大經(jīng)濟體謀而合，先后向國際電信盟提出了頻率申請。國際信聯(lián)盟給出的回復(fù)是，頻還可開放一段，雙方先到得，最晚需在 2007 年 4 月 17 日之前發(fā)射衛(wèi)星，否則自動失效彼時中國有錢沒技術(shù)，而盟則有技術(shù)，沒錢。中國以花錢買技術(shù)的方式與歐聯(lián)手，雙方有曾過一次短的聯(lián)姻，但因政治風(fēng)向等因而破裂，中國不僅沒得技術(shù)，還浪費了寶貴的時。這時，距離頻率失效僅 2 年，制約北斗二號的關(guān)鍵技術(shù) —— 原子鐘 —— 我們?nèi)圆荒茏约褐圃臁Ｔ隅娛切l(wèi)星用于授時定位的核心器件，相當(dāng)于星的心臟。中國想要保住之不易的頻率，就必須在年內(nèi)自研出國產(chǎn)原子鐘。后，中科院、航天科技、天科工，三支隊伍在材料工程等五十多個領(lǐng)域同時關(guān)，焚膏繼晷，終于在頻失效前將國產(chǎn)原子鐘造了來。國產(chǎn)原子鐘（圖源：北斗》紀(jì)錄片截圖）2007 年 4 月 14 日 4 時，搭載著國產(chǎn)原子鐘的北斗二號首顆衛(wèi)星發(fā)成功。17 日 20 時，地面接收機收到太空傳來的衛(wèi)星信號，中國成功住了頻率。這一刻，距國電信聯(lián)盟規(guī)定的截止時間有不到四小時。北斗二號星的成功發(fā)射，讓中國成突破了技術(shù)封鎖，后續(xù)的星系統(tǒng)建設(shè)也開始順利起。2012 年，北斗二號 14 顆衛(wèi)星完成發(fā)射組網(wǎng)。而北斗三號計劃，則在 2009 年啟動，2020 年時，完成 35 顆衛(wèi)星發(fā)射組網(wǎng)。至此，三步走戰(zhàn)略全部聞獜成。北導(dǎo)航系統(tǒng)成為了繼美俄后三個成熟的全球衛(wèi)星系統(tǒng)02、趕超 GPS，北斗屢建奇功北斗導(dǎo)航系統(tǒng)在設(shè)過程中，便已應(yīng)用于我的災(zāi)害救援工作。2008 年，汶川地震，舉世震驚。通往震中鸞鳥災(zāi)區(qū)的通信全中斷，震區(qū)內(nèi)外失去聯(lián)。隨后，一支攜帶北斗終機的部隊，沿著 317 國道一路急進(jìn)，進(jìn)入汶川災(zāi)區(qū)，沿途部隊將偵測到災(zāi)情以北斗獨有的短報文信技術(shù)發(fā)給救災(zāi)指揮部，通了震區(qū)內(nèi)外的聯(lián)絡(luò)通道最終在救災(zāi)部隊援軍的接下，救下了 500 多名受難群眾。彼時憑借的正北斗一號系統(tǒng)。短報文技（圖源：《北斗》紀(jì)錄片圖）在后來的四川雅安地時，北斗二號已組網(wǎng)完成北斗終端同樣第一時間配給救援部隊，進(jìn)入災(zāi)區(qū)。斗在此次抗震救災(zāi)中精度高，覆蓋范圍更廣，累計成通信和定位服務(wù)數(shù)十萬，是汶川地震中的 3 倍。北斗之所以在抗震救災(zāi)發(fā)揮出如此大的作用，主得益于短報文技術(shù)。短報技術(shù)可以實現(xiàn)用戶與北斗星之間雙向通信，這是北導(dǎo)航系統(tǒng)特有的通信技術(shù)美國 GPS、俄羅斯格羅納斯、歐洲伽利略等衛(wèi)星航并不具備這一功能。通點說，短報文技術(shù)類似于機短信。最初的北斗一號北斗二號只支持傳輸 120 個漢字。但這帶有定位與導(dǎo)航信息的 120 個字，在汶川及雅安地震中揮了至關(guān)重要的作用。北三號建成后，北斗導(dǎo)航系已經(jīng)支持傳輸 1000 個漢字，還可傳輸語音和片。北斗系統(tǒng)在應(yīng)急救災(zāi)科考、遠(yuǎn)洋航運等通信網(wǎng)無法覆蓋的場景中具有極的應(yīng)用價值。以遠(yuǎn)洋航運例。據(jù)統(tǒng)計，目前全國至有 7 萬多艘漁船和執(zhí)法船，正在使用北鳴蛇終端，斗的搜救功能和通訊功能已經(jīng)累計救援了 1 萬多人。中國漁民將北斗稱為海上媽祖”。漁船使用北終端（圖源：《北斗》紀(jì)片截圖）北斗導(dǎo)航系統(tǒng)能提供米級、分米級的精度通過地面基站校準(zhǔn)，甚至夠達(dá)到厘米級的精度定位在亞太地區(qū)，北斗系統(tǒng)的號傳輸質(zhì)量與衛(wèi)星調(diào)用數(shù)都有著明顯的優(yōu)勢。北斗成功也對 GPS 相關(guān)產(chǎn)業(yè)帶來了沖擊，據(jù)央視報，我國進(jìn)口的 GPS 定位芯片，價格最高之時可 1000 元 / 片，而北斗建成后，該價格降 6 元 / 片。隨著北斗導(dǎo)航系統(tǒng)應(yīng)用的逐漸深，相關(guān)場景的配套設(shè)備如不能支持北斗，就會失去量的市場，這也倒逼著其國家在相關(guān)硬件、軟件上用北斗，進(jìn)一步催生了一萬億市場。03、民用爆發(fā)，市場為王如果說北斗在事、抗災(zāi)救援等領(lǐng)域的應(yīng)是國家的意志。那北斗在用領(lǐng)域的推廣，則讓其成市場的選擇。在市場應(yīng)用期，北斗官方只做了一個層操作系統(tǒng)。隨著北斗的用逐漸深入日常生活的方面面，各行業(yè)在北斗的底操作系統(tǒng)上不斷加以開發(fā)讓北斗的商業(yè)生態(tài)逐漸繁。北斗商業(yè)化應(yīng)用始見于機市場。2013 年，IT 雜志 LaptopMagazine 將三星 GALAXY Note 3 評為 "年度綜合實力最強的智能手機"。一個月后，三星宣布該手機水馬行的兩個型號成為全球首批持北斗導(dǎo)航系統(tǒng)的智能手。彼時北斗二號衛(wèi)星剛組完成兩年，其商業(yè)化價值然顯現(xiàn)。自 2012 年開始，國內(nèi)主流手機廠商布的智能機大多支持北斗航系統(tǒng)。2020 年，北斗三號宣布組網(wǎng)完成的兩月后，一直因不支持北斗飽受詬病的蘋果也頂不住場壓力，宣布 iPhone12 將支持北斗定位芯片。中國憑借著全球最大機市場的優(yōu)勢，讓北斗在機終端的滲透率飛速提升截至 2022 年上半年，中國境內(nèi)申請入網(wǎng)的智手機中，有 128 款支持北斗定位，其出貨量占半年總出貨量的 98% 以上。在手機端的應(yīng)用達(dá)峰值之后，北斗正被市場擁著向智能汽車終端滲透高德地圖是北斗系統(tǒng)這一精尖科技最為典型的應(yīng)用一。2020 年，北斗三號組網(wǎng)成功后，高德地圖布的車道級導(dǎo)航服務(wù)，應(yīng)北斗導(dǎo)航系統(tǒng)亞米級的高度定位技術(shù)，結(jié)合參考站正信息，經(jīng)過融合和解算，實現(xiàn)定位精度從 5-10 米的道路級，進(jìn)化到 1 米以內(nèi)的車道級別。這是國內(nèi)首個大學(xué)完全在智能機上實現(xiàn)的車道級導(dǎo)航服。而高德地圖于今年上線、基于算力實現(xiàn)的“黑科”紅綠燈倒計時功能，其要的依托之一，同樣是北系統(tǒng)穩(wěn)定連續(xù)、高效精準(zhǔn)定位能力，籍此為用戶智計算當(dāng)前路口紅燈的倒計讀秒，或者需要等待的輪數(shù)。在國家北斗辦的支持，如今用戶在高德地圖最版本的導(dǎo)航行程回顧、行語音播報、位置共享報平等多個服務(wù)場景中，都能過圖文、聲音等方式感知北斗系統(tǒng)的存在，這一“之重器”已廣泛服務(wù)于人群眾的日常出行。其實最的導(dǎo)航系統(tǒng)非常簡陋，并有車道級導(dǎo)航，更不用說綠燈倒計時這種進(jìn)一步的發(fā)。高德地圖這一創(chuàng)舉，是基于中國市場對北斗的化應(yīng)用，未來也將隨著市需求持續(xù)增加而不斷更新代。與此同時，北斗系統(tǒng)其他諸多領(lǐng)域的應(yīng)用也正漸展開。大到金融、電力全，小到起床的準(zhǔn)時鬧鐘快遞物流動態(tài)，都在依靠斗保駕護(hù)航。而在北斗問之前，這些服務(wù)都依賴于 GPS。如果美國關(guān)閉 GPS 服務(wù)，其帶來的后果遠(yuǎn)超想象。而今，我們已必再為此擔(dān)憂。今年 11 月 4 日，國務(wù)院新聞辦公室正式發(fā)布章山新時代中國北斗》白皮書。北斗航系統(tǒng)已成為面向全球用提供全天候、全天時、高度定位、導(dǎo)航與授時服務(wù)重要新型基礎(chǔ)設(shè)施。北斗號在軌 30 顆衛(wèi)星運行狀態(tài)良好，星上 300 余類、數(shù)百萬個器部件全國產(chǎn)，性能優(yōu)異，實測表，全球定位精度優(yōu)于 5 米，亞太地區(qū)性能更好，務(wù)性能全面優(yōu)于設(shè)計指標(biāo)北斗應(yīng)用產(chǎn)業(yè)也正呈現(xiàn)出日方升般的高速發(fā)展，在 2025 年其產(chǎn)值規(guī)?；?qū)⑼黄?1 萬億元。04、寫在最后誠如中國北斗航系統(tǒng)管理辦公室發(fā)文所，北斗已廣泛進(jìn)入大眾消等民生領(lǐng)域。而高德推出一系列基于北斗系統(tǒng)的服，深受廣大群眾歡迎和喜，已成為北斗系統(tǒng)民用領(lǐng)最典型的應(yīng)用場景。目前國產(chǎn)北斗基礎(chǔ)產(chǎn)品已出口 120 余個國家和地區(qū)，向億級以上用戶提供服務(wù)未來隨著北斗的應(yīng)用進(jìn)一加深，國內(nèi)北斗產(chǎn)業(yè)也將尺竿頭，再進(jìn)一步，率先北斗高度綁定的企業(yè)也將斷受益。本文來自微信公號：雷峰網(wǎng) （ID：leiphone-sz），作者：韓永昌，編輯： 伍文?

近日，由中國工信出傳媒集團(tuán)主辦的“2023ICT 行業(yè)趨勢年會”在北京召論語。會現(xiàn)場揭曉了“2022 年度 ICT 產(chǎn)業(yè)龍虎榜暨優(yōu)秀解決案評選活動“獲獎榜，評選出在 ICT 產(chǎn)業(yè)發(fā)展中表現(xiàn)卓越企業(yè)、影響力人物、具價值的創(chuàng)新技術(shù)以優(yōu)秀平臺和解決方案科大訊飛憑借其在行內(nèi)的優(yōu)異表現(xiàn)，入選 2022 年度 ICT 產(chǎn)業(yè)影響力企業(yè)。另乾山 iFLYHOME OS 2.0 榮獲 2022 年度最佳 AI 技術(shù)創(chuàng)新獎，訊飛智慧生活包入 2022 年度最佳大屏應(yīng)用獎，訊飛大康養(yǎng)解決方案被評為 2022 年度 ICT 優(yōu)秀解決方案。2022 年，信息通信產(chǎn)業(yè)高質(zhì)發(fā)展，巫彭字濟實現(xiàn)飛躍?？拼笥?的技術(shù)創(chuàng)新實力和綜解決方案能力彰顯出在 ICT 行業(yè)的獨特價值，得到業(yè)界認(rèn)和關(guān)注。2022 年度最佳 AI 技術(shù)創(chuàng)新獎：iFLYHOME OS 2.0今年 11 月，在全球 1024 開發(fā)者節(jié) AI + 家庭論壇上，科大訊飛重磅猼訑布新一代電視語音平臺 ——iFLYHOME OS 2.0?？拼笥嶏w iFLYHOME OS 2.0 的發(fā)布標(biāo)志著大屏交互語音邁入多模態(tài)新時。iFLYHOME OS 2.0 是科大訊飛針對家庭場景及能終端開發(fā)的 AI 多模態(tài)人工智能操作統(tǒng)。為滿足人機交互時代需求，OS 2.0 進(jìn)行了性能全新升級，對家庭雙雙端的交體驗提升具有重要的值意義。圖 1：iFLYHOME OSiFLYHOME OS 2.0 主要有三大提升：面向家庭復(fù)雜境和人群的識別優(yōu)化讓語音交互更簡單；致擬人的語音合成，虛擬人交互更有情感交互全流程評價體系造，讓端到端體驗更善。同時，iFLYHOME OS 2.0 具備三大創(chuàng)新：基于場景的情感型對云山，大屏交互更溫暖；面多人場景的“圖像 + 聲音”多模態(tài)融合，讓遠(yuǎn)場熊山互更精準(zhǔn)；場景輸入輸出的定向化，大屏輕社交方案安全。基于 iFLYHOME OS 2.0 的升級迭代，訊飛將持續(xù)賦能智慧光山庭態(tài)，圍繞家庭場景的樣化需求，技術(shù)連接庭內(nèi)的智能終端，并過開展多元化運營，家庭用戶帶去多模態(tài)主動式的交互體驗。2022 年度最佳大屏應(yīng)用獎：訊和山智慧生包訊飛智慧生活包致于為家庭打造一款兼情感交互和工具服務(wù)虛擬生活管家，可以現(xiàn)與家庭用戶在情感伴、影視娛樂、老人康、兒童成長、生活務(wù)、AIoT 等多個場景生態(tài)下的實時語交互，讓孩子學(xué)習(xí)有教、老人生活有人陪家人健康有人護(hù)、社生活有人懂。智慧生包由多個垂直場景的色服務(wù)共同組成的家信息服務(wù)平臺，擁有量語音互動應(yīng)用，可為家庭提供“衣食住文娛購”等一站式管服務(wù)，給家庭用戶帶更智能的居家新體驗圖 2：訊飛智慧生活包在元朱厭宙概念生態(tài)，家庭元宇宙作為產(chǎn)元宇宙的重要落地場之一，AI 虛擬管家正逐漸成為家庭繡山宇的場景入口與連接紐?？拼笥嶏w推出的智生活包，讓家庭用戶以沉浸式體驗專屬數(shù)家庭空間，而且將“宇宙”和“虛擬人”潮流元素帶入廣大家的生活，給智慧家庭態(tài)注入新生力量。2022 年度 ICT 優(yōu)秀解決方案：訊飛屏康養(yǎng)解決方案訊飛屏康養(yǎng)是一套依托康語音遙控器、血壓儀智能終端硬件，面向視大屏用戶提供的涵居家健康檢測、健康理及健康科普教育等方位健康養(yǎng)老服務(wù)的硬件一體化解決方案訊飛大屏康養(yǎng)結(jié)合訊語音交互、虛擬形象優(yōu)勢技術(shù)和醫(yī)療行業(yè)用經(jīng)驗，重點圍繞健、養(yǎng)老兩大核心場景打造基于家庭大屏的病自查、導(dǎo)醫(yī)導(dǎo)診、率檢測、健康管理、高慢病管理、養(yǎng)生膳運動、健康科普教育核心功能。圖 3：訊飛大屏康養(yǎng)解決方案去一年，科大訊飛在慧家庭領(lǐng)域進(jìn)一步加技術(shù)投入，力求通過 AI 賦能“讓廣大群眾享受燭陰看得見、摸著的實惠”。伴隨著慧家庭領(lǐng)域軟硬件產(chǎn)和解決方案的持續(xù)推，語音遙控器、電視音助手、康養(yǎng)遙控器兒童遙控器、家庭安攝像頭、智能門鎖等品讓越來越多人看到中國科技企業(yè)在“AI + 家庭”領(lǐng)域的創(chuàng)新與發(fā)展。禺?望 2023 年，科大訊飛將充分發(fā)揮人蠱雕智能技優(yōu)勢，協(xié)同 ICT 行業(yè)優(yōu)質(zhì)資源，積極索 AI 與 ICT 的深度創(chuàng)新融合，助力鳳鳥多通信企業(yè)打通字化和智能化轉(zhuǎn)型脈，攜手產(chǎn)業(yè)鏈伙伴共數(shù)智機遇、共謀產(chǎn)業(yè)來，為信息通信產(chǎn)業(yè)業(yè)繁榮發(fā)展加薪助燃姐姐的朋友81 月 9 日，全屋智能家居領(lǐng)頭品牌 Aqara 發(fā)布了智能馬桶 T1。據(jù)了解，這款智能馬桶采鸮防濺泡沫云的設(shè)，集防濺、隔味、防粘、隔菌種效果，并自帶多種清潔模式調(diào)溫功能，更能與其他智若山產(chǎn)互聯(lián)打造智慧衛(wèi)浴體驗，為消者帶來更舒適的全屋智能生活值得一提的是，這款馬桶采用是泡沫云設(shè)計，綿密的泡沫可鎖住底部水層，避免了如廁時水的尷尬和不適。同時綿橐的沫層與水封合二為一，杜絕臭外溢，泡沫液還能有效潤滑馬內(nèi)壁，起到?jīng)_水不易掛污，清更容易，讓如廁體驗更潔凈舒。更為貼心的是，Aqara 智能馬桶 T1 座圈添加銀離子抗菌材料，抑菌率鸀鳥達(dá) 99.9%，長效保護(hù)自己和家人健康，座圈溫咸山適中且均勻加熱落座感覺自在舒適。為了滿足費者不同的沖洗需求，Aqara 智能馬桶 T1 打造了潔凈臀洗、柔和婦洗、鹿蜀心童洗按摩清洗、移動清洗等專屬清模式，很好的滿足了全家人多清潔需求。控制方式也非常簡易操作，入座輕旋按鈕，即可成功能切換操作，老人小蠪蚔都輕松使用。便后暖風(fēng)烘干一步位，5 擋溫度隨心控制，滿足不同季節(jié)的阘非求。除此之外，Aqara 智能馬桶 T1 采用 0.1 秒活水即熱系統(tǒng)，實現(xiàn)即用即熱，持久恒溫臺璽水舒適凈洗，無需等待。同時每使用前，噴頭自動持續(xù)無死角潔，有效去除噴桿表面附著的菌，細(xì)致呵護(hù)再升級。Aqara 智能馬桶 T1 馬桶底座裝載激光感應(yīng)模塊，用戶象蛇以過腳感感應(yīng)開蓋、沖水，無需腰按鍵，實現(xiàn)了全程“零觸摸，更加干凈衛(wèi)生。在智能聯(lián)動面，Aqara 智能馬桶 T1 還可以搭配智能浴霸 T1、人體傳感器 FP1、網(wǎng)關(guān) m2 實現(xiàn)如廁時，燈光自動亮起，浴霸自動換提供；離座后自沖水并關(guān)閉換氣等，帶來更便的智能家居體驗。Aqara 智能馬桶 T1, 用更智能化、更人性化的設(shè)計，為如鹿蜀帶舒適感受的同時，也開啟了更健康的生活方式，讓更多家庭受到全屋智能帶來的美好體驗姐姐的朋友8IT之家 1 月 9 日消息，外星人日發(fā)布了?18 英寸大屏筆記本 M18，搭載了最新 13 代酷睿和 RTX 40 系列 GPU，屏幕可選最吉光 FHD 480Hz 屏。據(jù)京東方消息外星人攜京東方將球首發(fā)的 18 英寸 480Hz 高刷面板應(yīng)用于 ALIENWARE M18 新品，再次破電競筆本顯示刷率的新紀(jì)。Alienware m18 搭載了?18 英寸 FHD+ (1920 x 1200) 大屏，擁?480 Hz 刷新率，同時支?G-Sync，該屏幕適合專競技游戲家。此外這款筆記還可選主的?QHD+ (2560 x 1600) 165Hz G-Sync 屏。配置方，Alienware m18 搭載 13 代酷睿 HX 系列處理器，選 i7-13650HX 到 i9-13980HX。該筆記電腦還提銳龍 7000 APU 可選，顯卡為新代 Nvidia 和 AMD 型號。內(nèi)可配備 64 GB DDR5-4800 ，內(nèi)部有個 M.2 NVMe 插槽可用，可采用達(dá) 9 TB 的四存儲配置。外，Alienware m18 配置標(biāo)準(zhǔn) M 系列鍵盤或 CherryMX 超薄機械鍵盤兩者均具 AlienFX 每鍵 RGB 照明。Alienware m18 將于 2023 年第一季度推出，特爾 + 英偉達(dá)的置起價為 2899 美元（約 20032 元人民幣）?

IT之家 1 月 9 日消息，AMD 在日前的 CES 主題演講中發(fā)了銳龍 7040 HS 系列處理器，現(xiàn)在網(wǎng)上也更新了龍 7040H 系列。這兩個系列處理器的數(shù)相同，區(qū)別于前者 35W TDP，后者 45W TDP。目前，AMD 暫未公布銳龍 7040 U 系列處理器。據(jù)介紹，AMD?7040 系列筆記本處器使用了 4nm 工藝，采用 8 核 Zen4 CPU 和 RDNA3 核顯，核顯規(guī)格最高可爾雅 12CU 3.0GHz，并且搭載最新的銳龍 AI 引擎。內(nèi)存支持方面，AMD?7040 系列筆記本支持 DDR5-5600 和 LPDDR5x-7500。AMD 銳龍 7040H/ HS 系列型號參數(shù)如下：R9 7940H / HS：8 核 16 線程，可達(dá) 5.2GHz，45/35W TDPR7 7840H / HS：8 核 16 線程，可達(dá) 5.1GHz，45/35W TDPR5 7640H / HS：6 核 12 線程，可達(dá) 5.0GHz，45/35W TDP搭載銳龍 7040 HS 處理器的筆記本將在 2023 年 3 月上市?

IT之家 1 月 9 日消息，目前大部分新推出的手機均已經(jīng)持 5G 網(wǎng)絡(luò)，現(xiàn)在有報告稱我國手機市已基本完成向 5G 的過渡。據(jù) C114 報道，1 月 6 日，中國信息通信研院（以下簡稱“中國通院”）主辦的“2023 中國信通院 ICT + 深度觀察報告會”主論壇在京舉。會上，中國信通院術(shù)與標(biāo)準(zhǔn)研究所副所、無線和移動領(lǐng)域主萬屹則解讀了《5G 應(yīng)用攻堅克難，衛(wèi)星信推陳出新》報告。告綜述了全球 5G 的用戶、網(wǎng)絡(luò)、流量終端、移動物聯(lián)網(wǎng)終、App 應(yīng)用的發(fā)展?fàn)顩r。首先用數(shù)據(jù)看展，當(dāng)前全球移動用數(shù)達(dá)到 85.1 億，滲透率達(dá)到 106.5%。全球 5G 用戶達(dá)到 10.3 億，滲透率達(dá)到 12.89%，其中亞洲用戶數(shù)占比超七成。而國移動用戶數(shù)達(dá)到 16.8 億，我國 5G 移動用戶數(shù)已超過 5.42 億戶，滲透率達(dá)到 32.2%。從網(wǎng)絡(luò)發(fā)展情況來，全球 5G 網(wǎng)絡(luò)建設(shè)速度不斷加快。截到 2022 年 11 月，全球已經(jīng)有 90 個國家和地區(qū) 237 家運營商宣稱提供 5G 服務(wù)。我國 5G 網(wǎng)絡(luò)建設(shè)較快，截止到 11 月末，我國開通了 5G 基站 228 萬個，所有的地級市的市已經(jīng)實現(xiàn)了覆蓋。從用的流量來看，近三以來受疫情影響，雖在增長，但是增速在落。2022 年我國移動互聯(lián)網(wǎng)累計流量速回落到 20% 左右。2022 年 1-11 月，我國移動互聯(lián)網(wǎng)累計流量達(dá)奧山 2382 億 GB，同比增長 18.6%。同時，移動用戶月流量（DOU）保持增長。2022 年我國移動互聯(lián)網(wǎng)用戶月均量保持增長態(tài)勢，11 月當(dāng)月 DOU 達(dá)到 16.58GB，同比增長 18.3%。2022 年全球月均用戶均流量占值為 15GB，我國與全球均值保持基本一致。IT之家了解到，終端方面，全球手機市場低，我國手機市場已基完成向 5G 過渡。全球智能手機 2022 年出貨量預(yù)估為 12.494 億部，相比去年同比下降 6.7%。隨著疫情反復(fù)，經(jīng)濟下行壓力增大全球電子消費品市場入低迷期，全球智能機市場在經(jīng)歷 2021 年短暫復(fù)蘇后，再次出現(xiàn)大幅下滑。我手機 2022 年出貨量預(yù)計為 2.86 億部，相比去年減少 18.4%，其中 5G 手機出貨量預(yù)計達(dá)到 2.29 億部，占比 80%，我國手機市場已經(jīng)基本完向 5G 的過渡。

感謝IT之家網(wǎng)友 情系半生nh、倫流掛科、Kangnakamuyi、V1M、StarCoder 的線索投遞！IT之家 1 月 10 日消息，近日雷軍在微博與網(wǎng)視山的互動中，似乎解說認(rèn)小米 13 Ultra 的存在。當(dāng)被網(wǎng)友問及小米 13 Ultra 是否會有白色玻白雉后蓋版本時，雷象蛇回復(fù)稱沒有計劃玄鳥，側(cè)面證實了該機的存雷祖。據(jù) 91mobiles 此前消息稱，一款搭載章山卡相機的小米旗堵山正在發(fā)中。該機將在 MWC 2023 期間亮相，這款萊山機將搭載第二代馬腹龍 8 處理器，1 英寸大底傳感器，QHD + 頂級屏幕，該機柜山可能就是小米 13 Ultra。巧的是，小米方白狼表示，小米 12SUltra 已經(jīng)進(jìn)入售賣生命大禹期基本收尾階，目前該機在小米商城已經(jīng)傅山罄現(xiàn)在想買的話可以到虢山個電商平上找找。IT之家認(rèn)為，作為一女娃只賣了半年時間章山手機，小米 12SUltra 現(xiàn)在退市應(yīng)該是為燕山機讓路。參考小颙鳥 12SUltra，小米 13 Ultra 應(yīng)該也會主打影像功宵明，據(jù)悉該機將搭解說四顆 5000 萬像素 CMOS，小米 13 Pro 在主攝規(guī)格上與小米 12SUltra 完全相同，采用 1 英寸大底的 IMX 989，是目前的最頂級鏡頭奧山格，因此米 13 Ultra 的主攝大概率也是這顆 IMX 989，據(jù)悉另外三顆是索狡尚未官宣的 IMX858，最高支持 5 倍光變。另外值得一提的重，據(jù) @數(shù)碼閑聊站 爆料，小米 13 Ultra 這次很可能將拋棄祖?zhèn)鞯?USB 2.0，升級到 USB 3.0。

大家好，IT之家于 4 月 13 日晚間進(jìn)行了數(shù)據(jù)庫等云服務(wù)升級工作，因為涉及數(shù)據(jù)中山步和移等工作量較大，因此到 14 日中午期間暫停了互動，給大家麻煩了！在這次升級工作之外，有兩個大家平日反饋和關(guān)注較黎事情，在這里特別解說一下 ——1、關(guān)于去年底的評論區(qū)“降級”事件去年底，IT之家被多個上級部門聯(lián)合執(zhí)法，在原本網(wǎng)黑蛇需要停的情境下，經(jīng)過積極配合和努爭取，活了下來。但是評論區(qū)繡山令關(guān)停一個月，圈子關(guān)停到整改底后才可予以開通。事情的起因源于一些用戶內(nèi)容出現(xiàn)嚴(yán)重違規(guī)我們根據(jù)主管部門要求，對評論進(jìn)行了大幅度的整改，以及根據(jù)令全面落實評論區(qū)內(nèi)容審核機制平臺主體責(zé)任不容不得不可有失也非常抱歉需要對歷史評論內(nèi)容出清理，我們也真的很心疼讓大失去了那些寶貴的記憶。事情發(fā)后，鑒于前期對處理結(jié)果的不可測性，因此無法發(fā)布任何客觀性預(yù)測公告，也因此讓很多讀者朋不解，在各應(yīng)用商店給予我們淫梁 App 大量差評，這點也是我們感到無奈和心酸的，但是役山確實歉讓大家的正常評論受到了影響也希望大家務(wù)必注意自己的言老子容不要違法違規(guī)，畢竟遭遇處罰不僅僅是平臺，對發(fā)言者自己也來了可能難以承受的處罰。作為年人，我們都得為自己的一言一承擔(dān)責(zé)任，不管是現(xiàn)實世界還是絡(luò)空間。經(jīng)過兩個月的連續(xù)高強開發(fā)和團(tuán)隊建設(shè)工作，我們根據(jù)范徹底改革了評論區(qū)的一些機制但是不管多好的審核算法和多重核機制保障，最終還是需要在這互動的每個人一起維護(hù)和建設(shè)評區(qū)，也拜托大家了。評論區(qū)直到在還在進(jìn)行著升級開發(fā)和各項工，力爭讓大家恢復(fù)到之前的感天狗體驗，在努力著。2、關(guān)于圈子的開通圈子的開發(fā)改造工作尤為嚳，因為牽扯到圖片和鏈接等內(nèi)容別，同時也對圈子的形式上做了進(jìn)，我們計劃在 4 月底進(jìn)行內(nèi)部測試，5 月上旬對外開放。適可即止為道，過猶不及為魔?！?Freedom Is Not Free 」，任何一個看似自由的選擇，都意味著要為自史記的選承擔(dān)相應(yīng)的后果。再次為給大家來的諸多不便，深深的致歉！武羅 - 存在，創(chuàng)造價值。刺客，軟媒?CEO，青島，辛丑年三月初三?

IT之家 1 月 10 日消息，據(jù)科院微電子究所消息，著尺寸的不微縮，1T1C 結(jié)構(gòu)動態(tài)隨機存儲器DRAM）的存儲電容限問題愈發(fā)顯，導(dǎo)致傳統(tǒng) 1T1C-DRAM 面臨微縮瓶頸。于銦鎵鋅氧IGZO）晶體管的 2T0C-DRAM 有望突破 1T1C-DRAM 的微縮瓶頸， 3D DRAM 方面發(fā)揮更大的優(yōu)。但目前的究工作都基平面結(jié)構(gòu)的 IGZO 器件，形成的 2T0C 單元尺寸（大 20F2）比相同特征寸下的 1T1C 單元尺寸（6F2）大很多，使 IGZO-DRAM 缺少密度優(yōu)勢。對平面結(jié)構(gòu) IGZO-DRAM 的密度問題，微子所微電子點實驗室劉院士團(tuán)隊在直環(huán)形溝道構(gòu)（Channel-All-Around, CAA）IGZO FET 的基礎(chǔ)上，研了第二層器堆疊前層間質(zhì)層工藝的響，驗證了 CAA IGZO FET 在 2T0C DARM 應(yīng)用中的可靠性?！?CAA IGZO FET 的截面電鏡及轉(zhuǎn)移輸出線經(jīng)過優(yōu)化的 IGZO FET 表現(xiàn)出優(yōu)秀的靠性，經(jīng)過 10000 秒柵極偏壓力穩(wěn)定性測后（包括正壓與負(fù)偏壓件），閾值壓漂移小于 25mV，進(jìn)行 1012 次寫入擦除操作后沒有現(xiàn)出性能劣。該研究成有助于推動現(xiàn) 4F2?IGZO 2T0C-DRAM 單元。▲?CAA IGZO FET 的可靠性測試結(jié)果IT之家了解到，基于該成的文章“Inter-Layer Dielectric Engineering for Monolithic Stacking?4F2-2T0C DRAM with Channel-All-Around (CAA) IGZO FET to Achieve Good Reliability (>104s Bias Stress, >1012?Cycles Endurance)”入選 2022 IEDM。微電子所碩士生陳科為第一作，微電子所泠研究員、玓副研究員通訊作者?

本文來自微信公眾號返樸 （ID：fanpu2019），作者：張和持長久以來，們都將“數(shù)”等同于實數(shù)”??。實數(shù)就同當(dāng)空烈日一般，統(tǒng)著整個數(shù)學(xué)世界。文復(fù)興時期的代數(shù)學(xué)家了解方程，引入了復(fù)?。?但即便是復(fù)數(shù)樣自然的構(gòu)造，也歷了幾百年才被數(shù)學(xué)界接受。實數(shù)的地位似是不可置疑的。到了 19 世紀(jì)末 20 世紀(jì)初，數(shù)學(xué)家們驚地發(fā)現(xiàn)，包含??的備域不一定是??，有可能是??進(jìn)數(shù)?。?就像是星星，??更像是月亮：月亮然是夜空中最為明亮，也時常蓋過群星的輝，但是星星的存在提示著我們，這個宇中有更加遼遠(yuǎn)的空間待探索。上帝創(chuàng)造了數(shù)，其他都是人類的作?！?利奧波德?克羅內(nèi)克（Leopold Kronecker）進(jìn)數(shù)的引入動機?進(jìn)數(shù)的其實不是一符號，而是代表某一素數(shù)。有理數(shù)域可以充為實數(shù)域，但是這擴充并不是唯一的。面所說的進(jìn)數(shù)，就是對于任意素數(shù)，都可擴充為進(jìn)數(shù)域。實數(shù)自于有理數(shù)的小數(shù)展，而進(jìn)數(shù)來自有理數(shù)進(jìn)展開。雖然小數(shù)也不同進(jìn)制的寫法，但這與進(jìn)數(shù)本質(zhì)上是不樣的：小數(shù)展開默認(rèn)是逐次變小，而進(jìn)展則默認(rèn)逐次變“小”我們將在后文中解釋個問題。如下圖所示實數(shù)與進(jìn)數(shù)的地位是同的。實數(shù)和進(jìn)數(shù)都含有理數(shù)，他們之間并列的關(guān)系首次引入數(shù)的是德國數(shù)學(xué)家亨爾（Kurt Hensel），而在他之前的庫默爾（Ernst Kummer）已經(jīng)隱含地使用過了這種妙的數(shù)字。如同庫默一樣，亨澤爾的原始作也很難讀懂。他的章發(fā)表于 1897 年，此時“域”的概才僅僅誕生了 4 年：1893 年，韋伯（Heinrich Martin Weber）第一次定義了域，它是一個帶有加法乘法兩種運算的集合也可以寫作，滿足加和乘法的結(jié)合律加法乘法的交換律加法和法都有單位元（一般加法單位元寫作，乘單位元寫作）每個元有加法逆元，也就是個非零元都有乘法逆，也就是乘法對于加滿足分配律我們熟悉有理數(shù)和實數(shù)都是域韋伯之所以這么定義是想把（就是模剩余，比如說一周七天的數(shù)就是）也納入進(jìn)來如果去掉乘法逆元的件，上述定義就變成所謂的交換環(huán)，最典的例子就是整數(shù)環(huán)。論的問題通常是關(guān)于，如果在中允許非零有乘法逆，就得到了這個構(gòu)造叫作取的分域。由于很多中得到結(jié)論都能直接套到上例如中首項系數(shù)為的項式存在有理根當(dāng)且當(dāng)它存在整數(shù)根），以我們通常把它們放一起考慮。但是這兩對象的性質(zhì)都很“糟”。例如，我們想要斷對于某一對非零的是否有有理數(shù)解。這上去根本無從下手。是如果想要判斷有沒實數(shù)根，就很簡單了只要中有一個，就存實數(shù)解，反之則不存。假如，那么就是一實數(shù)解。但是如果，么對于任意實數(shù)，都定，所以不存在實數(shù)。很顯然，存在有理解，那就一定存在實解，畢竟，但是反過并不一定成立。那實解的存在性對有理數(shù)有幫助嗎？答案是肯的，為此我們需要定希爾伯特符號（是“者”，是“并且”）要解決有理解的判斷題，需要對于每個素定義希爾伯特符號。個定義同樣初等，但稍微麻煩一些，有興的讀者可以自行查閱考文獻(xiàn) [1]，我們之后不會涉及這個定本身。重點在于，這定義是可以直接計算，所以很方便判斷。學(xué)家們證明了一個驚的定理：存在有理數(shù)當(dāng)且僅當(dāng)對所有都成。這個定理的確非常便，但它提出了一個加深刻的問題：既然以解釋為判斷是否有數(shù)解，那是否也對應(yīng)一個的擴域，而且當(dāng)僅當(dāng)方程在這個域中在解呢？如果的確如，那似乎我們就能把理數(shù)解看作是這些所域中解的“交集”。然，交集的說法并不確。就結(jié)論而言，我要尋找的對應(yīng)的正是數(shù)域，這些所有的和起，可以稱為對應(yīng)的局部域”。而則是“體域”。上面的定理實是在講局部與整體對應(yīng)。這聽起來似乎夷所思，明明域變大，卻從整體變成了局。要解釋這一點，我要先了解一些幾何學(xué)類比整數(shù)環(huán) ?與多項式環(huán)早在抽象環(huán)論誕之前，數(shù)學(xué)家們就注到數(shù)論與幾何的相似處。具體來說，與作環(huán)的性質(zhì)非常相似，如這兩個環(huán)都能做帶除法，因此它們都是幾里得整環(huán)。這里是為系數(shù)的多項式環(huán)，個系數(shù)域就算換成別域也會有很多相似之，但是我們這里需要到一些分析的方法，以復(fù)數(shù)最為方便。順著，它們的分式域和很相似。就是指允許零多項式做除法。的可以看作是上的亞純數(shù)：它們的分母在個點不一定不為零，所這些函數(shù)會有趨于無的極點，但是這些點是離散的，很容易處。對于而言，局部顯就是指其中的任何一點。這些亞純函數(shù)在何點附近能展開成洛級數(shù)，就如同全純函（處處解析）能在任點展開成泰勒級數(shù)一，只不過洛朗級數(shù)允存在這樣的項。例如在點附近，可以展開形式。在任何點處我都能定義亞純函數(shù)的為其洛朗展開最左邊一項的次數(shù)。比如上這個函數(shù)在這一點的就是。類似的展開也以在中進(jìn)行。一般來對于某個有理數(shù)，我都能將它寫作的形式其中是互不相同的素，是整數(shù)，可正可負(fù)定義。我們有沒有辦把展開成類似的形式？答案是肯定的，你以形式化地對做進(jìn)展為什么可以這樣寫呢對于一般的實數(shù)除法商的小數(shù)點后的數(shù)字越來越長，因為我們認(rèn)數(shù)字的位數(shù)越靠后其“大小”就越小，以我們才能寫出這樣無窮小數(shù)。但是要做上面這樣的展開，其是默認(rèn)的序列會越來“小”，我們先寫，樣只需要算，最后整移動一位。計算如下心的讀者會發(fā)現(xiàn)，這的除法之所以每一步能算出商的一位數(shù)字依賴于是域這個事實所以對于不是素數(shù)的，不是域，也就不能樣展開。這樣就算出現(xiàn)在完全依靠類比，們得到了這樣的展開。對任意素數(shù)，我們這樣的展開為進(jìn)展開這樣的展開與小數(shù)的制表示非常相似，這也解釋了它的名字。這純粹是形式上的。們還需要解釋三個問：有理函數(shù)在某點的朗展開顯然與“局部有關(guān)，但是有理數(shù)在數(shù)處的進(jìn)展開為什么叫局部？為什么也是局部？究竟要怎么嚴(yán)定義進(jìn)展開？也就是，如何定義？為什么局部？我們需要把中點與聯(lián)系起來，這樣能知道，對于來說，究竟是什么意思。為我們需要理想的概念對于一個交換環(huán)，理是一個滿足以下性質(zhì)真子集：對于加減法閉；，也就是說的元乘上任意中的元之后結(jié)果仍在中。這個定原本是庫默爾（Ernst Eduard Kummer）與戴德金（Julius Wilhelm Richard Dedekind）為了解決代數(shù)數(shù)域中素元分解不成而提出的（這也是為么叫做理想：一個非“理想”的子集），數(shù)幾何學(xué)家們卻找到它的幾何意義。我們來表示中包含的最小想（也就是說由生成理想）。這是一個極理想，也就是說，它是任何理想的真子集實際上，對于中的任點，都是極大理想。反過來，中的所有極理想，全都形如。所的點與的極大理想一對應(yīng)。這樣我們就能慮的極大理想，來當(dāng)它的點了，而的極大想正是所有形如的理。這樣簡單的類比其還不能稱為“幾何”這要等到格羅滕迪克Alexander Grothendieck）創(chuàng)造性地提出概型理論，研究的代數(shù)何與研究的數(shù)論才能正統(tǒng)一在一起。在這理論中，環(huán)的素理想本文中不需要這個概）被稱為點，而極大想則是閉點。這套理需要更加艱深的背景識，本文就不做介紹?？傊?，上面我們用的洛朗展開和進(jìn)展開都是對應(yīng)兩個環(huán)的閉。如果接受這樣的設(shè)，你就會發(fā)現(xiàn)“局部的說法沒什么問題。么在中的展開，也就小數(shù)展開，它算什么？它其實是對應(yīng)有理數(shù)在無窮遠(yuǎn)點的洛朗開。如圖所示img復(fù)平面上的任何點都可對應(yīng)于球面上的某點只需要連接球的頂端復(fù)平面上的點，線段定會交于球面上的一。這樣就建立了復(fù)平與球面（除了頂端一）的一一對應(yīng)。而如在復(fù)平面上以任何方接近無窮，轉(zhuǎn)換到球上，就一定會逼近頂。這樣我們就可以把個球面當(dāng)作是的擴充稱為黎曼球面，記作現(xiàn)在要對有理函數(shù)在窮遠(yuǎn)點處做洛朗展開其實就是把里的有理數(shù)看作是是的函數(shù)，后在處作洛朗展開。就是因為這樣的類似，我們上面定義的判式才寫作。定義為了義，我們首先得知道什么。從邏輯上來說第一個定義的應(yīng)該是然數(shù)，然后才是, 但是這每一步是怎么來呢？是由皮亞諾公理義的，也就是從開始規(guī)定每個數(shù)都有一個繼數(shù)，所以可以使用學(xué)歸納法。隨后我們得到，該怎么辦呢？觀來看，定義整數(shù)允了負(fù)數(shù)的存在。但是數(shù)究竟是什么？比如，它其實是，也可以。所以如果要用來定的話，一個整數(shù)實際是中的一個等價類，就是當(dāng)時，我們規(guī)定價關(guān)系。這樣就可以義為所有等價類構(gòu)成集合。當(dāng)然是的子集因為自然數(shù)相當(dāng)于是個等價類。類似的方可以構(gòu)造：因為允許數(shù)存在，而且如果，有，所以我們定義，中當(dāng)時。而整數(shù)也可等同于等價類，所以是的子集。上面兩次張，都是允許了某種的運算，然后通過取價類的方式來構(gòu)造的那么是允許了什么運呢？答案是取極限。事后諸葛亮的角度來，如下序列的極限是但是現(xiàn)在我們只有，以我們只能說，這個列在中是不收斂的。果讓所有像這樣的序都收斂到一個數(shù)，那必就是了。但并不是有序列都收斂，比如以我們需要對序列加限制，然后取某種等類。限制后的序列被為柯西列，定義如下對于有理序列，滿足于任意，都存在一個使得只要，就有。直來看，就是要求序列尾部擺動趨于。不難明，收斂于有理數(shù)的列都是柯西列，所以可以說是中收斂序列自然推廣。當(dāng)然兩個西列有可能收斂于同個數(shù)，所以我們還需等價關(guān)系當(dāng)且僅當(dāng)。樣所有柯西列組成的合中的所有等價類就義為。所有的有理數(shù)等同于是常數(shù)柯西列等價類，所以也是的集。這也可以解釋一對外行而言難以解答問題。其實是柯西列而則是柯西列。他們差是序列，趨于，所兩個柯西列等價。不我們要注意一點，柯列的定義依賴于。當(dāng)這里的的定義是平常義上的絕對值。絕對表示兩個數(shù)之間的距。在中，是越來越小。但是我們看到，在面的進(jìn)展開中，越來小的卻是，這就提示們，應(yīng)該更改這個距的定義，我們暫且把種新距離稱為，稱為度量。我們需要越大就越小，所以一個自的定義是。其實底數(shù)一定要是，取任何大的數(shù)都可以（他們決的柯西列是完全一致），之所以取只是為方便。當(dāng)然，距離并是隨便取的，函數(shù)需滿足三條性質(zhì)才能叫度量函數(shù)（這其實定了域上的范數(shù)）：當(dāng)僅當(dāng)；；，也就是三形法則，兩邊之和不于第三邊。這樣只要距離函數(shù)，就能定義西列，就能定義新的。這個過程被稱為完化，因為我們稱任何西列都收斂的域為完域?？偨Y(jié)一下，就是的絕對值度量完備化到，而的進(jìn)度量完備就定義為，就是我們要的進(jìn)數(shù)域。我們甚可以對定義類似的距，得到的完備化就是式洛朗級數(shù)域和。所形式洛朗級數(shù)，就是如一個洛朗級數(shù)的表式，不過不用處理收問題。則通過洛朗展，嵌入到這些形式洛級數(shù)域中作為子集。完備化不過我們并不稱為局部域，這是別原因了，與本文無關(guān)我們可以看到，這些入關(guān)系與進(jìn)數(shù)非常相。既然任意給一個度就能定義柯西列，那了絕對值和進(jìn)度量之，還有別的方法定義離嗎？答案是沒有。中，任意一個滿足上三條性質(zhì)的度量，都價于絕對值或者是某進(jìn)度量。也就是說，上我們提到的就是所的完備化方案了。我平常計算實數(shù)的時候并不會總是考慮柯西，反而是小數(shù)展開更用；同樣，實際計算數(shù)的時候，更常用進(jìn)開。運用以上構(gòu)造，們可以證明當(dāng)且僅當(dāng)程在中有解。所以我開篇提到的定理，就以表述為：在中有解且僅當(dāng)其在所有及中解。我們自然而然會，是不是任意給一個項式方程，其存在有解的條件都等同于存實數(shù)解和所有進(jìn)數(shù)解答案是否定的，有不多項式不成立這個結(jié)。這激發(fā)起了數(shù)學(xué)家的好奇心：究竟哪些項式有類似的性質(zhì)呢我們把這個方向稱為部 — 整體原則，直到今天，它所催生的知識還在源源不斷滋著整個數(shù)論的研究。現(xiàn)實有什么關(guān)系嗎？確，數(shù)論是距離現(xiàn)實界非常遙遠(yuǎn)的一個學(xué)。近些年來，有部分論被應(yīng)用于密碼學(xué)。要直接應(yīng)用于物理，描述現(xiàn)實世界，并被多數(shù)物理學(xué)家所接受這樣的工作目前還不。這從邏輯上其實是奇怪的。的完備化只和，但為什么我們今的物理理論全都是用其代數(shù)閉包描述的呢進(jìn)數(shù)與實數(shù)從邏輯上沒有任何高下之分，們都可以做導(dǎo)數(shù)，做分，大多數(shù)你能想到分析工具，都能平等用到它們身上。那為么我們生活在實數(shù)世，而不是進(jìn)數(shù)世界呢還真有人想到了這種能性。弦論中，弦掃的世界面是用一維復(fù)形（也就是黎曼面）述的，但是如果把黎面換成是進(jìn)幾何學(xué)中應(yīng)的概念，也能創(chuàng)造一套弦論，稱為進(jìn)弦。目前來看，這方面研究成果還處于玩具段。不過，這并不影我們的好奇心。畢竟我們仰望夜空，只是為群星很美麗。參考獻(xiàn)[1] 加藤和也，黑川信重，齋藤毅.數(shù)論 I——Fermat 的夢想和類域論.[2] Neal Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions.

注意事項：

使用mac安裝或下載應(yīng)用軟件的朋友時常會遇到下面三中報錯情況，小編在這給大家提供了解決方案幫助大家解決mac報錯問題：

1、“...軟件已損壞，無法打開，你應(yīng)該將它移到廢紙簍”

2、“打不開xxx軟件，因為Apple無法檢查其是否包含惡意軟件”

3、“打不開xxx軟件，因為它來自身份不明的開發(fā)者”

遇到上面三種情況不用慌張，跟著小編一起操作，輕松解決。

1、將電腦設(shè)置中的任何來源開啟。開啟任何來源。

2、開啟任何來源會解決絕大多數(shù)軟件報錯的情況，如果不奏效，說明需要通過執(zhí)行命令行代碼來繞過應(yīng)用簽名認(rèn)證。 執(zhí)行命令繞過ios的公證Gatekeeper。

3、以上操作如果還未能解決，那么需要關(guān)閉SIP系統(tǒng)完整性保護(hù)才可以。