基于星点有序集的全天球自主星图识别算法

为了提高在全天球自主工作模式下星图识别的成功率和鲁棒性,本文结合kNN算法和有向图理论的思想,构造出具有强约束的有序星点集模式,提出基于有序星点集的全天球自主星图识别算法。该方法首先利用k近邻算法的思想,以导航星点为中心,对位于其一定范围内的导航星进行了分类划分。然后基于有向图理论,以距离中心点星最近的导航星为基准,按照顺时针顺序对分类的导航星进行排序,构造出具有强约束特性的有序星点集作为星图识别的特征。实验结果表明:在存在星点位置误差和伪星点的情况下,本文提出的基于有序星点集全天球自主星图识别算法具有很强的抗噪声能力、抗伪星点干扰能力和鲁棒性。在星点质心位置达到3像素时,基于有序星点集星图识别算法成功率仍然可以达到99.8%,比三角形识别算法和栅格识别算法的识别成功率高16%以上;在存在3颗伪星点的情况下,基于有序星点集星图识别算法成功率为98.4%,比三角形识别算法和栅格识别算法高10%以上。

化石孢粉的有序集群

本文使用三种有序集群方法(最优分割法、有序点群分析法、有序图论方法)对化石孢粉的分带问题进行处理.实际数据选自河北肃开10孔等处.处理结果表明三种方法均能有效地模拟古植被的演变,但又各有其特色.

有序集的序同态映射与其固定点

本文讨论P .Crawley等提出的一个未决问题 ,研究了何种条件下使得一个有序集P到自身的每一个序同态映射f至少有一个固定点 ,即存在某个元素a∈P ,满足f(a) =a ,并给出了若干充分或必要条件 .

有序集与有序环

给出了有序集与有序环的概念,讨论了他们的关系及性质；同时给出了几种有序集,并证明了复数集是有序集而不是有序环．实数集是有序环.

有序集中Caristi定理的一个推广

通过对有序集的进一步研究,给出了有序集上的一个不动点定理,从而推广了有序集中Caristi定理的结果。

“复数没有大小”,但复数集是“有序集”

中学课本中常说复数没有大小,那是指在复数域内,无论如何规定其元素的顺序,也不能使之成为“有序数域”。也就是说,从数域的观点看,绝对无法在复数域内规定出一个大小关系即前述“顺序”关系来。但是这决不是说,人们无法在复数集内,按集论观点来规定其元素间时次序,使之成为有序集。为说明以上结论,首先介绍有序集的概念。

安捷伦推出增强的PCI Express~3.0接收机特性测试解决方案 J-BERT N4903B能够处理PCIe~3.0在接收机特性测试过程中SKP有序集的长度变化

2013年2月，北京——安捷伦科技公司（NYSE：A）在DesignCon上展示增强的PCIExpress3．0接收机特性测试解决方案。 AgilentPCIe3．0接收机特性测试解决方案可以提供完整、精确的接收机容限测试结果，同时最大程度地减轻研发人员的工作量。新型J—BERT软件（版本7．40）在对PCIe3．0接收机设计进行测试时，可以调整128b／130b编码后的填充符的长度（又称为SKP有序集，用于补偿收发端的时钟差异）。

有序集与有序域——谈“复数为何不能有大小”

复数为何不能有大小?要弄清这个问题,就必须把'有序集'和'有序域'这两个概念弄清楚。§1 有序集在通常情况下,我们讨论关于集合论的一些简单基本知识时,并不涉及集合元素之间的次序。但在研究某些数学理论时,又必须首先讨论集合元素之间的次序,所以产生了有序集的概念。

一种针对有序集的有效压缩存储算法

本文基于具有阶乘基的数字系统给出了一种针对有序集的有效压缩存储算法及其应用实例。

表示有序集的一个新的数据结构

提出一个表示有序集的新的数据结构。该数据结构能在Ｏ（ｌｏ｜Ｓ｜）时间内实现对有序集Ｓ的搜索、插入、删除，删除最小元和删除最大元的运算。在Ｏ（ｌ）时间内对Ｓ实现找最小元和找最大元，找Ｓ中的元素ｘ的前驱和后继等运算。因此该数据结构能高效地同时实现抽象数据类型字典和双向优先队列，并保持有序链表的优点。

信息处理中有效维持动态有序集的新方法

文中研究了信息搜索及信息处理领域中的一个重要问题,就是如何有效地维持关键字为位串的动态有序集,以支持查找、加入、删除、求最值等操作.基于前人的研究成果,我们提出了一种性质更为完备的二叉树(RBT,rich binary tree).它同时具备二叉搜索树和数字查找树的性质;并且,所有结点都保存了它与祖先结点中次大者和次小者的最高差别位.于是,动态有序集的维持转化为对树结点的动态操作并且保证RBT的性质不变.该方法的最坏复杂度是O(L),其中L是关键字的字长.因为一般对象在计算机中都是以二进制形式存储的,所以该方法具有明显的应用潜力及可观的经济效益.文中的RBT可视为一种通用的数据结构,可以非常高效地解决与序有关的问题,比如查找、排序和维持优先队列等.例如,实验证明对于长关键字的排序,我们的算法基本上线性增长,优于快速排序,而且支持常数时间的动态插入和动态删除.

基于有序路径集的边界表示模型搜索方法

针对传统图匹配方法的复杂性和图序列化技术对图拓扑结构的敏感性,提出一种基于有序路径集相似性的边界表示模型搜索方法.首先根据模型表面属性将其分类并排序,然后以模型表面作为路径结点分别提取模型的同类表面有序路径集、异类表面有序路径集作为模型的线性表达形式;在此基础上,提出一种基于有序路径间距离的边界表示模型距离度量方法,通过逐级计算有序路径间的距离、有序路径集间的距离,得到模型间的距离.模型搜索实验的结果表明,文中方法对模型拓扑结构的变化具有一定的鲁棒性,搜索精度高于已有方法,同时在线匹配时间具有多项式级的时间复杂度.

可变精度优势关系下的析取集值有序信息系统

集值信息系统是单值信息系统的一种推广,按照语义可划分为合取集值信息系统和析取集值信息系统两类。本文分析了析取集值信息系统中已有的4种优势关系的局限性,提出了一种可变精度优势关系,定义了可变精度优势关系下的析取集值有序信息系统,扩展了经典粗糙集理论。然后,在析取集值有序信息系统中引入了一种对象排序的新方法,该方法利用对象在信息系统中的整体优势度来对对象进行排序。最后,通过风险投资实例说明本文方法可以用于处理析取集值有序信息系统中的决策规则获取问题。

有序集上的自由Ockham代数的注记

从构造有序集上的自由分配格出发。

有序点集与无序点集的曲面重构方法比较

曲面重构在逆向工程领域是指利用物体表面的点集重新构建物体形状的操作,这一技术对于非标准建筑设计同样适用。从已知排列顺序的点集(有序点集)和未知排列顺序的点集(无序点集)出发,对自由曲面进行重构是曲面重构的两种基本方法。本文对此进行了对比研究,并由这两种出发点,生成包含表皮及支撑结构的双层曲面系统,验证了该技术在建筑设计领域应用的可行性。

复数集的有序性与复数域的无序性

有人说,自然数、整数、有理数、实数等集合,都可以在一条数轴上排列成序,而复数集做不到这一点,所以复数集是无序的。 又有人说,形如a+bi的两个复数,可作如下约定:实部大的复数大,若实部的数相同,则虚部的系数大的复数大。在这样的约定下,复数集岂不是有序的吗? 各执一理,似难判定。本文就这个问题,提出不成熟的看法。

基于有序点集距离的形状匹配算法

针对基于豪斯多夫距离的匹配算法存在时间复杂度高、较难处理部分匹配和无法精确对位等问题,提出了一种改进的基于有序点集距离的形状匹配算法.该算法利用轮廓点集的有序性,动态计算点集之间的匹配关系.算法首先计算曲线的轮廓点曲率,并根据匹配代价作出匹配矩阵,然后基于匹配矩阵的连通情况来判断2幅图像是否匹配,最后依据最短连通路径附近的像素点分布来确定最终的匹配点.实验证明,本算法能加快匹配速度,较好地处理部分曲线匹配,并能确定匹配轮廓点到点的一一对应关系.

基于有序BDL树集的船舶电网潮流算法及执行时间分析

针对嵌入式船舶电力模拟训练系统在频繁模拟操作指令下对潮流计算的快速性需求以及嵌入式模拟训练系统极其有限的运算资源之间的矛盾,提出一种基于有序BDL树集的船舶电网潮流算法。该算法在常规回推前推法基础上对节点编号进行优化,将多电站船舶电力系统在实际开环运行模式下等效为由多个辐射状电网构成的有序BDL树集,树集中的每个有序BDL树包含单个电站中的主配电板层、配电层和负载层,并把发电机潮流整合入主配电板层,避免了常规潮流算法中节点编号突变问题。对该算法的时间复杂度分析结果及实际运行结果进行比较分析,证明该算法比常规船舶电网潮流算法更优。

基于集群运动局部有序性测度的异常行为检测

在异常行为检测中,运动人群中个体间的运动一致有序性程度是判断异常与否的一个重要指标。针对该情况,本文提出了基于速度场分布的粒子间作用力模型,将其应用到全局集群性描述子(Collectiveness)中来判断集群运动的一致有序性程度,即集群运动一致有序性测度。该方法采用混合高斯模型动态建模提取出视频图像的背景,在提取到的背景图像上使用KLT(Kanade-Lucas-Tomasi)算法追踪前景获得人群中个体运动的速度和位置信息。然后基于运动粒子的速度和位置信息计算邻域范围内粒子间的相互作用力,把基于速度场分布的粒子间作用力应用到全局集群性描述子中并结合邻域特性来表达集群的局部有序性测度。接着将集群中个体的局部有序性测度的分布投影到直方图,并通过计算直方图的熵值来描述行为。最后,根据计算的熵值与阈值进行比较来检测异常行为。基于不同场景下的视频序列所进行的实验测试结果验证了所提方法的有效性。

偏序集与不同种广义拟阵间的包含关系(英文)

众所周知 ,偏序集理论在研究广义拟阵论中起着重要作用 .但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢 ?怎样运用偏序集理论的手法去解决该问题呢 ?为得到答案 ,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系 ,运用这种偏序关系讨论不同种的广义拟阵间的包含关系 .多数结论是以构造方式给出 。