最小上界

作品数:24被引量:45H指数:3
导出分析报告
相关领域:自动化与计算机技术理学更多>>
相关作者:周俊萍张素兰胡立华张继福殷明浩更多>>
相关机构:东南大学太原科技大学东北师范大学吉林大学更多>>
相关期刊:《计算机研究与发展》《浙江大学学报(理学版)》《山东理工大学学报(自然科学版)》《华中师范大学学报(自然科学版)》更多>>
相关基金:国家自然科学基金河南省自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一类Liénard系统的零点个数最小上界研究
《理论数学》2021年第7期1441-1450,共10页李成群 胡雪婷 韦敏志 
本文运用Abel积分生成元的切比雪夫理论结合多项式符号计算技术,对(4, 3)型的Liénard系统对应的Abel积分的零点个数上界进行研究分析。求出I(h,δ)的零点个数的最小上界。讨论以下系统 Abel积分的零点个数问题。通过对其Abel积分I...
关键词:LIÉNARD系统 ABEL积分 同宿轨 零点个数 
有限交换p-群中加性码的计数
《山东理工大学学报(自然科学版)》2015年第1期56-57,61,共3页米加福 郭膑化 
解决了有限交换p-群中加性码的两类计数问题,第一类计数问题是指求任意给定的有限交换p-群中任意类型码的数目,第二类计数问题是指求包含同一类型码的有限交换p-群的数目以及它们分别所含有的该类型码的数目.
关键词:加性码 计数 最小上界 
2012年全国高中数学联赛江西赛区预赛
《中等数学》2013年第4期23-26,共4页陶平生 
关键词:等比数列 平方数 中等数学 正整数 最小上界 高中数学 
最坏情况下X3SAT最大海明距离问题最小上界
《计算机科学与探索》2012年第7期664-671,共8页傅琳璐 周俊萍 殷明浩 
国家自然科学基金Nos.61070084;60803102;中央高校基本科研业务费专项资金No.11QNJJ006;浙江师范大学计算机软件与理论省级重中之重学科开放基金No.ZSDZZZZXK37~~
X3SAT最大海明距离问题是指对于一个X3SAT问题实例,寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题,根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了...
关键词:海明距离 可满足性(SAT) X3SAT DPLL 最坏情况 复杂性分析 上界 
最坏情况下#3-SAT问题最小上界被引量:3
《计算机研究与发展》2011年第11期2055-2063,共9页周俊萍 殷明浩 周春光 翟延冬 王康平 
国家自然科学基金项目(60673099;60773097;60803102;60873146)
最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上...
关键词:最坏情况 上界 #3 SAT 复杂性分析 模型计数 
一种基于剪枝的横向分块概念格构造算法被引量:4
《小型微型计算机系统》2011年第7期1394-1399,共6页胡立华 张继福 张素兰 
国家自然科学基金项目(60773014)资助;校青年基金项目(20100314)资助
概念格是形式概念分析中的核心数据结构,随着数据量的日益剧增,概念格的构造效率始终是关键.本文首先引入横向分块概念格,给出其若干结论;针对横向分块概念格构造过程中存在冗余信息,提出一种基于剪枝的横向分块概念格渐进式构造算法PH...
关键词:分块概念格 渐进式构造 剪枝 最小上界 天体光谱数据 
2010年高考数学全国卷Ⅰ压轴题另解
《试题与研究(高中文科综合)》2010年第20期14-15,共2页王慧兴 
2010年高考理科数学试卷(全国卷Ⅰ,必修+选修Ⅱ)压轴题——第22题的第(Ⅱ)问新颖别致,考生反映难度大,得分率低.笔者在这里写出自己的两个解法,供大家参考.
关键词:单调有界数列 有界性 单调递增 数学归纳法 推理模式 高考数学 单调性 最小上界 极限 通项公式 
最简多元最小上界算法研究
《电脑知识与技术》2009年第6X期4741-4742,4777,共3页黎军 
求概念的近似是近似查询中的关键问题,其质3决定了近似查询的质量。现有的基于概念最小上界和最大下界的近似查询方法,只考虑了异构本体概念间一对一的蕴涵关系,是无法得到概念的最佳近似,近似的质量有时是不可接受的。先把最小上近似...
关键词:本体 上近似 多元 最小上界 最简多元最小上界 
一个数学问题的推广
《中小学数学(高中版)》2008年第4期42-43,共2页谢广喜 
在文[1]中,贺斌先生介绍了这样一个数学问题:设a,b,c∈R_+,求U=(2ab+bc+ca)/a^2+b^2+c^2的最大值.其解答采用配凑系数的办法,但此解法不具有一般性(如果bc的系数与ca的系数不等,此思路就有问题).本文首先将这个数学问题推广到比较一般...
关键词:数学问题 待定系数 最大值 最小上界 举例说明 问题推广 补充方程 求解 证明思路 直接利用 
一个函数的单调性分析被引量:1
《萍乡高等专科学校学报》2006年第6期27-28,共2页刘鹏林 
提出并证明了两个不等式(引理1和引理2),进而论证了“当λ≥1/2时,函数f(x)=(1+1/x)^(x+λ),(x>0)是单调递减函数”的结论。
关键词:单调递增 最小上界 单词递减 
检索报告 对象比较 聚类工具 使用帮助 返回顶部