论文部分内容阅读
由经典命题公式对应着0—1—整数规划的事实，提出将tableau方法与整数规划相结合的IP—tableau方法，并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后，可以采用许多提高IP效率的方法。另外在多值逻辑中，随着n值的增加，IP问题不会变得更加复杂。
翻译成整数规划的IP—tableau方法
【摘 要】
：
由经典命题公式对应着0—1—整数规划的事实，提出将tableau方法与整数规划相结合的IP—tableau方法，并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后，可以
【机 构】
：
苏州大学计算机科学与技术学院,吉林大学计算机科学与技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年11期
其他文献
宫颈糜烂是妇科最常见疾病之一,为慢性宫颈炎的一种分型,临床表现为白带增多、接触性出血、腰骶部疼痛等。其病情主要呈现慢性过程,给妇女日常生活带来很大影响。目前尚无特
近郊区小城镇是城市连接乡村的枢纽,是城乡空间交错的关键地带。城郊型小城镇在城市带动下发展动力充足,空间发展快速。加深对城郊型小城镇空间的研究,对指导小城镇空间健康
科研水平的高低是衡量一所高校综合水平的重要指标,也是学校（包括独立学院）能否可持续发展的关键因素。而良好的科研管理工作是提升学校科研水平的必要和重要条件。本文从独立
目的深入了解应届医学研究生毕业期间的压力情况。方法采用现象学研究方法,分析16例应届医学及护理研究生临近毕业对不同压力的真实体验,在资料分析过程中采用KJ法归纳主题。
如果说鲜亮的红色让人联想到激情四射的法拉利，那么深邃的蓝色就是玛莎拉蒂的象征。玛莎拉蒂与博洛尼亚有着不可分割的联系，其品牌标志实际上就是在博洛尼亚的市徽（树叶形的底座
目的探讨消化道钡剂造影对胃癌诊断的价值。方法将2016年2月到2019年5月于西安凤城医院行手术切除治疗并经病理检查确诊的162例胃癌患者纳入研究,其中81例采用增强CT单一检查
通过对发达国家与发展中国家农业可持续发展战略研究的比较分析,可以看出发达国家农业可持续发展研究主要关注与生存环境相关的技术层面研究,而发展中国家更为重视农业发展相
在课堂教学中突出"学生主体"的地位是未来教学的主流更是趋势。教师可通过提高学生课堂学习参与度来促进课堂"学生主体"地位的提高。参与度可以从营造浓烈学习氛围、引导学生
对一个基于因数分解和离散对数两个困难问题的签名方案的安全漏洞进行了分析，提出了一种改进的基于两个数学难题的签名方案，并对它的安全性给出了证明。
目的：探讨5s管理在泌尿外科安全管理中的应用效果，以供临床护理工作参考。方法：我院自2013年6月起在泌尿外科安全管理中实施常组织、常整顿、常清理、常规范、常自律等“5s 管理