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