基于批处理与差分相干的GPS信号捕获算法

研究全球导航卫星系统,针对传统方法难以实现微弱GPS信号的精确捕获,影响后续的信号跟踪及导航电文解码等问题,提出了提高信噪比的一种新方法.由于批处理在导航数据位跳变时会存在隐患,而差分相干积分没有积分累加过程,采用基于批处理的手段结合差分相干积分,在传统批处理的流程中加入差分相干积分的处理,使捕获算法融合两者的优点,为高灵敏度GPS接收机的实现提供技术保证.仿真结果表明,方案能够较好地捕获到载噪比低至17dB-Hz的GPS信号.     

基于TBAC的BPEL访问控制技术研究

业务流程执行语言（Business Process Execution Language for Web Services）是一种可以定义抽象的和可执行的业务流程的语言。然而，BPEL缺乏访问控制方面的安全性考虑。本文主要关注基于BPEL的流程的访问控制的实现方法。我们对现有的基于任务的访问控制模型（Task-Based Access Control）进行扩展，修改了授权结构体的定义并重新定义了授权结构体的类型，并实现了从BPEL定义的流程到TBAC模型的映射，提出了一种TBAC应用到BPEL中的方法。本文最后讨论了下一步的研究工作。     

面向服务合成的访问控制技术研究

主要关注基于BPEL（业务流程执行语言）流程访问控制的实现方法。对现有的基于任务的访问控制（TBAC，task-based access control）模型进行扩展，修改了授权结构体的定义并增加了授权结构体的类型，最终实现了从BPEL定义的流程到新的TBAC模型的映射，提出了一种TBAC（基于任务的访问控制）应用到BPEL中的方法。这种方法使通过BPEL定义的服务合成系统具有从底层支持访问控制的能力。最后讨论了下一步的研究工作。     

基于角色的带时限的转授权与撤销模型

当前基于角色的访问控制系统完全依赖于管理者的集中管理方式,不能够满足分布式环境下的系统管理的需求,基于角色的转授权模型更适于分布式环境的授权管理。但是,目前已有的转授权模型的研究都仅限于基于常规角色的转授权与撤销,并且没有详细地讨论带时限的转授权与撤销的机制。本文将时间因素引入到转授权模型当中,同时在基于角色的管理模型的研究基础之上所扩展的模型称作基于角色的带时限的转授权与撤销模型(Temporal Role-hased Delegation and Revocation Model,TRDRM)。TRDRM在支持常规角色的转授权与撤销的同时,也支持管理角色的转授权与撤销,是集中管理方式和分布式管理方式的有效结合,满足了协同工作的需要。