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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

环境与经济整体优化分析

企业生产应该将经济效益与环境效益相结合 ,政府充分利用排放税、费等经济手段来管理企业的环境行为 .在对环境影响分类的基础上 ,建立了环境与经济整体优化的双层规划模型 ,并用这一模型对政府如何确定环境补贴与税收政策以达到污染物排放最小进行了分析 .     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

高含固量聚苯乙烯－聚丙烯酸酯复合乳胶的合成及表征

本文采用种子乳液聚合技术，合成聚苯乙烯－聚丙烯酸酯复合乳液，用ＴＥＭ电镜观察其乳液的形态，用ＧＰＣ方法测定了乳胶聚合物的化学组成。     

九十年代计算机网络发展趋势

本文详细介绍了国外计算机网络发展的最新技术，并阐明了计算机网络发展的五种趋势．     

公共物流中心扩建规模优化模型研究

同时考虑物流规划部门及客户的利益,采用双层规划模型来描述物流中心扩建规模优化问题。上层规划从决策者的角度出发,使系统总费用最少;下层规划描述用户对物流中心的选择行为,在用户费用最少的情况下,向各个物流中心分配需求,以使扩建后的物流中心的能力得到最大程度的利用。并应用灵敏度分析方法进行了求解。最后用一简单算例验证了模型及求解方法的可行性和有效性。     

钢筋焊接网在桥梁工程中的应用

钢筋焊接网应用技术是建设部重点推广应用的新技术之一.我国钢筋焊接网于20世纪80年代初开始应用,在近几年中得到了快速的发展,尤其是在桥梁工程中得到应用已非常成熟.钢筋焊接网桥面铺装设计简单,现场施工方便、高效,施工质量得到可靠保证.大量的工程实践表明钢筋焊接网的应用具有极强的优越性.     

板坯结晶器钢水凝固的数值模拟

以实测结晶器铜板温度计算的热流量作边界条件,采用有限元方法,建立了结晶器内凝固传热方程.对凝固传热方程进行了离散化,利用ANSYS商业软件进行求解,得到凝固坯壳的应力、应变情况,从而确定连铸结晶器壁的合理锥度.     

《高等数学》学习方法探讨

从高等数学的知识体系及其学习的特点与基本要求入手,论述了学习高等数学的基本方法,即阐述了如何接收信息、如何消化材料和所学知识如何运用等问题。