電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
給出了基于時序Petri網(wǎng)下的網(wǎng)上證券交易系統(tǒng)，其模型過于復(fù)雜。由于Petri網(wǎng)本身很強(qiáng)的模擬能力，本文用P/T_系統(tǒng)，模擬了證券交易所的網(wǎng)上證券交易系統(tǒng)，進(jìn)而用S-不變等方法對其進(jìn)行了驗(yàn)證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 籃球30s倒計(jì)時仿真模擬與報(bào)告下載 26次下載
- 一種去中心化的電子證照庫共享交易系統(tǒng) 11次下載
- 通信Petri網(wǎng)的異步通信程序驗(yàn)證 0次下載
- 基于時間Petri網(wǎng)的并發(fā)系統(tǒng)建模分析方法 0次下載
- Petri網(wǎng)在計(jì)費(fèi)系統(tǒng)中的應(yīng)用研究_侯煜 0次下載
- Petri網(wǎng)分析方法綜述 18次下載
- 基于Petri網(wǎng)推理的監(jiān)控視頻
- 無線通信系統(tǒng)的Petri網(wǎng)建模與分析
- 基于Petri網(wǎng)的煤礦企業(yè)電子商務(wù)模型研究
- 基于Matlab環(huán)境的Petri網(wǎng)的仿真方法
- 基于對象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評估方法
- 基于對象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評估的方法
- 基于PKI 的電子商務(wù)交易系統(tǒng)及交易中信息安全的實(shí)現(xiàn)
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- 基于Petri網(wǎng)的工作流時間動態(tài)預(yù)測及驗(yàn)證
- 如何畫出規(guī)范的UML用例圖 421次閱讀
- fpga驗(yàn)證及其在soc驗(yàn)證中的作用有哪些 906次閱讀
- 基于多通道目標(biāo)模擬系統(tǒng)構(gòu)建 618次閱讀
- 通用支付系統(tǒng)設(shè)計(jì) 830次閱讀
- 電源管理系統(tǒng)熱模型的建模和驗(yàn)證 3396次閱讀
- 以太坊上執(zhí)行交易過程的原理解析 5799次閱讀
- 如何驗(yàn)證對方鏈上發(fā)生的交易的合法性 1576次閱讀
- 區(qū)塊鏈跨鏈轉(zhuǎn)移EOS主網(wǎng)和BOS主網(wǎng)的結(jié)構(gòu)設(shè)計(jì) 1543次閱讀
- 艾邁斯半導(dǎo)體推出了新款彩色接近和閃變檢測傳感器 1166次閱讀
- 影響區(qū)塊鏈交易性能的有哪幾個環(huán)節(jié)？ 1399次閱讀
- 基于VC++設(shè)計(jì)的模擬舵機(jī)系統(tǒng)，可實(shí)現(xiàn)多種類型舵機(jī) 1741次閱讀
- 基于片上系統(tǒng)的SOC設(shè)計(jì)驗(yàn)證方案 1464次閱讀
- 一種對于分散式交易市場中基于智能體的服務(wù)提供者的責(zé)任執(zhí)行驗(yàn)證方法 3667次閱讀
- 模擬與數(shù)字的智能集成 3767次閱讀
- 針對芯片中模擬/射頻模塊驗(yàn)證問題的驗(yàn)證工具設(shè)計(jì) 1554次閱讀
上傳資料賺積分下載排行
本周
- 1HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 2雷達(dá)的基本分類方法
- 1.25 MB | 4次下載 | 4 積分
- 3電感技術(shù)講解
- 827.73 KB | 2次下載 | 免費(fèi)
- 4從 MSP430? MCU 到 MSPM0 MCU 的遷移指南
- 1.17MB | 2次下載 | 免費(fèi)
- 5有源低通濾波器設(shè)計(jì)應(yīng)用說明
- 1.12MB | 2次下載 | 免費(fèi)
- 6RA-Eco-RA2E1-48PIN-V1.0開發(fā)板資料
- 35.59 MB | 2次下載 | 免費(fèi)
- 7HT1381時鐘程序例程
- 0.00 MB | 1次下載 | 4 積分
- 8ZCU106評估板用戶指南
- 7.15 MB | 1次下載 | 5 積分
本月
- 12024年工控與通信行業(yè)上游發(fā)展趨勢和熱點(diǎn)解讀
- 2.61 MB | 763次下載 | 免費(fèi)
- 2HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 3繼電保護(hù)原理
- 2.80 MB | 36次下載 | 免費(fèi)
- 4正激、反激、推挽、全橋、半橋區(qū)別和特點(diǎn)
- 0.91 MB | 32次下載 | 1 積分
- 5labview實(shí)現(xiàn)DBC在界面加載配置
- 0.57 MB | 21次下載 | 5 積分
- 6在設(shè)計(jì)中使用MOSFET瞬態(tài)熱阻抗曲線
- 1.57MB | 15次下載 | 免費(fèi)
- 7GBT 4706.1-2024家用和類似用途電器的安全第1部分:通用要求
- 7.43 MB | 13次下載 | 免費(fèi)
- 8PADS-3D庫文件
- 2.70 MB | 10次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935113次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191360次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183329次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81578次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73804次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65985次下載 | 10 積分
工商網(wǎng)監(jiān)
評論