格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

四川锦屏山地区的构造应力场研究

一个已经破裂的岩沐在晚期构造应力场中所产生的变形主要是沿老断裂面滑移为其特征。系统 测量锦屏山地区微断层的位移要素,并经计算获得四期新构造应力场的平均应力张量,其中 Nw一sE向应力场和NE一sw向应力场为该区的两期主要构造应力场。      

多微机系统结构在数控系统中的应用

不文通过激光切割机和多坐标联动数控铣床两个应用实例,分析介绍了多微机系统结构在实时 控制系统巾的应用,说明使用低档微机或微处理器组成多微机实时控制系统,具有低造价、模 块化和高性能的优点,是实时控制系统的一种理想组成结构。      

用双缺口板试件估算锅炉汽包疲劳裂纹形成寿命的研究

本文提出了用双缺口板试件在常温下的疚劳裂纹形成寿命,估算锅炉汽 包疲劳裂纹形成寿命的新方法。文中用弹塑性有限元法对缺口试件进行 了分析,还用局部应力一应变法对缺口试件的裂纹形成寿命进行了估算, 其结果与试验寿命相差在系数为2的范围以内。同时还研究了变幅低周 疲劳下缺口试件和锅炉汽包的损伤,并考虑了平均应力的影响。      

冲击荷载作用下饱和软粘土残余变形计算模式

在试验基础上建议了一个预测冲击荷载作用下饱和软粘土残余变形的计算模式,该模式考虑了周围压力、冲击能大小、冲击次数和冲击遍数等几个因素．对计算模式的验证表明,预测值与实测值吻合较好．该模型可用于动静结合排水固结法处理软基时的变形计算．     

VF-Sepic-PFC电路的设计

介绍了ＶＦ－Ｓｅｐｉｃ－ＰＦＣ电路的工作原理,提出了其主电路和控制电路的设计方法,样机设计和实验证明该方法的正确性。与通用的Ｂｏｏｓｔ－ＰＦＣ电路相比,ＶＦ－Ｓｅｐｉｃ－ＰＦＣ电路无需专用ＩＣ,控制电路设计和调试简单;输出电压可以高于也可以低于输入电压峰值,易于实现输入输出隔离。     

三模冗余结构微机联锁系统的安全度分析

脸用马尔可夫模型,在考虑故障覆盖率影响的情况下,对三模冗余结构微机联锁系统的安全度进行详细的推导,得出了该系统安全度的定量表达式,分析了在典型情况下的系统安全性能人结果结合实际应用进行了有意义的讨论。     

兔髂动脉内膜受损后增生和c-myc基因的表达

研究兔髂动脉内皮剥脱时血管壁细胞的反应特点和 c- myc基因的表达规律。用标准血管成形导管髂动脉球囊损伤 1 2只家兔的右髂总动脉后 ,分别于 3、7、40 d处死动物 ,用透射电镜观察术后 3d平滑肌细胞 ( SMC)超微结构的变化 ,光镜观察术后血管壁细胞的反应特点和 c- myc蛋白表达规律 ,同时对术后 40 d动物行血管造影。结果发现 :术后 3d兔髂总动脉中层 SMC由收缩型转变为分泌型 ,并向内膜下迁移 ,可见管腔内有血栓形成 ,1周时弹力板不完整 ,中膜 SMC排列紊乱 ,术后 40 d增生的 SMC和细胞外基质形成新生内膜 ,血管造影显示管腔狭窄 5 0 %～ 80 % ;球囊损伤段髂总动脉新生内膜 c- myc蛋白免疫组化染色为阳性 ,而对照组为阴性。结论 :球囊损伤髂动脉后可引起 SMC迁移、增生 ,其和细胞外基质一起形成新生内膜 ,管腔狭窄 ;SMC增生和 c- myc基因表达密切相关。     

人膀胱移行细胞癌细胞株BLZ-211的生物学特性

以膀胱移行细胞癌患者的肿瘤标本为材料建立了１株克隆性膀胱癌细胞株ＢＬＺ－２１１,体外培养３年多,传代１５０次,没有支原体污染。生物学特性鉴定：光镜和超微结构显示该细胞具有膀胱移行细胞癌细胞特征。细胞接种裸鼠形成的移植肿瘤与手术标本病理形态一致。染色体众数６３,有特异性的ＬＤＨ同功酶谱,有ｐ１６基因的正常扩增条带。结果提示ＢＬＺ－２１１细胞株是一个研究人膀胱移行细胞癌细胞生物学的实用模型。     

用表达重组TSH受体的CHO细胞测定Graves'甲亢病人血清中的TSAb

用表达重组人ＴＳＨ受体的中国仓鼠卵细胞（Ｃｈｉｎｅｓｅｈａｍｓｔｅｒｏｖａｒｙｃｅｌ,ＣＨＯ）细胞代替传统的ＦＲＴＬ－５细胞测定Ｇｒａｖｅｓ甲亢病人的血清甲状腺刺激抗体（ＴｈｙｒｏｉｄＳｔｉｍｕｌａｔｉｎｇＡｎｔｉｂｏｄｙ,ＴＳＡｂ）水平,方法相对简单,特异性强,敏感性高,未治疗的Ｇｒａｖｅｓ病人９２．７％阳性,治疗后迅速下降,恢复期的阳性率为３５％,该方法对Ｇｒａｖｅｓ甲亢的诊断、治疗后效果的判断有重要意义。