基于时间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,显著扩大了其适用的频率范围.     

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

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

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

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

镍(Ⅱ)含氮配体配合物的热分解研究

用非等温热重法研究了[N i(NH3)6]C l2、[N i(py)4]C l2、[N i(en)3]C l2、[N i(b ipy)2]C l2、[N i(phen)2]C l2五种配合物在氮气、氧气气氛下的热分解反应机理,比较得出了2种条件下5种配合物的热稳定性;并对配合物[N i(py)4]C l2在不同条件下特定分解阶段的非等温热重分析数据采用ACHAR法和COATS-REDFERN法进行了拟合,得出了相应分解阶段该配合物的热分解机理.     

切口零件冲击破坏的SPH模拟

简要介绍了光滑粒子动力学方法的基本思想和基本方程，利用该方法编制程序对带长方形切口式样的冲击破坏过程进行了数值模拟。给出了用这种方法模拟三维冲击破坏的一个算例，并对有关问题进行相关的讨论。     

人道主义援助：朝鲜百姓的“生命线”？

金融、贸易、援助是未来吸纳朝鲜融入国际社会的主要途径,也是朝鲜问题得以解决的根本途径。