基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

文科大学计算机基础教学的计算思维培养探索——以计算机在文科专业中的应用为落点

计算思维培养正在成为国内外大学计算机基础课程改革的主要方向,而如何提高文科大学生的计算思维能力是大学计算机基础教学亟需完成的任务。本文探讨了在对文科专业学生进行计算机基础教学时,以计算机在其专业中如何应用为落点的计算思维培养模式,提出了基于此模式下的文科专业＂计算机信息技术＂课程的新的课程体系结构和参考实例,希望通过不断完善课程体系并通过实例剖析让文科学生切实理解计算思维的内涵并将其灵活运用到各自的专业学习和将来的工作中。     

基于ERPMT改进启发式方法的WSN寿命最大化算法

针对传感器节点的电池容量限制导致无线传感网络寿命低的问题,基于容量最大化(CMAX)、线上最大化寿命(OML)两种启发式方法以及高效路由能量管理技术(ERPMT),提出了基于ERPMT改进启发式方法的无线传感网络寿命最大化算法。首先,通过启发式方法初始化每个传感器节点,将节点能量划分为传感器节点起源数据和其它节点数据延迟;然后利用加入的一种优先度量延迟一跳节点的能量消耗;最后,根据路径平均能量为每个路由分配一个优先级,并通过ERPMT实现最终的无线传感网络优化。针对不同分布类型网络寿命的实验验证了本文算法的有效性及可靠性,实验结果表明,相比较为先进的启发式方法CMAX及OML,本文算法明显增大了无线传感网络的覆盖范围,并且大大地延长了网络的寿命。     

基于语义特征的多视图情感分类方法

情感分析也称为意见挖掘,是对文本中所包含的情感倾向进行分析的技术。目前很多情感分析工作都是基于纯文本的。而在微博上,除了文本,大量的图片信息也蕴含了丰富的情感信息。本文提出了一种基于文本和图像的多模态分类算法,通过使用潜在语义分析,将文本特征和图像特征分别映射到同维度下的语义空间,得到各自的语义特征,并用SVM-2K进行分类。利用新浪微博热门微博栏目下爬取的文字和配图的微博数据进行了实验。实验结果表明,通过融合文本和图像的语义特征,情感分类的效果好于单独使用文本特征或者图像特征。     

一种基于块编码的压缩视频通信差控算法

提出了一种压缩视频传输的差错控制机制,联合编码端,信道和解码端对差错进行预防、控制、检测和修复,对压缩视频传输进行控制.并给出了算法的可行性分析.     

新型的环状层次应用层多播模型

提出了一种新型的环状层次应用层多播模型HVRB(Hierarchy Virtual Ring-based),它适合于拥有大规模多播成员的多播组.该模型以环作为拓扑结构,同时引入了虚环[1]的概念.采用了基于动态优先级的层次划分方法使得该环状拓扑结构随时间的变化性能逐步得到提高,并且采取一定的措施使得当出现数据传榆错误时可以进行快速的恢复.由仿真试验结果可知该模型具有较高的数据传输率、较高的带宽利用率和较低的控制开销.应用该多播模型可以较好地提高多播的性能.     

基于余弦函数局部特征的时间衰变模式

数据流具有无限增长的特征,目前的计算系统无法在线处理整个数据集,只能在有限空间内对部分数据进行处理。为了能够得到尽可能合理的结果,数据流系统常常采用单调递减函数由数据的时间戳来确定数据的权值,根据权值选择数据。广泛使用的单调函数是指数函数和多项式函数,但它们存在衰变速度太快或太慢等问题。提出一种新的时间衰变模式——使用余弦函数的局部衰变速度介于指数和多项式之间的特征来确定数据的权值。实验结果显示相对于指数和多项式衰变,局部余弦衰变具有衰变速度合理、参数易于确定、适用于乱序数据流等优势。     

一个基于速率控制的Internet视频流服务方案

由于视频流服务对于网络服务质量有着较高的要求,而现有的Internet所提供的是尽力而为的服务,无法保证数据的实时传输。该文设计了一个用于Internet上视频流的端到端传输方案.整个方案设计的目的是在网络本身缺乏服务质量保证的条件下尽可能达到最好的视频传输质量。根据可用带宽估计和网络信息反馈,系统对发送速率进行调整,并提供两种视频流服务:存储视频和实时视频。仿真结果表明方案的性能良好,能满足Internet视频流的需求。     

基于相似性序列分析的三维模型检索性能评价

普林斯顿形状基准数据库已经成为当前三维模型检索研究人员使用最为广泛的基准数据库之一。但是该基准数据库存在着一个重要的缺陷,那便是模型类别之间的相似性没有被考虑,这导致在对检索结果进行性能评价时出现与人类直观感觉不一致的结论。为了克服这个缺陷,提出了一种新的基准数据库分类方案,并且在此基础上提出了一种基于相似性序列分析的检索性能评估方法。