ZnO—MgO—Al2O3陶瓷性能研究

ＺｎＯ－ＭｇＯ－Ａｌ２Ｏ３陶瓷是一种复合烧结体，其主晶相为ＺｎＯ与ＺｎＡｌ２Ｏ４，且均以晶粒存在。ＭｇＯ能调节电阻温度系数，使之由负变为正。Ａｌ２Ｏ３能调节电阻率。慢的降温速度能提高线性及耐浪涌能量，降低电阻温度系数。     

具有斜接管的球形压力容器的内压低循环疲劳强度

1.绪言 火力、原子能等的发电机器与化学装置所用的压力容器,近年来其设计应力越来越倾向提高,同时,开车停车的次数也增多,压力容器承受交变内压。由于结构不连续部位特别在接管连接部位会出现很大应力,应变循环的出现,使这部分出现低疲劳强度问题。     

用多丝正比室测量低能X射线

我们用一个2mm丝距的正比室对X射线的能响应进行了测量,并用一个侧窗多丝正比室对X射线在多丝室工作气体中的吸收系数进行了测量及讨论。得到的一些实验结果可供设计制作多丝室时参考。     

医用微波注入器

前言近几年来,国内外同行对利用微波局部加热治疗肿瘤的技术进行了探索.实验证明,当温度升高到42～45℃时,肿瘤细胞对非电离辐射的敏感性大大提高,于是肿癌组织要比正常组织对辐射更为敏感,它减低了酶的活性,抑制细胞损伤后DNA的修复能力.同对又由于肿瘤组织的脉管相对较少,肿瘤患区的热量很易积累.此外微波对细胞膜的通透性、肿瘤生化、pH值、免疫指标等都产生一定影响,因此微波热疗可以选择性地杀死肿瘤细胞.如果微波热疗和放疗、化疗正确地配合,效果会更好,已引起人们的普遍关注.超短波热疗容易引起脂肪层的过热,所需辐射功率大,范围也难以控制.而在微波频率的高端,由于在组织中穿透深度相应减小,又难以到达深部组织,即使用10厘米波段的微波,有效透深也只有2厘米左右.因此非插入式天线,虽然在使用上是方便的,但是很难将微波功率导入深部组织和限制功率只进入所需要的     

数据安全性与计算机密码学

一、数据安全问题在现代化社会中,材料、能源、信息(数据)被认为是支撑社会的三大支柱。和材料、能源一样,数据是人们脑力和体力劳动的成果,是社会的重要财富。人们利用数据通信网     

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

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

水力清砂管道防冻

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

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

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