论文部分内容阅读
布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动求解问题,设计了布尔表达式合法性的检查、表达式中布尔变量个数的检测、计算表达式的真值等算法,并通过文本文件输入多个布尔表达式,验证了算法的正确性。
布尔表达式真值自动求解算法设计与实验研究
【摘 要】
：
布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动求解问题,设计了布尔表达式合法性的检查、表
【机 构】
：
长沙理工大学数学与计算科学学院
【出 处】
：
信息系统工程
【发表日期】
：
2014年04期
【基金项目】
：
2012年国家级大学生研究性学习和创新性实验计划项目资助(编号:201210536004);湖南省教改项目资助(湘教通[2013]223号,编号:JG1309);湖南省科技计划项目资助(编号:2010FK3025)
其他文献
公允价值是指市场参与者在计量日发生的有序交易中,出售一项资产所能收到或者转移一项负债所需支付的价格。公允价值问题一直都是国际会计中的研究热点和难点。2014年1月,财
从研究小电流接地系统故障的故障特性出发,利用专家系统的方法,对小电流接地系统的各种故障进行故障分类及判别.如果判断出是单相接地故障,则应用插值法进行输电线路的故障测
思想政治教育内容发展与社会结构变迁紧密联系、相互渗透,并在双向互动中体现出制度变迁所固有的历史合理性与选择性的辩证关系。当代中国正在进行的社会转型具有总体性特征,
应用型本科院校承担我国高等本科职业教育的任务,在转型之初存在的问题是重就业指导轻职业教育、重基础理论教学轻实践能力提高、重学历学位轻双师型师资培养、重统一培养轻
《通信原理》是电子信息类专业的重要专业基础课,为此作为精品课程建设显得尤为重要。围绕通信原理课程的特点、建设目标与教学目标,从课程的体系结构、教学方式与教学手段、
微信及APP等移动客户端的出现,带来了近年微商的迅猛发展。但是微商的发展面临着瓶颈。本文简单介绍了微商的一些现状和发展的主要障碍,并初步提出利用O2O模式来突破微商发展
吐哈油田数据中心服务器传统纵向结构的局限性,无法复用计算资源,难以满足信息化建设对服务器高效运维的需求。2012年,通过采用VMware虚拟架构服务器部署方案,实施服务器虚拟
本文主要研究大型零售商与自有商品供应商的关系 ,包括如何选择供应商和如何管理好与自有品牌供应商的关系。在文章第二部分介绍了自有品牌商品的供应商类型之后 ,就如何选择
本文主要是详细地介绍以及说明了华为软交换语音故障的设备承载以及语音故障的注意事项和流程。并且介绍了华为软交换语音经常出现的故障,比如说是话机没有馈电、通话不正常