基于m-序列的本原σ-LFSR序列构造

sigma-LFSR是一基于字的LFSR模型,它能够充分利用现代CPU的特点,具有结构简单、适合软件快速实现的特点。在实际应用中,本原sigma-LFSR最有价值,因此它的构造具有重要意义。本文首先考察了基于字的本原LFSR的距离向量,得到了它的若干性质,给出了一个距离向量为本原LFSR的充要条件;然后对本原sigma-LFSR的距离向量进行了研究,利用基判别定理给出了它的部分性质,并以此为基础得到了一个利用m-序列构造本原sigma-LFSR序列的搜索算法。最后对搜索算法编程实现,得到了有限域F2^3上所有2级本原sigma-LFSR的距离向量。     

利用三次Bezier曲线求解几何约束问题

几何约束求解是智能CAD的一个关键技术.目前,几何约束求解的算法主要是构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线.通过增加三次Bezier曲线作为一个新的几何体,提出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新算法,扩大了几何约束求解的作图范围.     

D_（3,2）∪T（1,1,n）的匹配等价图类

利用图的匹配多项式及其最大实数根的性质完整刻画了D3,2∪T（1,1,n）的匹配等价图类.     

Pell方程x^2-（a^2-1）y^2=k的解集

应用本原解、解数列等概念,完整、清晰地表述了形如x^2-（a^2-1）y^2=k（k∈Z,k≠0,a≥2）型Pell方程的整数解集.     

两个本原有向图的广义本原指数

本研究了两个本原有向图顶点指数和广义重下指数以及广义重上指数。     

奇围长为5的本原对称有向图的局部指数集

设D是一个本原有向图且u∈V（D）,D在u点的指数,记作expD(u),定义为这样的一个最小正整数k,它使得对任意v∈V（D）,D中均有u到v的长为k的有向通道。设V（D）＝{1,2,…,n}使得expD(1)≤expD(2)≤…≤expD(n)。本文研究了奇围长为5的n阶本原对称有向图,并得到其局部指数集的完全刻划。     

特殊Noether分次环的结构

给出了Noether分次单环和Noether分次本原环的结构．     

恰有d个顶点带环的本原有向图的公共后继的界

如果存在正整数p,使有向图G中任一有序顶点对u和v都有长为p的途径,则有向图G称为本原有向图．设Pn(d)是n(n≥3)阶恰有d个顶点带环的本原有向图的集合,LG(k)是本原有向图G的k-公共后继(k-c．c．),2≤k≤n;又设L(n,d,k)=max|LG(k)|G∈Pn(d)|,由此得到了k-公共后继的界：n-[d/2]≤L(n,d,k)≤n-1,1≤d≤n．     

RDFS表示本体建模语言OIL的一种方法

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法. 通过为这种语言增加必要的表达能力和语义来完善RDF Schema, 使RDF Schema能够描述本体建模语言OIL. 进一步给出OIL原语的RDF Schema定义： 任何OIL本体都可以使用RDF语法表示, 从而使其具有OIL的推理支持和形式化语义. 这种扩充方法同样也适用于其他知识表示的形式化.     

关于有限域上的本原多项式的系数

证明了对任意给定正整数n和k,如果满足k<p,k<n/2且q充分大,则在有限域∮g上存在次数为n的前k个系数预先指定的本原多项式。特别地,当k=3,4时,我们给出了具体的界。