CCPP: 一个并发C++语言的设计与实现

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

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋,ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中,所有对象都是并发对象,对象间的通讯都采用异步消息发送方式．… …   相似文献

温冬婵  王鼎兴  张宁 《软件学报》1997,8(6):401-408

基于SMT求解器的路径敏感程序验证

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

随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可信性的一种常见方法.路径敏感的程序验证由于不可能遍历所有的路径,需要合并路径信息,因此造成精度上的损失.提出一种基于SMT求解器的路径敏感程序验证方法,在保证… …   相似文献

何炎祥  吴伟  陈勇  徐超 《软件学报》2012,23(10):2655-2664

应用色彩空间聚类方法实现道路建模

下载全文  

通过图像对交通事故进行识别、处理,需要将卷入交通事故的车辆等目标从交通事故场景图像中分离出来,因此建立准确的道路模型十分重要.传统的道路建模方法大都基于灰度空间,忽略了图像中的彩色信息,不适合复杂的交通环境.针对道路像素分布的非参数化特点和后续处理中对彩色信息的需求,提出一种基于… …   相似文献

向宸薇  王拓  于舰 《中国图象图形学报》2013,18(8):976-981

基于闭凸包收缩的最大边缘线性分类器

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

SVM(support vector machines)是一种基于结构风险最小化原理的分类技术.给出实现结构风险最小化原理(最大边缘)的另一种方法.对线性可分情形,提出一种精确意义下的最大边缘算法,并通过闭凸包收缩的概念,将线性不可分的情形转化为线性可分情形.该算法与SVM算法及… …   相似文献

陶卿  孙德敏  范劲松  方廷健 《软件学报》2002,13(3):404-409

一种基于图的颜色纹理区域分割方法

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

针对传统基于图论的图像分割方法在分割纹理图像或有突变边缘的图像时,分割效果不理想的问题,提出了一种新的基于图论的颜色一纹理区域分割方法,该方法采用分块的小波能量直方图与三阶颜色矩组成块特征向量生成图顶点的集合,同时根据块间距离进行加权,计算块间的相似度,作为图的边权值,再利用最小… …   相似文献

孟庆涛  龚声蓉  刘纯平  王朝晖 《中国图象图形学报》2009,14(10):2092-2096

面向多媒体数字版权保护的委托授权远程证明协议

  

现有的委托授权模型主要侧重于受托方是否具有执行委托任务(权利)的能力,没有考虑到受托方平台的可信性;基于此,提出了多媒体环境下基于远程证明(Remote Attestation,RA)的委托授权安全协议,实现了对多媒体数字内容的可信委托授权.协议既保证了委托方对受托方身份与平台完… …   相似文献

丰伟宁  张志勇  赵长伟 《计算机科学》2015,42(4):132-135, 155

基于模型的构件软件修改影响分析

下载全文  

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.面向构件的系统主要由第三方提供的可重用构件或者内建的可重用构件组成,因此,系统的质量好坏和维护的难易程度依赖于构件的品质.一个软件修改会给其他构件甚至整个系统带来影响,而修改影响分析是… …   相似文献

陶传奇  李必信  JerryGAO  孙小兵 《软件学报》2013,24(5):942-960

含无序产生式的故事分析文法的研究

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

基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法,故事分析文法是一种高维的上下文有关文法,为了提高它的描述能力和表达范围,本文定义了一种特殊的产生式：无序产生式,并将它引入故事分析文法,讨论了由此带来的对故… …   相似文献

张松懋 《软件学报》1994,5(1):10-18

缩减RIPEMD-128分析

下载全文  

Hans Dobbertin,Antoon Bosselaers和Bart Preneel在1996年提出hash函数RIPEMD-128,它包含两个独立并行的部分,每一部分的输出组合成RIPEMD-128的输出结果.给出前32步RIPEMD-128的碰撞实例,其计算复杂度是2~… …   相似文献

王高丽  王美琴 《软件学报》2008,19(9):2442-2448

面向对象的知识表示方法

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

本文在分析了传统的知识表示方法基础上,着重探讨了面向对象的知识表示的方法,特点,推进及程序实现问题。  相似文献

王宽全 《计算机科学》1994,21(1):55-58

预测模型获取的遗传算法研究

  总被引：20，自引：1，他引：19

预测活动是国民经济各个领域及现代生活中常见的行为。如经济增长指标预测、国民产值顶测、生态环境预测、环境质量预测、农作物产量预测、虫害预测、入口增长预测、商业行情展望等等。目前使用  相似文献

余建桥 《计算机科学》1998,25(2):49-50

结合面向对象和函数式语言的概念

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

考虑了结合面向对象和函数式程序风范的问题.与这一方向的大多数方法相比,这种结合方法有下面两个优点：首先,结合了在广泛流行的几种主语言中非常有名的一些重要概念.换言之,没有引入新的语言概念并试图以新的概念为基础解释众所周知的语言概念.其次,这种结合具有下面的性质：如果整个语言以传统… …   相似文献

QIAN Zhen-yu  Besma Abd Moulah 《软件学报》2000,11(1):8-22

一个集成化的软件工程支撑环境

下载全文  

软件工程支撑环境的集成化问题是构造环境的中心环节,它涉及到概念、方法、技术和工具等方面,有其内在的逻辑含义和物理表征。本文介绍了一个在UNIX系统上构造的集成化的软件工程支撑环境。该环境以环境库和用户界面为其主要的集成机制,支持面向对象的程序设计方法。它提供了一个基本语言序列,可… …   相似文献

杨芙清  方裕  唐世渭  杨冬青 《软件学报》1991,2(2):1-8

基于超图聚类的故事单元的抽取与分析

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

合理而有效地结构化组织视频数据是浏览、检索和管理视频的重要前提.提出了一种新的层次化的结构化组织视频数据的提取故事单元的方法.它采用k-近邻超图描述镜头间的内容相似关系,利用超图模型对镜头聚类,并通过分析镜头类别间的时间投影关系提取故事单元,并采用一维字符串描述故事单元.此外,还… …   相似文献

樊昀  王润生 《软件学报》2003,14(4):857-863

H.263中基于全零块发现的运动搜索方法

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

Ｈ．３２４系统中,Ｈ．２６３图象编码速度一直是影响系统实时性能的瓶颈,而运动搜索和ＤＣＴ等模块又是其中运算量最大的模块,为了进一步降低图象编码的运算量,提出了一种基于零块发现的运动搜索方法。该方法在对活动图象进行运动搜索时,应用了一种基于发现全零块的中止准则,使得Ｈ．２６３中占用… …   相似文献

兰军强  何芸  曹志刚 《中国图象图形学报》2000,5(11):925-931

基于相机的多投影光度补偿系统

下载全文  

现有关于光度补偿的研究主要基于单投影,可在带有纹理和颜色的表面上进行投影显示。而在多投影系统中,由于多投影带来了重叠区域的光度不一致性,相机的每个像素覆盖的区域增大等问题,容易致使光度补偿失败。介绍一种基于相机的多投影光度补偿系统,虽然也是通过获取环境参数的手段,但提出一种方便快… …   相似文献

刘一然  杨旭波 《中国图象图形学报》2011,16(3):342-349

量子程序设计语言NDQJava-2

下载全文  

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用… …   相似文献

刘玲  徐家福 《软件学报》2011,22(5):877-886

高阶函数式语言到逻辑式语言的转换

下载全文  

本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上.  相似文献

宋立彤  金成植  王丹茹 《软件学报》1996,7(10):611-615

多层核心集凝聚算法

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

许多经典的聚类算法,如平均链接,K-means,K-medoids,Clara,Clarans等,都是利用单一的聚类中心进行聚类.为克服单一聚类中心只能描述凸状聚类的缺陷,CURE,DBSCAN等算法使用多个代表点(或稠密点)表述任意形状的聚类结构,但仍难以聚类重叠和噪声数据.为此,提出一种基于多层聚类中心(称为核心集)的凝聚聚类算法(MulCA).该算法使用了多层核心集表述聚类结构,使得每一层数据集向其核心集凝聚.同时,上层的核心集自动成为下层的数据集.随着每层核心集规模按α比例迅速减少,控制了凝聚过程的迭代次数.此外,引入了基于随机采样计算ε-核心集(RBC)的技巧,将MulCA算法应用于大规模数据集.大量的数值实验充分验证了MulCA算法的有效性.… …   相似文献

马儒宁  王秀丽  丁军娣 《软件学报》2013,24(3):490-506

一种改进的优先级列表任务调度算法

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

异构多核处理器任务调度是高性能计算领域的重要问题。针对优先级列表调度算法中存在的优先级排序方法失当、调度结果不理想的问题,提出一种改进的优先级列表任务调度算法。该算法对传统优先级列表任务调度中以任务执行时间平均值作为参数的优先级计算方式进行优化,提出一种基于异构核性能差异性、依赖… …   相似文献

李静梅  王雪  吴艳霞 《计算机科学》2014,41(5):20-23,36