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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9761-9770项 搜索用时 234 毫秒
[首页] « 上一页 [972] [973] [974] [975] [976] 977 [978] [979] [980] [981] [982] 下一页 » 末  页»
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.
气象资料服务系统是一个面向气象业务和科研人员在线提供常用资料的网上气象资料服务。本文结台气象数据的特点和Oracle 9i的技术特性阐述了一种气象数据的在线存储和管理的方法。  相似文献
9769.
普适计算环境是一个具有高度动态性的分布式环境,进行信息交互的实体之间存在着自发性和不可预知性。因此,普适计算比传统计算更强调信任的作用,对系统安全也提出了更高的要求。综合了影响信任决策的多个凭证因素,并结合信息安全风险评估,提出一个由信任-信誉模块和风险模块组成的动态协同模型。该… …   相似文献
9770.
CRC编码由于其简单的编码规则的在网络及存储等诸多场合得到广泛应用,随着现代存储和传输技术的发展,软件编码校验已难以满足Gbit级高速传输的需要。基于FPGA技术设计了一个采用多通道高度并行技术实现的高速循环冗余校验（CRC）系统。系统采用五个2Gbps校验通道并行工作的方式来达… …   相似文献
[首页] « 上一页 [972] [973] [974] [975] [976] 977 [978] [979] [980] [981] [982] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持