一种VFSM的图形用户界面的测试方法

采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单 ;然后 ,给出了一个VFSM - >FSM的转化定理和转化算法 ;接着介绍了基于VFSM的GUI测试方法的步骤 ;最后给出了该方法的一个应用实例数据 ,数据表明采用VFSM的GUI测试方法大大减少了状态。

基于Web的嵌入式应用系统的模型设计与研究

对目前嵌入式系统开发中存在的不足,分析了以Web为应用系统的开发和应用平台具有的优点,提出了结合嵌入式系统技术和Web技术的模型:基于Web的嵌入式系统的开发模型.文中主要从"模型的设计原理"、"模型的逻辑结构"以及"模型的实现方法"3个方面对该模型进行阐述.探讨了系统实现的一些技术:组件化技术、压缩技术和系统的安全机制等.并列举了基于该模型的一个应用实例.

基于Kerberos协议的SyncML安全性改进

本文分析SSL协议中握手协议的不安全性,在此基础上分析了SyncML同步传输过程中存在的安全风险。在对SyncML系统的安全风险分析的基础上,提出用Kerberos协议对SyncML数据同步进行身份认证,从而有效提高了系统的安全性。

基于Lucene的中文分析器分词性能比较研究

针对Lucene自带的中文分析器分词性能不理想并且难以选择第三方分析器的问题,研究多种基于Lucene的中文分析器,对语句分词、分词速度、建立索引的空间与时间、检索结果以及检索速度等方面进行比较。分析结果表明,在Lucene框架下,基于词典分词的Paoding分析器总体性能最优,Lucene自带的一元分析器分词速度最快,imdict与ICTCLAS4J分析器在算法效率上存在一定改进空间。

嵌入式软件系统界面可定制模型

针对嵌入式软件界面子系统的设计特点 ,介绍了进行嵌入式软件系统界面设计的可定制技术 ,并提出了一个界面可定制模型。首先阐述了界面可定制模型的设计原理、模型结构和实现技术 ;然后介绍了界面可定制模型在嵌入式软件系统界面子系统设计中的一个应用实例。实例证明 。

基于Windows CE的嵌入式视频监控系统研究与实现

后PC时代的到来,使人们开始越来越多地接触到嵌入式产品,嵌入式技术已成为一个研究热点和消费热点.视频监控在各行各业已经得到广泛的应用,由于应用范围的差异、传输条件的限制等因素,嵌入式监控系统必将成为开发及应用的新热点.本文立足于嵌入式系统、Windows CE操作系统、网络应用等技术,根据现实应用,在eBoxII平台下研究和实现了视频监控系统E-Life,有机地结合了嵌入式终端设备和网络传输,符合嵌入式和网络结合的发展趋势,同时,这一系统架构也为视频监控系统的发展开辟了新的前景.

面向对象的嵌入式系统开发技术

为了改善目前嵌入式系统中的代码数量及复杂度越来越高,维护效率低下,不能满足某些高级应用的要求等现状,提出一套新的基于面向对象的嵌入式系统开发技术。介绍面向对象嵌入式开发的应用现状和模块体系结构;针对面向对象编程所带来的更多的运行时间和资源需求进行性能分析。结合面向对象和底层语言应用,可以取得性能和可行性的平衡优势。

基于国际标准的CAI网络课件设计规范研究——可分享内容对象参考模型SCORM

本文对SCORM规范的产生背景及原因作了分析说明,同时描述了SCORM的发展历程和版本演变,并对SCORM规范的内容组成和规范中的重要概念及技术要点作了较详细的阐述和分析概括。

基于Win CE系统的内存数据库SQL解析器的分析与设计

本文在厦门大学研发的基于WinCE系统内存数据库xMMDB的基础上,利用xMMDB提供的内存数据库API,设计并实现了SQL解析器,使该内存数据库系统能够支持SQL语言。本文阐述了使用yacc工具设计SQL操作的语法树及完成内存数据库系统语法分析的过程,提出了一种SQL解析器的实现方法,通过C语言编写的词法分析程序,向语法分析程序提供单词,并设计了一个结构体存储词法分析中的关键字属性,以便在调用内存数据库API的时候使用。

一种预测文本情感分类词语权值的算法

机器学习方法是识别评论情感倾向的有效方法之一。为了使机器学习的方法得到一个满意的结果,合适的情感词权值是至关重要的。基于中文词语的语义相似度原理,该文提出了一种逐步预测每个情感词权值的方法。实验说明了,利用我们计算的权值,结合TF-IDF公式,分类结果能相对地得到提高。

农业普查空间数据处理与分析平台的构建

刚刚进行的第二次农业普查为了解我国农村现状提供了宝贵的数据资源,然而现有的农普数据处理系统缺乏对农业普查数据的深入挖掘和分析,无法应对农业普查数据的分析需求。本平台以某地区第二次农业普查数据为基础,能灵活全面地进行农普数据的组织提取,并利用地理信息使数据直观有效的展示。根据空间相关性采用新的缺值估计方法,利用空间数据分析模型对统计信息进行分布、行为特征分析,充分发挥农普数据的实用价值,成功实现了数据处理与分析一体化。

基于SVM和HMM二级模型的行为识别方案

人体行为识别对于个人辅助机器人和智能家居等一些智能应用,是非常必要的功能,本文运用SVM&HMM混合分类模型进行日常生活环境的人体行为识别。首先,使用微软的Kinect(一种RGBD感应器)作为输入感应器,提取融合特征集,包括运动特征、身体结构特征、极坐标特征。其次,提出SVM&HMM模型,SVM&HMM二级模型发挥了SVM和HMM各自的优点,既结合了SVM适于反映样本间差异性特点,又发挥了HMM适合处理连续行为的特点。该二级模型克服了单一SVM模型、传统HMM模型和在人体复杂和相似行为建模过程中精度、鲁棒性和计算效率上的不足。通过大量实验,结果表明SVM&HMM二级模型对室内日常行为的识别具有较高的识别率,且具有较好的区分性和鲁棒性。

基于BP算法的信用评估模型的应用研究

本文分析了银行信用评估及其评估模型,介绍了常规BP神经网络,指出它在银行信用评估中的优势;并且设计实现了一个基于改进的BP神经网络的银行个人信用评估模型。基于此模型对已有个人信用数据,尤其是国内数据进行分析表明此模型有较强的实用性。

基于Union Cloud的高效可靠监控视频存储模型设计

基于小型云滴和跨云滴的数据副本冗余策略及内外两层通信机制,提出了基于Union Cloud的监控视频存储解决方案,从而真正发挥云存储的技术优势.根据监控视频存储的要求与特点,并借鉴相关工作成果,设计了基于Union Cloud的监控视频存储模型,给出了相应的说明和采用的算法,实现了高效、可靠的监控视频数据存储系统.最后,对未来的工作进行了展望.

网上作业系统的设计与实现

以 Web数据库作为基础的网上作业系统 ,采用了 B/ S模式的系统结构 ,应用ASP及相关开发技术 ,实现了作业系统的网络化。

多媒体应用的网络需求及新一代网络技术综述

首先分析了多媒体应用的网络需求 ,包括带宽、QoS和多播支持 ,然后介绍了一些现有网络技术和协议 ,包括新的通信技术、RSVP(资源预留协议 )

基于可信计算的移动设备上的软件行为控制策略

简要介绍可信移动平台的思想,在软件行为方面提出了一个基于可信平台的手机访问控制策略,并给出基于可信计算核心安全硬件可信平台模块在这个策略模型上的应用及实现方法。

统计数据查询系统的设计与实现

以统计机构日常统计数据为基础,对原始数据进行清理整合,构建一个满足系统需求的数据库。在系统中创建包括跨年度、跨行业指标关联的指标管理体系,提出以指标为基础、法人单位和时间为限定条件并可以附加多种过滤条件的查询方式,使统计查询更具灵活性和多样性,查询结果以表格形式展示,具有清晰明确的特点,并且后期处理更加容易。