基于Java平台的可视化部件重用

在网络环境下的可视化部件重用，是软件开发的新发展方向．在Ｊａｖａ部件模型ＪａｖａＢｅａｎｓ支持下，利用ＩＢＭ公司所提供的ＶｉｓｕａｌＡｇｅＪａｖａ可视化环境，进行了基于部件重用的可视化软件开发研究．讨论了ＪａｖａＢｅａｎｓ中有关部件重用的机制及其实现途径，并介绍了这些机制和实现途径在使用ＶｉｓｕａｌＡｇｅＪａｖａ的“报表生成工具软件”中的实际应用     

面向对象重用部件可重用度的度量

提出了一种量化的可重用度度量模型．该模型充分考虑到重用部件的所属领域、复杂程度、内部依赖性和外部依赖性等部件的静态特性，同时可根据用户对部件的使用情况进行动态调整．     

Statchart规格语言的语法分析研究

Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求。实际上,Ｓｔａｔｅｃｈａｒｔ满足层次的描述,包括高层和低层事件,更显著地是采用广播通信机制产生连锁反应而引起多层并发。     

可视化映射事例的检索方法研究

可视化映射需要满足表示准则和有效准则。本结合基于事例的推理技术对可视化智能映射进行研究,提出了一种适合可视化映射的事例检索新方法。分析了可视化映射问题的索引模式。在集成神经网络与模糊认知图的基础上,给出了可视化映射事例的匹配算法和最佳事例选择算法,消除了基于固定相似性评价尺度进行事例检索的缺点,也解决了带有主观评价因素的可视化映射的表示准则和有效准则问题。     

SDL-2000的形式语义研究

介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用多代理的分布式ASM定义。     

基于遗传算法的旋律匹配模型研究

基于内容音乐检索(MIR)以其简捷、直观的检索方式成为模式识别、信号处理等领域研究的热点之一.在MIR问题中,特征的选择、表示和匹配是核心技术.在研究分析音乐物理及感知特征的基础上,以旋律作为主要特征,通过基音提取和动态阈值分割音符算法,为待检索音乐数据集和输入音乐样本建立了旋律表示模型;应用遗传算法对齐模板,修正哼唱输入个体差异,以提高检索精确度;融合欧式距离和动态时间扭曲(dynamic time warping,DTW)相似度实现度量匹配模板,以加强容错和泛化能力.实验表明,算法的速度及精度可良好地满足哼唱系统的要求,并可扩展应用于相似的系统.     

信息可视化研究

对信息可视化的相关概念、基本过程与特点以及信息可视化的研究现状作了综述，信息可视化是建立在诸多学科基础之上的理论和方法，揭示了繁杂的抽象信息之间的复杂关系和信息中隐藏的规律。     

Statechart规格语言的语法分析研究

Statechart是一种用以规约复杂反应式系统行为的可视化语言.它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求.实际上,Statechart满足层次的描述,包括高层和低层事件,更显著地是采用广播通信机制产生连锁反应而引起多层并发.通过对Statechart语言进行了分析研究后给出了其形式化文法表示.在此基础上,讨论了Statechart规格语言语法正确性分析的问题.     

科学计算可视化与数据可视化的比较研究

可视化技术是在20世纪80年代发展起来的一个新的技术领域。本文将着重介绍科学计算可视化的提出背景及其特点,数据可视化的概念意义及应用,以及它们的基本思想、比较它们的不同点及应用领域。     

图像特征检测与匹配方法研究综述

几十年来,图像特征检测与匹配一直是图像处理的最核心领域之一,是计算机视觉的基石.没有特征检测与匹配就没有SLAM、Sfm、AR、通用图像检索、图像配准、全景图像等视觉任务.本文在回顾几十年来的经典检测算法的基础上,阐述了引用最新的以深度学习为首的机器学习算法后,在本领域取得的最新进展,包括特征点、局部特征子、全局特征子、匹配及优化、端到端框架等所有关键点,展示了算法各自的优缺点.总而言之,面对工业界的宽基线、实时、低算力检测的要求,图像特征检测和匹配仍然是一项未能完整攻克的任务,融合特征点、局部特征子、全局特征子、匹配及优化的多任务全局框架成为未来发展的趋势.     

基于PVS的飞机订票系统的形式化描述与验证

形式化方法主要应用于安全性第一的系统的规范与形式验证。原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境。本文介绍PVS系统的证明方法和特点 ,并利用PVS系统对飞机订票系统的需求给出了形式化规范 ,对部分关键属性完成了证明 ,说明了使用PVS系统的某些经验和技巧     

概率可靠多播协议Bimodal Multicast的IOA形式规范

介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括Bimodal Multicast中消息的表达,状态和动作的定义,并重点讨论了Bimodal Multicast的最近最先语义的描述方法.     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

基于XML的类规约实现和重用研究

将XML技术应用到类规约描述和重用中,提出了一种基于XML的类规约重用方法．使用XML描述可重用的类规约,设计类规约重用的一般流程以及需要遵守的准则,然后在类规约库中查找符合需求的类规约进行重用．实践证明,重用XML描述的类规约可以使软件分析效率得以大幅提高．     

基于对象匹配方法的多重表达中的一致性处理

通过对多重表达情况下空间数据一致性的分析,给出了一种在表达层同构情况下通过对象属性特征匹配过程和对象空间关系匹配过程来维护空间对象之间一致性的方法,该方法考虑了空间对象的属性特征一致性和拓扑关系一致性,可以更全面地解决地理信息系统中多重表达情况下空间数据的一致性问题,同时能更有效地提高空间数据的质量.     

利用局部特征联合匹配的非刚体目标跟踪

针对视频序列中非刚体目标的跟踪问题,提出了基于局部特征联合匹配的快速跟踪算法．算法将基于关键点的特征匹配问题转化为求解平衡指派的最优化问题,进而依据整体匹配最优的原则实现特征的联合匹配．跟踪过程为:首先分别提取目标模板和当前搜索区域的局部关键点并进行特征描述;然后依据联合匹配策略确定目标模板关键点在输入帧图像中的匹配结果;最后依据匹配结果确定目标在输入帧图像中的位置和尺度．实验结果表明,该算法对目标的非刚性形变具有较强的鲁棒性,能够适应复杂的背景变化并获得稳定的跟踪结果．     

Design of an enhanced visual odometry by building and matching compressive panoramic landmarks online

Efficient and precise localization is a prerequisite for the intelligent navigation of mobile robots. Traditional visual localization systems, such as visual odometry (VO) and simultaneous localization...     

一种电子元器件组装结果检测方法

为了更快更准确地检测印刷电路板(PCB)上的元器件是否存在漏焊、误焊或极性倒置等装配错误,提出了一种基于类电磁机制算法的电子元器件组装结果检测方法．该方法利用类电磁机制算法强大的搜索策略和智能的寻优机制,通过随机均匀抽取目标区域坐标点产生初始种群;以改进的归一化相关函数作为目标函数,把图像的匹配同名点看作带电粒子,通过粒子的移动与更新搜索图像的最佳匹配点;引入非均匀变异算子对移动粒子操作进行了改进;给出了该方法的实现步骤和基本流程．实验结果表明,新的检测方法具有更快的收敛速度和更高的识别率,适用于PCB板的检测．     

分级优化自重构构形匹配策略研究

针对机器人自重构过程中的构形匹配问题,提出了基于分级优化机制的自重构构形匹配策略．首先以待匹配方案与目标构形之间的公共连接作为一级优化目标;在一级优化结果的基础上结合构形连通性这一特点构造新的目标函数,即以匹配方案与目标构形之间的公共拓扑作为二级优化目标．通过设置两级优化目标,简化了构形匹配的过程．最后利用遗传算法对所提出的构形匹配方法进行了验证,结果证明了该匹配方法的可行性．     

辽河AH-90#沥青老化组分变化研究

笔者结合沥青路面再生利用中的热点问题,采用理论分析与实验数据相结合的方法,阐述了基质沥青老化的原理以及组分、性能的变化规律.结果表明,沥青在老化过程中,饱和分含量变化幅度不大,芳香分的含量逐渐减小.胶质含量总的趋势是下降,不断转化为沥青质.而沥青质含量不断呈增大的趋势.随老化时间的延长和老化温度的升高,沥青的胶体不稳定指数逐渐增加.本研究旨在探讨沥青老化组分变化规律,为沥青再生技术提供理论依据.