移动进程的蛰伏性及空间逻辑

界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质.然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的.分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑.该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的.同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则.     

语言学组合特征在语义关系抽取中的应用

语义关系抽取是信息抽取中的一个重要的研究领域。目前基于特征向量的语义关系抽取已经很难通过发掘新的特征来提高抽取的性能。本文提出了一种特征组合方法,通过在各种词法、语法、语义的基本特征内部及特征之间进行合理的组合形成组合特征,使用基于支持向量机的学习方法,使得关系抽取的准确率和召回率得到了提高。在ACE 2004语料库的7个关系大类和23个关系子类抽取实验中F值分别达到了66.6%和59.50%。实验结果表明通过对基本语言学特征进行组合所得到的组合特征能够显著地提高语义关系抽取的性能。     

基于改进三维块匹配滤波的红外全息降噪算法北大核心CSCD

红外全息技术更适用于长距离的大视场成像,但其散斑噪声与高斯噪声对图像质量的影响也更加显著,限制了红外全息技术的应用与推广。本文通过引入全局傅立叶阈值与自适应维纳滤波的方法对三维块匹配滤波算法进行优化,提高了其对红外全息图像降噪的适应性与细节保留,得到改进的三维块匹配滤波算法,并与多种采用传统滤波方法的结果进行了对比。结果表明,改进后的算法可以在对红外全息图像中的高斯噪声等环境噪声与散斑噪声进行降噪的同时保留更多细节,是一种更加适用于红外全息图像的降噪方法。     

商业智能分析软件界面的可视化设计研究

目的探讨商业智能分析软件的可视化界面的设计方针和原则,提高商业智能分析软件的用户体验满意度。方法从当前市场上几种典型的商业智能分析软件出发,结合相关文献资料,研究软件使用者的认知习惯和交互特征,归纳和总结用户对商业智能分析软件界面的特定需求,剖析现有的商业智能分析软件的可视化界面设计特点,探讨商业智能分析软件可视化界面的设计方针和原则。结论揭示了商业智能分析软件中可视化界面的影响因素和重要性,提出了基于所见即所得的思想,提高了软件的交互效率,为今后的可视化界面发展提供了新思路。     

数字化背景下汽车仪表盘界面设计研究

目的研究汽车数字化仪表盘界面因素对驾驶员驾驶体验的作用和影响。方法分析现有汽车仪表盘的研究现状和问题,选取5个具有代表性的样本,从仪表盘样式、整体布局、信息架构、基本信息列表4个方面,同时搭配色彩比例、风格类型进行纵向与横向分析研究。结论通过对选取的5个样本的研究和分析,提出在数字化汽车仪表盘的设计过程中,遵循布局简洁、色彩准确、体验丰富的设计规律,具有重要的实践意义和价值。     

矿井采空区无线传感器网络路由协议研究

研究和设计了一种适用于煤矿采空区的无线传感器网络路由机制。首先对LEACH协议的簇头选举机制进行了改进,在计算阀值时添加剩余能量参数,然后采用改进后的协议和多径路由机制设计了煤矿采空区无线传感器网络路由算法,最后通过NS-2仿真平台进行了实验。实验结果表明,改进后的协议与原协议相比,提高了网络中节点的能量有效性,延长了网络的生命周期。     

以创新创业能力培养为核心的计算机专业实践课程教学改革

分析计算机科学与技术的教育现状,提出"面向行业、能力为先、课程分群、评价多样"的应用型人才培养思路,构建"学业规划课程平台—专业能力课程平台—行业素质课程平台"课程体系和学业评价体系,对地方本科院校的应用型人才培养具有借鉴和推广价值。     

多现场总线融合的实时中间件的设计与实现

为了能够实现不同现场总线设备之间的互联和互操作,简化基于现场总线的系统开发过程,同时又能保证系统的实时性能,研究并提出了一种新的嵌入式系统下多现场总线融合的实时中间件实现方案.该方案参照Minimum CORBA和Real-time CORBA中间件的规范,实现了基于RTLinuxPro实时操作系统的嵌入式实时中间件,同时借鉴了软插件的设计思想,不仅使该实时中间件系统的实时性能显著提高,而且使得该系统具备了良好的可扩展性,实现现场总线的热插拔.     

一种二进制编码的量子粒子群优化算法

针对离散空间优化问题,给出二进制编码的量子粒子群优化（ＢＱＰＳＯ）算法的设计思路,重新定义粒子的位置矢量和粒子之间的距离,提出了ＢＱＰＳＯ 算法的进化方程．通过泛函分析的方法分析了ＢＱＰＳＯ 算法的收敛性,得出全局收敛的结论,并通过多个测试函数测试了ＢＱＰＳＯ 算法的性能．求解结果验证了算法的优越性．     

SPARC V8仿真系统设计与实现

嵌入式软件实时性、嵌入特性、反应性等特点,使得仿真测试成为嵌入式软件系统测试的一种有效测试方法。针对SPARC V8体系结构特点,综合考虑硬件系统工作流程和仿真器性能要求,提出了一种全数字仿真测试平台的设计方案。采用有限状态机构建系统模型,并对CPU仿真框架,内存系统框架,指令集仿真和测试用例生成方法等关键问题进行研究,实现了SPARC V8微处理器的内核仿真器和仿真调试器。仿真模型易于控制、移植,解决了传统测试环境中依赖硬件、灵活性差、错误难以定位等问题。