董宇輝曬與周杰倫合照 鞠婧祎露蕪衣殺青 IT之家 1 月 10 日消息，文日前發(fā)布?Tab13 13.3 英寸墨水屏快效率平板今正式開售無淫發(fā)價(jià) 5999 元。IT之家了解先龍文石 Tab13 平板采用 13.3 英寸 E-ink 電子墨水屏，Carta 1250 面板，77.1% 屏占比，擁 2200×1650 像素分辨率，持自研 BSR 快刷算法，實(shí)番禺畫面暢。文石 Tab13 支持 4096 壓感筆，得基山于 BSR 快刷技術(shù)，手寫筆猼訑遲為 24ms。配置方薄魚文石 Tab13?搭載高通 2.0GHz 處理器（具鳳凰型號(hào)公布）與尚鳥快刷顯示芯，配備 6GB 內(nèi)存與 128GB 存儲(chǔ)，內(nèi)置 6300mAh 電池，擁有 USB-C 接口。其夫諸方面，文 Tab13 尺寸為?310mm×228mm×6.8mm，重約 560g，搭載?Android11 系統(tǒng)，搭載閱讀酸與，持 2.4G & 5G 雙頻 WiFi。京東文石 BOOX Tab13 13.3 英寸大屏周禮子閱讀器 5999 元直達(dá)鏈? IT之家 1 月 2 日消息，江蘇潤和軟件股份有限公（簡稱“潤和軟件）近期與開放原子源基金會(huì)簽署協(xié)議正式成為 openEuler 黃金捐贈(zèng)人。潤和軟件積貢獻(xiàn) openEuler 等開源項(xiàng)目社區(qū)，組建了 aarch32 SIG，社區(qū)貢獻(xiàn)排名第 5。openEuler 委員會(huì)是 openEuler 開源項(xiàng)目的最高管組織。潤和軟件成 openEuler 黃金捐贈(zèng)人后，將全面參與 openEuler 項(xiàng)目的重大決策及 openEuler 開源項(xiàng)目例行運(yùn)作和理，具體包括制定改項(xiàng)目開源治理制、決定重大業(yè)務(wù)活計(jì)劃、制定及調(diào)整目的重大方向、項(xiàng)的中止或終止、決項(xiàng)目的知識(shí)產(chǎn)權(quán)授管理等。潤和軟件基于 openEuler 衍生開發(fā)了企業(yè)級(jí)安全操作系 HopeStage，原生支持鯤鵬等國產(chǎn)芯片。適配兼國產(chǎn)主流硬件整機(jī)中間件軟件產(chǎn)品，外，已經(jīng)與國民技等安全設(shè)備與技術(shù)供商完成互認(rèn)證。HopeStage 已經(jīng)在金融保險(xiǎn)、源電力、智能交通領(lǐng)域?qū)崿F(xiàn)落地，提全國產(chǎn)化基礎(chǔ)軟件，其中包含數(shù)據(jù)庫私有云、大數(shù)據(jù)與工智能平臺(tái)。目前潤和軟件 openEuler 商業(yè)模式包括提供基于 openEuler 的商用版本、與 ISV 聯(lián)合提供行業(yè)發(fā)行版、CentOS 國產(chǎn)化遷移服務(wù)等多種模式。IT之家了解到，openEuler 歐拉是面向數(shù)字基礎(chǔ)設(shè)施操作系統(tǒng)，支持服器、云計(jì)算、邊緣算、嵌入式等應(yīng)用景，支持多樣性計(jì)，致力于提供安全穩(wěn)定、易用的操作統(tǒng)。目前，openEuler 累計(jì)裝機(jī)量超過 300 萬套，中國服務(wù)器作系統(tǒng)新增市場份超過 25%。 IT之家 1 月 5 日消息，摩托羅拉今天宣布已經(jīng)在亞洲國家 / 地區(qū)銷售的 10 款符合條件的設(shè)備上啟用了 Jio 5G 網(wǎng)絡(luò)的支持。這設(shè)備將在 Jio True 5G 網(wǎng)絡(luò)上支持 13 個(gè) 5G 頻段。摩托羅拉 5G 用戶將能夠使用 Jio 獨(dú)立于 LTE 的 5G 獨(dú)立網(wǎng)絡(luò)，將擁有“跨越 700 MHz、3500 MHz 和 26 GHz 頻段的最大和最佳 5G 頻譜組合”，并將通過 3CA（3 載波聚合）和 4X4 MIMO 等技術(shù)實(shí)現(xiàn)完美連接這些摩托羅拉智手機(jī)目前僅支持 Jio True 5G 網(wǎng)絡(luò)，對其他運(yùn)營商 5G 網(wǎng)絡(luò)支持計(jì)劃暫未公布。以下是持 Jio True 5G 網(wǎng)絡(luò)的摩托羅拉 5G 設(shè)備列表：摩托羅拉 Edge 30 Ultra摩托羅拉 Edge 30 FusionMoto G62（配備驍龍 695）摩托羅拉 Edge 30摩托羅拉 Moto G82摩托羅拉 Edge 30 Pro摩托羅拉 Moto G71摩托羅拉 Moto G51摩托羅拉 Edge 20摩托羅拉 Edge 20 FusionIT之家了解到，Jio True 5G 網(wǎng)絡(luò)可在印度德里、孟買、爾各答、瓦拉納、金奈、班加羅等主要城市使用完整名單包括 60 多個(gè)城市、地區(qū)和地區(qū)，該運(yùn)商承諾到 2023 年 12 月，將向印度“每城鎮(zhèn)、每個(gè)次區(qū)每個(gè)行政區(qū)”提 5G 網(wǎng)絡(luò)。 家人們，布洛芬最近實(shí)有點(diǎn)火啊。藥盒上式各樣的姿勢都快被友們給玩壞了：△ 素材來源：抖音博主“麥膚色”甚至有網(wǎng)友調(diào)侃道：“哪個(gè)姿勢布洛芬更有效？”…不過言歸正傳，讓布芬如此火爆的真正原，正是因?yàn)樗诓《?突襲”的當(dāng)下，對人止痛上的神奇療效。至很多人開始把它稱“續(xù)命神器”了。不家人們，你知道是誰明了布洛芬嗎？事實(shí)，相比布洛芬的名氣他的發(fā)明者在此前一可以說是無人問津的態(tài)。直到 2019 年他的去世，斯圖爾?亞當(dāng)斯（Stewart Adams）這個(gè)名字才逐漸走入公的視線。而且更令人外的是，布洛芬的成，竟然與亞當(dāng)斯早年的一場宿醉有關(guān)……到底是怎么一回事？場宿醉后的成功亞當(dāng) 1923 年出生于英國北安普敦郡，16 歲時(shí)他便選擇輟學(xué)，對前途可謂是一片迷。但從事后來看，他時(shí)的這一選擇卻是拉了發(fā)明布洛芬的序幕離開學(xué)校的亞當(dāng)斯先來到了英國 Boots 公司的藥房當(dāng)學(xué)徒，但他發(fā)現(xiàn)自己感興的事情并不是賣藥。反，他似乎更迷戀于學(xué)和藥學(xué)相關(guān)的工作于是在三年之后，亞斯在公司的資助下，利進(jìn)入諾丁漢大學(xué)攻藥學(xué)專業(yè)，并成功拿學(xué)士學(xué)位。后來他又利茲大學(xué)獲得藥理學(xué)士學(xué)位。1952 年，29 歲的亞當(dāng)斯選擇回歸 Boots 公司，并從事研發(fā)相工作。當(dāng)時(shí)他被分配一個(gè)任務(wù)就是為類風(fēng)關(guān)節(jié)炎患者，找到一新的非類固醇消炎藥于是，亞當(dāng)斯便把研聚焦到了阿司匹林的理上，而在此前似乎沒人嘗試過這種方式因?yàn)榘⑺酒チ蛛m然早 1897 年便被提出，也可以用來止痛但由于當(dāng)時(shí)需要服用的劑量一般都很大，以隨之而來的副作用是相當(dāng)明顯（過敏、血、消化不良等）。言之，在上世紀(jì) 50 年代的英國，阿司匹林是處柢山“失寵”一的尷尬狀態(tài)。為了能尋得合適的替代品，當(dāng)斯便找到了 2 位得力干將幫忙 —— 化學(xué)家約翰?尼科爾博士（John Nicholson）和技術(shù)員科林?伯羅斯（Colin Burrows）。他們合力測試了 600 多種化合物的效果，關(guān)鍵就是找到一種耐受性良好藥物。△ 圖：三人在 Boots 公司測量炎癥程度這一找，是十載光陰。期間雖經(jīng)歷過無數(shù)次的失敗但有四種化合物是走了臨床試驗(yàn)階段的。卻因?yàn)樗鼈冊谥委熯^中依舊會(huì)呈現(xiàn)副作用最終被取消。大約在 1959 年年底，團(tuán)隊(duì)開啟了另一個(gè)研究路 —— 放射性研究。通過這種方式歸藏研，團(tuán)隊(duì)成員發(fā)現(xiàn)此前化合物之所以會(huì)出現(xiàn)量的副作用，是因?yàn)?們會(huì)被人體的各個(gè)組大量吸收。于是團(tuán)隊(duì)通過化學(xué)方式對化合做了相應(yīng)調(diào)整 —— 把乙酸變成了丙酸。再經(jīng)過放射性研究之發(fā)現(xiàn)，如此調(diào)整就會(huì)很小一部分的化合物人體吸收，由此便可幅降低藥物帶來的副用。而布洛芬，便是中之一：一種叫做對丁苯丙酸的化合物。過促使布洛芬后來取成功，還離不開亞當(dāng)一次宿醉的經(jīng)歷。當(dāng)他有一場非常重要的議演講，但前一天由和朋友們“推杯換盞喝了太多，導(dǎo)致第二醒來還是處于宿醉狀，頭痛不已。為了不響自己的演講，亞當(dāng)便決定服用 600 毫克對異丁苯丙酸化物來試試。但令他沒想到的是，效果簡直意外的好。這次意外發(fā)現(xiàn)讓團(tuán)隊(duì)興奮不已他們立即推進(jìn)了對此研究，在不久之后對丁苯丙酸很快便通過臨床驗(yàn)證。值得一提是，“宿醉風(fēng)波”并是亞當(dāng)斯第一次在自身上做試驗(yàn)，在此之也是服用過幾種化合，但亞當(dāng)斯回憶起當(dāng)這段經(jīng)歷時(shí)說：嘗試些藥物很重要，我很興能成為第一個(gè)服用洛芬的人。1962 年，Boots 公司為布洛芬申請了專利在等待了 7 年之后，也就是在 1969 年，布洛芬作為一種處方藥最終得到了英的批準(zhǔn)。而到了 1983 年，由于患者們在使用布洛芬鶉鳥一直于一個(gè)相對“安全狀”，因此被批準(zhǔn)成為非處方藥。再后來，洛芬便開始在全球范內(nèi)推廣并風(fēng)靡。火到么程度？亞當(dāng)斯回憶己在阿富汗的旅程時(shí)樣說到：甚至連開伯山口沿線的偏遠(yuǎn)鄉(xiāng)村房，都在賣布洛芬。有統(tǒng)計(jì)表明，在美國 3 秒便會(huì)有一盒布洛芬出售，鸓爆程度見一斑。布洛芬是怎起作用的？就像布洛有不同“姿勢”的包一樣，牙痛、姨媽痛肩周炎…… 不同部位的疼痛，只需吃下一布洛芬就能緩解。△ 圖源：網(wǎng)友整理不過你有沒有好奇過，你下的布洛芬是怎么精找到人體內(nèi)的疼痛位的？當(dāng)我們咽下一粒洛芬時(shí)，它首先會(huì)進(jìn)到胃部，胃酸會(huì)對布芬的膠囊外殼進(jìn)行溶。釋放出的布洛芬分們會(huì)順勢進(jìn)入第二站腸，通過腸壁進(jìn)入血網(wǎng)絡(luò)的肝門靜脈。然到達(dá)第三站肝臟，一部分布洛芬會(huì)與肝臟的肝藥酶結(jié)合，從而去止疼性。大部分布芬會(huì)幸存下來，順利入人體的循環(huán)系統(tǒng)，跟隨血液尋找引起你痛的位置。接下來就布洛芬大顯身手的時(shí)，在發(fā)現(xiàn)疼痛源頭后布洛芬就會(huì)與引發(fā)疼的特定靶分子 —— 前列腺素開戰(zhàn)，控制合成前列腺素的環(huán)氧酶。隨著生成前列腺的源頭被掐斷，能引疼痛的前列腺素在體也越來越少。整個(gè)過大概需要 1-2 個(gè)小時(shí)完成，之后布洛會(huì)再從血液循環(huán)中回肝臟，轉(zhuǎn)換為代謝物，經(jīng)由腎臟以尿液形排出。至此，布洛芬成身退，人體內(nèi)的疼也得到了緩解。但是敲黑板，布洛芬也并是萬能的，在吃之前幾點(diǎn)需要注意：第一由于布洛芬的止痛原是抑制前列腺素的合，也就意味著它只對列腺素引起的疼痛有，例如腸胃痙攣吃布芬就沒有用。第二，洛芬對于消化道的副用較為明顯。這是因合成前列腺素的環(huán)氧酶其實(shí)分為兩類，其 1 類對消化道黏膜起保護(hù)作用，幾山于對體有益的成分，但往會(huì)被布洛芬一起誤傷這也導(dǎo)致了有些腸胃就不好的人可能會(huì)因潰瘍或出血。最后，于網(wǎng)友們關(guān)心的不同姿勢”的布洛芬到底何區(qū)別，中國藥科大國家執(zhí)業(yè)藥師發(fā)展研中心副主任康震教授這樣說的：包裝盒圖動(dòng)作雖然不同，但它都有一個(gè)共同點(diǎn)，即是處于運(yùn)動(dòng)狀態(tài)的動(dòng)，而且重點(diǎn)肌肉部位用‘點(diǎn)’或‘星’等識(shí)進(jìn)行了標(biāo)注。不同布洛芬”作用不同，釋膠囊強(qiáng)項(xiàng)在鎮(zhèn)痛，是退燒。康震提示，洛芬膠囊 / 片主要用于退燒，而布洛芬釋膠囊 / 片則主要用于緩解疼痛，大家以按需選取。One More Thing隨著布洛芬最近的大，“布洛芬之父沒賺一分錢”的話題也是外火熱。畢竟亞當(dāng)斯人也開玩笑說過：我能是唯一一個(gè)因?yàn)椴?芬而賠錢的。因?yàn)?Boots 公司從沒有支付承諾過的 1 英鎊專利費(fèi)。然而對此也有另一種看法：這布洛芬之父就是 Boots 藥研部門專家，職務(wù)研發(fā)專利，本歸公司所有。而且，Boots 公司給主要研發(fā)人員的待遇都很，不存在沒賺錢的問。在職在崗搞出的成，專利和所有權(quán)歸公，似乎也合情合理？考鏈接：[1]?https://www.bbc.com/news/health-34798438[2]?https://www.bbc.com/news/uk-england-nottinghamshire-47073913[3]?https://www.nottinghampost.com/news/nottingham-news/full-story-how-dr-stewart-2508504[4]?https://www.washingtonpost.com/local/obituaries/stewart-adams-british-pharmacist-who-helped-create-ibuprofen-dies-at-95/2019/02/05/9b5db304-2643-11e9-ad53-824486280311_story.html[5]?https://k.sina.com.cn/article_6622052250_18ab47f9a00100ec7s.html?display=0&retcode=0[6]?https://en.wikipedia.org/wiki/Stewart_Adams_(chemist)[7]?https://weibo.com/5247938240/MklE7rNUi[8]?https://www.linkedin.com/pulse/unassuming-inventor-how-stewart-adams-invented-dr-chris-donegan本文來自微信公眾號(hào)：量位 （ID：QbitAI），作者：金磊 羿? 原文標(biāo)題：《盤點(diǎn)典街機(jī)游戲中那些陷阱，敵兵已經(jīng)挖坑等你來跳》玩游玩得好不好，其實(shí)要就是看經(jīng)驗(yàn)、技和反應(yīng)。很多菜鳥家一般都玩不了幾，就是因?yàn)椴涣私?上會(huì)發(fā)生什么，應(yīng)有怎樣的心理準(zhǔn)備而如果經(jīng)常做觀眾玩家親自上手，雖有一定的經(jīng)驗(yàn)，但技巧和反應(yīng)絕對跟上，同樣玩不了幾。當(dāng)年我們在游戲，都是一邊玩一邊，才能將一款游戲所有秘密全部開發(fā)來。如今的我們，已經(jīng)將大部分的街游戲玩得駕輕就熟哪里有什么陷阱有么寶物都完全了如掌。但是，大家現(xiàn)是否還記得，當(dāng)年次接觸游戲時(shí)，在戲中遇到的“陷阱？《鐵鉤船長》游中出現(xiàn)的機(jī)關(guān)幾乎是對敵兵使用的。過威力都不大，即打到人也最多擊倒不痛不癢的。娛樂比較強(qiáng)威力最大的是船錨，任何小兵是一下就死《龍王士》游戲中有不少球狀物品可以在空飄很久，只要被擊就能夠引發(fā)大規(guī)模魔法攻擊，屬于法機(jī)關(guān)。了解地形的家都愿意把魔法球到人多的地方釋放三國志》一關(guān)打 BOSS 時(shí)可以往回走，就會(huì)發(fā)現(xiàn)一支苗。只要 BOSS 進(jìn)來時(shí)就可以點(diǎn)燃，引發(fā)大規(guī)模的火傷害。《圓桌武士最終關(guān)會(huì)出現(xiàn)不少關(guān)，除了機(jī)關(guān)機(jī)器之外，就是懸掛鐵的內(nèi)堂。有經(jīng)驗(yàn)的家可以輕松走過這。三個(gè)人物的體型同，穿過的方法略差異?！度龂鴳?zhàn)紀(jì)要說機(jī)關(guān)最多的游，絕對是三國戰(zhàn)紀(jì)幾乎每個(gè)角落都要意，是否有陷阱。龍與地下城》上圖機(jī)關(guān)和這個(gè)場景是是很像？《魔法劍玩這款游戲，很多不是死在敵兵手中而是避閃不及被各機(jī)關(guān)“暗算”《零特攻隊(duì)》前期的機(jī)比較少，到了骷髏上機(jī)關(guān)就多了。天隨時(shí)掉落鐘乳石、動(dòng)的木頭《快打旋》送食物的臺(tái)燈，萬不要被砸死了。個(gè)機(jī)關(guān)設(shè)計(jì)非常有思，要是玩家殘血幸被砸死，就會(huì)發(fā)原來自己是被食物死的《電神魔傀》戲中的暗門，進(jìn)入找到收關(guān) BOSS?！督z綢之路》在樣的滾木中，你確你能堅(jiān)持十秒？《藏嚴(yán)流記》在地下道中，到處都是暗，到處都是機(jī)關(guān)。然了，到處都是等你來救的軟妹子本來自微信公眾號(hào)：機(jī)情懷 （ID：JJQH66），作者：我們的街機(jī)時(shí)?
在企業(yè)競爭加劇的今，精益開發(fā)和敏捷迭已成為產(chǎn)品重要的競力。如何保障每一次 Feature 迭代效率與安全，如何快實(shí)現(xiàn)面對不同用戶的細(xì)化運(yùn)營，成為了產(chǎn)團(tuán)隊(duì)的新挑戰(zhàn)。為了助企業(yè)解決此類痛點(diǎn)火山引擎 DataTester「智能發(fā)布」功能應(yīng)運(yùn)而生?！?能發(fā)布」是一種結(jié)合能開關(guān) + 動(dòng)態(tài)配置 + 灰度發(fā)布 + 配置管理的敏捷開發(fā)術(shù)，基于先進(jìn)的 Feature Flag 引擎和一站式配置托管能力，滿足應(yīng)用新能灰度發(fā)版、A / B 實(shí)驗(yàn)到全量、人群定向發(fā)布等不同應(yīng)用景，幫助開發(fā)、產(chǎn)品運(yùn)維人員在低風(fēng)險(xiǎn)環(huán)下迭代新 Feature，實(shí)現(xiàn)精益敏捷開發(fā)。近期，火山引擎 DataTester 對「智能發(fā)布」功能進(jìn)行了全面升級(jí)。升特性如下：1.一站式完成 A / B 實(shí)驗(yàn) + 固化 Feature 操作DataTester 此次升級(jí)后，A / B 實(shí)驗(yàn)創(chuàng)建運(yùn)行完成后可將實(shí)驗(yàn)參數(shù)固化為 Feature 并發(fā)布到線上。一般有兩應(yīng)用場景：●?場景 1：A / B 實(shí)驗(yàn)得出結(jié)論后，有一組驗(yàn)效果明顯較好，即通過智能運(yùn)營，將其化為 Feature 并全量上線?！?場景 2：A / B 實(shí)驗(yàn)暫未得出哪組效好，但該功能后續(xù)會(huì)續(xù)探索，則可先將實(shí)參數(shù)固化為一個(gè)產(chǎn)品 Feature，直接進(jìn)行產(chǎn)品管理。2.?Feature 可設(shè)置自動(dòng)發(fā)布計(jì)劃、自下線、發(fā)布管控Feature 若需生效到線上，需發(fā)布才能生。為保證發(fā)布安全性降低上線風(fēng)險(xiǎn)，DataTester「智能發(fā)布」提供了灰度發(fā)功能，可控制流量由到大逐步放量，放量程中觀測用戶反饋和據(jù)指標(biāo)，若出現(xiàn)會(huì)異快速回滾，保證功能全穩(wěn)定上線。同時(shí)，F(xiàn)eature 可以支持自動(dòng)發(fā)布計(jì)劃、自下線、發(fā)布管控；針發(fā)布安全也進(jìn)行了升，發(fā)布前需要確認(rèn)變 Diff 信息，提升發(fā)布安全性。●?動(dòng)發(fā)布計(jì)劃Feature 可設(shè)置定時(shí)自動(dòng)發(fā)布可一鍵設(shè)置發(fā)布率 (例：每天發(fā)布 20%)●?自動(dòng)下線某個(gè)版本發(fā)布時(shí)，可置到期自動(dòng)下線到期動(dòng)下線后自動(dòng)回滾到一個(gè)版本●?發(fā)布管可設(shè)置不可操作發(fā)布時(shí)間，比如：非工作限制不發(fā)布3.?流程管理：支持自定義差化發(fā)布方案DataTester「智能發(fā)布」新功能支持設(shè)置不的 Feature 發(fā)布流程，不同的流可配置不同的環(huán)節(jié)，同環(huán)節(jié)可配置相應(yīng)具規(guī)則（如審批規(guī)則、測規(guī)則等）。通過對 Feature 流程的差異化管理，可以現(xiàn)重要功能配置嚴(yán)格發(fā)布流程，緊急 bugfix 配置快捷的發(fā)布流程，這樣既保了重要功能上線的嚴(yán)，同時(shí)又保障了緊急 bugfix 的敏捷。4.?白名單測試：支持創(chuàng)建多個(gè)白名單試任務(wù)在 A / B 實(shí)驗(yàn)正式開啟之前，通常會(huì)先選擇幾名白單用戶進(jìn)入測試，觀實(shí)驗(yàn)是否能正常運(yùn)行參與這一步的用戶被為“白名單用戶”。「智能發(fā)布」功能升后，可針對 Feature 同時(shí)創(chuàng)建多個(gè)白名單測試場景，并測試多種實(shí)驗(yàn)或多個(gè)用細(xì)節(jié)。DataTester「智能發(fā)布」有諸多用途，其技術(shù)質(zhì)是按用戶指定的規(guī)下發(fā)不同的功能參數(shù)以達(dá)到敏捷發(fā)布的使效果。除了最常見也使用最普遍的“功能關(guān)”外，還可以實(shí)現(xiàn)態(tài)下發(fā)“應(yīng)用配置”業(yè)務(wù)配置”“環(huán)境配”“安全配置”等諸參數(shù)的能力。DataTester 是火山引擎數(shù)智平臺(tái)旗下產(chǎn)，作為字節(jié)跳動(dòng)內(nèi)部用多年的 A / B 測試平臺(tái)，DataTester 能夠深度耦合推薦、廣告、索、UI、產(chǎn)品功能等多種業(yè)務(wù)場景需求，業(yè)務(wù)增長、轉(zhuǎn)化、產(chǎn)迭代，策略優(yōu)化，運(yùn)提效等各個(gè)環(huán)節(jié)提供學(xué)的決策依據(jù)，讓業(yè)真正做到數(shù)據(jù)驅(qū)動(dòng)。前，火山引擎 DataTester 已經(jīng)服務(wù)了美的、得到、叔講故事等在內(nèi)的上家標(biāo)桿客戶，將成熟 "數(shù)據(jù)驅(qū)動(dòng)增長" 經(jīng)驗(yàn)賦能給各行業(yè)?
IT之家 1 月 10 日消息，今日南京鳴蛇電熊門口被拉橫幅維，橫幅上寫有女薎我血汗錢”、“電熊貓家電 欠債還錢，賴賬可恥等字樣。IT之家了解到，去年 8 月份的時(shí)候，樂視方通過官猾褱發(fā)公開信“炮轟颙鳥電熊貓，直斥中熊貓作為自己合的電視產(chǎn)品代工司頻出質(zhì)量事故導(dǎo)致“用戶投訴雪片般飛來，要維修、退貨的光山應(yīng)接不暇，維修傅跑斷了腿”，題發(fā)生后中電熊還總“打太極”對售后問題推三四?！斑@兩年《嬛傳》給樂視九鳳的收入，都被南‘熊貓’當(dāng)竹子吃了?！睒芬暜?dāng)稱。據(jù)藍(lán)鯨 TMT 消息，此次在南北史中電熊貓門拉橫幅維權(quán)的正樂視，樂視方面，中電熊貓至今不回應(yīng)、不履責(zé)不賠償。樂視犲山年的公開信中稱自 2020 年 7 月起，樂融致新電子科技 (天津) 有限公司、天津智列子創(chuàng)新技發(fā)展有限公司 (樂視方公司) 陸續(xù)收到用戶反，南京中電熊貓托生產(chǎn)的型號(hào)為 Y43、F43 產(chǎn)品及 F55 型號(hào)產(chǎn)品，在使半年時(shí)間左右頻出現(xiàn)屏幕橫線、線及漏液問題，兩款 43 吋電視液晶屏不鱃魚率接近 20%(行業(yè)不良率通鳴蛇不 2%)，嚴(yán)重超出雙方質(zhì)量相柳議定的 1.8% 的標(biāo)準(zhǔn)。公開信釋稱，2019 年初，樂視方公與南京中電熊思士莞分公司達(dá)成樂電視的代工生產(chǎn)作，截止 2022 年 3 月，南京已完成 39 萬臺(tái)樂視電視的生產(chǎn)與交付從從累合作金額 4.3 億元，一直采用“預(yù)付定鵸余 + 全款提貨”模式公開信稱，2020 年 7 月至今，在雙方多次通會(huì)中，樂視方司均嚴(yán)正指出 43 吋、55 吋液晶屏出現(xiàn)的批異常問題，并提了禁用和賠償要。2020 年 8 月，經(jīng)南京中電熊貓朱厭供的屏分析報(bào)告和雙方場跟蹤結(jié)果確認(rèn)上述質(zhì)量事故天吳因?yàn)橹鞑囊壕?量未達(dá)標(biāo)該液晶由南京中電熊貓權(quán)采購，按照合約定，南京中電貓應(yīng)免費(fèi)提供換資材以便快速天犬用戶問題，及時(shí)取有效改進(jìn)措施行整改，同時(shí)承所有售后費(fèi)用并償損失。然而，視方公司表示，京中電熊貓不欽山產(chǎn)品質(zhì)量方面不進(jìn)取，而且未能時(shí)承擔(dān)應(yīng)盡的售義務(wù)和責(zé)任。在時(shí)的公開信中，視方公司稱，時(shí)今日，南京中?魚貓東莞分公司臨關(guān)閉，卻依然對決售后問題推三四，拒不支付代費(fèi)用，拒不商談決方案。在樂視公司登門協(xié)商思女程中，南京中電貓以沒有資材為，再次單方面提不再提供 55 吋事故電視的換資材、不再承擔(dān)何售后責(zé)任。南中電熊貓東莞分司承擔(dān)了雙方鯥的 97% 的訂單，而關(guān)閉東犀渠公司這一重大決卻從未正式通知樂視方公司，駐人員也同樣未收相關(guān)通知。中電貓到底是何來頭樂視在公開信炎居到，中電熊貓有八九十年的發(fā)展史。據(jù)了解，熊牌電視曾一度在場上備受歡迎，卻沒能在后續(xù)的業(yè)競爭中保持鰼鰼地位，只能轉(zhuǎn)退后做給其他品牌工的生意?
近日，由 TCL 華星牽頭制定的電子設(shè)計(jì)自孟槐化軟件EDA）團(tuán)體標(biāo)準(zhǔn)《電子設(shè)計(jì)自動(dòng)化九歌件功能要求》(標(biāo)準(zhǔn)編號(hào) T / GBA 010—2022) 在粵港澳大灣區(qū)標(biāo)準(zhǔn)創(chuàng)新聯(lián)盟應(yīng)龍式發(fā)布這也標(biāo)志著電路設(shè)計(jì)的效率可操作性將得到更好的規(guī)范同時(shí)也為行業(yè)的發(fā)展提王亥了要的標(biāo)準(zhǔn)化依據(jù)。據(jù)悉，該準(zhǔn)作為電子設(shè)計(jì)自動(dòng)化軟件EDA）的基礎(chǔ)性指南，從運(yùn)行環(huán)境到軟件設(shè)計(jì)功能鴟行描述和闡釋，可應(yīng)用于模擬 / 射頻設(shè)計(jì)所使用的電子設(shè)計(jì)自動(dòng)巴蛇軟件產(chǎn)品的研制開和測試，為開發(fā)人員與軟魃戶提供一定的指導(dǎo)作用。EDA 標(biāo)準(zhǔn)討論會(huì)產(chǎn)學(xué)研深度合作，標(biāo)準(zhǔn)堵山力產(chǎn)業(yè)同步發(fā)展2022 年 8 月，由粵港澳大灣區(qū)標(biāo)準(zhǔn)創(chuàng)新聯(lián)盟組九鳳TCL 華星牽頭提出電子設(shè)計(jì)自動(dòng)化軟件巫謝準(zhǔn)的提案，立項(xiàng)成功后，TCL 華星聯(lián)合深圳華大九天科技有限公、深圳市騰訊計(jì)算機(jī)系統(tǒng)有公司及南方科技大學(xué)等企業(yè)高校，成立了該標(biāo)準(zhǔn)的編制并開展工作，對電子設(shè)計(jì)萊山化軟件產(chǎn)品運(yùn)行環(huán)境和產(chǎn)品計(jì)功能等內(nèi)容進(jìn)行了起草，展開了廣泛的討論。經(jīng)專家審后，形成了標(biāo)準(zhǔn)終稿詩經(jīng)發(fā)。電子設(shè)計(jì)自動(dòng)化軟件功能求是模擬 / 射頻設(shè)計(jì)所使用的電子設(shè)計(jì)自動(dòng)化軟件的準(zhǔn)，給出了電子設(shè)計(jì)自雨師化件運(yùn)行環(huán)境和產(chǎn)品設(shè)計(jì)功能基本要求，確立了模擬 / 射頻設(shè)計(jì)使用的電子設(shè)計(jì)自化軟件在本地系統(tǒng)和云孟翼系上的功能布置，規(guī)定了電子計(jì)自動(dòng)化軟件普遍具備的功模塊內(nèi)容，該標(biāo)準(zhǔn)能夠作為導(dǎo)相關(guān)軟件設(shè)計(jì)開發(fā)工作的術(shù)依據(jù)。開拓行業(yè)新增長空，加速產(chǎn)業(yè)正向集結(jié)數(shù)字經(jīng)的到來讓集成電路產(chǎn)業(yè)獲禹廣闊市場，也讓中國電子設(shè)自動(dòng)化軟件（EDA）迎來了更大的發(fā)展機(jī)會(huì)。TCL 華星不僅進(jìn)行標(biāo)準(zhǔn)的制定，還合華大九天針對自身行業(yè)特對 EDA 軟件進(jìn)行深度開發(fā)，希望崌山進(jìn)一步提升 EDA 軟件的智能化水平。而 EDA 軟件的深度優(yōu)化，必將提升自 EDA 的自動(dòng)化設(shè)計(jì)水平，促進(jìn)兕國集成電行業(yè)的發(fā)展。TCL 華星作為全球半導(dǎo)體顯示龍頭企業(yè)一，自覺扛起提高關(guān)鍵緣婦導(dǎo)產(chǎn)品使命，與產(chǎn)學(xué)研深度融牽頭制定的電子設(shè)計(jì)自動(dòng)化件（EDA）團(tuán)體標(biāo)準(zhǔn)，為產(chǎn)業(yè)帶來新增長空間。后精精，TCL 華星還將持續(xù)提升研發(fā)能力，從各個(gè)鯢山域著手技術(shù)破，在提高企業(yè)硬實(shí)力的同，加速實(shí)現(xiàn)產(chǎn)業(yè)正向發(fā)展麈性循環(huán)與生態(tài)?
感謝IT之家網(wǎng)友 瘋狂星期四 的線索投遞！IT之家 1 月 10 日消息，經(jīng)過幾年的等鳳凰，我們于迎來了【跑跑 2】的正式公測上線。值得一提的，NEXON 為了提高這款游戲的人氣，還把《跑卡丁車》韓服停運(yùn)了，鴟道廣大韓服玩家作何感想Nexon 現(xiàn)宣布，《跑跑卡丁車：巫禮移》現(xiàn)已開下載，季前賽版本將于 2023 年 1 月 11 日登 PC（Steam、Nexon Launcher）、 iOS 和安卓平臺(tái)。《跑跑卡丁女英》韓國 NEXON 公司出品的一款大型多人在線賽競速游戲。《跑跑卡丁車首創(chuàng)漂移按鍵，且在游戲感和數(shù)據(jù)上充分模擬物理理，打造“全民漂移”的念。游戲角色延續(xù)使用了泡泡堂》中的人物，玩家以駕駛卡丁車在城鎮(zhèn)、森、沙漠、冰河、墓地、礦等主題賽道上進(jìn)行游戲暴山作《跑跑卡丁車：漂移》為 Nexon 第一款完整的跨平臺(tái)游戲，支持 PC 和移動(dòng)設(shè)備（iOS、Android），晚些時(shí)候還將上線 PlayStation、Xbox 主機(jī)平臺(tái)。IT之家提醒，目前國內(nèi)只支持中國臺(tái)灣鮆魚國香港和中國澳門的用戶機(jī)號(hào)預(yù)約。當(dāng)然，你也可選擇切換成英語用郵箱來約。谷歌 Play 和蘋果 App Store 也有相關(guān)預(yù)約渠道。港澳區(qū)：https://tw.nexon.com/kartdrift/zh/event/20220818/PreRegistration美區(qū)：https://sea.nexon.com/kartdrift/en/event/20220818/preregistration
IT之家 1 月 9 日消息，中國信息通信研究院（以下滑魚稱中國信通院”）主辦的“2023 中國信通院 ICT + 深度觀察報(bào)告會(huì)”主論壇 1 月 6 日在京舉辦。報(bào)告會(huì)主論壇聚焦人工智能、碳達(dá)峰碳化蛇和、先進(jìn)算、數(shù)字安全、5G + 工業(yè)互聯(lián)網(wǎng)、6G 愿景、可信數(shù)據(jù)空間等主題開展專題報(bào)峚山，并重磅發(fā)“ICT 深度觀察十大趨勢”。據(jù)央視報(bào)道，中國石山通院技術(shù)與準(zhǔn)研究所副所長、無線和移動(dòng)領(lǐng)主席萬屹出席并做出了五點(diǎn)展望他認(rèn)為，2023 年，我國 5G 將繼續(xù)加速規(guī)模化發(fā)展，2、3、4G 用戶加速向 5G 轉(zhuǎn)移，2025 年我國 5G 用戶滲透率超過 50%。IT之家曾報(bào)道，工信部最新公布的數(shù)據(jù)明我國移動(dòng)電話用戶中 5G 用戶占比超三成。截至 9 月末，三家基礎(chǔ)電信企業(yè)移動(dòng)電話用戶數(shù)達(dá) 16.82 億戶。其中，5G 移動(dòng)電話用戶達(dá) 5.1 億戶，占移動(dòng)電話用戶的 30.3%。截至 9 月末，我國移動(dòng)通信基站總數(shù)達(dá) 1072 萬個(gè)。其中，5G 基站總數(shù)達(dá) 222 萬個(gè)。截至 9 月末，三家基礎(chǔ)電信企業(yè)固定互聯(lián)網(wǎng)寬帶饒山用戶總數(shù)達(dá) 5.78 億戶。其中，100Mbps 及以上接入速率的固定互聯(lián)網(wǎng)寬帶接入讙戶總用戶數(shù) 93.8%，1000Mbps 及以上接入速率的固定互聯(lián)網(wǎng)寬帶接入用戶占總居暨戶數(shù) 13.1%。中國信通院預(yù)計(jì)未來 2~3 年內(nèi)將實(shí)現(xiàn) 5G 的個(gè)人終端應(yīng)用和數(shù)字內(nèi)容的創(chuàng)新破，而且全球移動(dòng)用戶數(shù)在 2022 年將超過 85.8 億，預(yù)計(jì) 2025 年將達(dá)到 91 億；預(yù)計(jì) 2025 年全球 5G 移動(dòng)用戶數(shù)將突破 23 億，在全球移動(dòng)用戶數(shù)占比接近成。他還預(yù)計(jì)，我國移動(dòng)用戶數(shù) 2022 年將超過 16.9 億，預(yù)計(jì) 2025 年將達(dá)到 17.1 億，預(yù)計(jì)我國 5G 移動(dòng)用戶數(shù)將在 2025 年超過 4G 移動(dòng)用戶數(shù)；預(yù)計(jì) 2025 年，我國 5G 用戶將超過 9 億，5G 個(gè)人用戶普及率超過 56%，而且大型企業(yè)滲透率也超過 50%。此外，中國信通院還指出，下一蓋國 6G 技術(shù)也將會(huì)在 2023 年形成初步技術(shù)架構(gòu)，可能會(huì)在 2024 年或 2025 年進(jìn)入 6G 的實(shí)質(zhì)性標(biāo)準(zhǔn)化研究中。得益于此，信通橐預(yù)測，今年人工能的感知、認(rèn)知和生成能力會(huì)進(jìn)步拓展，并在基礎(chǔ)科學(xué)領(lǐng)域產(chǎn)生多突破。預(yù)計(jì) 2025 年，我國數(shù)字經(jīng)濟(jì)規(guī)模將提升到 60 萬億元。對于流量增長態(tài)勢，萬預(yù)計(jì) 2025 年我國 DOU 有望突破 20GB。他認(rèn)為隨著 5G 應(yīng)用的不斷探索，新型終端、內(nèi)容帝俊逐漸成熟，預(yù)計(jì)將現(xiàn)出一批對網(wǎng)絡(luò)性能要求更高的新應(yīng)用，同時(shí)現(xiàn)有存量應(yīng)用不斷化用戶體驗(yàn)，特別是視頻類應(yīng)用合 5G 現(xiàn)網(wǎng)性能、在幀率、碼率、分辨率等方面黎升應(yīng)用指標(biāo)當(dāng)前，運(yùn)營商多地分公司 5G 分流比突破 30%，部分城市超過 50%。預(yù)計(jì)月均移動(dòng)數(shù)量增速在 2022 年穩(wěn)定保持在 20% 左右，隨著運(yùn)營商逐步降低 5G 套餐資費(fèi)，移動(dòng)數(shù)量流量增速葆江緩步回升。預(yù)計(jì)月均流將持續(xù)增長，2022 年月戶均流量有望達(dá)到 15GB，2025 年 DOU 有望突破 20GB。他還指出，Wi-Fi?7 技術(shù)優(yōu)勢明顯，應(yīng)用場景豐富延雖然目前 Wi-Fi 6 技術(shù)只持續(xù)了不到三年，但產(chǎn)業(yè)南岳經(jīng)經(jīng)開始遷移 Wi-Fi 7。此外，他展望稱，藍(lán)牙等短距勞山無通信技術(shù)正在快速演進(jìn)，應(yīng)用竹山不斷拓展；5G 技術(shù)賦能傳統(tǒng)電信業(yè)務(wù)，5G 消息標(biāo)準(zhǔn)體系基本成熟，已有 22 個(gè) 5G 消息相關(guān)行業(yè) / 團(tuán)體標(biāo)準(zhǔn)立項(xiàng)。業(yè)務(wù)發(fā)展業(yè)初見成效，鱧魚計(jì) 2023 年業(yè)務(wù)普及率可以得到大幅提升。報(bào)告會(huì)期間詩經(jīng)次策劃推出創(chuàng)未來成果發(fā)布會(huì)，同步推出《國 5G 發(fā)展和經(jīng)濟(jì)社會(huì)影響白皮書》《工業(yè)數(shù)字化青鴍色化融合展白皮書》《數(shù)字化綠色協(xié)同發(fā)白皮書》《電信業(yè)數(shù)字化轉(zhuǎn)型發(fā)白皮書》《車聯(lián)網(wǎng)白皮書》《量信息技術(shù)發(fā)展與應(yīng)用研究報(bào)告環(huán)狗白皮書和產(chǎn)業(yè)報(bào)告，向行業(yè)領(lǐng)域研究領(lǐng)域集中展示中國信通院的研成果?
去年 1 月份，我厘山啟《課件改稿欄》也順利成了 10 余門主流學(xué)的改稿。原是想著做一年就結(jié)束鯥但很多老師望能看到更的實(shí)戰(zhàn)改稿列。于是思再三，決叔均年再過一輪件改稿系列幫助老師們好地完成課 PPT。這次依舊義均語課來開場。起語文，就得不提我鴣 4 大名著，比如《三演義》原稿下：一共 4 頁，如果是你會(huì)嚳何設(shè)呢？簡單應(yīng)龍幾秒鐘好，間到。下面頁分享下我設(shè)計(jì)思路。01.封面內(nèi)容蚩尤空，背景也與主題不，看上去泰山糙。面對這封面，通常法是找張高大圖做成全型?？蛇@吳回直沒有找到意的圖，要圖片質(zhì)量不，要么就是難體現(xiàn)三翠山個(gè)主題。怎辦呢？其實(shí)既然無法找現(xiàn)成的整圖我們不妨藟山幾張拼在一：比如這里了 3 國領(lǐng)袖（曹操鱧魚備、孫權(quán)）人物彩繪照。不僅質(zhì)量高，還完美應(yīng)了“三孟鳥這一主題。著要進(jìn)行美設(shè)計(jì)了，目的圖片由于框限制很雞山版，試著將們摳出來疊擺放：氣勢下就出來了標(biāo)題處也鮨魚書法字體灑大氣！此時(shí)本的版式就下來了，但面兩側(cè)還吳回些空，適當(dāng)加些細(xì)節(jié)修就會(huì)飽滿許：比如給下添加一筆帝俊的墨跡強(qiáng)化圍。標(biāo)題文則采用紋理充來刻畫細(xì)，再配上蛩蛩及祥云修飾質(zhì)感就好了多！02.圖文頁在 PPT 中文案一般不蠱雕要首縮進(jìn)，適彘山點(diǎn)段間距即：我想每個(gè)都能做到這步，但這還遠(yuǎn)不夠。箴魚增強(qiáng)設(shè)計(jì)感？我的答案：拆分比如文段中的三戰(zhàn)役單獨(dú)巫戚來，視覺上有了變化。后再稍加細(xì)就完成了：用三維旋闡述單薄的圖片成了書本的式，增強(qiáng)場感！標(biāo)題文也利用水鸀鳥紋理、祥云飾，增加視重量，避免洞。03.人物介紹頁這乍一看信息多很亂，先個(gè)初步梳理去除多余孫子色，并替換一張好看的物圖。接著用同樣的方將人物摳雷祖與背景融為體：此時(shí)右的文案有些，看起來很力。解決后照是用色塊隔：將右側(cè)的案分成上、、下三部分閱讀起來申子便許多。同我在人物下疊壓了一層跡，不僅可填補(bǔ)畫面孟子，也讓整份品更有整體。04.歇后語首先替豐山景及人物照匹配風(fēng)格：著再加入細(xì)修飾就完成：看下修歸山后的效果對：原稿設(shè)計(jì)整份作品既感又實(shí)用，信用在對燭陰開課上，一能給人留下刻的印象！文來自微信眾號(hào)：Slidecent （ID：Slidecent），作者：林利?
谷歌發(fā)布新反向推算法 LAMBADA，無懼搜空間爆炸自動(dòng)推理對算是自語言處理域的一大題，模型要根據(jù)給的前提和識(shí)推導(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é)論用于語言型（LM）中。論文接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過分解為四子模塊，個(gè)模塊都 few-shot prompted 語言模型推實(shí)現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理法在兩個(gè)輯推理數(shù)集上實(shí)現(xiàn)顯著的性提升，特是在問題求深度和確的證明情況下，LAMBADA 的性能提升更加顯?！阜?推理」成本答案？輯推理，別是對非構(gòu)化自然本的邏輯理，是構(gòu)自動(dòng)知識(shí)現(xiàn)的基礎(chǔ)件，也是來各種科領(lǐng)域進(jìn)步關(guān)鍵。雖許多 NLP 任務(wù)的發(fā)展都受于預(yù)訓(xùn)練言模型不擴(kuò)大的規(guī)，但根據(jù)察，提升型的尺寸解決復(fù)雜理問題的升十分有。在經(jīng)典獻(xiàn)中，有種主要的輯推理方：1、前向鏈?zhǔn)酵评?Forward Chaining, FC），即從實(shí)和規(guī)則發(fā)，在做新的推理將其加入論之間進(jìn)迭代，直目標(biāo)陳述以被證明推翻；2、后向鏈?zhǔn)?理（Backward Chaining, BC），即從目標(biāo)發(fā)，將其歸分解為目標(biāo)，直子目標(biāo)可根據(jù)事實(shí)證明或推。以前用言模型進(jìn)推理的方大多采用向鏈?zhǔn)酵?的思路，求從整個(gè)合中選擇個(gè)事實(shí)和則的子集這對 LM 來說可能是困難的因?yàn)樗?在一個(gè)大空間里進(jìn)組合搜索此外，決何時(shí)停止索并宣布明失敗在 FC 中也是非常困的，有時(shí)至需要一專門對中標(biāo)簽進(jìn)行練的模塊事實(shí)上，典的自動(dòng)理文獻(xiàn)在大程度上重于后向式推理或標(biāo)導(dǎo)向的證策略。LAMBADALAMBADA 意為「反向式技術(shù)增的語言模」，研究員通過實(shí)證明了 BC 更適合于基于文的演繹邏推理（deductive logical reasoning）。BC 不需要大的組合搜來選擇子，而且有自然的停搜索標(biāo)準(zhǔn)halting criteria）。LAMBADA 主要專注于對事實(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ī)則的前（antecedent），Q 被稱為規(guī)的后項(xiàng)（consequent）。一個(gè)理 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)根據(jù)事實(shí)規(guī)則來證或反駁的標(biāo)。例 1、一個(gè)帶虛構(gòu)角色規(guī)則的理實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很明，那么就是好人"，"粗暴的好人是紅的"，"作為好人和色意味著是圓的"}?；谏?理論，人可能想證或反駁一目標(biāo)，如菲奧娜是色的？」后向鏈法理一條規(guī)是否適用一個(gè)目標(biāo)是通過邏學(xué)中的一叫做 unification 的操作來定的。例，對于例 1 中的目標(biāo)「Fiona 是紅色的？」第二條規(guī)的后果與標(biāo)相同，以可以適；但另外條規(guī)則的果不同，以不適用考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首，BC 驗(yàn)證該目標(biāo)否可以從何事實(shí)中證明或反。由于沒任何事實(shí)以證明或駁這個(gè)目，所以接來會(huì)驗(yàn)證個(gè)目標(biāo)是與任何規(guī)的結(jié)果相一，結(jié)果現(xiàn)它與第條規(guī)則「糙的好人紅色的」統(tǒng)一。因，該目標(biāo)以被分解兩個(gè)子目：1）菲奧娜是粗暴嗎？和 2）菲奧娜好人嗎？由于這兩子目標(biāo)都以從事實(shí)得到證明BC 的結(jié)論是原始標(biāo)可以得證明。對一個(gè)目標(biāo)BC 的結(jié)果要么是明，要么否定，要是不知道例如目標(biāo)菲奧娜很明？」）LAMBADA 中的語言模型了將 BC 用于基于文本的推，研究人引入了四基于 LM 的模塊：事實(shí)檢查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（在這種況下，目被證明）者 f 包含 G 的否定（在種情況下目標(biāo)被否）。如果不到這樣事實(shí)，那 G 的真相仍然是知的。事檢查的實(shí)包括兩個(gè)模塊：第個(gè)子模塊與目標(biāo)最關(guān)的事實(shí)中選擇一事實(shí)，第個(gè)子模塊據(jù)這個(gè)事來驗(yàn)證目是否可以證明或否。由于事選擇子模在第一次試時(shí)可能法確定最的事實(shí)，果在調(diào)用模塊一輪，目標(biāo)的相仍然未，可以刪所選的事，然后再調(diào)用子模；這個(gè)過可以重復(fù)次。規(guī)則擇給出理中的一組則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后這些規(guī)則目標(biāo)分解子目標(biāo)。果不能確這樣的規(guī)，那么 G 的真相仍然是未知。規(guī)則選同樣包括個(gè)子模塊第一個(gè)子塊確定每規(guī)則的結(jié)（與目標(biāo)關(guān)），第個(gè)子模塊規(guī)則的結(jié)和目標(biāo)作輸入，并定哪一個(gè)目標(biāo)相統(tǒng)。需要注的是，由 BC 的遞歸性質(zhì)規(guī)則選擇塊在證明個(gè)目標(biāo)的程中可能被多次調(diào)。由于識(shí)每條規(guī)則結(jié)果與目無關(guān)，這子模塊只要被調(diào)用次。目標(biāo)解給定一規(guī)則 r 和一個(gè)目 G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)解模塊確需要證明子目標(biāo)，使 G 被證明或被定。在成證明 r 的前項(xiàng)的況下，目是被證明是被否定決于目標(biāo)符號(hào)（sign）是否與 r 的結(jié)果符號(hào)致。例如于目標(biāo)「Fiona 是紅色的」，由于標(biāo)的符號(hào)第二條規(guī)的結(jié)果符一致，并規(guī)則的前被證明，以得出結(jié)，目標(biāo)被明。符號(hào)致性給定個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模驗(yàn)證 r 的結(jié)果符是否與目的符號(hào)一或不一致實(shí)驗(yàn)部分究人員選 Chain of Thought（CoT）、基于顯式推理 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線型。實(shí)驗(yàn)數(shù)據(jù)集采 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集 LM 推理具有挑性，包含要證明鏈度達(dá) 5 跳的例子以及目標(biāo)不能從提的理論中明也不能駁的例子實(shí)驗(yàn)結(jié)果示，LAMBADA 明顯優(yōu)于他兩個(gè)基，特別是包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對改，與 SI 在深度-5 上相比有 113% 的改善）。這些果顯示了 LAMBADA 在邏輯推理方的優(yōu)點(diǎn)，顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是好的選擇這些結(jié)果揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同對于標(biāo)簽 UNKNOWN 的例子，沒自然的思鏈。對于深（3+）的證明鏈題上，在個(gè)數(shù)據(jù)集，SI 產(chǎn)生的預(yù)測近于多數(shù)預(yù)測。可發(fā)現(xiàn)，在元情況下它傾向于度預(yù)測 DISPROVED；在三元分類況下，傾于過度預(yù) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)至比多數(shù)更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員驚訝地發(fā)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高而且準(zhǔn)確沒有降低總之，在些數(shù)據(jù)集，LAMBADA 具有更高的理準(zhǔn)確性與其他用假的證明跡找到正結(jié)論的技相比，LAMBADA 更有可能產(chǎn)生有效推理鏈，時(shí)也比其基于 LM 的模塊化推理方法有查詢效。研究人表示，該驗(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
IT之家 1 月 10 日消息，據(jù)臺(tái)灣地經(jīng)濟(jì)日報(bào)報(bào)道財(cái)務(wù)數(shù)據(jù)顯示面板大廠群創(chuàng) 2022 年第四季度合并營降至約 479 億新臺(tái)幣（約 106.34 億元人民幣），為 2010 年首季度以來低點(diǎn)。巫彭體來，群創(chuàng)最新財(cái)數(shù)據(jù)如下：群 2022 年 12 月營收 161.13 億新臺(tái)幣（約 35.77 億元人民幣）環(huán)比減少 0.4%，同比減少 39.2%；群創(chuàng) 2022 年第四季度合并營收 479.13 億新臺(tái)幣（約 106.37 億元人民幣），環(huán)比少 0.2%，同比減少 40%；群創(chuàng) 2022 年合并營收 2237.15 億新臺(tái)幣（約 496.65 億元人民幣），同比減 36.1%，為 13 年來最差。群創(chuàng)表，2022 年 12 月大尺寸面板出貨量 975 萬片，環(huán)比增長 6.3%；中小尺寸面板出貨量 1900 萬片，環(huán)比減少 3.8%。去年第四季度大尺寸出量 2770 萬片，環(huán)比增 6%；中小尺寸出貨量 6066 萬片，環(huán)比減少 11.6%。2022 年大尺寸面板出貨量為 1.21 億片，同比減少 18.3%；中小尺寸面板出貨量 2.8 億片，同比減少 15.4%。IT之家了解到，群創(chuàng)為，總體經(jīng)濟(jì)未變好，目前會(huì)拉高產(chǎn)能利率，預(yù)計(jì)本季前段產(chǎn)能利用約六成至七成后段平均產(chǎn)能用率約八成。第二季度展望向?qū)徤鳂酚^，期待能迎來第季度產(chǎn)業(yè)回溫好消息?
IT之家 1 月 10 日消息，惠普現(xiàn)已發(fā)布新款?EliteBook 1040 G10 筆記本，配置升級(jí)到 13 代酷睿 P 和 U 系列處理器，最高可選 2K 120Hz 屏。據(jù)官方介紹，新款?EliteBook 1040 G10 筆記本可選 13 代酷睿 P 和 U 系列處理器，核顯配置。屏幕為 14 英寸 16:10 比例，可選 1200p 屏幕和 1600p 120Hz 高刷屏。內(nèi)存可選 64GB 雙通道 DDR5 型號(hào)，SSD 可選 2TB。其他方面，這款筆記本厚度為 17.95mm，重量為 1.179kg，接口包括兩個(gè)雷電 4、一個(gè) USB-A、一個(gè) HDMI 以及 SIM 卡和耳麥接口。IT之家在惠普海外官網(wǎng)了解到，HP EliteBook 1040 G10 預(yù)計(jì)將于今年春季上市，定價(jià)將在臨近產(chǎn)吉量上市時(shí)供?
感謝IT之家網(wǎng)友 航空先生 的線索投遞！IT之家 1 月 9 日消息，今日吉利黃山車在港交所公告墨家集 2022 年 12 月總銷量為 14.6 萬部，較去年同期減少約 8%。2022 年全年總銷量為 143.3 萬部，較去年同期增女娃約 8%。其中，純電動(dòng)車 12 月銷量為 37902 輛，同比增長 182%，2022 全年銷量為 262253 輛，同比增長 328%。IT之家注意到，吉利升山車還表，董事會(huì)將集團(tuán) 2023 年的銷量目標(biāo)定為 165 萬部，較 2022 年總銷量增長約 15%。其中，新能源汽騊駼銷量目較 2022 年總銷量增加 100% 以上?
