生物運行機制的形式化描述探索

2007年

應用技術

成果簡介

　　對生命運行機制的形式化描述是運用數理學科知識來輔助生命學科發展的關鍵性步驟。如何在生命科學現象中定義、量化一個特征、過程，一直是交叉學科研究的重點。本課題將分別從蛋白相互作用網絡、基因表達譜數據和基因組非編碼區三個方向開展研究：在蛋白相互作用網絡方向，研究組成網絡的network motif；在表達譜數據分析方向，主要集中在多種表達譜數據的整合和由表達譜數據提取基因調控網絡的研究；基因組非編碼...

相關成果

1. 基于模型－理論框架的多傳感器數據融合系統形式化描述
2. 共代數方法及其在形式化描述和驗證軟件體系結構中的應用
3. 生物標本描述標準和規范的制定及共享試點
4. 生物活性骨的復合制造方法探索
5. 面向復雜特征的形式化方法
6. 導向生物功能材料的手性生物大分子的設計、合成與應用探索
7. Agent理性形式化研究
8. Agent理性形式化研究
9. 高可信軟件的形式化理論與方法
10. 基于時態邏輯的形式化綜合與驗證
12. Agent理性形式化模型研究
13. BPR的形式化方法及其實證研究
14. 非經典計算的形式化模型與邏輯基礎
15. 巨磁阻抗效應生物傳感技術的探索研究
16. 生物體內活性自由基定位捕獲新方法的探索
17. 生物社會心理醫學模式在皮膚科臨床的探索
18. 合并高校運行機制的研究
19. 姿態運動的Rodrigues參數描述
20. 網絡系統的形式化測試和驗證方法的研究

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

生物運行機制的形式化描述探索

標簽云

猜您想要的成果

相關專家

相關機構


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


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


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


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


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