基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。     

壳聚糖固定化风味蛋白酶的制备及其酶学特性

研究了球形交联壳聚糖固定化风味蛋白酶的制备工艺及其酶学特性.以壳聚糖为载体、戊二醛为交联剂,采用共价交联法制备固定化风味蛋白酶的较适条件为ω(壳聚糖)=2.5％、ω(NaOH) =3％、ω(戊二醛)=0.5％,交联时间6h,载体中∞(酶)=40 mg/g,于35℃、pH值5.5条件下固定化反应10h.固定化后,风味蛋白酶较适反应温度从50℃提高至70℃,较适pH值从7.0提高至8.0,且可在更宽温度与pH值范围内保持较高的酶活力.固定化风味蛋白酶具有良好的储存稳定性和操作稳定性,可反复多次使用,适宜于在工业生产中推广应用.     

试述国有企业低效率综合症及其对策

在市场竞争日益激烈的情况下，总结当前国有企业低效率的原因，提出加强企业管理的观点和对策，以提高国有企业经济效益，促进企业健康发展。     

稳定模糊谓词

引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．     

几种主要氧化物对神华煤灰灰熔点的影响

选取煤灰的主要成分SiO2、Al2O3、CaO、Fe2O3、Na2O模拟神华煤灰，利用国标和灰熔点测定仪测定弱还原气氛下各种配比的熔融特征温度，表征模拟煤灰的熔融性；分析各个化合物对灰熔点的影响，从而改变煤熔点，满足不同的生产需求。     

基于交互的环境近似度量模型

在一些关键领域中,需要构造与实际环境非常相近的实验环境来运行或测试软件的性能,由此需要计算环境的近似程度。基于进程代数理论,建立软件运行环境近似程度的度量模型。首先在完整迹语义的基础上,建立软件与环境交互程度的度量刻画。然后在交互度量基础上,建立环境之间近似程度的度量模型,讨论环境度量的代数性质。     

氟苯尼考人工抗原的制备与鉴定

将氟苯尼考（FFC）进行化学修饰引入羧基活性基团,合成具有半抗原结构特征的氟苯尼考半琥珀酸醋（FFC—HS）．采用混合酸酐（MA）法将FFC—HS与牛血清白蛋白（BSA）偶联合成人工抗原BSA—FFC—HS．通过紫外（UV）、凝胶电泳（SDS—PAGE）进行鉴定,证明BSA—FFC—HS偶联成功,得到了结合比较好的人工抗原,为进一步制备抗FFC抗体提供了良好的免疫原．     

棱果刺通草化学成分的研究

云棱果刺通草(Trevesia palmata(Roxb.)Vis.var.costata Li)枝干用甲醇提取,利用硅胶柱层析和Sephadex LH-20柱层析进行化学成分分离纯化,从中分离得到4个化合物,根据现代波谱技术和理化性质对化合物结构进行鉴定,鉴定结构为:balanophnin(1),β-sitosterol(2),daucosterol(3)和3-hydroxystigmasta-5,22-dien-7-one(4).均为首次从刺通草属植物中分离得到.     

碱性蛋白酶水解螺旋藻制备抗氧化活性肽的工艺优化

为了提高螺旋藻肽的抗氧化能力与收率,采用单因素实验和响应面法对碱性蛋白酶水解螺旋藻粉制备抗氧化活性肽的工艺条件进行优化。实验结果表明,与木瓜蛋白酶、胰蛋白酶、风味蛋白酶相比,碱性蛋白酶对螺旋藻粉的水解能力最强,其最适水解条件为55.46℃、pH值为 6.71、固(g)液(mL)比为1∶10.83。在此条件下,酶解240min,螺旋藻肽的收率为58.50%,与优化前相比,提高了15.61%。所制备的螺旋藻肽具有较强的抗氧化能力,在质量浓度为0.86g/L时,其DPPH·清除能力为77.60%,与优化前相比,提高了7.62%。     

魔芋低聚甘露糖对小鼠肠绒毛形态和免疫器官指数的影响

探讨了魔芋低聚甘露糖(Konjac mannose oligosaccharides,KMOS)对小鼠肠绒毛形态及主要脏器指数的影响.取健康成年雄性昆明种小鼠50只,随机分为5组,每组10只,每天灌胃1次,每次灌胃KMOS生理盐水溶液0.2mL,剂量分别为0(对照组)、650、1 400、3 000和6 500mg/kg.连续灌胃30d后处死小鼠,取其回肠和盲肠段,光镜测量肠绒毛直径和高度,并测定其胸腺和脾脏指数.结果表明,各组动物体重相较给药前均显著提高(P0.05),但无明显组间差异(P0.05).与对照组相比,650、1 400和3 000mg/kg组肠绒毛直径和高度无明显改变(P0.05),6 500mg/kg组回肠绒毛直径和高度(P0.01)显著增加,盲肠绒毛直径也有增加趋势(P=0.061);同时,1 400、3 000和6 500mg/kg组小鼠的脾脏指数较对照组显著增加(P0.05).以上结果说明KMOS可促进小鼠回肠和盲肠绒毛生长,并增强其外周免疫器官功能.