9381.
9382.
9383.
9384.
9385.
9386.
总被引：1，自引：0，他引：1
对基于零级泛与运算的一阶谓词演算形式系统进行公理化.通过引入全称量词和存在量词,建立与命题形式系统Ulh∈(0,1]相对应的一阶谓词形式系统(A)Ulh∈(0,1],证明了其可靠性定理和演绎定理.从而得到所给形式系统中的定理均为重言式,保证了推理的有效性. 相似文献
9387.
总被引：1，自引：0，他引：1
分簇算法对大规模无线传感器网络( WSN)远程监控系统具有较好的节能性,簇首间通过多跳通信的方式将数据传送至基站,靠近基站的簇首由于需要转发大量其他簇首的数据而负载过重,可能因过早耗尽能量而失效,这将导致整个网络分割.针对现有无线传感器网络分簇算法存在的能耗不均衡问题,提出一种基… … 相似文献
9388.
9389.
9390.
总被引：1，自引：1，他引：1
大多数图像编码前所采用的预处理方法都会造成一定程度的信息损失.以提高图像的熵编码效率为目的,提出一种自适应可逆图像预处理方法--基于相邻像素相似性的可逆图像变换,它包括8像素和4像素处理下的多种模式.在对图像做位平面分解后进行基于相邻像素相似性的可逆图像变换,并选择多种变换方式下… … 相似文献
9391.
9392.
9393.
总被引：1，自引：0，他引：1
网络中大量数据存储在关系数据库中,利用这些数据资源构建领域本体是实现语义Web的任务之一.制定了一组优化的通用转换规则(特别注重对元组信息的语义分析与挖掘),结合领域专家的选择判断,在尽量保留和挖掘关系数据库语义信息的基础上,给出了一个从关系数据库半自动构建OWL本体的方法,同时… … 相似文献
9394.
9395.
总被引：1，自引：0，他引：1
提出基于QC-LDPC码构造的Niederreiter公钥密码体制。由于QC-LPDC码的校验矩阵具有稀疏和分块循环的特性,且QC-LPDC码的纠错能力大,与以往基于纠错码构造的公钥密码体制相比,该体制密钥量大大减少,提高了传信率。同时引入对角形式的可逆变换矩阵Q,通过线性变换产… … 相似文献
9396.
总被引：1，自引：0，他引：1
针对Hough变换检测椭圆时存在运算速度慢、需要大量储存空间的问题,提出一种快速的随机椭圆检测算法.该算法随机采样2点并搜索第3点,再利用椭圆极径性质求出椭圆中心坐标,接着通过坐标变换得到简化的椭圆方程,解方程组求出椭圆剩下的参数.在证据收集确认候选椭圆时,只选取椭圆外切矩形内的… … 相似文献
9397.
总被引：1，自引：0，他引：1
提出了一种基于知识图的领域本体半自动构建方法。以《知网》为语义知识资源,知识图为语义表示方法,采用成熟的软件工程流程,最终构建出的领域本体具有结构明确、语义清晰的特点。对于在其上的语义网、信息抽取等应用提供了有效支持。介绍了本体的概念、设计的准则、建模的流程,并对未来的本体的移植… … 相似文献
9398.
总被引：1，自引：1，他引：1
本文提出了一种基于奇异值与提升小波的彩色图像水印算法,该方法首先将彩色图像从RGB空间转换到YUV彩色空间,然后对YUV空间中的亮度分量Y进行提升小波变换,对低频分量进行奇异值(SVD)分解,然后将水印图像的奇异值嵌入到低频分量的奇异值中,仿真结果表明,该算法不仅具有较好的水印不… … 相似文献
9399.
9400.
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
