分布式程序設計理論研究

2001年

應用技術

成果簡介

組合式描述和驗證方法：提出了通信序列的特性描述分布式系統的功能；論證了分布式系統的組合性，從而推動了各類組合式方法的研究、并從理論上建立了分布式軟件工程化的分解原則。分布式程度設計的最弱環境及其演算，討論了分布式系統及其環境間的的相互作用問題，為分布式軟件工程提供了一種求精方法。通信機制的精化技術：建立了由抽象通信機制至實用機制的求精過程，為設計獨立于通信機制的分布式軟件提供理論依據。分布式程度設...

相關成果

1. 面向對象分布式程序設計可視化環境
2. 橋梁抗震理論研究
3. 光學捕獲理論研究
4. 現代建筑理論研究
5. 邊緣檢測理論研究
6. 動態測量精度理論研究
7. 邊緣檢測理論研究
8. 生態旅游理論研究
9. 組合網絡理論研究
10. 苯型烴理論研究
12. 圖的染色理論研究
13. 定量遙感基礎理論研究
14. 機械鍍的工藝理論研究
15. 磁性材料微觀理論研究
16. 彝族醫學基礎理論研究
17. 量子碰撞的理論研究
18. 廣義冪級數環理論研究
19. 基本粒子理論研究
20. 電解質溶液理論研究

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

分布式程序設計理論研究

標簽云

猜您想要的成果

相關專家

相關機構


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


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


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


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


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