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

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

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

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

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

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

一类Lagrange插值多项式的两个结论

讨论以xk=coskπ/n(k=0,1,...,n)为节点的Lagrange插值多项式逼近[-1,1]上的光滑函数f(x)时的逼近度.若f(x)是高阶多项式时,误差公式中出现一类三角函数的和数,本文给出此类和数的代数表达式.     

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

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

步长为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类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.     

扩散方程的具有振动边值的Dirichlet问题

令(D)表示d 1维欧氏空间Rd的有界子集.利用概率方法和时空布朗运动,对(D)上如下扩散方程1/2△u(x(t)) q(x(t))u(x(t))=()/()u(x(t)),x(t)∈(D)的随机Dirichlet问题进行了推广,其中q是给定的定义在(D)上的有界H(o)lder连续函数.证明了上述扩散方程具有振动边值的Dirichlet问题的存在性.