南方红豆杉多糖的含量测定及体外降血糖活性研究

采用水提醇沉法提取南方红豆杉多糖,硫酸-苯酚法测定多糖含量;采用HepG2细胞和α-葡萄糖苷酶作为体外受体模型,研究南方红豆杉多糖的降血糖效果.结果表明:南方红豆杉药材中多糖的含量为1.75％,无水葡萄糖在1.507～13.563 μg/mL内呈良好线性关系,平均回收率97.54％,RSD为1.60％;以二甲双胍和阿卡波糖作为阳性药,南方红豆杉粗多糖对胰岛素抵抗HepG2细胞的葡萄糖消耗具有促进作用,对α-葡萄糖苷酶具有较好的抑制活性,粗多糖抑制活性(IC50 38.61 mg/L)明显高于阳性对照药(IC50 1081.41mg/L),且呈现剂量依赖性.     

瑞士乳杆菌发酵乳对骨密度的影响研究

利用8月龄SD去卵巢大鼠研究瑞士乳杆菌发酵乳对骨密度和骨矿物质含量可能产生的影响。将患有骨质疏松症的大鼠，随机分为5组（每组8只），每天喂一次瑞士乳杆菌发酵乳，对照组饮用水、脱脂乳和普通酸乳，实验观察10周。用双能X射线骨密度测量仪测定骨密度及骨矿物质含量。右股骨用于测量骨密度指标，左股骨测量骨钙含量。瑞士乳杆菌发酵乳相对于水和酸奶而言，能够明显的增加骨密度和骨矿物质的含量，饮用瑞士乳杆菌发酵乳组大鼠的骨密度及骨矿物质含量的平均值较脱脂乳、普通酸奶组高，但统计无显著性差异。用瑞士乳杆菌发酵乳长期喂养大鼠，能明显增加其骨密度、骨矿物质含量和增加骨骼的承载能力，提高骨骼抵抗骨折的能力。     

ASBBR反应器厌氧氨氧化反应稳定性研究

利用已经成功启动的ASBBR反应器,通过不同的进水基质浓度,不同进水亚硝态氮、氨氮质量比和不同冲水比3个因素的交替变化,研究了厌氧氨氧化反应器脱氮效能稳定性的影响.当进水亚硝态氮与氨氮质量比在1～13的范围内变动时,对反应器内厌氧氨氧化反应的脱氮效能几乎没有影响,表明ASBBR反应器具有较高的抗负荷冲击能力.当进水后反应器内亚硝态氮质量浓度大于80mg·L~(-1)时,将导致反应器的总氮去除率下降,并且随着亚硝态氮浓度的增加,脱氯效果会越来越差.同时研究还表明水力冲击不会引起厌氧氨氧化反应器出现微生物流失,但随着水利负荷的增加,厌氧氨氧化细菌时新环境适应时间将会延长,导致相同周期内反应器脱氮效能的下降.     

RE对ZA43合金组织、力学性能及抗磨性的影响

通过RE对ZA43合金进行变质处理,研究了该合金的显微组织、力学性能及抗磨性能。结果表明,在ZA43合金中加入适量RE,能有效地阻止树枝状晶长大,优化组织结构,细化晶粒,使合金的抗拉强度提高20%、硬度提高10%,抗磨性能也大幅度改善。这为进一步改善该合金的力学性能及抗磨性能提供了一条有效途径,从而使锌合金代替铜合金成为可能和现实。     

注塑产品与模具协同设计任务规划算法研究

协同设计支持多功能小组兆同参与一个产品的设计过程,在产品开发的初始阶段,合理的任务规划将有利于协同设计的顺利进行,从而提高设计效率与质量。对协同设计任务规划系统开发的关键技术进行研究,采用模糊设计结构矩阵描述设计子任务的耦合关系,提出了新的模糊排序算法指导设计过程的分解与重组;基于综合能力、兴趣和时间约束分配设计任务,并根据协同设计过程的并行度与耦合度测定,提出了新的协同设计任务调度的时间分配策略。最后以注塑产品及模具协同设计为对象进行了验证。     

基于Java的多线程并发服务器的设计与应用

文章讨论了多线程并发服务器设计与实现所涉及到的相关知识和编程基础,并用Java实现了一个围棋和五子棋多线程并发服务器.五子棋服务器提供的服务是客户端(人)和服务器端(机器)对弈;围棋服务器是为两客户对弈提供一个中间通信平台,围棋客户端是一个模拟棋室,共有4个棋桌和8个座位,能同时有4对棋手对弈并允许多人观看.     

模态逻辑与带变量串空间相结合的协议分析

在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式 表示主体A完成动作P, 是相应的结果,通过主体行为的各种组合并绑定相应逻辑公式,最终推断安全协议的秘密性和可鉴别性。用该方法分析Helsinki协议,能发现其中的安全漏洞Horng-Hsu攻击。     

提高稠油水平井储量动用程度研究及措施

水平井开发已成为油田实现稳定发展的主导技术,然而水平井水平段动用不均严重制约了水平井产能的发挥。通过水平井井温测试资料深入分析水平井水平段的动用状况,从而指导水平井双管注汽、多点注汽、优化配汽器位置等措施实施,提高水平井储量动用程度,发挥了水平井的优势。该技术已累计规模应用1200余井次,指导工艺措施实施增油效果显著。     

基于ATL的公平电子商务协议形式化分析

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。     

大型钢构桥的箱梁和钢桁架制作安装技术

江苏溧阳中关村大道与城北大道交叉口需施工1座弧形钢箱梁和空间扭曲箱型桁架结构的人行天桥,由于2条道路均为区域性交通要道,在施工过程中无法断交,给施工造成了很大难题。通过合理的策划、建模、制作和吊装等工序,顺利完成了人行天桥的施工。其中,通过模拟,减少了拼装环节,节约了施工成本;通过采取多种纠偏措施,使得构件制作达到了相关技术要求,取得了良好的效益,可供同类项目借鉴。