判定算法相关论文
随着网络信息技术的快速发展,如果大数据中有许多遗留下来的历史数据,那么用户从数据仓库中提取信息时可能会过时或不准确,时效性......
多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电......
图是一个抽象数据结构,常用于为信息结构建模。图能够为现实世界中对象的任意信息建模,表示对象和对象之间的关联关系。
平面......
因为与时间相关的关系型数据库系统的应用需求在各个领域都在不断的增长,使得时态数据库系统的设计问题变得十分重要。但是,由于在传......
肝脏是新陈代谢的重要器官,内部结构非常复杂,分布着多种复杂的管道系统。由于肝内管道的复杂性及人体肝脏的个体差异,肝脏手术往往伴......
Bent函数是一类满足最高非线性度的布尔函数,因此Bent函数有重要的研究价值。为寻找新的Bent函数的直接构造方法,Hans Dobbertin于......
正规性的概念由Dobbertin在文献[4]中提出,主要用于构造高非线性的Bent函数,如果一个m元布尔函数在一个m/2维仿射子空间上为常数,......
描述逻辑是一类适合于刻画静态领域知识的逻辑语言,在当前成为研究热点的语义Web中扮演着关键角色,是W3C推荐的Web本体语言OWL的逻辑......
随着纤维缠绕技术在回转体构件缠绕上日益成熟,各行各业对缠绕制品的需求不断增长,研究非回转体构件的缠绕成型运动轨迹成为纤维缠......
张量是近年来新发展起来的大数据分析中的新工具,是矩阵的推广.作为H-矩阵的推广、H-张量拥有着特殊的结构并在张量分析及运算上扮......
覆盖问题是传感器网络研究中的一个基础课题, 判定感兴趣的区域是否被一组给定的传感器节点完全覆盖, 在监控等传感器网络的许多应......
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网......
变元在Rn+上变化的二次型,如果总取非负值,则称为copositive二次型;其对应的矩阵称为copositive矩阵.判定一个给定的矩阵不是coposi......

