高速俯冲SAR多模式实时信号处理系统

针对高速俯冲SAR多模式实时信号处理系统的特殊性,提出了一种设计与实现方案.对高速俯冲SAR应用背景及工作模式进行介绍,并说明了本系统所使用的SAR成像算法.在此基础上,提出了可包容单通道多子图的扫描SAR处理和三通道单脉冲处理的系统架构设计方法,并对其中的关键技术如原始数据流方式、高效率数据共享方法、快速模式切换方法和低功耗休眠功能进行具体描述.挂飞试验的实时处理结果验证了本系统的正确性和有效性.     

共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

WNXD数据库存储策略的研究和实现

针对NativeXML数据存储性能不高、支持查询和更新效率低等不足,提出一种新的半结构化信息存储模型WNXD。引入动态倒排技术和数据映像机制,将记录和分页的存储模式相结合,建立3种结构化索引,用不同方法解决了结构化和动态增长的矛盾。创建了实用的存储模型,提供了从整体到局部,从元素、属性到具体值的全面覆盖访问策略,底层的数据存取,尤其是内容混杂的各类形式异构数据的有效性和完整性存取,得到了最大程度保证,查询次数减小了I/O,提高了系统处理性能。     

利用STEP/XML的CAD/CAPP信息交换与共享模型及实现

针对异构系统之间难以解决的产品数据交换与共享问题,深入研究了制造信息资源共享、STEP AP203/AP214文件到AP224文件的转换规则等关键技术。采用STEP标准作为CAD系统的信息输出,提出了通过STEP中性文件转换器把CAD系统输出AP203/AP214文件转换成AP224文件,CAPP系统通过AP224中性文件来获取零件的几何和工艺信息的方法。利用STEPAP28所制定的转换规则,将STEP文件转换为相应的XML中性文件,建立XML schema库,以实现制造信息的数据交换和共享。     

基于DTD元素树的XML与RDB的双向映射算法研究

分析了XML文档到关系数据库的映射方法,并提出了元素树和元素树节点与其他类型数据之间的映射算法.在此基础上建立了XML模式和关系模式之间的双向映射模型,并给出了双向映射模型算法,从而完成了XML与RDB数据转换.     

区间删失数据函数的均值估计

运用无偏转换思想构造了区间删失数据函数的均值估计,并在此基础上对所构造的估计量方差进行了研究.针对Ⅰ型区间删失情况和Ⅱ型区间删失情况,找到了估计量方差有限的条件.     

云南省L波段雷达运行监控平台的设计与实现

基于B/S(Browser/Server结构)模式开发的云南省L波段雷达运行监控平台,有效地实现了云南省5部L波段雷达的探空设备和探空数据的监控.整个平台由FTP计划任务、数据录入系统和L波段雷达运行监控系统3部分组成.运行情况表明,该平台的建立有助于全面掌握我省探测网系统设备的运行状况,保障高空探测网的稳定运行,提高了气象探空数据的数据质量.     

基于粒计算的商业数据流概念漂移特征选择

商业数据流具有动态性、漂移性等特性,概念漂移特征选择是数据流挖掘的重要工作之一.本文从数据流的特点和概念漂移特性出发,提出了数据流的概念形式化分析流程和基于粒计算构建数据流的概念形式化描述模型;商业数据流的概念漂移实际上取决于其概念外延的变化,文中使用包括外延偶合度和内涵偶合度在内的概念偶合度来描述概念间的相似性;经过粒化的数据流由概念格来表示,进而通过概念格对的松弛偶合度来分析数据流特征;结合概念偶合分析和数据流变化特征,阐述了一种基于数据流概念格对的松弛匹配偶合度算法,并据此分析概念格对来选择数据流的漂移特征.通过实例验证、评价了特征选择,证明其有效性.     

（F,F）-数据离散矩形区域在数据辨识中的应用

应用新数学模型P-集合,提出数据传输中三种异常数据的概念：F-异常数据、F-异常数据与（F,F）-异常数据;提出（F,F）-数据离散矩形区域概念;给出丢失-侵入数据发现定理、系统输出数据分离定理、系统输出数据类型辨识定理、（F,F）-异常数据在（F,F）-数据离散矩形区域的定位定理;给出（F,F）-数据离散矩形区域在系统输出数据类型辨识中的应用。丢失-侵入数据发现定理与系统输出数据分离定理是系统输出数据类型辨识的基础,（F,F）-数据离散矩形区域的提出,为系统数据的几何辨识和系统出现异常数据的预警提供了一种新的理论与方法。     

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。