判定算法相关论文
随着网络信息技术的快速发展,如果大数据中有许多遗留下来的历史数据,那么用户从数据仓库中提取信息时可能会过时或不准确,时效性......
多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电......
图是一个抽象数据结构,常用于为信息结构建模。图能够为现实世界中对象的任意信息建模,表示对象和对象之间的关联关系。
平面......
因为与时间相关的关系型数据库系统的应用需求在各个领域都在不断的增长，使得时态数据库系统的设计问题变得十分重要。但是，由于在传......
肝脏是新陈代谢的重要器官，内部结构非常复杂，分布着多种复杂的管道系统。由于肝内管道的复杂性及人体肝脏的个体差异，肝脏手术往往伴......
Bent函数是一类满足最高非线性度的布尔函数,因此Bent函数有重要的研究价值。为寻找新的Bent函数的直接构造方法,Hans Dobbertin于......
正规性的概念由Dobbertin在文献[4]中提出,主要用于构造高非线性的Bent函数,如果一个m元布尔函数在一个m/2维仿射子空间上为常数,......
描述逻辑是一类适合于刻画静态领域知识的逻辑语言，在当前成为研究热点的语义Web中扮演着关键角色，是W3C推荐的Web本体语言OWL的逻辑......
随着纤维缠绕技术在回转体构件缠绕上日益成熟,各行各业对缠绕制品的需求不断增长,研究非回转体构件的缠绕成型运动轨迹成为纤维缠......
张量是近年来新发展起来的大数据分析中的新工具,是矩阵的推广.作为H-矩阵的推广、H-张量拥有着特殊的结构并在张量分析及运算上扮......
覆盖问题是传感器网络研究中的一个基础课题, 判定感兴趣的区域是否被一组给定的传感器节点完全覆盖, 在监控等传感器网络的许多应......
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网......
变元在Rn+上变化的二次型,如果总取非负值,则称为copositive二次型；其对应的矩阵称为copositive矩阵.判定一个给定的矩阵不是coposi......
介绍了手写签名特征抽取和选择的一般方法,并在此基础上,提出了一种实用的签名笔迹特殊点提取算法.......
P2P即时通信模型要求所有对等节点都能进行双向通信,但网络安全技术方案的实施,使得整个P2P通信域有了内网和外网的区分,并且外网......
针对模拟电路故障中元件参数连续变化具有无穷多种可能性的问题,首先证明了线性模拟电路中,测试点电压向量在故障状态下相对于标准......
将联想过程抽象成联想图,该图是以变量之间的相关性和条件相关性表示的正态分布,并讨论了联想图的若干性质,它们恰当地反映了联想......
1队列的概念队列(queue)是限定仅在一端插入,另一端删除的线性表.·允许插入的一端叫队尾(rear),允许删除的一端叫队头(front)......
简单多边形顶点的凸、凹性判断是计算机图形学中常用的算法。文章讨论了多边形顶点凸、凹性与顶点为原点建立的坐标及相邻顶点在此......
覆盖问题是传感器网络研究中的一个基础课题,如何判定某个感兴趣的区域是否被一组给定的传感器节点覆盖,在传感器网络的许多监控应......
分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模......
本文依据图论中已有的一个理论成果(定理1),给出了判定一个图是否含有k-因子的一个算法,同时对算法的复杂性作了分析,又示出了一些......
序演算可以保留很多语言学的信息，可以更自然的刻画日常交流中的推理，因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等......
摘 要 文章提出了一种连通图关节点的矩阵求解算法．该算法数据结构形式简单，求解方便且易于理解，用C语言设计了相应的程序验证了此......
提出一种基于点集排序，逐行（或逐列）扫描平面点集S，判定点集S中的点是否在多边形L内部的算法，该算法的时间复杂性在最坏情况下为：max(O(n......
提出了一种以形式概念的概念意义相似性为基础的中文信息最优检索串判定算法，该算法可判定出由相同关键词按不同顺序组成的不同检索......
提出的自动判定和实时跟踪高速公路常发性拥挤路段的方法包含3个算法:①路段平均车速算法;②交通流区段类型判定算法;③排队类型判......
研究香烟条包外包装所出现的无拉线或拉线错牙等异常现象的图像特征，设计检测算法，并开发相关软件系统。经过实例检验，系统可以有效地......
数据库数据组织的无环性是数据库理论和应用中一个重要特性.如何把数据库模式分解成无环性是一个比较复杂的问题,特别是在FD集F有......
在讨论数据库模式R〈W,F〉的无α环分解时,需要判定FD集F是否有内部冲突;在讨论无β,γ环的分解时也需要判定是否有内部冲突.为此,......
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来，GeraldLuttgen等人将二者进行结合，提出了逻辑标记转换系统以及......
为了能够准确识别窃电行为,在现代智能电配电网系统中,基于图论和矩阵理论得到一种简单实用的窃电辨识方法。利用电源端和负荷侧的......
为了克服认知无线电网络中衬垫传输覆盖范围的限制,基于对衬垫传输范围的估计,提出了多小区的频谱切换机制。当认知用户超出衬垫传......
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定.利用一阶逻辑等价公式,将拟代数簇的包含关系问题化为检验另一个拟......
属性约简是知识获取中的核心问题之一.为了能较高效率地获得属性约简,在Rough Set理论基础上构造出了相对区分表,将基于相对区分表......
布尔函数是密码体制设计与分析中一个不可缺少的工具，在布尔函数的应用中，判定两个布尔函数的同构问题具有广泛的需求，但是，判定布尔函......
图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件：在......
给定n元集合上的一个二元运算的乘法表(共n~2项)。判定它是不是群,过去的算法需时O(n~3)。我们给出了一个O(n~2)时间的算法。对于......
实现计算机对焊缝缺陷做出准确的评定,根据焊缝缺陷评定的要求,设计了相应的焊缝缺陷检测数据库,并提供了相应的检测算法以及专家......
对供需运输系统中的网络流问题,由于供需约束或容量配置不合理,有时会出现一种反常现象:对一个最优运输方案来说,即使供需量或容量......
指出了线性模拟电路中,测试点电压向量在故障状态下相对于标准状态下的变化量,其向量方向由故障元件在被测电路中的位置决定。证明......
