3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

信道粒度可变的分块自适应OFDM传输系统

满足不同服务质量(QoS)业务是Beyond 3G系统必须考虑的一个问题。本文提出一种可变信道粒度的分块自适应OFDM系统。系统能够根据不同用户多样化的速率需求，自适应地改变分块的大小，并且在每个分块上进行自适应调制，在满足用户速率要求的基础上降低了对子载波分配信息(SAI)和自适应调制信息(AMI)的需求。仿真结果表明，本文提出的系统在系统容量和频谱效率上比固定分块自适应OFDM系统有更好的性能。     

欠驱动系统Pendubot的模糊控制策略

本文针对欠驱动Pendubot机器人系统，提出一种简单可靠的摇起及平衡控制策略。通过利用模糊控制及全状态反馈控制技术来分别设计摇起控制器及平衡控制器，其中模糊摇起控制器的设计使得系统的摇起可靠性得到大大的加强，并缩短了响应时间，两个控制器的转换通过转换装置实现。最后的仿真结果验证了算法的有效性。     

一种基于TV模型的自适应图像修复方法

图像修复是数字图像处理的重要内容，可用于被损坏的图像和视频修复、视频文字去除以及视频错误隐藏等。基于TV模型的修复方法有较好的恢复效果，但对参数的选取比较敏感，且运算量较大。本文提出了一种基于TV模型的自适应图像修复方法，与原方法相比可以有效提高该算法的稳健性，并能显著的减少运算时间。     

以寻呼区分析为基础的PHS网络优化方法

通过分析PHS网络中各寻呼区的统计指标,剖析指标劣化的根本原因,采取修改相应的参数配置、移站、调整天线等措施进行网络优化,优化实施后再次收集统计指标做对比分析,总结经验。     

SIMADYN D控制器在武钢热轧动态无功补偿系统中的应用

SIMADYN D控制器应用于动态无功补偿，标志武钢动态无功补偿控制实现数字化突破。提高了系统的可靠性、调节精度和动态指标。     

Fuzzy Multiobjective and Linear Programming Based Management Models for Optimal Land-Water-Crop System Planning

In this article, linear programming and fuzzy optimization models are developed for planning and management of available land-water-crop system of Mahanadi-Kathajodi delta in eastern India. The models are used to optimize the economic return, production and labour utilization, and to search the related cropping patterns and intensities with specified land, water, fertilizer and labour availability, and water use pattern constraints. Due to extreme backwardness of the study area, it has been decided to keep all the three objectives of the linear programming models at the same priority level to obtain the compromised solution in a fuzzy environment that incorporates the imprecision in fuzzy goals and fuzzy constraints. These non-structural models facilitate the conjunctive use of available surface water and groundwater resources. A comparative evaluation along with the benefit-cost ratios of the existing and proposed farming systems is also presented.     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

A neural network model for fault detection in conjunction with a programmable logic controller

This paper discusses the feasibility of using neural networks as a tool in the fault detection process. A neural network is integrated with a state language programmable logic controller, an important device in an automatic control system. Time series data related to time spent in a state is gathered and used as input into a neural network, for the purpose of identifying when a fault has occurred. A feedforward neural network is used to identify which (if any) of three types of faults may have occurred. Experimental results related to sensitivity and accuracy measures are presented. A brief review of related applications and research is also presented.     

智能控制的理论和方法

本文简要地回顾了智能控制的发展过程，讨论了智能控制的几个主要理论与方法，最后对智能控制的发展提出了作者的看法。