基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

数模技术在陈家庄油田开发调整中的应用

利用数值模拟方法，研究了陈家庄油田的分层生产状况、水淹过程，得到了各小层含油饱和度分布图、剩余储量丰度图等。同时研究了数值模拟技术在油田水动力学开发调整中的应用，如通过历史拟合确定剩余油富集范围，优化开发调整方案，通过打加密调整井、转注高含水井、分层注水改变液流方向等。该技术的应用达到了改善油田开发效果和提高采收率的目的，取得了很好的开发效果。     

复合地基中桩与桩间土应力分配实验

在实验室条件下，用碎石或灰土圆柱芯增强体与黏性土组成的复合地基单位桩模型，通过复合试样的三轴实验模拟现场碎石桩和灰土桩的工作状态，探讨桩与土的相互作用问题。实验结果表明：复合体的竖向强度不是两种材料按一定几何比例简单叠加。复合试样在荷载及应变不大时，桩土应力比增加很快，随后荷载逐渐向桩周土集中，桩土应力比减少。这种规律与现场测试的桩土应力比是一致的。实验揭示了桩土应力比变化规律及其机理。     

稀土硝酸盐邻香兰素对甲苯胺Schiff碱配合物的热分解动力学机理分析

合成了邻香兰素对甲苯胺Schiff碱配体(C15H15NO2,以L表示)与稀土硝酸盐Ln(NO3)3·nH2O的9种新的配合物[Ln(NO3)3L2](Ln=Nd、Gd、Dy、Ho、Er、Tm、Yb、Lu、Y),并从一条热重曲线导出该系列稀土硝酸盐邻香兰素对甲苯胺Schiff碱配合物的热分解动力学机理,为相边界收缩圆柱体,并推断出了它们的反应动力学方程式.     

烧结温度对SPS制备铁基软磁复合材料的影响

通过干式球磨法包覆工艺,在铁粉表面包覆质量分数为10%的MnZnFe_2O_4,制备核壳异质结构复合粉末.采用放电等离子烧结技术,制备颗粒间绝缘的软磁复合磁粉芯,研究了烧结温度对组织和性能的影响.利用配有EDS能谱仪的扫描电子显微镜,对不同烧结温度下的软磁复合磁粉芯形貌进行分析,利用B-H分析仪测试环状磁粉芯的交、直流性能.结果表明:700℃下烧结,保温5min后获得的Fe/MnZnFe_2O_4复合磁粉芯具有较为优异的软磁性能;与纯铁粉压制的磁粉芯相比,由于MnZnFe_2O_4颗粒的绝缘作用,Fe/MnZnFe_2O_4复合磁芯的损耗值仅为铁粉制磁粉芯的1/10,显著扩大了其适用的频率范围.     

银耳多糖在肝癌治疗中的作用及相关机制的实验研究

目的研究银耳多糖(Tremella Polysaccharide TP)对荷HAC小鼠T细胞表面分化抗原、细胞因子、体外肿瘤细胞的杀伤作用及小鼠移植性肝癌的影响.方法用环磷酰胺和银耳多糖分别作用于荷HAC肝癌小鼠,采用免疫荧光法、流式细胞仪及酶标仪观察各组免疫功能的变化及细胞因子的表达,并分离其脾细胞,将诱导的细胞毒性T细胞(CTL细胞)分别作用于体外培养的3H-TdR标记的肿瘤细胞P815,HAC和B16,4 h后用γ-闪烁记数仪进行检测,并计算杀伤程度.检测各组肿瘤质量、体积、组织学改变和主要脏器的形态学改变.结果银耳多糖实验组总T细胞、T杀伤细胞及肿瘤坏死因子(TNF)高于对照组,其中对总T细胞及TNF上调明显.在对HAC,P815,B16肿瘤细胞的杀伤作用中,银耳多糖实验组的杀伤活性明显高于对照组,分别为23.85%,20.81%,25.43%,P<0.01,其中对B16杀伤作用最强,HAC次之,P815最弱.环磷酰胺 银耳多糖实验组上述指标与银耳多糖实验组相比有所下降,但与对照组相比则明显增高(P<0.05).治疗组肝肿瘤质量、体积均低于模型组.组织学上肿瘤坏死程度重且范围广,淋巴细胞、巨噬细胞浸润明显,纤维组织增生显著.环磷酰胺组较实验组表现的更为明显.银耳多糖实验组除脾脏外,其他主要脏器无明显形态学变化.结论银耳多糖具有激活和提高特异性和非特异性杀伤细胞的抗肿瘤作用,是一种能调节机体免疫功能、抑制肿瘤细胞增殖、分化的抗癌中药制剂.     

胃癌组织中Survivin的表达与细胞凋亡的关系研究

目的通过检测Survivin及相关指标在人胃癌组织中的表达及其与临床病理参数的关系,探讨Survivin对胃癌组织细胞凋亡的作用.方法采用免疫组织化学SP方法检测60例胃癌组织,7例正常胃黏膜组织Survivin,p53的表达水平.结果Survivin,p53蛋白阳性率分别为56.7%,65%;Survivin蛋白的表达与患者性别、年龄、肿瘤直径、TNM分期均无明显相关性(P>0.05),与组织学分级、淋巴结转移具有相关性(P<0.05);Survivin的表达与p53呈正相关.结论Survivin的过表达与胃癌的发生、发展及预后密切相关.Survivin具有抑制凋亡的作用.     

浅析中学历史教学中的人物教学

在中学历史教学中，人物教学是整个教学的重要组成部分。如何在课堂教学中运用正确的观点，采用恰当的方法，通过人物教学，培养学生的思维能力，提高学生的思想品德素质，是我们历史课堂教学研究的重要课题之一，现就此谈谈自己的看法。     

加强企业全面预算管理促进企业经济发展

全面预算管理是企业管理的核心内容,也是被现代企业证明行之有效的管理系统.企业实行全面预算管理,全方位监控,层层把关,层层落实,使各个层面的管理井然有序,企业才有希望,才能更好地发展.因此,能否搞好预算管理并由此产生管理效益,是检验现代企业管理科学化程度的重要标志之一.     

医学基础实验教学中心体系构建研究

从分析应用型医学本科实验教学存在的主要问题入手,提出了基础医学应用型本科实验教学改革思路.通过研究和实施医学类专业实验教学体系改革方案,从而加强对医学学生基础实验能力、设计能力和创新能力的培养,取得了较好的教学效果.