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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9761-9780项 搜索用时 369 毫秒
[首页] « 上一页 [484] [485] [486] [487] [488] 489 [490] [491] [492] [493] [494] 下一页 » 末  页»
9761.
本文用类型一阶理论来定义逻辑程序,并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论．在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Ｓｕｎ工作站上建立了一个自动设计Ｐｒｏｌｏｇ型程序的实验系统．  相似文献
姜涛  孙怀民 《软件学报》1994,5(11):50-58
9762.
本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确… …   相似文献
朱鸿 《软件学报》1991,2(2):31-41
9763.
  总被引：2，自引：0，他引：2
在图像融合过程中常采用重叠区域像素加权融合方法,这会存在鬼影现象。为解决这一问题,提出了一种改进的最佳缝合线生成算法和沿最佳缝合线的融合方法,并将其应用于序列遥感图像的拼接融合。首先在重叠图像中,对重叠区域的边赋予权值,然后进行最大流最小割,最终获取最佳缝合线。在计算边权值时引入… …   相似文献
9764.
  
近年来,语义事件分析越来越受到重视,典型语义事件的检测与识别是一个具有挑战性的研究领域。提出了基于超图模型的复杂视频事件检测方法,通过分析对象的运动轨迹,检测出视频中的所有子事件并构建时序关系图及依赖关系图,从而生成子事件超图,并通过谱超图聚类分析来检测相应的复杂事件。采用图变换… …   相似文献
9765.
对网络编程中涉及到的web服务器安全与ASP脚本安全作了较全面的分析,并针对各种漏洞提出了相应的防护措施.  相似文献
9766.
  
在装定器接收到的负载调制信号中,载波信号与反馈信号相位相差π/2,且前者幅度远远大于后者,因此,负载调制信号的调幅度接近于1,用包络检波方式难以解调出反馈信号。提出了一种正交变换方法,可以简便地实现载波信号的正交变换,使得载波信号与反馈信号同相,增强负载调制信号的幅度变化率,从而… …   相似文献
9767.
  
为了改善单一聚类算法的聚类性能,提出一种基于量子遗传算法的XML文档聚类集成解决方法。该方法首先利用KNN分类算法将XML文档划分成k个差异性的聚类成员;其次根据聚类成员的关系获得内联相似度矩阵,并通过多次分割、向下、向上、双向收缩的QR算法分解特征值对应的特征向量来实现矩阵的维… …   相似文献
9768.
普适计算环境是一个具有高度动态性的分布式环境,进行信息交互的实体之间存在着自发性和不可预知性。因此,普适计算比传统计算更强调信任的作用,对系统安全也提出了更高的要求。综合了影响信任决策的多个凭证因素,并结合信息安全风险评估,提出一个由信任-信誉模块和风险模块组成的动态协同模型。该… …   相似文献
9769.
气象资料服务系统是一个面向气象业务和科研人员在线提供常用资料的网上气象资料服务。本文结台气象数据的特点和Oracle 9i的技术特性阐述了一种气象数据的在线存储和管理的方法。  相似文献
9770.
CRC编码由于其简单的编码规则的在网络及存储等诸多场合得到广泛应用,随着现代存储和传输技术的发展,软件编码校验已难以满足Gbit级高速传输的需要。基于FPGA技术设计了一个采用多通道高度并行技术实现的高速循环冗余校验（CRC）系统。系统采用五个2Gbps校验通道并行工作的方式来达… …   相似文献
9771.
  总被引：1，自引：0，他引：1
针对如今企事业单位局域网内部打印机管理难的问题,提出了利用活动目录来实现打印机的管理。设计了基于活动目录的打印机监控系统。通过该系统,注册用户可以直接打印,无论是否成功均会以日志的形式被记录进数据库中。未注册用户无权打印文件。当系统检测到非法用户,将会自动删除打印任务,并记录打印… …   相似文献
9772.
下载全文  总被引：4，自引：0，他引：4
现有的软件复用技术通常是围绕着库来组织利用标准的和通用的可复用资源.例如,面向对象编程环境中的类库和通用构件库.然而,这种以库为中心的复用方式在一定程度上忽略了可复用资源的项目相关信息,而项目相关信息记录了可复用资源的应用语境(Application Context).应用语境有… …   相似文献
9773.
下载全文  总被引：1，自引：0，他引：1
在当今世界,WWW已经成为新颖而强大的媒体,但是,现在运行于Web上的应用仍然不是完全多媒体化的.这主要是因为Internet网络是不可靠、尽力型的,无法提供数据实时传输的保证,尤其对那些大数据量的连续媒体(如视频与音频数据).因此,在Web环境中多媒体对象间的同步就变得格外复杂… …   相似文献
谭焜  史元春  徐光祐 《软件学报》2000,11(7):853-862
9774.
  
提出一套适用于大型复杂信息系统开发的质量功能目标驱动模型化方法,并对这一方法的基本原理、开发过程模型、组织机构模型以及系统分析与设计方法进行了说明。  相似文献
9775.
  
设计了一个基于竞合协调机制的MAS架构,以协调集群环境下供应链整体绩效与成员企业利益之间的关系,实现了多agent供应链管理系统与现有组织之间较好的匹配,并使用仿真技术对系统的商业价值进行评估.这有助于基于多agent系统和竞合机制效益的理论表达,也对企业实施基于多agent的系… …   相似文献
9776.
  
针对目前一些IC卡应用系统存在的某些漏洞,设计了一个IC卡应用系统来防止非法用户对IC卡的窜改。本系统按不同的安全级别使用了摘要、认证、加密等技术,保证了IC卡应用系统的正常运行。  相似文献
9777.
下载全文  总被引：1，自引：0，他引：1
对质量较差的人脸图像进行光照补偿,多尺度Retinex算法是传统的算法中比较有效的一种,但是Retinex算法处理的人脸图像会产生\"泛白、颜色失真、对比度低\"现象,为了提高人脸识别率,为此提出了一种新的带色彩恢复的多尺度Retinex算法(MSRCR)对彩色图像进行光照补偿.… …   相似文献
9778.
由于P2P 网络无中心、匿名性等特点,传统的基于PKI 安全机制不能很好地保障其安全,设计一个有针对性的信任机制来保障P2P 网络的安全是非常有意义的,在现有信任机制研究成果的基础上提出了一种更加完善的信任机制,基于模拟人类社会推荐信任评价安全策略,具有节点区分、严格奖惩的激励机… …   相似文献
9779.
  总被引：4，自引：0，他引：4
将基于视图描述的形状特征和3D Zernike矩两种特征应用于三维模型检索,并且根据用户反馈在输出层进行融合.实验表明,采用混合形状特征在提高检索准确率的同时,也能保证检索效率.  相似文献
9780.
传统的遗传算法具有早熟收敛和后期收敛速度慢的缺点,采用改进的小生境技术解决这一问题,同时根据具体问题改进了遗传算子,并将改进后的小生境遗传算法应用于聚类挖掘中。由于聚类挖掘算法中的K—means算法对初始值K的选取敏感,选取值的不同会导致聚类结果的不同,很容易陷入局部最优,使得聚… …   相似文献
[首页] « 上一页 [484] [485] [486] [487] [488] 489 [490] [491] [492] [493] [494] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持