可計算建模是2018年公布的計算機科學技術名詞 。
基本介紹
- 中文名:可計算建模
- 外文名: computable modeling
- 所屬學科:計算機科學技術_計算機套用_科學與工程計算
- 公布年度: 2018年
可計算建模是2018年公布的計算機科學技術名詞 。
可計算建模是2018年公布的計算機科學技術名詞 。 定義根據所研究的問題對計算精度的要求,綜合運用相關領域知識建立或簡化的模型。可減少計算量,提高計算效率,使得模型在現有計算機條件下可計算。 ...
《生物網路的可計算建模》是依託北京大學,由湯超擔任負責人的重大研究計畫。項目摘要 經過長期的進化,生物系統可以精確地、魯棒地執行各種生物功能。在分子和細胞水平上,生物功能是通過基因和蛋白質的相互作用,即生物調控網路來完成的。網路的拓撲結構、動力學性質與功能之間有著緊密的聯繫。如何定量刻畫這種關係,找出...
《高通量測序的可計算建模與套用基礎算法》是依託中國科學院數學與系統科學研究院,由李雷擔任項目負責人的重大研究計畫。項目摘要 高通量DNA測序是開展現代分子生物學研究和實現個體化醫療的核心技術。在“高性能科學計算的基礎算法與可計算建模”重大研究計畫資助的培育項目的前期研究基礎上,我們計畫針對高通量測序技術中...
首先對Illumina測序儀的測序原始數據做了系統性的可計算建模。 模型的核心是三個混雜運算元,並基於李雷原創的盲反問題原則提出了自適應解和算法。從概念上看,首先指出了文獻中一類從未提到的由分子簇空間混雜引起的鹼基辨識錯誤,並將它們基本消除。通過對幾個典型的數據評測,我們的方法目前可以將現有測序儀自帶的鹼...
《可計算一般均衡建模初級教程》是中國人口出版社出版的圖書,作者是潘浩然 內容簡介 可計算一般均衡模型(CGE模型)是基於一般均衡理論、巨觀經濟結構關係和國民經濟核算數據而建立起來的一套全景描述經濟系統運行的數量模擬系統,以個體經濟學的消費者追求效用*大化和生產者追求利潤*大化行為理論為基礎,模擬自由競爭市場...
《問題驅動的大型最佳化問題的可計算建模與算法探索》是依託南京大學,由何炳生擔任項目負責人的重大研究計畫。項目摘要 從不完全或者受污染的信息恢復全部正確信息在包括壓縮感知、圖像與信號處理、生物基因分析、以及機器學習等諸多領域有著廣泛套用。這類套用基礎課題受到包括菲爾茲獎獲得者在內的一大批數學家的重視。通過...
《動態網路生物標記識別的可計算建模與算法》是依託中國科學院數學與系統科學研究院,由吳凌雲擔任項目負責人的重大研究計畫。項目摘要 生物標記在複雜疾病的臨床診斷治療和基礎科學研究上都有著非常重要的地位和意義。本項目計畫從系統生物學角度出發,研究針對異質性複雜疾病的動態網路生物標記識別的可計算建模與高性能...
《基於搭接網路機械產品創新可計算性建模及套用研究》是依託上海交通大學,由梁慶華擔任項目負責人的青年科學基金項目。項目摘要 工藝動作原理(行為結構)創新是機械產品創新設計的重要方法,目前無法在該層次實現計算機主動創新,關鍵在於難以建立有效的具有可計算性的表達模型,尤其是協調關係的建模。而機構協調關係的描述以及...
因此,迫切需要研究清楚病毒跨種傳播能力的分子根源,對其進行可計算建模,為禽流感防控提供科學依據和預測方法。為解決此科學問題,本項目擬採用高性能科學計算手段,對禽流感病毒血凝素 (HA) 蛋白與宿主細胞受體結合的自由能形貌進行可計算模擬,提取其熱力學和動力學特徵參數,構建定量描述HA受體結合特異性的數學模型...
雷射慣性約束聚變物理全過程的大規模數值模擬,高度依賴於科學計算中基礎算法與可計算建模的發展水平。輻射輸運過程和內爆壓縮湍流混合是其中的兩個關鍵環節。本項目將開展輻射輸運過程的可計算建模、多群輻射擴散相關的快速算法、具有球對稱性的輻射輸運計算方法、擴散輸運耦合算法及相應的實現技術研究;開展靶丸內爆壓縮...
《雷射熱燒蝕破壞效應的可計算建模和數值方法研究》是依託北京套用物理與計算數學研究所,由趙強擔任項目負責人的面上項目。項目摘要 本項目將以雷射熱燒蝕破壞效應問題為研究背景,建立能夠刻畫雷射熱燒蝕物理過程的、適於計算的數學模型,開展具有一定溫度和壓力條件下含相變問題的流體力學數值方法研究。包括建立雷射與靶...
有了底圖的幫襯,在上面拉牆體就極為容易了,這時候重要的是要保證新建的牆體的面最少,計算量儘可能的少。最好是重新用線描出平面牆的形狀,這樣畫出來的線才是個整體。此時,注意要將“StartNewShape”後面的對號勾掉,畫出的線才可能是整體的。然後給牆體體線添加”Extrude”命令,設定建築的外牆寬度370mm或...
這種套用知識從實際課題中抽象、提煉出數學模型的過程就稱為數學建模(Mathematical Modeling)。不論是用數學方法在科技和生產領域解決哪類實際問題,還是與其它學科相結合形成交叉學科,首要的和關鍵的一步是建立研究對象的數學模型,並加以計算求解(通常藉助計算機);數學建模和計算機技術在知識經濟時代的作用可謂是如虎...
《數據建模與計算案例》是2023年科學出版社出版的圖書。內容簡介 本書圍繞數據模型及計算主線,按共性算法案例、數據工程領域中數據計算案例展開.第1章(概述篇)概述了數據建模與計算的思想與方法,提出了數據建模的多模型融合思想和數據計算的多算法集成策略,讓模型和算法點亮數據的光芒.第2章到第6章(共性算法篇)例舉...
1、將解決實際問題的數學建模與數值求解的知識科學融合,形成該課程的教學內容,作為各專業的基礎課和部分理工科專業的主幹課開設。2、用相應模型的數值求解導入科學計算的內容,將數學建模思想貫穿該課程整個教學過程,對課程內容進行改革,突出實踐性教學環節,讓學生獲得全過程的科研訓練。3、形成“科學計算與數學建模...
《地緣政治經濟分析的可計算一般均衡建模》是2019年3月社會科學文獻出版社出版的圖書,作者是叢曉男、王錚。內容簡介 本書以計算經濟學和政策模擬手段研究地緣政治經濟問題。進入21世紀後,地緣政治經濟問題發生了重大變化:一是分析的重心由地緣政治過渡到地緣經濟;二是地緣政治經濟問題的空間尺度已擴張至全球;三是地緣...
面間的拓撲關係,無法區分面的哪能一側是體內或體外,仍不能進行物性計算和分析.實體建模;不僅描述了實體全部的幾何信息,而且定義了所有的點.線,面,體的拓撲信息.特點;可對實體信息進行全面完整的描述,能夠實現消隱,剖切,有限元分析,數控加工,對實體著色,光照及紋處理,外形計算等各種處理和操作.
建立有限元計算模型(Finite element model is established),要滿足有限元模型應滿足平衡條件等條件。建模準則 有限元建模的總則是根據工程分析的精度要求,建立合適的,能模擬實際結構的有限元模型.在連續體離散化及用有限個參數表征無限個形態自由度過程中不可避免的引入了近似.為使分析結果有足夠的精度,所建立的有限...
MCAM是中國科學院核能安全技術研究所研發的一款蒙特卡羅粒子輸運自動建模軟體。簡介 蒙特卡羅粒子輸運計算自動建模程式(如MCNP、TRIPOLI等)廣泛運用於核探測和航空航天等領域,但一直缺乏有效的建模軟體。MCAM是中國科學院核能安全技術研究所研發的一款蒙特卡羅粒子輸運自動建模軟體,分析人員可自由使用各種商用CAD系統建模,然後...
這些方法可以克服一般反問題的共性難點,即:高度非線性、不適定性和計算大規模性。我們也計畫將這些新的可計算數學模型和高性能科學算法套用到一些實際問題,從而力爭解決一些國家的重大需求。 本項目的主要特色就是面向國際前沿,將可計算建模與高性能科學算法相結合,解決相關共性難題,力爭在理論、算法、建模及套用上...
《Python貝葉斯建模與計算》是2024年清華大學出版社出版的圖書,作者是[阿根廷] 奧斯瓦爾多·A. 馬丁(Osvaldo A. Martin)、[美]拉萬·庫馬爾(Ravin Kumar)、[美]勞俊鵬(Junpeng Lao),譯者是郭濤。內容簡介 《Python貝葉斯建模與計算》旨在幫助貝葉斯初學者成為中級從業者。本書使用了PyMC3、TensorFlow Probability...
處理和研究。但是,對於複雜的分析對象,由於不確定因素較多,有時並不可能通過上面介紹的建模過程一次就能建模成功,而是要通過“建模一計算一分析、比較計算結果一對模型進行修正”這樣一個反覆過程,以使模型逐漸趨於合理。所以在建模過程中,進行適當的試算,採用由簡單到複雜、由粗略到精確的建模思路是必要的。
《基於擴展控制數據流圖的異構通用計算建模與性能評估》是依託東南大學,由時龍興擔任項目負責人的面上項目。中文摘要 隨著移動網際網路套用與服務的演進,巨大的計算需求開始釋放。傳統面向低延時的處理器設計已經無法滿足套用對處理器計算性能的需求。CPU+計算陣列的異構通用計算模型通過對套用中控制密集型和數據密集型計...
6、設定求解方法和求解參數,確定輸出的計算結果。這時候建模基本完成,需要根據求解問題類型,從數值計算的角度選擇恰當的計算方法,要兼顧到計算精度、計算速度和計算穩定性。7、對計算結果進行處理和評價。建模完成後,根據問題類型不同把數據提交給不同的求解器MSC.Natran、MSC.Marc、MSC.Dytran等進行計算,計算結果...
使用建模軟體進行建模。CHCE軟體提供了自帶的建模工具,可以快速高效的完成建築模型的建立。可以直接利用PKPM系軟體的PMCAD建模數據。如果有了PMCAD的數據,則可以直接進行下一步的節能設計工作。建築節能設計計算 幫助設計師完成所有相關的熱工計算,提供了大量不同保溫體系的牆體,屋面和樓板類型,可方便的查詢各種保溫...
可以採用解方程、畫圖形、證明定理、邏輯運算、數值運算等各種傳統的和近代的數學方法,特別是計算機技術。一道實際問題的解決往往需要紛繁的計算,許多時候還得將系統運行情況用計算機模擬出來,因此編程和熟悉數學軟體包能力便舉足輕重。模型分析 對模型解答進行數學上的分析。”橫看成嶺側成峰,遠近高低各不同"。能否...
混合動態系統建模器及模擬器Xcos 發展情況 科學計算軟體曾在工程界的研究和發展活動中掀起了一場革命。如今,這些軟體已經被廣泛套用到工業工程實驗室中,成為各科研領域眾多學者、教師和學生的必備工具。法國國立信息與自動化研究院(INRIA)無疑是這場革命的先驅者。從1994 年開始,它推出的開放源碼軟體SCILAB 積極地...