基于代理的校园网计费管理系统

根据目前Cernet校园网典型结构,设计了一种适应性广、通用性强的校园网计费管理系统,探讨了使用代理服务器进行计费的主要功能和工作流程.     

UPS网络控制和电压波形显示的研究

对目前在UPS方面研究的焦点问题作了阐述 ,并重点介绍了UPS网络控制系统的实现方法、系统功能和技术特点     

冶炼工业废气中SO_2的脱除研究

研究用软锰矿的水悬浮液脱除冶炼工业废气中SO_2的工艺可行性,提出抑制副产物MnS_2O_6生成的途径。     

基于C/S与B/S相结合的教学管理系统的规划

针对当前高等教育体制改革学校办学规模不断扩大,存在多校区的办学模式,原来基于C/S或B/S单一模式结构的教学管理系统存在诸多弊端,对目前高校教学管理的实际需要和特点进行了分析,比较了两种模式的优缺点,提出了一种基于C/s和B/S结合的结构模式的教学管理系统,给出了基于该模式下教学管理系统的功能模块、实现方法、系统的软硬件支撑条件.     

模数转换(A/D)集成电路设计原理及其应用技术

随着数字信号处理技术的不断发展和人们对电子产品质量要求的不断提高,模数转换(A/D)集成电路芯片已成为电子产品设计中最关键的芯片器件之一,它的性能优劣直接决定着电子产品的质量.介绍了几种主要的A/D集成电路的基本原理,分析了各类A/D芯片的性能特点及其应用范围,指出了提高不同应用领域A/D芯片质量的关键技术及其发展趋势.     

我校与安康学院签订支持办学协议

4月20日，陕西省安康学院王兴林院长一行来我校访问．常务副校长王乘，学校办公室、教务处、人事处等有关部门负责人出席了座谈会．     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

使用MPLS解决网络最大流问题的方法

为解决大多数的流量工程问题和网络传输中的最大流问题，该文提出了基于多协议标签交换（MPLS）解决方案，阐述了解决最大流问题的数学方法，提出一种独特的将数据流划分成“微分支”的思想和方法，并介绍微分支的建立过程；给出仿真结果。     

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

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

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

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