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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第7951-7960项 搜索用时 100 毫秒
[首页] « 上一页 [791] [792] [793] [794] [795] 796 [797] [798] [799] [800] [801] 下一页 » 末  页»
7951.
下载全文  总被引：1，自引：0，他引：1
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的… …   相似文献
李暾  郭阳  李思昆 《软件学报》2003,14(3):628-634
7952.
  总被引：1，自引：0，他引：1
为了更有效地提取图像的局部特征,提出了一种基于2维偏最小二乘法(two-dimensional partial leastsquare,2DPLS)的图像局部特征提取方法,并将其应用于面部表情识别中。该方法首先利用局部二元模式(localbinary pattern,LBP)算子… …   相似文献
7953.
下载全文  总被引：17，自引：1，他引：17
无线传感器网络是当前信息领域中研究的热点之一,本文首先介绍了无线传感器网络的特点,然后着重说 明了无线传感器网络的体系结构和网络协议,最后探讨了无线传感器网络中的关键技术以及应用领域。  相似文献
7954.
  
基于非下采样Contourlet变换(Nonsubsampled Contourlet Transform,NSCT)子带系数间的结构相关性,本文提出了一种通用的无参考图像质量评价方法.首先,利用互信息分析NSCT子带系数间的相关性,确定出相关性比较强的子带系数;其次,分别计算这… …   相似文献
7955.
下载全文  总被引：7，自引：0，他引：7
在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对((下近似集,上近似集()表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能够抽象刻画偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数,它们对应的一般… …   相似文献
代建华  潘云鹤 《软件学报》2005,16(7):1197-1204
7956.
精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.… …   相似文献
7957.
下载全文  总被引：1，自引：0，他引：1
目前在具有后向无关联性的本地验证撤销群签名方案中,公钥长度和时间间隔的总数线性相关,撤销列表的大小与时间间隔的总数和被撤销用户的总数线性相关.因此,当时间间隔总数和被撤销成员总数比较大时,所需的存储空间和撤销验证时的开支都比较高.在DTDH和q-SDH假设下,提出一种具有后向无关… …   相似文献
魏凌波  武传坤  朱婷鸽 《软件学报》2009,20(7):1977-1985
7958.
指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制.本文主要讨论在时序逻辑语言XYZ/E中指针的形式化表示问… …   相似文献
李广元  唐稚松 《软件学报》2000,11(3):285-292
7959.
近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ,描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面,定义了空间、基、解释、满足、模型等概念;利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理… …   相似文献
7960.
  总被引：1，自引：0，他引：1
针对X射线图像的特点,提出了一种新的X射线手提行李图像增强方法。首先,应用离散小波变换（DWT）对图像进行去噪、融合,然后,结合模糊理论在模糊空间实现图像增强。同时将本文方法与基于灰度分组(GLG)的增强方法、基于直方图均衡 (HE)的增强方法做了比较,实验结果表明,本文方法可以… …   相似文献
[首页] « 上一页 [791] [792] [793] [794] [795] 796 [797] [798] [799] [800] [801] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持