变频谐振装置耐压试验等效性研究

鉴于５００ＫＶ带电作业工具整体耐压试验在本地进行时需启用变频谐振装置，就此论述了变频谐振装置用于带电作业工具及母线瓷瓶耐压试验的等效性。     

第六届全国钨钼学术交流会议

由中国钨协、中国有色金属学会、中国电子学会、中国照明电器协会联合召开的“第六届全国钨钼学术交流会”于1992年11月3日至7日在杭州市举行。出席会议的有协会、学会领导,从事钨     

对D29型汽轮机低压缸轴承振动的分析与处理

对Ｄ２９型汽轮机低压缸轴承振动的分析与处理陈旱章（四川电力建设三公司，内江市６４１００５）１汽轮机结构四川宜宾黄桷庄电厂一期工程规模为２Ｘ２００ＭＷ燃煤机组，汽轮机选用的东方汽轮机厂产的Ｄ２９型汽轮机。它是该厂Ｄ０９型汽轮机的改型机组。由原来的三缸三...     

在NewEra中避免无模式子窗口重复打开的几种方法

本文首先简要介绍了ＭＩＳ开发中无模式子窗口存在的必要性及用ＮｅｗＥｒａ作开发工具实现此功能时存在的缺陷，然后列举三种解决办法并论述各自的优缺点，最后作一简要总结     

预测气体—幂律液体水平段塞流的持液率

以水平管中气体－非牛顿幂律液体两相流动的持液率进行了研究，给出的段塞流持液率计算式与实验结果吻合较好。     

水力清砂管道防冻

沈阳重型机器厂铸钢车间水力清砂,在长期使用中效果很好,但因地处北方,寒冬漫长,气温最低达零下25～26℃。且在露天作业,泵停后,工作管道内残水冻结,使用时造成设备故障。为此,曾出现过“半年使用半年闲”的情况。为充分发挥设备的作用,工人师傅动脑筋想办法,先后采用过通蒸汽、压缩空气等办法,均未解决问题。后来,在管道内加装了一个压缩空气     

基于重写规则法的形式验证技术

<正> 一、引言 验证逻辑设计正确性的传统方法是模拟(Simulation),然而随着数字电路规模和功能扩大,模拟方法已不能保证设计的正确性。与此相对,形式验证(formal verification)方法通过对电路结构的形式进行检查和比较来完成验证。它不需要模拟,因而,避开了模拟信号指数上升的问题。形式验证是一个静态分析,它比动态的逻辑模拟具有更大的潜力。 形式验证的一种方法是将其视为自动定理证明:已知一些公理和已成立的引理,证明某一表达式与另一表达式是等价的。美国Illinois技术研究所的A.S.Wojcik用AURA自动定理证明系统进行了逻辑设计的形式验证,AURA用归结原理作自动定理证明,由于归结法会产生大量子句,因此,证明的效率不是很高。     

氮光谱检漏仪

本文提出了一种新型的真空检漏仪器——氮光谱检漏仪的实验结果。它利用检测潘宁放电光谱作为一种快速诊断真空系统质量及检漏的手段。在10~(-4)托压强下,实验测量并比较了各种气体的放电光谱。在可见光区域,氮存在三条强的光谱线。计算表明它们分别是氮离子中的电子从上能级V＇=0到下能级V″=0,1,2的跃迁光谱线。选择4278埃的氮光谱线作工作光谱线,测得了各种条件下油扩散泵系统中氮光电流及总光电流的比值。在现有条件下以氧作为检漏探索气体时,该检漏仪最小可检漏率≤2.8×10~(-7)托·升/秒,响应时间为4秒。