国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

社會平衡的時態(tài)邏輯與程序?qū)崿F(xiàn)

發(fā)布時間:2020-09-01 14:44
   社會網(wǎng)絡(luò)分析不僅是重要的社會學(xué)理論,更是當(dāng)前相關(guān)領(lǐng)域的研究熱點(diǎn)。社會網(wǎng)絡(luò)的結(jié)構(gòu)平衡性是其重要性質(zhì)。用于分析與研究社會平衡的動態(tài)分析理論為結(jié)構(gòu)平衡理論。結(jié)構(gòu)平衡理論最初被用于衡量主體認(rèn)知結(jié)構(gòu)的平衡特性,而后由于圖論方法的引入,逐漸發(fā)展為一個高度形式化且適用面廣的動態(tài)社會結(jié)構(gòu)分析理論。近年來,邏輯學(xué)家們對社會網(wǎng)絡(luò)領(lǐng)域產(chǎn)生了很大的興趣并對此做了不少工作。不過,其中大部分研究工作關(guān)注網(wǎng)絡(luò)中的信息與知識交換及其所造成的影響,而只有敵友邏輯關(guān)注社會網(wǎng)絡(luò)自身的結(jié)構(gòu)特征。敵友邏輯是一個基于結(jié)構(gòu)平衡理論視角,用于研究社會網(wǎng)絡(luò)結(jié)構(gòu)性質(zhì)與動態(tài)變化的時態(tài)邏輯。敵友邏輯以計(jì)算樹邏輯為基礎(chǔ),其中每條時間線表示社會網(wǎng)絡(luò)的一個動態(tài)變化過程。雖然敵友邏輯的模型檢測與有效性檢測問題被證明為PSPACE-完全,但前人并未給出相應(yīng)的公理系統(tǒng)。本文首先依據(jù)描述方法對敵友邏輯進(jìn)行公理化,并證明該公理系統(tǒng)具有可靠性與強(qiáng)完全性。而后,本文依據(jù)考慮關(guān)系強(qiáng)度的平衡理論研究,定義了強(qiáng)度網(wǎng)絡(luò)及相應(yīng)的穩(wěn)定性與平衡性,并以敵友邏輯為基礎(chǔ),建立了考慮關(guān)系強(qiáng)度的敵友邏輯。再后,本文不僅通過規(guī)約及相應(yīng)算法證明了考慮關(guān)系強(qiáng)度的敵友邏輯的模型檢測問題為PSPACE-完全,還使用類似的描述方法,建立了考慮關(guān)系強(qiáng)度敵友邏輯的公理系統(tǒng),并證明其可靠性與強(qiáng)完全性。最后,本文通過Python編程語言,編寫了考慮關(guān)系強(qiáng)度的敵友邏輯的模型檢測工具。
【學(xué)位單位】:浙江大學(xué)
【學(xué)位級別】:碩士
【學(xué)位年份】:2019
【中圖分類】:B815.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 霍書全;;普萊爾混合時態(tài)邏輯的思想基礎(chǔ)[J];邏輯學(xué)研究;2016年02期

2 馮彥波;;論時態(tài)邏輯的新發(fā)展[J];鄭州航空工業(yè)管理學(xué)院學(xué)報(社會科學(xué)版);2008年04期

3 包磊;;運(yùn)用命題時態(tài)邏輯解析“半費(fèi)之訟”[J];三峽大學(xué)學(xué)報(人文社會科學(xué)版);2007年S2期

4 張廣泉,孫敏;時態(tài)邏輯的比較與分析[J];渝州大學(xué)學(xué)報(自然科學(xué)版);1999年02期

5 韓俊剛;硬件設(shè)計(jì)的形式驗(yàn)證與時態(tài)邏輯[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報;1990年01期

6 張駿林;李江宏;;用于協(xié)議描述及驗(yàn)證的時態(tài)邏輯[J];計(jì)算機(jī)應(yīng)用與軟件;1992年02期

7 唐同誥;帶等詞的一階時態(tài)邏輯系統(tǒng)[J];復(fù)旦學(xué)報(自然科學(xué)版);1985年02期

8 劉清;建立在時態(tài)邏輯公式演繹基礎(chǔ)上的程序設(shè)計(jì)[J];計(jì)算機(jī)應(yīng)用與軟件;1989年01期

9 孫傳宏;郭志剛;;Be的時態(tài)邏輯形式[J];福建外語;1989年Z2期

10 劉清;;時態(tài)邏輯與程序設(shè)計(jì)語言[J];計(jì)算機(jī)科學(xué);1989年05期

相關(guān)會議論文 前7條

1 陳玉泉;陳宣;陸汝占;;內(nèi)涵時態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機(jī)器翻譯——全國第六屆計(jì)算語言學(xué)聯(lián)合學(xué)術(shù)會議論文集[C];2001年

2 費(fèi)定舟;;基于分枝時間框架的通信系統(tǒng)的BDI模型[A];2005年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會論文集[C];2005年

3 張建軍;羅景仁;;一個新的時態(tài)邏輯系統(tǒng)和DB形式化描述方法[A];第九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集(上)[C];1990年

4 田國會;劉長有;徐心和;;離散事件動態(tài)系統(tǒng)理論的時態(tài)邏輯研究方法[A];1996中國控制與決策學(xué)術(shù)年會論文集[C];1996年

5 王飛明;胡元闖;董榮勝;;模型檢測中狀態(tài)爆炸及其優(yōu)化策略研究[A];廣西計(jì)算機(jī)學(xué)會2008年年會論文集[C];2008年

6 劉新;鄒麗;;直覺模糊時態(tài)邏輯[A];模糊集理論與應(yīng)用——98年中國模糊數(shù)學(xué)與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

7 田國會;劉長有;徐心和;;實(shí)時離散事件系統(tǒng)的TOOCPN/RTTL研究框架[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

相關(guān)博士學(xué)位論文 前4條

1 時慧嫻;模態(tài)邏輯的計(jì)量化研究及其在模型檢驗(yàn)中的應(yīng)用[D];陜西師范大學(xué);2013年

2 呂嘉;基于開放時態(tài)邏輯的面向方面程序形式化驗(yàn)證和模塊推理研究[D];浙江大學(xué);2009年

3 王善俠;極小非正規(guī)時態(tài)邏輯研究[D];西南大學(xué);2017年

4 徐偉峰;多主體模型定量驗(yàn)證方法研究[D];吉林大學(xué);2014年

相關(guān)碩士學(xué)位論文 前10條

1 駱犀羚;社會平衡的時態(tài)邏輯與程序?qū)崿F(xiàn)[D];浙江大學(xué);2019年

2 孫洋;關(guān)于帶“現(xiàn)在”算子的時態(tài)邏輯研究[D];西南大學(xué);2018年

3 湯飛;STALLOY:一種時空建模與分析語言[D];華東師范大學(xué);2017年

4 張紅軍;一類對象Petri網(wǎng)建模與驗(yàn)證方法研究[D];鄭州大學(xué);2006年

5 張麗;時態(tài)公開宣告邏輯初探[D];西南大學(xué);2009年

6 趙瑞芳;基于時態(tài)邏輯的XQuery樹模式優(yōu)化[D];北京工業(yè)大學(xué);2016年

7 段廷銀;基于云計(jì)算平臺的時態(tài)邏輯模型檢測算法研究與實(shí)現(xiàn)[D];鄭州大學(xué);2016年

8 劉冬寧;時態(tài)邏輯及其對知識庫的構(gòu)架與研究[D];廣東工業(yè)大學(xué);2004年

9 楊志;基于吳方法的高層次模型檢驗(yàn)方法研究[D];哈爾濱工程大學(xué);2008年

10 劉榮勝;離散實(shí)時Mobile Ambients[D];湖南師范大學(xué);2007年



本文編號:2809875

資料下載
論文發(fā)表

本文鏈接:http://www.lk138.cn/shekelunwen/ljx/2809875.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶ca7ea***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
粉嫩草AV| 亚洲第一乱码专区| 久久久久亚洲伦理精品| 色浴国产欧美| 精品国产卡一区| 日B流水视频手机免费在线| 国产精品久久久久久久妇| 美女巨乳黄色高潮网站| 综合色 在线| 日韩三及片网站| 久久久无码精品亚洲日韩爱爱| 精品国产区久久久| 亚洲高清无毛无码网站| 国产精品麻豆熟女| 欧美专区 日韩专区 正在进入| 亚洲天堂精品、、| 精品久久穴| 91黄色做爱麻豆视频| 欧美丰满日韩| 中文字幕美日韩1区2区3区| 久久婷婷综合色丁香91| 麻豆视频免费看| 精品久久人人爽人人玩人人妻| 国产97com| 窝色AV| 中文国产日韩一区二区三区| 日本a不卡在线观看| 亚洲四区五区六区在线播放| 国産精品久久久久久久gif| 97人妻精品一区二区| 亚洲色欲wwwww| 欧美精品妈妈偷吃女儿男友| 欧美日韩亚洲一区z| 91色婷婷九色PORNY| 99操久久| 成人tv色| 无码尤物导航| 日韩国产三级网址| 看黄色内射美女视频| 夜夜看久久| 骚死了,啊。顶你视频|