共代數方法及其在形式化描述和驗證軟件體系結構中的應用

2006年

應用技術

成果簡介

對代數方法與共代數方法的基本概念、代數與共代數范疇的性質、初始代數與終結共代數、雙模擬與行為等價、共代數規范以及共代數邏輯進行了比較全面和深入的研究。特別地，從共關系理論角度探討了共代數行為等價的描述，研究了共代數上的共關系的基本性質，以及共同余共關系與子共代數之間的一一對應?；诠泊鷶瞪系墓碴P系理論，提出了共生成子共代數的一種構造方法。為將共代數方法用于軟件體系結構描述，還就與特定領域軟...

相關成果

1. 網絡系統的形式化測試和驗證方法的研究
2. 形式化方法在軟件開發中的應用研究
3. 同調代數及其在環論中的應用研究
4. 一種協議描述、驗證和實現的新方法
5. 認識邏輯及其在安全協議設計、驗證中的應用
6. 進程代數驗證工具PAM
7. 鏈式散射描述及其在魯棒控制中的應用
8. 生物運行機制的形式化描述探索
9. 基于時態邏輯的形式化綜合與驗證
10. 格上拓撲學及其在不確定特征的數學描述中的應用
12. 拱壩分析方法及其在設計中的應用
13. 代數表示論及其在數學物理中的應用
14. BPR的形式化方法及其實證研究
15. 李代數方法在分子碰撞動力學和分子結構問題中的應用
16. 組合數論中的結構問題和組合數學中的代數方法
17. 組合數論中的結構問題和組合數學中的代數方法
18. 矩陣降階的保特征研究和某些代數系統中的矩陣方法
19. 可視化軟件體系結構描述工具XYZ/ADL的設計與實現
20. 交換代數中的分次環的性質及其應用

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

共代數方法及其在形式化描述和驗證軟件體系結構中的應用

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功