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

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

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

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

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

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

LINE-SERU转化的评价分析——以某医疗制造企业实施SERU为例

面对日益增加的需求不确定性及激烈的市场竞争,SERU (赛汝)生产方式应运而生,并广泛应用于日本电子装配制造企业.国内一些制造装配业正尝试将传统的流水线转化为SERU装配方式,简称LINE-SERU转化.一些文献报道了日本企业实施LINE-SERU转化的效果,而学术界对国内企业实施SERU装配方式的生产组织与运行效率缺乏理论分析和标杆分析.本文以国内某医疗器械装配企业实施LINE-SERU转化为例,通过理论分析和数据分析,系统地讨论了国内企业实施LINE-SERU转化的背景、过程、影响因素及生产组织形态,从多维度比较分析了改善效果及原因;总结了国内企业与日本企业在SERU系统的构建方式、布局形态和企业文化等方面的差异.研究发现,中国企业处于LINE-SERU转化的初期,SERU系统具有其独特的组织形式,在提高生产效率、缩短生产周期、减少在制品数量、精简作业人数和降低次品率等方面均有显著提升,但改善效果不同于日本企业.建议国内企业依据其人力资源特征构建SERU系统、优化单元布局、培育以人为本的企业文化,以提高系统柔性和改善效率.     

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

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

氯代乙酰基乙酰甲胺合成技术的改进

改变了二氯代乙酰基乙酰甲胺的转化剂,提高了转化温度,从而减少了废水量,使转化时间由5.0￣5.5h减少到2.0￣2.5h,缩短了生产周期,提高了生产效率.     

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

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

步长为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的“位势井”理论,研究了一类非线性退化波动方程初边值问题整体解的存在性.