伪布尔约束的一种模型计数方法

伪布尔约束问题是一类与布尔约束问题相似的组合优化难题。解决这类问题的核心在于以不同的数学形式对伪布尔约束进行编码,例如线性规划、整数规划以及其他形式的组合优化。当前流行的解决方法是将问题转化为布尔公式,然后运用冲突导向的子句学习(CDCL)类SAT求解器对这些布尔公式进行求解。提出了一种新的方法来解决伪布尔约束问题中的模型计数问题。首先,介绍了知识编译和扩展规则的相关概念,随后详细阐述了如何利用知识编译将伪布尔约束问题转化为二元决策图(BDD),并着重探讨了BDD结构的特性,最后采用基于扩展规则的模型计数方法来处理伪布尔约束问题中的模型计数问题。实验结果表明,该方法在处理互补因子较高的子句集时表现出更为优越的性能。

大肠埃希氏菌平板计数法存在的技术性问题探讨

本文综述了大肠埃希氏菌结晶紫中性红胆盐-4-甲基伞形酮葡萄糖醛酸苷琼脂平板计数法的建立背景、原理、优缺点,以期对该方法有更全面深入的认识,在此基础上对该方法存在的技术性问题进行了探讨,并提出了改进策略,以期为方法修订提供参考,从而更准确地进行食品中大肠埃希氏菌的计数。

基于椭圆曲线离散对数问题的公钥密码

自1985年Koblitz和Miller首次提出椭圆曲线密码之后,这种公钥密码的潜力越来越被人们所认识。首先对椭圆曲线及其相关知识做了简单介绍,而后以相当篇幅从三个方面介绍当前椭圆曲线密码的研究热点,最后给出典型椭圆曲线密码。作为一篇综述,文中反映了椭圆曲线密码的发展状况以及当前所面临的问题,体现了该领域目前的最新成就。

并行改进回溯算法实现N皇后问题的快速计数

通过对N皇后问题棋盘矩阵的旋转,改进了回溯算法,并通过计算机集群并行实现了N皇后的计数问题。考虑了棋盘矩阵顺时针旋转90°、180°和270°部分解存在重复的特性,改进了回溯方法,单机能够在15s内对16皇后问题进行计数。改进回溯算法的运算效率是顺序回溯法的4.69倍。然后通过固定前三行皇后的位置,可以把N皇后问题分成多个任务,实现了并行计算。在7个节点28个CPU的计算机集群上进行了实验,能够在8min内实现对20皇后的计数,能够在1小时零8分钟内实现21皇后的计数。N皇后计数这个经典问题,通过实现程序的标准化,可以成为检验计算机集群运算性能的基准。

多值Lukasiewicz逻辑公式的范式表示和计数问题

将符号化计算树逻辑中的Shannon展开式做了推广,在n值ukasiewicz逻辑系统n中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值ukasiewicz逻辑系统n中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.

两类线排列计数问题的统一公式

在长度为ｎ，具有ｍ个水平的线排列中，其最大游程长与最小游程长分别满足一定限制条件的数列计数问题存在一定的联系，给出了这两类计数问题的统一公式，得到了一个组合恒等式。

可满足问题中的模型计数

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.

L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法

将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法.

对提高点钞实训课教学有效性的研究

社会化分工日渐精细,要求高职高专学校培养的学生具有较强的实际操作能力。手工点钞作为财务领域中大量的、重要的、技术性很强的工作,始终无法被机器点钞完全替代,其重要性不言而喻。在教学中应通过调动学生学习的内因,创造适合学习的外因,分解重点技能技巧,强化基础练习,端正态度,因材施教,内外结合,主客观联动,顺利达到教学目的。

关于二进制数与杨辉三角形的注记

对任给整数Ｎ ≥０，令Ｎ ＋ １＝ ２ｔｋ ＋ …＋ ２ｔ１，０≤ｔ１ ＜ ｔ２ ＜ …＜ ｔｋ 为其二进表示式．文中证明了对任给整数ｌ≥０，Ｎ ＋ １个数０，１，…，Ｎ 中，其二进表示式恰有ｌ个非零项者之个数Ｍ（Ｎ，ｌ） ＝ ∑ＫＹ＝ １ｔｒｌ－ ｋ ＋ ｒ ，且当ｌ＝ ０，１，…，ｔｋ 时，等式右边的和正好是由杨辉三角形中取出第ｔ１，ｔ２，…，ｔｋ 行所组成的ｋ 行、ｔｋ ＋ １ 列的不完全杨辉三角之第ｌ列的列和．

一种面向计数问题的公式发现方法

在分析计数问题特点的基础之上,提出了一种面向计数问题的公式发现方法。该方法能根据给定的计数数列,自动发现其计数递推公式。将计数递推公式按公式的系数不同分为10种不同的公式类型(也称公式模式),对给定的计数数列,采用SVM方法进行公式模式的分类,采用求解线性方程组方法对识别的公式模式参数进行求解,并为了防止过拟合得到错误的公式,利用专用的验证数据对求解后得到的具体计数递推公式进行公式验证。最后,采用国际公开的整数数列集OEIS中的645个计数问题进行十折交叉验证实验,求解正确率达92.56%。在新公式发现实验中,发现了目前OEIS数据集中尚未包含的10个新公式。

大地主题解算方法综述

大地主题解算是大地测量中的重要问题,由于椭球的复杂性,随之产生的解算方法也是多种多样。本文分析了大地主题解算的一般方法及其公式的适用范围,指出了它们的特点和不足,讨论了现今常用解算方法存在的问题和进一步的研究方向。

对函数方程f(x^m+y+f^((n))(y))=2y+(f(x))~m的研究(1)

主要提出了如下函数方程问题 :设m ,n是正整数 ,试求出所有的函数f:R→R ,使得对于任何的x ,y∈R ,都有f(xm+y +f(n) (y) ) =2y+(f(x) ) m.本文采用“算两次”方法对第 40届IMO的第 6题 (确定所有的函数f:R→R ,其中R是实数集 ,使得对任意x,y∈R ,恒有f(x -f(y) ) =f(f(y) ) +xf(y) +f(x) - 1成立 )给出一个新的解法 ,对本文所提问题的一种特殊情形“m =2且n =1”给出了完整的解答 .另外 ,还提出了一些相关的函数方程问题 .

论中国高等教育国际化的几个问题

该文阐述了高等教育国际化的科学内涵,揭示了中国高等教育国际化的必然性,分析了我国高等教育国际化存在的问题与障碍,指出了我国高等教育国际化的对策与路径选择。

甘肃城市社区服务信息化建设研究

在分析甘肃城市社区服务信息化建设问题的基础上,提出了加快甘肃城市社区服务信息化建设进程的策略。

无向不同构树计数函数的一些性质(英文)

树的计数问题在图论中非常重要.讨论了关于树的计数问题,在顶点数较少的情况下,给出无向不同构树的计数函数值,证明了该计数函数的一些性质,并提出一个猜想,即所有最长路为k的n阶无向不同构树的数目f(n,k)起初递增而后递减.

有关平衡运输问题悖论的讨论

讨论运输问题悖论产生的条件,并给出了消除它的办法.

两个参数化匹配计数问题的难度分析

匹配计数问题是一个著名的难问题,考虑它的两个参数化问题p-deg-#MATCHING与p-#MATCHING,证明了p-deg-#MATCHING是固定参数易解的,p-#MATCHING有固定参数易解随机近似方案。

对称逻辑公式在L4＊逻辑度量空间中的分布

在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。

关于五年制高职数学课程教学的一些思考

五年制高职学生数学基础普遍较差,并缺乏学习的积极性和主动性,而数学又是工科高职院校至为重要的一门基础课。本文针对五年制高职数学教学的现状和存在的主要问题,结合自身的教学实践给出了一些应对措施。