[發明專利]三模型體系的列車運行控制系統形式化建模及驗證方法在審
| 申請號： | 201610159955.0 | 申請日： | 2016-03-21 |
| 公開（公告）號： | CN105844091A | 公開（公告）日： | 2016-08-10 |
| 發明（設計）人： | 周庭梁;劉靜;羅娟;陳祥;左輝;陳小紅 | 申請（專利權）人： | 卡斯柯信號有限公司 |
| 主分類號： | G06F19/00 | 分類號： | G06F19/00 |
| 代理公司： | 上海科盛知識產權代理有限公司 31225 | 代理人： | 應小波 |
| 地址： | 200070 上海市閘北區*** | 國省代碼： | 上海;31 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 模型 體系 列車 運行 控制系統 形式化 建模 驗證 方法 | ||
【說明書】：
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于卡斯柯信號有限公司，未經卡斯柯信號有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201610159955.0/2.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：一次性痰液收集袋
- 下一篇：通用型臨床試驗電子數據獲取系統和獲取方法
- 同類專利
- 專利分類
G06 計算；推算；計數
G06F 電數字數據處理
G06F19-00 專門適用于特定應用的數字計算或數據處理的設備或方法
G06F19-10 .生物信息學，即計算分子生物學中的遺傳或蛋白質相關的數據處理方法或系統
G06F19-12 ..用于系統生物學的建模或仿真，例如：概率模型或動態模型，遺傳基因管理網絡，蛋白質交互作用網絡或新陳代謝作用網絡
G06F19-14 ..用于發展或進化的，例如：進化的保存區域決定或進化樹結構
G06F19-16 ..用于分子結構的，例如：結構排序，結構或功能關系，蛋白質折疊，結構域拓撲，用結構數據的藥靶，涉及二維或三維結構的
G06F19-18 ..用于功能性基因組學或蛋白質組學的，例如：基因型–表型關聯，不均衡連接，種群遺傳學，結合位置鑒定，變異發生，基因型或染色體組的注釋，蛋白質相互作用或蛋白質核酸的相互作用
G06F 電數字數據處理
G06F19-00 專門適用于特定應用的數字計算或數據處理的設備或方法
G06F19-10 .生物信息學，即計算分子生物學中的遺傳或蛋白質相關的數據處理方法或系統
G06F19-12 ..用于系統生物學的建模或仿真，例如：概率模型或動態模型，遺傳基因管理網絡，蛋白質交互作用網絡或新陳代謝作用網絡
G06F19-14 ..用于發展或進化的，例如：進化的保存區域決定或進化樹結構
G06F19-16 ..用于分子結構的，例如：結構排序，結構或功能關系，蛋白質折疊，結構域拓撲，用結構數據的藥靶，涉及二維或三維結構的
G06F19-18 ..用于功能性基因組學或蛋白質組學的，例如：基因型–表型關聯，不均衡連接，種群遺傳學，結合位置鑒定，變異發生，基因型或染色體組的注釋，蛋白質相互作用或蛋白質核酸的相互作用
