RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

组件技术在嵌入式系统中的应用

研究了提出了通用组件模型不能嵌入式系统中应用的本质原因,对嵌入式组件模型进行分类以及层次化分析. 并对于嵌入式系统的非功能属性进行分析,总结了常见嵌入式组件模型对这些非功能属性的支持情况. 然后介绍了组件库的设计,以及组件模型的未来研究方向.     

基于Android平台的风机手持操作仪开发

基于Android平台开发了一款风机手持操作仪, 用于风机的日常监视、维护及设置。以TCP/IP协议和MODBUS协议为基础, 与风机主控系统实现基础数据通讯, 并通过交互界面上的触控操作来完成监视、维护及设置功能; 同时, 利用数据库技术实现对风机和用户数据的存储与管理, 并对用户关键信息进行加密处理以提升安全性。实际应用表明了该设备的可行性、有效性, 并且具备灵活、便携、经济等特点。     

网络产品评论挖掘研究

以有效分析和挖掘网络产品评论中的用户观点从而为消费者和商家均提供有价值的信息为目的,提出了网络产品评论挖掘的步骤和方法,并在用户产品评论分析的基础上,进一步对产品特征词的关注度和极性进行分析,实现了更加全面地产品评论挖掘．最后以iphone 4s为例对所提出的方法进行了实验,验证了该方法的可行性．     

统计分析及关联挖掘在大学生心理健康中的应用

为深入了解影响大学生心理健康的主要因素以及心理症状之间的关系,以某高校2011级的学生心理测试数据为基础,采用统计分析和关联规则挖掘两种方法,从性别、学生干部、独生子女、来源地、家庭结构、家庭月收入等方面进行了分析研究,根据研究结果为高校开展大学生心理健康教育的规划、决策提供依据．     

电力企业移动安全接入平台

电力企业承担着为社会经济发展提供安全、可持续电力供应的重要使命,因此,电力企业信息系统的安全要求比普通企业要高。随着电力企业信息化的快速推进,各种远程移动终端与信息内网的数据交换需求日益增长。如何保证移动终端远程接入的安全已成为电力企业信息化建设中的关键问题。在分析传统 SSL VPN 技术的基础上,针对电力企业信息安全建设的特点和特殊需求,设计了一种适用于电力企业的新型移动安全接入平台。该平台能够支持多种移动终端的多因素认证和访问控制,同时实现了SSL高速协议栈、数据隔离等功能,有效地解决了上面所提到的问题。     

基于未知环境状态新定义及知识启发的机器人导航Q学习算法

由于强大的自主学习能力, 强化学习方法逐渐成为机器人导航问题的研究热点, 但是复杂的未知环境对算法的运行效率和收敛速度提出了考验。提出一种新的机器人导航Q学习算法, 首先用三个离散的变量来定义环境状态空间, 然后分别设计了两部分奖赏函数, 结合对导航达到目标有利的知识来启发引导机器人的学习过程。实验在Simbad仿真平台上进行, 结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务, 收敛性能也有其优越性。     

基于校园一卡通消费数据的几种聚类算法的分析比较

随着高校管理信息化的加速和高校管理部门对各类校园信息资源需求的不断加强, 校园一卡通被广泛应用于学生生活的各个领域, 并要求对其存储的海量数据进行挖掘分析为各个部门提供决策依据。聚类算法作为最常用的数据挖掘方法之一被广泛应用于一卡通数据挖掘, 但目前不清楚哪种方法更适用于一卡通数据。使用多种常用聚类算法对一卡通数据进行了实验, 得出了最适合挖掘该数据的聚类算法, 并分析了相关原因。     

IDE驱动程序分析及SATA驱动程序移植

SATA硬盘已经是目前多媒体应用中被广泛使用的存储介质, 而有些多媒体产品的Linux版本中, 并不支持SATA驱动框架。本文通过对Linux下IDE驱动框架及其相关的Linux驱动代码的分析, 提供了一种在IDE驱动程序框架下移植SATA驱动程序的方法。最后以SiI3512为例, 介绍了SATA驱动程序的移植过程。对于其它此类系统的移植具有很好的借鉴作用。     

一种数字光盘数据保密方法

提出了一种支持数据保密的光盘文件系统以及适用于数字光盘的数据保密方法。改进了ISO 9660 Level 2标准的光盘文件系统, 划分为明文区、保密区和参数区三部分, 分别存储明文、密文和参数数据。光盘制作模块将明文数据、密文数据及参数数据制作成光盘文件系统的镜像文件, 同时将光盘阅读模块注入到明文区。光盘阅读模块专门存取保密区数据。该方法能实现明文、密文数据及其解密工具并存于同一光盘, 无需安装额外的软件, 该文件系统兼容目前所有的光盘设备。