关于Diophantine方程x^3±1=Dy^2

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x^3±1=Dy^2（D=D1P,D是无平方因子的正整数,其中D1是不能被3或6k＋1之形的素数整除的正整数,p是奇素数,p=3（24r＋19）（24r＋20）＋1,r是正整数）的解的情况．证明了当D1=7（mod 12）时,方程x^3＋1=Dy^2无正整数解;当D1;5,14,17,23（mod 24）时,方程x^3-1=Dy^2无正整数解．推进了该类三次丢番图方程的研究．     

基于素数性质的布尔函数约简算法

提出了基于素数性质的布尔函数约简算法,其主要思想是用素数表示布尔变量,以素数乘积有序对表示合取式,用算术运算取代原有的逻辑运算.将基于素数性质的布尔函数约简算法运用于粗糙集中,结果表明,该算法能够节省存储空间,提高运算效率,约简算法行之有效.     

关于Pell方程x2－6y2＝1与y2－Dz2＝4的公解

该文证明了：1) 若p1，…，ps是不同的奇素数，则当D＝p1…ps(1≤s≤3)时除开D为11,11×89×109,11×97×4801外，方程组G：x2－6y2＝1与y2－Dz2＝4仅有平凡解(x，y，z)＝(±5，±2,0)；2)若D是无平方因子正整数，则当D为偶数且D没有适合p≡1(mod 24)以及p≡7(mod 24)的素因数p，则方程组G仅有平凡解(x，y，z)＝(±5，±2,0).     

面向智能制造的工业数字孪生关键技术特性

 综述了数字孪生技术在智能制造领域中产品设计、生产制造、安全维护3方面的研究进展。在工业数字孪生技术背景下，分析了当前应用于智能制造领域的关键技术的一些基本特性，其中包括可交互性、可孪生性、可组合性及可管理性，概述了工业数字孪生技术在产品设计研发、运维管理决策、生产管控3个方面的典型应用场景。展望了面向智能制造的工业数字孪生技术未来发展。