當前位置:科學網首頁 > 基金首頁 > 模型論的研究及其應用
相關基金

國家自然科學基金項目查詢

模型論的研究及其應用

批準號10101008 學科分類數理邏輯 ( A011501 )
項目負責人陳國龍 負責人職稱教授 依托單位淮北師范大學
資助金額8.00
萬元
項目類別青年科學基金項目 研究期限2002 年 01 月 01 日 至
2004 年 12 月 31 日
中文主題詞模型論.計算復雜性.
英文主題詞model theory.computiongal complexity.

摘要

中文摘要 研究模型論對無限方陣理論的應用,一階邏輯理論的計算復雜性,可數模型個數以及u演算的有限公理化和判定性問題。這些研究將充分體現模型論在數學論證中的獨特作用暈尷尬咝源難芯烤哂猩羈痰睦礪垡庖澹撲愀叢有緣難芯吭蚨韻嚶Φ幕髦っ骷凹撲鬮侍庥兄苯影鎦陀跋臁
英文摘要
結題摘要 利用拓撲學方法研究了ω-范疇理論的性質,對可數模型個數進行了分析討論,得到了ω-范疇理論的一些新性質,在可數齊次情形下證明了著名的Vaught猜想。用改進了的Ehrenfeucht博奕理論,研究了無限集合的有限子集理論的計算復雜性,得到了判定該理論的計算復雜性上界。研究了一類非奇異無限方陣的分解問題,得到了該類方陣的分解式,并證明了分解式的唯一性。證明了除環上無限方陣極大線性無關組的存在性,并給出了詳細的構作方法,這對進一步研究該類無限方陣的相關性質奠定了重要基礎。提出了一個謂詞μ-演算系統,給出了一個推演系統,應用判定樹方法,證明了該推演系統的完備性。對于面向傳值進程的Hennessy_Milner邏輯的一階擴充HML(FO),給出了基于帶賦值的符號遷移圖的語義解釋,證明了子邏輯HML(FO2)是滿足性可判定的,并且討論了其判定的復雜性。對ASIPP微束裝置建立了良好的數學模型,較大幅度地提高了該系統的吞吐量。基于Microsoft.NET技術,提出了一種構筑安全的電子商務體系的技術方案。

成果

序號 標題 類型 作者
1 在Visual Studio.NET中有效利用Windows API資源 期刊 胡智文|陳國龍|
2 在Visual Studio.NET中通過鼠標自動控制實現程序的自動化操作 期刊 胡智文|陳國龍|
3 新一代分布計算模型——XML Web Services 期刊 胡智文|陳國龍|
4 基于Microsoft.NET技術構筑安全的電子商務體系 期刊 陳國龍|胡智文|
5 范疇理論及其性質 期刊 陳國龍|

關于我們| 網站聲明| 服務條款| 聯系方式| RSS| 中國科學報社 京ICP備14006957 京公網安備110402500057號
Copyright @ 2007- 中國科學報社 All Rights Reserved
地址:北京市海淀區中關村南一條乙三號   電話:010-62580783
秒播影视_秒播视频_秒播影院