THE LINEAR ARBORICITY 0F COMPOSITl0N GRAPHS

The linear arboricity la(G) of a graph G is the minimum number of linear forests which partition the edges of G.Akiyama,Exoo and Harary conjectured that la(G)=[Δ（G） 1/2] for any regular graph G.In this papedr,we prove the conjecture for some composition graphs,in particular,forcomplets multipartite graphs.     

Arrondo-Sols猜想的一个反例

本文在亏格为3的非超椭圆型代数曲线上给出Arrondo-Sols猜想的一个反例。 一 对于超椭圆曲线(Hyperelliptic curves),Arrondo-Sols证明了这一猜想。现设E是一二维向量丛,令     

寻求素数的新算法

本文给出了寻求素数的一种新算法──平方差筛法．     

关于绝对伪素数的判别与计算

获得了三因子绝对伪素数的判别准则及其计算公式，给出了150个三因子绝对伪素数，从而为Lehmer猜想及G．Giuga猜想的研究创造了条件．     

广义Fermat数的两个性质及方幂性问题

本文给出广义 Fermat 数 F(b,m)=b~r l 与 Fermat 数类似的两个重要性质,并证明广义 Fermat 数非k(k>1,k∈N)次方数等。     

数字孪生的模型、问题与进展研究

近年来,关于数字孪生的研究方兴未艾。数字孪生作为一个新的范式或者方法体现出了巨大的潜力,但是,这一概念的内涵和范围尚不确定,尤其是对数字孪生模型概念的界定很不清晰。根据模式类别可以将其分为通用模型和专用模型,其中专用模型仍是当前的研究热点,研究内容主要体现为对具体项目使用数字孪生方法进行建模,也包括对专用模型进行开发。这些具体项目除了传统制造业所涉及的零件测量和质量控制,增材制造,设计和工作过程,以及系统管理外,还包括在生物医药、石油工程领域的应用等。开发专用模型的工具和技术呈现多元化,有通用工业软件、专用工业软件、仿真平台和自研二次开发工具等等。数字孪生通用模型的研究对象不针对某一具体项目,而是研究如何将模型受控元素表示为一组通用的对象以及这些对象之间的关系,从而在不同的环境之间为受控元素的管理和通信提供一种一致的方法。数字孪生通用模型的研究主要分为概念研究和通用模型的实现方法,两者的研究热度相当。其中概念研究从宏观角度的产品生命周期管理,到描述系统行为,如一般系统行为和系统重新配置,再到具体工作流,如设计方法、产品构型管理、制造系统、制造过程等,研究内容较为发散,尚没有出现特别突出的热点。关于数字孪生通用模型实现方面,主要研究了建模语言的构建、模型开发方法的探索、具体工具的使用、元模型理念的植入和模型算法的探索。数字孪生模型是数字孪生研究的核心领域之一,其未来的研究重点是如何将不断涌现的各不相同的数字孪生体的外部特征和内在属性归纳为可集成、可交互、可扩展的模型,便于更高效地实现信息在物理世界和数字世界之间流动,从而实现数字孪生的普遍应用,继而支持CPS(网络物理空间)和CPPS(网络物理生产系统)的建设。因此,数字孪生模型研究下一步需要解决的问题是如何对接标准参考架构,如德国提出的工业4.0参考架构模型RAMI4.0和中国的智能制造系统架构IMSA等;关于数字孪生模型需要建立统一的描述方法并确立一致的结论,以规范各自独立发展建立起来的模型,从而改善模型的互操作性和可扩展性,否则,随着系统规模的扩大模型效能会显著下降;中国数字孪生模型的研究急需国产专业工业软件和建模软件的支持,以便中国学者深入开展更加符合国情的深入研究。     

基于KNN-TSVR算法的MIMO-OFDM系统信道估计

为了提高多输入多输出正交频分复用(MIMO-OFDM)系统的信道估计性能,提出了一种基于K近邻加权孪生支持向量回归(KNN-TSVR)的信道频率响应估计算法.该算法的工作过程是首先用最小二乘算法对导频位置的信道参数进行估计,获取训练样本,然后用K近邻(KNN)算法对训练样本进行预处理,得到赋予各样本的权重,最后由加权TSVR对MIMO-OFDM系统所有位置的信道参数进行插值估计.本文提出的改进的加权TSVR信道估计方法不仅具有TSVR对非线性关系回归的优势,同时引入KNN算法对TSVR进行改进,使得该算法与传统TSVR相比,具有更好的回归性能和抗噪声能力.对非线性MIMO-OFDM信道进行估计的仿真实验结果证实了这一结论.