摘要：提出了一种基于现场可编程门阵列(FPGA)的全球定位系统(GPS)卫星信号模拟源系统的设计方案。FPGA作为一种常用的可编程器件,将其应用到模拟信号源系统中,并配合射频模块,实现了多个频点的程序控制,产生出大量具有高稳定度和准确度的不同频率的GPS卫星信号,减少了多个频点的开发周期,降低了风险。

摘要：利用插值点附近体素的1、2阶导数来描述体数据的局部特征,再依据特征的类型把空间区域分为常数、线性和非线性区域,并对不同的区域施用不同复杂度的滤波器,可以获得高精度的体切片.实验表明,与传统的线性插值相比,该方法可以重建更高质量的图像;重建效率也比单纯使用复杂滤波器高.

摘要：方位多通道合成孔径雷达(SAR)图像质量受系统参数、阵列误差以及信号处理方法等多种因素的影响。该文针对方位多通道SAR的信号重建性能进行深入分析。首先对信号模型进行完善,引入了重建系数的概念,从而使得多通道SAR信号重建网络的设计具有更大的灵活性,继而在数字波束形成的框架下对一系列重建方法进行了介绍。其次,在得到重建误差功率谱的基础上,进一步给出信噪比与方位模糊比的解析表达式。最后,对各种算法的重建性能进行了定量评估与分析。仿真实验验证了理论分析的正确性。分析结果将为方位多通道SAR系统设计、信号处理以及图像质量预估提供有效支撑。

摘要：根据信息系统安全体系结构设计原则和方法,结合空间通信的特性,通过分析空间Internet的安全威胁、安全需求、安全等级、安全策略和安全机制,提出了空间Internet的安全体系结构模型。

摘要：构建分布式卫星合成孔径雷达(synthetic aperture radar,SAR)仿真系统对于分布式卫星SAR系统设计、测试与验证、减少系统研制费用、降低决策风险,以及系统的在轨运行管理,都具有重要的意义。围绕分布式卫星SAR仿真系统设计需求,提出了分布式卫星SAR系统柔性仿真框架模型,并讨论了设计和实现过程中的关键技术。该系统的实现和应用验证了框架和技术路线的可行性,为未来进一步完善和广泛应用奠定了基础。

摘要：本文探讨在运用ML语言中体现面向对象的程序设计风格。更有意义的是,利用ML语言的“隐式类型化及同式多型自动类型检验系统”,赋予面向对象程序设计风格以同式多型的类型化,从而,达到类型化的面向对象程序设计风格。

摘要：研究了基于Matrox图像采集卡的DR图像采集中的信号控制问题;设计了平板状态控制和数据处理流程;提出了原始图像的隔行扫描及其区域交换算法;解决了如何将原始图像调整为规整的X线图像的问题,并在此基础上设计了DR图像的采集、显示和存储程序,分别对水模和人体部位进行了X线摄影实验。结果表明,本文提出的方法准确可靠,解决了DR图像采集过程中的信号控制和图像处理的问题,获取的X线数字图像真实有效,已经被应用于实际的DR系统。

摘要：利用共生进化原理设计人工神经网络 ,创造性地融入了免疫调节原理中的浓度抑制调节机制以保持个体的多样性 ,提出了基于免疫调节的共生进化网络设计方法 .通过对神经元群体而不是神经网络群体进行进化设计 ,显著地减轻了计算量 ,同时利用生物免疫原理中的浓度机制和个体多样性保持策略进行免疫调节 ,有效地克服了未成熟收敛现象 ,提高了群体的多样性 ,从而加快优化设计速度 .实验结果表明该方法可高效、准确地设计鲁棒性很强的神经网络 .

摘要：Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEARⅡ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。

摘要：分析了弹道导弹突防过程中有源假目标航迹的运动学特性,指出和实体目标相比,真假目标运动学特性的差异是一种非显著性差异,这种非显著性差异可以体现在初始参数估计的残差上。对于实体目标而言,其最优估计的归一化残差为高斯分布,而假目标残差为非高斯分布,可以作为鉴别的依据。设计了初始参数的最大似然(maximum likelihood,ML)估计算法,采用Levenberg-Marquardt(L-M)迭代法进行求解,并利用估计残差设计了假目标的鉴别算法。该方法的优点是不仅可以鉴别假目标航迹,而且对真目标而言,该算法同时是最优定轨算法。仿真结果验证了算法的有效性。