欧美理论片在线观看,亚洲日本va中文字幕久久,国产免费a∨片在线观看不卡

基于AI加速的可復用FPV平臺庫[人工智能][汽車電子]

形式驗證FPV可將DUT抽象為狀態(tài)空間進行遍歷，針對動態(tài)仿真難以隨機到的邊界場景、異常場景和復雜組合場景可提高收斂速度，增強驗證質量。但高質量Property開發(fā)對驗證人員能力有較高的要求。面對該挑戰(zhàn)，基于Cadence公司Jaspergold ABVIP提出了一種可復用FPV平臺庫解決方案，可在不同模塊之間重用，降低FPV驗證平臺搭建時間，提升Property質量，同時借助其AI工具Proof Master生成加速Proven效率的database。FPV平臺庫+AI Database已在中興微電子某車規(guī)項目落地并復用，發(fā)現(xiàn)動態(tài)仿真遺漏的4個故障。Proof Master可應用于項目全周期內(nèi)，回歸效率平均提升80.17%，F(xiàn)PV平臺庫+AI database可提升FPV 初次Proven效率44.96%。與此同時對生成式大模型提升Property編寫效率做了一定探討。

發(fā)表于：2024/9/4

使用Cadence AI技術加速驗證效率提升[EDA與制造][消費電子]

隨著硬件設計規(guī)模和復雜程度的不斷增加，驗證收斂的挑戰(zhàn)難度不斷增大，單純依靠增加 CPU 核數(shù)量并行測試的方法治標不治本。如何在投片前做到驗證關鍵指標收斂，是驗證工程師面對的難題。為解決這一難題，提出了采用人工智能驅動的驗證EDA工具和生成式大模型兩種提效方案，其中EDA工具有Cadence利用人工智能驅動的Verisium apps和采用機器學習技術Xcelium ML，前者用來提升驗證故障定位效率，包括Verisium AutoTriage、Verisium SemanticDiff、Verisium WaveMiner等，后者可用來提升驗證覆蓋率收斂效率。生成式大模型可輔助智能debug和自動生成驗證用例，主要介紹各實現(xiàn)方案，并給出了項目實驗提升結果。

發(fā)表于：2024/9/4

Virtuoso iQuantus Insight及Quantus Insight流程在FINFET先進工藝項目中加速后仿迭代的應用[模擬設計][工業(yè)自動化]

發(fā)表于：2024/9/4

基于Cerebrus的Genus+Innovus流程的功耗面積優(yōu)化[模擬設計][消費電子]

對于性能功耗面積（PPA）的追求已成為IC芯片設計的共識，尤其是發(fā)展到先進工藝節(jié)點，PPA已成為IC設計綜合性能的重要指標，尤其是對于大型SoC芯片中clone很多次的模塊，對于PPA的追求變得更加極致。介紹了基于Cadence公司的Genus工具和Cerebrus 工具，通過綜合階段與后端PR各個階段的優(yōu)化，共同提升PPA的優(yōu)化方案。最終結果顯示，在時序及DRC基本收斂的情況下，使用Cerebrus工具相比Innovus可以使功耗降低3.5%，面積降低3.1%，使用Genus+Innovus流程可以使功耗降低6.4%，面積降低8.5%，極大地降低了芯片的面積及功耗。

發(fā)表于：2024/9/4

Conformal ECO寄存器新增的掃描鏈自動化接入方案[模擬設計][工業(yè)自動化]

隨著芯片規(guī)模的增加，ECO的需求和大小也隨之增加，其中當新增寄存器數(shù)量達到百位量級時，人工接入掃描鏈難度也將急劇上升。基于Cadence的Conformal和Innovus等工具，在綜合考量邏輯正確性和中后端物理實現(xiàn)可行性的基礎上，采用歸一思路下的“S”型連線和room值下的再分組等方法，實現(xiàn)了上述問題的自動化和高效化解決，在邏輯上確保了時鐘域一致性等問題，物理上同時兼顧了布局布線優(yōu)化和最大掃描鏈長度。并且其自動化的高效性，在項目實踐中能夠快速完成上百數(shù)量寄存器的掃描鏈接入。

發(fā)表于：2024/9/4

基于云計算的蛋白質折疊空間結構預測[人工智能][其他]

構建基于云計算的蛋白質折疊空間結構預測框架，通過數(shù)據(jù)云存儲設備獲取蛋白質序列原始數(shù)據(jù)，采用HDFS（Hadoop Distributed File System）分布式存儲方式保存于云端。資源和隊列管理器RQM（Resource Queue Management）開啟云端虛擬機后，以之作為掃描節(jié)點（Sensor Node， SN），SN基于二維AB非格點模型建立最小蛋白質分子能量優(yōu)化函數(shù)，采用局部搜索機制改進的量子遺傳算法對其作優(yōu)化求解。利用云端GPU設備處理模型訓練數(shù)據(jù)，即可實現(xiàn)蛋白質折疊空間結構的自動化預測。實驗結果表明：蛋白質序列能量勢函數(shù)計算結果更小、執(zhí)行效率更高、GDT-TS（Geothermal Development and Testing Tool Suite）評價指標值更大。

發(fā)表于：2024/9/4

基于多特征融合和知識蒸餾的亞熱帶常見喬木識別方法[人工智能][其他]

喬木在維持生態(tài)平衡、保護生物多樣性以及調(diào)節(jié)氣候和改善空氣質量等方面發(fā)揮著至關重要的作用。針對復雜背景下喬木識別準確率較低的問題，提出了一種基于樹木多特征融合和知識蒸餾的亞熱帶常見喬木識別模型MFFMN-KD-TA。該模型采用3個并行的MobileNetV3_Small主干網(wǎng)絡分別提取樹葉、樹干和樹木整體特征；并通過知識蒸餾和嵌入Triplet Attention模塊的方法優(yōu)化訓練。試驗結果表明，MFFMN-KD-TA模型在自建樹木測試集上的準確率、精確率和F1分數(shù)分別為0.960 9、0.962 1和0.960 8，較MFFMN模型分別提升了3.05%、2.83%和3.07%。與三分支融合模型3-ShuffleNetV2和3-MobileNetV2相比，提出的多特征融合模型MFFMN-KD-TA參數(shù)量較小且能夠較準確地識別喬木種類，為亞熱帶和其他地區(qū)的樹種識別提供了新思路和新方法。

發(fā)表于：2024/9/4

個人信息侵權因果關系認定困境的紓解——以推定因果關系為進路[其他][信息安全]

在個人信息侵權案件中，受害人證明因果關系受證明能力不足、證明成本高、證明標準模糊、數(shù)人侵權案情復雜等而陷入困境。上述司法認定困境與因果關系理論爭議不無關系，條件說、類推說、相當因果關系說均存在理論缺陷與價值局限，基于蓋然性標準的理論支撐以及個人信息侵權解紛的現(xiàn)實需要，推定因果關系說具有適用的可行性與必要性。規(guī)則優(yōu)化方面，原告需在形式上對因果關系負證明責任，證明的程度達到一般程度以上；被告需證明因果關系不存在且該證明責任達到高度蓋然性方可否認侵權責任。

發(fā)表于：2024/9/3

縣域數(shù)據(jù)安全治理體系建設與挑戰(zhàn)[其他][信息安全]

發(fā)表于：2024/9/3

消費型App強制“用戶同意”的形式、原因與規(guī)制[其他][信息安全]

隨著互聯(lián)網(wǎng)經(jīng)濟的發(fā)展，傳統(tǒng)線下經(jīng)濟大量向線上轉移，App平臺成為用戶在互聯(lián)網(wǎng)消費的重要工具。“平臺強-用戶弱”的失衡格局長期存在于網(wǎng)絡領域，App平臺強制“用戶同意”用戶協(xié)議已然成為行業(yè)慣例。消費型App利用其網(wǎng)絡技術優(yōu)勢，以顯性形式或隱性形式強制面臨信息鴻溝的用戶同意其制定的用戶協(xié)議，從而實現(xiàn)獲取消費者個人信息、規(guī)避法律風險等目的。強制“用戶同意”不僅違反了平等、自愿原則，而且嚴重侵害了用戶的知情權、選擇權等權利，這種強制行為亟需規(guī)制。一方面，要規(guī)范用戶協(xié)議，平衡消費型App和用戶之間的地位；另一方面，推進用戶數(shù)據(jù)產(chǎn)權化，提升用戶議價能力，增加平臺的規(guī)避成本。通過規(guī)制以促使消費型App平臺履行保護個人信息和數(shù)據(jù)安全等法定的合規(guī)義務，平衡消費型App平臺和用戶之間的權利義務關系，推進App平臺從“形式合規(guī)”轉向“實質合規(guī)”。

發(fā)表于：2024/9/3

數(shù)據(jù)隱私框架體系視角下數(shù)據(jù)跨境流動規(guī)則分析與中國啟示[其他][信息安全]

歐盟與美國新近建立起包括數(shù)據(jù)隱私框架以及第14086號行政命令在內(nèi)的數(shù)據(jù)跨境流動體系，填補了雙邊數(shù)據(jù)流動法律空缺。新體系通過修改規(guī)則細節(jié)以及引入雙重救濟機制，較以往協(xié)定更為完善，但仍存在數(shù)據(jù)保護審查法院獨立性不足等制度性隱患。歐盟與美國在數(shù)據(jù)治理模式上一貫存在分歧，數(shù)據(jù)隱私框架體系充分展現(xiàn)出雙方的談判博弈，特別是在規(guī)則制度設計上的角力。歐美分立的數(shù)據(jù)治理政策顯露出數(shù)據(jù)跨境流動規(guī)則并無定式，中國可借機探索并完善符合自身需求的數(shù)據(jù)流動規(guī)制路徑，數(shù)據(jù)隱私框架體系的雙邊談判策略及其展露的歐盟立場也可為中國參考，為未來中國與歐盟及其他國家開展數(shù)字合作提供良好借鑒。

發(fā)表于：2024/9/3

地方政府數(shù)據(jù)要素產(chǎn)業(yè)政策分析及政策工具框架建議[其他][信息安全]

隨著我國將數(shù)據(jù)要素列為第五大生產(chǎn)要素，國家出臺多項政策文件推動數(shù)據(jù)要素市場化配置改革，以數(shù)據(jù)要素為抓手加快培育新質生產(chǎn)力，做強做優(yōu)做大數(shù)字經(jīng)濟；各地方政府積極響應，結合本地實際發(fā)布行動方案、實施意見等文件促進數(shù)據(jù)要素市場建設和產(chǎn)業(yè)發(fā)展。本文基于數(shù)據(jù)要素產(chǎn)業(yè)研究，對地方政府已發(fā)布的數(shù)據(jù)要素產(chǎn)業(yè)扶持措施進行梳理和分析，建立了數(shù)據(jù)要素產(chǎn)業(yè)政策工具框架，按照市場主體、產(chǎn)業(yè)鏈條和要素保障三大類十二個細分措施，對地方政府產(chǎn)業(yè)扶持政策的設計制定和實施保障提出了具體建議。

發(fā)表于：2024/9/3

數(shù)據(jù)要素市場化途徑構建——以中國式數(shù)據(jù)信托為切入口[其他][信息安全]

數(shù)字經(jīng)濟時代，數(shù)據(jù)要素的經(jīng)濟價值日益彰顯。2021年，數(shù)據(jù)信托入選《麻省理工科技評論》“十大突破性技術”，發(fā)展數(shù)據(jù)信托有利于實現(xiàn)數(shù)據(jù)保護與數(shù)據(jù)利用之間的平衡，在數(shù)據(jù)流通和交易中保證數(shù)據(jù)隱私和安全。在明確數(shù)據(jù)權利可以作為信托標的的前提下，數(shù)據(jù)信托可以劃定數(shù)據(jù)主體和數(shù)據(jù)處理者之間的權利界限，通過借助第三方監(jiān)管機制，利用區(qū)塊鏈、隱私脫敏處理技術保障個人信息安全，構建個人信息保護與數(shù)據(jù)流通利用的良性循環(huán)。因此，構建中國式數(shù)據(jù)信托具有理論和現(xiàn)實的雙重意義。

發(fā)表于：2024/9/3

基于工業(yè)互聯(lián)網(wǎng)平臺的核電運行數(shù)據(jù)服務研究[通信與網(wǎng)絡][信息安全]

在核電行業(yè)數(shù)字化轉型的進程中，核電工業(yè)互聯(lián)網(wǎng)平臺的建設至關重要。然而，現(xiàn)行統(tǒng)一數(shù)據(jù)平臺存在子系統(tǒng)研發(fā)分散、外部接入復雜等問題，影響了開發(fā)和維護效率。針對這些問題，提出了一種核電工業(yè)互聯(lián)網(wǎng)平臺的實時數(shù)據(jù)服務管理機制，包括數(shù)據(jù)服務目錄管理、多維標簽及查詢技術，以及面向核電場景的多源異構數(shù)據(jù)分發(fā)和調(diào)度技術。研究結果表明，該平臺能夠提供統(tǒng)一、可視化、自助式、安全的實時數(shù)據(jù)服務。平臺已成功應用于多個核電廠，支持21類服務和200個以上數(shù)據(jù)接口，有效滿足了數(shù)字化應用的數(shù)據(jù)服務需求。該研究不僅為核電行業(yè)提供了實時、安全、高效的數(shù)據(jù)服務解決方案，也為其他工業(yè)領域的實時數(shù)據(jù)服務提供了參考。

發(fā)表于：2024/9/3

基于居民出行特征的職住地精細化識別[通信與網(wǎng)絡][信息安全]

為了解決傳統(tǒng)職住模型測算規(guī)則的單一性和局限性，降低各區(qū)域居民用戶因作息規(guī)律差異或臨時性變化而造成的職住地識別誤差，創(chuàng)新性提出一種基于不同區(qū)域居民出行特征的職住地精細化識別方法。首先，采用“3 min切片”和“角度+駐留時間+連接次數(shù)”等多種方式對手機信令數(shù)據(jù)進行降噪提煉；然后，基于時空約束密度聚類進行駐留點識別分析；最后，根據(jù)各城市居民日常出行特征，通過引入加權駐留時長動態(tài)更新各城市區(qū)域居民用戶職住地測算規(guī)則，進而精細化識別不同城市用戶職住地分布。實驗結果表明，所提方法涉及的過程均合理有效，且最終的職住地識別效果要明顯優(yōu)于傳統(tǒng)單一職住模型測算規(guī)則，適用于同時批量處理多個區(qū)域職住地問題，尤其對因突發(fā)狀況而產(chǎn)生作息時間變化的城市效果更為顯著。

發(fā)表于：2024/9/3