Quantale上代数余核的一点注记

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

模糊拓扑半群

引入模糊拓扑半群的概念,给出模糊拓扑半群的等价定义,得到了一些模糊拓扑半群的一些性质;并定义、研究了模糊拓扑子半群以及模糊拓扑半群族的直积性质.     

步长为1和n/2循环图的导出匹配可扩性研究

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±n2(mod2n)的i和j,均有xixj∈E(G),则称其为步长为1和n2的循环图,记为C2n(1,2n).本文的主要结论为:C2n(1,2n),n#4,是导出匹配可扩的.     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

一种计算冲压零件轮廓相似度的快速算法

为了适应网络应用对轮廓相似度计算在速度和数据传输量方面的要求,文中提出了一种非离散的快速算法,该算法采用直线和圆弧来表达轮廓曲线．在对图形进行范化处理后,将待匹配轮廓按照一定步距进行旋转．然后依次以待匹配轮廓或目标轮廓作为模板,计算模板的所有顶点与其在另一个轮廓中对应点的距离平方的平均值．在所有角度中,平均值之和的最小值即为两个轮廓的匹配度．该算法同时适用于凸多边形和凹多边形,并具有较好的区分度和匹配准确性．和以往的离散方式相比,该算法减少了需要传递的数据量．提高了运算速度．     

PMS-代数的同余理想

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

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

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

关于伪Drazin可逆的算子矩阵

元素a∈A称为伪Drazin可逆的,如果存在某个元素b∈A,使得ab=ba,b=bab,ak-ak+1b∈J(A)对某个正整数k成立.文章得到了一系列能保证算子矩阵是伪Drazin可逆的新条件,并且给出一些数值例子,来说明所得结果.     

多Agent系统在作战仿真中的应用

针对传统的作战仿真方法的不足,研究了分析复杂系统的一种新方法,即基于A gent的仿真ABS(A gent-based sim u lation),将ABS应用于作战仿真是一种有意义的新尝试。以作战仿真为背景,介绍了作战智能体的模型设计与实现方法,讨论了作战智能体的行为规则与元规则设置。在此基础上,设计实现了一个基于A gent的作战仿真原型系统,模拟出了作战过程中的一些有意义的现象。仿真结果表明,新的研究方法在作战仿真领域具有良好的前景。     

"人的发展三阶段论"的深层读解

从人与自然、人与社会的关系这一视阈对马克思的“人的发展三阶段论”作一全新读解,并对每一阶段人的特性进行特定分析。这在一定程度上丰富了马克思主义历史理论,为研究人的发展甚至是人学的发展提供了更为广阔的思维空间,也为当前社会主义和谐社会中人的存在方式奠定了坚实的理论基础与现实平台,具有重大的理论与实践价值。