[發(fā)明專利]一種基于進(jìn)程代數(shù)的實(shí)時(shí)協(xié)議分析及驗(yàn)證系統(tǒng)在審
| 申請(qǐng)?zhí)枺?/td> | 201610755248.8 | 申請(qǐng)日： | 2016-08-29 |
| 公開(kāi)（公告）號(hào)： | CN106446341A | 公開(kāi)（公告）日： | 2017-02-22 |
| 發(fā)明（設(shè)計(jì)）人： | 史建琦;龐海萍;黃滟鴻;李昂;何積豐;方徽星 | 申請(qǐng)（專利權(quán)）人： | 華東師范大學(xué) |
| 主分類號(hào)： | G06F17/50 | 分類號(hào)： | G06F17/50 |
| 代理公司： | 北京乾誠(chéng)五洲知識(shí)產(chǎn)權(quán)代理有限責(zé)任公司11042 | 代理人： | 付曉青;楊玉榮 |
| 地址： | 200062 上*** | 國(guó)省代碼： | 上海;31 |
| 權(quán)利要求書(shū)： | 查看更多 | 說(shuō)明書(shū)： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 一種 基于 進(jìn)程 代數(shù) 實(shí)時(shí) 協(xié)議 分析 驗(yàn)證 系統(tǒng) | ||
【權(quán)利要求書(shū)】：
下載完整專利技術(shù)內(nèi)容需要扣除積分，VIP會(huì)員可以免費(fèi)下載。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于華東師范大學(xué)，未經(jīng)華東師范大學(xué)許可，擅自商用是侵權(quán)行為。如果您想購(gòu)買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請(qǐng)聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201610755248.8/1.html，轉(zhuǎn)載請(qǐng)聲明來(lái)源鉆瓜專利網(wǎng)。
- 同類專利
- 專利分類
G06 計(jì)算；推算；計(jì)數(shù)
G06F 電數(shù)字?jǐn)?shù)據(jù)處理
G06F17-00 特別適用于特定功能的數(shù)字計(jì)算設(shè)備或數(shù)據(jù)處理設(shè)備或數(shù)據(jù)處理方法
G06F17-10 .復(fù)雜數(shù)學(xué)運(yùn)算的
G06F17-20 .處理自然語(yǔ)言數(shù)據(jù)的
G06F17-30 .信息檢索；及其數(shù)據(jù)庫(kù)結(jié)構(gòu)
G06F17-40 .數(shù)據(jù)的獲取和記錄
G06F17-50 .計(jì)算機(jī)輔助設(shè)計(jì)
G06F 電數(shù)字?jǐn)?shù)據(jù)處理
G06F17-00 特別適用于特定功能的數(shù)字計(jì)算設(shè)備或數(shù)據(jù)處理設(shè)備或數(shù)據(jù)處理方法
G06F17-10 .復(fù)雜數(shù)學(xué)運(yùn)算的
G06F17-20 .處理自然語(yǔ)言數(shù)據(jù)的
G06F17-30 .信息檢索；及其數(shù)據(jù)庫(kù)結(jié)構(gòu)
G06F17-40 .數(shù)據(jù)的獲取和記錄
G06F17-50 .計(jì)算機(jī)輔助設(shè)計(jì)
- 一種進(jìn)程自動(dòng)恢復(fù)方法
- 進(jìn)程啟動(dòng)方法及內(nèi)核、進(jìn)程
- 一種進(jìn)程間的通信方法和裝置
- 進(jìn)程解析裝置、進(jìn)程解析方法和進(jìn)程解析程序
- 32位進(jìn)程和64位進(jìn)程交叉注入方法及裝置
- 一種應(yīng)用進(jìn)程控制方法及裝置
- 插件下載方法及裝置
- 進(jìn)程間的數(shù)據(jù)傳輸方法和裝置
- 進(jìn)程監(jiān)視裝置、進(jìn)程監(jiān)視方法和進(jìn)程監(jiān)視程序
- 一種基于動(dòng)態(tài)監(jiān)測(cè)的進(jìn)程優(yōu)化調(diào)度方法
- 用于數(shù)據(jù)存儲(chǔ)和檢索的系統(tǒng)和方法
- 語(yǔ)音和音頻編碼中快速代數(shù)碼本搜索的方法和設(shè)備
- 語(yǔ)音編碼中代數(shù)碼表的搜索方法及裝置，語(yǔ)音編碼方法
- 基于恒等變形的代數(shù)計(jì)算器
- 初等數(shù)學(xué)代數(shù)型題自動(dòng)解答的方法與系統(tǒng)
- 對(duì)稱密碼系統(tǒng)代數(shù)次數(shù)評(píng)估方法
- 一種軟件系統(tǒng)的代數(shù)構(gòu)件表示方法和裝置
- 不均校正數(shù)據(jù)生成方法及不均校正數(shù)據(jù)生成系統(tǒng)
- 車聯(lián)網(wǎng)服務(wù)平臺(tái)、車輛的物流服務(wù)處理方法、裝置和系統(tǒng)
- 對(duì)化學(xué)或生物化學(xué)過(guò)程進(jìn)行仿真的系統(tǒng)和方法
- 實(shí)時(shí)解碼系統(tǒng)與實(shí)時(shí)解碼方法
- 實(shí)時(shí)穩(wěn)定
- 實(shí)時(shí)監(jiān)控裝置、實(shí)時(shí)監(jiān)控系統(tǒng)以及實(shí)時(shí)監(jiān)控方法
- 實(shí)時(shí)或準(zhǔn)實(shí)時(shí)流傳輸
- 實(shí)時(shí)或準(zhǔn)實(shí)時(shí)流傳輸
- 實(shí)時(shí)通信方法和實(shí)時(shí)通信系統(tǒng)
- 實(shí)時(shí)更新
- 實(shí)時(shí)內(nèi)核
- 用于通信網(wǎng)絡(luò)的網(wǎng)絡(luò)設(shè)備及相關(guān)方法
- 實(shí)時(shí)量化方法及實(shí)時(shí)量化系統(tǒng)
