下一代网络--多协议标记交换MPLS思想剖析

多协议标记交换MPLS通过在传统的IP包里加入标记，使原来依赖于IP头标分析的路由转发转变为依赖于标记的转发，这不仅可以大大地提高IP包的转发速度，更可使传统IP网络具有QoS能力。本文深入分析了标记转发的思想．并指出了MPLS实现其优点所用的机制与原理。     

TMS320F240串口通信特征及其应用

主要论述了TMS320F240串行外设接口模块的特点，并通过与MCS5l单片机通信，实现液晶显示。     

光纤码分多址技术在城域接入网中的应用

分析了光纤码分多址技术O -CDMA在城域接入网中的应用。回顾了O -CDMA技术的发展历史 ,详细地介绍了O -CDMA技术的特点 ,其具有的公平性、灵活性、网络控制管理、对服务区处理能力以及高的安全性使O -CDMA技术成为较好的城域接入网技术。阐述了目前在应用中O -CDMA存在的一些技术方面的问题     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

2-（υ，5，1）设计的非可解区传递自同构群

研究了2-(υ，κ，1)设计的区传递自同构群．特别讨论了2-(υ，5，1)设计的非可解区传递自同构群．得到定理：设G是一个2-(υ，5，1)设计Q的区传递．点本原但非旗传递的自同构群．若G是非可解群．则G的基柱Soc(G)不是典型群PSUn(q)，这里q为奇数，n≥3。     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

航显系统中LED显示软件应用

现代机场的航显系统中大量应用LED显示屏，包括值机、进出港、行李提取、登机等业务中，如何将大量的数据及时、准确的发送到数量众多的LED屏上是航显系统的关键任务。本文以实际项目为基础介绍航显系统中的LED显示软件是如何安全、可靠的提供服务的。     

Possible triggering of solar activity to big earthquakes (Ms ≥ 8) in faults with near west-east strike in China

A big earthquake (Ms = 8.1) occurred at western Kunlun Mts gap on November 14, 2001. It is the biggest earthquake in China in the past 50 years and the only one with a magnitude bigger than 8 in China after Dangxiong Earthquake (M = 8) in Tibet in 1951. The big earthquake has drawn wide attention of scientists in seismological, geophysical, geological and astro-geodynamic circles. Scientists are interested in the occurrence regularity of the very big earthquakes and try to find out the fac…     

利用计算机辅助装调检测矩形大口径离轴非球面的方法研究

通过非球面的零位补偿法,完成了对矩形大口径离轴非球面镜的检测。先用光学设计软件Zemax从理论上分析了在检测中会出现的现象,并结合计算机辅助装调技术,确定在检测过程中相对敏感的自由度,然后控制这些量,使补偿器和非球面的相对关系与理论设计相吻合,在Zygo相位干涉仪上测得最终结果。在λ=632.8nm时,中心圆口径与两个边缘圆口径面形误差RMS分别为0.022λ,0.037λ,0.032λ。检测结果,达到预期目的。     

CCD相机调制传递函数测试软件的研制

数学傅立叶分析法是测量调制传递函数常用的一种方法，为了迅速地给出采用该方法进行调制传递函数测试的结果，针对刀口扫描测试CCD相机调制传递函数的测试系统研制了测试软件。软件可读入CCD相机摄取的数字图像文件，对数据进行消噪声处理，并自动识别刀口位置，选择合适区域计算出相机的调制传递函数。软件采用VC语言编制，结果以列表和曲线两种形式输出，用户界面良好，使用方便。利用该软件得到的测试结果与俄罗斯软件的计算结果吻合较好。