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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9601-9620项 搜索用时 120 毫秒
[首页] « 上一页 [476] [477] [478] [479] [480] 481 [482] [483] [484] [485] [486] 下一页 » 末  页»
9601.
首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp (A,B,C)-可交换的定义,研究了wlp (A,B,C)-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,验证了wlp 是比量子最弱前置条件(weakest precondition,简称wp)更弱的谓词转换,揭示了wlp 和wp 的本质区别;最后证明了wlp 的序列合成、并行合成和块结构等性质.… …   相似文献
9602.
  
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策… …   相似文献
9603.
  
软件是人思维的产物,人是决定其质量的关键性因素。随着“工程系统”向“社会技术系统”的扩展,软件心理学对软件工程的启发价值日益彰显。首先,总结了软件心理学的发展过程和研究体系。然后,论述了软件心理学6个主要领域的研究进展,分析了其对软件工程的启发价值,探讨了存在的不足及未来研究方向… …   相似文献
9604.
在处理大数据集聚类初始化问题时,随机子样法是一种重要的数据约简操作.对随机取样的过程、特征及缺陷进行了分析,提出一种基于KD树子样的聚类初始化方法.该方法利用KD树将样本空间以递归方式细分成多个子空间,并分别在各子空间中随机取样形成KD树子样,有效避免了随机子样分布有偏的不足,使… …   相似文献
9605.
下载全文  总被引：3，自引：0，他引：3
研究了动态字母表统计模型的有关性质以及建立动态字母表模型应予以注意的问题.理论与实验表明,动态字母表模型在没有牺牲时间性能的情况下,能够提高预测的准确性,从而获得更好的编码效率.动态字母表对于建立大字符集文种(如汉语)文本压缩的统计模型具有重要意义  相似文献
王忠效  范植华 《软件学报》2001,12(2):283-292
9606.
提出了一种基于用户分配和负载的频谱分配算法.该算法包括两部分:用户分配子算法和频谱分配子算法.用户分配子算法首先基于聚类划分理论,使分配到相同访问点下的用户具有相近的信噪比,缓解了无线接入网络中普遍存在的远近效应问题.在该用户分配基础上,频谱分配子算法根据各访问点的负载及其关联用… …   相似文献
陈剑  吴建平  李贺武 《软件学报》2013,24(7):1638-1649
9607.
为了实现实时性的光线追踪平台,提出了一种光线与三角形求交算法的硬件架构设计.首先介绍了一种光线与三角形求交的简洁算法.该算法与其它算法相比使用存储空间最少,却具有相似的性能,便于硬件实现.根据此算法,提出了相应的硬件架构,在架构设计过程中,通过折叠、资源共享、以及多线程等硬件架构… …   相似文献
9608.
下载全文  总被引：9，自引：1，他引：9
时态GIS（TGIS）以及时空数据模型是当前地理信息科学领域的研究热点,土地地籍管理信息系统是TGIS的典型应用,对土地地籍管理信息系统的时空过程进行了分析;提出了在基态修正时空数据模型中,采用区段快速索引和变粒度存储因子方法;通过区段快速索引和变粒度存储因子的引入,系统查询效率… …   相似文献
9609.
该文提出了一种快速单元级矢量有限元/自适应多层快速多极子并行算法,该算法可在单元级上完成有限元部分的所有计算过程而无须生成总体系数矩阵;通过将基函数和权函数分别用不同空间位置上的点源函数展开,使多层快速多极子部分的积分计算得到大大简化,转移过程可由快速傅里叶变换计算完成,与波形渐… …   相似文献
9610.
  
现有大规模支持向量机求解算法需要大量的内存资源和训练时间,通常在大集群并行环境下才能实现。提出了一种大规模支持向量机(SVM)的高效求解算法,以在个人PC机求解大规模SVM。它包括3个步骤:首先对大规模样本进行子采样来降低数据规模;然后应用随机傅里叶映射显式地构造随机特征空间,使… …   相似文献
9611.
下载全文  总被引：2，自引：0，他引：2
医学图象弹性配准是医学图象处理的一个重要研究方向 .目前采用的方法多是手动选择对应标记点 ,然后用薄板样条插值方法计算配准变换 .为了降低对应点的选取误差对配准准确性的影响 ,并克服手动选点操作繁杂、耗时大的问题 ,给出了一种准确、快速、鲁棒性好的配准方法 .即对薄板样条插值方法… …   相似文献
9612.
该文基于一种简单低成本的、波长转换节点共享型全光波长路由器结构,设计了以排队理论为基础的M/M/T/T模型,研究了波长路由器在波分复用波长路由网络中的阻塞特性。数值结果表明,全光网波长路由器的阻塞特性与复用波长数目,链路波长利用率,节点接入光纤端口数,有无波长转换器密切相关。尤其… …   相似文献
9613.
  总被引：6，自引：0，他引：6
色键是传统电视节目制作中常用的技术,虚拟演播室是在此基础上发展而来的,它是用计算机生成的替换蓝色背景,并运用计算机技术和视频合成技术,使演可可以在虚拟的场景中“表演”,与虚拟对象（如卡通动物等）“交互”,真正实现虚实结合,这时 重讨论虚拟演播室系统的结构以及关键技术。… …   相似文献
9614.
下载全文  总被引：17，自引：1，他引：17
冯铁  张家晨  陈伟  金淳兆 《软件学报》2000,11(8):1078-1086
9615.
  
黑色素瘤轮廓的不规则性是区别于良性皮肤痣的重要临床特征之一,研究皮肤肿瘤轮廓的不规则性描述对黑色素瘤计算机辅助早期诊断和治疗具有重要意义。传统分形维（FD）利用自相似度量表示轮廓的不规则性,但作为全局特征,分类能力较弱。为了探索新的多尺度下轮廓不规则程度的描述方法。提出了高斯滤波… …   相似文献
9616.
下载全文  总被引：1，自引：0，他引：1
集装箱号自动识别在海关物流管理等领域有着重要的实用价值。为了快速准确的地进行集装箱号识别,提出了一种基于图像分割和区域特征分析的集装箱号字符定位和识别方法。该方法首先基于灰度相似性运用改进的单程分裂与归并算法对图像进行自适应阈值分割,同时统计各个区域的灰度、形状、边缘强度等特征;… …   相似文献
9617.
  
同一场景下的合成孔径雷达(SAR图像)的灰度特性由于相关噪声的影响及成像条件不同,可能存在很大差异,使得直接运用基于特征的图像匹配方法难于实现SAR图像高精度的配准。针对此问题,提出了一种SAR图像的预匹配方法,即运用占优的线特征信息,通过统计分析寻找出待匹配图像的角度和尺度变化… …   相似文献
9618.
提出了一种用于空心圆柱端面缺陷快速检测的新方法.为适应不同尺寸工件以及工件不同端面的几何特征,采用入射角可变的矩形LED阵列作为光源,通过CCD进行图像采集并进行适当的预处理,约化图像中的有用信息以提高检测效率.工件端面检测采用优化的Hough变换法实现标准圆拟合,通过计算实际像… …   相似文献
9619.
本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型,使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性,易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层… …   相似文献
9620.
提出一种基于均匀网格的点在多边形内的高效判定算法.它首先建立均匀网格,并从左至右依次计算每个网格单元中心点的位置属性.每个单元中心点的位置属性直接依据其左侧邻接单元已知位置属性的中心点快速获得.在判定点的位置时,确定被测点所在单元,并依据该单元中心点的位置属性判定被测点的位置属性… …   相似文献
李静  王文成 《软件学报》2012,23(9):2481-2488
[首页] « 上一页 [476] [477] [478] [479] [480] 481 [482] [483] [484] [485] [486] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持