一类真值表与统计相结合的研究方法

发布时间：2018-01-04 02:04

  本文关键词：一类真值表与统计相结合的研究方法　出处：《计算机科学》2014年S2期 　论文类型：期刊论文

  更多相关文章： 真值表方法 统计方法 假设模型 逻辑正确性 正确性概率

【摘要】：从人力资源管理的实际问题出发,创新性地提出了真值表与统计相结合的研究方法,利用真值表计算员工激励模型正确性概率,从而判定员工激励模型的逻辑正确性。在分析国内外相关研究工作的基础上,给出一类通用的算法,并进行了算法实验。算法实验结果表明,这类真值表与统计相结合的研究方法,从新的研究视角判定了假设模型的逻辑正确性,具有普遍的研究意义和实用价值。对"真值表+统计"的新研究思路进行了探索。
[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.
【作者单位】： 对外经济贸易大学信息学院;北京邮电大学民族教育学院;
【基金】：对外经济贸易大学“信息学院基金”项目(13YBLG02,X12511)资助
【分类号】：F272.92;O141
【正文快照】： 本文受对外经济贸易大学“信息学院基金”项目(13YBLG02,X12511)资助。1引言统计方法是常用的研究方法,数理逻辑也是常用的研究方法,很多实际问题需要借助数理逻辑的方法解决。在数理逻辑中,往往通过真值表计算命题公式的逻辑值、判定复合命题之间的逻辑等值关系。为了解决人

【参考文献】

相关期刊论文 前10条

1 魏贵民;邹辉;;全功能联结词集合的计算机实现[J];成都理工大学学报(自然科学版);2007年03期

2 安博;陈汉武;杨忠明;王冬;李志强;;基于真值表变换的可逆逻辑综合算法[J];东南大学学报(自然科学版);2010年01期

3 王莉红;顾琴轩;褚田芬;;人力资本与社会资本对创新行为的影响——跨层次模型研究[J];工业工程与管理;2009年05期

4 俞明传;顾琴轩;朱爱武;;员工实际介入与组织关系视角下的内部人身份感知对创新行为的影响研究[J];管理学报;2014年06期

5 龚启荣;真值表等数理逻辑方法的判定功能[J];贵州大学学报(自然科学版);2001年01期

6 朱晓波;杨伟民;叶芯;;更改条件/判定覆盖最小真值表生成算法及其应用[J];上海理工大学学报;2007年01期

7 蒋向辉;;系统重构中真值表格式及预处理研究[J];计算机应用与软件;2009年09期

8 莫丽君;真值表在形式逻辑中的功能[J];辽宁工程技术大学学报(社会科学版);2004年03期

9 陈泽华;曹长青;谢刚;;基于粒矩阵的多变量真值表快速约简算法[J];模式识别与人工智能;2013年08期

10 张君;;计算机数理逻辑命题演算演示系统的研究[J];信息通信;2013年09期

【共引文献】

相关期刊论文 前10条

1 朱芹;屈刚;;基于HOLTEK MCU的无人机PC操作平台[J];电子世界;2012年14期

2 李志钢;陈汉武;李志强;朱皖宁;刘志昊;;基于对换门库的可逆逻辑电路综合算法[J];东南大学学报(自然科学版);2012年05期

3 段飞雷;吴晓;张凡;董云卫;;MC/DC最小测试用例集快速生成算法[J];计算机工程;2009年17期

4 刘映群;;基于SOPC技术的集成电路芯片自动测试系统[J];计算机与现代化;2010年06期

5 卢德中;;基于MC/DC的测试用例优先级算法研究[J];科学技术与工程;2009年14期

6 陈宁;李星;;基于AOP架构的业务约束检测[J];计算机工程与应用;2012年22期

7 顾颖婷;;人力资本与社会连带对创新行为的影响:团队心理安全的中介作用[J];陕西科技大学学报(自然科学版);2011年04期

8 葛汉强;;MC/DC最小测试用例集递归分块矩阵生成算法[J];计算机系统应用;2011年07期

9 黄孝伦;;基于图的MC/DC最小测试用例集快速生成算法[J];计算机系统应用;2012年11期

10 钱晓烨;杨百寅;迟巍;;心理资本与区域创新活动:来自我国地级市的实证研究[J];中国软科学;2014年02期

相关会议论文 前1条

1 李艳鸽;;数理逻辑对句子隐含语义的展示和分析[A];第四届全国语言文字应用学术研讨会论文集[C];2005年

相关博士学位论文 前2条

1 戴万亮;内部社会资本对产品创新影响研究：知识螺旋的中介效应[D];天津大学;2011年

2 吴红翠;供应链社会资本对创新绩效的影响研究：动态能力的中介效应[D];天津大学;2012年

相关硕士学位论文 前10条

1 孙华衿;C/C++单元自动化覆盖测试框架的研究与实现[D];北京邮电大学;2011年

2 曹爽;航空软件测试用例自动生成方法研究[D];南京航空航天大学;2010年

3 牛蕾;人格对大学生群体关系网络的影响[D];哈尔滨师范大学;2011年

4 毛伟成;面向Agent的自动谈判系统的设计和实现技术的研究[D];哈尔滨工业大学;2007年

5 姜高霞;分层线性模型方法及其降水量的分层特性研究[D];华北电力大学;2012年

6 韩琳;社会资本与农户创新关系研究[D];西北农林科技大学;2012年

7 杜杰;基于模型检测的UML一致性检验与测试用例生成[D];南京航空航天大学;2012年

8 李星;基于AOP的业务约束运行时检测[D];西安工程大学;2011年

9 张满群;量子可逆逻辑电路的研究及设计[D];华东交通大学;2013年

10 夏凯祥;面向可逆逻辑综合的基因表达式编程（GEP）算法的研究与实现[D];东华大学;2014年

【二级参考文献】

相关期刊论文 前10条

1 胡云;毛万年;;一种将中缀表达式转换为后缀表达式的新方法[J];成都大学学报(自然科学版);2008年01期

2 翁延玲;葛海通;严晓浪;卢永江;;基于等价性形式验证的逻辑综合引擎设计研究[J];电路与系统学报;2007年04期

3 陈汉武;李志强;徐宝文;;置换群与整数间一对一Hash函数的构建[J];东南大学学报(自然科学版);2008年02期

4 陈丽蓉,熊光泽,罗蕾,赖倩;嵌入式软件的覆盖测试[J];单片机与嵌入式系统应用;2002年11期

5 朱士信;一种快速生成k元de Bruijn序列的算法[J];电子科学学刊;1995年06期

6 柯江林;孙健敏;石金涛;顾琴轩;;企业R&D团队之社会资本与团队效能关系的实证研究——以知识分享与知识整合为中介变量[J];管理世界;2007年03期

7 李磊芳;徐宝文;陈振宇;章晓芳;董国伟;;一种新的布尔规格测试用例生成算法[J];东南大学学报(自然科学版);2010年02期

8 李志强;陈汉武;李文骞;;基于位运算的量子可逆逻辑电路快速综合算法[J];计算机科学;2008年03期

9 邓燕;对数理逻辑中最小联结词组的扩展讨论[J];嘉兴高等专科学校学报;1999年04期

10 李弋,任骏原,张凤云;时序逻辑电路功能表示方法的分析[J];渤海大学学报(自然科学版);2004年04期

，

本文编号：1376546