【摘要】：概率模型P是為有效地檢驗(yàn)命題演算系統(tǒng)之永真(假)函項(xiàng)、永真蘊(yùn)涵關(guān)系;求取命題(合取、析取)范式及證明各重言式定理而特設(shè)的一種純數(shù)學(xué)模型.其特征是,在運(yùn)算中既保持概率運(yùn)算的基本性質(zhì),又滿足命題演算的邏輯要求,且運(yùn)算關(guān)系簡(jiǎn)單(僅含算術(shù)運(yùn)算+、-、×).
【作者單位】： 長(zhǎng)沙大學(xué)人文系
【分類號(hào)】：O141.1

【共引文獻(xiàn)】

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

1 葉思聰;;普適信源、普適劃分及語義識(shí)別信息[J];西安交通大學(xué)學(xué)報(bào);1990年02期

2 陳乃輝;數(shù)理統(tǒng)計(jì)教材建設(shè)芻議[J];高等理科教育;2002年06期

3 蘇岐芳,楊捷飛;0—1多項(xiàng)式與命題邏輯[J];高師理科學(xué)刊;1995年03期

4 宿維軍;化簡(jiǎn)命題演算一例[J];甘肅高師學(xué)報(bào);2000年02期

5 李辰;公理化方法的會(huì)計(jì)學(xué)應(yīng)用:會(huì)計(jì)基本理論的解構(gòu)與重構(gòu)[J];會(huì)計(jì)研究;2003年09期

6 朱嶺,周政,于景元;離散事件系統(tǒng)狀態(tài)反饋控制的幾何理論[J];控制與決策;1991年01期

7 楊柯,王冰笛,張立翔,李桂青;充液管道流固耦合4方程模型的一個(gè)解析解[J];水動(dòng)力學(xué)研究與進(jìn)展A輯;1999年04期

8 蘇岐芳,蘇雅春;命題邏輯中的可表性[J];松遼學(xué)刊(自然科學(xué)版);1997年04期

9 王海明;論倫理學(xué)體系的構(gòu)建方法[J];上海師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2002年04期

10 張型岱,張格華;主范式的運(yùn)算性質(zhì)[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2004年04期

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

1 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

2 郝清賦;邏輯系統(tǒng)動(dòng)態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

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

1 李麗宏;歐幾里得與阿基米德數(shù)學(xué)思想之比較[D];上海師范大學(xué);2007年

2 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

3 王軼;認(rèn)知邏輯的動(dòng)態(tài)化理論[D];中國人民大學(xué);2005年

4 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

【相似文獻(xiàn)】

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

1 余嘉元;項(xiàng)目反應(yīng)理論研究中的計(jì)算機(jī)模擬方法[J];心理科學(xué);1991年02期

2 ;廖鼎烈教授參加第十六屆國際混凝土及結(jié)構(gòu)學(xué)術(shù)會(huì)議[J];石家莊鐵道學(xué)院學(xué)報(bào);1991年04期

3 羅冠中;;Rasch模型及其發(fā)展[J];教育研究與實(shí)驗(yàn);1992年02期

4 李小五;用帶測(cè)度函數(shù)的可能世界語義學(xué)解釋—?dú)w納認(rèn)知邏輯[J];自然辯證法研究;1993年02期

5 劉霞，潘曉良;關(guān)于不確定性問題解決的研究[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1995年04期

6 馬劍虹;GUTTMAN量表的概率模型及其發(fā)展[J];心理發(fā)展與教育;1997年04期

7 朱靖波,姚天順;面向數(shù)據(jù)的句法分析技術(shù)[J];中文信息學(xué)報(bào);1998年01期

8 劉挺;馬金山;李生;;基于詞匯支配度的漢語依存分析模型[J];軟件學(xué)報(bào);2006年09期

9 周健勇;;命題演算系統(tǒng)S的概率模型[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2006年12期

10 楊軍;;概率性優(yōu)選論[J];當(dāng)代語言學(xué);2007年02期

相關(guān)會(huì)議論文 前10條

1 劉懷高;;難度自增殖系統(tǒng)的一類概率模型[A];復(fù)雜巨系統(tǒng)理論·方法·應(yīng)用——中國系統(tǒng)工程學(xué)會(huì)第八屆學(xué)術(shù)年會(huì)論文集[C];1994年

2 金炳堯;蔚承建;何振亞;;一個(gè)基于遺傳與局部搜索的概率學(xué)習(xí)算法[A];1999年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];1999年

3 曹莘耕;;線切割數(shù)控計(jì)算機(jī)可靠性計(jì)算及其應(yīng)用[A];第四屆全國電加工學(xué)術(shù)會(huì)議論文集[C];1983年

4 楊丹宇;;應(yīng)用于非特定人孤立詞小字表漢語語音識(shí)別中的新的隱式概率模型[A];第二屆全國人機(jī)語音通訊學(xué)術(shù)會(huì)議論文集[C];1992年

5 何為民;趙銳;陳光發(fā);;軍事口令非特定人識(shí)別系統(tǒng)的實(shí)現(xiàn)[A];第三屆全國人機(jī)語音通訊學(xué)術(shù)會(huì)議論文集[C];1994年

6 朱思俞;李建人;余金森;王海燕;;在中等噪聲背景下的全音節(jié)漢語語音識(shí)別[A];第三屆全國人機(jī)語音通訊學(xué)術(shù)會(huì)議論文集[C];1994年

7 王海燕;朱思俞;李建人;余金森;;噪聲背景下大詞匯漢語語音識(shí)別[A];第三屆全國人機(jī)語音通訊學(xué)術(shù)會(huì)議論文集[C];1994年

8 張少華;言茂松;;抽水蓄能電站調(diào)峰效益的經(jīng)濟(jì)評(píng)價(jià)[A];1995中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1995年

9 高小旺;魏璉;;結(jié)構(gòu)抗震可靠度的分析方法[A];工程結(jié)構(gòu)可靠性——中國土木工程學(xué)會(huì)橋梁及結(jié)構(gòu)工程學(xué)會(huì)第七屆學(xué)術(shù)會(huì)議論文集[C];1987年

10 瞿偉康;李桂青;;建筑結(jié)構(gòu)基于雙重破壞機(jī)制的彈塑性變形抗震可靠性(基于剪切型層間模型)[A];工程結(jié)構(gòu)可靠性——中國土木工程學(xué)會(huì)橋梁及結(jié)構(gòu)工程學(xué)會(huì)第七屆學(xué)術(shù)會(huì)議論文集[C];1987年

相關(guān)重要報(bào)紙文章 前10條

1 記者郭均忠;結(jié)構(gòu)可靠度理論為橋梁護(hù)駕[N];中國交通報(bào);2002年

2 清華大學(xué)計(jì)算機(jī)系智能技術(shù)與系統(tǒng)國家重點(diǎn)實(shí)驗(yàn)室 張敏 金奕江;尋“寶”有術(shù)[N];計(jì)算機(jī)世界;2003年

3 梁瑞安;資金管理的古典概率模型[N];期貨日?qǐng)?bào);2003年

4 見依;學(xué)會(huì)用計(jì)量經(jīng)濟(jì)學(xué)研究人力資本[N];北京人才市場(chǎng)報(bào);2003年

5 馮 佳 劉興龍;安永搶跑銀行內(nèi)部評(píng)級(jí)咨詢業(yè)[N];證券日?qǐng)?bào);2005年

6 王一琳 夏峰 王立偉;亞太區(qū)銀行離巴塞爾Ⅱ很遠(yuǎn)[N];東方早報(bào);2005年

7 張雪峰;信息檢索技術(shù)的新視角[N];中華讀書報(bào);2005年

8 李必德(Peter Zimmerli);亞洲臺(tái)風(fēng)模型需要精益求精[N];中國保險(xiǎn)報(bào);2006年

9 特約記者 趙應(yīng)繁;湖北地災(zāi)信息實(shí)現(xiàn)共享[N];中國礦業(yè)報(bào);2006年

10 程實(shí);世界杯,如何影響全球股市[N];第一財(cái)經(jīng)日?qǐng)?bào);2006年

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

1 王笑蓉;蟻群優(yōu)化的理論模型及在生產(chǎn)調(diào)度中的應(yīng)用研究[D];浙江大學(xué);2003年

2 黃曉英;鐘控生成器概率模型輸出序列的性質(zhì)研究[D];中國人民解放軍信息工程大學(xué);2003年

3 沈照偉;基于可靠度的海洋工程隨機(jī)荷載組合及設(shè)計(jì)方法研究[D];浙江大學(xué);2004年

4 孫慶杰;靜態(tài)圖像中人體檢測(cè)技術(shù)研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

5 譚毅華;完全可伸縮小波視頻編碼及后處理技術(shù)研究[D];華中科技大學(xué);2004年

6 劉揚(yáng);混凝土斜拉橋施工期的時(shí)變可靠性研究[D];湖南大學(xué);2005年

7 郭麗峰;電梯導(dǎo)軌不平順度測(cè)量、建模及轎箱水平振動(dòng)特性的研究[D];天津大學(xué);2005年

8 呂穎釗;在役混凝土橋梁可靠性評(píng)估與壽命預(yù)測(cè)研究[D];長(zhǎng)安大學(xué);2006年

9 萬臻;斜拉橋結(jié)構(gòu)可靠性評(píng)估及剩余壽命預(yù)測(cè)[D];西南交通大學(xué);2006年

10 阮欣;橋梁工程風(fēng)險(xiǎn)評(píng)估體系及關(guān)鍵問題研究[D];同濟(jì)大學(xué);2006年

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

1 周斌;應(yīng)用于數(shù)字圖書館的分布式檢索技術(shù)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2001年

2 張衛(wèi)明;帶記憶非線性組合生成器的概率模型及相關(guān)性分析[D];中國人民解放軍信息工程大學(xué);2002年

3 肖萍;橋梁技術(shù)狀況評(píng)價(jià)與預(yù)測(cè)[D];長(zhǎng)安大學(xué);2003年

4 楊曉萍;存在項(xiàng)目無回答時(shí)的因子分析[D];華東師范大學(xué);2001年

5 王宗忠;模具協(xié)作制造項(xiàng)目管理信息監(jiān)視預(yù)警的研究[D];廣東工業(yè)大學(xué);2004年

6 劉春光;偏微分方程邊值問題的蒙特卡羅解法[D];吉林大學(xué);2004年

7 羅U喫，

本文編號(hào)：2537719