用PowerBuilder创建Internet的应用

本文主要介绍了用PowerBuilder创建Internet应用的几类实现方法以及每类方法的优点。     

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

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

网的收敛与分离公理

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

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

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

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

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

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

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

矿山贯通测量的工作方法

本文针对矿山双向开挖等特点,对贯通测量的误差来源及分配进行了说明,系统地叙述了贯通测量的工作方法,重点阐述了地面及硐内控制网的布测依据。     

L-smooth s-远域及网的s-收敛性

在L-smooth拓扑空间中借助于L-smooth半闭集给出了L-smooth s-远域、s-附着点、s-聚点等概念,进一步讨论了网的s收-敛,并研究了它们的一些基本性质.从而,丰富了已有的结果.     

利用VPN在图书馆中的应用

文章对VPN(虚拟局域网)的基本概念,VPN的工作原理及实现VPN的关键技术进行了阐述,结合学校校园网和图书馆网的VPN实际解决方案,对VPN配置及应用做了相应的描述。文章还介绍了VPN在图书馆的实际应用,重点介绍了VPN规则的设置。     

库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。