跳到主要內容

AI趨勢周報第185期:GitHub優化程式碼掃描功能,自動揪出潛在安全漏洞


GitHub用先前開發的程式碼掃描工具CodeQL作為貼標器,用來標註10萬多個開放程式碼庫中的程式碼(安全風險),來訓練AI模型,來揪出使用者程式碼中潛在的安全漏洞。


圖片來源: 

GitHub


重點新聞(0225~0303)


  GitHub     安全漏洞     程式碼掃描  


GitHub優化程式碼掃描功能,自動揪出潛在安全漏洞


GitHub以先前開發的程式碼掃描工具CodeQL為基礎,利用機器學習來強化這個規則式工具,讓它也能揪出較難察覺的潛在安全漏洞。他們先用已訓練的ML模型,來辨識部分程式碼的安全風險,先確認效果。結果顯示,監督式學習效果較好,GitHub接著用CodeQL當作規則,來判斷數百萬的程式碼片段是否安全,等於輕鬆標註10萬多個開放庫中的程式碼。這些資料,也用來開發模型,作為訓練資料集。


GitHub也設計一套方法,來測試模型是否能偵測新漏洞,而非只限於現有的CodeQL規則。他們用之前產生的標籤來訓練模型,再用CodeQL最近偵測的新漏洞來測試模型,測驗召回率為80%。特別的是,GitHub所用的檢測方法,並不是把程式碼視為文本,以NLP方法來辨識,而是用CodeQL規則來辨識特徵,比如存取路徑、API名稱、封閉函式主體等。



Meta AI     推薦系統     TorchRec  


Meta開源用來訓練參數破兆的超大推薦系統函式庫


與NLP和電腦視覺相比,推薦系統相關的開源資源一直是比較少的。Meta旗下AI研究院最近就釋出一款推薦系統專用的領域函式庫,內含常見的稀疏性和平行化基本程式碼,開發者可用來打造大型推薦系統,也能用這個函式庫來訓練模型,特別是擁有跨多GPU的大型嵌入式表格。


TorchRec的架構專為大規模推薦AI而生,更用來驅動Meta內部複雜的推薦模型。比如,Meta用它來訓練一套1.25兆參數的模型,今年1月上線,目前還正訓練一套3兆參數的模型,準備在近期上線。


  防災      屏東縣     行動數據資料庫  


屏東縣政府打造智慧防災系統,分秒就能掌握災情應對


屏東縣政府近日揭露智慧水管理成果,借助大數據分析和AI打造一系列防水災應用系統,將以前需要數天、數小時以上的反應時間,縮短為數分鐘、數秒鐘。


比如,他們有套系統能根據地層下陷區域的淹水深度,來提供快速退水的策略,像是抽水機布設調度和水門操作等。另一個則是全時的預警系統,每小時自動提供未來1至3小時的河道水位早期預警,來保留黃金疏散避難時間。到今年為止,這個預警水系已涵蓋10條共15個鄉鎮。另外也整合34處內水感測器和聊天機器人、智慧定位技術,來打造行動數據資料庫,讓執勤人員快速掌握鄰近地點的水情、災情和建物資訊。




  通用翻譯     LASER     FLORES  


Meta發起通用翻譯專案,要用AI打破語言翻譯障礙


機器翻譯系統在這幾年快速進步,但模型仍需從大量的文本中學習,因此資源稀少的語言,仍然是機器翻譯的一大挑戰。為解決這個問題,Meta做了兩件事,一件是發起No Language Left Behind專案,也就是一套新AI模型,專門針對文字翻譯,能從少量樣本中學習,進行高品質翻譯。適用語言可達上百種,從阿斯圖里亞斯語、盧干達語再到烏爾都語都包括在內。另一件則是通用口譯專案,要即時將源語翻譯為目的語。這個專案,對沒有正規書寫系統的語言非常有幫助。


為自動打造低資源語言資料集,Meta先是開發一套開源工具包LASER,涵蓋125種語言。LASER將多種語言句子整合為單一的多語言表徵。接著,團隊用一個大規模多語言搜尋器,來定位表徵相似的語句,或是不同語言中,意思相似的句子。為克服資料稀缺性,團隊也開發了師生模型,讓LASER可跨多種語言大規模運作。這種訓練方法,也讓LASER能專注從少量樣本學習資源稀缺的語言。


團隊也用LASER來處理語音翻譯,讓使用者可從源語語音和目的語文字間抽取翻譯。Meta也用其他方法來優化模型訓練,提高大模型的訓練效率,同時,這種大量多語言的模型,還需要獨特的基準測試來評估模型表現,因此,團隊也採用涵蓋101種語言的FLORES-101資料集,來評估大量多種語言的翻譯效能。目前,他們一邊改善模型,也一邊擴展FLORES的語言種類。


測試專家告訴你如何好好使用示波器

示波器主要由電源系統、同步系統、水平偏向系統、垂直偏向系統、延遲掃描系統、顯示系統和標準訊號源等部封包成。




隨時健康喝好水,高品質飲水機,優質安全有把關

飲水機的問題主要有三個方面,一是水沸騰溫度不足,絕大多數的飲水機最高溫度是95度,再沸騰溫度是90度,泡茶殺菌的溫度不夠





無毒橡膠墊片哪裡買的到?

橡膠傳入英國後,人們發現這種物料能很有效地擦去鉛筆留下的痕跡,於是發明了橡皮擦。橡膠英文名rubber是由1770年時英國普利斯特里因發現此物質能擦去(rub off)鉛筆筆跡。按照製成方式的不同,橡膠可以分為合成橡膠和天然橡膠兩種。




買不起高檔茶葉,精緻包裝茶葉罐,也能撐場面!

紫砂茶葉罐是多孔性材料製成,透氣性非常好,因為罐子多微小氣孔,用來存放茶葉,不僅能保鮮鮮,還能消除茶葉中的異雜味。 但也是因為多孔,所以紫砂茶葉罐容易吸收茶葉的香味。






  DeepMind    核融合       發電  


DeepMind成功用AI控制環磁機,推進核融合發電研究


Deepmind成功用深度強化學習和模擬環境學習架構,來控制瑞士洛桑的可變配置環磁機(TCV)控制器,順利控制核融合電漿。DeepMind不只能用系統保持電漿穩定,也能精確雕塑成各種形狀,意味著強化學習可用來控制過熱物質,讓科學家更理解核融合反應爐。


進一步來說,在地球上進行核融合很難,一般使用環磁機裝置,在甜甜圈形狀的真空外圍包覆電磁線圈,來把比太陽核心更熱的氫電漿約束在真空中。但這樣的氫電漿很不穩定,控制系統得協調環磁機中的電磁線圈,必須每秒數千次調整線圈電壓。


而Deepmind的深度強化系統能自動控制線圈,將電漿穩定約束在環磁機中。他們先在模擬環境中控制TCV,再在真正的TCV上驗證。在模擬器中,Deepmind以單個神經網路,一次控制所有線圈,自動學習可達到最佳電漿配置的電壓,同時建立一系列電漿形狀,來試驗能量生產的可用性。除了實際驗證都成功外,他們也發現,深度強化學習能實現TCV過去做不到的事,像是在穩定容器內同時維持兩個水滴形狀的電漿;研究員只改變要求,演算法就能自動找到適合的控制方式。



  雲象     淋巴瘤     奇美醫院  


雲象揭露淋巴瘤偵測AI成果,超高準確度接近最佳演算法效果


專攻數位病理AI的雲象科技與奇美醫院共同打造T細胞淋巴瘤偵測AI,可準確框出淋巴瘤細胞核、計算面積,AUC值達到0.966(完美演算法為1.0)。進一步來說,T細胞淋巴瘤是少見的疾病,其中又有兩類難以分別,一是單形性上皮腸T細胞淋巴瘤,另一是腸道T細胞淋巴瘤,非常仰賴經驗豐富的病理科醫師,根據細胞核大小變異度、形態分布和免疫表現型來判斷。


為解決問題,奇美醫院醫學中心病理部部長兼解剖病理科主任莊世松聯手雲象,用數千顆細胞核的標註資料來訓練模型,來偵測淋巴瘤細胞核、描繪輪廓,並進一步計算每個細胞核的面積、長短軸比例,再根據這些資訊來判斷是哪一種淋巴瘤,預測水準可高達AUC 0.966。這項研究成果,最近也刊於國際知名醫療期刊《Cancers》。


  Google     碳排放     4Ms  


碳排量最多減少1000倍!Google新ML碳排量預測法能找出更省碳的運算配置


機器學習已成為企業標配,但它產生的碳排量,也開始成為焦點。Google在IEEE Computer發表一篇機器學習碳足跡論文,可透過準確的資料來評估機器學習實際碳排量,並提出4Ms原則,最多能降低使用能源的100倍,減少碳排放量1,000倍。Google也用這些方法,將機器學習所占的總能源使用量壓低在15%以下。


4Ms原則分別指模型(Model)、機器(Machine)、機械化(Mechanization)和地圖最佳化(Map Optimization)。Google指出,用高效機器學習模型架構,如稀疏模型,不僅能提高機器學習品質,還能夠降低3倍到10倍運算量。而機器是指,採用機器學習專用處理器與系統,能將效能提高至2倍到5倍。


機械化的配置,讓資料中心效率比企業本地端配置要高上許多,使用雲端運算可減少能源使用,碳排放量減少1.4倍到2倍。地圖最佳化則是雲端可讓用戶選擇使用能源最乾淨的位置,進而將總碳足跡減少5倍到10倍。Google自己也落實4Ms原則,在4年內總共減少747倍碳足跡。



圖片來源/GitHub、屏東縣政府、Meta、DeepMind、Google


  AI近期新聞 


1. 美著作權局判定AI不具有繪圖著作權


2. 新竹縣7處將啟用影像辨識科技執法


3. Google Docs內建AI自動產生文件摘要


資料來源:iThome整理,2022年3月

https://www.ithome.com.tw/news/149661

一般貨櫃標準尺寸?

金誠貨櫃尺寸種類分別為,20呎櫃、20呎高櫃、40呎櫃、40呎高櫃、20呎冷凍櫃、400呎冷凍櫃。


找工作! 想知道堆高機駕駛日薪是多少嗎? 哪裡有職缺?幫你快速媒合

堆高機,又稱叉架起貨機或叉式起重車,香港稱為鏟車,中國大陸稱為叉車,台灣國語稱為堆高機,台語俗稱豬哥(ti-ko),是指工廠、倉儲等地方對成件托盤貨物進行裝卸、堆垛和短距離運輸作業的各種輪式搬運車輛。國際標準化組織ISO/TC110稱為工業車輛。堆高機的發展於1920年代,今天在生產和倉儲運營過程中它已成為不可或缺的設備。






攻戰消費者第一視覺,包裝設計很重要!

包裝設計是指對包裝的形狀、大小、構造及包裝材料等方面進行創造或選擇並以適當方式吸引消費者的注意力,進而增加購買率,以及對使用者友善之特性。




CCD外觀檢查包裝機

品質優益穩定,效率高成本低,並已獲得國內外大廠承認使用,品質合乎EIA國際標準, 此外也針對客戶端的需要代客Tape and Reel封裝服務。





Orignal From: AI趨勢周報第185期:GitHub優化程式碼掃描功能,自動揪出潛在安全漏洞

留言

這個網誌中的熱門文章

民眾小確幸 4/1起ATM個人轉帳500元以下 每日1次免手續費

行政院金管會宣布,自2019年4月1日分級調降ATM跨行轉帳手續費,未來每個人利用ATM轉帳500元以下金額,將可享有每日1次免手續費的優惠。 (圖/Pexels) 在銀行ATM領錢、轉帳、存錢,是大家日常生活的一部分。 但不少人對ATM跨行提款要多收5元手續費、跨行轉帳要多收15元手續費有所怨言。 不過行政院金管會已宣布,自2019年4月1日(週一)起分級調降ATM跨行轉帳手續費,未來每個人利用ATM轉帳500元以下金額,將可享有每日1次免手續費的優惠。 金管會表示,為因應金融市場環境之變化與發展,及民眾對調整跨行轉帳手續費有所期待,金管會前已請財金公司邀集金融機構共同研商調整小額跨行轉帳手續費計價及分級費率的可行性。 金管會表示,依據財金公司與金融機構多次討論結果,在同時兼顧社會大眾期待並考量金融機構成本下,就新台幣1000元以下小額跨行轉帳交易採分級優惠措施,並自2019年4月1日(週一)起實施,其手續費分級措施如下: 行政院金管會已宣布,自2019年4月1日(週一)起分級調降ATM跨行轉帳手續費,未來每個人利用ATM轉帳500元以下金額,將可享有每日1次免手續費的優惠。 (圖/金管會) 金管會表示,現行各銀行已對網路轉帳之目標客戶給予不同的優惠方案,為尊重自由市場競爭機制,本次所訂小額跨行轉帳手續費分級費率未區分實體ATM或網路轉帳等交易,均一體適用。   本站聲明:網站內容來源於台灣好新聞網絡,如有侵權,請聯繫我們,我們將及時處理 【精選推薦文章】 ※升大學學科能力測驗數學考科歷屆試題總覽-   王擎天 著作 ※   王擎天 著作-李嘉誠的首富傳奇帶你來看涓涓細流如何匯聚成河?  ※圖解孫子兵法-   王擎天 博士帶您一同解讀兵家智慧精髓    ※想知道 王擎天 博士開創的「王道增智會」是什麼樣的組織,可以吸引各界菁英加入呢?獨家解密!  ※   王擎天 博士教你如何用創意來眾籌! ※苦惱創業沒經驗,不知該如何籌備嗎?別擔心 王擎天 博士帶你開啟新的創業之路!   https://www.industryhy3.com/?p=9012 Orignal From: 民眾小確幸 4/1起ATM個人轉帳...

中國保利地產以2.7億澳元買入澳洲寫字樓

《金融時報》 新加坡機構房地產私募股權投資公司SC Capital Partners周三宣布,中國保利地產以2.7億澳元(12.7億人民幣)代價,向其買入一項位於澳洲悉尼南面中央商業區(CBD)的商業物業。 (責編:孫紅麗、畢磊)本站聲明:網站內容來源於裝修網http://www.people.com.cn/,如有侵權,請聯繫我們 【其他文章推薦】 ※門外漢也要知道的 超耐磨木地板 祕辛? ※中古屋大改造,分享 台中室內設計公司 隔間重新規劃,擴大實用空間! ※浴室設計小心機,利用 馬賽克磁磚 ,放大你的浴室空間 ※打造北歐風,連設計師也極力讚許的 古典家具推薦 工廠 Orignal From: 中國保利地產以2.7億澳元買入澳洲寫字樓

貝殼找房牽手浦發銀行 打造一站式房產交易服務

近日,貝殼找房與浦發銀行達成戰略合作。據介紹,針對當前房屋交易流程繁瑣、按揭貸款產品服務同質化程度較高、客戶操作環節體驗不佳的等痛點,貝殼找房聯合浦發銀行房屋交易線上化,優化線上找房、看房、交易等一系列流程。 通過貝殼找房與浦發銀行甜橘app進行房產交易的消費者,將可享受一對一專屬銀行客戶經理服務,並提供業務諮詢、客戶資料審核、面簽、批貸及放款全流程服務。同時,浦發銀行將為貝殼客戶加快批貸時效、優先解決放款問題。 數據显示,僅2月1日至14日,在貝殼找房平台上,找房人和經紀人共發起了309萬次VR帶看,相較去年同期增長近213倍;通話時長達44675個小時,較去年同期增長323.5倍。 貝殼方面表示,如今貝殼找房與浦發銀行合作,實現了按揭貸款申請的遠程申請受理、實時反饋預申請結果及預估額度,使客戶在購房時即可獲知貸款可得性行,優化交易體驗。 近段時間以來,線上化成為大眾工作、學習和生活的主要手段。貝殼研究院認為,特殊時期,禁錮了線下物理空間作業的可能性,線上技術扮演着更為重要的角色,推動商機線上化、作業線上化、管理線上化、教育線上化以及簽后服務的線上化;疫情之後,線上與線下的"雙軌作業"模式將加速顛覆傳統作業模式。經紀行業正在加速產業数字化、線上化趨勢,邁入"虛擬(線上)"與"現實(線下)"并行的"雙軌模式"。 貝殼相關負責人表示,作為科技驅動的居住服務平台,貝殼找房從創立之初就一直探索居住服務領域線上化和数字化實踐。為了持續優化用戶找房體驗,貝殼找房還打造出諸如樓盤字典、VR看房和VR帶看、線上化交易流程體系、數據分析管理系統,以及涵蓋線上交流、培訓、房源匹配、簽約交易等全流程的線上化工具。 此次,貝殼找房與浦發銀行,以居住服務的数字化為手段,實現看房、選房、購房的線上化服務,將全面滿足購房客戶的需求,共同為客戶提供更美好、更有品質的安居服務。(許維娜) (責編:許維娜、夏曉倫)本站聲明:網站內容來源於裝修網http://www.people.com.cn/,如有侵權,請聯繫我們 【其他文章推薦】 ※ 地板施工 造成其他裝潢有瑕疵該如何補救? ※想改變客廳裝潢風格嗎? 馬賽克拼貼 打造溫馨鄉村風,...