供应链管理系统的Web实现技术及应用

分析了传统供应链管理系统的实现技术上存在的缺陷，介绍最新的供应链管理系统的Web实现技术即XML技术及SOAP协议，在此基础上给出一种运用XML及SOAP实现供应链管理系统的解决方案，最后介绍了一个实际运用的系统。     

实现数据远距离传输的几种方法

分析了制约数据远距离传输的因素，提出了几种可实现数据远距离传输的方法。     

特定最大功率传输问题探讨

本文通过理论计算给出几种特定情况下的功率传输问题。     

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

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

基于串口通信的数控车床功率数据采集

本文详细介绍了用VB语言进行串口二进制数据传输的方法,利用此技术完成WB传感器感应车床功率大小的数据采集,并对采集的数据进行了图像动态显示.采集的数据可用于判断车床是否处于正常工作状态.     

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

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

以超光速掠过群星

在现实生活中,我们偶尔也能感受到似乎是物质在以光速传输,例如,当使用传真机时,对方输入一份文件,这边就会输出相同的一份文件。但这只不过是我们的一种错觉,文件本身并没有被传输,它甚至都没有被复制!通过电话线被传输的只是这份文件经扫描后获得的图像数据。 那么能否真的实现物体的光速传输呢?比如用光速来传递一个杯子,答案是可能的。但大概要采用一些特殊的方式来实现,因为我们恐怕无法直接以光速来传递一个杯子。     

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

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

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

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

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