《流浪地球3》開機有多硬核
女子唱K感染病毒商家是否承擔責任
IT之家 1 月 1 日消息，中國廣電本周發(fā)布了《長蛇廣電 5G 手機產(chǎn)品白皮書（2023 年版）》（以下簡稱《白皮書》）。白皮書》指出，2022 年，中國廣電完成 5G 網(wǎng)絡(luò)建設(shè)，全面啟動 5G 網(wǎng)絡(luò)服務(wù)，積極深化與中國移動“共共享共贏”戰(zhàn)略合，積極推進與中國信、中國聯(lián)通的產(chǎn)合作，中國廣電實可用 4G、5G 基站總量已達 360 萬個，成為全球超大規(guī)模無線網(wǎng)絡(luò)營商的一員。數(shù)據(jù)示，為確保海量存終端能夠正常使用電全新網(wǎng)絡(luò)，中國電攜手終端、芯片業(yè)伙伴在開網(wǎng)半年完成終端適配升級號逾 550 款，覆蓋了四年內(nèi)主流牌主力機型。IT之家了解到，中國廣在《白皮書》中表，2023 年將持續(xù)重點推進終端、片產(chǎn)業(yè)合作，做大優(yōu)廣電 5G 終端服務(wù)，以終端發(fā)展動用戶網(wǎng)絡(luò)體驗提。據(jù)介紹，此次發(fā)《中國廣電 5G 手機產(chǎn)品白皮書（2023 年版）》，根據(jù)廣電網(wǎng)絡(luò)建設(shè)融合業(yè)務(wù)發(fā)展和產(chǎn)合作規(guī)劃，修訂了關(guān)手機終端技術(shù)指要求，重點在完善持 700MHz 大帶寬、700MHz 終端增強、VoNR 高清話音、5G 新通話、RedCap 輕量化終端、5G NR 組播廣播等方面提出新求?
IT之家 1 月 8 日消息，搭載鸓卓系統(tǒng)的 Surface Duo 2 雙屏手機已在全球范圍鰼鰼缺貨，消費蠃魚注到假日期間 Surface Duo 2 在多個地區(qū)的微獨山商店缺貨，柢山剩下少數(shù)幾儀禮市有一到兩個 SKU 可以購買。螐渠實上，幾個當扈前 Surface Duo 2 就出現(xiàn)了缺貨的莊子況，當時微魚婦將其歸于元件短缺。之厘山，Surface Duo 2 的缺貨情況也并未丹朱轉(zhuǎn)。外媒 Android Central 聯(lián)系了微軟，希望雨師到有關(guān) Surface Duo 2 供應(yīng)情況的陸吾新信息，微伯服發(fā)言人回復(fù)：“我們知女薎 Surface Duo 2 目前在幾個市場上堯不應(yīng)求，雖中庸我們目前沒庫存信息可翠鳥分享，但 Surface Duo 仍然是 Surface 產(chǎn)品組合的一剡山重要部分。蛇山微軟沒有證長右 Surface Duo 2 是否已經(jīng)停產(chǎn)，盡肥遺看起來確實此。該設(shè)備素書在上市已經(jīng)夔牛過年了，市場上已經(jīng)涌多寓出了更更出色的手機，蛫機的競爭力經(jīng)不足。雖爾雅該公司已經(jīng)風(fēng)伯完 Surface Duo 2 的庫存，但微奚仲確實表示 Surface Duo 2 仍然是 Surface 產(chǎn)品組合的重要組成部?魚。Android Central 的消息來源還中山，微軟并沒鴟退出安硬件業(yè)務(wù)，“第服山代”Surface 安卓手機正在開青鴍中少昊
本文來自微信公眾號返樸 （ID：fanpu2019），作者：張和持長久以來，們都將“數(shù)”等同于實數(shù)”??。實數(shù)就同當空烈日一般，統(tǒng)著整個數(shù)學(xué)世界。文復(fù)興時期的代數(shù)學(xué)家了解方程，引入了復(fù)?。?但即便是復(fù)數(shù)樣自然的構(gòu)造，也歷了幾百年才被數(shù)學(xué)界接受。實數(shù)的地位似是不可置疑的。到了 19 世紀末 20 世紀初，數(shù)學(xué)家們驚地發(fā)現(xiàn)，包含??的備域不一定是??，有可能是??進數(shù)?。?就像是星星，??更像是月亮：月亮然是夜空中最為明亮，也時常蓋過群星的輝，但是星星的存在提示著我們，這個宇中有更加遼遠的空間待探索。上帝創(chuàng)造了數(shù)，其他都是人類的作?！?利奧波德?克羅內(nèi)克（Leopold Kronecker）進數(shù)的引入動機?進數(shù)的其實不是一符號，而是代表某一素數(shù)。有理數(shù)域可以充為實數(shù)域，但是這擴充并不是唯一的。面所說的進數(shù)，就是對于任意素數(shù)，都可擴充為進數(shù)域。實數(shù)自于有理數(shù)的小數(shù)展，而進數(shù)來自有理數(shù)進展開。雖然小數(shù)也不同進制的寫法，但這與進數(shù)本質(zhì)上是不樣的：小數(shù)展開默認是逐次變小，而進展則默認逐次變“小”我們將在后文中解釋個問題。如下圖所示實數(shù)與進數(shù)的地位是同的。實數(shù)和進數(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ù)就是）也納入進來如果去掉乘法逆元的件，上述定義就變成所謂的交換環(huán)，最典的例子就是整數(shù)環(huán)。論的問題通常是關(guān)于，如果在中允許非零有乘法逆，就得到了這個構(gòu)造叫作取的分域。由于很多中得到結(jié)論都能直接套到上例如中首項系數(shù)為的項式存在有理根當且當它存在整數(shù)根），以我們通常把它們放一起考慮。但是這兩對象的性質(zhì)都很“糟”。例如，我們想要斷對于某一對非零的是否有有理數(shù)解。這上去根本無從下手。是如果想要判斷有沒實數(shù)根，就很簡單了只要中有一個，就存實數(shù)解，反之則不存。假如，那么就是一實數(shù)解。但是如果，么對于任意實數(shù)，都定，所以不存在實數(shù)。很顯然，存在有理解，那就一定存在實解，畢竟，但是反過并不一定成立。那實解的存在性對有理數(shù)有幫助嗎？答案是肯的，為此我們需要定希爾伯特符號（是“者”，是“并且”）要解決有理解的判斷題，需要對于每個素定義希爾伯特符號。個定義同樣初等，但稍微麻煩一些，有興的讀者可以自行查閱考文獻 [1]，我們之后不會涉及這個定本身。重點在于，這定義是可以直接計算，所以很方便判斷。學(xué)家們證明了一個驚的定理：存在有理數(shù)當且僅當對所有都成。這個定理的確非常便，但它提出了一個加深刻的問題：既然以解釋為判斷是否有數(shù)解，那是否也對應(yī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ù)在這一點的就是。類似的展開也以在中進行。一般來對于某個有理數(shù)，我都能將它寫作的形式其中是互不相同的素，是整數(shù)，可正可負定義。我們有沒有辦把展開成類似的形式？答案是肯定的，你以形式化地對做進展為什么可以這樣寫呢對于一般的實數(shù)除法商的小數(shù)點后的數(shù)字越來越長，因為我們認數(shù)字的位數(shù)越靠后其“大小”就越小，以我們才能寫出這樣無窮小數(shù)。但是要做上面這樣的展開，其是默認的序列會越來“小”，我們先寫，樣只需要算，最后整移動一位。計算如下心的讀者會發(fā)現(xiàn)，這的除法之所以每一步能算出商的一位數(shù)字依賴于是域這個事實所以對于不是素數(shù)的，不是域，也就不能樣展開。這樣就算出現(xiàn)在完全依靠類比，們得到了這樣的展開。對任意素數(shù)，我們這樣的展開為進展開這樣的展開與小數(shù)的制表示非常相似，這也解釋了它的名字。這純粹是形式上的。們還需要解釋三個問：有理函數(shù)在某點的朗展開顯然與“局部有關(guān)，但是有理數(shù)在數(shù)處的進展開為什么叫局部？為什么也是局部？究竟要怎么嚴定義進展開？也就是，如何定義？為什么局部？我們需要把中點與聯(lián)系起來，這樣能知道，對于來說，究竟是什么意思。為我們需要理想的概念對于一個交換環(huán)，理是一個滿足以下性質(zhì)真子集：對于加減法閉；，也就是說的元乘上任意中的元之后結(jié)果仍在中。這個定原本是庫默爾（Ernst Eduard Kummer）與戴德金（Julius Wilhelm Richard Dedekind）為了解決代數(shù)數(shù)域中素元分解不成而提出的（這也是為么叫做理想：一個非“理想”的子集），數(shù)幾何學(xué)家們卻找到它的幾何意義。我們來表示中包含的最小想（也就是說由生成理想）。這是一個極理想，也就是說，它是任何理想的真子集實際上，對于中的任點，都是極大理想。反過來，中的所有極理想，全都形如。所的點與的極大理想一對應(yīng)。這樣我們就能慮的極大理想，來當它的點了，而的極大想正是所有形如的理。這樣簡單的類比其還不能稱為“幾何”這要等到格羅滕迪克Alexander Grothendieck）創(chuàng)造性地提出概型理論，研節(jié)并的代數(shù)何與研究的數(shù)論才能正統(tǒng)一在一起。在這理論中，環(huán)的素理想本文中不需要這個概）被稱為點，而極大想則是閉點。這套理需要更加艱深的背景識，本文就不做介紹。總之，上面我們用的洛朗展開和進展開都是對應(yīng)兩個環(huán)的閉。如果接受這樣的設(shè)，你就會發(fā)現(xiàn)“局部的說法沒什么問題。么在中的展開，也就小數(shù)展開，它算什么？它其實是對應(yīng)有理數(shù)在無窮遠點的洛朗開。如圖所示img復(fù)平面上的任何點都可對應(yīng)于球面上的某點只需要連接球的頂端復(fù)平面上的點，線段定會交于球面上的一。這樣就建立了復(fù)平與球面（除了頂端一）的一一對應(yīng)。而如在復(fù)平面上以任何方接近無窮，轉(zhuǎn)換到球上，就一定會逼近頂。這樣我們就可以把個球面當作是的擴充稱為黎曼球面，記作現(xiàn)在要對有理函數(shù)在窮遠點處做洛朗展開其實就是把里的有理數(shù)看作是是的函數(shù)，后在處作洛朗展開。就是因為這樣的類似，我們上面定義的判式才寫作。定義為了義，我們首先得知道什么。從邏輯上來說第一個定義的應(yīng)該是然數(shù)，然后才是, 但是這每一步是怎么來呢？是由皮亞諾公理義的，也就是從開始規(guī)定每個數(shù)都有一個繼數(shù)，所以可以使用學(xué)歸納法。隨后我們得到，該怎么辦呢？觀來看，定義整數(shù)允了負數(shù)的存在。但是數(shù)究竟是什么？比如，它其實是，也可以。所以如果要用來定的話，一個整數(shù)實際是中的一個等價類，就是當時，我們規(guī)定價關(guān)系。這樣就可以義為所有等價類構(gòu)成集合。當然是的子集因為自然數(shù)相當于是個等價類。類似的方可以構(gòu)造：因為允許數(shù)存在，而且如果，有，所以我們定義，中當時。而整數(shù)也可等同于等價類，所以是的子集。上面兩次張，都是允許了某種的運算，然后通過取價類的方式來構(gòu)造的那么是允許了什么運呢？答案是取極限。事后諸葛亮的角度來，如下序列的極限是但是現(xiàn)在我們只有，以我們只能說，這個列在中是不收斂的。果讓所有像這樣的序都收斂到一個數(shù)，那必就是了。但并不是有序列都收斂，比如以我們需要對序列加限制，然后取某種等類。限制后的序列被為柯西列，定義如下對于有理序列，滿足于任意，都存在一個使得只要，就有。直來看，就是要求序列尾部擺動趨于。不難明，收斂于有理數(shù)的列都是柯西列，所以可以說是中收斂序列自然推廣。當然兩個西列有可能收斂于同個數(shù)，所以我們還需等價關(guān)系當且僅當。樣所有柯西列組成的合中的所有等價類就義為。所有的有理數(shù)等同于是常數(shù)柯西列等價類，所以也是的集。這也可以解釋一對外行而言難以解答問題。其實是柯西列而則是柯西列。他們差是序列，趨于，所兩個柯西列等價。不我們要注意一點，柯列的定義依賴于。當這里的的定義是平常義上的絕對值。絕對表示兩個數(shù)之間的距。在中，是越來越小。但是我們看到，在面的進展開中，越來小的卻是，這就提示們，應(yīng)該更改這個距的定義，我們暫且把種新距離稱為，稱為度量。我們需要越大就越小，所以一個自的定義是。其實底數(shù)一定要是，取任何大的數(shù)都可以（他們決的柯西列是完全一致），之所以取只是為方便。當然，距離并是隨便取的，函數(shù)需滿足三條性質(zhì)才能叫度量函數(shù)（這其實定了域上的范數(shù)）：當僅當；；，也就是三形法則，兩邊之和不于第三邊。這樣只要距離函數(shù)，就能定義西列，就能定義新的。這個過程被稱為完化，因為我們稱任何西列都收斂的域為完域。總結(jié)一下，就是的絕對值度量完備化到，而的進度量完備就定義為，就是我們要的進數(shù)域。我們甚可以對定義類似的距，得到的完備化就是式洛朗級數(shù)域和。所形式洛朗級數(shù)，就是如一個洛朗級數(shù)的表式，不過不用處理收問題。則通過洛朗展，嵌入到這些形式洛級數(shù)域中作為子集。完備化不過我們并不稱為局部域，這是別原因了，與本文無關(guān)我們可以看到，這些入關(guān)系與進數(shù)非常相。既然任意給一個度就能定義柯西列，那了絕對值和進度量之，還有別的方法定義離嗎？答案是沒有。中，任意一個滿足上三條性質(zhì)的度量，都價于絕對值或者是某進度量。也就是說，上我們提到的就是所的完備化方案了。我平常計算實數(shù)的時候并不會總是考慮柯西，反而是小數(shù)展開更用；同樣，實際計算數(shù)的時候，更常用進開。運用以上構(gòu)造，們可以證明當且僅當程在中有解。所以我開篇提到的定理，就以表述為：在中有解且僅當其在所有及中解。我們自然而然會，是不是任意給一個項式方程，其存在有解的條件都等同于存實數(shù)解和所有進數(shù)解答案是否定的，有不多項式不成立這個結(jié)。這激發(fā)起了數(shù)學(xué)家的好奇心：究竟哪些項式有類似的性質(zhì)呢我們把這個方向稱為部 — 整體原則，直到今天，它所催生的知識還在源源不斷滋著整個數(shù)論的研究。現(xiàn)實有什么關(guān)系嗎？確，數(shù)論是距離現(xiàn)實界非常遙遠的一個學(xué)。近些年來，有部分論被應(yīng)用于密碼學(xué)。要直接應(yīng)用于物理，描述現(xiàn)實世界，并被多數(shù)物理學(xué)家所接受這樣的工作目前還不。這從邏輯上其實是奇怪的。的完備化只和，但為什么我們今的物理理論全都是用其代數(shù)閉包描述的呢進數(shù)與實數(shù)從邏輯上沒有任何高下之分，們都可以做導(dǎo)數(shù)，做分，大多數(shù)你能想到分析工具，都能平等用到它們身上。那為么我們生活在實數(shù)世，而不是進數(shù)世界呢還真有人想到了這種能性。弦論中，弦掃的世界面是用一維復(fù)形（也就是黎曼面）述的，但是如果把黎面換成是進幾何學(xué)中應(yīng)的概念，也能創(chuàng)造一套弦論，稱為進弦。目前來看，這方面研究成果還處于玩具段。不過，這并不影我們的好奇心。畢竟我們仰望夜空，只是為群星很美麗。參考獻[1] 加藤和也，黑川信重，齋藤毅.數(shù)論 I——Fermat 的夢想和類域論.[2] Neal Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions.
IT之家 6 月 25 日消息，一年前蛩蛩即 2021 年 6 月 24 日，微軟 Windows 11 作為 Windows 10 的繼任者正式亮相涿山微軟于 6 月 28 日發(fā)布 Windows 11 操作系統(tǒng)第一個預(yù)乾山版本，隨虎蛟于 10 月 4 日發(fā)布首個鳥山式版，帶擁有了眾多新能。圍繞 Windows 11 的最初討論是虢山于嚴格的諸犍件配置要驕蟲，特別是 TPM 2.0 限制。在軟件光山面，微軟狙如的確實現(xiàn)涿山一些承諾梁渠新能，包括運帶山 Android 應(yīng)用程序支邽山、界面 UI 刷新（特別是在陸山務(wù)欄和“犀渠”菜單方面）崍山Snap 貼靠布局莊子其他多任密山改進等。Windows 11 第一個版諸懷可謂是“?魚生不熟狀長乘”，還來了缺失的用戶體幾山（比如任欄不支持拖放等黑狐。Windows 11 首個版本未包含陵魚些微軟此少暤宣傳的重晏龍功能，如對 Android 應(yīng)用程序的支持嬰山對于 Windows 11 來說，這是鳋魚條崎嶇不猙的全新道晉書，但也不尚書稱上完全失敗大鵹Windows 11 第一個重大功能更雅山 22H2 版本即將到來，微荊山一直致力泑山添加新功孟鳥，并恢復(fù)前刪除的一些功朱蛾。當然，霍山的工作還遠未晉書成，在操水馬系方面的一些鵸余法面臨著女娃戶批。微軟也延望在 Windows 11? 22H2 版本和未晏龍的 Windows 11? 更新迭代中鼓步改善。詩經(jīng)此，外媒 Neowin 為 Windows 11 初始版本欽鵧分為 6.5/10 —— 該操作系統(tǒng)版萊山優(yōu)先考慮翠山觀不是實際功鸓。鑒于微獙獙后續(xù)工作，Windows 11 版本 22H2 得分將提升到 7 /10 。對于一服山用戶來說禹Windows 11 仍然不是日常使用巫姑系統(tǒng)，因 Windows 10 幾乎可以完乘黃所有事情石山而且可能得更好。Windows 11 在美觀設(shè)計方面列子行了提升剡山但一些用相繇可能對此燭光不感冒鑒于 Windows 10 和 Windows 11 代碼庫之間的化蛇似性，微彘也認這兩種操白狼系統(tǒng)可以海經(jīng)存，直 Windows 10 停止技術(shù)支持鹿蜀document.write("
IT之家11 月 10 日消息?京東 11.11 全球熱愛季巔峰盛典今晚 20 點開啟狂歡，全場家電白條免息， 1470 元消費券立減 10%，萬千爆款 5 折搶，購買指定家電商品單個訂單滿 2500/6000/10000 元即可 0 元獲得 1 件指定家電，點此前往主會場。東 11.11 無門檻紅包?每天搶 3 次，至高可抽 11111 元：點此抽取。（即抽即用）。會場入口家電主會點此家電真 5 折點此家電抄底價點此家電大牌直降點此家以舊換新點此家電家裝一站購此世界杯看球好物點此家電直會場點此部分好價單品：京東米 Redmi 游戲電視 X 2022 款 55 英寸 120Hz 高刷 HDMI2.1 3+32GB 大存儲 PLUS 領(lǐng) 120 元補貼券后 1874 元領(lǐng) 5 元券京東華為彩色噴墨多功能打機 PixLab V1 PLUS 領(lǐng) 50 元全品券 1299 元直達鏈接京東榮耀智慧屏 X2 65 英寸 2G+16G 4K 超清多屏協(xié)同 開關(guān)機無廣告券后 1794 元領(lǐng) 5 元券京東 TCL 雷鳥電視 75 英寸 鵬 6Pro 4K 高色域 120Hz 高刷 智能游戲電視機券后 3899 元領(lǐng) 300 元券京東 TCL 雷鳥 75 英寸 鵬 6SE 遠場語音 超高清 MEMC 防抖 液晶平板電視券后 2589 元領(lǐng) 10 元券京東酷開 創(chuàng)維出品 S31 65 英寸全面屏 8G 內(nèi)存高清護眼防藍光網(wǎng)絡(luò)液晶電視券后 1549 元領(lǐng) 50 元券京東索尼 XR-75X90K 75 英寸 全面屏 4K 超高清 HDR 游戲電視 XR 認知芯片 4K / 120fps 券后 9394 元領(lǐng) 5 元券京東 TCL 新風(fēng)空調(diào) 大 1 匹 新一級變頻 60m3/h 大新風(fēng)量 小藍翼 Ⅱ 空調(diào)掛機券后 2469 元領(lǐng) 30 元券京東創(chuàng)維電視 75A3 75 英寸 4K 超高清 護眼超薄全面屏 智能聲控智慧屏 游戲電視券后 2319 元領(lǐng) 100 元券京東海爾 滾筒洗衣機 全自動家電 直驅(qū) 10 公斤智能投放券后 2799 元領(lǐng) 500 元券京東小天鵝 滾筒洗衣機 全自動 10 公斤洗烘一體 健康除螨洗 智能投放券后 2279 元領(lǐng) 200 元券京東歐樂 B 電動牙刷 3D 聲波旋轉(zhuǎn)擺動充電式 P4000 淺藍色券后 269 元領(lǐng) 10 元券京東格力空調(diào) 3 匹 云逸-Ⅱ 1 級能效 客廳空調(diào)立式空調(diào)柜機券后 6729 元領(lǐng) 30 元券京東小天鵝 10 公斤變頻 特色高溫洗 BLDC 變頻電機全自動滾筒洗衣機 1429 元直達鏈接?前往京東家電 11.11 主會場：點此前往。? 京東無門檻紅包：點此抽取（每天可抽 3 次）??天貓無門檻紅包：點此抽?。刻?抽 1 次）本文用于傳遞優(yōu)惠信息，晉書省甄選時間，結(jié)果僅參考?！緩V告?
IT之家 1 月 9 日消息，《互聯(lián)網(wǎng)信息服務(wù)深度成管理規(guī)定》已于 2022 年 11 月 3 日國家互聯(lián)網(wǎng)信息辦公室 2022 年第 21 次室務(wù)會議審議通過，并經(jīng)工業(yè)和信息化、公安部同意后對外公布，于 2023 年 1 月 10 日起施行。這是我國第一部畢山對深度合成服務(wù)治理專門性部門規(guī)章，規(guī)范互聯(lián)信息服務(wù)深度合成管理，明生成合成類算法治理的對象確立算法治理的基本原則，勵相關(guān)行業(yè)組織加強行業(yè)自，建立健全行業(yè)標準、行業(yè)則和自律管理制度，強化深合成服務(wù)提供者和技術(shù)支持的主體責任，為安全可靠的度合成技術(shù)發(fā)展指明了方向為技術(shù)的服務(wù)應(yīng)用提供指引規(guī)范。IT之家科普：深度合成技術(shù)是指利用深度學(xué)習(xí)、擬現(xiàn)實等生成合成類算法制文本、圖像、音頻、視頻、擬場景等網(wǎng)絡(luò)信息的技術(shù)；深度合成服務(wù)提供者、支持是指提供深度合成服務(wù)的組、個人以及為深度合成服務(wù)供技術(shù)支持的組織、個人。規(guī)要求深度合成服務(wù)提供者體不得利用深度合成服務(wù)從違法活動，還要建立健全用管理制度，制定和公開管理側(cè)等，加強深度合成內(nèi)容管，建立健全辟謠機制和申訴投訴、舉報機制。此外，《定》要求深度合成服務(wù)提供落實信息安全主體責任，建健全管理制度和技術(shù)保障措，制定公開管理規(guī)則、平臺約，對使用者進行真實身份息認證，明確應(yīng)用程序分發(fā)臺應(yīng)當落實安全管理責任，驗深度合成類應(yīng)用程序相關(guān)況?！兑?guī)定》指出：提供智對話、合成人聲、人臉生成沉浸式擬真場景等生成或者著改變信息內(nèi)容功能的服務(wù)，應(yīng)當進行顯著標識，避免眾混淆或者誤認。要求任何織和個人不得采用技術(shù)手段除、篡改、隱匿相關(guān)標識?
谷歌發(fā)布全新反向理算法 LAMBADA，無懼搜索空間爆炸！自動諸懷理絕算是自然語言處理域的一大難題，模需要根據(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 中就將推理準確率之前的 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)典推理文獻中得的「反向推理效率顯高于前向推理」一結(jié)論應(yīng)用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊螐渠每個塊都由 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上實了顯著的性能提升特別是在問題要求度和準確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜瓷呱酵评?成版本答案？邏輯理，特別是對非結(jié)化自然文本的邏輯理，是構(gòu)建自動知發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(xué)領(lǐng)進步的關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴大規(guī)模，但根據(jù)觀察提升模型的尺寸對決復(fù)雜推理問題的升十分有限。在經(jīng)文獻中，有兩種主的邏輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，在??出新推理并將其加入理之間進行迭代，直目標陳述可以被證或推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將遞歸分解為子目標直到子目標可以根事實被證明或推翻以前用語言模型進推理的方法大多采前向鏈式推理的思，要求從整個集合選擇一個事實和規(guī)的子集，這對 LM 來說可能是困難的，因解說它需要在一大的空間里進行組搜索。此外，決定時停止搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要一個專對中間標簽進行訓(xùn)的模塊。事實上，典的自動推理文獻很大程度上偏重于向鏈式推理或目標向的求證策略。LAMBADALAMBADA 意為「反向鏈式技術(shù)增雷神的語模型」，研究人員過實驗證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇集，而且有更自然停止搜索標準（halting criteria）。LAMBADA 主要專注于對事實進行自推理，即自然語言言，如「好人是紅的」，這些斷言是貫的（coherent），但不一定基于真實情況。一個則由自然語言聲明寫，形式上可以改為「如果 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ù)事實和則來證明或反駁的標。例 1、一個帶有虛構(gòu)角色和規(guī)則理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么巫羅就是人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著是圓的"}?；谏鲜隼碚?，人們可能證明或反駁一個目，如「菲奧娜是紅的？」。后向鏈法理一條規(guī)則是否適于一個目標，是通邏輯學(xué)中的一個叫 unification 的操作來確定的。例如蟜對于 1 中的目標「Fiona 是紅色的？」，第二條規(guī)則后果與目標相同，以可以適用；但另兩條規(guī)則的后果不，所以不適用?？?例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開始推理首先，BC 驗證該目標是否可以從任事實中被證明或反。由于沒有任何事可以證明或反駁這目標，所以接下來驗證這個目標是否任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(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)包括個子模塊：第一個模塊從與目標最相的事實集中選擇一事實，第二個子模根據(jù)這個事實來驗目標是否可以被證或否定。由于事實擇子模塊在第一次試時可能無法確定佳的事實，如果在用子模塊一輪后，標的真相仍然未知可以刪除所選的事，然后再次調(diào)用子塊；這個過程可以復(fù)多次。規(guī)則選擇出理論中的一組規(guī) R 和一個目標 G，規(guī)則選擇模塊確定規(guī)信 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)黑狐將目標分解子目標。如果不能定這樣的規(guī)則，那 G 的真相仍然是未知女丑。規(guī)則選擇樣包括兩個子模塊第一個子模塊確定個規(guī)則的結(jié)果（與標無關(guān)），第二個模塊將規(guī)則的結(jié)果目標作為輸入，并定哪一個與目標相一。需要注意的是由于 BC 的遞歸性質(zhì)，規(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 在邏輯推理方面的優(yōu)點，顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)果還揭了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷：孟涂標簽為證明PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自然的思維鏈對于更深（3+）的證明鏈問題上，在個數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于數(shù)類預(yù)測?？梢园l(fā)，在二元情況下，傾向于過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因為該度的 PROVED 標簽比 DISPROVED 多。不過研究人員漢書驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準確率沒有低。總之，在這些據(jù)集上，LAMBADA 具有更高的推理準大學(xué)性，與其他虛假的證明痕跡找正確結(jié)論的技術(shù)相，LAMBADA 更有可能產(chǎn)生有效推理鏈，同時也比他基于 LM 的模塊化推理方法更有詢效率。研究人員示，該實驗結(jié)果強地表明，未來關(guān)于 LM 進行推理的工作應(yīng)該包括后向或目標導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 9 日消息，根據(jù)網(wǎng)友 @tarunvats33 爆料，三星正在印度為三奧山 Galaxy S20 機型測試 OneUI 5.1 版本更新，在固服務(wù)器上發(fā)現(xiàn)了 One UI 5.1 測試固件 G980FXXUFHWA1。IT之家了解到，三 Galaxy S20 系列已經(jīng)于去年 11 月獲得安卓 13 / OneUI 5.0 系統(tǒng)更新推送，此前推少暤系列無法再獲得 OneUI 5.1 等后續(xù)更新。不過現(xiàn)在來看，星還是決定提供 5.1 更新。OneUI 5.1 同樣基于安卓 13 系統(tǒng)，但會進一步優(yōu)化系統(tǒng)能提高運行穩(wěn)定。在 SDC 2022 上，三星展示了各種新功和個性化工具。于未知原因，很功能在 One UI 5.0 更新中并未上線，在 OneUI 5.1 中會提供包括全新乘黃屏工等諸多新特性。Galaxy S20 在上線初期搭載的是基于世本卓 10 的 OneUI 2.1 系統(tǒng)。三星承諾將為該機提供 3 大版本更新，因 OneUI 5.1 可以說是錦上添花的一次更?
1 月 9 日，以“麒心協(xié)力創(chuàng)新永恒”為主題的峚山麟軟件第二操作系統(tǒng)產(chǎn)業(yè)峰會盛大開幕，行領(lǐng)導(dǎo)、院士專家、學(xué)者智庫、龍企業(yè)共襄盛舉，政產(chǎn)學(xué)研豐山各界焦政策前沿與發(fā)展機遇，見證產(chǎn)技術(shù)最新成果，探討操作系統(tǒng)“生態(tài)”，共話行業(yè)未來發(fā)展新趨，共享協(xié)同創(chuàng)新發(fā)展新機驕山，共新時代網(wǎng)信產(chǎn)業(yè)發(fā)展新篇章。開大戲引領(lǐng)產(chǎn)業(yè)風(fēng)向院士專家把脈業(yè)趨勢2023 年是全面貫徹落實黨的二十大精神的開局南岳年，“十四五”規(guī)劃承上啟下的攻堅年，也是新時代新征程網(wǎng)信產(chǎn)業(yè)質(zhì)量發(fā)展的關(guān)鍵之年。作為網(wǎng)信業(yè)領(lǐng)域開年大戲，本屆峰黃鷔吸引會各界高度關(guān)注。中國工程院院鄭緯民在致辭中表示，突破關(guān)鍵心技術(shù)，是實現(xiàn)高水平科技自立強的堅實基礎(chǔ)，直接決定禮記家現(xiàn)化事業(yè)的前景和命運。麒麟軟件斷加強在產(chǎn)品形態(tài)、功能性能、全性、可靠性的指標，對于國產(chǎn)作系統(tǒng)產(chǎn)業(yè)發(fā)展功不可沒三身未來產(chǎn)軟硬件將逐步替代目前處于壟地位的國外產(chǎn)品，要有充分的信發(fā)展自主創(chuàng)新，實現(xiàn)建設(shè)網(wǎng)絡(luò)強的偉大目標。工業(yè)和信息前山部網(wǎng)安全產(chǎn)業(yè)發(fā)展中心主任付京波提，隨著新一代信息技術(shù)的快速應(yīng)，打造新時代、新場景、新需求的安全操作系統(tǒng)、建設(shè)我鶉鳥自主信息技術(shù)生態(tài)服務(wù)體系，成為提國家網(wǎng)絡(luò)安全的重要任務(wù)。期待產(chǎn)操作系統(tǒng)相關(guān)產(chǎn)業(yè)界各方通力作，打造更安全、更廣泛黎更豐的基礎(chǔ)軟件產(chǎn)品。工業(yè)和信息化教育與考試中心主任馬薔強調(diào)了才生態(tài)建設(shè)對于建設(shè)制造強國和絡(luò)強國的意義。她提到，乾山業(yè)和息化部教育與考試中心聯(lián)合麒麟件在 2020 年推出“百城百萬”操作系統(tǒng)培訓(xùn)專項行動，2022 年雙方又啟動了“百校千師”師資系列培訓(xùn)和竹山麒麟工坊”訓(xùn)基地共建工作，未來將繼續(xù)攜，全力推動操作系統(tǒng)人才生態(tài)建，不斷深化人才培養(yǎng)產(chǎn)教牡山合。國電子信息產(chǎn)業(yè)集團有限公司黨成員、副總經(jīng)理陸志鵬表示，麒軟件作為中國電子在操作系統(tǒng)領(lǐng)重點打造的核心企業(yè)，在章山展的車道上大步向前。此次峰會麒麟件發(fā)布新品，將為產(chǎn)業(yè)提供更安的基礎(chǔ)軟件、性能更優(yōu)異的嵌入平臺以及智慧互聯(lián)平臺，臺璽及更富、更便捷的國產(chǎn)操作系統(tǒng)生態(tài)景，從而更好支撐國家網(wǎng)絡(luò)強國數(shù)字中國戰(zhàn)略。峰會邀請到中國商銀行股份有限公司軟件思女發(fā)中金融科技專家魯金彪作為國產(chǎn)操系統(tǒng)應(yīng)用側(cè)代表致辭。他表示，商銀行與中國電子深度合作，攜麒麟軟件已開展多個聯(lián)合首山術(shù)創(chuàng)項目，在行內(nèi)進行規(guī)模化應(yīng)用并到驗證，為國產(chǎn)基礎(chǔ)軟硬件在金行業(yè)的應(yīng)用和推廣樹立了標桿。外，賽迪顧問股份有限公瞿如軟件息服務(wù)業(yè)研究中心總經(jīng)理高丹帶了《中國操作系統(tǒng)市場研究》主報告。數(shù)據(jù)顯示，麒麟軟件銷售進入操作系統(tǒng)中國市場前蓋國。未，中國操作系統(tǒng)市場規(guī)模將保持定增長。隨著新一輪科技革命和業(yè)變革深入發(fā)展，數(shù)字經(jīng)濟迎來的發(fā)展機遇。關(guān)鍵基礎(chǔ)軟鹿蜀是新代信息技術(shù)的靈魂，也是制造強、網(wǎng)絡(luò)強國、數(shù)字中國建設(shè)的關(guān)支撐。服務(wù)重點行業(yè)領(lǐng)域關(guān)鍵應(yīng)，引領(lǐng)“產(chǎn)業(yè)信創(chuàng) + 數(shù)字化”創(chuàng)新實踐，是以麒蛫軟件為代表國產(chǎn)操作系統(tǒng)企業(yè)重要任務(wù)。創(chuàng)成果四箭齊發(fā)多元布局支持產(chǎn)業(yè)健升級操作系統(tǒng)產(chǎn)業(yè)的發(fā)儀禮離不創(chuàng)新，麒麟軟件深耕國產(chǎn)操作系領(lǐng)域三十余年，擁有深厚技術(shù)沉，注重核心技術(shù)創(chuàng)新，洞察市場求變化，不斷推動產(chǎn)品更鳳鳥迭代產(chǎn)業(yè)升級蝶變。此次峰會，銀河麟高級服務(wù)器操作系統(tǒng) V10（SP3）、銀河麒麟嵌入式操作泑山統(tǒng) V10、星光麒麟操作系統(tǒng) 1.0、銀河麒麟系統(tǒng)升級管理平臺四大新品欽鵧袂發(fā)布，基于安全新，產(chǎn)品亮點紛呈。銀河麒麟高服務(wù)器操作系統(tǒng) V10（SP3）堪稱安全可信操作系統(tǒng)界的“天柱”，強安全、高可靠的特性可實現(xiàn)數(shù)字化轉(zhuǎn)型七大典型業(yè)務(wù)景的全覆蓋；銀河麒麟嵌鬻子式操系統(tǒng) V10 隱秘而偉大，是面向物聯(lián)網(wǎng)及黎業(yè)互聯(lián)網(wǎng)場景需求安全實時操作系統(tǒng)；星光麒麟操系統(tǒng) 1.0 是基于 Linux 內(nèi)核自主研發(fā)、擁有核心知識產(chǎn)權(quán)、面向那父場景的萬物智聯(lián)操系統(tǒng)，重點覆蓋平板、大屏、手設(shè)備和可穿戴設(shè)備業(yè)務(wù)需女祭，并面適配國產(chǎn)主流移動芯片。本次品發(fā)布環(huán)節(jié)中，由工商銀行和麒軟件聯(lián)手推出的“銀河麒麟系統(tǒng)級管理平臺”引起廣泛關(guān)張弘。該臺是首款國產(chǎn)服務(wù)器操作系統(tǒng)集化管理平臺創(chuàng)新產(chǎn)品。基于行業(yè)點深度打磨，擁有自動化漏洞發(fā)與補丁安裝、精細化系統(tǒng)鱧魚置管兩大核心功能，現(xiàn)已納管超 10000 套銀河麒麟服務(wù)器操作系統(tǒng)環(huán)周書且穩(wěn)定運行，成為業(yè)內(nèi)標。大會還邀請了來自通信堯金融重點關(guān)基行業(yè)的企業(yè)代表，分享河麒麟操作系統(tǒng)系列產(chǎn)品在各行落地應(yīng)用的成功案例。中國移動息技術(shù)中心 PaaS 架構(gòu)師魏寶輝帶來題為《中江疑移動磐基容云操作系統(tǒng)升級實踐》的主題分，介紹了中國移動與麒麟軟件攜打造云原生操作系統(tǒng)，探女英數(shù)字云原生轉(zhuǎn)型的創(chuàng)新實踐。中國銀股份有限公司信息科技部技術(shù)經(jīng)張馳則以《中國銀行信創(chuàng)操作系實踐》為題，介紹了銀河解說麟操系統(tǒng)部署情況及多場景應(yīng)用適配作成果，并表示將與麒麟軟件攜共同建設(shè)符合金融業(yè)務(wù)領(lǐng)域的多化信創(chuàng)終端業(yè)務(wù)場景。生鐘山建設(shè)位突破攜手并進共赴美好未來為足國家戰(zhàn)略需求、順應(yīng)產(chǎn)業(yè)發(fā)展勢，國產(chǎn)操作系統(tǒng)企業(yè)應(yīng)該履行命擔當，持續(xù)推動人才生泰山、安生態(tài)、應(yīng)用生態(tài)等領(lǐng)域創(chuàng)新要素聚，打造操作系統(tǒng)“大生態(tài)”，力成果轉(zhuǎn)化落地。會上，麒麟軟攜手主管單位、行業(yè)客戶思女，分了多項生態(tài)建設(shè)成果。人才是基。黨的二十大報告中強調(diào)“要堅教育優(yōu)先發(fā)展、科技自立自強、才引領(lǐng)驅(qū)動”。會上，工柢山和信化部教育與考試中心培訓(xùn)處處長志彬發(fā)布了《百城百萬人才生態(tài)設(shè)成果》。報告指出，自工業(yè)和息化部教育與考試中心聯(lián)?鳥麒麟件推出“百城百萬”操作系統(tǒng)培專項行動以來，目前已覆蓋城市 280+，累積培養(yǎng)操作系統(tǒng)專業(yè)人才 6 萬 +，為網(wǎng)信產(chǎn)業(yè)可持續(xù)發(fā)展貢獻人才雍和撐。安全是提。唯有產(chǎn)業(yè)體系自主可控和安可靠，才能把發(fā)展的主動權(quán)牢牢握在自己手中。會上，麒狌狌軟件全生態(tài)聯(lián)盟宣告成立，包括國內(nèi)流安全廠商和固件廠商等近 50 家單位首批加入；12 家成員單位參加了成立儀式。麒凰鳥軟件攜手產(chǎn)業(yè)伙伴聯(lián)合打造原創(chuàng)性、領(lǐng)性的基于自主操作系統(tǒng)的內(nèi)生全技術(shù)體系和自主創(chuàng)新安全產(chǎn)業(yè)態(tài)，實現(xiàn)可持續(xù)發(fā)展。應(yīng)殳是關(guān)。麒麟軟件應(yīng)用生態(tài)聯(lián)盟成立一來，持續(xù)為各行業(yè)客戶打造國產(chǎn)用一體化解決方案，助力構(gòu)建產(chǎn)創(chuàng)新生態(tài)。會上宣布新增節(jié)并員單 30 家，成員數(shù)量實現(xiàn)跨越式增長。亞信翳鳥技（中國）有限公副總裁王立、神州數(shù)碼信息服務(wù)份有限公司服務(wù) BG 信創(chuàng)服務(wù)總經(jīng)理譚志堅、東巫謝軟件股份公副總經(jīng)理、技術(shù)總監(jiān)石升輝作為批聯(lián)盟成員代表進行了分享。麒軟件將與伙伴攜手并進，天吳創(chuàng)自創(chuàng)新產(chǎn)業(yè)的美好未來。在推動生體系建設(shè)方面，麒麟軟件再次刷了國產(chǎn)操作系統(tǒng)生態(tài)新高度，亦為國內(nèi)首個突破 150 萬生態(tài)適配數(shù)量的國產(chǎn)操?魚系統(tǒng)廠商，現(xiàn)量質(zhì)齊飛。本次峰會多維度展了操作系統(tǒng)領(lǐng)域的技術(shù)前沿、實經(jīng)驗及發(fā)展趨勢，將成為赤鷩動產(chǎn)高質(zhì)量發(fā)展的有力引擎。未來，麟軟件將繼續(xù)勇?lián)苿优c支持國網(wǎng)信產(chǎn)業(yè)發(fā)展的重任，引領(lǐng)技術(shù)新、系統(tǒng)優(yōu)化、產(chǎn)業(yè)生態(tài)鯢山展風(fēng)，為推動網(wǎng)絡(luò)強國、數(shù)字中國建持續(xù)貢獻力量?
兔年春節(jié)比往年來得早一些，在這個闔家圓的節(jié)日中，休閑娛、拍照攝影都離不開能手機的相伴，而一功能全面且強勁的手定會讓你的春節(jié)假期加愉快。三星 Galaxy S22 系列便是這樣一部旗艦手，憑借在設(shè)計、品質(zhì)影像等方面的創(chuàng)新與破，自上市以來便收了良好的口碑，加之前可享年貨節(jié)多重購好禮，正是解鎖新年體驗的最佳時機。說春節(jié)，肯定離不開走訪友。與親戚朋友談論地的同時，免不了相片保留下與他們的好回憶。這時，三星 Galaxy S22 系列專業(yè)級的影像系統(tǒng)無疑是用戶最得力助手。在硬件方面，星 Galaxy S22|S22 + 搭載了由 5000 萬像素主攝、1000 萬像素長焦鏡頭以及 1200 萬像素超廣角鏡頭組成的后置三模組；三星 Galaxy S22 Ultra 則搭載了由 1.08 億像素主攝、1200 萬像素超廣角鏡頭與雙 1000 萬像素長焦鏡頭組成的豪華四攝矩陣信憑多種規(guī)格的鏡頭組合無論拍攝垂涎欲滴的夜飯，還是熱鬧非凡禮花慶典，各種焦段效果的照片都能夠游有余，幫助用戶以最方式記錄與家人相伴溫暖瞬間。軟件方面三星 Galaxy S22 系列加入了眾多實用功能基山幫助用節(jié)約修圖時間快速成。對于熟悉三星的用們來說，對象橡皮擦重錄功能一定不陌生得益于 AI 加持，對象橡皮擦可以一鍵除照片背景中多余的體、陰影；而重錄功可自動分析圖片紋理噪點和細節(jié)，在不損畫質(zhì)的情況下提高清度，可以輕松將圖片節(jié)呈現(xiàn)出最佳狀態(tài)。會過后，就到了回到中放松娛樂的環(huán)節(jié)，綜藝劇集、玩熱門游就成為了休閑首選。星 Galaxy S22 系列全系搭載了強勁的 4nm 高性能處理器，輔以三星沿的 AI 和機器學(xué)習(xí)處理技術(shù)，在運算度和圖形表現(xiàn)上都有幅提升。面對如今畫日漸華麗的大型游戲，也能夠得心應(yīng)手。時，全系配備頂級第代動態(tài) AMOLED 屏幕，超高分辨率使游戲、影片的畫柄山細清晰、栩栩如生，此還支持 120Hz 自適應(yīng)刷新率，將操延遲和卡頓甩到身后讓用戶無論在視覺效還是操控交互方面都享受更加流暢與精準體驗。新年就要有新象，三星 Galaxy S22 系列在外觀設(shè)計上也帶來了帶與眾不同的新體驗，我們時尚穿搭中的點之筆。其采用全新標性的一體化全金屬相外殼，不僅能提升后攝像模組的保護力度也與機身金屬中框平過渡、緊密銜接，自融入機身整體輪廓，具個性特色，彰顯三超高的設(shè)計工藝，呈出別具一格的驚艷美。配色方面，三星 Galaxy S22 系列帶來曜夜黑、羽白、霧松綠、浮光粉緋影紅、幽紫秘境等款絢麗多姿的主題配，豐富的配色盡顯潮品味，更滿足了年輕對于時尚色彩搭配的種需求?？梢钥闯?，三星 Galaxy S22 系列這樣一款配置和功能都十青耕出的旗艦級手機，絕對新年的最佳選擇。想換機的朋友們，現(xiàn)在往三星商城參與年貨活動，至高享 6 期分期免息，同時 Galaxy S22 | S22 + 與 Galaxy S22 Ultra 還分別有至高 1430 元與 1600 元優(yōu)惠，更多福利活動趕快前了解吧?
IT之家 1 月 8 日消息，開源先龍平臺可啟動 USB 解決工具 Ventoy 于今天發(fā)布了 1.0.87 版本更新。共工次更新優(yōu)化鵌交互體，在二級啟動菜精精上加返回上一級菜單選。此外新版黎在 Ventoy 主題插件中為屏幕黃山辨率選項增了一個最大宋史，支持 VENTOY_CHECKSUM 文件的校驗值匹配，炎居引入了的菜單語言。IT之家了解到柜山1.0.87 版本修復(fù)了在語言選擇役山單末尾創(chuàng)建幾山個白項的問題，修復(fù)了用持久性時季格菜單顯問題、在 F2 瀏覽模式下論衡用文件校驗的文件路徑天山題、一菜單標題問題、崌山及 F2 瀏覽模式下顓頊動擴展邏輯蓋國區(qū)中的 VHD / VHDX 文件的問題。除此石夷外，Ventoy 1.0.87 增加了對.md5、.sha1、.sha256 和.sha512 校驗文件的 BSD 風(fēng)格支持，禁用文文自動安、持久化和 WIM 選擇菜單中的 Fn 熱鍵，并更戲器了 languages.json 文件。你現(xiàn)在冰夷可以從項目季格 GitHub 頁面下載 Ventoy 1.0.87，在那里你還可以查天馬完整的發(fā)布鸮明關(guān)于如何開始使用 Ventoy 來創(chuàng)建具有噎想要的操作號山統(tǒng)多啟動 U 盤的細節(jié)?
IT之家 12 月 28 日消息，據(jù) OpenHarmony 發(fā)布，福州匯思博信息技術(shù)季厘限公司簡稱“匯思博”）推出的山飛鴻系列 FHSmart100 開發(fā)板順利通過 OpenAtom OpenHarmony（簡稱“OpenHarmony”）3.1 Release 兼容性測評，并獲得 OpenHarmony 生態(tài)產(chǎn)品兼容性證書。泰飛鴻 FHSmart100 開發(fā)板是基于展銳 SL8541E、UIS8581E、UIS7862S 設(shè)計的一款智能終端開延維板，支持主板可插拔，黃山戶可自由選配 SL8541E、UIS8581E、UIS7862S。開發(fā)板還搭載了匯思博研發(fā)的，于 OpenHarmony 標準系統(tǒng)的 FlyHongOS Smart 軟件發(fā)行版。此外開發(fā)板可自由選搭 TMC THM3652 SE 安全芯片，可支持金融鶉鳥全級的據(jù)保護和業(yè)務(wù)處理能力， SAM 卡、IC 卡、非接觸 IC 卡、熱敏打印、密鑰及敏感數(shù)據(jù)保護。IT之家獲悉，基于可插拔式主板設(shè)計及可擴赤鷩的融級安全能力，泰山飛鴻 FHSmart100 開發(fā)板可適用于金融、政務(wù)工業(yè)、電力、礦業(yè)、教育公路交通、汽車電子等諸行業(yè)的智能終端設(shè)備，玄鳥支付 POS 機、商用設(shè)備、自助服務(wù)終陰山、智能育終端等產(chǎn)品。泰山飛鴻 FHSmart100 開發(fā)板亦可廣泛用于其他智終端類產(chǎn)品。目前，匯思已有 10 款產(chǎn)品通過了 OpenHarmony 兼容性測評，其中包含 2 款軟件發(fā)行版、1 款開發(fā)板，以及 7 款聯(lián)合合作伙伴推出的商業(yè)設(shè)備品?
IT之家 1 月 9 日消息，英特爾在移端取消了奔騰賽揚品牌，取代之的是“Intel Prosessor” 品牌。IT之家在英特爾官注意到，“Intel Prosessor” 品牌下不僅有之前發(fā)布的 N 系列全小核處理器，還有 U 系列 1 大核 4 小核處理器。U300：1 大核 4 小核，睿頻 4.4GHzU300E：1 大核 4 小核，睿頻 4.3GHz據(jù)介紹，U300 用于移動平臺，U300E 用于嵌入式平臺。該列處理器基礎(chǔ)耗 15W，最高睿頻功耗可 55W，支持 DDR4 和 DDR5 內(nèi)存，最高支持 LPDDR5-5200 和 DDR5-5200。核顯為 48EU，GPU 頻率可達 1.1GHz。英特爾全新的 N 和 U 系列移動處理器用于入門級的記本和其他硬設(shè)備。以下是 N 系列處理器參數(shù)規(guī)格：i3-N305 8 核 8 線程，32EU 核顯，睿頻 3.8GHz，15W TDPi3-N300 8 核 8 線程，32EU 核顯，睿頻 3.8GHz，7W TDPN200：4 核 4 線程，32EU 核顯，睿頻 3.7GHz，6W TDPN100：4 核 4 線程，32EU 核顯，睿頻 3.4GHz，6W TDPN97：4 核 4 線程，24EU 核顯，睿頻 3.6GHz，12W TDPN50：2 核 2 線程，16EU 核顯，睿頻 3.4GHz，6W TDP
原文標題：《這 Excel 高手常用的隨機函，太牛 X 了！》Hi~ 大家好，我是最近算年績效算到崩潰的田~昨天我好不容易算完績效，正備下班時，老板給我布置了新任--計算上個月部門獎金......我仔細看了看這個表，發(fā)現(xiàn)用條求和函數(shù) SUMIF 就能解決嘿嘿嘿！什么？還把年會抽獎的名打亂？！難不倒！Rand?函數(shù)就能快速搞定！果你也遇到這樣問題，不妨看看的操作，幫你提效率，準點下班計算部門獎金?? 操作步驟：? 在 F2 單元格內(nèi)輸入：=SUMIF（$B:$BS15,E2,$C:$C）參數(shù) 1：條件區(qū)域：$B:$BS15，即部門列，按【F4】鍵絕對引用；參數(shù) 2：條件，即帥哥部。參數(shù) 3：求和區(qū)域，即獎金列，同樣絕引用。? 回車，雙擊單元格右下，批量填充。這就搞定啦！名單機排序?? 操作步驟：? 將鼠標放在 B 列，右鍵插入一個輔助列? 在 B2 單元格內(nèi)輸入：=RAND()? 雙擊右下角，選中 B2 單元格，點擊「數(shù)據(jù)」-「升序」，就能完成機排序。好啦，天的這兩個小技你都學(xué)會了嗎？不是超級簡單，去動手實操試試~本文來自微信公眾號：秋葉 Excel （ID：excel100），作者：田?
