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.     

A study into the effects of protein binding on nucleotide conformation

In this study, we examine the effects of binding to protein upon nucleotide conformation, by the comparison of X-ray crystal structures of free and protein-bound nucleotides. A dataset of structurally non-homologous protein-nucleotide complexes was derived from the Brookhaven Protein Data Bank by a novel protocol of dual sequential and structural alignments, and a dataset of native nucleotide structures was obtained from the Cambridge Structural Database. The nucleotide torsion angles and sugar puckers, which describe nucleotide conformation, were analysed in both datasets and compared. Differences between them are described and discussed. Overall, the nucleotides were found to bind in low energy conformations, not significantly different from their 'free' conformations except that they adopted an extended conformation in preference to the 'closed' structure predominantly observed by free nucleotide. The archetypal conformation of a protein-bound nucleotide is derived from these observations.     

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

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

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

A monoclonal antibody selected for probing the folding of staphylococcal nuclease and its N-terminal fragments

PURPOSE: Nitric oxide (NO) is generated in mammalian tissue by the conversion of L-arginine to L-citrulline. The reaction is catalyzed by nitric oxide synthase (NOS). NO has been suggested to have a dual role in tumor biology with both antitumor and tumor promoter activity. Furthermore, it has been proposed that NO contributes to interleukin-2-induced antitumor activity. Since interleukin-2 is used in the treatment of renal cell carcinoma (RCC) it was of interest to study the NOS activity in the human kidney and in RCC and its correlation to tumor grade. Furthermore, the effect of cytokine treatment on NOS activity and the effect of NO donor application was studied in cultured cells. MATERIALS AND METHODS: The effect of cytokine treatment on NOS activity and the effect of NO donor application on cell proliferation was studied in cultured human proximal tubular cells and in RCC cell lines HN4 and HN51. NOS activity was measured by the L-arginine to L-citrulline conversion assay. RESULTS: Calcium-dependent NOS activity was found in all non-malignant kidney tissues (486+/-63 pmol. min(-1) g(-1) tissue). The activity was significantly lower in RCC (24+/-6 pmol. min(-1) g(-1) tissue) and correlated with tumor grade; thus high grade tumors showed lower activity than low grade tumors. Calcium-independent NOS activity was not detected in non-malignant kidney tissue or in RCC tissue. In cultured proximal tubular cells and RCC cell lines HN4 and HN51, cytokine treatment induced a marked increase in NOS activity and NO exerted cytostatic effects on these cell lines. Conclusions: The NOS activity was higher in non-malignant kidney tissue than in RCC tissue and was inversely correlated with tumor grade. Furthermore, cytokine treatment induced a marked increase in NOS activity and NO exerted cytostatic effects on cultured proximal tubular cells and RCC cell lines.