【摘 要】
：
文章从代数正规型中线性项与非线性项关系的角度,给出了de Bruijn序列特征函数新的必要条件。设f（x0,x1,…,xn）=x0g（x1,…,xn-1）xn是一个n阶de Bruijn序列的特征函数,记L（g）为
【机 构】
：
信息工程大学,数学工程与先进计算国家重点实验室
论文部分内容阅读
文章从代数正规型中线性项与非线性项关系的角度,给出了de Bruijn序列特征函数新的必要条件。设f（x0,x1,…,xn）=x0g（x1,…,xn-1）xn是一个n阶de Bruijn序列的特征函数,记L（g）为函数g的代数正规型中所有线性项的模2加,若L（g）=0,证明了非线性项x1x2,x2x3,…,xn-2xn-1中至少有一个不在函数g的代数正规型中出现。进一步地,若L（g）=x1x2…xn-2,则当xn-2xn-1不在函数g的代数正规型中出现时,非线性项x1x2,x2x3,…,xn-3
其他文献
提出了动态累积分批精馏过程，选用两种不同物系进行了动态累积操作实验。结果表明：与传统分批精馏方法相比，动态累积法既利用了全回流高效率浓缩，又消除了飞轮效应，所以分离效率明
约束谱聚类是谱聚类算法适用于半监督学习的一种技术, 探索谱聚类算法与约束条件更 好的结合方式是约束谱聚类研究的一个关键问题.双图约束谱聚类用数据相似图和不相似图 来
在上海石油化工研究院开发的分子筛催化剂和联合化学反应工程研究所东北工学院分所小试过程开发的基础上，建立了年产３００ｔ乙苯的中试装置，进行了由乙烯，苯气相烷基化合成乙苯的中试研
本文对新开发的蜂窝(FG)型规整填料萃取塔的流体力学和传质性能进行了系统的实验研究。结果表明,这种新型填料萃取塔的通量(比负荷)大,传质效率较高,已成功地应用于汽油脱硫
在矩形管道底面设置突起半圆柱列，可增强正对底面的传热面附近流体的湍动，表面更新作用得到加强，从而强化流体与传热面间的传热。
采用Ｗｏｎｇ和Ｓａｎｄｌｅｒ混合规则，将ＰＲＳＶ立方型状态方程ＵＮＩＦＡＣ活度系数模型相结合，给出一种预测混合物相平衡热力学性质的方法，并用５４个二元体系和９个三元体系的实验数据做了检验，结果表明，该法可以较好地预测二
分析了超临界流体萃取植物中液态组分过程的特点；推导出计算植物中液态组分在ＳＣＦ中溶解的渗透－缔合模型，并就文献发表的实验数据对模型的适应性进行验算，获得较满意的结果。
对二元混合物池内沸滕和流动腾换热机理及二元混合物换热关系式进行了探讨，并提出一个瓣的非共沸混合工质水平管内强制对流蒸发换热关系式。
针对传统基于关键字匹配的检索方法在地方志数据查询时的不足,给出了基于Solr和本体的地方志数据语义检索解决方案。建立了地方志本体库;提出了基于本体的综合语义相似度进行
介绍了分布式控制平面部署问题的产生,对目前的研究方法进行了分类,分析了目前研究中遇到的问题及解决方案,并对其今后的研究和发展进行了展望。