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

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

现代电子产品焊接质量的检测技术

介绍了现代电子产品焊接质量的检测技术,以及用于检查焊点质量和组装板(SMA)功能的测试仪器的工作原理及测试能力.目前常见和广泛使用的焊接质量检测方法是人工目测检查,其主要问题是其主观性,只能用来检测电子元件的形状、尺寸、颜色、表面特征及焊点的外观质量;自动光学检测(AOI)可以在整个过程中发现和纠正缺陷,但只是外在的焊点缺陷;激光/红外线组合式检测系统、X射线检测系统可以分析焊点微米级水平的缺陷,能找出其他检测所不能可靠地发现的缺陷,包括空洞、焊点形状差和冷焊锡点等;另外,X射线检测系统能一次测试单面或双面电路,准确地定位缺陷,获取工艺参数,例如锡膏厚度等.     

利用CATV双向HFC网构建小区智能化系统

随着信息技术突飞猛进的发展,我们的日常生活逐步融入网络世界。数字信息技术的应用终将引起消费方式的改变.从而根本性地改变我们的生活方式。从90年代初期,欧美等经济比较发达的国家就提出了“智能住宅”(Smart Home)的概念。智能建筑已经开始走向     

让我一次“取”个够——奥林巴斯CAMEDIA C-5060WideZoom数码相机

奥林巴斯（OLYMPUS）CAMEDIA C-5060WideZoom数码相机（以下简称5060WZ）是其CDMEDIA C-5050Z（以下简称5050Z）以来的又一经典之作，刚一发布就因其独特的“WideZoom”引起了众多关注，今天终于到了“掀起盖头来”的时候。     

掌上哈勃——松下DMC-FZ10数码相机

遥望星空，人类探索未知世界和征服太空的雄心从未消弭。1990年4月25日，发现号航天飞机呼啸着冲上蓝天，将日后闻名于世的大型天文望远镜头“哈勃”（Hubble）送上了距地表600千米的外太空，作为人类首台架设于外太空的天文望远镜，哈勃可以完全不受地球大气和光的干扰，有利于更好地探索宇宙深处的未知世界，至今，哈勃已经服役了快14年，发回了数以万计的照片，为人类更好地了解宇宙立下了难以泯灭的功劳，但即使是浩瀚的宇宙也不能满足人类的好奇心，生活中就有很多值得去观察和了解的事物，这都需要专门的设备去协助我们，高倍变焦的数码相机无疑就是一个很好的装备。     

HFC网络管理简介

1网络管理的意义和作用(1)促进网络质量的提升通常HFC网络管理具备以下几个功能:况,特别是传输链路中的关键设备,在设备故障时自动报警必要时启动备用路由;②、网络问题诊断,提供一种端到端的诊断过程。它将确定问题到底是出在何处,为把HFC传输网络提升为“可运营、可管理”的商业平台打下基础;③、网络规划,在网络建设或重新配置的情况保证下网络质量。因此,实施HFC网络管理可以有效提高网络质量。(2)标准化促进设备的通用性、互换性HFC网络标准规定了网管系统实现的物理层参数及指标要求、数据链路层规范以及设备管理信息库,这样各厂…     

美国科学家研究发现风力发电益处明显

美国科学家研究发现，如果把美国现在的机动车燃料全部换成风力发电电解水取得的氢燃料，那么将从环境和健康两个方面改善人们的生活质量，节约消费者的支出。