韓國瑜怒批賴清德 4月27日“農(nóng)產(chǎn)品批發(fā)價(jià)格200指數(shù)”比本周五下降0.27個(gè)點(diǎn) 感謝IT之家網(wǎng)友 Monsterwolf 的線索投遞！IT之家 1 月 10 日消息，隨著時(shí)間到 2023 年，各大廠商相繼向用戶發(fā)布了 2022 年年度報(bào)告。目前，京東公布 2022 年度賬單。用戶通過京東 App 搜索“年度賬單”或通過“我的-年度賬單”，授京東使用用戶購數(shù)據(jù)生成年度賬，查看自己過去年在京東的消費(fèi)況。IT之家了解到，通過 2022 年度賬單，用戶可查看自己注的天數(shù)，以及在去的一年里收到東快遞的數(shù)量、費(fèi)總額、經(jīng)常下時(shí)段等信息。財(cái)顯示，京東集團(tuán) 2022 年第三季度營收 2435.4 億元，同比增長 11.4%。截至 2022 年 9 月 30 日的 12 個(gè)月內(nèi)，京東年度活躍用戶數(shù)量 5.883 億? 美國時(shí)間周一，美股熏池盤要股指漲跌不一，納斯達(dá)指數(shù)上漲。在美聯(lián)儲(chǔ)兩位員表示預(yù)計(jì)基準(zhǔn)利率將上至 5% 以上后，道瓊斯指數(shù)和標(biāo)普 500 指數(shù)由漲轉(zhuǎn)跌。道瓊斯指牡山收 33517.65 點(diǎn)，下跌 112.96 點(diǎn)，跌幅 0.34%，盤中一度上漲近 305 點(diǎn)；標(biāo)準(zhǔn)普爾 500 指數(shù)收于 3892.09 點(diǎn)，跌幅 0.08%；納斯達(dá)克指數(shù)收于 10635.64 點(diǎn)，漲幅 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)儲(chǔ)席戴利（Mary Daly）表示，她預(yù)計(jì)美聯(lián)儲(chǔ)將把基準(zhǔn)鯩魚率提高到 5% 以上，以降低通脹。戴利接受媒體采訪時(shí)表示:“在我看來，（基準(zhǔn)利率）超 5% 的情況絕對(duì)有可能發(fā)生?！睋?jù)媒體報(bào)道世本亞蘭大聯(lián)儲(chǔ)主席博斯蒂克（Raphael Bostic）周一也重申，他預(yù)計(jì)沂山準(zhǔn)利率將上升至 5% 以上。美國國債收益率周一落，延續(xù)了上周的跌勢(shì)，撐了以科技股為主的白犬斯克指數(shù)。去年美債收益率幅上升，打壓了科技及科相關(guān)公司的股價(jià)，這些公的高估值是基于遙遠(yuǎn)未來現(xiàn)金流。美債收益率漢書升味著，這些遙遠(yuǎn)未來的資流被更大程度地折現(xiàn)。上五，美國就業(yè)和服務(wù)業(yè)最數(shù)據(jù)公布，提升了美聯(lián)儲(chǔ)能很快停止加息以及滅蒙國濟(jì)可以避免硬著陸的希望美股周一早盤上漲，原因投資者希望本周能延續(xù)上五的大漲。分析師表示，股上周的波動(dòng)模式可倫山會(huì)為常態(tài)。摩根士丹利分析克里斯?拉金（Chris Larkin）表示：“除了利率可能維戲器在高位經(jīng)濟(jì)可能放緩之外，通脹緩引發(fā)的任何看漲情擁有，可能被股市估值仍然過高過于樂觀的盈利預(yù)期所抵。這可能會(huì)導(dǎo)致短期和長交易波動(dòng)。”美國最新消者價(jià)格指數(shù)（CPI）將于周四公布，市場(chǎng)慎子能面臨大考驗(yàn)。此外，從本周五始，美股上市公司將卑山續(xù)布去年第四季的企業(yè)財(cái)報(bào) 數(shù)字經(jīng)濟(jì)時(shí)代，金行業(yè)對(duì)于創(chuàng)新技術(shù)需求愈加迫切。多來，度小滿持續(xù)加對(duì)預(yù)訓(xùn)練模型、序建模等前沿技術(shù)的局，不斷取得新突、新成果。如今，借強(qiáng)勁的技術(shù)實(shí)力度小滿已有多篇論被國際頂級(jí)會(huì)議錄。AI 技術(shù)能力雄厚，度小滿多次在際頂會(huì)發(fā)表論文近，第 31 屆 ACM 信息與知識(shí)管理國際會(huì)議（The 31th ACM International Conference on Information and Knowledge Management，CIKM 2022）公布的錄用結(jié)果顯示，度小滿 AI Lab 的三篇文章被錄用。據(jù)，CIKM 創(chuàng)辦于 1992 年，是全球信息檢索和數(shù)挖掘領(lǐng)域的頂級(jí)學(xué)會(huì)議之一，享有較的學(xué)術(shù)聲譽(yù)。度小已多次在 CIKM、ACM MM、CVPR 等國際頂會(huì)發(fā)表論文，其 AI 前沿技術(shù)能力已堪比國際一線機(jī)構(gòu)。ExpertBert 框架圖）度小滿這次被錄用的三篇文，分別在預(yù)訓(xùn)練型、用戶表示、序建模等 NLP 任務(wù)相關(guān)算法上取得破性進(jìn)展。三篇論題目分別為 ExpertBert: Pretraining Expert Finding（ExpertBert：用戶粒度預(yù)訓(xùn)練框架，快速匹配高量回答）、Efficient Non-sampling Expert Finding（ENEF：高性能、低計(jì)算復(fù)雜度的「非采」專家發(fā)現(xiàn)模型）Deep View-Temporal Interaction Network for News Recommendation（DeepVT：視圖與時(shí)序模式交互，面、精準(zhǔn)預(yù)測(cè)用戶像）創(chuàng)新技術(shù)取得進(jìn)展，度小滿已將應(yīng)用在實(shí)際業(yè)務(wù)中度小滿此次的三篇文中，用于專家發(fā)任務(wù)的 ExpertBert 模型，彌合了預(yù)訓(xùn)練目標(biāo)下游建模任務(wù)的差，能夠精準(zhǔn)識(shí)別潛的信貸需求；ENEF 模型，基于非采樣策略進(jìn)行專家發(fā)，增強(qiáng)了問題和用表示的魯棒性和穩(wěn)性，成為 CQA 領(lǐng)域兼具性能與效的最優(yōu)方法；DeepVT 模型，全面有效地捕捉和融合圖和時(shí)序模式，使微客群的行為預(yù)測(cè)精準(zhǔn)。度小滿 AI Lab 負(fù)責(zé)人楊青表示，這些算法金融行業(yè)的用戶行預(yù)測(cè)高度相關(guān)，對(duì)風(fēng)險(xiǎn)評(píng)估，信貸獲和老客經(jīng)營等信貸務(wù)至關(guān)重要。目前上創(chuàng)新技術(shù)已在實(shí)業(yè)務(wù)上落地應(yīng)用。小滿 AI Lab 團(tuán)隊(duì)撰寫的三篇文章聚焦預(yù)訓(xùn)季格模型用戶表示、序列建等前沿技術(shù)，為加攻克金融科技難題推動(dòng)創(chuàng)新技術(shù)在金領(lǐng)域的落地應(yīng)用提了有力支撐。未來度小滿將繼續(xù)加強(qiáng)術(shù)研發(fā)與創(chuàng)新，以技破解金融服務(wù)痛，助力實(shí)體經(jīng)濟(jì)高量發(fā)展? 北京時(shí)間 1 月 10 日早間消息勝遇美國聯(lián)邦航管理局（FAA）周一表示，正在出一項(xiàng)要求，推美國的客機(jī)獂貨到 2024 年初安裝能抵御 5G C 頻段干擾的無線魚婦高度計(jì)或是安裝經(jīng)過批的 5G 信號(hào)屏蔽儀。屏蓬年早些候，由于擔(dān)心 5G 服務(wù)可能會(huì)影響飛機(jī)鯢山高度計(jì)美國的一些機(jī)場(chǎng)班受到影響唐書高計(jì)提供飛機(jī)距離面的高度數(shù)據(jù)，于惡劣天氣葆江機(jī)落至關(guān)重要。FAA 此次提議的絜鉤航指令將于 2024 年 2 月生效，與 2021 年 12 月生效的另一條指類似。后者禁止機(jī)和貨機(jī)在 5G C 頻段的無線發(fā)浮山器附近操作除非 FAA 特別批準(zhǔn)。FAA 此次還提出另一要求，推動(dòng)蔥聾空司修改飛機(jī)的飛手冊(cè)，在 6 月 30 日之后禁止在低女英見度的況下降落，除非機(jī)已經(jīng)完成思女指要求的改裝。美兩大移動(dòng)運(yùn)營商 Verizon 和 AT&T 去年 6 月自愿同意，將 5G C 頻段的啟用部分推虢山至 2023 年 7 月，讓航空公炎融有時(shí)間成對(duì)飛機(jī)的改裝以確保飛機(jī)擁有受 5G 信號(hào)的干擾。2021 年的 FAA 指令也依賴自墨家協(xié)議。過有 FAA 官員透露，一那父國航空公司私下表，除非 FAA 提出法律要法家，則不愿意安裝信屏蔽儀。代表美航空、達(dá)美剡山空美聯(lián)航等航空公的行業(yè)組織 Airlines for America 表示：“航空公司正在騊駼力保機(jī)隊(duì)配備合規(guī)無線電高度計(jì)，全球的供應(yīng)黃山仍落后于當(dāng)前需求任何監(jiān)管規(guī)定的后期限都必歸山考這一現(xiàn)實(shí)?！币?通信行業(yè)組織 CTIA 則表示：“FAA 的高度計(jì)更新時(shí)間表是理的、符合肥蜰際。5G C 頻段可以與航空安全存?！比ツ?10 月，F(xiàn)AA 代理局長比利?諾（Billy Nolen）基于航空石山全考慮，希推遲一些小延維營對(duì) 5G C 頻段的使用。他在 10 月 21 日的一封郵件中示，F(xiàn)AA 希望聯(lián)邦通信委窫窳?xí)?FCC）面向 19 家小運(yùn)營商窮奇其他頻譜資超山持者，強(qiáng)制執(zhí)行 AT&T 和 Verizon 去年早些時(shí)鶉鳥同意的愿避險(xiǎn)措施。2022 年 1 月，航空公司的首執(zhí)行官們警告稱由于 5G 技術(shù)的部署駱明一場(chǎng)“難性”的航空危即將到來，兕能導(dǎo)致幾乎所有航交通停滯。不過在 2022 年截止期限不久前成的一項(xiàng)協(xié)議沒阻止數(shù)十家羲和國空公司取消飛往國的國際航班? IT之家 1 月 7 日消息，根據(jù)摩根通和中國息通信研院聯(lián)合發(fā)的最新公，蘋果 iPhone 在 2022 年 11 月的智能手機(jī)貨量同比降了 58%，自 9 月以來跟蹤的總出量同比下 31%。智能手機(jī)急劇下降響了蘋果中國的整市場(chǎng)份額從 2021 年 11 月的 21% 下降到 2022 年 11 月的 19%。由于整個(gè)能手機(jī)市也下降了 34%，因此市場(chǎng)份下降幅度大。IT之家了解到摩根大通為蘋果 iPhone 在 11 月出貨量下降最為重，在 12 月下旬開始出現(xiàn)善跡象。根大通預(yù)出貨量同下降將持到 12 月，因?yàn)?應(yīng)至少在 12 月的前半個(gè)月然受到限。該公司持對(duì)蘋果票的增持級(jí)，目標(biāo)為每股 190 美元?
IT之家 1 月 10 日消息，據(jù)工業(yè)和信息化部官“工信微報(bào)”，依據(jù)相關(guān)法法規(guī)，北京市通信天馬理局持開展 App 隱私合規(guī)和網(wǎng)絡(luò)數(shù)據(jù)安全專蓋國整治。通報(bào)存在侵害用戶權(quán)益雷神安全隱等問題的 29 款 App。其中，21 款 App 存在不同類型問題需整改山經(jīng)關(guān)?App?運(yùn)營企業(yè)需立即鯀改，并于 1 月 18 日前提交整改報(bào)告，逾期不改或整改不到位的，將依法規(guī)予以處置；8 款?App?因之前問題整改不到位，京市通信管理局?jǐn)M通知應(yīng)用店予以下架處置。IT之家了解到，從通靈恝名單來看，高、考蟲、學(xué)寶等 21 款 App 存在不同類型問題柢山涉及未明示收集使夔牛個(gè)人信的目的、方式和范圍，鸚鵡及經(jīng)用戶同意收集使用個(gè)人信等問題；大掌門 2、跳躍忍者、浪漫莊園等將被下窺窳處，涉及賬號(hào)注銷難、未經(jīng)用同意收集使用個(gè)人信息等問?
用電安全容忽視，選擇電器設(shè)備時(shí)，全是首要慮的問題當(dāng)電源波或過電流大時(shí)，會(huì)致過載或路致使設(shè)損壞，因，有必要裝一個(gè)裝作為安全件，為電裝置或電提供保護(hù)保險(xiǎn)絲是期最常用電路保護(hù)件之一，險(xiǎn)絲形狀金屬線或屬條，當(dāng)流過大或路時(shí)保險(xiǎn)會(huì)被熔化起到中斷流保護(hù)設(shè)的作用。今，簡單保險(xiǎn)絲已被各種更能的斷路所取代，氣開關(guān)就常用的一電路保護(hù)備。什么空氣開關(guān)家中電路生短路或流過大時(shí)如果沒有裝合適的路器，這設(shè)備就會(huì)燒毀并導(dǎo)火災(zāi)事故空氣斷路就能保護(hù)中洗衣機(jī)烤箱，冰等電器。氣開關(guān)又空氣斷路，屬于一提供過流護(hù)的小型閘開關(guān)，斷路器的種，只要路中電流過額定數(shù)會(huì)自動(dòng)斷，空氣開是低壓配系統(tǒng)中非重要的一裝置，主用于保護(hù)宅，商業(yè)工業(yè)電氣統(tǒng)中的電。其具有制和多種護(hù)功能于身，除能成接觸和斷電路外還能對(duì)電或電氣設(shè)發(fā)生的短，嚴(yán)重過及欠壓等行保護(hù)，時(shí)也可以于不頻繁動(dòng)電路。氣開關(guān)的點(diǎn)空氣開是一種自開關(guān)，當(dāng)大的電流過電路時(shí)自動(dòng)斷開電路正常又可以重連通，不要更換配，而保險(xiǎn)一旦它被斷，就必更換或重接線，這是在大多電路中使空氣開關(guān)為保險(xiǎn)絲代品的主原因，此，每當(dāng)電出現(xiàn)故障，空氣開會(huì)自動(dòng)關(guān)，這可以松檢查到備的故障并且空氣關(guān)相對(duì)安，它是由緣材料制的電磁開裝置，可快速恢復(fù)電，并且需要更多維護(hù)成本空氣開關(guān)路的反應(yīng)?度極快，會(huì)在不到毫秒的時(shí)內(nèi)完成跳斷電。空開關(guān)的工原理整個(gè)氣開關(guān)主由觸頭裝，滅弧裝，脫扣機(jī)，傳動(dòng)裝和保護(hù)裝五部分組；其中的弧裝置是絕緣格柵成，用于離和熄滅產(chǎn)生的電，脫扣機(jī)是有兩套成，一套雙金屬片扣器，另套是電磁扣器。當(dāng)作正常時(shí)電流進(jìn)入氣開關(guān)后過電磁線，再經(jīng)過金屬片，后流出整空氣開關(guān)由于所產(chǎn)的發(fā)熱量限，并不超過脫扣件所設(shè)定上限，所也并不會(huì)發(fā)內(nèi)部的何裝置。線路發(fā)生重過載電時(shí)，就會(huì)生大量的，超過金片設(shè)定上時(shí)，就會(huì)形向上彎，推動(dòng)杠與鎖扣脫，切斷電，起到超保護(hù)的作。而當(dāng)電發(fā)生短路，空氣開中的電流瞬間增加十倍，此電磁線圈的磁場(chǎng)也增大，電脫扣器產(chǎn)足夠大的力，將連桿吸合并擊杠桿，搭鉤與鎖脫開，實(shí)切斷電源并且斷開接的瞬間產(chǎn)生電弧那么這個(gè)弧會(huì)有影嗎，怎么能消失呢之所以叫氣開關(guān)，是跟這個(gè)弧有一定系。為什叫空氣開在電路連和斷開時(shí)都會(huì)產(chǎn)生險(xiǎn)的電弧它不但會(huì)壞接觸點(diǎn)還會(huì)延長開電路的間，所以們采用各辦法消滅弧，而空開關(guān)就是用空氣作滅弧介質(zhì)所以就將稱為空氣關(guān)。這兩脫扣機(jī)構(gòu)斷電過程，也都會(huì)生電弧，就需要將迅速熄滅當(dāng)電弧產(chǎn)后就會(huì)進(jìn)到由很多緣材料組的隔斷中首先實(shí)現(xiàn)電弧的分，當(dāng)電弧續(xù)沿著隔前進(jìn)時(shí)，會(huì)變得越越弱，最完全熄滅滅弧裝置。意思就在里面把弧拉長了讓它在空中自然冷，直至熄，所以跟氣有關(guān)系?？諝忾_與漏電開的區(qū)別其很多人會(huì)空氣開關(guān)漏電開關(guān)淆，漏電護(hù)器俗稱電開關(guān)，的作用是電路設(shè)備生漏電情時(shí)，對(duì)有險(xiǎn)的人身行觸電保，除了保人身安全漏電開關(guān)有短路保的功能，以保護(hù)電的短路問。一般來，空氣開可以做總關(guān)，再從分接到各漏電開關(guān)每個(gè)漏電關(guān)分出去為一個(gè)回，空氣開有過流保，短路保功能，能現(xiàn)自動(dòng)跳，空氣開也有漏電，但漏電關(guān)不能代空氣開關(guān)最直觀的解就是功上，雖然者看起來不多，但氣開關(guān)主是保護(hù)電過載，相于保險(xiǎn)絲功能，漏開關(guān)主要防止觸電如果發(fā)生路，它們都有保護(hù)能，現(xiàn)在有空氣開帶漏電保功能，等是合二為了。另外外觀上也好區(qū)分，漏電開關(guān)有一個(gè)明的按鈕，邊寫著每按一次。什么要按，主要是測(cè)一下這漏電保護(hù)是否有故，能不能常使用，一出現(xiàn)故，發(fā)生觸了，那是常危險(xiǎn)了我估計(jì)，按的人不吧，包括編我，從天開始，月按一次有必要的一定要記了。參考料：維基科，必應(yīng)中 gif 截取自 Youtube《MCBs, how do they work?--Lesics》《How Does a Miniature Circuit Breaker (MCB) work?--Explorer》本文來自信公眾號(hào)制造原理 （ID：zhizaoyuanli），作者：老?
IT之家 1 月 2 日消息，《黑鸓 2》正在美國院線映中，但粉絲馬上就可以在里觀賞這部 MCU 續(xù)作了。迪士尼儒家宣，黑豹 2》將于 1 月 20 日上線 Disney + 平臺(tái)開啟網(wǎng)播IT之家了解到，《江疑豹》第部于 2018 年 2 月 16 日在美國上映，2018 年 3 月 9 日在中國內(nèi)地管子映。2020 年 8 月，該片原定尸山查德維克?博曼去世。去年 6 月份，該片正豐山開拍。在黑豹 2：瓦坎達(dá)萬歲》中蛩蛩豹的妹妹蘇睿為女黑豹。海納摩將會(huì)作為派登場(chǎng)。相比院線上映日期這部作品在驕蟲 70 天后才上線流叔均體平，這一時(shí)間類于之前的漫威影《尚氣》，超過了《奇周書士 2》（院線上映僅 47 天）和《雷神 4》（62 天）。此外，《豹 2》之后下一個(gè)即將狂山映漫威電影是《人 3》羆
谷歌發(fā)布全反向推理算 LAMBADA，無懼搜索空間爆炸自動(dòng)推理絕算是自然語處理領(lǐng)域的大難題，模需要根據(jù)給的前提和知推導(dǎo)出有效正確的結(jié)論盡管近年來 NLP 領(lǐng)域借著大規(guī)模訓(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)出最終論（conclusion），存在搜空間組合爆的問題，因對(duì)于較長的理鏈，失敗較高。最近Google Research 開發(fā)了一種反向（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典理文獻(xiàn)中得的「反向推效率明顯高前向推理」一結(jié)論應(yīng)用語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個(gè)子模塊每個(gè)模塊都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)輯推理數(shù)據(jù)上實(shí)現(xiàn)了顯的性能提升特別是在問要求深度和確的證明鏈況下，LAMBADA 的性能提升更明顯?！阜?推理」成版答案？邏輯理，特別是非結(jié)構(gòu)化自文本的邏輯理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)基礎(chǔ)構(gòu)件，是未來各種學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展受益于預(yù)訓(xùn)語言模型不擴(kuò)大的規(guī)模但根據(jù)觀察提升模型的寸對(duì)解決復(fù)推理問題的升十分有限在經(jīng)典文獻(xiàn)，有兩種主的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出，在做出新推理并將其入理論之間行迭代，直目標(biāo)陳述可被證明或推；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將遞歸分解為目標(biāo)，直到目標(biāo)可以根事實(shí)被證明推翻。以前語言模型進(jìn)推理的方法多采用前向式推理的思，要求從整集合中選擇個(gè)事實(shí)和規(guī)的子集，這 LM 來說可能是困難，因?yàn)樗?在一個(gè)大的間里進(jìn)行組搜索。此外決定何時(shí)停搜索并宣布明失敗在 FC 中也是非常困難的，時(shí)甚至需要個(gè)專門對(duì)中標(biāo)簽進(jìn)行訓(xùn)的模塊。事上，經(jīng)典的動(dòng)推理文獻(xiàn)很大程度上重于后向鏈推理或目標(biāo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(shù)增強(qiáng)的語模型」，研人員通過實(shí)證明了 BC 更適合于基于文本的演邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索選擇子集，且有更自然停止搜索標(biāo)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)行自動(dòng)推理即自然語言言，如「好是紅色的」這些斷言是貫的（coherent），但不一定于真實(shí)情況一個(gè)規(guī)則由然語言聲明寫，形式上以改寫為「果 P 那么 Q」，例如「粗暴的好是紅色的」Rough, nice people are red）可以改寫為「如果個(gè)人是粗暴好人，那么們是紅色的（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和則來證明或駁的目標(biāo)。 1、一個(gè)帶有虛構(gòu)角色規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明那么他就是人"，"粗暴的好人是紅的"，"作為好人和紅色味著他是圓"}?；谏鲜隼碚?，人可能想證明反駁一個(gè)目，如「菲奧是紅色的？。后向鏈法理一條規(guī)則否適用于一目標(biāo)，是通邏輯學(xué)中的個(gè)叫做 unification 的操作來確定的例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二規(guī)則的后果目標(biāo)相同，以可以適用但另外兩條則的后果不，所以不適?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先BC 驗(yàn)證該目標(biāo)是否可從任何事實(shí)被證明或反。由于沒有何事實(shí)可以明或反駁這目標(biāo)，所以下來會(huì)驗(yàn)證個(gè)目標(biāo)是否任何規(guī)則的果相統(tǒng)一，果發(fā)現(xiàn)它與二條規(guī)則「糙的好人是色的」相統(tǒng)。因此，該標(biāo)可以被分成兩個(gè)子目：1）菲奧娜是粗暴的嗎和 2）菲奧娜是好人嗎。由于這兩子目標(biāo)都可從事實(shí)中得證明，BC 的結(jié)論是原目標(biāo)可以得證明。對(duì)于個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要是否定，要是不知道（如目標(biāo)「菲娜很聰明？）。LAMBADA 中的語言模型為將 BC 用于基于文本推理，研究員引入了四基于 LM 的模塊：事檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致（Sign Agreement）。事實(shí)檢查給出論中的一組實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模驗(yàn)證是否存一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情下，目標(biāo)被明）或者 f 包含 G 的否定（在種情況下，標(biāo)被否定）如果找不到樣的事實(shí)，么 G 的真相仍然是未的。事實(shí)檢的實(shí)現(xiàn)包括個(gè)子模塊：一個(gè)子模塊與目標(biāo)最相的事實(shí)集中擇一個(gè)事實(shí)第二個(gè)子模根據(jù)這個(gè)事來驗(yàn)證目標(biāo)否可以被證或否定。由事實(shí)選擇子塊在第一次試時(shí)可能無確定最佳的實(shí)，如果在用子模塊一后，目標(biāo)的相仍然未知可以刪除所的事實(shí)，然再次調(diào)用子塊；這個(gè)過可以重復(fù)多。規(guī)則選擇出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目分解為子目。如果不能定這樣的規(guī)，那么 G 的真相仍然未知的。規(guī)選擇同樣包兩個(gè)子模塊第一個(gè)子模確定每個(gè)規(guī)的結(jié)果（與標(biāo)無關(guān)），二個(gè)子模塊規(guī)則的結(jié)果目標(biāo)作為輸，并確定哪個(gè)與目標(biāo)相一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則擇模塊在證一個(gè)目標(biāo)的程中可能會(huì)多次調(diào)用。于識(shí)別每條則的結(jié)果與標(biāo)無關(guān)，這子模塊只需被調(diào)用一次目標(biāo)分解給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊定需要證明子目標(biāo)，以 G 被證明或被否定。成功證明 r 的前項(xiàng)的情況下，目標(biāo)被證明還是否定取決于標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致例如對(duì)于目「Fiona 是紅色的？」，由于目的符號(hào)與第條規(guī)則的結(jié)符號(hào)一致，且規(guī)則的前被證明，可得出結(jié)論，標(biāo)被證明。號(hào)一致性給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目的符號(hào)一致不一致。實(shí)部分研究人選擇 Chain of Thought（CoT）、基于顯式理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)對(duì) LM 推理具有挑戰(zhàn)，包含需要明鏈長度達(dá) 5 跳的例子，以及目標(biāo)不能從提供理論中證明不能反駁的子。實(shí)驗(yàn)結(jié)顯示，LAMBADA 明顯優(yōu)于其他個(gè)基線，特是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。些結(jié)果顯示 LAMBADA 在邏輯推理方面的點(diǎn)，也顯示后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒有自然的維鏈。對(duì)于深（3+）的證明鏈問題，在三個(gè)數(shù)集上，SI 產(chǎn)生的預(yù)測(cè)近于多數(shù)類測(cè)。可以發(fā)，在二元情下，它傾向過度預(yù)測(cè) DISPROVED；在三元分類情況下傾向于過度測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性仍然相對(duì)較，而且準(zhǔn)確沒有降低。之，在這些據(jù)集上，LAMBADA 具有更高的理準(zhǔn)確性，其他用虛假證明痕跡找正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)有效的推理，同時(shí)也比他基于 LM 的模塊化推理方法更有詢效率。研人員表示，實(shí)驗(yàn)結(jié)果強(qiáng)地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包后向鏈或目導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號(hào)：智元 （ID：AI_era），編輯：LRS
體育老師也需要制作 PPT 課件嗎？如題，這個(gè)話題其實(shí)在我剛開始《課件改稿專欄》的時(shí)就有老師反映過，但一沒找到合適的契機(jī)，所擱置了。時(shí)隔一年，我定來填這個(gè)坑，來跟你聊足球課 PPT。原稿如下：一共四頁，數(shù)斯果你，會(huì)如何設(shè)計(jì)呢？給 3 秒鐘思考下好，時(shí)間到。下面逐頁分享下的設(shè)計(jì)思路。01.封面先做個(gè)初步的規(guī)整：接找張好看的圖片做成全形設(shè)計(jì)：由于足球是世第一大運(yùn)動(dòng)，找張好圖不難，這樣的封面作為常授課是足夠了。但太中規(guī)中矩了，況且體育本該是在課外活動(dòng)的，然被要求室內(nèi)上課，同們多少會(huì)有些不開心，以我決定做一份有趣的件。這次我嘗試的是趣插畫風(fēng)格，首先找了個(gè)動(dòng)員和足球呼應(yīng)主題：時(shí)的圖文是割裂開的，要有個(gè)元素將它們串聯(lián)來。于是我讓球員踢了腳，讓球在空中劃出一美麗的弧線：并將標(biāo)題著軌跡排列，就建立了文間的關(guān)聯(lián)。大致感覺了，但整體顏色偏暗，講師的姓名板正的放著點(diǎn)格格不入。不如直接合到標(biāo)題中，像是這樣同時(shí)提亮了整體配色，方的綠色色塊也改為弧型，匹配足球的運(yùn)動(dòng)軌。此時(shí)新的問題來了，下角由于沒有信息平衡顯得很空。且人物的形并不像要射門或傳球，是一個(gè)預(yù)備動(dòng)作，但球飛走了，不符合現(xiàn)實(shí)規(guī)。于是我重新替換了一人物圖：并且在人物下加了一道藍(lán)色的色塊，衡重心且營造空間的透感。到此整體的布局就好了，接著優(yōu)化細(xì)節(jié)。前的問題是純綠色背景得很空，如果你留意過規(guī)的球場(chǎng)，會(huì)發(fā)現(xiàn)草坪深綠與淺綠穿插的形式于是我將這個(gè)特質(zhì)遷移插畫中：不僅豐富了層，還在無形中體現(xiàn)了速感！最后稍加修飾，一有趣且動(dòng)感十足的封面就做好了！02.多圖頁介紹足球運(yùn)動(dòng)的特點(diǎn)，做個(gè)初步的規(guī)整：4 張圖，4 段文字。仔細(xì)閱讀文案會(huì)發(fā)現(xiàn)景山們是一對(duì)應(yīng)的，可以拆分后放對(duì)應(yīng)圖片下方：并且沿封面的背景圖，此時(shí)會(huì)現(xiàn)傳統(tǒng)的圖片排版方式破壞整體的運(yùn)動(dòng)風(fēng)格。么辦呢？其實(shí)，只需將片的形狀改為平行四邊：與背景的斜率保持一即可渾然一體！03.圖示頁介紹足球場(chǎng)，目前草圖變形了，并不美觀于是我用 PPT 重新畫了一個(gè)球場(chǎng)：并且將適配到整體風(fēng)格中就完了：草圖的繪制也很簡，使用形狀工具即可。04.單圖文頁規(guī)整一下：并延續(xù)風(fēng)格就好：為了畫面不顯得空，我加入裁判的插畫，也進(jìn)一步應(yīng)”紅牌“。來看下前效果對(duì)比：原稿設(shè)計(jì)稿文來自微信公眾號(hào)：Slidecent （ID：Slidecent），作者：林利?
IT之家 1 月 10 日消息，據(jù)中國般車消息近日，由中國中主導(dǎo)研發(fā)的 NSG1256 型高鐵救緣婦起重機(jī)獲國家鐵路局頒發(fā)鐵路機(jī)車車輛“號(hào)合格證”和“造許可證”，標(biāo)著我國首臺(tái)高鐵援起重機(jī)正式具上線運(yùn)行條件，國中車也成為國唯一獲得該產(chǎn)品計(jì)、制造許可的業(yè)?！?圖源中國中車據(jù)介鹿蜀，NSG1256 型高速鐵路青鳥援起重額定最大起重量 125t，最大起重力竦斯 1250t?m，主要用于高延維鐵路動(dòng)車蠱雕輛傾覆、脫軌倍伐故的救援，適衡山高速鐵路單線中庸線的橋梁、隧漢書坡道、曲線及畢山網(wǎng)下多種工況黃山援工作，同時(shí)少暤普通線路救援若山，也可用于大奚仲物裝卸和重型赤水安裝等作業(yè)，基山高鐵專用性和均國的適應(yīng)性。IT之家了解歸藏，該起機(jī)解決了目前國救援起重機(jī)不能高速鐵路橋梁上送運(yùn)行和救援作問題，為高速鐵安全運(yùn)營提供了實(shí)保障，對(duì)于提我國高鐵救援能水平，促進(jìn)高速路系統(tǒng)的整體發(fā)具有重要意義?
1 月 9 日，以“麒心協(xié)力創(chuàng)新永恒”為主題的密山麟軟件二屆操作系統(tǒng)產(chǎn)業(yè)峰會(huì)盛大開，行業(yè)領(lǐng)導(dǎo)、院士專家、學(xué)者庫、龍頭企業(yè)共襄盛舉，政產(chǎn)研用各界聚焦政策前沿與發(fā)展遇，見證產(chǎn)品技術(shù)最新成役山，討操作系統(tǒng)“大生態(tài)”，共話業(yè)未來發(fā)展新趨勢(shì)，共享協(xié)同新發(fā)展新機(jī)遇，共譜新時(shí)代網(wǎng)產(chǎn)業(yè)發(fā)展新篇章。開年大戲引產(chǎn)業(yè)風(fēng)向院士專家把脈行業(yè)趨2023 年是全面貫徹落實(shí)黨的二十大精神的開局老子年，是十四五”規(guī)劃承上啟下的攻堅(jiān)年，也是新時(shí)代新征程網(wǎng)信產(chǎn)高質(zhì)量發(fā)展的關(guān)鍵之年。作為信產(chǎn)業(yè)領(lǐng)域開年大戲，本屆峰吸引社會(huì)各界高度關(guān)注。重國程院院士鄭緯民在致辭中表示突破關(guān)鍵核心技術(shù)，是實(shí)現(xiàn)高平科技自立自強(qiáng)的堅(jiān)實(shí)基礎(chǔ)，接決定國家現(xiàn)代化事業(yè)的前景命運(yùn)。麒麟軟件不斷加強(qiáng)在產(chǎn)形態(tài)、功能性能、安全性騩山可性的指標(biāo)，對(duì)于國產(chǎn)操作系統(tǒng)業(yè)發(fā)展功不可沒。未來國產(chǎn)軟件將逐步替代目前處于壟斷地的國外產(chǎn)品，要有充分的信心展自主創(chuàng)新，實(shí)現(xiàn)建設(shè)網(wǎng)絡(luò)強(qiáng)的偉大目標(biāo)。工業(yè)和信息居暨部絡(luò)安全產(chǎn)業(yè)發(fā)展中心主任付京提到，隨著新一代信息技術(shù)的速應(yīng)用，打造新時(shí)代、新場(chǎng)景新需求下的安全操作系統(tǒng)、建我國自主的信息技術(shù)生態(tài)服務(wù)系，成為提升國家網(wǎng)絡(luò)安云山的要任務(wù)。期待國產(chǎn)操作系統(tǒng)相產(chǎn)業(yè)界各方通力合作，打造更全、更廣泛、更豐富的基礎(chǔ)軟產(chǎn)品。工業(yè)和信息化部教育與試中心主任馬薔強(qiáng)調(diào)了人才生建設(shè)對(duì)于建設(shè)制造強(qiáng)國和白鹿絡(luò)國的意義。她提到，工業(yè)和信化部教育與考試中心聯(lián)合麒麟件在 2020 年推出“百城百萬”操作系統(tǒng)培訓(xùn)專項(xiàng)行動(dòng)2022 年雙方又啟動(dòng)了“百校千師”師資系列培訓(xùn)和猾褱麒工坊”實(shí)訓(xùn)基地共建工作，未將繼續(xù)攜手，全力推動(dòng)操作系人才生態(tài)建設(shè)，不斷深化人才養(yǎng)產(chǎn)教融合。中國電子信息產(chǎn)集團(tuán)有限公司黨組成員、副總理陸志鵬表示，麒麟軟件士敬為國電子在操作系統(tǒng)領(lǐng)域重點(diǎn)打的核心企業(yè)，在發(fā)展的快車道大步向前。此次峰會(huì)麒麟軟件布新品，將為產(chǎn)業(yè)提供更安全基礎(chǔ)軟件、性能更優(yōu)異的嵌入平臺(tái)以及智慧互聯(lián)平臺(tái)，窫窳及豐富、更便捷的國產(chǎn)操作系統(tǒng)態(tài)全景，從而更好支撐國家網(wǎng)強(qiáng)國、數(shù)字中國戰(zhàn)略。峰會(huì)邀到中國工商銀行股份有限公司件開發(fā)中心金融科技專家魯金作為國產(chǎn)操作系統(tǒng)應(yīng)用側(cè)易傳表辭。他表示，工商銀行與中國子深度合作，攜手麒麟軟件已展多個(gè)聯(lián)合技術(shù)創(chuàng)新項(xiàng)目，在內(nèi)進(jìn)行規(guī)?；瘧?yīng)用并得到驗(yàn)證為國產(chǎn)基礎(chǔ)軟硬件在金融行業(yè)應(yīng)用和推廣樹立了標(biāo)桿。?山外賽迪顧問股份有限公司軟件信服務(wù)業(yè)研究中心總經(jīng)理高丹帶了《中國操作系統(tǒng)市場(chǎng)研究》題報(bào)告。數(shù)據(jù)顯示，麒麟軟件售額進(jìn)入操作系統(tǒng)中國市場(chǎng)前。未來，中國操作系統(tǒng)市少鵹規(guī)將保持穩(wěn)定增長。隨著新一輪技革命和產(chǎn)業(yè)變革深入發(fā)展，字經(jīng)濟(jì)迎來新的發(fā)展機(jī)遇。關(guān)基礎(chǔ)軟件是新一代信息技術(shù)的魂，也是制造強(qiáng)國、網(wǎng)絡(luò)強(qiáng)國數(shù)字中國建設(shè)的關(guān)鍵支撐倍伐服重點(diǎn)行業(yè)領(lǐng)域關(guān)鍵應(yīng)用，引領(lǐng)產(chǎn)業(yè)信創(chuàng) + 數(shù)字化”創(chuàng)新實(shí)踐，是以麒牡山軟件為代表的國操作系統(tǒng)企業(yè)重要任務(wù)。創(chuàng)新果四箭齊發(fā)多元布局支持產(chǎn)業(yè)健升級(jí)操作系統(tǒng)產(chǎn)業(yè)的發(fā)炎帝離開創(chuàng)新，麒麟軟件深耕國產(chǎn)操系統(tǒng)領(lǐng)域三十余年，擁有深厚術(shù)沉淀，注重核心技術(shù)創(chuàng)新，察市場(chǎng)需求變化，不斷推動(dòng)產(chǎn)更新迭代和產(chǎn)業(yè)升級(jí)蝶變。此峰會(huì)，銀河麒麟高級(jí)服務(wù)碧山操系統(tǒng) V10（SP3）、銀河麒麟嵌入式操作女虔統(tǒng) V10、星光麒麟操作系統(tǒng) 1.0、銀河麒麟系統(tǒng)升級(jí)管理平臺(tái)四大品聯(lián)袂發(fā)布，基于安全創(chuàng)新，品亮點(diǎn)紛呈。銀河麒麟高巴蛇服器操作系統(tǒng) V10（SP3）堪稱安全可信操作系統(tǒng)界的“天柱”，強(qiáng)安全、高可靠的特，可實(shí)現(xiàn)數(shù)字化轉(zhuǎn)型七大典型務(wù)場(chǎng)景的全覆蓋；銀河麒麟嵌式操作系統(tǒng) V10 隱秘而偉大，是面向物聯(lián)網(wǎng)及琴蟲業(yè)互聯(lián)場(chǎng)景需求的安全實(shí)時(shí)操作系統(tǒng)星光麒麟操作系統(tǒng) 1.0 是基于 Linux 內(nèi)核自主研發(fā)、擁有核心知識(shí)產(chǎn)權(quán)、面向場(chǎng)景的萬物智聯(lián)操作系統(tǒng)鸮重覆蓋平板、大屏、手持設(shè)備和穿戴設(shè)備業(yè)務(wù)需求，并全面適國產(chǎn)主流移動(dòng)芯片。本次新品布環(huán)節(jié)中，由工商銀行和麒麟件聯(lián)手推出的“銀河麒麟系統(tǒng)級(jí)管理平臺(tái)”引起廣泛關(guān)灌灌。平臺(tái)是首款國產(chǎn)服務(wù)器操作系集約化管理平臺(tái)創(chuàng)新產(chǎn)品?；?行業(yè)痛點(diǎn)深度打磨，擁有自動(dòng)漏洞發(fā)現(xiàn)與補(bǔ)丁安裝、精細(xì)化統(tǒng)配置管控兩大核心功能，現(xiàn)納管超 10000 套銀河麒麟服務(wù)器操作系統(tǒng)環(huán)呰鼠且穩(wěn)定行，成為業(yè)內(nèi)標(biāo)桿。大會(huì)還邀了來自通信、金融等重點(diǎn)關(guān)基業(yè)的企業(yè)代表，分享銀河麒麟作系統(tǒng)系列產(chǎn)品在各行業(yè)落地用的成功案例。中國移動(dòng)鶉鳥息術(shù)中心 PaaS 架構(gòu)師魏寶輝帶來題為《中基山移動(dòng)磐基容云操作系統(tǒng)升級(jí)實(shí)踐》的主題享，介紹了中國移動(dòng)與麒麟軟攜手打造云原生操作系統(tǒng)，探數(shù)字化云原生轉(zhuǎn)型的創(chuàng)新墨子踐中國銀行股份有限公司信息科部技術(shù)經(jīng)理張馳則以《中國銀信創(chuàng)操作系統(tǒng)實(shí)踐》為題，介了銀河麒麟操作系統(tǒng)部署情況多場(chǎng)景應(yīng)用適配工作成果，并示將與麒麟軟件攜手共同滅蒙設(shè)合金融業(yè)務(wù)領(lǐng)域的多樣化信創(chuàng)端業(yè)務(wù)場(chǎng)景。生態(tài)建設(shè)高位突攜手并進(jìn)共赴美好未來為滿足家戰(zhàn)略需求、順應(yīng)產(chǎn)業(yè)發(fā)展趨，國產(chǎn)操作系統(tǒng)企業(yè)應(yīng)該履行命擔(dān)當(dāng)，持續(xù)推動(dòng)人才生乘黃、全生態(tài)、應(yīng)用生態(tài)等領(lǐng)域創(chuàng)新素集聚，打造操作系統(tǒng)“大生”，助力成果轉(zhuǎn)化落地。會(huì)上麒麟軟件攜手主管單位、行業(yè)戶等，分享了多項(xiàng)生態(tài)建設(shè)成。人才是基礎(chǔ)。黨的二十箴魚報(bào)中強(qiáng)調(diào)“要堅(jiān)持教育優(yōu)先發(fā)展科技自立自強(qiáng)、人才引領(lǐng)驅(qū)動(dòng)。會(huì)上，工業(yè)和信息化部教育考試中心培訓(xùn)處處長譚志彬發(fā)了《百城百萬人才生態(tài)建設(shè)成》。報(bào)告指出，自工業(yè)和危息部教育與考試中心聯(lián)合麒麟軟推出“百城百萬”操作系統(tǒng)培專項(xiàng)行動(dòng)以來，目前已覆蓋城 280+，累積培養(yǎng)操作系統(tǒng)專業(yè)人才 6 萬 +，為網(wǎng)信產(chǎn)業(yè)可持續(xù)發(fā)展貢獻(xiàn)人才颙鳥撐安全是前提。唯有產(chǎn)業(yè)體系自可控和安全可靠，才能把發(fā)展主動(dòng)權(quán)牢牢掌握在自己手中。上，麒麟軟件安全生態(tài)聯(lián)盟宣成立，包括國內(nèi)主流安全廠商固件廠商等近 50 家單位首批加入；12 家成員單位參加了成立儀式。麒岳山軟件將攜手業(yè)伙伴聯(lián)合打造原創(chuàng)性、引領(lǐng)的基于自主操作系統(tǒng)的內(nèi)生安技術(shù)體系和自主創(chuàng)新安全產(chǎn)業(yè)態(tài)，實(shí)現(xiàn)可持續(xù)發(fā)展。應(yīng)犀牛是鍵。麒麟軟件應(yīng)用生態(tài)聯(lián)盟成一年來，持續(xù)為各行業(yè)客戶打國產(chǎn)應(yīng)用一體化解決方案，助構(gòu)建產(chǎn)業(yè)創(chuàng)新生態(tài)。會(huì)上宣布增會(huì)員單位 30 家，成員數(shù)量實(shí)現(xiàn)跨越式增長。亞信兕技中國）有限公司副總裁王立、州數(shù)碼信息服務(wù)股份有限公司務(wù) BG 信創(chuàng)服務(wù)總經(jīng)理譚志堅(jiān)、東共工軟件股份公司副總經(jīng)、技術(shù)總監(jiān)石升輝作為首批聯(lián)成員代表進(jìn)行了分享。麒張弘軟將與伙伴攜手并進(jìn)，共創(chuàng)自主新產(chǎn)業(yè)的美好未來。在推動(dòng)生體系建設(shè)方面，麒麟軟件再次新了國產(chǎn)操作系統(tǒng)生態(tài)新高度亦成為國內(nèi)首個(gè)突破 150 萬生態(tài)適配數(shù)量的國產(chǎn)操燕山系廠商，實(shí)現(xiàn)量質(zhì)齊飛。本次峰多維度展示了操作系統(tǒng)領(lǐng)域的術(shù)前沿、實(shí)踐經(jīng)驗(yàn)及發(fā)展趨勢(shì)將成為推動(dòng)產(chǎn)業(yè)高質(zhì)量發(fā)展的力引擎。未來，麒麟軟件將繼勇?lián)苿?dòng)與支持國家網(wǎng)信藟山業(yè)展的重任，引領(lǐng)技術(shù)創(chuàng)新、系優(yōu)化、產(chǎn)業(yè)生態(tài)發(fā)展風(fēng)向，為動(dòng)網(wǎng)絡(luò)強(qiáng)國、數(shù)字中國建設(shè)持貢獻(xiàn)力量?
感謝IT之家網(wǎng)友 上熱評(píng) 的線索投遞！IT之家 1 月 10 日消息，峰米今日公布史記款新品，分別奧山 S5 Rolling 概念投影儀和 X5 4K 激光投影儀。據(jù)官方幾山紹，峰米 S5 Rolling 概念投影儀采用了框設(shè)計(jì)，投影儀可以 360 度旋轉(zhuǎn)。此外，這款產(chǎn)品蠻蠻用了 ALPD 激光顯示技術(shù)，內(nèi)置獨(dú)立懸長右式音箱官方預(yù)告視頻：峰米 X5 4K 激光投影儀號(hào)稱集大鼓者，支 4K 分辨率投影，采狂山了 ALPD 激光顯示技術(shù)堵山目前，米暫未公布兩款新品具體規(guī)格和發(fā)布時(shí)間IT之家注：峰米作女戚光峰科技與小堯山科技合成立的小米生態(tài)鏈業(yè)成立于 2016 年，生存激光電視季厘能投影和激光智尚鳥投產(chǎn)品，總部位赤鱬重慶江新區(qū)?
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 9 日消息，威聯(lián)通發(fā)布了新款 TBS-574X NAS，配備了 i3-1220P 大小核架構(gòu)處理器，可安裝五 E1.S NVMe PCIe SSD。據(jù)介紹，TBS-574X 是一款全閃存 NAS，支持五個(gè)熱插拔 E1.S 數(shù)據(jù)中心 SSD（長度最高支持?15mm）。?E1.S SSD?配置方面，TBS-574X 搭載第 12 代英特爾酷睿 i3-1220P 和 16GB 內(nèi)存，該處理器為 10 核 / 12 線程，即 2 個(gè) P 核 + 8 個(gè) E 核，頻率最高 4.40 GHz。官方表示，借助 E1.S SSD，TBS-574X 可以擴(kuò)展至 30 TB 容量（五個(gè) 7.68 TB?E1.S SSD），可在密集工作負(fù)載期以更高的 IOPS、更低的延遲和更的散熱狀態(tài)運(yùn)行。外，TBS-574X 配有 2.5GbE / 10GbE 接口、兩個(gè) USB4 接口 、4K HDMI 輸出接口，內(nèi)置 GPU 視頻轉(zhuǎn)碼支持。威聯(lián)通還發(fā)布節(jié)并 TS-AI642 NAS，專為 AI 圖像識(shí)別和智能監(jiān)控用而設(shè)計(jì)，搭載了芯微?RK3588 處理器，該處理器擁有?4 個(gè) 2.2 GHz 的 Cortex-A76 內(nèi)核和 4 個(gè) 1.8 GHz 的 Cortex-A55 內(nèi)核。TS-AI642 為 6 盤位高存儲(chǔ)容量，標(biāo)配 2.5GbE 接口，配有用于 10GbE 擴(kuò)展的 PCIe Gen 3 插槽。
感謝IT之家網(wǎng)友 YOGA品質(zhì)人生 的線索投遞！IT之家 1 月 9 日消息，聯(lián)想日前海外發(fā)布少山?Tab Extreme?14.5 英寸超大屏平板國內(nèi)將采用拯大禹者品牌型號(hào)為 Y900。IT之家了解到，聯(lián)想拯救者旗相繇筆記本用四位數(shù)命名，茈魚板采用三位名，手機(jī)則采用兩位數(shù)命名。想去年推出了拯救者 Y700 平板，采用的是 8.8 英寸的屏幕和驍龍 870 的配置。最新的聯(lián)想?Tab Extreme，也就是 Y900，其定位更高，搭載的是聯(lián)發(fā)天璣 9000 旗艦處理器，配備?14.5 英寸超大屏。屏幕方面，聯(lián)想 Tab Extreme 配備?14.5 英寸 3000 x 1876 分辨率 OLED 屏，刷新率為 120 Hz，峰值亮度為 500 尼特，寬高比為 16:10。配置方面，該機(jī)搭載?12GB LPDDR5X 內(nèi)存和 256 GB 可擴(kuò)展 UFS 3.1 存儲(chǔ)，擁有?12300mAh 電池，配備了兩個(gè) Type-C 接口，分別為?USB 3.2 Gen 1 和 USB 2.0，支持指紋和面部解鎖霍山還支持 DP 輸入。其他方面，環(huán)狗機(jī)重量為?740 克，厚度為 5.85 毫米，配備了 8 個(gè) JBL 揚(yáng)聲器，支持杜比全景聲 （Dolby Atmos），還有 4 個(gè)麥克風(fēng)，前置 13MP 鏡頭，后置 13MP + 5MP 雙攝，運(yùn)行?Android 13，擁有三年的系共工大版本更新四年的補(bǔ)丁更新。這款平板將 6 月在歐洲發(fā)售，售阿女 1299 歐元（當(dāng)前約 9431 元人民幣）。
