本文關(guān)鍵詞：一類真值表與統(tǒng)計相結(jié)合的研究方法　出處：《計算機科學(xué)》2014年S2期 　論文類型：期刊論文

  更多相關(guān)文章： 真值表方法 統(tǒng)計方法 假設(shè)模型 邏輯正確性 正確性概率

【摘要】：從人力資源管理的實際問題出發(fā),創(chuàng)新性地提出了真值表與統(tǒng)計相結(jié)合的研究方法,利用真值表計算員工激勵模型正確性概率,從而判定員工激勵模型的邏輯正確性。在分析國內(nèi)外相關(guān)研究工作的基礎(chǔ)上,給出一類通用的算法,并進行了算法實驗。算法實驗結(jié)果表明,這類真值表與統(tǒng)計相結(jié)合的研究方法,從新的研究視角判定了假設(shè)模型的邏輯正確性,具有普遍的研究意義和實用價值。對"真值表+統(tǒng)計"的新研究思路進行了探索。
[Abstract]:Based on the practical problems of human resource management, this paper puts forward the research method of combining truth table and statistics innovatively, and calculates the correctness probability of employee incentive model by using truth table. In order to determine the logical correctness of the employee incentive model. On the basis of the analysis of related research work at home and abroad, a class of common algorithms are given, and the algorithm experiments are carried out. The experimental results show that. By combining this kind of truth table with statistics, the logical correctness of the hypothetical model is judged from a new perspective. It is of universal significance and practical value. The new research idea of "truth table statistics" is explored.
【作者單位】： 對外經(jīng)濟貿(mào)易大學(xué)信息學(xué)院;北京郵電大學(xué)民族教育學(xué)院;
【基金】：對外經(jīng)濟貿(mào)易大學(xué)“信息學(xué)院基金”項目(13YBLG02,X12511)資助
【分類號】：F272.92;O141
【正文快照】： 本文受對外經(jīng)濟貿(mào)易大學(xué)“信息學(xué)院基金”項目(13YBLG02,X12511)資助。1引言統(tǒng)計方法是常用的研究方法,數(shù)理邏輯也是常用的研究方法,很多實際問題需要借助數(shù)理邏輯的方法解決。在數(shù)理邏輯中,往往通過真值表計算命題公式的邏輯值、判定復(fù)合命題之間的邏輯等值關(guān)系。為了解決人

【參考文獻】

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

1 魏貴民;鄒輝;;全功能聯(lián)結(jié)詞集合的計算機實現(xiàn)[J];成都理工大學(xué)學(xué)報(自然科學(xué)版);2007年03期

2 安博;陳漢武;楊忠明;王冬;李志強;;基于真值表變換的可逆邏輯綜合算法[J];東南大學(xué)學(xué)報(自然科學(xué)版);2010年01期

3 王莉紅;顧琴軒;褚田芬;;人力資本與社會資本對創(chuàng)新行為的影響——跨層次模型研究[J];工業(yè)工程與管理;2009年05期

4 俞明傳;顧琴軒;朱愛武;;員工實際介入與組織關(guān)系視角下的內(nèi)部人身份感知對創(chuàng)新行為的影響研究[J];管理學(xué)報;2014年06期

5 龔啟榮;真值表等數(shù)理邏輯方法的判定功能[J];貴州大學(xué)學(xué)報(自然科學(xué)版);2001年01期

6 朱曉波;楊偉民;葉芯;;更改條件/判定覆蓋最小真值表生成算法及其應(yīng)用[J];上海理工大學(xué)學(xué)報;2007年01期

7 蔣向輝;;系統(tǒng)重構(gòu)中真值表格式及預(yù)處理研究[J];計算機應(yīng)用與軟件;2009年09期

8 莫麗君;真值表在形式邏輯中的功能[J];遼寧工程技術(shù)大學(xué)學(xué)報(社會科學(xué)版);2004年03期

9 陳澤華;曹長青;謝剛;;基于粒矩陣的多變量真值表快速約簡算法[J];模式識別與人工智能;2013年08期

10 張君;;計算機數(shù)理邏輯命題演算演示系統(tǒng)的研究[J];信息通信;2013年09期

【共引文獻】

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

1 朱芹;屈剛;;基于HOLTEK MCU的無人機PC操作平臺[J];電子世界;2012年14期

2 李志鋼;陳漢武;李志強;朱皖寧;劉志昊;;基于對換門庫的可逆邏輯電路綜合算法[J];東南大學(xué)學(xué)報(自然科學(xué)版);2012年05期

3 段飛雷;吳曉;張凡;董云衛(wèi);;MC/DC最小測試用例集快速生成算法[J];計算機工程;2009年17期

4 劉映群;;基于SOPC技術(shù)的集成電路芯片自動測試系統(tǒng)[J];計算機與現(xiàn)代化;2010年06期

5 盧德中;;基于MC/DC的測試用例優(yōu)先級算法研究[J];科學(xué)技術(shù)與工程;2009年14期

6 陳寧;李星;;基于AOP架構(gòu)的業(yè)務(wù)約束檢測[J];計算機工程與應(yīng)用;2012年22期

7 顧穎婷;;人力資本與社會連帶對創(chuàng)新行為的影響:團隊心理安全的中介作用[J];陜西科技大學(xué)學(xué)報(自然科學(xué)版);2011年04期

8 葛漢強;;MC/DC最小測試用例集遞歸分塊矩陣生成算法[J];計算機系統(tǒng)應(yīng)用;2011年07期

9 黃孝倫;;基于圖的MC/DC最小測試用例集快速生成算法[J];計算機系統(tǒng)應(yīng)用;2012年11期

10 錢曉燁;楊百寅;遲巍;;心理資本與區(qū)域創(chuàng)新活動:來自我國地級市的實證研究[J];中國軟科學(xué);2014年02期

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

1 李艷鴿;;數(shù)理邏輯對句子隱含語義的展示和分析[A];第四屆全國語言文字應(yīng)用學(xué)術(shù)研討會論文集[C];2005年

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

1 戴萬亮;內(nèi)部社會資本對產(chǎn)品創(chuàng)新影響研究：知識螺旋的中介效應(yīng)[D];天津大學(xué);2011年

2 吳紅翠;供應(yīng)鏈社會資本對創(chuàng)新績效的影響研究：動態(tài)能力的中介效應(yīng)[D];天津大學(xué);2012年

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

1 孫華衿;C/C++單元自動化覆蓋測試框架的研究與實現(xiàn)[D];北京郵電大學(xué);2011年

2 曹爽;航空軟件測試用例自動生成方法研究[D];南京航空航天大學(xué);2010年

3 牛蕾;人格對大學(xué)生群體關(guān)系網(wǎng)絡(luò)的影響[D];哈爾濱師范大學(xué);2011年

4 毛偉成;面向Agent的自動談判系統(tǒng)的設(shè)計和實現(xiàn)技術(shù)的研究[D];哈爾濱工業(yè)大學(xué);2007年

5 姜高霞;分層線性模型方法及其降水量的分層特性研究[D];華北電力大學(xué);2012年

6 韓琳;社會資本與農(nóng)戶創(chuàng)新關(guān)系研究[D];西北農(nóng)林科技大學(xué);2012年

7 杜杰;基于模型檢測的UML一致性檢驗與測試用例生成[D];南京航空航天大學(xué);2012年

8 李星;基于AOP的業(yè)務(wù)約束運行時檢測[D];西安工程大學(xué);2011年

9 張滿群;量子可逆邏輯電路的研究及設(shè)計[D];華東交通大學(xué);2013年

10 夏凱祥;面向可逆邏輯綜合的基因表達式編程（GEP）算法的研究與實現(xiàn)[D];東華大學(xué);2014年

【二級參考文獻】

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

1 胡云;毛萬年;;一種將中綴表達式轉(zhuǎn)換為后綴表達式的新方法[J];成都大學(xué)學(xué)報(自然科學(xué)版);2008年01期

2 翁延玲;葛海通;嚴曉浪;盧永江;;基于等價性形式驗證的邏輯綜合引擎設(shè)計研究[J];電路與系統(tǒng)學(xué)報;2007年04期

3 陳漢武;李志強;徐寶文;;置換群與整數(shù)間一對一Hash函數(shù)的構(gòu)建[J];東南大學(xué)學(xué)報(自然科學(xué)版);2008年02期

4 陳麗蓉,熊光澤,羅蕾,賴倩;嵌入式軟件的覆蓋測試[J];單片機與嵌入式系統(tǒng)應(yīng)用;2002年11期

5 朱士信;一種快速生成k元de Bruijn序列的算法[J];電子科學(xué)學(xué)刊;1995年06期

6 柯江林;孫健敏;石金濤;顧琴軒;;企業(yè)R&D團隊之社會資本與團隊效能關(guān)系的實證研究——以知識分享與知識整合為中介變量[J];管理世界;2007年03期

7 李磊芳;徐寶文;陳振宇;章曉芳;董國偉;;一種新的布爾規(guī)格測試用例生成算法[J];東南大學(xué)學(xué)報(自然科學(xué)版);2010年02期

8 李志強;陳漢武;李文騫;;基于位運算的量子可逆邏輯電路快速綜合算法[J];計算機科學(xué);2008年03期

9 鄧燕;對數(shù)理邏輯中最小聯(lián)結(jié)詞組的擴展討論[J];嘉興高等專科學(xué)校學(xué)報;1999年04期

10 李弋,任駿原,張鳳云;時序邏輯電路功能表示方法的分析[J];渤海大學(xué)學(xué)報(自然科學(xué)版);2004年04期

，

本文編號：1376546