基于对比源的微波成像矩阵算法研究

本文提出了一种基于对比源的微波成像矩阵算法。目前常用的微波成像算法主要采用迭代求解的这一模式,例如传统的对比源反演采用梯度优化的方法进行迭代运算,随机优化算法在构建目标函数的基础上进行迭代求解。但是迭代求解的时间成本与硬件成本非常高,并且针对复杂成像问题易产生较大误差。本文首先对传统成像模型进行改进,为保证对比源的恒定,采用固定位置的激励源入射,在多层圆周上均匀分布的测量点接收散射信号。其次从Lippman-Schwinger方程出发推导了矩阵算法的物理模型,最后采用多种相对介电常数分布的成像问题,对算法进行了验证。仿真结果表明,本文提出的微波成像矩阵算法计算效率高,并且针对复杂成像问题具有良好的性能。

软件生产线可变性建模与分析方法的研究

为了对软件生产线进行可变性建模,提出了使用特征模型捕获领域需求的思想。针对传统特征模型缺乏对可变性建模的支持,仅有图形上的表示,缺乏严谨的语义分析的不足,通过对软件生产线可变性依赖约束的形式化描述,提出了一种扩展特征模型的软件生产线可变性需求建模方法,以手机领域为例子进行了可变性需求建模。提出了扩展特征模型图形元素的语义特征及文档类型定义,并与传统特征模型建模进行了对比。结合逻辑学提出了可变性绑定配置过程中的分析方法。

容灾系统中数据透明加密设计

为满足容灾系统中保护数据机密性的需求,设计一种面向容灾的堆叠式数据透明加密框架。采用虚拟化技术和分层开发思想,在系统容灾层之上构建数据加密层,实现容灾系统中数据的加密存储和在网络中的加密传输。针对数据加密操作时间开销大的问题,设计一个数据并行加密机制p-dm-crypt,在加密驱动程序中实现对数据的并行加密处理。原型系统上的测试结果表明,与采用Linux系统内置的dm-crypt加密机制的系统相比,采用p-dm-crypt的系统在写性能方面提升了18%。

基于动态追踪机制的物资信息服务系统

对EPC网络系统的工作流程以及射频识别编码解析架构进行了细致研究,分析出物资保障对于动态有序的物流代替静态的物资储备,速度取代数量等一系列需求越来越迫切。根据这些需求,提出一个基于动态追踪机制的服务体系,使用射频识别码作为物资的唯一标识,并且采用对象名解析服务与信息发现服务相互结合的方式,不仅能维护了物资静态信息,还能追踪查询物资的动态信息,实现了物资动态信息的追踪,进一步实现了物资的全生命周期管理。