一种CSCD系统的角色委托授权模型

结合计算机支持的协同设计(CSCD)系统的具体特点,对角色委托授权(RDA)特征进行分析和归纳,并给出CSCD系统的RDA特征集表示·由于不同系统具有不同的RDA特征集,导致不同系统的RDA模型也具有各种不同形态·在介绍RBAC基本模型的基础上,归纳出几种基本的RDA特征,并根据CSCD系统的具体特点对RDA特征进行组合,从而建立起适合CSCD系统的RDA模型·与传统的RBAC角色授权模式不同,该模型将权限的集中方式管理分散实施,使权限管理更加灵活方便·最后通过CSCD系统实例对上述RDA模型进行了验证·     

习近平关于党自我革命重要论述之四题

本研究遵循马克思主义基本原理,对习近平关于党的自我革命重要论述进行了四个层面的解读。从文化基因、理论溯源、历史传统三个维度剖析了“重要论述”的生成逻辑;通过系统梳理相关显性文本与隐性文本,提炼了“重要论述”的核心要义;立足于时代背景,阐释了“重要论述”的哲学意蕴;从理论建设、破解国内时代难题、推动世界社会主义运动三方面彰显了“重要论述”的时代价值。     

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

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

习近平关于人权论述的哲学基础

习近平关于人权的论述体现马克思主义的基本立场、基本观点和基本方法,即以人民为中心的基本立场、社会存在决定社会意识和群众史观的基本观点、唯物辩证法两点论与重点论相结合等基本方法。习近平关于人权的论述注重对人民利益的维护、强调人民权利的保障、重视集体人权、尊重人民主体能动性的发挥。研究习近平关于人权论述的马克思主义哲学基础,有利于厘清马克思主义在应用于中国人权问题研究时所遵循的理论逻辑与实践逻辑,有利于深刻把握习近平关于人权论述的思想内涵和理论体系,不断促进中国特色人权事业发展。     

ISO、IEC和ITU-T智慧城市定义分析

智慧城市定义是认识其知识单元和理解其本质特征、构建共识的基础.文章采用ISO 704:2009的理论框架,分析了ISO、IEC和ITU-T对智慧城市的定义,通过解构定义的智慧城市对象、利益相关方、涉及领域、智慧城市实现目标及愿景和实现路径,得出了三大国际标准化组织的智慧城市核心概念、概念关系和其认知视角,通过对三大标准化组织14位专家的问卷调查分析摸清了智慧城市核心概念的不同认知.基于系统方法和综合集成思想提出了多维度构建统一智慧城市定义的建议,为三大标准化组织智慧城市定义的标准化协同和融合提供了有效路径.     

联合功率域SPMA协议的动态阈值算法

针对基于优先级概率统计的多址接入(statistic priority-based multiple access, SPMA)模式协议在高负载情况下战术信息的碰撞概率十分严重, 网络性能无法满足协同攻击要求的问题, 本文借鉴非正交多址接入技术在功率域上区分同时同频信号的思想, 改进SPMA协议信号发送机制与多优先级检测机制, 在原有的时域、频域基础上引入功率域, 提出一种联合功率域的SPMA协议性能改进策略。并针对各优先级数据包到达率的动态变化场景, 设计动态阈值算法, 以达到降低碰撞概率, 提升网络吞吐量的目的。仿真结果表明, 采用该改进策略与动态阈值算法可以使网络承载更大的业务流量, 提高网络吞吐量。     

步长为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活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

一类非线性退化波动方程整体解的存在性

应用致密性方法和D.H.Sattinger的“位势井”理论,研究了一类非线性退化波动方程初边值问题整体解的存在性.     

Banach空间中2类压缩映射不动点的具误差的Ishikawa迭代序列的收敛性

讨论了Banach空间中拟压缩映射对和广义压缩映射的具误差的Ishikawa迭代序列的收敛性问题,得出了在一定条件下,这2类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.