浅谈特种设备安全信息系统

本文介绍了特种设备安全信息系统产生的背景及意义、系统的功能设计、结构组成及特点。整个系统结构合理,功能符合要求,且有较强的移植性和应用前景。     

伽玛分布参数的最短区间估计与最佳双边检验

证明了伽玛分布参数的最短区间估计与最佳双边检验是存在且唯一的,同时给出了最短区间估计与最佳双边检验需满足的条件;并与传统的区间估计和双边检验进行了比较,得出在小样本情况下讨论参数的最短区间估计和最佳双边检验是必要的。     

扩展线性时段不变式的模型检验研究进展

扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.     

基坑监测控制网的稳定分析

基坑监测控制网的点位差异是由于观测误差引起的,还是由位移引起的,必须对其进行区分。简要介绍了整体稳定性检验的平均间隙法、单点位移稳定性的间隙分块法、限差法和检验法,并结合具体的实例进行了分析,得出了有益的结论。     

中国人民公安大学司法鉴定中心成立

中国人民公安大学司法鉴定中心依托学校师资力量和科研资源面向全国公安、政法机关开展痕迹检验鉴定（含交通事故鉴定）、理化检验鉴定、文件检验鉴定、声像资料检验鉴定、电子证据检验鉴定和心理测试等鉴定业务。     

云降水精细分析系统（CPAS）系统在吉林省人工增雨业务中的应用

本文以2016年4月1日至2日的降水过程为例,按照人工增雨作业流程的五个阶段,介绍CPAS系统在飞机增雨作业过程中的应用。研究表明,CPAS在整个增雨流程中都有重要的应用,实时轨迹叠加雷达,能更好地指挥飞行的区域路线,增雨量计算与对比区选定,能有效计算出增加的雨量,为下一次增雨计划提供更多的科学依据。     

直螺纹连接质量控制研究

本文基于笔者多年从事直螺纹连接的相关工作经验,以其中的质量控制为研究对象,探讨了施工中如何保证直螺纹连接的质量,论文是笔者长期工作经验的总结,具有较高的实践指导性,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。     

电梯检验费用管理事项探讨

改革开放三十一周年来,人们的生活水平发生了翻天覆地的变化。越来越多的高楼大厦平地而起,高层建筑房地产行业的兴起使电梯的使用得到了普及,因此如何安全的开展好电梯的检验以及相关费用的管理成为了业内关注的热点问题,本文主要根据个人的实际工作经验对电梯检验费用管理事项展开探讨,希望能够引起学者的共鸣。