运行时消除指针别名歧义方法的加速比分析

下载全文  

采用软硬件结合的运行时消除指针别名歧义方法SHRTD(software/hardware run-time disambiguation)适用于不可逆代码,同时,它的代码空间受到限制,不存在严重的代码可重入性问题.文章详细分析了SHRTD方法的指令级并行加速比,给出了发生地址冲突… …   相似文献

乔林  汤志忠  张赤红  苏伯珙 《软件学报》1999,10(10):1054-1060

FasART模糊神经网络用于遥感图象监督分类的研究

下载全文  总被引：8，自引：3，他引：8

说明了遥感图象数据的非线性性质,目视的图象分类实践是一个模糊推理的过程,模糊神经网络遥感图象分类符合其事物的内在规律,具有理论优势,分析了模糊ART,模糊ARTMAP和FasART模型的结构和原理,详细地阐述了FasART是一种基于模糊逻辑系统的神经网络,提出了一种简化的FasA… …   相似文献

林剑  鲍光淑  敬荣中  黄继先 《中国图象图形学报》2002,7(12):1263-1268

一种自动机学习和符号化执行的软件自动测试方法

  

针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执… …   相似文献

陈曙  叶俊民  张帆 《计算机科学》2013,40(8):161-164

自由光通信网络的多媒体路由算法

下载全文  

自由光通信网络作为一种新兴的宽带无线网络,适用于多媒体通信的要求。针对多媒体业务在FSO网络中的传输进行了研究,考虑FSO网络的特点,提出了适用于多媒体任务的FSO网络模型。利用该模型,设计了基于拓扑控制算法的路由算法TCR。TCR改进三角剖分算法进行拓扑控制,形成虚拟拓扑图,使… …   相似文献

佟宁  吴迪  王秀坤 《中国图象图形学报》2007,12(10):1715-1719

一种Ada83服务性任务向Ada95保护对象变换的方法

下载全文  总被引：1，自引：0，他引：1

任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序… …   相似文献

李帮清  徐宝文  刘超  张茂林  晏海华  杨峰  何智涛 《软件学报》2000,11(6):836-840

驱动程序生成器的设计与实现

下载全文  

开发SCSI(small computer system interface)驱动程序自动生成器的目的是为了高效地开发各种驱动程序.该生成器可以自动完成SCSI子系统的代码维护,自动生成驱动程序绝大部分的模块,并能自动打包,提供主盘、从盘两种运行方式下的驱动程序.该文介绍了自动生… …   相似文献

王颖  金涛  孙玉芳 《软件学报》2000,11(4):520-252

ARM-MuxOS:一台手机，多个世界

  

在移动设备上并发运行多个操作系统,可拓宽和多样化其使用模式,但目前采用的移动虚拟化管理系统技术会带来性能开销和多余的内存消耗。通过分析在单一移动设备上支持多个操作系统所带来的多OS内存管理和外设分配等方面挑战,研究并设计了物理内存在线分配和分时复用外设等新技术,本设计在Galax… …   相似文献

余宽隆  陈渝  茅俊杰  张磊 《计算机科学》2014,41(10):7-11,22

异构分布式文件系统GSHDFS名字服务的设计与实现

  

名字服务是异构分布式文件系统的核心部分．在参阅国内外众多分布式文件系统的基础上,提出一种新的命名方案──输出共享方式,在保留原文件系统命名语法的前题下,将本地文件系统与远程文件系统有机地结合起来,并采用混和的分布方式实现了名字服务员,达到了位置透明性要求．  相似文献

康德华  杨学良 《软件学报》1995,6(2):84-90

列名与数值不确定情况下的模式匹配问题研究

  

模式匹配是数据集成领域的一个重要研究内容,列名与数据值不确定是模式匹配中的一种常见情况,当前较普遍的方法是基于互信息及欧式空间距离。但该方法没有解决因属性相似度相同或相近而引起的错误匹配问题。针对该问题,提出了多重迭代筛选方法,首先确定两个关系模式中能一次性正确匹配的部分属性对,… …   相似文献

黄冬梅  冯恺  赵丹枫  郭颖新 《计算机科学》2014,41(8):85-89

基于多目标检测与跟踪的密集客流检测

下载全文  

针对密集交通场景中的客流检测问题,提出了基于支持向量机(SVM)多目标检测与Mean Shift跟踪相结合的方法.首先采用自适应检测窗口提取梯度方向直方图,经过SVM分类和聚类算法,得到头部图像初始假设.然后采用Mean Shift算法,对头部假设进行跟踪,得到连续的头部图像序列… …   相似文献

祖克举  刘富强  李志鹏 《中国图象图形学报》2009,14(10):2106-2109

人脸表情识别研究的新进展

下载全文  总被引：21，自引：1，他引：21

人脸表情识别（facial expression recognition,简称FER）作为智能化人机交互技术中的一个重要组成部分,近年来得到了广泛的关注,涌现出许多新方法.本文综述了国内外近4年人脸表情识别（FER）技术的最新发展.首先,介绍了FER系统的组成：人脸检测、表情特征… …   相似文献

刘晓旻  谭华春  章毓晋 《中国图象图形学报》2006,11(10):1359-1368

悖论逻辑的表演算

下载全文  总被引：3，自引：0，他引：3

悖论逻辑ＬＰ是一个超协调逻辑,发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效;极小悖论逻辑ＬＰｍ能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义,虽然… …   相似文献

林作铨  李未 《软件学报》1996,7(6):345-353

变化光照的对象图像合成

下载全文  总被引：3，自引：0，他引：3

光照是真实感图形绘制和许多图像应用中的一个非常重要的因素.提出了一种完全基于图像的方法来反映光照变化在绘制对图像时的影响.所提出的方法不是直接去估计对象反射模型中的参数,或是去拟合BRDF函数,而是用奇异值分解(SVD)来拟合Lambertian 对象在光照和几何朝向变化情况下的… …   相似文献

徐丹  王平安 《软件学报》2002,13(4):501-509

大规模柔体的连续碰撞检测算法

下载全文  

目的 针对大规模复杂柔体碰撞检测中速率低的问题,在两级碰撞算法基础上加入新的剔除算法——过滤器,得到了更好的效率。方法 在碰撞检测的高级阶段,通过实验确定基于离散导向多面体包围盒(26-DOPs)的包围盒层次树(BVHs);低级阶段,混合使用代表性三角形和孤集两种方法;增加新剔除算法——过滤器,针对已有的非共线性过滤器(NCF)的缺陷,提出解决方案;提出新的过滤器-条件过滤器(DCF),它在非穿透性过滤器(DNF)和NCF剔除之后生效,进一步提高算法效率。结果 在cloth_ball数据集下,相比于仅使用DNF,使用DNF和NCFI(改进的NCF)时,点面碰撞(VF)测试数量减少了85.90%,而使用DNF+NFCI+和DCF时,这一比例为87.94%。结论 本文算法对于一般情况下的大规模柔体的碰撞检测具有普适性,特别是碰撞处理中发生三角形翻转,DCF和NCF失效的情况下,本文提出的条件过滤器能起到很好剔除作用,提高总体效率。… …   相似文献

周清玲  刘艳  程天翔 《中国图象图形学报》2016,21(7):901-912

基于稳健模糊粗糙集模型的多标记文本分类

  

针对多标记数据的不确定性以及噪声数据的存在,提出了一种新的多标记稳健模糊粗糙分类模型。该模型是处理单标记分类问题的k-mean稳健统计量模糊粗糙分类模型的扩展应用。对于每个待分类数据,首先根据相似性计算方法,得到它们相对于各标记的隶属度;然后根据隶属度定义待分类数据与各标记的相关… …   相似文献

张晶  李德玉  王素格  李华 《计算机科学》2015,42(7):270-275

中国图形工程:1997

下载全文  总被引：1，自引：11，他引：1

为了让图形学领域内的理论研究和开发人员对图形学研究进展有一个全面的了解,以及为读者查阅相关文献提供方便,对１９９７年发表在全国较集中的１２种期刊上的有关图形工程的主要论文,根据内容进行了分类。  相似文献

潘志庚 《中国图象图形学报》1998,3(10):805-813

基于相对形变模型及正则化技术的人体运动估计

下载全文  总被引：1，自引：0，他引：1

为了使根据人体行走的单目动态图象序列,对人体手臂及腿部的运动及结构参数进行估计的结果更为可信、更具鲁棒性,提出了一种基于相对形变模型及正则化技术的人体运动估计方法,该方法首先在物体中心坐标的运动表示方式下,通过在刚体运动模型中加入形变系数的方法给出了基于相对形变概念的非刚体运动模… …   相似文献

汪亚明  汪元美 《中国图象图形学报》2002,7(1):16-21

基于人脸检测和颜色分析的红眼自动消除

下载全文  总被引：1，自引：0，他引：1

用闪光灯进行人物摄影时由于眼底血管的反光会产生红眼现象,小型照相机的闪光灯和镜头距离很近,这一问题更为突出。为了自动消除用闪光灯进行人物摄影时产生的红眼现象,在对基于颜色空间的常用红眼检测技术进行研究的基础上,对现有较为复杂的检测方法进行了修正,提出了一种基于人脸检测的红眼自动消… …   相似文献

金秋明  王朔中 《中国图象图形学报》2005,10(11):1441-1444

结构化证明搜索

下载全文  

本文在简介证明开发环境的元语言ＴＭＬ之后,提出两类结构化设施;模块化机制为元级程序设计提供模块化手段;抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述,系统可自动实现结构化证明搜索．  相似文献

谭庆平  陈火旺 《软件学报》1995,6(1):33-40

智慧网络组件协同机制研究

  总被引：6，自引：0，他引：6

现有互联网网络体系和机制相对\"静态\"和\"僵化\",缺乏支持智慧网络的有效机制.要从根本上解决现有互联网存在的严重弊端,必须创建新的网络体系、理论及机制.本文在多年信息网络基础理论研究和前期973项目\"一体化可信网络与普适服务体系基础研究\"的基础上,在智慧协同网络\"三层… …   相似文献

郜帅  王洪超  王凯  张宏科 《电子学报》2013,41(7):1261-1267