verisium ai-driven verification platform 文章進(jìn)入verisium ai-driven verification platform技術(shù)社區(qū)

專訪沈向洋：未來人與AI交互將達(dá)到萬億級(jí)別主體數(shù)目超過人類

小冰公司董事長、原微軟全球執(zhí)行副總裁沈向洋　　上個(gè)月，微軟官宣了小冰從微軟拆分為獨(dú)立公司運(yùn)營，并委任沈向洋為新公司董事長。小冰似乎一夜之間就從商業(yè)帝國的公主千金變成了需要操心過日子的“出嫁小媳婦”。也許對(duì)微軟來說是時(shí)候要松開懷抱，讓那個(gè)Windows里古靈精怪的少女長大了?！　?月20日，小冰第八代正式推出，這也是小冰從微軟獨(dú)立后的首次亮相。小冰團(tuán)隊(duì)正式公布了面向個(gè)人用戶的第一個(gè)虛擬人類產(chǎn)品線，同時(shí)還發(fā)布了面向個(gè)人用戶的“X套件”系列應(yīng)用軟件等多個(gè)新產(chǎn)品。目前小冰虛擬人類產(chǎn)品線已經(jīng)支持華為、小米、微博三大
關(guān)鍵字： AI 交互小冰

格芯贏得AI芯片業(yè)務(wù)

像Nvidia這樣的芯片巨頭可以負(fù)擔(dān)得起7nm技術(shù)，但初創(chuàng)公司和其他規(guī)模較小的公司卻因?yàn)閺?fù)雜的設(shè)計(jì)規(guī)則和高昂的流片成本而掙扎不已——所有這些都是為了在晶體管速度和成本方面取得適度的改善。格芯的新型12LP+技術(shù)提供了一條替代途徑，通過減小電壓而不是晶體管尺寸來降低功耗。格芯還開發(fā)了專門針對(duì)AI加速而優(yōu)化的新型SRAM和乘法累加(MAC)電路。其結(jié)果是，典型AI運(yùn)算的功耗最多可減少75%。Groq和Tenstorrent等客戶已經(jīng)利用初代12LP技術(shù)獲得了業(yè)界領(lǐng)先的結(jié)果，首批采用12LP+工藝制造的產(chǎn)品將于
關(guān)鍵字： AI CNN SRAM CPU 芯片

AI識(shí)別病蟲害在線診斷“疑難雜癥”

“我們的產(chǎn)品‘識(shí)農(nóng)’將人工智能技術(shù)應(yīng)用于農(nóng)作物病蟲害的診斷，識(shí)別率能達(dá)到90%以上?！苯眨钲谑凶R(shí)農(nóng)智能科技有限公司CEO謝秋發(fā)在接受經(jīng)濟(jì)日?qǐng)?bào)-中國經(jīng)濟(jì)網(wǎng)采訪時(shí)表示。謝秋發(fā)介紹說：“目前我們主要是聚焦于柑橘、葡萄、蘋果還有雜草的識(shí)別，我們希望通過人工智能技術(shù)為中國以及國外廣大的農(nóng)戶解決農(nóng)作物‘看病難’的問題。我們APP分為中文和英文兩個(gè)版本，目前在國外有50多個(gè)國家的用戶?！睂?duì)于在巴基斯坦的推廣，謝秋發(fā)表示，中巴有著非常深厚的傳統(tǒng)友誼，希望能將這款產(chǎn)品介紹給巴基斯坦朋友，幫助他們解決實(shí)際的困難：“我們希
關(guān)鍵字： AI 識(shí)別病蟲害在線診斷

世界最大AI處理器升級(jí)7nm工藝：85萬核心、2.6萬億晶體管

NVIDIA的A100加速卡的GA100核心是目前最強(qiáng)大的7nm芯片之一，826mm2面積、540億晶體管，然而在CerebrasSystems的WSE芯片面前，GA100核心也只是個(gè)小弟弟，更何況現(xiàn)在WSE2代也來了。NVIDIA的A100加速卡的GA100核心是目前最強(qiáng)大的7nm芯片之一，826mm2面積、540以晶體管，然而在CerebrasSystems的WSE芯片面前，GA100核心也只是個(gè)小弟弟，更何況現(xiàn)在WSE2代也來了。CerebrasSystems是一家新興的AI芯片公司，他們做產(chǎn)品的思
關(guān)鍵字： AI 處理器 7nm

改變千百個(gè)行業(yè)：華為Atlas AI全棧軟件平臺(tái)揭秘

近日，在主題為“昇騰萬里，讓智能無所不及”的HAI2020昇騰AI新品全球發(fā)布會(huì)上，華為正式發(fā)布了Atlas AI全棧軟件平臺(tái)。更為值得關(guān)注的是，華為還打造封裝了華為在行業(yè)AI領(lǐng)域的基礎(chǔ)算法和經(jīng)驗(yàn)積累的行業(yè)SDK。一、AI已成推動(dòng)社會(huì)發(fā)展的關(guān)鍵引擎近年來，隨著芯片算力的不斷提升和數(shù)據(jù)量的爆炸式增長，人工智能（AI）技術(shù)也得到了前所未有的高速發(fā)展。特別是在2016年，谷歌AlphaGo人工智能成功戰(zhàn)勝圍棋世界冠軍李世石之后，AI技術(shù)開始受到了全世界的關(guān)注和重視。最新的數(shù)據(jù)顯示，目前全球已經(jīng)有超過50多
關(guān)鍵字：華為 Atlas AI

現(xiàn)實(shí)版黑客帝國！AI能給氣味編程了，想要啥味要啥味

就像從色彩中提煉出“三原色”，具有神經(jīng)網(wǎng)絡(luò)的圖形是將氣味關(guān)系定量建模的一種合適的方法，在這方面，氣味可以被標(biāo)記為多個(gè)分類標(biāo)簽，研究人員稱之為“氣味嵌入”。智東西8月17日?qǐng)?bào)道，想象一下，有一天電子產(chǎn)品可以模擬人的大腦識(shí)別并區(qū)分氣味，隨時(shí)提醒你周圍的氣味異常助你及時(shí)了解情況；或是在看電影的時(shí)候精確地對(duì)應(yīng)屏幕中的畫面聞到相應(yīng)的味道；甚至可以通過平板電腦上配備的氣味按鍵，幫助盲人通過氣味挑選菜品，這種感覺想想都覺得既方便又美妙。圖像和聲音的網(wǎng)絡(luò)化傳輸多數(shù)人已經(jīng)司空見慣，而氣味是不是也可以進(jìn)行網(wǎng)絡(luò)化識(shí)別傳輸呢？但
關(guān)鍵字： AI 氣味神經(jīng)網(wǎng)絡(luò)

IBM推首款7nm服務(wù)器芯片！三星代工，AI推理速度飚20倍

8月17日消息，今天，IBM宣布新一代服務(wù)器中央處理器（CPU）IBM POWER10。這是IBM首款采用三星7nm工藝的商業(yè)化處理器，號(hào)稱處理器能效和工作負(fù)載容量密度較上一代POWER9提高多達(dá)3倍，INT8 AI推理峰值性能是POWER9的20倍?！鳬BM POWER10在INT8數(shù)據(jù)格式下的AI推理性能可達(dá)POWER9的20倍據(jù)IBM介紹，POWER10經(jīng)五年設(shè)計(jì)，擁有數(shù)百項(xiàng)新專利和正在申請(qǐng)的專利，是IBM POWER路線圖的重要進(jìn)展，基于POWER10的系統(tǒng)有望在2021年下半年推出。此前IBM
關(guān)鍵字： IBM 7nm AI

IBM POWER10 處理器亮相：7nm 工藝，比上一代芯片 AI 性能快 20 倍

經(jīng)過五年打磨，IBM 今日對(duì)外展示了其下一代 IBM POWER 系列數(shù)據(jù)中心 CPU——IBM POWER10，IBM 將利用外部芯片工廠與英特爾公司展開競(jìng)爭(zhēng)?！?圖源 IBM官方表示，該處理器旨在提供一個(gè)滿足企業(yè)混合云計(jì)算獨(dú)特需求的平臺(tái)，其采用三星 7nm 工藝制成，預(yù)計(jì)處理器能效、工作負(fù)載容量和容器密度將比 IBM POWER9 提高 3 倍。此外，Power 10 內(nèi)置了嵌入式矩陣數(shù)學(xué)加速器 (Matrix Math Accelerator)。其在單槽計(jì)算方面，可提供相比 Power 9 快 10
關(guān)鍵字： IBM POWER10 處理器 7nm AI

IBM聯(lián)合輝瑞開發(fā)AI算法可遠(yuǎn)程診斷帕金森病嚴(yán)重程度

　　今后，只要佩戴可穿戴式設(shè)備，老年人就能足不出戶檢測(cè)自己是否患有帕金森病，并能清晰知道自己的嚴(yán)重程度。　　近日，IBM與輝瑞公司（Pfizer）等機(jī)構(gòu)合作開發(fā)了一種新算法，可以利用AI遠(yuǎn)程分析人體運(yùn)動(dòng)數(shù)據(jù)，從而判斷其患帕金森病的嚴(yán)重程度。相關(guān)研究成果已發(fā)表在自然（Nature）出版集團(tuán)旗下刊物《科學(xué)報(bào)告》（Scientific Reports）上?！　∨两鹕∈且环N常見的神經(jīng)系統(tǒng)變性疾病，主要癥狀為震顫、肢體僵硬、運(yùn)動(dòng)遲緩和步態(tài)障礙等。目前沒有檢驗(yàn)方法能有效確認(rèn)一個(gè)人是否患有帕金森病。用于評(píng)估帕金森病嚴(yán)
關(guān)鍵字：可穿戴式設(shè)備 IBM 輝瑞公司 AI

Dialog宣布其EcoXiP? Octal xSPI閃存兼容瑞薩高性能RZ/A2M微處理器

領(lǐng)先的電源管理、充電、AC/DC電源轉(zhuǎn)換、Wi-Fi、低功耗藍(lán)牙（BLE）技術(shù)供應(yīng)商 Dialog半導(dǎo)體公司今天宣布，其收購Adesto Technologies后新增的產(chǎn)品EcoXiP? octal xSPI非易失性存儲(chǔ)器（NVM）已經(jīng)過優(yōu)化，將與瑞薩電子基于Arm?的 RZ/A2M 微處理器（MPU）搭配使用。RZ/A2M是專為智能家電、服務(wù)機(jī)器人、工業(yè)機(jī)器等應(yīng)用中的嵌入式AI高速圖像處理而設(shè)計(jì)，業(yè)內(nèi)功耗最低的octal xSPI NOR閃存器件EcoXiP將
關(guān)鍵字： MPU BLE NVM DRP AI

又被AI騙了！73%的人無法分辨“真假”音效

　　又一次，AI 欺騙了人類?！　≡谝淮卧囼?yàn)中，AI 讓 73% 的人相信 AI 合成音效是真實(shí)的。這一最新研究成果有望應(yīng)用于電影、電視劇等影視制作工作中?！　∠胂笠幌?，假如你正在看一部恐怖片：女主戰(zhàn)戰(zhàn)兢兢地走在黑暗的地下室中，背景音樂十分恐怖，同時(shí)一些看不見的邪惡生物也在黑暗中蠕動(dòng)，然后突然一聲巨響，一個(gè)物體被撞倒了…… 如果沒有這種令人緊張又恰到好處的音效，只通過眼睛看到的場(chǎng)景很難讓人產(chǎn)生這種恐懼感?！　⊥ǔ?，這些音效是由錄音室中的
關(guān)鍵字： AI 合成音效模型

矩陣元算法科學(xué)家謝翔：Rosetta如何連接隱私計(jì)算與AI？

大家好，我是謝翔，來自矩陣元。今天很高興能夠與大家分享矩陣元最近的一些研究成果。主要的方向是隱私計(jì)算，以及基于密碼學(xué)的隱私開源框架—Rosetta。隱私計(jì)算時(shí)代來臨？目前數(shù)據(jù)面臨著一些挑戰(zhàn)。隨著數(shù)字化的發(fā)展，數(shù)據(jù)量指數(shù)級(jí)增加，一些核心的、關(guān)鍵的數(shù)據(jù)保護(hù)做得遠(yuǎn)遠(yuǎn)不夠。目前來看，隨著數(shù)據(jù)的生產(chǎn)要素化，不論國內(nèi)國外對(duì)整個(gè)數(shù)據(jù)相關(guān)方向的關(guān)注程度越來越高，當(dāng)然其中也有越來越多的挑戰(zhàn)。而眾多挑戰(zhàn)之中我們認(rèn)為其中最關(guān)鍵的一點(diǎn)就是數(shù)據(jù)隱私。從AI的角度來看，AI需要用數(shù)據(jù)來“喂”，只有通過足夠多的數(shù)據(jù)或多樣化的數(shù)據(jù)，才能
關(guān)鍵字：矩陣元算法 Rosetta 隱私計(jì)算 AI

地平線提出MAPS評(píng)測(cè)方法，重新定義芯片AI性能

“地平線提供一個(gè)新的方法用以評(píng)估芯片的AI真實(shí)性能 -- MAPS (Mean Accuracy-guaranteed Processing Speed)，針對(duì)應(yīng)用場(chǎng)景的特點(diǎn)，在精度有保障的前提下，包容所有與算法相關(guān)的選擇，評(píng)估芯片對(duì)數(shù)據(jù)的平均處理速度。希望以此為業(yè)界同行提供一個(gè)評(píng)估芯片AI真實(shí)性能的全新視角?！钡仄骄€聯(lián)合創(chuàng)始人兼技術(shù)副總裁黃暢博士在8月8日，2020全球人工智能和機(jī)器人峰會(huì)（2020 CCF-GAIR）AI芯片專場(chǎng)發(fā)表演講時(shí)，提出重新定義芯片AI性能的
關(guān)鍵字：地平線 MAPS AI

人臉識(shí)別出錯(cuò)導(dǎo)致無辜路人被捕，但被AI冤枉過的可能不只他一個(gè)

　　美國一名男子被 AI 列為一起盜竊案的嫌疑人。盡管調(diào)查報(bào)告明確指出，人臉識(shí)別匹配只能作為調(diào)查線索，不是明確證據(jù)，當(dāng)?shù)鼐饺匀粚⑺?。這是已知的第一宗在美國發(fā)生的同類案件，但他可能未必是第一個(gè)被冤枉的人。圖片來源：Sarah Grillo / Axios　　對(duì)于威廉姆斯（Robert Julian-Borchak Williams）來說，今年 1 月糟糕的部分不只有新冠疫情的出現(xiàn)，還有一通來自警察局的電話?！　∧?/li>
關(guān)鍵字：人臉識(shí)別 AI 算法

Microchip推出全新8通道Flashtec PCIe 第四代企業(yè)級(jí)NVMe?固態(tài)硬盤控制器

隨著數(shù)據(jù)中心支持的人工智能（AI）和機(jī)器學(xué)習(xí)（ML）工作負(fù)載越來越多，市場(chǎng)需要具備更寬存儲(chǔ)帶寬和更高單機(jī)架存儲(chǔ)密度的云級(jí)別基礎(chǔ)設(shè)施。因此，市場(chǎng)的趨勢(shì)是按照如M.2和全球網(wǎng)絡(luò)存儲(chǔ)工業(yè)協(xié)會(huì)（SINA）新推出的企業(yè)和數(shù)據(jù)中心固態(tài)硬盤外形尺寸（EDSFF） E1.S等行業(yè)標(biāo)準(zhǔn)，采用體積更小、且支持第四代PCIeò的非易失性存儲(chǔ)器高速（NVMe?）固態(tài)硬盤。這些固態(tài)硬盤要求控制器具備體積小和低功耗的特點(diǎn)，能驅(qū)動(dòng)NAND閃存發(fā)揮最大潛力，同時(shí)保持這種企業(yè)級(jí)NVMe固態(tài)硬盤所需的豐富功能集和可靠性。Microchip
關(guān)鍵字： QLC TLC AI ML SINA IOPS

共2501條 73/167 |‹ « 71 72 73 74 75 76 77 78 79 80 » ›|

verisium ai-driven verification platform介紹

您好，目前還沒有人創(chuàng)建詞條verisium ai-driven verification platform!
歡迎您創(chuàng)建該詞條，闡述對(duì)verisium ai-driven verification platform的理解，并與今后在此搜索verisium ai-driven verification platform的朋友們分享。創(chuàng)建詞條