Constructive Sets in Computable Sets

The original interpretation of the constructive set theory CZF in Martin-Loef‘s type theory uses the‘extensional identity types’.It is generally believed that these‘types’do not belong to type theory.In this paper it will be shown that the interpretation goes through without identity types.This paper will also show that the interpretation can be given in an intensional type theory.This reflects the computational nature of the interpretation.This computational aspect is reinforced by an ω-Set moel of CZF.     

Clinical features of primary and secondary atypical mycobacteriosis

A clinical investigation was carried out in 39 patients with atypical mycobacteriosis (AM). The patients at our hospital diagnosed as having AM during an 11-year period from 1981 to 1991 were reviewed in this study. The incidence of AM among all of mycobacterial infections has been increasing since 1988. The atypical mycobacteria detected included M. avium complex (MAC) in 79%, M. kansasii in 26%, and other organisms in 5%. Patients who had primary infection without underlying respiratory disease were compared with those who had secondary infection. In secondary infection, MAC was detected in the sputum of a high percentage of patients and was positive for more than 6 months despite therapy. Gamma globulin levels were also increased in patients with secondary infection. Cell mediated immunity was examined by the DNCB reaction and the detection of CD4- and CD8- positive T lymphocytes. The DNCB skin reaction was positive in 6 out of 26 patients with secondary infection. The percentage of CD8- positive T lymphocytes was higher in patients with secondary disease. Fischer's ratio (indicating the balance of plasma amino acids) was also examined as an index of the nutritional status. It was significantly lower in secondary infection compared with primary infection. Moreover, secondary infection was associated with a lower positive rate for the DNCB skin reaction and a lower Fischer's ratio when compared with pulmonary tuberculosis. Thus impairment of cell-mediated immunity, malnutrition, and a poor prognosis were significantly more common in secondary infection compared with primary infection.     

SiH4激光等离子体内H谱线的线型研究

本文利用OMA-Ⅲ系统测量了脉冲TEA CO_2激光诱发的SiH_4等离子体发光谱内H巴耳末系的H_α、H_β和H_γ线的线型及线宽。通过理论及实验分析,认为这些谱线的主要加宽机制为Stark加宽。由实验线型和理论线型的拟合得到等离子体的电子温度T≈40000K和电子密度N≈10~(17)cm~(-3)。     

�¸�������в������Ȼ�����꾮�ٶȵ�;��

本文针对天然气井提高钻井速度问题,总结分析了盆地中部井身结构,水力、机械参数,聚合物钻井液,正注反挤固井等工艺技术对该地区钻速的影响。指出提高天然气井钻井速度,必须搞好系统工程,形成配套技术。     

^60Coγ射线对刚地弓形虫缓殖子感染性的影响

应用不同剂量的~(60)Coγ射线照射含NT株弓形虫包囊的鼠脑匀浆后,以0.4％胰蛋白酶液消化,使弓形虫缓殖子从包囊中释放出来,并用生理盐水作连续10倍稀释,使成为含不同数量缓殖子的悬液,将此悬液接种小鼠,用生物检测方法确定其感染性。另设未经照射处理的缓殖子悬液感染小鼠的对照组。结果表明,γ射线0.55kGy剂量为控制鼠脑中NT株弓形虫感染性的最小有效剂量。γ射线0.1kGy剂量对弓形虫缓殖子感染性无明显影响,而0.45kGy照射后,其感染性较前者下降了10~4倍。     

机载导弹逼近红外告警系统发展现状

为了有效对付地空、空空导弹威胁、国外在５０年代中期就开始研制红外告警设备。目前已广泛装备部队。综述了导弹逼近红外告警系统发展现状。     

氟挥发对氟化物乳白玻璃瓶罐生产的影响

氟挥发对氟化物乳白玻璃瓶罐生产的影响陆德明，周俊梅，付希英（山东轻工业学院２５０１００）（山东德州玻璃厂２５３０１９）ＴｈｅＩｎｆｌｕｅｎｃｅｏｆＦｌｕｏｒｉｎｅＶｏｌａｔｉｌｉｚａｔｉｏｎｏｎＰｒｏｄｕｃｔｉｏｎｏｆＦｌｕｏｒｉｄｅｏｐａｌＧｌａｓ...     

等距码的对偶距离分布及其性质

本文主要讨论了等距码的对偶距离分布及其性质，然后利用这些性质将［１］中的某些结果推广到ｑ元等距码情形，并得到了其对偶距离分布的递推关系式，最后，本文给出了ｑ元等距码的码字数目的一个上界。     

气相处理对碳纤维表面及其复合材料性能的影响

本文对气相表面处理碳纤维的新工艺进行了系统研究。处理后的碳纤维强度、模量不下降,且其表面能、表面化学官能团含量明显增加;表面微晶结构变小,与环氧树脂复合后,层间剪切强度(LLSS)提高47%左右。本文还对复合材料断口的形态结构进行了分析,说明这种表面处理方法能有效改善碳纤维增强环氧树脂复合材料(CFRP)的界面粘结。     

深过冷熔体激发快速定向凝固

阐述了深过冷的方法，深过冷的遗传性，深过冷度的理论极限以及深过冷熔体激发发快速定向凝固的试验方法及其凝固过程，给出了深过冷熔体（Ｃｕ－５ｗｔ％）激发快速定向凝固与铸态试验激发快速定向凝固的初步试验结果。