结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

计算机控制系统Z域根轨迹数字仿真技术的研究

讨论了计算机控制系统的离散域设计、Ｚ域根轨迹的数字仿真技术,对根匹配、收敛试探法进行了较详细的理论分析,给出了具体算法思想,并采用Ｃ语言编程实现。     

双端热透镜Z型固体激光腔图解分析

采用传播圆图解方法研究了具有双端热透镜的Z型折叠固体激光腔的工作特性,得到了谐振腔各腔臂中的光模参数bt1,bt2,b2及光斑尺寸wt1,wt2,w2随激光介质的热动力参数1/ft1及1/ft2的变化关系;结果表明通过合理选择参数可对腔的热稳定范围及基模光斑尺进行调控,其关键参数是对称的第1、3臂的长度l01 f1(或l02 f2),其值越小,腔的热稳定区越宽,同时激光晶体处的基模光斑越小.第2臂中的参数δ对热稳区宽度没有明显影响,但δ值越大,对应的光斑半径wt1及wt2也越大.     

橙黄瑞香的化学成分研究

 运用中压柱色谱和高效制备液相色谱对橙黄瑞香的化学成分进行分离纯化,根据理化性质和波谱数据鉴定所分离化合物的结构,并对所得到的化合物进行抗前列腺癌活性测试.从橙黄瑞香茎皮甲醇提取物中分离得到8个单体化合物,包括4个黄酮类化合物和4个香豆素类化合物,鉴定为为瑞香苷（1）、瑞香素（2）、荭草苷（3）、异荭草苷（4）、槲皮素（5）、芫花素（6）、西瑞香素（7）、乙酰伞形花内酯（8）,所有化合物均为首次从该植物中分离得到.用MTT法对这8个化合物进行体外抗前列腺癌活性测试,结果显示4个香豆素化合物对两个前列腺癌细胞株PC-3M和LNCaP均有一定的抑制作用,其中西瑞香素（7）显示最强的活性,对PC-3M和LNCaP的IC50值分别为8.1,13.5μg/mL.     

干扰长链非编码RNA Z38表达对鼻咽癌细胞增殖的影响

新型的长链非编码RNA Z38已证实高表达于肿瘤组织,低表达于癌旁组织,属于癌基因,但其功能和作用机制尚需深入分析。研究目的在于探讨稳定干扰长非编码RNA Z38对鼻咽癌细胞HNE1、5-8F功能和机制的影响。采用慢病毒包埋Z38-shRNA转染进人鼻咽癌细胞HNE1与5-8F,用嘌呤霉素筛选出稳定的干扰细胞系,利用相对实时荧光定量的方法检测干扰效率;使用MTT、和平板克隆集落形成实验验证其对HNE1、5-8F细胞增殖的抑制作用;Transwell检测细胞迁移的能力;采用Western Blot检测干扰Z38表达对抑癌因子P~(53)、P~(21)表达水平的影响。结果表明,慢病毒干扰鼻咽癌细胞显著降低了Z38基因表达水平,并且干扰Z38基因表达后使细胞增殖能力、细胞集落形成能力降低,穿过Transwell小室的细胞数降低,抑癌因子P~(53)、P~(21)表达量上调。由此推测,Z38基因可能为鼻咽癌细胞的癌基因之一。     

牙鲆fibrinogen β基因的克隆及表达分析

 通过mRNA差异显示发现一个鳗弧菌刺激后在牙鲆肝脏中表达量显著增加的片段,结合RACE技术得到了该差异片段1 856 bp的全长cDNA,包含一个1 479 bp的开放阅读框,编码的蛋白质含有fibrinogen β的C末端签名序列。同源性分析表明其氨基酸序列与鱼类以及哺乳类的fibrinogen β都具有高度的相似性,因此可断定此基因为牙鲆的fibrinogen β基因(GenBank登录号为EF581895)。RT-PCR分析表明,在注射鳗弧菌后,该基因在肝脏、肾脏、脾脏、腮、肠、心脏中的表达量呈现逐渐增加的趋势。推测其可能在鳗弧菌侵染中,起到了促进伤口愈合的作用,或通过和其他细胞因子结合在防御细菌的侵染中发挥免疫调节作用。     

基于Z39.50的在线数字图书馆(DLs)互操作模型的设计

提出了一个基于Z39.50实现在线数字图书馆(DLs)互操作的实例,使用户能够一次检索多个DLs。     

奇数阶常微分方程的反周期解

考虑奇数阶常微分方程的反周期问题, 把问题先转化为求算子的不动点问题, 再利用拓扑度理论, 证明算子不动点的存在性, 从而得到所考虑问题解的存在性, 最后证明了解的惟一性.     

灰玫瑰青霉产生的抗菌物质AF1的分离与活性研究

从灰玫瑰青霉Penicillium griseoroseum发酵液中提取到1种具有抗菌活性的物质AF1,对其性质进行初步研究。发酵液经纱布过滤,离心后经5?ku超滤膜超滤,经Sephadex LH 20和HPLC分离纯化得到纯净物质AF1,并对其生物学活性进行研究。结果证明:AF1对β 内酰胺酶和酸碱稳定,对热有较好的耐受性,不是青霉素类抗菌物质;相对分子质量约为1?465,结构中含有糖和氨基特征,对金黄色葡萄球菌的MIC为80?μg／mL,对抗药金黄色葡萄球菌有效且不容易诱导细菌抗药性产生。     

腹腔注射板蓝根多糖对中华鳖肝脏抗氧化酶活性和丙二醛含量的影响

研究了腹腔注射板蓝根多糖对中华鳖肝脏抗氧化性的影响。实验共分4组：每天注射1.5?mg/只组、3?mg/只组、6?mg/只组和注射生理盐水对照组,连续注射3?d。结果表明：3个板蓝根多糖处理组均能提高SOD、CAT、 GSH PX的活性,降低MDA的含量,但存在着差异。与对照组相比,3个处理组均能显著提高CAT的活性,而且随注射剂量的增多,活性增强。3?mg/只、6?mg/只剂量组能显著增加GSH PX活性,显著降低MDA含量,但3?mg/只?剂量组影响最大。而1.5、3?mg/只剂量组对SOD的影响不显著,6?mg/只剂量组影响最大而且差异极显著。提示板蓝根多糖能增强中华鳖肝脏的抗氧化性。