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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第6561-6580项 搜索用时 109 毫秒
[首页] « 上一页 [324] [325] [326] [327] [328] 329 [330] [331] [332] [333] [334] 下一页 » 末  页»
6561.
下载全文  总被引：18，自引：2，他引：18
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.  相似文献
白硕  隋立颖  陈庆锋  付岩  庄超 《软件学报》2000,11(2):213-221
6562.
下载全文  总被引：1，自引：1，他引：0
目前已经提出的代理签名方案缺乏在完整的代理签名安全模型下证明方案的安全性.在Boldyreva等人提出的代理签名安全模型的基础上,对代理签名的可证安全模型进行详细的形式化定义,提出一种完整的代理签名可证安全模型.同时,为了展示该安全模型的有效性和可扩展性,对Paterson等人提… …   相似文献
谷科  贾维嘉  王四春  石良武 《软件学报》2012,23(9):2416-2429
6563.
下载全文  总被引：6，自引：1，他引：6
DirectShow是基于COM的多媒体应用开发技术。本文首先对DirectShow程序设计原理进行了深入的分析, 然后结合VC++程序设计和DirectShow技术,总结出进行程序设计的通用的方法和步骤,并提供了详实的应用程序代码。最后,列出了程序设计时应特别注意的问题。… …   相似文献
6564.
下载全文  总被引：4，自引：0，他引：4
随着高性能芯片及高性能计算的应用,人们对调试器的要求不再仅局限于“正确性调试”,而是更进一步要求进行“性能调试”,即在正确性的基础上,通过对程序的细调而获得最佳性能.正确性调试和性能调试通常由独立的工具支持,这种模式已不能很好地支持高性能计算.介绍了一个为高性能SIMD芯片设计的… …   相似文献
刘强  张兆庆  乔如良 《软件学报》1999,10(2):220-224
6565.
研究生调剂是研究生招生中的重要环节。传统的调剂方法都是通过手工操作的,考生很难从往年大量的调剂数据中分析出规律,选报合适的学校。提出了基于半监督学习的数据挖掘方法,也即是从已知类别的训练样本提取出其中的关联规则作为分类的监督信息,并结合非监督学习方法中的K-mean聚类算法,对大… …   相似文献
6566.
  总被引：4，自引：2，他引：2
提出了一种Contourlet域的基于奇异值分解的鲁棒水印算法。综合Contourlet变换和奇异值的优点,选择宿主图像Contourlet变换后的低频子带和能量最大的高频子带作为水印嵌入子带,分别嵌入水印信息。水印提取时,从两个子带水印中选择NC值较大的作为最终提取的水印。实验… …   相似文献
6567.
本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了ＣＬＯＳＵＲＥ分析,抽象分析,标记和例化较完整的形式描述。  相似文献
陆卫东  金成植 《软件学报》1996,7(10):634-640
6568.
下载全文  总被引：1，自引：0，他引：1
提出了比特平面与编码过程全并行处理的EBCOT(embedded block coding with optimizedtruncation)编码结构.通过分析JPEG2000和国内外提出的EBCOT编码结构,指出不仅每一个比特平面,而且对应的编码过程的编码信息可以同时获得,从而… …   相似文献
刘凯  李云松  吴成柯 《软件学报》2006,17(7):1553-1560
6569.
下载全文  总被引：5，自引：0，他引：5
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕… …   相似文献
6570.
基于数字照度传感器BH1750实现了一种多功能照度计GZ-100,除照度测量功能外,还具有温湿度测量与无线通信功能。系统采用低电压的STC12LE5A60S2单片机,抗干扰能力强、应用电路最简单的射频收发芯片IA4420,数字照度传感器BH1750和温湿度传感器SHT11。系统根… …   相似文献
6571.
下载全文  总被引：1，自引：0，他引：1
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．  相似文献
程晓春 《软件学报》1997,8(7):525-534
6572.
下载全文  总被引：2，自引：1，他引：2
并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋,ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中,所有对象都是并发对象,对象间的通讯都采用异步消息发送方式．… …   相似文献
温冬婵  王鼎兴  张宁 《软件学报》1997,8(6):401-408
6573.
  总被引：3，自引：0，他引：3
提出了直接从2D的绘画图像中得到浮雕效果的方法。将图像看成2D网格,图像上的颜色作为加在该网格上的高度场,图像上的每个点对应3D模型中的一个采样点,进而进行三角化和绘制。还引入法向图,通过形象地调节几张法向的图像修改绘制效果。  相似文献
6574.
  总被引：1，自引：0，他引：1
为实现视频编码标准MPEG-4中语义对象的自动提取,提出一种基于时空信息的运动对象分割算法。在时域上通过双边加权累积帧差和分块高阶统计算法得到目标的运动区域检测模板,以在充分利用时域信息的同时提高算法的速度;在提取空域信息时,先对视频序列的灰度图进行对比度增强处理,然后利用自适应… …   相似文献
6575.
按照H.323的扩展协议H.332,研究并开发了一个分布式视频会议系统。系统基于IP组播网络,具有与会成员的身份认证机制,会议全过程采用分布式控制和管理,并基于RTP/RTCP协议,对系统音视频实时发送和接收过程中的丢包、同步和时延抖动问题给出了有效的处理方法,保证了一定的服务质… …   相似文献
6576.
  总被引：2，自引：0，他引：2
智能同业务是由智能网系统中一串SIB构成的SLP软件实体来实现的．为了易于智能网业务快速、经济地提供．在CIN－01智能网系统中,本文提出了一套软件重用的方法．在该系统中．为各个SLP提出了可重用的软件设计,SLP由可重用的软件—SIB,CCB和可重用的模式—SLR·SIBSSD… …   相似文献
铁伟  陈俊亮 《软件学报》1997,8(12):944-949
6577.
无结构P2P网络拓扑随着规模的增大会出现一定的统计特性,充分应用该现象提出了一种多级局部覆盖网络(multi-level local overlay,简称ML2O)的无结构P2P覆盖网,对ML2O中节点间的连接进行恰当的数学控制后,就能使产生的拓扑具有从微观到宏观的多个粒度上的局… …   相似文献
李治军  姜守旭  李晓义 《软件学报》2011,22(9):2104-2120
6578.
  
讨论了一类只含三角函数的三角形几何不等式的自动证明问题。运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和实根分离的算法实现了二元多项式不等式的自动证明,输出的证明过程可以手工验证或借助一些数学软件进行理解。实验表明上述算法… …   相似文献
6579.
SIP是IETF提出的IP电话信令协议,作为NGN重要协议之一,广泛应用于数据、语音、视频等多媒体通信业务中。但网络中大量NAT的 存在加上SIP本身不支持信令和媒体流的穿越,限制了其在广域网上的应用和发展。对目前主要的NAT穿越方案进行了详细的阐述和比较之后,设计并实现了一种基… …   相似文献
6580.
低功耗嵌入式系统设计的能量消耗问题是近几年来人们在嵌入式系统设计中普遍关注的难点与热点,它严重制约着嵌入式系统的应用及发展。以减少嵌入式系统所耗电能为目标,首先分析了嵌入式系统功耗主要来源确定解决目标,而后根据嵌入式系统功耗分析给出低功耗嵌入式系统模型以及模型各层降低功耗的具体方… …   相似文献
张炜  韩进 《计算机系统应用》2009,18(11):109-113
[首页] « 上一页 [324] [325] [326] [327] [328] 329 [330] [331] [332] [333] [334] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持