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

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

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

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

Connecting the second exhaust-heat boiler to the operating first one under the conditions of flow circuits of combined-cycle plants with two gas-turbine units and one steam turbine

Problems arising with connecting the second exhaust-heat boiler to the first exhaust-heat boiler under load in the case of flow circuits of combined-cycle plants of type PGU-450 are considered. Similar problems exist for two-boiler single-turbine units of type PGU-325 and for two-boiler single-turbine units of traditional steampower plants with an output of 200–300 MW upon connection of the second furnace of a two-furnace boiler to the operating first furnace. Analysis of the temperature-induced stressed state and of the cyclic strength of thick-walled elements of the steam-water conduit of PGU-450 and of two-furnace boilers of two-boiler single-turbine units with an output of 200–300 MW (the check valve, the inlet header of the water economizer) is used for determining the steam temperature differences in the high-pressure conduits to the steam turbine and the order of connection of the second exhaust-heat boiler to the operating fist one. Modes of enabling a two-boiler single-turbine unit of a combined-cycle plant, which are most “rigid” from the standpoint of thermal strength, are determined. __________ Translated from élektricheskie Stantsii, No. 2, February 2006, pp. 11–17.     

复合布尔函数中含某单乘积项的快速判定算法

引入了布尔函数的基本积、单乘积项等概念，通过实例剖析了复合布尔函数中是否含某一单乘积项的一般判定方法，在该基础上提出了一种快速判定途径，并给出了快速判定算法的具体描述，同时对算法进行了实验，结果表明该算法快速有效。     

一类关于鲁棒性和敏感性的泛函的优化

本文给出了一类泛函的优化方法.这类泛函包括反映系统鲁棒性和敏感性的目标函数. 其优化是通过-Rm×n→Rm×n的映射来实现的.该映射将所有配置系统极点的反馈矩阵参数 化为一自由矩阵变量的函数.     

多台并行随机CIMS可靠性的扩散估计界

ＣＩＭＳ可靠性模型随机研究的突出特点是工作站的并行结构使系统的状态个数呈现指数级增大，同时，并行结构与有限的缓冲库相互交织在一起，这使系统状态呈爆炸趋势，显然，对系统作精确的分析与系统呈现的状态爆炸趋势构成了难以解决的矛盾，如何解决这一矛盾正是ＣＩＭＳ随机理论有待开发的重要课题。我们把扩散近似方法引入到多台并行的ＣＩＭＳ可靠性模型中，以简单的连续过程描述了具有状态爆炸趋势的复杂离散过程，给出了ＣＩ     

受控离散事件过程（CDEP）的一种代数分析方法

本文在文［１～３］的基础上，提出了受控离散事件过程（ＣＤＥＰ）的一种代数分析方法，弥补了Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ［１～３］的理论对具体系统的应用缺乏可操作性的缺陷，使得对ＣＤＥＰ动态过程的分析变得更为直观，同时也使控制器的设计过程更具可操作性．     

一种主机与网络相结合的漏洞扫描工具的设计与实现

计算机安全问题是在信息化过程中急需解决的问题 ,而安全漏洞的发现对保护系统安全有着非常重要的意义。网络管理人员由于种种原因 ,很难及时、全面地测试系统的安全性。因此 ,设计一种能代替他们进行测试的工具就显得十分必要。本文首先对漏洞扫描的原理进行了分析 ,主要介绍了一种主机与网络相结合的安全漏洞扫描的设计及实现。     

给定拓扑结构的网络的可靠性设计

本文首先讨论了网络链路堵概率的加权平均值，提出了网络分配的一般准则，并在考虑了网络链路生存链路概率的因素后，提出了更一般的网络链路堵塞概率的加权平均值，以此为基础，分别讨论了网络在给定点的费用条件下，使得网络可靠性最大的网络设计问题，以及在给定网络可靠性指标的前提下，使得网络费用最小的网络设计问题。     

分子振动态及其跃迁的激光相干控制

讨论了激光合成相干叠加态的原理及其性质 ,针对 XY2 型分子 ,证明了合成局域模振动的可行性 ,然后给出相干叠加态的跃迁几率特征 ,发现它仍表现出相干的特性 ,对之进行分析研究表明 ,分子的振动态具有可控性 ,态跃迁几率具有可控性。