基于模型驱动的机载嵌入式软件应用

传统的软件开发方法已无法应对机载嵌入式软件开发面临的严峻挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效地提高了机载嵌入式软件开发效率。文中对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较,证明前者更优,验证了基于模型驱动开发的软件设计方法能有效地提高机载嵌入式软件的开发效率。     

AADL模型的形式化研究

在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。     

基于本体的多模式融合语义提取模型

摘　要 基于语义的视频检索要处理的两项关键技术就是解决视频低层特征和高层语义概念间的语义鸿沟以及有效的语义提取模型.本文通过对视频进行多层次语义分析,采用有效的语义对象分割方法提取视频中的语义对象,以语义对象为中间层,并融合图像、声音、文本的多模式视频特征,从而缩小语义鸿沟。其次,视频语义概念具有多粒度性,由于本体在表示概念及概念间联系时的优越性,本文提出基于本体的语义提取模型,在从图像、声音、文本中提取出的原子概念中,推理出更高层次的复合概念。最终运用该模型提取的视频语义就具有更丰富的语义层次和语义粒度,从而更接近人类思维中的高层语义概念。     

平板显示的通用扫描模型

文中提出了平板显示系统的通用扫描模型,包括电路模型及数学模型。依据显示成像过程中的像素独立及驱动累积等基本原则,抽象并建立显示系统及其扫描子系统的电路模型;接着,对扫描子系统进行性能分析,定义衡量系统性能情况的关键指标;最后,针对实际应用中的具体扫描模型进行性能比较,验证了该模型的实际效果。该通用扫描模型的建立为高灰度等级扫描方法的优化与推导提供理论基础,具有科学意义和广阔的应用前景。     

海洋地质数据库应用模型构建方法

随着海洋地质调查程度的不断深入,海洋地质调查业务越来越多,如何合理地管理使用海洋地质调查数据成为研究热点。文章以面向对象的思想为基础,借鉴POSC Epicentre数据模型和中国石化石油勘探开发数据模型建设思路,提出了面向业务的海洋地质应用模型标准体系架构,介绍了海洋地质调查数据库应用模型的构建方法,对海洋地质调查业务进行系统的分析,详细描述了海洋地质业务模型的分析方法,设计了逻辑模型的构建流程。以海洋地质调查地球物理业务为例,构建了其业务模型和逻辑模型,可以弥补现有海洋地质数据库系统存在的缺陷,提高数据服务的效率。     

基于标准标签的用户兴趣模型研究

信息大爆炸的网络时代,个性化推荐是解决信息“超负载”的有效办法。用户兴趣模型是个性化推荐的核心,关系着整个推荐系统的推荐质量。标签一直被用于资源分类,在个性化推荐方面却很少使用。本文采取向量空间模型的建模方法,利用个性化标签描述用户兴趣,并提出一套简洁有效的标签标准化方法—基于属性共现率的标签标准化以及基于聚类的标签标准化方法对用户的自定义标签进行标准化。该模型能有效降低用户兴趣模型的向量维数,避免分析标签语义的复杂过程,且能够从用户的角度贴切地表达用户兴趣,实验结果表明该模型有助于提高个性化推荐的服务质量。     

基于话题模型的视频动作识别系统研究

从视频中识别人体动作是目前计算机视觉领域一个具有挑战性的方向。本文采用文本处理领域的bag-of-words方法,将视频表示为文章。在视频中寻找局部区域内在时间与空间上变化最大的点,作为时空兴趣点,在兴趣点上采集的视觉特征,作为文章中的词汇。在此基础上引入主题模型,对于视频中的隐含主题进行分析。最终通过主题在视频中的分布,经过判别法则识别其中的人物动作。通过在公开的视觉数据集上进行测试,结果表明本方法的表现接近或超过目前国际上领先的方法。     

基于数据挖掘的上市公司绩效评价研究

以2006-2011年我国A股10331个观察样本为研究对象,分别从盈利能力、偿债能力、成长能力和运营能力4个方面反映企业绩效,采用数据挖掘技术构建上市公司绩效评价模型。在对我国上市公司绩效的发展现状分析时发现,我国上市公司绩效呈现了N型的趋势。本研究丰富了上市公司绩效评价方法,拓展了上市公司绩效研究的外延,分析了我国上市公司绩效的现状,希望能对后续研究有所启示。     

基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍。文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性。     

XML检索方法研究

随着XML在互联网信息传输、数字图书馆领域的广泛应用,XML检索成为了XML应用过程中需要解决的一个关键问题。研究一种高效、准确的XML检索方法对提高系统效率、可用性有非常重要的意义。本文针对XML检索技术进行研究,对目前已有的检索算法进行了对比总结。重点从XML检索亟待解决的重要问题：XML查询语言,XML索引和XML检索模型等方面对XML检索方法进行了论述。XML检索模型目前是通过传统模型改进而来,可以通过研究传统索引方法来进一步改进XML存储与索引。     

基于数据挖掘的用户忠诚度分析

用户聚类分析是数据挖掘中的重要手段。文中根据视频应用的特点,在传统的RFM模型基础上,提出一种根据用户观看行为对用户进行聚类的方法:Video-RFM聚类法。利用该方法,文中对中国最大的网络电视运营商PPTV的客户端用户进行了聚类分析。在此基础上,提出了一套将Video-RFM聚类法所使用的用户行为指标,映射到用户忠诚度指数的有效方法。经过实际数据验证发现,Video-RFM方法能够成功地区分行为差异较大的用户群,同时也能够很好地区分用户忠诚度。文中提出的聚类方法对了解视频系统的用户行为具有普遍的参考价值。文中对用户忠诚度的定量研究,对企业优化产品质量具有实际意义。     

基于USB的加密狗

由于现代社会飞速发展,知识产权已成为每个开发商或个人的保护重点。本加密狗依据USB接口的硬件加密装置与专用的加密程序互相配合来实现对应用数据的写入、保存、读取,从而实现知识产权保护。本加密狗主要实现的功能是增加安全性、文件加密、知识产权保护,是根据用户输入的数据,进行检测和校对并输出相应的结果。     

Silverlight下的MVVM模式的应用

为了改善传统开发方式和应用RIA（Rich Internet Application,富互联网应用程序）开发技术,文中应用了一种新的设计模式-MVVM,提出了一套基于MVVM模式的系统开发方案。介绍了MVVM模式设计思想,阐述了系统的设计,以实际流程为例,在Silverlight开发环境下给出了具体的实现以及代码比对分析。实践表明,将该模式应用于系统开发,可以成功地将数据、表示和业务逻辑分离,有效地改善系统开发,使系统具有结构清晰、可拓展、易测试的特点。     

基于ORM的海洋地质取样应用模型设计方法

随着海洋在经济发展中的地位日益突出,海洋地质调查越来越重要,如何合理地管理使用海洋地质调查数据成为研究热点。文中以海洋地质取样业务为例,采用面向对象的技术方法,提出了基于ORM的海洋地质取样应用模型设计方法,实现了海洋地质取样业务与Epicentre数据模型的关联,并详细介绍了海洋地质调查取样业务划分,以及基于ORM技术的海洋地质取样模型构建方法。通过该方法得到的海洋地质取样模型是面向对象的,与传统的关系型海洋地质调查取样数据库相比具有较好的可扩展性及关联性。     

构件组合的集成测试

模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。     

基于AADL模型的静态故障树的自动生成

在基于模型驱动的嵌入式软件开发中,为了避免安全问题可肯能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,我们利用AADL模型错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障源来提取系统的实例错误模型,然后将错误模型实例存储在有向图里,并根据有向图建立系统错误模型的故障树。通过故障树分析工具就可以高效的分析系统的安全问题。最后,我们讨论了一些有关故障树的优化措施,例如消除循环,共享子树等。     

图像处理技术在植物器官模型重建中的应用

由于传统植物建模方法不能有效地提高模型重建的可视化效果,为此,图像处理技术被逐渐引入到植物模型重建中。本文以水稻叶片器官模型重建为对象,通过图像处理技术对叶片图像进行处理,深入地研究图像处理技术在器官模型重建中的应用,并结合数学模型重建实现水稻叶片模型重建。实验仿真表明,该方法能较为逼真地实现模型的重建,对相关领域研究具有一定参考价值。     

一种基于云计算技术的实时业务服务模型

下一代互联网将存在多样化的实时业务服务需求,为应对实时业务处理时大量的数据计算和存储任务,本文提出一种基于云计算技术的实时业务服务模型,以加快数据处理的速度,减少服务请求的响应时间和保证用户的服务质量(QoS),为多样化的实时业务处理提供一种思路和方法。对该模型的形式化描述和分析表明,该模型是有效的。     

家庭网络安全研究

目前,家庭网络是重点研究领域之一,家庭网络提供重要服务之一是远程控制家庭网络里的信息家电,由于家庭网络由异构网络协议和各种服务模型组成,远程控制服务导致家庭网络受到各种安全威胁。分析了国内外家庭网络研究现状和存在的安全威胁,对家庭网络安全研究的各种方法的优缺点进行了分类分析和总结,提出了家庭网络安全研究的科学问题与研究和发展方向,从而为家庭网络安全研究相关技术的进一步研究提供一定的理论基础。为用户提供简单易用、安全可靠的家庭网络环境,并提供隐私保护是家庭网络安全研究的最终目标。     

即时通信蠕虫研究综述

即时通信为个人和企业提供了更加快捷方便的通信服务,随着互联网的飞速发展,即时通信得到更为普及和广泛的应用,而即时通信蠕虫是一种利用即时通信服务进行传播的网络蠕虫,它的出现严重威胁了网络的安全。文中首先介绍了即时通信蠕虫的研究背景;然后论述了即时通信蠕虫的基本定义;接着讨论了即时通信蠕虫的网络拓扑和传播模型,归纳总结了最新防御即时通信蠕虫的技术;最后展望了需要进一步研究的方向,并探讨目前研究中存在的问题。