改进身份认证协议的形式化描述与验证

以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和验证;一般在使用传统1-可达性分析方法分析复杂身份认证协议时,会存在状态空间爆炸的问题,为了有效地解决该问题,提出了一种用1-可迭性分析方法和向回分析方法相结合的策略,对该身份认证协议进行了分析,从而验证了该身份认证协议是安全的.     

铁过量M型钡铁氧体的放电等离子体烧结合成

采用并加共沉淀法制备了名义组成为BaFe12.4O19.6的铁过量M型钡铁氧体前驱体,研究了该前驱体在放电等离子体烧结条件下的结晶行为和烧结体的磁性能.结果表明;700～850℃,烧结体均是单相M型钡铁氧体,没有BaF@204和γ-Fe203中间相结晶.晶粒分布随温度升高而显著变化,700℃时呈随机分布;700℃以上表现出择优取向.饱和磁化强度在700℃时显著增大;700～850℃时基本不变,这与烧结体的相组成随温度升高的变化规律相吻合.矫顽力随温度升高先增加后降低,与M型钡铁氧体含量增加和择优取向程度提高有关.     

通过匹配实验提高空调能效比

在节能和环保要求越来越高的今天，提高空调能效水平已成为全球化的大趋势。通过空调器匹配实验，得出了提高家用空调器能效比的方法．为空调器的优化设计匹配和提高空调器的性能提供了一定的参考。     

谈律师职业保密义务

律师是为当事人提供法律服务的专职人员,律师应对职业中的秘密负责保密,否则应承担相应的责任.律师在执业中接触到委托人的个人隐私,商业秘密或其他个人资料、信息,未经委托人同意不得向第三人公开,甚至不得向国家机关公开.律师都有为委托人保守秘密的责任.     

“工程热力学”的教学改革初探

工程热力学作为建筑环境与设备工程专业最重要的专业基础必修课之一,一直存在着学生难学教师难教的问题。针对近几年在教学过程中发现的问题提出了相应的措施,进行课堂教学改革的实践,希望能对提高教学效果起到积极的作用。     

大学计算机网络课程教学研究

随着计算机网络的广泛普及，网络技术人才的需求量在不断增加，高校中的计算机网络课程的教学越来越受到重视。计算机网络本身是一门实践性非常强的课程，因而在讲授计算机网络基础理论的同时要重视开展网络实验教学的作用。本文对计算机网络教学过程中的教学方法进行了初步探索，从教学内容的安排、教学方法和手段的采用、网络实验教学的开展以及课程的期终考核几个角度来探讨如何有效的开展计算机网络课程的教学。     

浅析匝道桥支架法现浇箱梁施工技术

从支架基础处理及预压、支架搭设与预压、模板安装与拆除等方面,就匝道桥支架法现浇箱梁施工的主要施工工序及其施工技术要点进行了详细分析,以保证现浇箱梁施工质量符合设计要求和有关规范。     

长沙市公共建筑空调系统能耗现状与节能潜力分析

对长沙市14幢不同功能公共建筑的能耗、空调能耗、空调冷热源方式、热环境参数及人员热舒适感进行了调查实测,得到单位建筑面积能耗平均为1.71GJ/(m2·a),单位空调面积空调能耗平均为0.93GJ/(m2·a)。根据调查中发现的问题,提出了提高公共建筑空调系统能源利用率的途径。     

千斤顶在油井皮带机现场调偏中的应用

皮带机是原油生产过程中的最基础设备之一,其安装及运行质量直接决定着油井原油开采效益。然而长期以来,皮带机在油井安装运行一段时间后就会出现偏离、移位等现象,导致油井不定期就需要进行现场校机,严重影响油井生产效率,不仅生产成本大增而且存在较大安全隐患。然而受油井生产规律及皮带机设备特性等因素影响,以往的应用皮带机移动装置、更换调偏盘根盒等措施不能从根本上解决问题,甚至会增加油井后期作业频次。因此,急需设计出一种简单、有效的校机装置来解决皮带机易偏离、移位的问题。为此,通过技术攻关及井场实际应用,认为以千斤顶作为皮带机现场调偏装置最简单有效且实用。目前该设备已经广泛在采油厂应用,有效解决了皮带机偏移问题。     

项目式教学应用于“建筑环境学”课程的可行性分析

“建筑环境学”是建筑环境与设备工程专业的四门学科基础平台课之一.由于该课程知识面广、内容多样,如何在有限的课时内取得较好的教学效果,很多教师都颇为困惑.结合“建筑环境学”课程的特点和项目式教学法的特点,通过分析得出,在该课程中引入项目式教学是可行的.学生通过参与项目自主学习,既可以巩固原有知识,又可以培养应用创新能力,还可以将不同章节的内容、不同学科的知识甚至不同的课程体系有效地融合在一起.