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

下载全文  

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

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

一种利用确定性退火技术的聚类模型与算法研究

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

针对传统聚类模型的缺陷,文章利用确定性退火技术,提出一种聚类模型及聚类算法.该模型考虑了聚类的交互作用,以前提出的一些聚类模型是它的特例.引入温度参数,把聚类问题看成一个物理系统,把求解聚类问题的最优解转化为模拟随温度变化的物理系统的平衡态.通过求解一系列随温度变化的物理系统的自… …   相似文献

杨广文  王鼎兴  郑纬民  李晓明 《软件学报》1999,10(6):663-667

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

下载全文  

自由光通信网络作为一种新兴的宽带无线网络,适用于多媒体通信的要求。针对多媒体业务在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

有界Petri网的可达图到网图的转换算法

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

本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。  相似文献

吴哲辉  蒋昌俊 《软件学报》1992,3(1):23-29

变化光照的对象图像合成

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

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

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

结合区域协方差分析的图像显著性检测

下载全文  

目的 图像显著性检测的目的是为了获得高质量的能够反映图像不同区域显著性程度的显著图,利用图像显著图可以快速有效地处理图像中的视觉显著区域。图像的区域协方差分析将图像块的多维特征信息表述为一个协方差矩阵,并用协方差距离来度量两个图像块特征信息的差异大小。结合区域协方差分析,提出一种新的图像显著性检测方法。方法 该方法首先将输入的图像进行超像素分割预处理;然后基于像素块的区域协方差距离计算像素块的显著度;最后对像素块进行上采样用以计算图像像素点的显著度。结果 利用本文显著性检测方法对THUS10000数据集上随机选取的200幅图像进行了显著性检测并与4种不同方法进行了对比,本文方法估计得到的显著性检测结果更接近人工标定效果,尤其是对具有复杂背景的图像以及前背景颜色接近的图像均能达到较好的检测效果。结论 本文方法将图像像素点信息和像素块信息相结合,避免了单个噪声像素点引起图像显著性检测的不准确性,提高了检测精确度;同时,利用协方差矩阵来表示图像特征信息,避免了特征点的数量、顺序、光照等对显著性检测的影响。该方法可以很好地应用到显著目标提取和图像分割应用中。… …   相似文献

张旭东  吕言言  缪永伟  郝鹏翼  陈佳舟 《中国图象图形学报》2016,21(5):605-615

一种基于数学形态学的分形维数估计方法

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

对于分形维数的估计是基于分形理论的纹理图像分割算法中最重要的环节。由于使用固定划分的规则网格,常用的基于盒计数的分形维数估计算法及其各种改进方法的误差较大;而传统的形态学维数估计算法虽然在准确性上有一定提高．但其时间复杂度偏高。为此提出了一种基于可变结构元的数学形态学分形维数估计… …   相似文献

夏勇  赵荣椿  江泽涛 《中国图象图形学报》2004,9(6):760-766

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

下载全文  

目的 针对大规模复杂柔体碰撞检测中速率低的问题,在两级碰撞算法基础上加入新的剔除算法——过滤器,得到了更好的效率。方法 在碰撞检测的高级阶段,通过实验确定基于离散导向多面体包围盒(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

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

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

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

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

结构化证明搜索

下载全文  

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

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

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

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

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

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