•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第2081-2100项 搜索用时 86 毫秒
[首页] « 上一页 [100] [101] [102] [103] [104] 105 [106] [107] [108] [109] [110] 下一页 » 末  页»
2081.
  
针对虚拟机群在云计算平台动态部署过程中现有的部署机制所存在的局限性,提出一种优化的部署模型。首先建立预分块存储的分布式预定制虚拟机全镜像模板库;然后由调度中心依据调度策略选择适当的宿主机,并通过多源并行传输的方式提高部署效率;最后由对应的虚拟机监视器完成实例化任务。实验结果显示,… …   相似文献
2082.
实现了一种将当前几乎所有格式的视频文件定时、自动、批量的处理成可在Web页面播放的flv视频的模块.首先介绍了当前主流视频格式,以及Mencoder和Ffmpeg组件;然后介绍该视频转换模块的工作流程设计;最后介绍其主要子模块的功能实现,以及在实际应用中应注意的问题.  相似文献
2083.
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,… …   相似文献
2084.
  总被引:1,自引:1,他引:0
二进制代码分析是分析程序行为特征的重要手段。本文提出了一种基于全系统仿真和指令流分析的二进制代码分析方法,该方法的核心思想是在一个全系统仿真虚拟机上执行二进制代码,通过截获并分析二进制代码运行时产生的指令流信息,分析程序行为特征。基于该方法,本文设计并实现了一个二进制代码分析系统… …   相似文献
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封装技术进行深入研究,然后将其应用到视频点播系统中。  相似文献
2091.
  总被引:5,自引:1,他引:4
交通堵塞、环境污染等交通问题本质上可以看作是人、车、路的矛盾,智能交通系统是解决这一矛盾的一种途径。对目前国内外智能交通系统的研究与发展进行了全面的介绍和分析,重点总结了我国目前智能交通系统的发展情况。在此基础上,分析我国交通现状,探讨我国智能交通系统发展所面临的问题与挑战。最后… …   相似文献
赵娜  袁家斌  徐晗 《计算机科学》2014,41(11):7-11,45
2092.
提出了不确定干预分析模型,主要工作包括:(1)建立了用于多维不确定数据分析的不确定监测点模型(uncertain surveillance);(2)建立了基于不确定监测点的不确定干预策略及挖掘评价算法;(3)在真实数据及仿真数据上对所提出的两种算法作了大量实验比较,验证了所提出的… …   相似文献
2093.
下载全文  总被引:1,自引:0,他引:1
近年来,异构系统硬件飞速发展.为了解决相应的编程和执行效率问题,异构并行编程模型已被广泛使用和研究.从异构并行编程接口与编译/运行时支持系统两个角度总结了异构并行编程模型最新的研究成果,它们为异构架构和上层应用带来的技术挑战提供了相应的解决方案.最后,结合目前的研究现状以及异构系… …   相似文献
刘颖  吕方  王蕾  陈莉  崔慧敏  冯晓兵 《软件学报》2014,25(7):1459-1475
2094.
下载全文  总被引:4,自引:0,他引:4
指出本地化的缺点.深入分析了Java语 言的内部编码,设计并实现了支持国际化的编译器,采用字符编码转换的方案,使多语种字符 、字符串的操作达到了与英文字符、字符串完全一致的目标,并节省了类文件的存储空间,也 使程序具备了有条件的字符集无关性,在一定程度上解决了“万码奔腾”的问题.… …   相似文献
冀振燕  程虎  梅嘉 《软件学报》2000,11(11):1541-1546
2095.
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件… …   相似文献
王博  白晓颖  贺飞  XiaoyuSONG 《软件学报》2014,25(2):234-253
2096.
  总被引:1,自引:0,他引:1
提出了基于ASP平台网络化制造系统的总体结构,并阐述了实现网络化制造环境下的供应链管理系统的关键使能技术。  相似文献
2097.
下载全文  总被引:1,自引:0,他引:1
网格计算是当前一个重要的研究领域,其中任务调度是一个基本组成部分,其性能直接影响到网格服务质量.为了缩短任务调度完成时间,提高任务调度性能,提出了一种网格资源多维性能聚类任务调度算法MPCGSR (task scheduling algorithm based on multid… …   相似文献
陈志刚  杨博 《软件学报》2009,20(10):2766-2775
2098.
下载全文  总被引:15,自引:0,他引:15
离散分层马尔可夫随机场(MRF)模型由于层间具有了因果性,因而其非迭代的推导算法比非因果的马尔可夫随机场模型的迭代算法复杂度低得多,结果更精确.针对图像分割问题中观测数据有限的情况,提出了一种新的基于离散分层MRF的半树模型,推导出了它的最大后验边缘概率(MPM)算法.半树模型不… …   相似文献
汪西莉  刘芳  焦李成 《软件学报》2003,14(9):1558-1563
2099.
下载全文  总被引:1,自引:0,他引:1
分析了Hadoop系统结构,提出一种改进的PageRank算法,使用Map/Reduce模式设计系统模块。实验证明,使用Hadoop框架能够设计出具有高性能、高可靠性和易扩展性的分布式搜索引擎。  相似文献
2100.
下载全文  总被引:1,自引:0,他引:1
基于谱方法的流形学习算法的目标是发现嵌入在高维数据空间中的低维表示.近年来,该算法已得到广泛的应用.等谱流形学习是谱方法中的主要内容之一.等谱流形学习源于这样的结论:只要两个流形的谱相同,其内部结构就是相同的.而谱计算难以解决的问题是近邻参数的选择以及如何构造合理邻接权.为此,提… …   相似文献
黄运娟  李凡长 《软件学报》2013,24(11):2656-2666
[首页] « 上一页 [100] [101] [102] [103] [104] 105 [106] [107] [108] [109] [110] 下一页 » 末  页»