自動推理平臺MMP

2003年

軟科學

成果簡介

　　自動推理平臺MMP是由國家“973”項目“數學機械化與自動推理平臺”支持開發的，是以我國自行開創的數學機械化算法為核心，以數學機械化的若干理論與應用的研究成果為依托，具有獨特自動推理功能的軟件平臺。將成為科學研究、工程應用、教學提供一個應用數學機械化的理論與方法的強有力的軟件工作平臺和開發平臺，將會對數學機械化的發展產生長遠影響。MMP首次從底層開始，開發具有自主知識產權的、不依賴于其他軟件系...

相關成果

1. 數學機械化自動推理平臺MMP
2. 非經典邏輯的自動推理
3. 定理機器證明與自動推理的研究
4. 基于格值邏輯的語言真值歸結自動推理研究
5. HBx上調MT1-MMP激活MMP2促進MMP2-αⅤβ3結合在肝癌轉移中的分子機制研究
6. 結腸癌中p15、p16和MMP-2、MMP-7、MMP-9表達的研究
7. MMP－9與MMP－2在食管癌中的表達及其意義
8. 急性腦梗死血清MMP-2 MMP-9 TMP-1表達及相關研究
9. MMP-7、MMP-9及TIMP-1在喉癌中的表達及其臨床意義
10. 葛根素對局灶性腦缺血MMP-2 MMP-9表達變化的影響
12. 骨肉瘤中MMP-2、MMP-9、NF-кB及PCNA的表達及意義
13. MMP吸附劑及應用技術
14. 腦膜瘤的臨床病理與 AR、 MMP-2、MMP-9、PCNA表達的相關性研究
15. 亞低溫對腦出血后MMP2、MMP9和AIF表達影響的實驗性研究
16. 哮喘急性發作期患兒血清MMP-2、MMP-9、α2-巨球蛋白的表達
17. MMP-2、MMP-7、MMP-9及其抑制物TIMP-1在大腸癌及癌旁組織中的表達及其臨床生物學行為關系的相關研究
18. MMP微機電動機保護和監視裝置
19. CDX2、Survivin、E-cadherin、MMP-2和MMP-9在大腸癌的表達及其相關性
20. 肺鱗癌組織中MMP-2表達的研究

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

自動推理平臺MMP

標簽云

猜您想要的成果

相關專家

相關機構


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


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


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


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


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