《基於三維場計算和多值邏輯的模擬計算研究》是依託北京理工大學,由潘峰擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:基於三維場計算和多值邏輯的模擬計算研究
- 依託單位:北京理工大學
- 項目負責人:潘峰
- 項目類別:青年科學基金項目
《基於三維場計算和多值邏輯的模擬計算研究》是依託北京理工大學,由潘峰擔任項目負責人的青年科學基金項目。
《基於三維場計算和多值邏輯的模擬計算研究》是依託北京理工大學,由潘峰擔任項目負責人的青年科學基金項目。項目摘要本課題的研究是由模擬場計算、多值邏輯和群智慧型方法三者共同構成的新型計算系統。以基於模擬場計算和多值邏輯的新型模...
《多值邏輯函式結構理論研究》是2010年科學出版社出版的圖書,作者是劉任任,歐陽建權。內容簡介 《多值邏輯函式結構理論研究》系統地闡述了多值邏輯函式的結構理論;詳細地介紹了部分多值邏輯中Sheffer函式的判定與構造問題;重點介紹了作者提出的部分多值邏輯中準完備集之間的相似關係概念,以及利用這些理論來確定多值...
《基於格序群的多值邏輯代數研究》是依託北京航空航天大學,由楊義川擔任項目負責人的面上項目。項目摘要 有阿基米德元的交換格序群和MV-代數間的Mundici等價、交換格序群與Bezout整環間的Jaffard-Ohm對應中格序群的基礎聯結作用蘊含著一種重要的研究思想。本項目將綜合套用上述橋樑關係,以格序群理論為基礎,首先...
《模糊邏輯與計算智慧型研究進展:2005年中國模糊邏輯與計算智慧型聯合學術會議論文集》是2005年中國模糊邏輯與計算機智慧型聯合學術會議論文集,即中國計算機學會多值邏輯與模糊邏輯專業委員會第10屆學術年會和中國人工智慧學會神經網路與計算機智慧型專業委員會第2屆學術年會聯合學術會議論...
《多值邏輯博弈語義研究》是2018年科學出版社出版的圖書,作者是陳招萬。內容簡介 多值邏輯在人們的現實生活中獲得廣泛的套用,但一直未能尋找到一個讓人們滿意的、符合人們直覺的語義解釋。特徵函式語義、代數語義、可能世界語義從多值邏輯的數學性質構建多值邏輯語義模型,這些模型預設了語義解釋的唯一性,卻忽視了人們...
《多值邏輯的方法和理論 : 非正規多值邏輯研究》是2009年科學出版社出版的圖書,作者是霍書全。內容簡介 本書系統介紹了多值邏輯的思想來源、各種系統及其語義解釋;闡述了各種多值邏輯聯結詞,特別是無窮值邏輯的各種聯結詞及其構造,分析和整理了多值邏輯函式完備性問題的深刻結論。圖書目錄 前言 1 導論 2 多值...
並證明了其元邏輯性質;介紹了與多值邏輯有關的代數系統,另外,對抽象代數邏輯的一些結果給以介紹,這是研究多值邏輯的一個重要方法。圖書目錄 前言 1 導論 2 多值邏輯聯結詞及其判定問題 3 多值邏輯的公理化、系統化 4 多值邏輯的代數語義 參考文獻 會議論文集 ...
雷達模擬輻射源參測記錄系統設計………李曉娟 戴 誼(101)動目標顯示技術在雷達中的套用………胡愛明 胡可欣(105)採用FPGA設計圖像傳輸模組……… 夏際金 顧 宇 方誌紅(109)基於SystemC的系統級建模技術研究……… 王文靜 杜高明(113)計算機圖形學與仿真 基於Agent的行為模型在通信對抗仿真中的套用……… ...
部分晶體出口國外。②針對玻璃中Yb(3+)離子的能級特徵,自行設計了不同組份的玻璃系統。用特殊工藝熔制出穩定的玻璃,經光譜理論計算及測試,獲得國際上最大發射截面積及最長螢光壽命的玻璃組成。提出了適用於連續雷射及脈衝雷射要求的不同玻璃組成。已發表論文16篇,待發表12篇,培養博士生三名。
因此,利用仿真技術來研究這些系統就具有更為重要的意義。在仿真硬體方面,從60年代起採用數字計算機逐漸多於模擬計算機。混合計算機系統在70年代一度停滯不前,80年代以來又有發展的趨勢,由於小型機和微處理機的發展,以及採用流水線原理和並行運算等措施,數字仿真運算速度的提高有了新的突破。例如利用超小型機 VAX ...
模擬土地等級調查的實施過程,選取土地等級評價分等因素,採用專家打分法確定各因素得分,確定各因素權重後完成土地等級綜合分值的計算,根據分布情況設定等別區間,確定土地等級。 二、地籍測量模組 子模組2-1:角度測量:方向法(光學經緯儀) 該子模組模擬角度測量方向法的基本操作步驟,設定4個方向上的測點,並在中央對這些...
情感計算是一個高度綜合化的研究和技術領域。通過計算科學與心理科學、認知科學的結合,研究人與人互動、人與計算機互動過程中的情感特點,設計具有情感反饋的人與計算機的互動環境,將有可能實現人與計算機的情感互動。情感計算研究將不斷加深對人的情感狀態和機制的理解,並提高人與計算機界面的和諧性,即提高計算機...
建立了隨機變數模型後還必需能夠在計算機中產生一系列不同分布的隨機變數的抽樣值來模擬系統中的各種隨機現象。隨機變數的抽樣值產生的實際做法通常是,首先產生一個[0,1]區間的、連續的、均勻分布的隨機數,然後通過某種變換和運算產生其所需要的隨機變數。得到[0,1]區間均勻分布的、有良好的獨立性、周期長的隨機...
馮恩民,1939年生,博士生導師。1964年畢業於大連工學院數理力學系,留校任教。任中國工業與套用數學學會常務理事,東北工業與套用數學學會常務理事,兼副理事長。1994年獲義大利政府基金資助,在義大利Bergamo大學合作研究。近30年來一直從事運籌學與控制論方面的理論、算法、套用及計算軟體方面的研究。人物經歷 拓樸布局...
ETAP是電力電氣分析、電能管理的綜合分析軟體系統的簡稱。 ETAP 是功能全面的綜合型電力及電氣分析計算軟體,能為發電、輸配電和工業電力電氣系統的規劃、設計、分析、計算、運行、模擬提供全面的分析平台和解決方案·ETAP是美國OTI集團公司研發生產的電力及電氣系統綜合計算分析軟體和實時線上控制、智慧型電網系統產品,也是...
碩士研究生指導領域為軟體工程(學科代碼081280)中的網路軟體開發和網路與信息安全。現研究項目有(1)可信計算平台,密碼分析,安全密碼部件設計;(2)網路安全分析,SSL分析;現開發項目有(1)電子政務系統,電子支付系統;(2)中小型企業信息系統。肖來元,男,工學博士,教授,博士生導師,1957年1月出生。主要...
《軍事系統工程》是2014年國防工業出版社出版的圖書。運用系統科學的理論和定量與定性的方法,對軍事系統實施合理的籌劃、研究、設計、組織、指揮和控制,使各個組成部分和保障條件綜合集成為一個協調的整體,以實現系統功能與組織最最佳化的技術。它是軍事上套用的系統工程,是現代參謀組織、現代作戰模擬、現代通信、計算機...
多媒體計算機技術是面向三維圖形、環繞立體聲和彩色全螢幕幕運動畫面的處理技術。而數字計算機面臨的是數值、文字、語言、音樂、圖形、動畫、圖像、視頻等多種媒體的問題,它承載著由模擬量轉化成數字量信息的吞吐、存儲和傳輸。數位化了的視頻和音頻信號的數量之大是非常驚人的,它給存儲器的存儲容量、通信幹線的信道傳...
這些研究幾乎不可能在系統自身上完成,因為從技術上很難保持過程處於穩態,而且生物甲烷化反應的起動過程很慢,需要幾周的時間。但如果利用(仿真)模型在計算機上仿真,則甲烷化反應的起動過程只需要幾分鐘的時間。數字模型又稱數字沙盤,多媒體沙盤、數字沙盤系統等,它是以三維的手法進行建模,模擬出一個三維的建築...
4.2.1 模擬量處理 57 4.2.2 狀態量處理 57 4.2.3 計畫值處理 58 4.2.4 多數據源處理 59 4.2.5 旁路代識別與處理 60 4.2.6 對端代處理 61 4.3 SCADA 計算統計 62 4.3.1 計算功能 62 4.3.2 統計功能 63 4.4 電網運行監視 64 4.4.1 一次設備監視 64 4.4.2 穩定斷面監視 64 4...
二、中醫舌診工程研究 王如願等採用有限元的方法對舌體三維溫度場數值模擬,採用血管鑄型的方法獲取豬舌的血管樹,通過數碼成像及逆向建模將其轉換為計算機可識別的數字模型。以Pennes方程為基準方程,對自然形態和實際傳熱狀態下的舌體三維溫度場進行了重構計算,獲取其三維空間的溫度分布。陳松鶴等使用舌象分析儀拍攝數字...
研究方向,內容,目標 (1)量子通信與量子計算 研究內容:量子密碼和量子通信 包括網路密碼,點對點實用化量子密碼,多維或連續態量子密碼,光子量子態的隱形傳送,量子機率克隆等。量子模擬計算和量子邏輯網路 包括基於核磁共振的量子邏輯網路和量子模擬計算,新型的量子邏輯網路方案,量子算法,量子編碼等。量子...
A360利用了雲計算的強大功能,3ds Max用戶藉助它,無需占用桌面資源,也不需要使用專門的渲染軟體,就可以創建出令人印象深刻的高清圖像,因此有助於節省時間並降低成本。更出色的是,Subscription契約客戶還可以創建日光研究渲染、互動式全景和照度模擬,利用以前上載的檔案重新渲染圖像,並與其他團隊或同事輕鬆已分享檔案。...
它提供了一系列的標準化環境(如經典控制、機器人模擬、遊戲等),這些環境可以用來訓練和測試智慧型體的表現。Gym框架通過統一的API接口,使得研究人員能夠輕鬆地在不同環境中實驗和比較不同的智慧型體算法。Isaac Gym Isaac Gym是由NVIDIA推出的第一款專注於高性能物理仿真和強化學習開發框架,專為大規模並行計算和深度...
例如:連線節點深化設計建模,需要按照施工圖設計中節點部位的構件尺寸、鋼筋直徑和位置等數據,對生產和施工過程進行模擬,通過碰撞檢查覆核和對鋼筋的直徑、數量和位置進行調整,最終確定構件連線方式和節點連線方式,完成構件承載力計算、構件深化圖生成和節點深化圖生成等工作。5.3.3確定施工圖設計中構件拆分的位置、...
岩性識別遙感信息模型,構造識別遙感信息模型;各類礦產成礦遙感信息模型;各類礦產控礦遙感信息模型;地下三維岩體模擬影像模型;礦產品位與儲量計算的模擬影像模型;地震監測遙感信息模型;地球內部結構影像模擬模型;等等。5.土地類 土地利用類型識別遙感信息模型,土地資源評價遙感信息模型;土地類型規劃遙感信息模型;地籍...
模組主要由以下幾個部分構成:指紋圖像採集與識別部分、程式與數據存儲部分、全局邏輯控制部分、密碼識別部分以及數據通訊部分。(1)指紋圖像採集與識別部分:該部分以DSP和MBF200為核心,系統採用外部中斷方式來判斷是否進行指紋的採集。當進行指紋採集時,指紋感測晶片按照設定的參數採集指紋並將模擬圖像轉換成數字圖像,...