个人怀旧视野中的合北想象——论朱天心的《古都》

朱天心的《古都》，以一种个人怀旧的“回望”视野，以记忆之城、现实之城、“他者”之城的时空交错的叙事方式，完成了台北乡土性家园想象、后现代性的失乐园想象、第三世界殖民性和乡土性的多元文化身份的想象与呈现，打破了普遍存在的“后现代性”一元中心想象的局限。     

一种容错会议密钥分配方案设计与分析

基于Byzantine模型，提出了一种会议密钥分配方案．该方案通过将秘密信息分布于多个服务器中实现了安全和容错的密钥分配．在该方案中，即使实施密钥分发的服务器组中有部分被入侵或系统部件存在故障，系统的所有授权用户仍可以获得正确的会议密钥．对方案的分析表明，基于离散对数计算和大整数分解的困难性，任何攻击者都无法获得会议密钥的相关信息，同时入侵者亦不能阻止系统的授权用户得到正确的会议密钥。     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于分层移动的移动IPv6快速切换方案

快速切换是移动IPv6技术的关键问题之一.为了改善移动IPv6的快速切换性能,文中提出一个基于分层移动的快速切换方案HMFH.该方案基于微移动和链路层触发的思想,重点针对切换过程中的切换延迟、切换丢包、可扩展性以及路由影响等移动特性进行设计.仿真结果表明,HMFH具有切换延迟短、切换丢包少、可扩展性好、路由效率高等优点...     

Li2+2xZn1-xSiO4水基溶胶-凝胶法合成及其离子导电性

用水基溶胶凝胶法制备了锂离子导体Li_2+2xZn_1-xSiO₄(0≤x≤0.5)。实验中对干凝胶的热稳定性进行了TG-DTG分析。XRD谱结果表明形成了与Li₃PO₄结构相关的固溶体Li_2+2xZn_1-xSiO₄。TEM结果则显示晶粒尺寸为50nm左右,并应用交流阻抗谱技术进行了样品烧结体的电性能测试。     

分布式系统中服务可生存性的定量分析

随着关键性基础设施对分布式计算系统依赖程度的增高，人们对分布式系统的可生存性要求也日益增高，基于配置的概念，将分布式系统视作层次化的结构，在该层次化的结构中，定义了系统与配置。服务的关系，给出了比较服务可生存性大小的充分条件，描述了系统状态并定义了系统服务间的依赖关系。然后，借助于传统容错方法中与或树概念，将服务用与或结构表示，从而给出了一种服务可生存性的定量表达方法。     

混淆中的控制变换研究

介绍了混淆的力量、弹性、执行代价和隐蔽性等性能及其度量问题,详细分析了混淆中的控制变换并给出一些具体的实例,控制变换分为:①计算变换.主要包括插入死的或不相关的代码、删除库调用和程序习惯用语、表解释、增加冗余操作、使代码并行化;②聚合变换.主要包括克隆方法和循环变换;③排序变换.最后对混淆变换的可能的研究方向和热点问题作了介绍.     

一种基于ECG的改进型差分算法设计

提出一种基于差分阈值自适应的ECG波形检测算法.算法对ECG信号进行数字滤波预处理,利用自学习算法求出相应的初始阈值,采用双阈值自适应更新法实现对差分阈值的自动更新和对R波以及Q、S波的检测,通过对检测窗口宽度的自适应更新法实现对P波和T波的检测.算法检测精度高,适合实际应用.     

RFID安全协议的数据去同步化攻击

为了分析无线射频识别(RFID)安全协议的数据去同步化攻击问题,对串空间模型进行了扩展,引入了分析RFID安全协议数据去同步化攻击的能力,并给出了数据去同步化攻击的判定定理.在扩展的串空间模型下,对近年来提出的一个基于哈希函数的RFID安全协议和一个无需后端数据库的RFID认证协议进行了分析,发现了针对这2个RFID安全协议的数据去同步化攻击,该攻击破坏了协议的可用性.分别对这2个RFID安全协议进行改进,改进后的RFID安全协议克服了存在的安全隐患,能够抵御数据去同步化攻击.