一种用UML和SystemC进行嵌入式系统的系统级建模的方法

本文用UML建模工具RationalRose设计了果蔬清洗机的嵌入式系统UML模型,然后再以UML模型为蓝本,用可执行的SystemC语言对该系统进行系统级描述.论文同时给出了系统的最终描述结果,并运行得出了仿真结果.     

基于自然元法和精细积分法的功能梯度材料瞬态热传导问题求解

为促进无网格法分析技术在热传导分析中的应用,提出空间离散采用自然单元法、时间离散采用精细积分法求解功能梯度材料瞬态热传导问题的数值计算方法.在计算过程中,取高斯点的材料参数模拟功能梯度材料特性的变化.温度场采用自然邻接点插值形函数进行离散插值.数值算例验证该数值算法的正确性和有效性.     

最小描述长度优化下的医学图像统计形状建模

统计形状模型(SSM)是有效的图像处理与分析方法。为了建立模型,需要从形状样本集中提取出具有对应关系的轮廓采样点集合,这是决定模型性能的关键。传统的手动标定这些点集来确保对应关系枯燥耗时且带有主观性,更难以向高维拓展。对形状建立逐层的多尺度参数表示,基于最小描述长度(MDL),在粗尺度上建立反映点对应程度的目标函数并最小化,提出首先确保粗尺度上具有最优意义的点对应,同时在精尺度上使用最便捷的弧长参数函数来确定特征点,完成感兴趣目标的快速统计形状建模,进而统计分析以验证模型性能,为后续图像分割或定量分析打下基础。实验对肌肉骨骼核磁共振成像(MRI)中椎骨、椎间盘以及半月板等具有临床意义的结构建立了统计形状模型,验证了本文方法与手动取点相比具有客观可重复性且更加简洁,与单一尺度下的MDL方法相比时间效率更高。基于此模型的图像分割与基于手动建模的分割相比,误差相当或有所降低。     

用于UAV视觉导航的跑道检测与跟踪

跑道检测与跟踪是UAV视觉导航研究的重点内容.针对UAV着陆过程中跑道变化情况,提出一种新的方法,利用单目视觉信息,基于距离跑道的远近不同采用不同的策略实现跑道检测与跟踪,帮助UAV自主降落在安全区域.当距离较远时,利用地平线检测和模板匹配的方法对跑道进行定位;结合模板更新策略实现跑道跟踪;当距离较近时,在融合远距离跑道方位信息的基础上利用改进型Canny算子和Hough变换对跑道边缘进行更精确的描述.实验结果表明,利用该方法可以有效地对跑道进行检测和跟踪,并且具有较快的处理速度.     

结合水平集方法和PL主曲线分析的重叠细胞检测

提出了一种重叠细胞检测的新方法,该方法针对细胞图像处理中因细胞重叠而引起的过分割与欠分割现象这一难点,引入基于Mumford-Shah模型的水平集方法得到细胞的初始轮廓,采用EP（erosion-propagation）和PL主曲线相结合的图像分析方法得到目标的精确轮廓线。使用基于目标形状的图像配准方法和基于目标轮廓的分段特征分类器完成重叠细胞的检测。应用该方法对600张随机抽取的细胞图像中9374个细胞进行检测,实验正确率为91.83%,结果表明该方法能够有效地判断细胞是否重叠和重叠类型,为后续分割工作提供依据。     

OWL的本体推理方法研究

针对RDFS与OWL语言之间的兼容性问题,从本体推理机的角度研究了扩展RDFS推理机支持OWL语义的两种方法。在Sesame系统的基础上,通过规则扩展的方法实现了升级方案对RDFS和OWL语言双重支持功能。实验测试表明,扩展后的本体推理机完全支持RDFS语言,其推理能力也大大超过了单纯的OWL语言推理机。     

低码率图像的快速SV拟合及其最优码流结构的描述方法

给出了一个在低码率图像描述中应用最优支持向量(SV)描述的编码算法,提出一个训练样本集缩减策略,在支持向量机(SVM)模型中用于快速拟合重要的交流(AC)系数,它能够在基本保持原有精度的前提下,有效地提高SVM的回归速度,减少输出参数;提出了直流(DC)系数的按位差分预测编码方法和压缩性能更好的码流产生方法。实验结果表明,该方法不仅缩减了编码时间,而且在相同码率下能获得更好的图像质量。以往基于SV的编码未提及码流结构的描述方法,而快速SV拟合和数据组织方法克服了以往算法可行性差的缺点。     

导弹武器系统任务空间概念模型开发

为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。     

基于图元的测试信息描述技术研究

本文分析可视化自动测试系统中测试信息描述的方法,简单介绍基于图元的可视化测试平台的组成结构。然后,针对测试设计过程中硬件测试环境设计、测试软件的流程设计、输入输出数据设计这三个步骤,使用XML模式分别定义了相应的描述语言。为可视化界面信息的描述设计了图描述语言,为测试信息的描述设计了测试描述语言。测试设计与生成的测试程序之间通过XML脚本文件松耦合,不仅便于与其它系统交换数据,而且便于系统本身扩展和更新。     

一种改进编码器角度解算过程的方法与实现

在机械电子一直是一个热门学科,其目的是通过软件控制机械操作来代替机械的哑巴解决方案。DS-25旋转电子编码器能够很好地与机械电子应用相匹配,其输出为两路标准的sine和cosine曲线,通过分析sine和cosine数值来计算编码器所对应的绝对角度位置。通过对DS-25的工作模式分析和实际应用情况提出角度解算的改进方案,该方案利用DS-25工作于粗略模式下测试到的角度值来推算精确模式下的信号周期,结合精确模式下测试到的角度值来计算编码器所对应的绝对角度。摒弃其原有的复杂查表过程进而节省电子表格的存储空间,在降低硬件成本的同时提升了软件灵活性。实验证明,算法的改进能够节省约2KB的存储空间,角度位置误差能控制在1‰以内。