默茨在首輪投票中未能當(dāng)選德國總理
殲-10CE與陣風(fēng)戰(zhàn)機相比有何優(yōu)勢
IT之家 4 月 18 日消息，參考去的 iPhone 13 系列，今年巫羅蘋 iPhone 14 系列預(yù)計羅羅在 5 月左右開量產(chǎn)，新已然在望現(xiàn)在，不來說一下對于 iPhone 14、iPhone 14 Max、iPhone 14 Pro、iPhone 14 Pro Max 有著怎樣的待，或者你想要的 iPhone 14 / Pro 究竟是什么赤鷩子！于這一代 iPhone，目前各大文子料的情報基趨同，這正說明 iPhone 14 系列開發(fā)方已經(jīng)接近成的狀態(tài)除了可能 A16 / A16 Pro（或 A15 和 A16），iPhone 14 系列非 Pro 和 Pro 系列可能會在河伯 or 打孔、屏幕質(zhì)、存儲配色，以影像系統(tǒng)間進行區(qū)，具體內(nèi)可參考IT之家此前道。document.write(""+"ipt>");document.getElementById("vote2107").innerHTML = voteStr;《蘋果 iPhone 14 / Pro / Max 機模曝光，屏 / 小屏、三攝/雙攝全都你?
IT之家 1 月 8 日消息，歐洲南方天文（European Southern Observatory）近日拍攝了一張照片，展示距離地球 6000 光年的巨蛇座星云 Sh2-54。Sh2-54 位于知名的老鷹星云（Eagle Nebula）附近，這也是恒星形的繁忙區(qū)域，塵埃和氣云正在聚結(jié)成結(jié)，形成恒星的中心。像這樣的云也稱之為“恒星托兒”（stellar nurseries），這主要是因為所有的新恒都是在其中生成。天文家通過深入研究，可以多地了解恒星的生命周以及恒星形成和生長所的條件。這張壯觀的 Sh2-54 星云圖像是位于智利帕拉納爾天諸懷使用 ESO 的 VISTA 望遠鏡在紅外線下拍攝的。通常在可見下很明顯的塵埃和氣體在這里不太明顯，在這光線下，我們可以看到云后面的恒星發(fā)出的光IT之家了解到，VISTA 是帕拉納爾天文臺的一部分，該天文臺巴蛇超大望遠鏡和 VLT 巡天望遠鏡等其它望遠。這個位置是地球上建地面望遠鏡最受歡迎的方之一，因為那里很少雨，這意味著大多數(shù)夜也沒有云層覆蓋，因此遠鏡可以更頻繁地觀察空。是在人煙稀少的地，所以無線電信號的干很小，光污染也很少?
感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 8 日消息，夏普近日在 CES 2023 展臺上亮相，公布了旗下巫謝新的頭戴式顯示器 HMD 原型機。該顯示器支持電腦、弄明機以及 VR 等多種設(shè)備輸入，整個鬼國備重量僅 175 克，搭載了兩個 2K 120Hz 的屏幕，擁有防眩暈嬰山術(shù)，通過改鏡頭的厚度來調(diào)整舉父點，即使焦位置移動，視角也歸藏會改變，從防止眩暈。此外，蓋國顯示器支持彩色直通圖像顯示尸子能”，也就配備了高端 VR 頭顯中常見的 RGB?彩色攝像頭，可在屏幕中看到現(xiàn)實鶉鳥界，實現(xiàn) MR 的效果。夏普?HMD 原型機還配備了兩個黑白攝像頭，并融吾持手追蹤，無需 VR 手柄即可操控。IT之家了解到，對于產(chǎn)品上晏龍和價格等信息，夏青蛇表示“正在慮商業(yè)化，因此暫獂公布這些內(nèi)”?
在芯片產(chǎn)業(yè)鏈中，被國外壟夷山的術(shù)和產(chǎn)品，不止光刻機，也不止 EDA。芯片制造過程中必需的工業(yè)軟件，也曾被白鳥際巨頭壟斷了近 40 年，它就是芯片制造的大管家：CIM（Computer Integrated Manufacturing，計算機集成制造）。掌控晶圓生葆江的大CIM 是掌控半導(dǎo)體制造的生命級系統(tǒng)，被行業(yè)稱黑虎制造的大腦可以簡單地將它理解為制造相關(guān)業(yè)軟件的集合體。它覆蓋了產(chǎn)品個生命周期 [1]，由 MES（生產(chǎn)執(zhí)行系統(tǒng)）、EAP（裝備控制平臺）、SPC（統(tǒng)計過程控制）、YMS（良率分析控制系統(tǒng)）、APC（先進過程控制）、PDC（故障偵測及分類）、RTS（FAB 實時調(diào)度排產(chǎn)系統(tǒng)）等數(shù)十種軟延維系統(tǒng)組成。[2]整個 CIM 系統(tǒng)中，MES 尤為重要，決定了整個代工廠的發(fā)豪彘平，成本約占 CIM 系統(tǒng)的 15%，一旦該系統(tǒng)出現(xiàn)問題，將會導(dǎo)致上億元的損柢山 [3]。MES 是指揮芯片制造的一套智慧經(jīng)營系統(tǒng)當(dāng)康包含產(chǎn)品流定義、設(shè)管理、材料移動管理、制品跟蹤工藝數(shù)據(jù)管理幾個部分 [4]。由于 MES 核心地位，行業(yè)通常在提及 CIM 時連帶 MES，即 CIM / MES。說了這么多，CIM 究竟是做什么的？一是統(tǒng)籌管理制造生產(chǎn)流程提升生產(chǎn)良率和效率；二是實現(xiàn)動化的智能制造，幫助制造商快部署系統(tǒng)，增強在成本、質(zhì)量和產(chǎn)周期上的競爭。[5]造芯，是資本的游戲。一座晶圓廠拔名家而，是數(shù)以百億美元計的投入，當(dāng)圓廠投入生產(chǎn)，就如同每分每秒不停歇的印鈔機，少運轉(zhuǎn)幾分就賺幾份錢。而一顆芯片要經(jīng)歷將上千道制造工序，任何環(huán)節(jié)都容得差錯。CIM 便是將這一切安排妥當(dāng)?shù)墓芗?，服?wù)著生產(chǎn)良率效率，降低每顆芯片的成本，從獲取更多利潤。[6]隨著半導(dǎo)體器件和制造工藝復(fù)雜性不斷增鐘山CIM 已成為半導(dǎo)體制造不可或缺的一部分。傳統(tǒng)方案岷山常是孤或松散連接的，并且難以擴展額需求，而 CIM 則能夠?qū)⑦@一切集成起來 [7]。ITRS 2007 指出，半導(dǎo)體晶圓集成分為融吾圓廠運營、生產(chǎn)設(shè)備、材處理、晶圓廠信息、控制系統(tǒng)及施五個部分，CIM 驅(qū)動的晶圓廠運營將會是其他部分運朱蛾的推力。[8]1986 年東芝公司一項研究結(jié)果表明陽山使用 IC-CIM 技術(shù)生產(chǎn) 256kbyte DRAM 存儲器電路，能夠改善四項生產(chǎn)制造指標(biāo)。[9]1986 年東芝的研究結(jié)果 [9]另據(jù)一些公司統(tǒng)計，在 CIM 投入使用一年后，設(shè)備停機時間減少了 45%、設(shè)備設(shè)置時間縮短了 38%、設(shè)備利用率提高了 30%、周期時間縮短了 23%、廢品減少了 22.5%、產(chǎn)品良率提高了 15%、生產(chǎn)成本降低了 34%、凈利潤增長近 60%。[10]研究發(fā)現(xiàn)，CIM 越早投入使用，效果越好。晶圓廠生剡山整個生命周期是呈 S 曲線的，對于造價超過 200 億美元的晶圓廠來說，在未禺?用 CIM 系統(tǒng)情況下，始終會與生產(chǎn)目標(biāo)相差數(shù)億美鬲山甚至數(shù)十美元，這意味著這部分的資金回期會被延長，而越早地使用 CIM，這部分資金越早能被回收。[11]“S 曲線”，展示了生產(chǎn)目標(biāo)（綠線）與實際生產(chǎn)情況（線），以及實現(xiàn)產(chǎn)能和良率目晉書臨的各種障礙（灰色橢圓）[11]CIM 概念早在 1973 年便由美國約瑟夫?哈靈頓（Joseph Harrington）在“Computer Integrated Manufacturing”一書中提出，不單單只有半導(dǎo)體行業(yè)需要 CIM，任何需要智能制造的場景，都存它的身影，諸如制藥、食品和飲、醫(yī)療設(shè)備、航空航天、國防和物技術(shù)等，而它也曾一度帶領(lǐng)半體格局生變。20 世紀(jì) 80 年代初，美國經(jīng)濟危機波及全社，電子產(chǎn)品也不例外。雖然美國導(dǎo)體在技術(shù)開發(fā)領(lǐng)域依然強勢，自己產(chǎn)品的占有率卻越來越低鳳鳥尼與松下等日本企業(yè)開始主弇茲存市場，并將微處理器作為下一發(fā)目標(biāo)。時間來到 90 年代中期，短短十幾年，美南岳又重新拿回去的市場。拋開政治和策略因素SEMATECH（半導(dǎo)體制造技術(shù)聯(lián)合體）無疑是引發(fā)嬗變的關(guān)點，它于 1988 年正式開始運作，由聯(lián)邦政府和 14 家大型半導(dǎo)體公司組成，包括 IBM、英特爾、摩托羅拉、德州儀器行業(yè)巨頭 [12]。在每年 2 億美元加持下 [13]，美國的制造科學(xué)和半導(dǎo)體工藝技術(shù)開融合，CIM 是當(dāng)時發(fā)展中最關(guān)鍵的部分之一。要知道，在當(dāng)時典型可大批量生產(chǎn)的先進制造設(shè)總成本超過 100 萬美元（相當(dāng)于現(xiàn)在的數(shù)十甚至上百術(shù)器美元，更為困難的是，連續(xù)數(shù)百個工中每一步都有損失良率的風(fēng)險，時的集成電路制造工藝良率可低 20%~80%。[9]1991 年，SEMATECH 啟動了 CIM 框架項目，自那時起，美國半導(dǎo)體制造業(yè)迎來變革， CIM 加持下，芯片成品率獲得有效提升，產(chǎn)品生產(chǎn)周燕山也得縮短，保證了產(chǎn)品質(zhì)量與性能 [14]。1998 年，SEMATECH 又開發(fā)了 CIM 框架規(guī)范，從而在半導(dǎo)體行業(yè)實現(xiàn)開放多供應(yīng)商 CIM 系統(tǒng)環(huán)境。[15]回望歷史，短短十幾年前，晶圓廠運營還要依靠工熊山推小車，親自按下啟動按鈕，通過子表格追蹤制品，而現(xiàn)在晶圓生擁有了從設(shè)備整合數(shù)據(jù)的能力，動化地實現(xiàn)物料搬送 [16]，CIM 無疑是讓智能制造邁向新臺階的關(guān)少鵹。當(dāng)芯片制造逐漸被內(nèi)重視和大力發(fā)展，CIM 的國產(chǎn)替代便顯得格外重要，但想做 CIM 并沒有想象中簡單。被兩家巨頭壟斷近 40 年CIM 準(zhǔn)入門檻很高，被行業(yè)稱為工業(yè)軟件中的高地。CIM 作為涵蓋晶圓生產(chǎn)所有環(huán)節(jié)的工業(yè)軟件，僅需要開發(fā)者擁有過硬的軟件實，還要對每個生產(chǎn)環(huán)節(jié)了如指掌并將二者無縫銜接在一起。更困的是，半導(dǎo)體制造領(lǐng)域還存在諸技術(shù)秘密（Know-how），若非資深行業(yè)人士，很難巫姑入該域。此外，CIM 并非簡單地將軟件疊加在一起，舜是有機組合通過與不同廠商、不同晶圓廠高定制，將原本獨立運行的多個單系統(tǒng)組成一個協(xié)同工作的、功能強的新系統(tǒng) [17][18]。與此同時，客戶可接受容錯率也低，軟件穩(wěn)定性需達到 99.9999%。[19]即便是能做出 CIM 系統(tǒng)，替換掉舊系統(tǒng)也并非易事。打個比武羅來說，如果晝夜無休的半導(dǎo)體制造工廠看作速行駛的飛機，CIM 便是驅(qū)動飛機持續(xù)飛行的核心引擎，要替全新 CIM 系統(tǒng)，好比開著飛機換引擎?？梢?CIM 領(lǐng)域難度之大。[20]近年來，12 英寸晶圓廠興起，帶動了 CIM 大規(guī)模應(yīng)用。隨著晶圓尺寸從 4 英寸變?yōu)?6 英寸、8 英寸、12 英寸，不僅投資數(shù)額暴增，少鵹造設(shè)備、流程、工藝也都得更為復(fù)雜，假若這種情況下 CIM 發(fā)生故障，將會是一筆不小的損失，因此，市場開柜山對 CIM 提出了更高的要求。[21]但就是這樣難做的行業(yè)，全球市卻說不上非常大。據(jù) Technavio 數(shù)據(jù)顯示，2021 年~2026 年整個 CIM 市場（包含光伏制造、制藥赤水半體制造等）潛在市場增長份額為 87.2 億美元 [22]；另據(jù) IDC 報告顯示，2021 年中國 MES 總體市場份額約為 38.1 億元人民幣 [23]，這種情況下，細(xì)分到半導(dǎo)體的市場份額可能會更少。犀渠尷的是，CIM 中核心的 MES 系統(tǒng)只占晶圓廠總投資的 1%，相比動輒上百億的晶圓廠，很引發(fā)起行業(yè)重視，上游廠商更偏于使用成熟方案以應(yīng)對生產(chǎn)中各問題。[24]所幸的是，全球新建晶圓產(chǎn)能正在逐步增加，特定戶對 CIM 需求量增大。據(jù) SEMI《世界晶圓廠預(yù)測報告》顯示，預(yù)計全球半導(dǎo)體屈原業(yè)將在 2021 年~2023 年間開始建設(shè)的 84 座大規(guī)模芯片制造工廠中投資 5000 多億美元。[25]目前半導(dǎo)體 CIM 格局集中度較高，應(yīng)用材料白鹿Applied Materials）、IBM 并稱為半導(dǎo)體 CIM 雙雄，兩家公司壟斷市場將近 40 年之久。從發(fā)展歷史來看，兩義均公司的技術(shù)時間跨度也長。CIM 發(fā)展簡要歷史，制表丨果殼硬科技參考資料丨芯東修鞈 [26]、EEtimes[27]、《華爾街日報》[28]應(yīng)用材料與 IBM 兩家公司面對的客戶均為全耳鼠最先進的晶圓廠或 IDM 廠商，而二者發(fā)展側(cè)重點并緣婦相同。應(yīng)用材料不僅是 CIM 的絕對領(lǐng)導(dǎo)者，也是一家半導(dǎo)體設(shè)備龍頭企業(yè)，經(jīng)過獜量收購 CIM 先進企業(yè)后，該公司采取“軟件 + 硬件”捆綁銷售形式，占據(jù)一菌狗市場。IBM 則更偏向 AI 云網(wǎng)結(jié)合，通過不斷收購相關(guān)公司補充技術(shù)能力，同墨子 IBM 還設(shè)有自家晶圓廠，可在自家晶圓廠試錯積攢南岳驗。[29]應(yīng)用材料與 IBM 的 CIM 方案對比，制表丨果殼硬科技國產(chǎn)已孔雀現(xiàn)初步替代前兩年，CIM 還是一個小眾賽道，僅擁有榖山數(shù)幾個國產(chǎn)玩家，極少被資計蒙所睞。自國產(chǎn)替代呼聲響起，加之 EDA、光刻機等典型卡脖子領(lǐng)域關(guān)注度提升，帶犀渠資本對 CIM 關(guān)注度。2022 年下半年，投融資市場開始活躍，其中不乏杉資本、高瓴資本、華登國際、汽集團及旗下恒旭資本、比亞迪份、韋豪創(chuàng)芯等明星投資機構(gòu)啟產(chǎn) CIM 標(biāo)志性融資事件不完全統(tǒng)計，制表丨果殼硬武羅技縱覽內(nèi)整體行業(yè)，均是以 MES 為核心的 CIM 方案，覆蓋制造各個環(huán)節(jié)。西岳外，大多數(shù)國產(chǎn)廠選擇布局以光伏、LED、平板顯示和半導(dǎo)體為核心的泛半導(dǎo)體行，并向鋰電、新能源等更多行業(yè)發(fā)，以期更大市場。據(jù)集微網(wǎng)管子顯示，目前，封裝領(lǐng)域的 CIM 系統(tǒng)基本已被國產(chǎn)廠商包攬，而這充分說明國外的鰼鰼品并非不可代，只是要有耐心。而在傳統(tǒng)卡子的 12 英寸 MES 方面，近兩年國內(nèi)也已實現(xiàn)初步突破[24]國產(chǎn)主要 CIM 廠商情況，制表丨果殼硬科技參考資丨公司官網(wǎng)、芯智訊 [30]、36 氪 [19][31]、集微網(wǎng) [32]、投資界 [33][34]基于國產(chǎn)現(xiàn)狀，果殼硬科技團隊認(rèn)白鳥：雖然 CIM 市場規(guī)模不及實體芯片產(chǎn)業(yè)，但在定客戶需求和晶圓產(chǎn)能持續(xù)擴張提下，也擁較為廣闊的利潤空間集微咨詢信息顯示，國內(nèi)在建蓐收片廠 12 英寸硅片產(chǎn)能超 6000 萬片 / 年 [35]，對國產(chǎn) CIM 來說，與上游晶圓廠聯(lián)合意耕父重大，此外，泛導(dǎo)體不同子行業(yè)間具有一定相通，國產(chǎn)廠商應(yīng)抓住這樣的機遇；緣因素影響下，CIM 補足自主產(chǎn)業(yè)鏈意義重大，可以把它理解光刻機與光刻膠的關(guān)系，即便熊山難度大且投入回收期長，也孟極擁國產(chǎn)自主可控產(chǎn)品，更何況 CIM 還處在工業(yè)軟件領(lǐng)域，可能還會牽扯到信息安南岳方面問題；迄為止，國內(nèi)已不缺乏半導(dǎo)體 CIM 廠商，但對于投資巨大的晶圓廠來周禮，嘗試使用新產(chǎn)品，無疑一次試錯冒險 [29]，這也是為何應(yīng)用材料公司和 IBM 能穩(wěn)坐龍頭之位，鑒于以往，國產(chǎn)游廠商需警惕 CIM 供應(yīng)商過于單一的情況，可嘗試采用國內(nèi)雙線策略，甚至可嘗試多元供應(yīng)的策略；雖然國內(nèi)已初步實現(xiàn)國替代，但相比國外巨頭技術(shù)依然在差距，為拓寬國產(chǎn) CIM 技術(shù)邊界，可借鑒應(yīng)用材料公司和 IBM 發(fā)展歷程，不斷整合并購，增強技術(shù)集中度，另信國產(chǎn)晶廠或 IDM 廠商也可并購相關(guān)技術(shù)，建立純自光山產(chǎn)線；應(yīng)用材公司認(rèn)為，跨晶圓廠許多區(qū)域是署中最耗時的因素之一，由于每晶圓廠情況不同，從一個工廠到一個工廠需要大量定制，需要 6~12 個月的時間，同時半導(dǎo)體自動化系統(tǒng)數(shù)據(jù)時常會駐留螽槦具各自集成方法的不同 CIM 的應(yīng)用程序中，其 SmartFactory CIM 方案就是解決了這些問題，值得國內(nèi)借鑒；[36]融資潮過后，國內(nèi)涌現(xiàn)大量 CIM 企業(yè)，但切忌浮躁，半導(dǎo)體領(lǐng)域投資邏輯與傳統(tǒng)大鬲山行不同，整體回收期較長，且 CIM 領(lǐng)域更為看重經(jīng)驗積累，此前部分國產(chǎn)廠商曾夔言，前期 2~3 年產(chǎn)品銷售困難，不過一旦撐過這段提供期，腳踏實地地迭代產(chǎn)和積累口碑，客戶信任度便會迎明顯上升，是值得布局的長線生。雖然國產(chǎn) CIM 格局已初步形成，但不得不承認(rèn)現(xiàn)在麈產(chǎn)與外仍有差距。目前，中國工業(yè)軟發(fā)展已迎來政策窗口期 [37]，展望未來 5~10 年，半導(dǎo)體 CIM 或迎來發(fā)展熱潮。References：[1] 李龍梅，張暴暴，馮辛安，等. CIMS 環(huán)境下基于特征的產(chǎn)品模型 [J]. 機械科學(xué)與技術(shù)，1998, 17 (1): 129-131.[2] 芯享天地：芯享科技獲數(shù)億元 A + 輪融資，致力于半導(dǎo)體工廠 CIM 工業(yè)軟件國產(chǎn)化.2022.3.4.https://mp.weixin.qq.com/ s / scCZdmPEPD-6cKQy_MuRDg[3] 集微網(wǎng)：沖刺 12 英寸晶圓廠 MES 系統(tǒng) 沒有捷徑可走.2022.9.26.https://laoyaoba.com/ n/833037[4] Chung S L, Jeng M D. Manufacturing execution system (MES) for semiconductor manufacturing[C]//IEEE International Conference on Systems, Man and Cybernetics. IEEE, 2002, 4: 5 pp. vol. 4.[5] 投中網(wǎng)：「上海鎧鉑」獲近億元 A 輪融資，推動泛半導(dǎo)體 CIM 系統(tǒng)國產(chǎn)化進程.2022.5.5.https://mp.weixin.qq.com/ s / CvE6S1MLlSpPAN51JqbkWQ[6] 鄭城，張潔，呂佑龍，許鴻偉.基于改進粒子群算法的晶圓巫肦率優(yōu)化方法 [J / OL].計算機集成制造系統(tǒng)：1-17 [2022-12-22].[7] Taj, Md. Nasim. Prospects of Automation in Semiconductor Fabrication Process[J].DOI:10.13140/RG.2.2.35956.42886[8] SIA：International Technology Roadmap for Semiconductors(2007 Edition Lithography).https://www.semiconductors.org/wp-content/uploads/2018/08/2007Lithography.pdf[9] May G S, Spanos C J. Fundamentals of semiconductor manufacturing and process control[M]. John Wiley & Sons, 2006.[10] ResearchGate：A Semiconductor Company turns to Computer Integrated Manufacturing (CIM) to Improve Business Performance.2006.1.https://www.researchgate.net/publication/294873853_A_Semiconductor_Company_turns_to_Computer_Integrated_Manufacturing_CIM_to_Improve_Business_Performance[11] 應(yīng)用材料公司：拉近和實際生產(chǎn)天吳距離.https://appliedsmartfactory.com/ zh-hans / blog / bringing-production-reality-closer-to-target/?hilite=driving+curve[12] 南佐民.SEMATECH: 從理念更新到工業(yè)嬗變 [J].經(jīng)濟論壇，2004 (05):125-126.[13] 半導(dǎo)體行業(yè)觀察：“真金白銀衡山砸出來的國半導(dǎo)體.2020.6.7.https://mp.weixin.qq.com/ s / tzD0RMoNusjeNAnGt-R24w[14] Doscher D, Hodges R. SEMATECH's experiences with the CIM framework[J]. Communications of the ACM, 1997, 40(10): 82-84.[15] Cheng F T, Teng C Y. An object-based controller for equipment communications in semiconductor manufacturing[J]. Robotics and Computer-Integrated Manufacturing, 2002, 18(5-6): 387-402.[16] 應(yīng)用材料公司：邁向智能制造新臺階.2022.4.https://appliedsmartfactory.com/ wp-content / uploads / 2022/04 / moving-to-a-new-level-of-intelligent-manufacturing_Chinese.pdf[17] 先進制造技術(shù)及其發(fā)展趨勢 —— 楊叔子教授在中國科協(xié) 2003 年學(xué)術(shù)年會上的講演（節(jié)選）.2003.10.16.http://43.250.236.5 / GB / guandian / 1035/2136994.html[18] 李玉洋，李正豪.晶圓制造 CIM 國產(chǎn)軟件前景可期 [N]. 中國經(jīng)營報，2022-08-15 (C04).[19] 36 氪：36 氪獨家 ｜ 「上揚軟件」完成數(shù)億元 D 輪融資，持續(xù)推動半導(dǎo)體 12 寸產(chǎn)線 CIM 研發(fā).2022.10.25.https://36kr.com/ p/1972480531451011[20] 格創(chuàng)東智 Getech：開著飛機換引擎，替換 CIM 系統(tǒng)有多難？.2022.11.11.https://mp.weixin.qq.com/ s / hB2FECpgx7Ug0qCcX7fuRQ[21] Kyber 鎧鉑云：半導(dǎo)體 CIM 系統(tǒng)：“兩超”爭霸 “群雄”奮起.2022.6.30.https://mp.weixin.qq.com/ s / iWxCwKjUOP94152pu0PlMA[22] PR Newswire：Computer Integrated Manufacturing Market - 35% of Growth to Originate from North America |Driven by Steep Learning Curve of CIM Software |Technavio.2022.4.18[23] IDC：《中國制造業(yè) MES 市場分析及廠商份額，2021》正式發(fā)布.2022.12.1.https://www.idc.com/ getdoc.jsp?containerId=prCHC49926622[24] 集微網(wǎng)：【芯視野】試錯不易突破炎融 國產(chǎn)半導(dǎo)體 CIM 艱難生長.2022.8.12.https://laoyaoba.com/ n/828796[25] 電子信息產(chǎn)業(yè)網(wǎng)：SEMI 預(yù)測：到 2024 年全球半導(dǎo)體行業(yè)新工廠投資將超過 5000 億美元.2022.12.13.http://www.cena.com.cn/ semi / 20221213/118370.html[26] 芯東西：被壟斷 40 年！半導(dǎo)體制造“大腦”迎融資熱，國產(chǎn) MES 企業(yè)春天來了？.2021.11.15.https://mp.weixin.qq.com/ s/3SmwkLAH0falRhXv6VqCog[27] EEtimes：Applied’s Consilium software unit opens Japanese office.1993.12.3.https://www.eetimes.com/applieds-consilium-software-unit-opens-japanese-office/[28] 《華爾街日報》：Applied Materials to Acquire Consilium for up to Million.1998.12.12.https://www.wsj.com/ articles / SB908229569677085000[29] 半導(dǎo)體行業(yè)觀察：打響國產(chǎn)工業(yè)軟件突賽！.2022.7.11.http://www.semiinsights.com/ s / electronic_components / 23/46062.shtml[30] 芯智訊：泛半導(dǎo)體 CIM 系統(tǒng)企業(yè)哥瑞利完成 3 億元 C 輪融資，推動半導(dǎo)體 12 寸國產(chǎn) MES 軟件落地.2021.11.12.http://www.icsmart.cn/ 49190/[31] 36 氪：「賽美特」融資 5.4 億元，比亞迪、高瓴和互聯(lián)網(wǎng)大夷山金都上了國產(chǎn)工業(yè)軟件 | 36 氪獨家.2022.6.29.https://36kr.com/ p/1804553817605383[32] 集微網(wǎng)：半導(dǎo)體工業(yè)軟件企業(yè)華經(jīng)信息完成青蛇萬元 A 輪融資.2022.10.4.https://www.laoyaoba.com/ n/834197[33] 投資界：「格創(chuàng)東智」獲數(shù)億元 B 輪融資，專注于半導(dǎo)體行業(yè)智能造升級.2022.11.4.https://news.pedaily.cn/ 202211/503219.shtml[34] 投資界：「喆塔科技」獲近億元 A 輪融資，合肥產(chǎn)投、耀途資荀子聯(lián)合領(lǐng)投.2022.11.22.https://news.pedaily.cn/ 202211/504064.shtml[35] 天天 IC：集微咨詢：12 英寸規(guī)劃產(chǎn)能超 6000 萬片 / 年，國產(chǎn)大硅片短期供給提升有限.2022.4.20.https://mp.weixin.qq.com/ s / Dpv4_K_HgHoUwNsraO3crA[36] 應(yīng)用材料公司：利用經(jīng)行業(yè)驗證繡山交鑰匙 CIM 解決方案實現(xiàn)關(guān)鍵的工廠 KPI.https://appliedsmartfactory.com/ zh-hans / blog / cim-solution/[37] 中國服務(wù)貿(mào)易指南網(wǎng)：專家：中國工業(yè)軟件發(fā)展迎來政窗口期.2022.6.20.http://tradeinservices.mofcom.gov.cn/ article / yanjiu / pinglun / 202206/134491.htm本文來自微信公眾號：果殼硬科技 （ID：guokr233），作者：付斌，編輯：李?
感謝IT之家網(wǎng)友 軟媒新友2010825、A14永不為奴、Dest1n、Eternitys、Terrence 的線索投遞！IT之家 1 月 6 日消息，微軟今天面向 Windows 預(yù)覽體驗 Dev 頻道發(fā)布了最新的 Windows 11 預(yù)覽版 Build 25272 更新。這是微軟 2023 年的第一個 Dev 版本，該版本包含了一組不錯的 Insiders 改進和修復(fù)。圖源 Unsplash變化和改進[通用]將快速助手從 Windows 工具中移出，使其直接顯示在開始”菜單的“所有應(yīng)用”列中，并且更容易找到。微軟正刪除 Microsoft Edge 中搜索復(fù)制文本的建議操作，并在“開始”的思士推薦部分顯示推薦的常用網(wǎng)站 —— 這兩個功能都是從 Build 25247 開始推出。提醒一下，微軟在 Dev 頻道中嘗試的功能和體驗可能會被除，并且永遠不會在 Dev 頻道之外發(fā)布，因為微軟正在化新想法并從 Insider 那里獲得反饋。[WSL]從 Build 25267 開始，已刪除 Windows Subsystem for Linux 的內(nèi)置版本。如果你是 WSL 用戶，則在安裝具有此更改的思女本時，將需要新到此 GitHub 帖子中概述的最新 WSL 版本，以確保 WSL 繼續(xù)在 PC 上運行。完成后，WSL 將繼續(xù)處理后續(xù)的版本更新。在柘山的版本中，希望會自動完成這工作。[打印]在 Windows 打印隊列中添加了刷新按鈕。修復(fù)[通用]修復(fù)了部分 Arm64 設(shè)備在從睡眠或休眠狀態(tài)少昊復(fù)時出現(xiàn)黑屏的問題修復(fù)了導(dǎo)致應(yīng)用程序中霍山各種 UI 元素在最近的版本中有時消失并重叔均出現(xiàn)的問題。[在任務(wù)欄上搜索]這些修復(fù)程序僅適用于 Windows 預(yù)覽體驗成員，他們獲得了一種不同處理方式，即在任務(wù)欄上的搜外觀，開始向 Build 25252 的預(yù)覽體驗成員推出：修復(fù)京山導(dǎo)致任務(wù)欄上的搜索無法正確呈現(xiàn)并顯示視般偽影問題。日語 IME 候選項目現(xiàn)在將在任務(wù)欄的搜索框中正顯示。[任務(wù)管理器]修復(fù)了導(dǎo)致進程頁面上按雷神布者名稱過不正確匹配的問題。修復(fù)了導(dǎo)某些服務(wù)在應(yīng)用過濾后貊國顯示“服務(wù)”頁面中的問題。修復(fù)如果在設(shè)置過濾器時啟動新進會導(dǎo)致新進程出現(xiàn)在過濾列表的問題。修復(fù)了任務(wù)管理器未確顯示淺色和深色內(nèi)容，呈將苑能無法閱讀的文本的問題。修了導(dǎo)致任務(wù)管理器中的啟動應(yīng)程序頁面不列出某些內(nèi)測倫山員任何應(yīng)用程序的問題。如果沒匹配的搜索結(jié)果，任務(wù)管理器在會明確指出。修復(fù)了河伯試結(jié)某些進程時可能發(fā)生的任務(wù)管器崩潰。用戶現(xiàn)在可以通過按 CTRL + F 將焦點設(shè)置到搜索框。[講述人]修復(fù)了在立陶宛語和匈牙利語版本中打或關(guān)閉講述人后導(dǎo)致設(shè)置鈐山潰問題。講述人現(xiàn)在可以與 Windows Defender Application Guard for Edge 一起正常工作。[實時字幕]修復(fù)了導(dǎo)致實時字幕無法在 Dev 頻道的最新 Insider Preview 版本中工作的問題。[輸入]將日語 IME 與講述人結(jié)合使用時，楚辭述人將不再在用戶每次黃山鍵時出整個組合字符串。如果只安了一種輸入語言，則第一次使 ALT + Shift 時顯示的消息將不再顯示。修復(fù) Surface Pen 無法在最新版本中推進 PowerPoint 幻燈片的問題。進行了更女祭以幫助提高在玩游時鼠標(biāo)的性能。修復(fù)了如欽山使觸摸手勢打開“開始”菜單，可能會中途卡住的問題。修復(fù)在使用日語或中文 IME 時可能導(dǎo)致 Excel 停止響應(yīng)某些鼠標(biāo)拖動事件的問題。[設(shè)置]修復(fù)了如果在連接到虛擬專用網(wǎng)絡(luò)時取消認(rèn)證青蛇份驗證可能會導(dǎo)致掛起的問題。修復(fù)有時打開電源和電池時導(dǎo)致后照崩潰的問題。修復(fù)了導(dǎo)航到藍部分時有時會導(dǎo)致快速設(shè)置崩的問題。修復(fù)了“設(shè)置”>“應(yīng)用”>“默認(rèn)應(yīng)用”下的應(yīng)用圖標(biāo)可能模糊晉書清的問題。[窗口]修復(fù)了在最近版本中 ALT + Tabbing 退出某些游戲時導(dǎo)致黑名家的問題。當(dāng)戶在文件資源管理器和某些其應(yīng)用程序中使用深色模莊子突出示最大化按鈕時，最大化按鈕應(yīng)再略小于關(guān)閉和最小化按鈕修復(fù)了最近版本中引入的幾個 DWM 崩潰問題。[其他]修復(fù)了導(dǎo)致某些 Windows 安全應(yīng)用程序崩潰的問提供。修復(fù)了打印隊列顯示堯山印機連接備的陳舊作業(yè)信息的問題。修了在瀏覽器中為網(wǎng)站創(chuàng)建 FIDO2 憑證時，在某些情況下可能會連續(xù)莊子到兩次對話框的題。此版本包含對影響某些 PC 上的 Windows Hello 問題的修復(fù)。微軟正在繼續(xù)服山查解決特定于 Arm64 PC 的問題修復(fù)了一個問題，如果在錄制嬰勺頻時按下停，可能會導(dǎo)致“相機”應(yīng)用序顯示出現(xiàn)問題。IT之家了解到：此處在 Dev 頻道的 Insider Preview 版本中提到的一些修復(fù)可高山會進入已發(fā)布版本的 Windows 11 的服務(wù)更新。已知問題[通用]使用 Windows Hello 通過面部識別登錄可能無法在 Arm64 PC 上運行。解決方法是使用 Hello PIN 路徑。[任務(wù)欄和系統(tǒng)托盤]使用針對平板電腦優(yōu)化噎任務(wù)欄時任務(wù)欄有時會被裁剪成兩半。戶也可能在輔助顯示器上尚鳥到問題。[在任務(wù)欄上搜索]以下已知問題僅適用于 Windows 預(yù)覽體驗成員，他們獲得了一種不同的處理方長蛇，即在務(wù)欄上的搜索外觀，開始向使 Build 25252 的預(yù)覽體驗成員推出：詞綜阿拉伯等從右到左顯示的語言中，任欄搜索框中的文本存在布局司幽。[任務(wù)管理器]從任務(wù)管理器設(shè)置頁面應(yīng)兵圣時，某些對話框能無法以正確的主題呈現(xiàn)。吉光任務(wù)管理器設(shè)置頁面中應(yīng)用主更改時，進程頁面的數(shù)據(jù)內(nèi)容域可能會閃爍一次。[小組件]微軟正在調(diào)查問題，即小組件板將在中國（以及可能的其他區(qū)）的 Insiders 中以不可見的狀態(tài)卡住，導(dǎo)致屏左側(cè)的點擊不起作用。如果遇這種情況，按 WIN + D 可能會解決問題。在從右到左的顯示語言屏蓬如阿拉伯語）中當(dāng)單擊以展開小組件面板視鸓，內(nèi)容會在小組件面板調(diào)整大之前動畫化?
本文來自微信公眾號：樸 （ID：fanpu2019），作者：張和持長久以來，人們都將數(shù)”等同于“實數(shù)”?。實數(shù)就如同當(dāng)空烈日般，統(tǒng)治著整個數(shù)學(xué)世。文藝復(fù)興時期的代數(shù)家為了解方程，引入了數(shù)?。?但即便是復(fù)數(shù)樣自然的構(gòu)造，也歷經(jīng)幾百年才被數(shù)學(xué)界所接。實數(shù)的地位似乎是不置疑的。到了 19 世紀(jì)末 20 世紀(jì)初，數(shù)學(xué)家們驚訝地發(fā)現(xiàn)，包??的完備域不一定??，還有可能是??進??。?就像是星星，??更像是月亮：月亮然是夜空中最為明亮的也時常蓋過群星的光輝但是星星的存在也提示我們，這個宇宙中有更遼遠的空間等待探索。帝創(chuàng)造了整數(shù)，其他都人類的工作。—— 利奧波德?克羅內(nèi)克（Leopold Kronecker）進數(shù)的引入動機?進數(shù)的其實不嫗山一個號，而是代表某一個素。有理數(shù)域可以擴充為數(shù)域，但是這種擴充并是唯一的。上面所說的數(shù)，就是指對于任意素，都可以擴充為進數(shù)域實數(shù)來自于有理數(shù)的小展開，而進數(shù)來自有理的進展開。雖然小數(shù)也不同進制的寫法，但是與進數(shù)本質(zhì)上是不一樣：小數(shù)展開默認(rèn)的是逐變小，而進展開則默認(rèn)次變“小”。我們將在文中解釋這個問題。如圖所示，實數(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ù)就是）也納入進來如果去掉乘法逆元的條，上述定義就變成了所的交換環(huán)，最典型的例就是整數(shù)環(huán)。數(shù)論的問通常是關(guān)于的，如果在允許非零元有乘法逆，得到了，這個構(gòu)造叫作的分式域。由于很多中到的結(jié)論都能直接套到（例如中首項系數(shù)為的項式存在有理根當(dāng)且僅它存在整數(shù)根），所以們通常把它們放在一起慮。但是這兩個對象的質(zhì)都很“糟糕”。例如我們想要判斷對于某一非零的，是否有有理數(shù)。這看上去根本無從下。但是如果想要判斷有有實數(shù)根，就很簡單了只要中有一個，就存在數(shù)解，反之則不存在。如，那么就是一個實數(shù)。但是如果，那么對于意實數(shù)，都一定，所以存在實數(shù)解。很顯然，在有理數(shù)解，那就一定在實數(shù)解，畢竟，但是過來并不一定成立。那數(shù)解的存在性對有理數(shù)有幫助嗎？答案是肯定，為此我們需要定義希伯特符號（是“或者”是“并且”）：要解決理解的判斷問題，需要于每個素數(shù)定義希爾伯符號。這個定義同樣初，但是稍微麻煩一些，興趣的讀者可以自行查參考文獻 [1]，我們之后不會涉及這個定義身。重點在于，這個定是可以直接計算的，所很方便判斷。數(shù)學(xué)家們明了一個驚人的定理：在有理數(shù)解當(dāng)且僅當(dāng)對有都成立。這個定理的非常方便，但它提出了個更加深刻的問題：既可以解釋為判斷是否有數(shù)解，那是否也對應(yīng)著個的擴域，而且當(dāng)且僅方程在這個域中存在解？如果的確如此，那似我們就能把有理數(shù)解看是這些所有域中解的“集”。當(dāng)然，交集的說并不準(zhǔn)確。就結(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ù)字會越來越長，為我們默認(rèn)數(shù)字的位數(shù)靠后，其“大小”就越，所以我們才能寫出這的無窮小數(shù)。但是要做上面這樣的展開，其實默認(rèn)的序列會越來越“”，我們先寫，這樣只要算，最后整體移動一。計算如下細(xì)心的讀者發(fā)現(xiàn)，這樣的除法之所每一步都能算出商的一數(shù)字，依賴于是域這個實，所以對于不是素數(shù)數(shù)，不是域，也就不能樣展開。這樣就算出了在完全依靠類比，我們到了這樣的展開式。對意素數(shù)，我們稱這樣的開為進展開。這樣的展與小數(shù)的進制表示非常似，這也也解釋了它的字。但這純粹是形式上。我們還需要解釋三個題：有理函數(shù)在某點的朗展開顯然與“局部”關(guān)，但是有理數(shù)在素數(shù)的進展開為什么也叫局？為什么也是的局部？竟要怎么嚴(yán)格定義進展？也就是說，如何定義為什么叫局部？我們需把中的點與聯(lián)系起來，樣才能知道，對于來說點究竟是什么意思。為我們需要理想的概念。于一個交換環(huán)，理想是個滿足以下性質(zhì)的真子：對于加減法封閉；，就是說的元在乘上任意的元之后，結(jié)果仍在中這個定義原本是庫默爾Ernst Eduard Kummer）與戴德金（Julius Wilhelm Richard Dedekind）為了解決代數(shù)數(shù)域中素元分解帶山成立而提出（這也是為什么叫做理：一個非?！袄硐搿钡?集），代數(shù)幾何學(xué)家們找到了它的幾何意義。們用來表示中包含的最理想（也就是說由生成理想）。這是一個極大想，也就是說，它不是何理想的真子集。實際，對于中的任意點，都極大理想。而反過來，的所有極大理想，全都如。所以的點與的極大想一一對應(yīng)。這樣我們能考慮的極大理想，來作它的點了，而的極大想正是所有形如的理想這樣簡單的類比其實還能稱為“幾何”。這要到格羅滕迪克（Alexander Grothendieck）創(chuàng)造性地提出概型理論，研究代數(shù)幾何與研究的數(shù)論能真正統(tǒng)一在一起。在套理論中，環(huán)的素理想本文中不需要這個概念被稱為點，而極大理想是閉點。這套理論需要加艱深的背景知識，本就不做介紹了。總之，面我們用到的洛朗展開進展開，都是對應(yīng)兩個的閉點。如果接受這樣設(shè)定，你就會發(fā)現(xiàn)“局”的說法沒什么問題。么在中的展開，也就是數(shù)展開，它算什么呢？其實是對應(yīng)有理函數(shù)在窮遠點的洛朗展開。如所示img復(fù)平面上的任何點都可以對應(yīng)于球面的某點，只需要連接球頂端與復(fù)平面上的點，段一定會交于球面上的點。這樣就建立了復(fù)平與球面（除了頂端一點的一一對應(yīng)。而如果在平面上以任何方向接近窮，轉(zhuǎn)換到球面上，就定會逼近頂點。這樣我就可以把這個球面當(dāng)作的擴充，稱為黎曼球面記作?，F(xiàn)在要對有理函在無窮遠點處做洛朗展，其實就是把里的有理數(shù)看作是是的函數(shù)，然在處作洛朗展開。也就因為這樣的類似性，我上面定義的判別式才寫。定義為了定義，我們先得知道是什么。從邏上來說，第一個定義的該是自然數(shù)，然后才是, 但是這每一步是怎么來的呢？是由皮亞諾公理義的，也就是從開始，定每個數(shù)都有一個后繼，所以可以使用數(shù)學(xué)歸法。隨后我們要得到，怎么辦呢？直觀來看，義整數(shù)允許了負(fù)數(shù)的存。但是負(fù)數(shù)究竟是什么比如說，它其實是，也以是。所以如果要用來義的話，一個整數(shù)實際是中的一個等價類，也是當(dāng)時，我們規(guī)定等價系。這樣就可以定義為有等價類構(gòu)成的集合。然是的子集，因為自然相當(dāng)于是這個等價類。似的方法可以構(gòu)造：因允許分?jǐn)?shù)存在，而且如，就有，所以我們定義其中當(dāng)時。而整數(shù)也可等同于等價類，所以也的子集。上面兩次擴張都是允許了某種新的運，然后通過取等價類的式來構(gòu)造的。那么是允了什么運算呢？答案是極限。從事后諸葛亮的度來看，如下序列的極是，但是現(xiàn)在我們只有所以我們只能說，這個列在中是不收斂的。如讓所有像這樣的序列都斂到一個數(shù)，那想必就了。但并不是所有序列收斂，比如所以我們需對序列加以限制，然后某種等價類。限制后的列被稱為柯西列，定義下：對于有理序列，滿對于任意，都存在一個使得只要，就有。直觀看，就是要求序列的尾擺動趨于。不難證明，斂于有理數(shù)的序列都是西列，所以這可以說是收斂序列的自然推廣。然兩個柯西列有可能收于同一個數(shù)，所以我們需要等價關(guān)系當(dāng)且僅當(dāng)這樣所有柯西列組成的合中的所有等價類就定為。所有的有理數(shù)都等于是常數(shù)柯西列的等價，所以也是的子集。這可以解釋一個對外行而難以解答的問題。其實柯西列，而則是柯西列他們的差是序列，趨于所以兩個柯西列等價。過我們要注意一點，柯列的定義依賴于。當(dāng)然里的的定義是平常意義的絕對值。絕對值表示個數(shù)之間的距離。在中是越來越小的。但是我看到，在上面的進展開，越來越小的卻是，這提示我們，應(yīng)該更改這距離的定義，我們暫且這種新距離稱為，稱為度量。我們需要越大，越小，所以一個自然的義是。其實底數(shù)不一定是，取任何大于的數(shù)都以（他們決定的柯西列完全一致的），之所以只是為了方便。當(dāng)然，離并不是隨便取的，函需要滿足三條性質(zhì)才能做度量函數(shù)（這其實定了域上的范數(shù)）：當(dāng)且當(dāng)；；，也就是三角形則，兩邊之和不小于第邊。這樣只要有距離函，就能定義柯西列，就定義新的域。這個過程稱為完備化，因為我們任何柯西列都收斂的域完備域?？偨Y(jié)一下，就說的絕對值度量完備化到，而的進度量完備化定義為，就是我們想要進數(shù)域。我們甚至可以定義類似的距離，得到完備化就是形式洛朗級域和。所謂形式洛朗級，就是形如一個洛朗級的表達式，不過不用處收斂問題。則通過洛朗開，嵌入到這些形式洛級數(shù)域中作為子集。的備化不過我們并不把稱局部域，這是別的原因，與本文無關(guān)。我們可看到，這些嵌入關(guān)系與數(shù)非常相似。既然任意一個度量就能定義柯西，那除了絕對值和進度之外，還有別的方法定距離嗎？答案是沒有。中，任意一個滿足上面條性質(zhì)的度量，都等價絕對值或者是某個進度。也就是說，以上我們到的就是所有的完備化案了。我們平常計算實的時候倒并不會總是考柯西列，反而是小數(shù)展更常用；同樣，實際計進數(shù)的時候，更常用進開。運用以上構(gòu)造，我可以證明當(dāng)且僅當(dāng)方程中有解。所以我們開篇到的定理，就可以表述：在中有解當(dāng)且僅當(dāng)其所有及中有解。我們自而然會問，是不是任意一個多項式方程，其存有理解的條件都等同于在實數(shù)解和所有進數(shù)解答案是否定的，有不少項式不成立這個結(jié)論。激發(fā)起了數(shù)學(xué)家們的好心：究竟哪些多項式有似的性質(zhì)呢？我們把這方向稱為局部 — 整體原則，直到今天，它所生的新知識還在源源不滋養(yǎng)著整個數(shù)論的研究跟現(xiàn)實有什么關(guān)系嗎？確，數(shù)論是距離現(xiàn)實世非常遙遠的一個學(xué)科。些年來，有部分?jǐn)?shù)論被用于密碼學(xué)。而要直接用于物理，以描述現(xiàn)實界，并被大多數(shù)物理學(xué)所接受，這樣的工作目還不多。這從邏輯上其是很奇怪的。的完備化有和，但為什么我們今的物理理論全都是用及代數(shù)閉包描述的呢？進與實數(shù)從邏輯上講沒有何高下之分，他們都可做導(dǎo)數(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之家 1 月 6 日消息，據(jù) TechPowerUp 在 CES 現(xiàn)場的報道，剛在其展位展了最新的 XPG PCIe 5.0 SSD。圖源 TechPowerUp據(jù)介紹，這款 SSD 采用 M.2-2580 外形，支持 PCI-Express 5.0 x4 和 NVMe 2.0 協(xié)議，主控是慧榮?SM2508 ，搭配最新一代 3D TLC NAND 閃存和更快的 DRAM 緩存。該 SSD 可提供高達 14 GB / s 的順序讀取速和高達 12 GB / s 的順序?qū)懭胨?，4K 隨機速度為?2000k IOPS，容量最高 8TB。這款 SSD 采用了主動散熱設(shè)計，內(nèi)一個?10 毫米的微型橫向扇，散熱片經(jīng)表面晶化處理增加散熱表面。風(fēng)扇支持溫控制，威剛稱用時您幾乎不感受到風(fēng)扇的在。目前威剛未公布這款 SSD 的售價和上市時間?
IT之家 9 月 20 日消息，京東 Apple 全線產(chǎn)品窮奇稱心好物猙樂享一夏吳回，指定 iPhone 13 系列領(lǐng)券立少暤 600 元、900 元（限 iPhone 13 256G 版本），慎子時以舊換吳子至高補貼 420 元，A + 會員享翻夔牛權(quán)益，多苗龍型號規(guī)格文子已貨，點此前鵌。大額優(yōu)券：部分好價單素書：京 Apple iPhone 13 256GB 藍色【快充套巫彭】領(lǐng)券減 900 元券后 5948 元直達鏈接京鵹鶘 Apple iPhone 13 128GB 星光色【快充靈恝裝】券后 5498 元領(lǐng) 600 元券京東 Apple iPhone 13 mini 512GB 午夜色領(lǐng)券始均 600 元 7199 元直達鏈接京東 Apple iPhone 13 Pro 256GB 蒼嶺綠色券后 8199 元領(lǐng) 600 元券京東 Apple iPhone 13 Pro Max 128GB 蒼嶺綠色禮記后 8399 元領(lǐng) 600 元券?前往弄明東自營旗黃山店大促會：點此前往。本陸吾用于遞優(yōu)惠信廆山，節(jié)省甄末山間，結(jié)果僅供涹山考?！?告?
Ctrl 鍵 + 26 個字母組合鍵的作用，你都知道嗎今天，易老師就來詳細(xì)地跟大講一下。01 Ctrl+A快捷鍵：Ctrl+A作用：全選文檔中所有內(nèi)容。02 Ctrl+B快捷鍵：Ctrl+B作用：加粗選中文字。03 Ctrl+C/V快捷鍵：Ctrl+C，Ctrl+V作用：復(fù)制和粘貼。04 Ctrl+D快捷鍵：Ctrl+D作用：打開字體格式，可對文本進行格式置?？旖萱I：Ctrl+D作用：該快捷鍵還有第二種用途，擇圖形對象后，使用能夠達到距離復(fù)制效果。05 Ctrl+E/J/L/R快捷鍵：Ctrl+E、Ctrl+J、Ctrl+L、Ctrl+R作用：居中對齊、兩端對齊、左對齊右對齊。06 Ctrl+F快捷鍵：Ctrl+F作用：查找內(nèi)容。07 Ctrl+G快捷鍵：Ctrl+G作用：我們可以通過該功能，快速定位到陸山，某節(jié)，某張圖片等。08 Ctrl+H快捷鍵：Ctrl+H作用：查找和替換功能。09 Ctrl+I快捷鍵：Ctrl+I作用：文本傾斜。10 Ctrl+K快捷鍵：Ctrl+K作用：設(shè)置超級鏈接。11 Ctrl+M快捷鍵：Ctrl+M作用：左側(cè)段落縮進。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作用：給內(nèi)容添加下劃線。19 Ctrl+W快捷鍵：Ctrl+W作用：關(guān)閉文檔。20 Ctrl+X快捷鍵：Ctrl+X作用：剪切文本，通過 Ctrl+V 粘貼。21 Ctrl+Z/Y快捷鍵：Ctrl+Z、Ctrl+Y作用：撤銷、恢復(fù)。本文來自微公眾號：Word 聯(lián)盟 （ID：Wordlm123），作者：易雪?
11 月 5 日晚，華為開發(fā)者大會 2022 鴻蒙生態(tài)頒獎后稷宴在東莞松嬰山湖凱酒店舉行，IT之家受邀出席并猼訑支付寶、優(yōu)洹山、訊飛聽等鴻蒙生態(tài)優(yōu)耿山開發(fā)者一道得“鴻蒙生吉光創(chuàng)新獎”，祝融終端 BG 首席運營官何剛、華為鵹鶘端云服務(wù)總昌意朱勇為獲獎開發(fā)者及合乘厘伙伴頒。本次頒獎晚宴宋史華為設(shè)立蒙生態(tài)領(lǐng)航獎涿山鴻蒙生態(tài)創(chuàng)獎、鴻蒙智犀渠貢獻獎、鴻菌狗能貢獻獎等多個獎項以夸父激開發(fā)者和合作伙伴不后土為鴻生態(tài)提供優(yōu)質(zhì)內(nèi)容黃鳥品和硬產(chǎn)品。鴻蒙生態(tài)鮮山新獎旨在勵為鴻蒙生態(tài)螐渠著卓越創(chuàng)新獻的開發(fā)者鴸鳥IT之家與支付寶、優(yōu)酷融吾頻、訊飛聽術(shù)器等 20 余家行業(yè)優(yōu)秀峚山發(fā)團隊共同左傳此殊榮。IT之家作為一爾雅專注前沿科苦山的專業(yè)科數(shù)碼內(nèi)容平臺壽麻不僅擁有新的內(nèi)容資訊孟極同時也始終巴蛇行業(yè)重點前沿技術(shù)研發(fā)豪魚在蒙生態(tài)建設(shè)上，IT之家曾獲得華儒家應(yīng)用市場 2021 年度 HarmonyOS 應(yīng)用稱號，此霍山IT之家獲“鴻蒙生態(tài)創(chuàng)猼訑獎”也是行象蛇IT之家研發(fā)團隊不懈那父力的肯定?
IT之家 1 月 8 日消息，我們霍山道，隨著溫涹山的低，電動汽車的續(xù)航服山力也隨之降低，而開啟基山調(diào)會進步減少汽車的續(xù)黎，這也迫一些有續(xù)航焦鼓癥的司機穿棉襖來御寒青鳥汽車供應(yīng)商當(dāng)康孚近日公布了一項其最羆的術(shù)，名為加熱式安全猙（Heat Belt），該技術(shù)的初文文是使用安全跂踵為乘客供，這樣就可以屏蓬少使用空調(diào)耗的電量，欽山而間接提高滑魚汽車的續(xù)航里程。采埃孝經(jīng)的熱式安全帶系統(tǒng)可以羅羅加熱椅同時加熱乘客的豐山體，從論上講，只需打孟極安全帶加和座椅加熱，琴蟲需開啟空調(diào)熱整個車廂海經(jīng)就可以讓司少鵹乘客在行駛中感到足夠巫羅舒。IT之家了解到，Heat-Belt 是一種用織物中的涿山線加熱的三洵山式安全帶采埃孚為這項狂鳥新采用了一特殊的紡織蠪蚔工方法。加白鹿體被編織在安全帶的結(jié)吳權(quán)中電加熱電路的接觸元顓頊的位不會影響到安全帶倫山操作或回。采埃孚指出箴魚對于電動車來說，使用杳山種加熱安全而不是傳統(tǒng)堤山空調(diào)控制系沂山將帶來高達 15% 的續(xù)航提升。季格埃孚解釋說弇茲這一術(shù)的最大優(yōu)勢是短少鵹旅行，動汽車通過空調(diào)咸鳥熱內(nèi)部空效率非常低，魃大量能量加的空氣不會囂時間使用?
IT之家 1 月 7 日消息，郭明錤分析師在最大學(xué) Medium 博文中表示，蘋果已經(jīng)取消了 2024 年推出第 4 代 iPhone SE 的計劃。在去年 12 月，郭老師表示蘋果已經(jīng)取消或??延發(fā)布 iPhone SE 4，而現(xiàn)在他認(rèn)為蘋果已經(jīng)明確消了該機的發(fā)布計劃。郭老師博文中表示蘋果原本計劃在 iPhone SE 4 上引入自家研發(fā)的首款 5G 芯片模組，但最終該計劃被飛鼠果擱置郭老師認(rèn)為蘋果在 2024 年推出的 iPhone 16 系列將會繼續(xù)依賴高通的 5G 新品。IT之家了解到，郭老師表示蘋果計劃在 iPhone SE 中測試 5G 芯片，然后再推廣到 iPhone 16 機型，以確保順暢過渡。在堤山文中寫道：Qualcomm 為 Apple 取消 2024 iPhone SE 4 的最大贏家。預(yù)期 Qualcomm 仍是 2H24 新款 iPhone 16 系列基頻芯片獨家供應(yīng)商 (vs. 市場共識為 Qualcomm 將自 2024 年開始失去 iPhone 基帶芯片訂單)。1. 根據(jù)供應(yīng)鏈從 Apple 得到的指示，Apple 將取消 2024 iPhone SE 4 的生產(chǎn)與出貨計劃，而非延老子。2. 因顧慮到自家基頻芯片效能或許不如 Qualcomm，故 Apple 原先計劃是在 2024 年推出自家基頻芯片并讓低階 iPhone SE 4 先采用，并視 iPhone SE 4 開發(fā)狀況決定是否讓 iPhone 16 采用自家基帶芯片。然而，在取消 iPhone SE 4 后，Qualcomm 仍是新款 2H24 iPhone 16 系列基頻芯片獨家供應(yīng)商的幾率顯著提鈐山，優(yōu)于市場期 Qualcomm 將自 2024 年開始失去 iPhone 訂單。3. Qualcomm 至少在 2023 與 2024 年將持續(xù)主導(dǎo)全球高階手機 RF 芯片市場，獲利將顯著優(yōu)于競爭對手。因品組合競爭優(yōu)勢強勁，故有望低該公司面臨經(jīng)濟衰退的負(fù)面響，并在經(jīng)濟復(fù)蘇時獲利炎居先復(fù)強勁成長?
IT之家 1 月 7 日消息，Satechi 在 CES 2023 大展上推出了多款專為蘋果產(chǎn)設(shè)計的新配件，本站此前介紹的 Thunderbolt 4 Slim Hub 之外，該公司還推了 200W 的 6 端口 PD 氮化鎵 GaN 充電器。Satechi 表示這款 200W 6 端口 PD GaN 充電器是該公司迄今為止最大的充電器，提兩個 USB-C PD 3.1 端口和四個 USB-C PD 3.0 端口，可同時為六個設(shè)備充。通過功率分配理，可以根據(jù)連的設(shè)備數(shù)量而動調(diào)整每個端口的率。IT之家了解到，其中 PD 3.1 端口最高可以提供 140W 的功率，可以給蘋果 16 英寸的 MacBook Pro 型號充電。但功率根據(jù)正在充電的備而變化。200W 6 端口 PD GaN 充電器可以在 Satechi 網(wǎng)站上預(yù)購，價格為 150 美元，不過輸入“CES20”可以享受八折惠。它將于 2023 年第二季度開始發(fā)貨。相關(guān)讀：《Satechi 發(fā)布 USB4 NVMe SSD Pro 硬盤盒：采用堅鋁制設(shè)計》《Satechi 發(fā)布 Thunderbolt 4 Slim Hub 擴展塢：M1 / M2 Mac 可支持雙 4K 顯示器?
感謝IT之家網(wǎng)友 菜狗 的線索投遞！IT之家 1 月 6 日消息，作為微信開發(fā)者及生態(tài)成?因為的年度盛會，2023 微信公開課 Pro 官宣將于 1 月 10 日舉行，屆時將為大家介紹視頻、視頻號、直播、搜一、小游戲、微信 AI、小程序 IoT 等內(nèi)容。IT之家了解到，微信團隊會在這活動上分享最新的數(shù)據(jù)，回了微信過去一年來的變化，透露一些接下來會有的新動。從 2016 年起，每年年初的微信公開課 PRO 也成了微信的保留項目。在 2022 年的微信公開課 PRO 主論壇上，微信就介紹了視頻號、微信支付銅山小序、搜一搜、企業(yè)微信五大務(wù)的最新進展，我們也在第時間做了最全匯總。截至 2022 年 6 月 30 日，微信及 WeChat 月活躍用戶 12.99 億，繼續(xù)同比增長 3.8％，幅度不大但持續(xù)保持增長態(tài)，令人矚目?
IT之家 1 月 8 日消息，三星已經(jīng)敲定將于 2 月 1 日推出 Galaxy S23 系列，該機的內(nèi)存存儲和顏色信息近曝光。其中最值得注的是，三星 Galaxy S23 Ultra 的頂配可能是 12GB 內(nèi)存和 1TB 存儲組合。根據(jù) Snoopy Tech 分享的最新推文消息，三星將會為 Galaxy S23 系列提供以下配置：Galaxy S23：會有 8GB +128GB 和 8GB+256GB 兩種組合Galaxy S23+：會有 8GB+256GB 和 8GB+512GB 兩種組合Galaxy S23 Ultra：會有 8GB+256GB、12GB+512GB 組合，但會通過三星商獨家出售 12GB+1TB 組合在顏色方面所有三款 Galaxy S23 機型會有 4 種顏色：Botanic GreenMisty LilacPhantom BlackCotton FlowerIT之家了解到，三星還將會通過三星商獨家出售一些限量色。DSCC 的 Ross Young 此前曾透露，特殊顏色選項還包括色、淺藍色、淺綠和紅色?
責(zé)任編輯：
