•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9421-9440项 搜索用时 104 毫秒
[首页] « 上一页 [467] [468] [469] [470] [471] 472 [473] [474] [475] [476] [477] 下一页 » 末  页»
9421.
  
本文研究了国内外Web漏洞库及建设的现状,设计并实现了一个专注于Web漏洞发布的Web漏洞数据库.文中兼顾了Web漏洞的固有特点及其与传统漏洞的属性差别,设计了Web漏洞库描述模型,丰富了Web漏洞的收集方法,定义了Web漏洞的漏洞评价属性标准,并在Web漏洞库中添加了Web漏洞… …   相似文献
9422.
  
为了实现实时性的光线追踪平台,提出了一种光线与三角形求交算法的硬件架构设计。首先介绍了一种光线与三角形求交的简洁算法。该算法与其它算法相比使用存储空间最少,却具有相似的性能,便于硬件实现。根据此算法,提出了相应的硬件架构,在架构设计过程中,通过折叠、资源共享、以及多线程等硬件架构… …   相似文献
9423.
下载全文  总被引:1,自引:0,他引:1
本文提出一个利用线性规划来实现从实例归纳学习的实用方法,简称为PKA方法.该方法适用于许多分类专家系统的知识获取.  相似文献
9424.
  总被引:11,自引:4,他引:7
本文用随机L系统产生具有自相似发形结构的分形树,基于MonteCarlo模拟的方法,用相干中近似、树的独立散射近似和独立散射近似研究了倾斜粗糙面为下垫面的分形树的电磁散射、计算结果表明,相干叠加近似和树的独立散射近似具有比较好的一致性,而独立散射近似在低频时不能给出好的结果,倾斜… …   相似文献
9425.
下载全文  总被引:1,自引:0,他引:1
基于偏微分方程(PDE)及变分法的图像去噪方法利用其数学特性得到了优于传统方法的结果,但很多模型只考虑了去噪的问题。通过对最小化凸能量函数模型引入点扩展函数信息,构造了具有去模糊效果的变分去噪模型,采用了Kacˇanov线性化方法进行求解,得到了更好的结果,实验结果及数据证明了模… …   相似文献
9426.
下载全文  总被引:4,自引:0,他引:4
常用的网络安全技术有防火墙、VPN(virtual private network)和NAT(network address translation)等,它们的作用各异.但现有的一些网络安全系统未能将上述技术有机地加以结合,不能很好地兼顾系统执行效率,对系统内部缺乏细粒度的安全管… …   相似文献
蒋韬  刘积仁  秦扬  常桂然 《软件学报》2002,13(3):376-381
9427.
下载全文  总被引:8,自引:1,他引:7
为了解决随着遥感技术的飞速发展而产生的海量遥感图象,以及在计算机显示时,操作不流畅的问题,结合当前计算机软件和硬件的技术对其原因进行了深入分析。并针对影响显示速度的图象漫游和缩小操作等关键问题提出了基于中间图象技术,栅格分块技术,高速缓存技术以及中间图象序列技术等解决手段。同时在… …   相似文献
9428.
传统的图像滤波复原技术一般通过滤除噪声来达到恢复图像的目的,但是对于受强噪声干扰的图像,噪声的消除很困难,而随机共振却具有利用噪声增强信号的特点,因此,提出了以非线性双稳态系统作为信号处理器,根据互信息熵调节参数使系统达到非周期随机共振状态,从而对受噪声污染的图像进行复原处理。实… …   相似文献
9429.
  
本文了基区复合电流,发射结空间电荷区复合电流,基区高主入引起的禁带变窄效应,Early效应,基区和发射区电导调制效应,有效基区展宽效应以及发射区电流集边效应,定量地模拟了硅双极晶体管电流增益在77K和300k时与集电极电流的关系,并且与实验结果相吻合。  相似文献
9430.
下载全文  总被引:25,自引:0,他引:25
提出了一种时空数据自动化(或半自动化)的更新方法——基于事件的时空数据库增量更新方法(eventbased incremental updating,缩写为E-BIU).其以地理事件、空间实体变化类型及时空数据库动态操作算子间关系为基础,通过地理空间变化事件来确定单一实体变化类型… …   相似文献
9431.
提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信息,并提出两种优化技术提高时间效率.该方法与现有方法相同… …   相似文献
赖永  刘大有 《软件学报》2012,23(10):2550-2563
9432.
PeterB.Andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明系统.  相似文献
陈玉泉  陆汝占  余皓 《软件学报》1997,8(4):271-277
9433.
  
针对移动传感器网络拓扑结构的动态特性,提出了一种快速卡尔曼一致性滤波定位算法。该算法依据Mc- tropolis准则,仅利用通信节点之间的RSSI值快速调整融合步长。在网络拓扑结构未知的情况下,利用卡尔曼一致性 滤波定位算法实现位置求精。仿真结果表明,与Saber算法相比,该方法… …   相似文献
9434.
下载全文  总被引:14,自引:7,他引:7
静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块,最终达到优化测试资源分配和提高软件产品质量的目的.对近些… …   相似文献
9435.
下载全文  总被引:1,自引:0,他引:1
用闪光灯进行人物摄影时由于眼底血管的反光会产生红眼现象,小型照相机的闪光灯和镜头距离很近,这一问题更为突出。为了自动消除用闪光灯进行人物摄影时产生的红眼现象,在对基于颜色空间的常用红眼检测技术进行研究的基础上,对现有较为复杂的检测方法进行了修正,提出了一种基于人脸检测的红眼自动消… …   相似文献
9436.
下载全文  总被引:1,自引:0,他引:1
本文提出了一种自动程序分析方法,其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成,从而可以通过提供一组标准的分析方法,实现对程序的自动分析与理解.  相似文献
9437.
  总被引:1,自引:0,他引:1
精确识别细胞的前提是细胞采样。利用图像矩的旋转不变性和平移不变性,提出利用图像矩的概念对细胞进行采样处理,进而提取细胞的相关数学参数。首先利用动态阈值的方法分割灰度化后的细胞图像;然后利用图像细化算法对粘连细胞进行分割处理;最后利用图像矩提取样本细胞。实验证明该方法有较好的稳定性… …   相似文献
9438.
下载全文  总被引:23,自引:0,他引:23
提出了一种基于圆环点的新的摄像机自标定方法.该方法仅要求摄像机在3个(或3个以上)不同方位摄取一个含有若干条直径的圆的图像,即可线性求解全部摄像机内参数.该方法原理简单,完全摆脱了匹配问题,也无须知道任何物理度量.整个定标过程不需要人的干预,可以自动进行,非常适合非视觉专业人员使… …   相似文献
孟晓桥  胡占义 《软件学报》2002,13(5):957-965
9439.
下载全文  总被引:3,自引:0,他引:3
本文提出了一种新的适用于多种动态模拟和复杂三维动画控制的面向对象的框架结构,它采用混合层次模型,其角色按部件层次组织其静态结构,角色中包含有决定其形状、样式和行为变化的属性,它按类的层次结构定义,属性的动态赋值通过引进的动态约束机制实现.该框架结构已用于SIMUKIT──用于多种… …   相似文献
王裕国  潘峰  胡静倩 《软件学报》1997,8(8):615-621
9440.
异质图像配准是多源图像融合的关键步骤之一,通常需要精确提取和匹配图像的同名特征,这种同名特征在成像机理差异巨大的光学和SAR图像中进行提取和匹配十分困难,利用相同场景图像中的隐含相似性可以有效避开这一难点.为了对光学和SAR图像进行配准,提出了一种基于隐含相似性的光学和SAR图像… …   相似文献
[首页] « 上一页 [467] [468] [469] [470] [471] 472 [473] [474] [475] [476] [477] 下一页 » 末  页»