•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第2081-2090项 搜索用时 58 毫秒
[首页] « 上一页 [204] [205] [206] [207] [208] 209 [210] [211] [212] [213] [214] 下一页 » 末  页»
2081.
Google Earth的高分辨率卫星地图资源、三维虚拟环境和人机界面,可以为船舶监控与应急系统提供丰富的地理信息资源。在Google Earth的KML技术及其COMAPI的研究和扩展开发的基础上,对海洋船舶的位置监控、信息融合和救援服务地理信息系统进行分层设计,整体提升船舶信… …   相似文献
2082.
  
针对虚拟机群在云计算平台动态部署过程中现有的部署机制所存在的局限性,提出一种优化的部署模型。首先建立预分块存储的分布式预定制虚拟机全镜像模板库;然后由调度中心依据调度策略选择适当的宿主机,并通过多源并行传输的方式提高部署效率;最后由对应的虚拟机监视器完成实例化任务。实验结果显示,… …   相似文献
2083.
实现了一种将当前几乎所有格式的视频文件定时、自动、批量的处理成可在Web页面播放的flv视频的模块.首先介绍了当前主流视频格式,以及Mencoder和Ffmpeg组件;然后介绍该视频转换模块的工作流程设计;最后介绍其主要子模块的功能实现,以及在实际应用中应注意的问题.  相似文献
2084.
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,… …   相似文献
2085.
  
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调… …   相似文献
2086.
下载全文  总被引:19,自引:2,他引:19
空间关系形式化模型的发展是空间推理、地理信息系统(geographic information systems,简称GIS)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进展.介绍了区域间拓扑关系形… …   相似文献
虞强源  刘大有  谢琦 《软件学报》2003,14(4):777-782
2087.
下载全文  总被引:1,自引:0,他引:1
随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可信性的一种常见方法.路径敏感的程序验证由于不可能遍历所有的路径,需要合并路径信息,因此造成精度上的损失.提出一种基于SMT求解器的路径敏感程序验证方法,在保证… …   相似文献
何炎祥  吴伟  陈勇  徐超 《软件学报》2012,23(10):2655-2664
2088.
介绍一个可以在多种处理器体系结构上运行的轻量级x86模拟器PIT(Portable x86 Instruction Translator).\"动态二进制指令翻译\"足一个可以让一种机器的指令运行在另一种机器上的技术.PIT采用了可移植的动态二进制指令翻译技术,可以在多种体系结构… …   相似文献
曹欢寅  张妍 《计算机系统应用》2011,20(5):101-104,143
2089.
下载全文  总被引:2,自引:0,他引:2
随着国内基于Windows CE 的嵌入式应用蓬勃发展,跨平台多媒体应用软件开发中涉及的中文显示技术尤其值得关注。该文介绍了利用Simple DirectMedia Layer(SDL)图形库开发支持中文显示应用软件的方法和技巧,着重研究运用SDL 显示GBK 点阵汉字及True… …   相似文献
2090.
  总被引:1,自引:0,他引:1
宽带网络的迅速发展,为网络流媒体应用提供了广阔的前景,MPEG-4具有的高压缩率、强交互性和灵活分级扩展的特性,使之特别适合网络流媒体应用。首先对MPEG-4在网络流媒体应用中的关键问题的RTP封装技术进行深入研究,然后将其应用到视频点播系统中。  相似文献
[首页] « 上一页 [204] [205] [206] [207] [208] 209 [210] [211] [212] [213] [214] 下一页 » 末  页»