狭义相对论与钟慢效应关系再认识--纪念狭义相对论创立110周年

从爱因斯坦建立狭义相对论的科学方法与狭义相对论理论的逻辑构成入手,综合运用A· P·弗伦奇在国际著名的改革教材“美国麻州理工学院物理学导论丛书”第二卷《狭义相对论》中的研究观点和闵可夫斯基的四维时空理论,阐明狭义相对论与钟慢效应之间的正确关系。     

复杂系统平均寿命的估计和性质

根据已知的基于最小路径或最小割集复杂系统可靠度函数的解析表达式,给出当子系统寿命分布服从指数分布时,系统平均寿命的表达式.利用这一表达形式,在子系统寿命变量服从指数分布条件下,分别就完全数据和截尾数据两种情况,给出了系统平均寿命的估计,并对估计性质进行了研究.并在完全数据下,给出了估计的渐近分布.     

非平稳时序循环平稳趋势提取与机械故障诊断

在简单介绍非平稳时序模型周期趋势项提取方法的基础上，提出了机械故障诊断和分析方法，该方法利用旋转机械出现故障以后所呈现的循环平稳特性，使用循环平稳分析方法剔除非平稳时间序列模型中的趋势项，然后建立平稳时序模型，用该模型进行机械故障诊断分析。并运用仿真和实例对方法的正确性进行了验证。     

橡胶冲裁模具刃口间隙的探讨与研究

阐述了合理选择丁基橡胶瓶塞冲裁模具的刃口间隙是提高模具使用寿命的关键，介绍了模具刃口间隙的确定方法。     

软起动器和变频器的时分多机复用技术及其应用

本文提出了时分多机复用的概念，并对其技术和应用加以具体说明，展现了该技术良好的应用前景。     

12Cr2MoWVTiB钢焊后热处理工艺改进的研究

研究了焊后热处理保温时间对12Cr2MoWVTiB钢的显微组织及力学性能的影响。结果表明,在其它条件不变的情况下,焊后热处理保温时间由原来1.5h缩短为1h,既可以满足其组织性能的要求,又缩短了生产周期,降低了生产成本。     

基于“投资-效益”准则的RC桥墩全寿命总费用

基于性能的抗震设计于20世纪90年代兴起以来,目前在土木建筑方面的文献较多,但是关于桥梁的研究成果较少。采用五级钢筋混凝土桥墩结构性能水平,以钢筋混凝土桥墩墩顶位移角为量化指标,建立了钢筋混凝土桥墩性能水平与钢筋混凝土桥墩位移角限值之间一一对应的关系。将地震危险性分析与最优设防烈度结合起来,建立基于投资-效益准则的RC桥墩全寿命总造价计算的通用框架。     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

高效动态存储再分配方案与实现

为提高大小和数量都不确定的数据动态存储的空间利用率和处理速度,针对常规系统动态存储分配存在的问题,提出一种高效的动态存储再分配方案。通过减少系统动态存储分配的执行次数,在有效提高存储空间利用率的同时,提高存储空间动态分配的速度,给出动态存储再分配方案的具体实现算法,用实际数据对其性能进行测试。测试结果表明,该方案能节省36％至75％的系统存储空间,分配速度提高了20至50倍。     

基于高能效及公平性的移动设备定位算法

通过分析校园师生基于GPS的真实活动轨迹,以及何种算法才最适合具有自私性的移动用户展开合作,提出一种高能效及用户公平定位技术.通过采用代理设备合作思想,提出一种集中式最优算法,在保证固定精度界限和设备公平的基础上,实现移动设备GPS时间平均功率最小化.通过控制退避时间和GPS关闭时间,提出一种分布式准最优算法.最后,基于多种拓扑结构进行全面的仿真实验,验证了算法的高能效性和公平性.