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倍。     

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

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

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

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

Dynamic oxide voltage relaxation spectroscopy

A new method for trap characterization of oxidized silicon is described. The Dynamic Oxide Voltage Relaxation Spectroscopy (DOVRS) is an improved version of the formerly proposed Oxide Voltage Relaxation Spectroscopy (OVRS) technique which applies a periodic long duration constant current for tunneling injection. It has been demonstrated that the new technique can be used not only to separate and identify the oxide trap from interface trap, but also to separate and determine the centroid from the oxide trap density generated in the MOS system by the tunneling current stress. In the pulse constant current mode, the OVRS measurement can be completed instead of using the double current-voltage technique. Thus the new method results in more accurate and quicker measurements of the oxide trap centroid. Analytical expressions for computing the paramaters of the interface and oxide traps are derived. The effect of the channel carrier mobility on the spectroscopy is also considered. Two types of oxide and two types of interface traps were observed at a pulse constant Fowler-Nordheim current stress by the new method of DOVRS     

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

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

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

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