暂无评论
车联网服务半实物仿真验证系统关键技术研究，吴占涛，李静林，在车联网研究中，由于车辆运行的真实环境难以完全满足对车联网服务的验证要求，因此导致车联网服务的有效性验证困难，限制了车联
为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法。该方法的基本思想是首先对伪代码进行模块划分并对每个模块进行建模,获取基本路径的集合并以流图的方式
在大数据量的环境下,传统空间数据的空间关系仅描述两个空间物体,从而出现数据存储冗余,检索速度慢等问题。提出改进的聚类算法对空间物体聚类,再在聚类结果的基础上表示空间物体的方向关系。提出了基于密度的K-
针对无线通信系统的两种典型信道—频率选择性的多径Rayleigh衰落信道和Nakagami-m信道，中继方式为解码-转发（DF）和放大-转发（AF）的单中继系统的中断概率问题进行详细且深入的研究。分别
服务器主流虚拟化技术研究与比较，龚爱斐，张文静，本文给出了目前企业中服务器主流虚拟化技术的介绍，及其之间的性能对比，尝试从Hypervisor层结构特性、硬件协助、虚拟化程度等方面��
在虚拟样机技术实施过程中，CAD模型信息的集成与管理一直是一个瓶颈问题。在分析现有虚拟样机产品信息集成方案的基础上，采用了CAD二次开发技术进行信息提取，并基于XML进行信息集成，为虚拟样机产品信息集
对代码生成、映射以及逆向技术进行了深入研究，并将研究成果应用于支持模型驱动开发的领域建模工具的研制。代码生成采用基于元数据的文本模版演化方案实现，演化机制包含宏替代、条件输出、循环输出；代码映射通过界
移动机器人同时定位与地图创建是实现未知环境下机器人自主导航的关键性技术，具有广泛的应用前景，也是目前机器人研究的热门课题之一。针对国内外近年来关于移动机器人同时定位与地图创建的研究工作进行了总结和分析
通过对主流即时通信软件通信架构的分析，着重描述了MSN的通信机制和文本消息传输协议的格式，并对ICQ、AIM、雅虎通几个主流即时通信软件的协议特征进行了比较说明，提出了一个通用协议解析处理模型，并采用
OpenStack云平台网络技术研究与优化，孙鹏程，王洪波，近年来，云计算一词越来越多的出现在人们的视野中，而且获得了越来越多的关注。云计算描述了一种新的IT服务模式，即通过互联网来�
暂无评论