•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第6781-6800项 搜索用时 119 毫秒
[首页] « 上一页 [335] [336] [337] [338] [339] 340 [341] [342] [343] [344] [345] 下一页 » 末  页»
6781.
  总被引:9,自引:0,他引:9
网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函数依赖关系及其分析方法与算法,进而结合贝叶斯网络理论、报警关联分析技术和对K2算法的改进,提出了一种网络协同取证分析… …   相似文献
6782.
下载全文  总被引:9,自引:0,他引:9
用k匿名模型对基于位置信息的服务(LBS)中的位置隐私进行保护是近年来研究的热点。在移动用户不断发出查询的场景下,该文提出了移动模式攻击(MPA),使得传统的针对孤立查询的隐私保护算法均失效。基于熵理论,提出了熵匿名度度量,并以此为基础提出了移动环境下的模糊化算法Mclique,… …   相似文献
6783.
  总被引:9,自引:0,他引:9
工程试验产生的数据组织分散、模式复杂而多变,从而要求工程数据管理系统能够统一管理数据,并具有良好的用户定义特征和数据扩展能力.本文描述了一个面向工程试验数据仓库体系结构的分析和设计,并实际应用到了试飞数据管理系统中,达到了预定的目标.同时提出了利用元对象实现不同模式数据集中管理和… …   相似文献
6784.
下载全文  总被引:9,自引:1,他引:9
介绍了无线传感器网络(Wireless Sensor Network, WSN)的概念和特点,在此基础上针对无线传感器网络的特点提出了一种能量效率高和能量消耗平衡的路由新算法:最小能耗路由和节点能量最大路由周期轮转。给出了在WSN中多点对一点通信的最小能耗路径和节点能量最大路径的… …   相似文献
6785.
  总被引:9,自引:0,他引:9
基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景… …   相似文献
牟凯  顾明 《计算机应用》2006,26(4):844-846
6786.
下载全文  总被引:9,自引:0,他引:9
为解决远程超宽带雷达信号直接采样问题,提出了1Gsps超高速实时采样设计方案,采用全新的数据降频设计思想实现1ns写入的并行存储器系统结构.在考虑改善因子对A-D动态范围要求时,论述了随机采样原理结合ps级时间轴展宽技术实现12位5Gsps等价采样系统的设计方法,对宽频带雷达信号… …   相似文献
李宛州 《电子学报》2001,29(7):940-942
6787.
下载全文  总被引:9,自引:0,他引:9
提出一种基于正则化方法的高效图像复原技术.正则化残量的能量越小,则恢复效果越好,基于此,利用小波变换定性地分析如何选取正则化算子,利用随机理论得到正则化残量的能量期望值,通过最小化这个期望模型确定正则化参数,从而得到正则化图像.定性分析表明,在通常情况下应选取低阻高通的正则化算子… …   相似文献
6788.
下载全文  总被引:9,自引:1,他引:9
初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值… …   相似文献
邱道文 《软件学报》2003,14(1):23-27
6789.
下载全文  总被引:9,自引:0,他引:9
最小空闲时间优先(least slack first,简称LSF)算法结合任务执行的缓急程度来给任务分配优先级.任务所剩的空闲时间越少,就越需要尽快执行.然而,LSF算法造成任务之间的频繁切换或严重的颠簸现象,增大了系统开销,并限制了其应用.在调度策略中设置抢占阈值可以减少任务之… …   相似文献
金宏  王宏安  王强  戴国忠 《软件学报》2004,15(8):1116-1123
6790.
  总被引:9,自引:1,他引:9
遗传算法是一类模拟生物进化过程与机制来求解问题的自适应人工智能技术;有着广泛的应用前景。本文着重探讨遗传算法应用中的一些共性问题。  相似文献
6791.
下载全文  总被引:9,自引:0,他引:9
证明了区间小波神经网络具有一致及L2逼近性质,且为相容的函数估计子,其学习收敛速度在d维情形不随d增大而减慢,本质上克服了神经网络高维学习的“维数灾难”问题,模拟实例验证了理论的正确性.关 键 词 神经网络,小波,多尺度分析,收敛.  相似文献
高协平  张钹 《软件学报》1998,9(4):246-250
6792.
  总被引:9,自引:3,他引:9
本文解决了中文字符串模糊匹配的两个主要问题:空间问题和时间问题。目前字符串模糊匹配的两个主要方法是位向量方法和过滤方法。由于汉字众多,应用位向量方法时,需要大量空间。对于某些内存很少的小型计算机,比如嵌入式系统,这将会是一个问题。本文改进了位向量方法,使其在应用于中文字符串时,空… …   相似文献
6793.
  总被引:9,自引:0,他引:9
严格建模是嵌入式实时系统设计的核心技术,通过UMI。方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UMI。… …   相似文献
6794.
  总被引:9,自引:1,他引:9
消除软件中的安全漏洞是建立安全信息系统的前提。静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其它程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。在本文中,我们首先描述了静态分析的理论基础,然后说明了类型推断、数据流分析和约束分析等主要静态分析… …   相似文献
6795.
  总被引:9,自引:1,他引:9
最大流问题是一类经典的组合优化问题。描述了一种小容量网络,这种网络有强的实际应用背景,同时给出了专门解这种网络上最大流问题的算法。该算法比通用的算法快。它已经突破了最大流问题的O(mn)时间障碍,具有较强的理论意义,也为解决许多实际应用问题提供了更有效的算法。同时,由于判断一个网… …   相似文献
6796.
下载全文  总被引:9,自引:0,他引:9
针对用于移动通信的可证安全的双向认证密钥协商协议MAKAP给出了一种有效攻击,指出该协议存在安全缺陷,它不能抵抗未知密钥共享攻击.分析了这些安全缺陷产生的原因,并给出了一种改进的协议MAKAP-I.改进后的MAKAP-I协议不但是可证安全的,而且无论从计算开销、通信开销、存储开销… …   相似文献
6797.
  总被引:9,自引:0,他引:9
空间数据库中关联规则挖掘不仅需要考虑关系元组属性之间的关系——纵向关系,更需要挖掘元组之间的关系——横向关系,如相邻、相交、重叠等。本文通过分析空间数据库的存储模式,借鉴事务数据库关联规则的挖掘方法,对空间关联规则进行完整定义,并对规则的兴趣度度量进行探讨。根据挖掘的方向将空间数… …   相似文献
6798.
下载全文  总被引:9,自引:0,他引:9
虚拟内窥镜可用来对人体内部管腔结构进行无损检测,在医疗诊断及手术上有着重要意义.要想快速准确地进行虚拟内窥漫游,一个首要的步骤是要先提取出模型的中心线以指导视点的移动.提出了一种基于Hessian矩阵的中心路径提取算法.在距离变换的基础上,先利用Hessian矩阵的几何意义找出中… …   相似文献
李光明  田捷  赵明昌  何晖光 《软件学报》2003,14(12):2074-2081
6799.
下载全文  总被引:9,自引:3,他引:9
为了解决传统分水岭算法的过分割问题,提出一种使用形态学梯度重构和标记提取技术进行图像预处理的分水岭图像分割方法。该方法基于多尺度概念,进行梯度重构时采用了不同尺寸的结构元素,在对重构后的各梯度图像的区域极小值进行标记后,将各标记点的并集作为最终标记图像,用其修改梯度图像,然后进行… …   相似文献
6800.
下载全文  总被引:9,自引:0,他引:9
由于Dijkstra算法的基础是平面网络拓扑模型,因此当计算网络的节点数目较大时,计算的时间将急剧膨胀。为了快速地搜索到最优路径,基于分层网络拓扑结构(HiTopo),提出了双向分层搜索最优路径算法(BHWA);该算法对现有分层路径算法进行了以下两点改进:(1)将分级网络的局部连… …   相似文献
[首页] « 上一页 [335] [336] [337] [338] [339] 340 [341] [342] [343] [344] [345] 下一页 » 末  页»