•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9421-9440项 搜索用时 128 毫秒
[首页] « 上一页 [467] [468] [469] [470] [471] 472 [473] [474] [475] [476] [477] 下一页 » 末  页»
9421.
下载全文  总被引:1,自引:0,他引:1
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.  相似文献
丁志军  蒋昌俊 《软件学报》2002,13(12):2305-2316
9422.
  总被引:1,自引:0,他引:1
针对人脸识别在复杂环境下识别率低的问题,提出了一种基于梯度直方图(HOG)多特征融合与随机森林的人脸识别方法.该方法通过HOG特征描述子对人脸进行特征提取.首先以网格作为采样窗在整个人脸图上进行整体HOG特征的提取,并将人脸图像分成均匀子块,在包含有人脸关键部分的子块中提取局部H… …   相似文献
郭金鑫  陈玮 《计算机科学》2013,40(10):279-282
9423.
下载全文  总被引:9,自引:0,他引:9
近年来,关于因特网业务量多重分形性的研究已成为网络通信研究领域的一个热点.目前,在关于这一多重分形性的成因方面已经有了一些研究成果,大部分都认为这是由现代网络分层的体系结构造成的.然而这些结论对现代因特网的负载极重这一事实及其对网络业务量性质的影响没有给予充分的重视.通过对已有成… …   相似文献
9424.
  总被引:11,自引:0,他引:11
该文提出了一种适用于多光谱遥感图象分类的自适应最小距离算法,这一算法通过对样本集合的自适应精细划分来调整最小距离分类器的参数,对TM遥感图象分类的实验结果表明,该方法对16类数据进行有监督分类,精度可达92.9%,适用于多类别遥感图象分类。  相似文献
9425.
  
人体的运动过程较为复杂,图像中的相似动作很多,对传统的特征识别形成干扰,造成识别准确性不高。为了提高其识别正确率,提出一种Hu不变矩和人工鱼群优化支持向量机的人体运动姿态识别模型(Hu-AFSA-SVM)。首先,以二维连续图像为基础,提取图像中人体运动姿态识别的7个Hu不变矩,然… …   相似文献
张永强 《计算机科学》2014,41(3):306-309
9426.
皮肤肿瘤轮廓的结构不规则性对黑色素瘤临床早期诊断具有重要意义。针对皮肤肿瘤轮廓结构不规则性度量和特征分类器设计问题,提出了一种基于小波子带分析的轮廓结构分量获取及多尺度特征神经网络分类器构建方法。利用肿瘤轮廓小波子带能量的Hausdorff距离寻找显著性小波子带,进而重构肿瘤轮廓… …   相似文献
马莉  秦波 《中国图象图形学报》2011,16(10):1791-1801
9427.
下载全文  总被引:8,自引:3,他引:8
说明了遥感图象数据的非线性性质,目视的图象分类实践是一个模糊推理的过程,模糊神经网络遥感图象分类符合其事物的内在规律,具有理论优势,分析了模糊ART,模糊ARTMAP和FasART模型的结构和原理,详细地阐述了FasART是一种基于模糊逻辑系统的神经网络,提出了一种简化的FasA… …   相似文献
9428.
为了对公路交通进行数字化和智能化管理,该文提出了一种以创设电子车牌为基础的汽车数字化标准信源系统,该系统采用配装有无源UHF射频卡的电子车牌技术体制,对区域性车辆的道路公安交通管理进行探索和示范。演示结果表明,它具有很广的应用领域和推广价值,可以为道路公安交通进行数字化和智能化管… …   相似文献
9429.
下载全文  总被引:1,自引:0,他引:1
该文深入研究了双通道沿迹干涉(Along-Track Interferometry, ATI )SAR的机理,给出了运用该机理在静止目标去线性调频后的频域内进行动目标检测的方法。文中详细描述了该方法的检测过程,分析了杂波、噪声以及目标速度对检测性能的影响, 最后给出了计算机仿真结… …   相似文献
9430.
下载全文  总被引:1,自引:11,他引:1
为了让图形学领域内的理论研究和开发人员对图形学研究进展有一个全面的了解,以及为读者查阅相关文献提供方便,对1997年发表在全国较集中的12种期刊上的有关图形工程的主要论文,根据内容进行了分类。  相似文献
9431.
下载全文  总被引:4,自引:1,他引:4
空间查询优化是空间应用的突破点,由于现有的关系优化不能适应空间数据的查询,因此空间系统必须具有自己的代价模型和优化器,为此,给出了一个空间查询优化的系统方案FQPro,并在对空间查询优化的几个阶段做了一般性探讨后,将重点放在代价模型、谓词代价计算和优化方案的代价计算上,尤其对基于… …   相似文献
9432.
下载全文  总被引:1,自引:0,他引:1
本文对活动轮廓模型的外部能量项进行改进,针对灰度图像分割提出了一种新的自适应图像分割模型,并将它推广,建立了矢量图像分割模型。新模型耦合了快速边缘积分方法和简化统计方法,充分考虑到图像区域和边缘的先验信息,可根据不同的条件概率密度函数构造不同图像分割模型。文中还基于高斯型概率密度… …   相似文献
9433.
  
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执… …   相似文献
陈曙  叶俊民  张帆 《计算机科学》2013,40(8):161-164
9434.
下载全文  总被引:1,自引:0,他引:1
为了使根据人体行走的单目动态图象序列,对人体手臂及腿部的运动及结构参数进行估计的结果更为可信、更具鲁棒性,提出了一种基于相对形变模型及正则化技术的人体运动估计方法,该方法首先在物体中心坐标的运动表示方式下,通过在刚体运动模型中加入形变系数的方法给出了基于相对形变概念的非刚体运动模… …   相似文献
9435.
一般的图像域信息隐藏算法并不适用于遥感影像,将信息隐藏的涵义加以拓广,提出了遥感影像中多个机密信息的授权使用技术,即根据用户的不同权限对遥感影像中的多个机密信息进行不同程度的隐藏,并提出了适用于遥感影像的信息隐藏小波域算法,该算法是盲算法,且基于HVS(human visual … …   相似文献
9436.
在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战… …   相似文献
王昌晶  薛锦云 《软件学报》2013,24(4):715-729
9437.
在网络安全知识库系统的基础上,提出一个基于网络安全基础知识库系统的入侵检测模型,包括数据过滤、攻击企图分析和态势评估引擎。该模型采用进化型自组织映射发现同源的多目标攻击;采用时间序列分析法获取的关联规则来进行在线的报警事件的关联,以识别时间上分散的复杂攻击;最后对主机级和局域网系… …   相似文献
9438.
下载全文  总被引:1,自引:0,他引:1
在图像预处理基础上,考虑到生物体在序列切片图像上的重心位置具有连续性的事实,提出3种新的逐步求精的自动配准方法。该方法首先采用力矩主轴法对两幅图像进行粗略配准,然后对已有的配准结果作微小干扰,当图像互信息最大时获得最终精确配准结果。针对生物组织连续切片数量巨大的特点,构建有序体数… …   相似文献
9439.
下载全文  总被引:2,自引:0,他引:2
在视频服务器中,由于网络I/O带宽比磁盘I/O带宽相对丰富而未得到研究者的重视,但当服务达到一定的规模、网络输出成为瓶颈时,在多网络I/O情况下,网络输出的量化计算则不可避免.着重探讨了视频服务器在多网络I/O并行输出的情况下,如何进行最大输出调度的问题,给出了3个调度算法及相应… …   相似文献
谢建国  陈建二  陈松乔 《软件学报》2002,13(8):1735-1740
9440.
下载全文  总被引:1,自引:1,他引:1
所谓复杂图像抠图就是从复杂图像中抠取出目标物体的一种图像处理算法。为了取得更好的抠图效果,提出了一种基于马尔可夫随机场的自然图像抠图方法。该方法首先手工把图像分成3个区域:前景区域、背景区域和未知区域;然后,再将未知区域用手工粗略地划分成几个相交的小区域;接着在每一个小区域内,以… …   相似文献
[首页] « 上一页 [467] [468] [469] [470] [471] 472 [473] [474] [475] [476] [477] 下一页 » 末  页»