公共文化服务平台

一种结合覆盖启发式的数量感知练习推荐方法: 本发明公开了一种结合覆盖启发式的数量感知练习推荐方法，应用于电子装置，包括知识追踪步骤和练习推荐步骤；知识追踪步骤包括：收集学生信息及知识概念数据得到对应学生的练习记录数据；采用长短时记忆网络模型得到学生的知识水平数据；...; 王艺源张烨马艺明周雨鹏殷明浩王佳男周俊萍李宏博胡书丽刘帅卓; 文献传递

最坏情况下Min-2SAT问题的上界被引量：1: 2012年; 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.; 谷文祥姜蕴晖周俊萍殷明浩

最坏情况下#3-SAT问题最小上界被引量：3: 2011年; 最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上界,不仅可以从另一个角度衡量算法的好坏,而且在某种程度上更能准确地反映出算法的性能.首先从子句数量的角度证明了之前提出的基于扩展规则的模型计数算法(CER算法)的上界O(2m),其中m是公式中子句的数量.为了提高#3-SAT问题的求解效率,采用了多种分裂规则,进一步给出了一种基于Davis-Putnam-Logemann-Loveland(DPLL)的#3-SAT算法MCDP.通过分析该算法得到了以子句数量为参数的#3-SAT问题在最坏情况下的上界O(1.8393m).; 周俊萍殷明浩周春光翟延冬王康平; 关键词：上界 SAT

基于分支回溯的NAE-3SAT问题求解算法: 2012年; NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目.; 谷文祥傅琳璐周俊萍姜蕴晖

基于调查传播方法的QBF求解器: 智能规划已经成为人工智能的研究热点，把智能规划问题转化为命题逻辑公式求解是研究智能规划的重要方法。量化布尔公式(Quantified Boolean Formulae，简称QBF)是一种带有存在和全称量词前缀...; 周俊萍; 关键词：人工智能因子图; 文献传递

求解#SMT问题的局部搜索算法被引量：2: 2016年; #SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上原因,设计了一种求解较大规模#SMT实例的近似求解器——Vol Compute With Local Search.它在现有的#SMT精确求解算法的基础上加入差分进化算法,通过调用体积计算工具qhull,进而给出#SMT问题的近似解.算法采用群体规则减少体积计算的次数,差分进化方法快速地枚举各个有解的区域.另外,从理论上证明了Vol Compute With Local Search求解器可以得到精确解的下界,使其可以应用在软件测试等只需要知道问题下界的领域.实验结果表明:Vol Compute With Local Search求解器是稳定的、具有快速的求解能力,并在高维问题上具有很好的表现.; 周俊萍李睿智曾志勇殷明浩; 关键词：差分进化

求解流水线调度问题的万有引力搜索算法被引量：23: 2010年; 研究了以最大完工时间为目标的流水线调度问题,使用万有引力算法求解调度问题,提出了一种最大排序规则,利用物体间各个位置分量值存在的大小次序关系,并结合随机键编码的方法产生,将物体的连续位置转变成了一个可行的调度方案;提出了一种边界变异的策略使得越界的物体不再聚集在边界上,而是分布在边界附近的可行空间内,从而增加种群的多样性;结合交换算子和插入算子提出了一种新的局部搜索算法,有效地避免了算法陷入局部最优值,进一步提高了解的质量.最后证明了算法的收敛性,并且计算了算法的时间复杂度和空间复杂度,仿真实验说明了所得算法的有效性.; 谷文祥李向涛朱磊周俊萍胡艳梅; 关键词：流水线调度局部搜索算法最大完工时间

自动推理与规划问题最小上界和相变规律研究: 自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题(SAT问题)是NP完备的,1991年Chenoweth等严格证明了简单的积木世界规划问题至少是NP完备的。...; 周俊萍; 关键词：相变最小上界; 文献传递

一种结合覆盖启发式的数量感知练习推荐方法: 本发明公开了一种结合覆盖启发式的数量感知练习推荐方法，应用于电子装置，包括知识追踪步骤和练习推荐步骤；知识追踪步骤包括：收集学生信息及知识概念数据得到对应学生的练习记录数据；采用长短时记忆网络模型得到学生的知识水平数据；...; 王艺源张烨马艺明周雨鹏殷明浩王佳男周俊萍李宏博胡书丽刘帅卓; 文献传递

最坏情况下X3SAT最大海明距离问题最小上界: X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间最大的海明距离d.提出了一个新的基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题.根据公式中的某个变量在两组真值赋值...; 傅琳璐周俊萍殷明浩; 关键词：海明距离 DPLL 上界; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

周俊萍