用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第6121-6140项 搜索用时 314 毫秒
[首页] « 上一页 [302] [303] [304] [305] [306] 307 [308] [309] [310] [311] [312] 下一页 » 末  页»
6121.
如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的… …   相似文献
王生原  杨良怀  袁崇义  杨萍 《软件学报》2002,13(6):1148-1154
6122.
  
为了对无线实时多播系统中纠删方案的性能进行精确的分析与评估,提出基于GE(Gilbert-Elliot)信道模型与实际实验数据的精确分析与统计评估方法。提出一种分析混合纠删方案性能的闭式表达式,并设计基于WLAN的实时多播验证与评估系统,在此基础上,采用极大似然估计方法对实验数据… …   相似文献
6123.
下载全文  总被引：6，自引：2，他引：6
掌纹识别作为生物特征技术的一个重要分支,以其信息丰富、采集简便和稳定性强而作为疾病早期诊断和身份识别的重要依据,而其中主线的提取一直是识别的关键。本文讨论了一种提取主线信息的新方法,和传统方法不同的是,它利用普通的光学扫描仪方便地采取图源,之后对预处理和正规化后的图像利用Syml… …   相似文献
6124.
为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的… …   相似文献
周从华  刘志锋  王昌达 《软件学报》2012,23(7):1656-1668
6125.
  
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。… …   相似文献
6126.
下载全文  总被引：1，自引：0，他引：1
基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法,故事分析文法是一种高维的上下文有关文法,为了提高它的描述能力和表达范围,本文定义了一种特殊的产生式：无序产生式,并将它引入故事分析文法,讨论了由此带来的对故… …   相似文献
张松懋 《软件学报》1994,5(1):10-18
6127.
下载全文  总被引：10，自引：0，他引：10
Web应用服务器是Web计算环境下的新型中间件,为基于组件的分布式Web应用提供了基础运行平台.组件静态分布限制了事务性Web应用在运行期间适应执行环境变化的能力.为了满足Web应用的动态分布需求,Web应用服务器需在底层为组件提供一种动态迁移的能力.如何维持组件迁移前后的一致性… …   相似文献
范国闯  魏峻  钟华  冯玉琳 《软件学报》2004,15(3):404-413
6128.
下载全文  总被引：2，自引：0，他引：2
考虑了结合面向对象和函数式程序风范的问题.与这一方向的大多数方法相比,这种结合方法有下面两个优点：首先,结合了在广泛流行的几种主语言中非常有名的一些重要概念.换言之,没有引入新的语言概念并试图以新的概念为基础解释众所周知的语言概念.其次,这种结合具有下面的性质：如果整个语言以传统… …   相似文献
6129.
下载全文  总被引：14，自引：0，他引：14
为了提高纹理图象分割的边缘准确性和区域一致性以及降低分割错误率,提出了一种基于小波变换的利用特征加权来进行纹理分割的方法。该方法包括特征提取、预分割和后分割3个阶段,其中,特征提取在金字塔结构小小以变换的基础上进行;预分割利用均人矣类算法来对原始图象进行初步的分割;后分割则根据预… …   相似文献
6130.
  总被引：2，自引：0，他引：2
为多用户MIMO-OFDM下行链路提出一种结合正交空时分组码与特征波束形成的传输方案,利用接收端反馈的延时信道状态信息进行自适应传输,使系统吞吐量最大.提出了自适应多用户子载波分配准则与相应的比特加载方法.仿真结果表明,该方案能充分利用具有时延的信道状态信息,相比非自适应系统,能… …   相似文献
6131.
  
提出一种结合特征场和模糊核聚类支持向量机的图像分类辨识方法。首先,构造符合人类视觉特性的图像彩色和纹理特征数据场,一方面,引入新阈值,建立图像纹理特征;另一方面,在图像彩色特征上,对能够引起注意的像素区域的像素点进行加权处理,并使用彩色空间分布离散度来描述彩色的空间分布。其次,采… …   相似文献
于文勇  康晓东  葛文杰  王昊 《计算机科学》2015,42(3):307-310, 320
6132.
  
为了克服视频解码端时域差错掩盖技术不能准确估计丢失块运动矢量的缺点,提出了一种将解码端运动估计和隐藏运动模型相结合的误码差错掩盖方法。首先,利用丢失块周围正确接收像素估计丢失块运动矢量,并计算估计的准确性。然后根据准确性,通过隐藏运动模型充分利用丢失块的空域和时域相关性进行差错块… …   相似文献
6133.
UC/OS-II是一种针对嵌入式设计的实时多任务操作系统,采用基于优先级的抢占式任务调度算法,虽然效率高但调度策略比较单调。在实际应用中,常需要多个任务以时间片轮转方式调度。分析了 UC/OS-II操作系统内核任务调度算法,在不破坏原有内核机构,保持现有的UC/OS-II任务的可… …   相似文献
6134.
下载全文  总被引：4，自引：0，他引：4
该文利用延迟离散网络的状态转移方程与矩阵不等式的等价性研究网络的动力学性质.对于具有任意连接权阵的网络,文章给出了周期为1和2的极限环存在的一些条件.同时,对于周期为1,2和4的一些特殊极限环给出了存在的条件,还得到了网络不存在任何不动点的充分条件,即只有极限环的充分条件.计算机… …   相似文献
邱深山  徐晓飞  李春生  刘明珠 《软件学报》1999,10(10):1108-1113
6135.
针对彩色图像中高斯噪声难以去除的问题,提出了一种基于色度模型的色度中值滤波与曲波变换域Bayes多阈值滤波相结合的彩色图像去噪方法。该方法首先将RGB图像转换为HSI图像,通过在色度平面搜索色度中值分别消除H和S分量中的噪声,然后采用循环平移的曲波变换域Bayes多阈值对I分量噪… …   相似文献
6136.
下载全文  总被引：4，自引：0，他引：4
通过分析交叉点规模对交叉算子空间搜索性能的影响,可以发现在遗传算法的搜索过程中,其对交叉点规模的需求是随群体状态的演变而动态变化的.为实现对交叉点规模的优化,提出使用分阶段调整策略、随机分配策略以及自适应进化策略3 种方法来完成对交叉点规模的动态调控.对典型高维函数的优化实验表明… …   相似文献
陈皓  崔杜武  李雪  韦宏利 《软件学报》2009,20(4):890-901
6137.
本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上.  相似文献
6138.
在断层重建的很多工程应用中,由于低剂量以及成像硬件等原因,经常需要在测量数据不充分的情况下去重建图像。基于图像分段光滑的假设,提出采用误差的加权范数作为数据保真项,TV（total variation）作为正则项的断层图像重建模型。该模型求解时,首先通过引入代理函数将原问题解耦为… …   相似文献
6139.
  
由于VANETs的车辆的快速移动,基于地理位置的路由协议广泛应用于VANETs。车辆周期广播位置信息来建立路由,导致车辆的位置信息容易遭受泄露。为此,提出基于伪距离的位置隐私保护(false-based location pri-vacy protection,FLPP)路由协议… …   相似文献
徐会彬  王琦 《计算机科学》2013,40(1):103-106
6140.
下载全文  总被引：4，自引：0，他引：4
在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的… …   相似文献
[首页] « 上一页 [302] [303] [304] [305] [306] 307 [308] [309] [310] [311] [312] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持