摘要：相关分析方法是进行大型复杂结构动力分析的方法之一。本文通过分析ＳＡＰ８４与ＭＯＤＡＬ３．０，建立起相应的计算机辅助相关分析系统的框架，实现了计算机辅助动态分析。经过实际结构模态分析的检验，证明该系统是可靠的。

摘要：针对无线传感器网络(WSNs)节点间信任关系建立时的信任决策和动态演化问题,引入与节点信任度绑定的激励机制,建立WSNs节点信任博弈模型以反映信任建立过程中表现出的有限理性和每次博弈过程的收益.基于演化博弈论研究节点信任策略选择的演化过程,给出WSNs节点信任演化的复制动态方程,提出并证明在不同参数条件下达到演化稳定策略的定理,为WSNs信任机制设计提供了理论基础.实验表明了定理结论和激励机制的效果.

摘要：给出一种新的安全协议的设计方法——组合设计方法,首先分别实现各个安全目标,然后将它们组合为一个新的安全协议。组合方法设计安全协议具有易于实现、易于验证等优点。给出组合规则,使用组合方法实现了普适计算环境下认证协议及密钥协商协议的设计。

摘要：无线接入网络的出现极大方便了正处于信息化浪潮中的人们的生活,它使人们摆脱网线的束缚,扩大了终端的活动范围,提高了人们的工作效率.但同时安全问题也随之应运而生,构建一个无线接入网络的安全体系架构日益成为各种无线应用下研究的一个热点.本文基于常见于采用"一卡通"的各大高校的校车刷卡数据采集系统中的手工许多不便,设计自动化无线数据采集系统,根据无线的开放式特点,采用将基于校园网的有线PKI扩展到无线领域的方式构建校园WPKI,保证数据的安全传输与存储.

摘要：普适环境需要满足"透明""无需人干预的"性质,提出了一种普适计算环境下的安全协议——SPUE。它满足数据认证、数据新鲜性等安全特性,同时满足普适计算的"无需人干预的"性质。协议采用非对称密钥与对称密钥相结合的方法,在解决普适计算能量、计算能力限制同时增加了安全性,使其更适合于普适计算环境;同时运用通信顺序进程(CSP)方法对安全协议建模,采用FDR对模型进行检测,确保了协议能够满足各项安全性能。

摘要：普适计算自20世纪90年代提出以来,已经成为极具活力和影响力的研究领域之一,它的安全性问题更是受到了研究人员极大的关注。首先概括介绍了普适计算安全检测领域常用的几种方法和模型,以及它们存在的问题和不足之处;然后提出了一种新的综合检测模型,并详细阐述了它的实现方法和特点。

摘要：介绍了OSGi(Open Service Gateway initiative)的概念,OSGi Release3的服务网关模型,软件层次结构以及Java 包定义,最后在经过裁减的Linux上,运用Java虚拟机实现了符合OSGiRealease3规范的智能家庭网关应用。

摘要：室内高精度定位问题是普适计算中位置感知研究的首要难题。介绍了普适计算中上下文的概念,就上下文中的位置问题进行了探讨。通过分析目前室内定位中存在的问题,给出了一种利用红外无源定位技术定位的模型,通过测得的方位角计算出用户的位置。对该模型进行了证明,证明结果显示该模型可以定出目标的准确位置。

摘要：为了使非接触IC卡更广泛、方便、可靠的应用,本文针对IC卡系统现状的不足设计出了非接触式IC卡数据采集无线传输系统。文章介绍了以ST公司ARM7系列中的STR711FR2T6为核心的系统组成、工作原理,并详述了系统硬件电路的设计,最后给出了软件流程图。

摘要：本文针对高校班车"一卡通"数据采集难的问题,基于短距离无线通信原理,利用低成本的射频读卡模块和无线通信模块,设计并实现了一个校园"一卡通"数据的班车自动采集系统,为校园内设备间的远程数据通信提供了一个新的解决方案。实验证明,系统的无线数据采集具有高度的稳定性和可靠性。该系统在公交"一卡通"的数据采集中也有着广阔的应用前景。