对某起钢桁架塌落事故的原因分析

通过对某起钢桁架塌落事故的调查分析,查明事故发生的原因主要是由于设计不当造成的,但施工的粗制滥造也有着不可推卸的责任。     

采用听觉外周模型改进电子耳蜗CIS方案

提出了一种改进的CIS电子耳蜗的脉冲刺激方案。利用听觉外周模型产生一种符合听神经发放机制的刺激脉冲序列来刺激电极,代替传统的均匀交替刺激方案,不仅可以通过包络而且可以通过脉冲间隔来传递语音信息,确保了语音的空间编码和时间编码。听觉仿真实验表明,相对于其他两种方案,方案可以有效地传递更多更丰富的语音信息,在汉语声调识别实验中至少提高19.2%识别率,在可懂度的对比实验中具有最高可懂度。     

一个用于指针程序验证的自动定理证明器的设计与实现

对高可信软件需求的增加使得指针程序的验证成为近期的研究热点.指针逻辑作为Hoare逻辑的扩展,可以对指针程序进行精确的分析.介绍一个针对指针逻辑的自动定理证明器的设计和实现,描述了一些算法.实验结果表明,该定理证明器可以完全自动的证明用类C语言编写的关于单链表,双链表和二叉树的指针程序的验证条件,并生成机器可检查的证明.     

高锰钢铸件的晶粒度对机械性能的影响

本文对铸造高锰钢(ZGMn13)的晶粒度对机械性能的影响进行了试验研究。试验结果表明,随着晶粒度变细,抗拉强度和延伸率相应有所增高,而冲击韧性略有下降,但影响不显著。单从机械性能角度来看,可以不必规定晶粒度的要求。     

“双碳”目标下的抽水蓄能电站发展研究

“双碳”目标下，清洁能源得到快速发展，由于风电和光电具有间歇性和不稳定性，直接并入电网对电力系统的冲击较大，为提高电力系统的稳定性和安全性，应建设与风电和光电相配套使用的抽水蓄能电站。抽水蓄能电站建设周期长，对于2030年抽水蓄能电站投产装机容量1.2亿kW的目标，仅依靠常规建设抽水蓄能电站对目标的实现有难度，本文总结了几种利用国内现有资源改建抽水蓄能电站的方案，对于抽水蓄能电站的跨越式发展具有重要的意义。     

浅谈高压线路微机保护装置的功能与原理

本文介绍了单片微型计算机的工作原理,阐述了该类保护装置的结构特点与功能。