一种宽容的多线程程序内部时间信息流类型系统

  

提出了一种针对多线程程序的内部时间信息流的宽容的类型系统。在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类型系统中区分了隐藏线程,细化了对内部时间信息流发生场景的分析。相对于已有的基于类型理论的方法,本类型系统可以允许更多实质上安全的代码通过类型检查。另外,类型系统的… …   相似文献

李沁  袁志祥 《计算机科学》2014,41(3):163-168

基于Bayes定理的分类规则研究

  

研究了利用Bayes定理发现分类规则的方法,用Bayes定理可以发现分类规则,然后用分类规则进行数据分类。结合实例针对概念性数据集及包含数值性属性和概念性属性的数据集两种情况进行讨论。通过实例说明Bayes定理是数据挖掘中一种有效的数据分类方法。  相似文献

吕安民  牛晓太  郭建忠 《计算机应用研究》2006,23(2):24-25

PCA-NLM的纺织品缺陷检测

下载全文  

在纺织品自动检测过程中,采集的图像容易受到噪声及织物表面材质的干扰,为解决这一问题,提出一种混合方法进行纺织品缺陷检测,将图像增强和缺陷检测方法进行混合处理,在非局部均值滤波算法（NLM）的相似度评价中引入主成分分析（PCA）进行去噪处理,采用的PCA-NLM混合模型有效增强了缺… …   相似文献

杨学志  左海琴  陈远  吴克伟  谢昭 《中国图象图形学报》2013,18(12):1574-1581

基于线特征韦伯局部描述子的掌纹识别

  

  相似文献

罗月童  赵兰英  贾伟  顾靖  薛峰 《中国图象图形学报》2016,21(2):235-244

基于混沌映射的鲁棒性公开水印

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

提出了一种新的DCT(discrete cosine transform)域鲁棒性公开水印算法.该算法利用混沌随机性好和容易再生的特性,首先用散列处理后的混沌序列置乱水印,而后基于混沌序列在宿主图像DCT域的中频带随机选择少量参考点,并在其邻域内用奇偶量化法批量嵌入乱序水印比特.… …   相似文献

王宏霞  何晨  丁科 《软件学报》2004,15(8):1245-1251

面向方面的计算误差处理技术:实例研究与评估

下载全文  

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫星轨道测算系统中的误差处理策略分别封装为类中的方法和方面,… …   相似文献

崔展齐  王林章  刘慧根  李宣东 《软件学报》2011,22(11):2639-2651

区分服务网络基于覆盖的拥塞管理方案

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

提出一种面向区分服务网络确保转发的覆盖式拥塞管理方案,基本思想是利用控制分组在网络的入口和出口节点之间传递网络服务质量的状态信息,入口节点利用加性增加和显性降低的算法调节聚集通信量的发送速率.实验结果表明,与标准的区分服务网络相比,该方案能在聚集之间公平地分配带宽并能显著地降低分… …   相似文献

庞斌  高文 《软件学报》2003,14(2):305-311

2维最大类间平均离差阈值选取快速递推算法

  

阈值分割是广泛使用的最为有效的图像分割方法之一。阈值选取是阈值分割的关键。Otsu提出的基于L2范数的最大类间方差法是备受关注的一种方法,而基于L1范数的最大类间平均离差法则更为简捷,效果很好。2维最大类间平均离差阈值选取方法分割精确、抗噪性能好,其效果优于2维最大类间方差法,但… …   相似文献

吴一全  潘喆 《中国图象图形学报》2009,14(3):471-476

2维载频条纹2维窗口傅里叶变换轮廓术

下载全文  

为了解决3维形貌测量中单一频率光栅条纹的测量信息少、1维双频光栅两个同方向载频容易产生频率混叠及两个载频条纹测量精度不同、连续相位解包法在复杂物体相位解包所存在的问题,提出采用2维网格光栅作为空间载频光栅条纹联合2维窗口傅里叶变换的傅里叶变换轮廓术。两个载频相互垂直,减少可能的频… …   相似文献

李海  曾应新  杨玲玲 《中国图象图形学报》2011,16(6):939-946

一个分布共享存储模拟系统THSVM

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

ＤＳＭ系统又称ＳＶＭ系统，是在基于分布存储器的多计算机上，实现物理上分布但逻辑上共享的存储系统，它集共享存储器易于编程和分布存储器可扩充性好于一体。木文主要介绍我们在清华大学计算机系研制的并行图归约智能工作站上实现的一个分布共享存储模拟系统ＴＨＳＶＭ，以及对该系统进行的性能分析，… …   相似文献

邢浩  沈美明 《小型微型计算机系统》1995,16(9):1-6

结合限制的分隔模型及K-Means算法

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

将数据对象间的关联限制与K-means算法结合可以取得较好的效果,但由于划分是由K个中心决定的,每一类仅由一个中心决定,分隔的表示方法限制了算法效果的进一步提高.基于数据对象间的两类限制,定义了数据对象和集合间的两类关联,以及集合间的3类关联,在此基础上给出了结合限制的分隔模型.在模型中,基于集合间的正关联,多个子集中心可以用来表示同一类,使划分的表示可以更为灵活、精细.基于此模型,给出了相应的算法CKS(constrained K-meanswith subsets)来生成结合限制的分隔.对3个UCI数据集的实验结果显示:在准确率及健壮性上,CKS显著优于另一个结合关联限制的K-means类算法COP-K-means,与另一个代表性的算法CCL相比,也有相当优势;在时间代价上,CKS也有一定优势.… …   相似文献

何振峰  熊范纶 《软件学报》2005,16(5):799-809

使用线段表实现线段编码与种子填充快速算法

  

在图像处理中常用水平线段集表示区域,提出了一种采用线段表结构来表示区域,并给出使用线段表改进传统像素标记与种子填充算法的快速算法。该算法中,线段表的每个表项对应一条水平线段,它包含L、xL、xR、y和F 5个参数,即表示上下线段连通关系的标记,左、右端点的x坐标,线段的y坐标与表… …   相似文献

陆宗骐  朱煜 《中国图象图形学报》2009,14(3):499-504

基于属性的访问控制策略合成代数

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

访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access contr… …   相似文献

林莉  怀进鹏  李先贤 《软件学报》2009,20(2):403-414

一种基于耦合对象相似度的项目推荐算法

  

推荐系统根据用户的偏好为用户推荐个性化的信息、产品和服务等,能够帮助用户有效解决信息过载问题。基于内容的协同过滤算法缺少合适的度量指标用来计算项目之间的相似度。提出一种基于耦合对象相似度的项目推荐算法,即通过耦合对象相似度捕获项目特征频率分布相似性和特征依赖聚合相似度。首先从项目… …   相似文献

余永红  陈兴国  高阳 《计算机科学》2014,41(2):33-35,54

基于多子网交汇点的以太网物理拓扑发现算法

  

首先介绍了目前以太网物理拓扑发现的主要算法及存在的问题,然后提出了一种基于多子网交汇点的拓扑发现算法。算法围绕交汇点和利用最小需求地址转发表信息来推理、约简和建立物理拓扑连接关系。结合一种典型的多子网拓扑进行了算法推导。理论与应用分析表明,该算法能够利用不完整的地址转发表构造出整… …   相似文献

曾光  陈性元  杜学绘  王超 《计算机科学》2014,41(5):173-177,195

双目立体重建中的去噪及补洞方法

下载全文  

通过双目立体视觉重建得到的真实物体3维模型一般具有较大的噪声,并可能存在孔洞。针对这一问题,提出在规则3维点集下,通过非局部(NL)方法来滤除3维模型的噪声并填补孔洞。为提高算法效率,对含孔区域和非孔区域的点集,分别做基本NL滤波和基于主成分分析的NL滤波,然后进一步通过NL方法… …   相似文献

韩坤芳  沈会良  程岳 《中国图象图形学报》2011,16(6):1057-1063

构件近似匹配的度量研究

  

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度… …   相似文献

吴新星  胡国胜  陈仪香 《计算机科学》2014,41(5):190-195

复杂分布数据的二阶段聚类算法

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

提出了一种用于复杂分布数据的二阶段聚类算法(two-phase clustering,简称TPC),TPC包含两个阶段:首先将数据划分为若干个球形分布的子类,每一个子类用其聚类中心代表该类内的所有样本;然后利用可以处理复杂分布数据的流形进化聚类(manifold evolutio… …   相似文献

公茂果  王爽  马萌  曹宇  焦李成  马文萍 《软件学报》2011,22(11):2760-2772

基于膨胀的梯度结构相似度图像质量评价方法

  

传统的梯度结构相似度算法(GSSIM)简单地将各子块GSSIM的平均值作为整幅图像的质量评估值,忽略了人眼对图像不同失真区域的视觉灵敏度不同的特点。针对此问题,提出了一种基于膨胀和图像块分类的加权梯度结构相似度图像质量评价方法(WGSSIM)。该方法首先将失真图像划分为两个区域:… …   相似文献

桑庆兵  梁狄林  吴小俊  李朝锋 《计算机科学》2014,41(6):287-290,298

基于网络编码的对等网流媒体传输模型和算法

下载全文  

在对等网(peer-to-peer,简称P2P)流媒体系统中,节点(用户)的输出带宽(上行带宽)容量利用率的提高能够降低服务器的带宽开销.网络编码可以实现组播的最大吞吐率,因而具有提高系统中节点输出带宽容量利用率的潜力.将随机线性网络编码应用到P2P流媒体系统中,建立了基于随机线… …   相似文献

张志明  周晋  陈震  李军 《软件学报》2012,23(3):648-661