CPS体系结构设计

Cyber-Physical System(CPS)是基于网络和嵌入式系统等技术而发展起来的下一代智能系统。体系结构是CPS的骨架和灵魂。分析了CPS概念和特性，构建了CPS三层体系结构框架，分别为包含实体的物理层、将资源互联互通的网络层和为用户提供服务的应用层。并对各层进行了深入分析，给出了各层相关概念描述。通过智能交通系统体系结构实例证明了CPS三层体系结构框架符合CPS概念，能够反映CPS特性，能够指导未来CPS研究和系统开发。  

藏文拉丁转写的研究与实现

藏文拉丁转写是研究藏文化和进行藏文术语交流的重要工具。介绍了一种基于藏文编码字符集基本集和藏文编码字符集扩充集A，实现藏文拉丁转写的方法。通过引入垂直预组合的概念，将藏文由复杂文本变为简单文本，从而简化了拉丁转写的处理过程，降低了算法复杂度。详细讲述了算法的原理及在OpenOffice.org中的实现。  

基于平面矢量场的可视化方法的研究

平面矢量场可视化是科学计算可视化的重要研究内容.矢量场以直观的图形图像显示场的运动,透过抽象数据有效洞察其内涵本质和变化规律,广泛应用于计算流体力学、航空动力学、大气物理和气象分析等领域.对平面矢量场进行可视化的方法有很多种,常见的有点图标法、流线法、线积分卷积法和拓扑分析法等.论文主要研究常见的可视化方法,分析它们的性能,并通过实际的例子,对具体的可视化结果图像进行比较.通过该研究,能够给人们在选择可视化方法时提供依据.  

一种面向服务的CPS体系框架

CPS是近年出现的一个新概念,分析了CPS的概念和特性,提出了一种面向服务的CPS体系框架.该体系框架分为4层,分别为:节点层、网络层、资源层和服务层,对这种体系框架进行了分层讨论,说明了每层包含的功能模块和技术基础.结合面向服务的四层体系框架,讨论了CPS领域需要进行的研究方向.  

基于信任管理的SAML授权模型

随着Web环境中的应用形式向开放、动态的模式转变,传统的授权机制不能很好地适应这种情况,信任管理这种新的授权机制弥补了这种不足.在研究信任管理与SAML技术的基础上,提出了一个新的授权模型,它解决了Web环境中采用信任管理机制的系统与其它系统之间如何采用SAML来进行互操作的问题.  

基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义,测试语义与传统的验证语义不同,强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系。然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集。  

利用散乱采样点绘制光滑等值线的误差分析

等值线是平面标量场中表达信息的重要手段之一,在很多领域均有应用。等值线本身是光滑连续的曲线,而一般绘制方法产生的却是它的折线段近似。为了在等值线放大时也能保持光滑连续的曲线形状,绘制时需要用参数曲线平滑处理。本文讨论基于散乱采样点及参数曲线绘制光滑等值线时的误差问题。对包括建模、等值线抽取及平滑的整个绘制过程中产生的误差进行了分析,对几种常见参数曲线的绘制效果和误差进行了比较。  

软硬件结合的《通信原理》实验教学设计

通信类、电子信息类专业培养的人才以实践动手能力强的应用型人才为目标。《通信原理》课程作为该类专业的专业基础课,其课程起到承上启下的作用。但本课程理论复杂、逻辑性强、课程抽象,使得该课程的教与学都存在一定的困难,如学生难以激发学习激情,教师为某一理论而花费大量的时间和口舌,但效果却不尽如人意。因此,本文提出了以软硬件结合的实验教学作为课程学习的重要辅助手段,可高效地精简教师的教学过程,提高学生的学习兴趣,培养高素质应用型人才。  

基于Julia分形集的模运算图像加密算法研究

作为信息安全的重要领域，图像加密算法一直是人们研究的热点。针对经典分形集合Julia集的特点，提出一种图像加密算法。将Julia集作为一种随机元素生成密钥，采用模运算方法对图像进行加密，对生成的密文进行两次扩散，得到最终密文。由于Julia集密钥仅需几个参数就可以表示，大大减小了存储空间。并且Julia集的无限性以及混沌特性使得任意参数的极其微小的变动都将导致密钥剧烈变化，无法正常解密。该算法较Rozouvan提出的以Mandelbrot分形集为密钥的转换方法，密钥空间更大，密钥敏感性显著提高，尤其能够有效抵御选择明文攻击。  

改进的图标法进行平面向量场可视化

图标法是常见的平面矢量场可视化方法。但是当传统的图标法用在大数据集且变化不是很明显的矢量场中时,图像可能会显得比较混乱。本文基于矢量场中局部矢量近似平行的原理,将传统的图标法做一改进。将局部范围内变化不明显的矢量,用该范围内的某一矢量来代替,这样所得的图像不再是规整的图标图像,图像上图标的多少是由矢量变化的明显程度来决定的。矢量变化不大的地方,矢量图标少,反之,矢量变化较大的地方,矢量图标多。这种方法使得所显示的矢量场不显得混乱,又能表达出矢量场的方向和大小。