首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
讨论了可数无穷个可数无穷集合的并的计算问题.通过对自然数集合N的二次笛卡尔积运算--N×N和三次笛卡尔积运算--N×N×N的详细分析,得出了它们与自然数集合N之间都存在双射关系结论,即集合N×N和集合N×N×N都是可数无穷的.文中推导出了自然数集合N的三次笛卡尔积运算--N×N×N与自然数集合N之间的双射函数运算公式,对可数无穷集合的复杂计算作了进一步研究.得出结论:任意可数无穷个可数无穷集合的并(如N×N×N×...,即Nn)也是可数无穷的.  相似文献   

2.
一个由接口路径求Hamilton回路的算法研究   总被引:2,自引:0,他引:2  
刘超  王文杰 《计算机科学》2010,37(9):252-256
为了求简单图中的所有Hamilton回路,首先,提出了一种对集合幂集进行编码的算法,引入了接口路径的概念,将Hamilton回路的运算转换为等级接口路径矩阵的运算;其次,结合肖尔茨猜想的证明,对算法复杂性的上限进行了估算;最后,以中国旅行商问题为例,给出了求解CTSP的精确算法.  相似文献   

3.
许精明 《微机发展》2003,13(10):102-103
讨论了可数无穷个可数无穷集合的并的计算问题。通过对自然数集合N的二次笛卡尔积运算———N×N和三次笛卡尔积运算———N×N×N的详细分析,得出了它们与自然数集合N之间都存在双射关系结论,即集合N×N和集合N×N×N都是可数无穷的。文中推导出了自然数集合N的三次笛卡尔积运算———N×N×N与自然数集合N之间的双射函数运算公式,对可数无穷集合的复杂计算作了进一步研究。得出结论:任意可数无穷个可数无穷集合的并(如N×N×N×…,即Nn)也是可数无穷的。  相似文献   

4.
XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。  相似文献   

5.
一种新的模糊约束满意优化控制算法   总被引:3,自引:0,他引:3  
冯惕  李少远 《控制与决策》2004,19(2):187-190
将模糊满意度概念与以无穷范数为优化指标的鲁棒预测控制相结合,给出了模糊满意度意义下满意控制的一般算法及适用于一般计算机在线优化的实用算法,解决了优化过程中各种要求(目标、约束)的协调、权衡和折衷问题.仿真结果说明了该算法的有效性.  相似文献   

6.
不完备信息系统最大分布约简及规则提取算法   总被引:3,自引:2,他引:3  
1引言 粗集理论知识约简一直是粗集理论的重要研究内容之一. 经典粗集理论以完备信息系统(数据值不存在缺损)为研究对象.人们以等价关系为基础,提出了多种知识约简算法[1~4].但要寻找一个信息系统的所有约简或最小约简是一个NP难问题,寻求高效的可行的约简算法仍然是粗集理论尚未完全解决的问题.  相似文献   

7.
一种具有混合编码的二进制差分演化算法   总被引:11,自引:0,他引:11  
差分演化(DE)是Storn和Price于1997年提出的一种基于个体差异重组思想的演化算法,非常适用于求解连续域上的最优化问题.首先引入"差异算子"等概念,给出DE的一种简洁算法描述,并分析了它所具有的特性.然后,为了使DE能够求解离散域上的最优化问题,基于数学变换思想引入"辅助搜索空间"和"个体混合编码"等概念,通过定义一个特殊的满射变换,在辅助搜索空间的作用下将连续域上的高效差分演化搜索变换为离散域上的同步演化搜索,由此提出了第1个二进制差分演化算法:具有混合编码的二进制差分演化算法(HBDE).接着,给出了HBDE的依概率收敛和完全收敛的定义,并利用离散Markov随机理论证明了HBDE是完全收敛的. HBDE不仅完全具有DE的各种特性和所有优点,而且非常适用于求解离散域上的最优化问题,对随机生成的大规模3-SAT问题实例和典型0/1背包问题实例的数值计算表明:该算法具有很好的全局收敛性和稳定性,其性能远远超过二进制粒子群优化算法和遗传算法.  相似文献   

8.
为满足大容量NAND Flash的容错需求,解决传统BCH编码存在长码字编码效率低下的问题,提出一种长BCH编码的快速算法.算法利用分圆陪集和中国剩余定理,在确定生成多项式时,由每个最小多项式的根构造分圆陪集,避免了重复计算所有的根;采用等价多项式代替除法多项式,将计算的最小多项式和理想循环码的生成元加入分圆陪集,后续编码可通过查找分圆陪集得到等价余数多项式,无须每次都进行除法运算,减少了除法运算时间.实验结果表明,与传统BCH编码算法和相关算法相比,该算法在长BCH编码时具有较高的编码效率,特别是对极长BCH编码,效果更加明显.  相似文献   

9.
卡尔曼滤波在高斯白噪声的假设下是一种最优滤波, 基于区间数学理论的集员滤波 (Set-membership filter, SMF)能够有效处理有界噪声假设下的滤波问题. 然而, 随机噪声和有界噪声在许多情况下会同时干扰控制系统. 由于两种滤波算法都受到各自适用范围的限制, 使用单一滤波算法难以得到理想的估计结果. 本文通过建立具有双重不确定性系统的模型, 提出了一种基于贝叶斯估计联合滤波算法. 该算法用卡尔曼滤波处理系统的随机不确定性, 用集员滤波处理系统的有界不确定性, 得出一个易于实现的滤波器. 最后通过对雷达跟踪系统的仿真, 结果表明, 较单一滤波算法, 联合滤波具有更强的噪声适应性和有效性.  相似文献   

10.
编码技术是可扩展标记语言(XML)查询处理的基础,传统编码技术利用自然数进行编码,很难支持XML动态更新。提出了更新支持的编码方法——ITBI,该方法将整数映射到完全二叉树,利用二叉树的中序遍历定义整数新的序关系,通过新的序关系重排自然数序列将静态编码转化为动态编码。同时,基于ITBI前驱、后继、距离等定义,设计了最短位长动态编码分配算法,有效控制更新过程中编码位长的增加。最后通过实验验证了编码的有效性。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号