关于丢番图方程x2+144=my11(m=1,2,3,4,6)的整数解

在高斯整环中,利用代数数论与同余理论的方法,讨论了丢番图方程x2+144=my11(m=1,2,3,4,6)的整数解问题,并证明了丢番图方程x2+144=my11(m=1,2,3,4,6)无整数解.     

矩阵力学与波动力学等价性证明的历史分析

矩阵力学和波动力学是量子力学的两种早期形态.前者由海森堡、约当、玻恩提出,后者由薛定谔提出.1926年,薛定谔给出二者之间等价性的证明.随后,泡利、狄拉克、约当、冯·诺伊曼等人或是为等价性证明给出新的版本,或是给出了间接的论证.这两种力学现在已被表述为海森堡绘景和薛定谔绘景,而数学家近来又从量子化问题出发对其等价性做出...     

局部AT-代数及其性质

引入局部AT-代数的定义,并证明了一个C*-代数是局部AT-代数当且仅当它是AT-代数.给出AT-代数的某些性质,利用这些性质可计算它们的投影等价类所形成的半群.     

一类n-Lie代数的最小理想问题

研究了n+k维n-Lie代数一些结构性质,并且证明了对于具有性质:任意非零理想其维数都大于或等于k的n+k维n-Lie代数一定存在最小理想.     

关于代数体函数的亏量

设u(z)为γ值ρ(0<ρ<∞)级代数体函数,T(r,u)为其特征函数,ρ(r)为关于T(r,u)的邻近级,定义δp(r)(a)=li mr→∞mm(r,a)rρ(r)为u(z)的亏量.本文讨论了相应于代数体函数的亏量问题,并获得一些重要结果.     

模李代数W(2,t-)与S(2,t-)的导子代数

设F是特征数P≥2的域,本文给出了F上的有限维Cartan型模李代数W(2,t-)与S(2,t-)的生成元集,确定了W(2,t-)与S(2,t-)的导子代数.     

Quantale上代数余核的一点注记

研究了代数余核的某些性质,同时亦探讨了代数余核与子Quantales之间的联系．     

分布式环境下基于属性证书的RBAC模型

基于角色的访问控制(RBAC)将角色概念引入到访问控制中,极大地方便了用户对资源的访问,同时也减轻了系统保存大量用户信息的压力.在分析RBAC模型的基础上,结合RBAC系统的特点以及SPKI/SDSI证书的优越性,提出了一种分布式环境下的基于属性证书的RBAC模型,定义了属性证书的结构以及描述了用户访问资源的工作流程,对模型的特点进行了总结.分析表明,该模型具有简洁的证书格式、支持匿名访问、单点登录等优点.     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0,b）及θ（a,1）的一个新的刻划,利用这个刻划,得到理想I=（d]是同余理想的充要条件,从而断定L的同余理想只能是正则理想．     

基于预处理模糊Petri网与改进遗传算法的电网故障诊断方法

为了提升电网复杂故障时的态势感知能力,提出了基于预处理模糊Petri网与改进遗传算法的电网故障诊断方法.首先,基于层次化、动态建模的思想,在建立元件一般故障诊断模型的基础上,引入浮动库所、浮动弧、浮动变迁的概念来合理的体现主保护、断路器以及后备保护之间的逻辑关系,建立了元件复杂故障时的诊断模型;其次,挖掘故障信息源的特性进行预处理,依据故障类型动态建立相应Petri网诊断模型;再次,利用改进的遗传算法对模型中的参数进行了训练、优化;最后,探讨了该Petri网故障诊断模型的容错性、通用性.对算例系统仿真的结果表明:该方法突出了故障诊断过程的层次性、可理解性,提升了诊断模型的透明性、改善了诊断模型的易维护性,在电网复杂故障的情况下诊断结果仍具有较高的准确度,并呈现有较好的容错性.