论文部分内容阅读
介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基础的编码方式。针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。最后,对这3种编码进行比较,分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣,讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。
基于量化布尔公式的条件规划编码方式
【摘 要】
：
介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基础的编码方式。针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。最后,对这3种编
【机 构】
：
吉林大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2010年11期
其他文献
介绍了基于邻域编码的纹线跟踪技术及其纹线跟踪过程,在此基础上,完善了指纹图像后处理算法,提取了指纹细节特征。在完全细化的指纹图像上,利用纹线跟踪技术,剔除了可能的伪特征点,保留了真实的细节特征点,指纹图像后处理效果十分理想,达到了指纹特征准确提取和特征点集准确获取的目的,为后续的指纹匹配工作打下了良好的基础。
随着研究生招生规模的不断扩大,推免生招生竞争日趋激烈,招录优质生源变得越来越重要,大学生暑期夏令营在研究生招生中的"选苗育苗"作用也日益突显。文章通过问卷调查,对夏令
佛教在传入中国后,不断地本土化,其思想主张发生了部分改变,而儒家则是佛教本土化过程中起重要作用的一环,《庐山远公话》中义利观贯穿始终,将一代高僧慧远的经历与佛教紧密
目的建立并验证一种间接酶联免疫吸附法(ELISA)检测结果标准化的方法-改良ODST法(I-ODST).方法根据ELISA反应原理推导I-ODST法的公式ODST=^aA/1-bA,验证时采用血吸虫抗体检测
档案管理信息化建设,是现阶段所有档案管理部门努力发展的大方向,也是档案管理未来的发展趋势。虽说当前国有企业档案管理信息化建设取得了傲人的成就,但依然存在着一些问题,
肝细胞癌(Hepatocellular carcinoma,HCC)在全球恶性肿瘤患病率中位居第五位,也是癌症致死的第四大原因[1],尤其近年来在亚太地区的发病率逐渐升高,我国每年约有13万人死于HC
数字化疫情防控中,隐私权保护面临着公、私双重权力生态和下位规范保护不足的挑战。作为基本权利的隐私权具有主观权利和客观法的双重性质,应区分公、私法领域中的不同主体而
目的构建弓形虫主要表面抗原1单链抗体S1与爪蟾抗菌肽(magainin)的融合基因,在大肠杆菌中诱导表达,观察纯化的靶向抗菌蛋白抗弓形虫感染的效果. 方法根据弓形虫主要表面抗原1
利用纳米金颗粒自组装于金片表面上，用于固定多粘菌素B（PMB），研制了一种内毒素压电传感器。先在石英晶体电极表面自组装1，6-己二硫醇，再通过纳米金与巯基的共价键合作用，在巯基自组
本文分析中职学生心理发展的基本特征,论述中职学生心理健康教育的做法,提出协助学生应对同一性和角色混乱危机、引导学生确立学习目标和生活目标、改善学生的自卑心理、培养