基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.     

VTS特征补偿算法在语音识别中的实用性研究

在语音识别实际应用中,由于噪声的多样性,会造成训练和测试的失配,导致系统性能下降.特征补偿作为鲁棒性语音识别的一种重要方法,通过对训练和测试环境之间差异的研究,在特征空间中修正语音特征,使得修正后的测试语音特征能够更加接近训练语音特征.本文介绍一种实用的基于环境模型矢量泰勒级数(VTS)近似的特征补偿算法.首先验证传统的VTS离线算法在实际车载环境下的有效性;其次由于离线算法本身运算量很大,为了使其实用化,本文对算法进行改进,使其在提高效率的同时又能够保证与离线时相当的性能.通过实验结果验证,本文提出的实用化VTS算法在识别性能上相当接近离线时最好的性能.     

基于独立知识库的产品建模系统

与传统的面向几何的产品建模技术相比,面向知识的产品建模技术更适应现代设计的发展需要,可在相当程度上解决产品设计的智能化和自动化问题.针对该技术应用中存在的问题:1)国内的主流CAD系统尚不具备知识融合与知识驱动的能力;2)面向知识的产品建模依附于某个CAD软件,提出以独立知识库驱动为核心的产品建模新体系,该体系分解为核心层、用户层和几何建模层,通过核心层将用户需求和CAD软件集成,实现智能化设计,为不同行业的产品数字化设计提供可行的解决方案.     

夜晚视频目标检测中的车辆灯光干扰消除方法

针对夜晚视频目标检测中的车辆灯光干扰问题,提出一种基于支持向量机(SVM)的灯光干扰消除方法。用背景差方法对输入视频进行初始分割得到前景区域,把前景区域划分为子块,提取子块的灰度分布特征和纹理特征;选择一个最佳特征子集作为输入向量,对SVM分类器进行训练识别;将识别为灯光的子块去除。实验结果表明,与其他分类器相比,基于SVM的方法在准确率和实时性方面性能较优。     

基于CK-CPU的Linux2.6实时性能优化

针对Linux2.6在实时中断应用上的局限性,提出一种基于CK-CPU的实时性能优化方案。设计用于实时中断的快速中断请求(FIQ)机制,在FIQ处理程序退出时增加实时进程调度策略,将FIQ服务程序的公共代码和堆栈保留在便笺式存储器中,减少FIQ服务程序的内存访问次数并加快其执行速度。实验结果证明,该方案可显著提高Linux2.6的实时性能。     

一种支持大规模数据的多维可视化分析框架

以Hadoop为代表的可扩展大规模数据库难以进行多维可视化分析。为此,设计基于B/S架构的可视化分析框架Bizard。数据模型通过封装底层数据接口以支持业界多维数据访问协议XMLA,从而在展现层易于接入支持XMLA的传统分析工具,同时采用视图物化技术提高分析性能,利用互联网技术丰富用户分析体验。实验结果表明,该框架能在高达千万条记录级的数据上进行多维可视化分析。     

一种带渐消因子的偏差配准和目标跟踪算法

在多平台多传感器跟踪系统中,提出一种带渐消因子的偏差配准和目标跟踪算法,结合配准偏差和目标状态形成扩维状态变量以构造新的偏差配准模型,在跟踪过程中引入渐消因子对突变的目标状态变量进行快速响应。仿真结果表明,该算法能使系统偏差估计迅速收敛到真实值附近,在偏差发生突变时,具有较好的自适应性,并且可以提高系统的整体跟踪精度。     

基于神经网络的鲁棒NLOS误差抑制算法

提出一种基于Kalman滤波器和神经网络(NN)的非视距(NLOS)误差抑制算法。根据到达时间(TOA)测量值的特点和NLOS误差的统计特性,推导出Kalman滤波器输出无偏估计所需满足的条件,利用NN估计该条件中的环境参数,实现NLOS误差抑制。仿真结果表明,该算法在估计精度和算法鲁棒性方面均具有较好的性能。     

普适多媒体信息发布系统的构建

设计了一种基于龙芯2F的低成本多媒体信息发布系统,并提出了一种基于请求属性的更新调度算法。硬件体系结构以龙芯2F作为服务器CPU,CDMA、WiFi和有线多模更新模块,蓝牙推送模块等构成,软件环境为Linux操作系统。更新调度算法依据应用场景对请求加权予以最优调度,较好地降低了由于等待延迟而产生的系统开销。实验结果表明,系统运行稳定,更新响应实时性高,能够较好地满足用户需求,而且更新调度算法使系统各项指标均好于传统的FCFS算法。     

卫星组网仿真中想定生成系统的设计与实现

为解决卫星组网仿真中的想定编辑生成问题,分析了组网仿真多任务多粒度的特点,提出了一种基于可扩展标记语言XML建模结合共享技术的想定动态生成方法.该方法将想定场景中的实体对象模型以及关系对象模型采用XML文档组织,可以根据仿真任务目的灵活选取所需模型生成想定文件.使用了将细粒度对象共享使用的方法,有效地提高了系统的效率....