期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到566篇文章
< 1 2 … 29 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于模型的Fuzzing测试脚本自动化生成 被引量：7
1
作者 侯莹 洪征 +1 位作者 潘璠 吴礼发 《计算机科学》 CSCD 北大核心 2013年第3期206-209,共4页
针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后依据文法模型,将样本解析为... 针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。 展开更多
关键词 高阶属性文法 模糊测试 文法分析树 漏洞挖掘
在线阅读 下载PDF
应用.NET框架命名空间技术实现Web测试自动化 被引量：3
2
作者 雷蕾 陆新泉 +1 位作者 李睿 洪宇 《计算机应用研究》 CSCD 北大核心 2010年第6期2160-2162,共3页
目前支持Web的自动化测试工具普遍存在价格偏高、测试脚本可重用性差、代码维护工作量过大等缺点。为解决这一问题提出了应用.NET框架命名空间(NameSpace)技术实现Web应用程序测试的自动化方法。该方法不使用任何第三方测试工具,通过编... 目前支持Web的自动化测试工具普遍存在价格偏高、测试脚本可重用性差、代码维护工作量过大等缺点。为解决这一问题提出了应用.NET框架命名空间(NameSpace)技术实现Web应用程序测试的自动化方法。该方法不使用任何第三方测试工具,通过编写简单、易维护的C#.NET代码,对Web程序接口进行信息抽取与调用,以实现测试的自动化运行。 展开更多
关键词 C#.NET 命名空间 自动化测试 WEB应用程序
在线阅读 下载PDF
一种基于语义本体的Web服务自动组合算法 被引量：10
3
作者 艾未华 黄敬平 +1 位作者 周宁 尹康银 《系统仿真学报》 CAS CSCD 北大核心 2008年第4期935-937,共3页
服务组合是Web服务应用的一个重要研究方向。提出了一种基于语义本体的Web服务自动组合算法,该算法用Web服务本体OWL-S和领域本体描述Web服务,将两个服务之间关联度的计算转化为加权二部图的最优匹配问题,然后利用改进的Kuhn-Munkres算... 服务组合是Web服务应用的一个重要研究方向。提出了一种基于语义本体的Web服务自动组合算法,该算法用Web服务本体OWL-S和领域本体描述Web服务,将两个服务之间关联度的计算转化为加权二部图的最优匹配问题,然后利用改进的Kuhn-Munkres算法计算服务关联度;最后,在此关联度的基础上提出一种服务自动组合算法。实验结果表明,论文提出的服务组合算法可以根据用户请求动态的生成服务组合,并通过域值控制保证了服务组合的质量和效率。 展开更多
关键词 OWL-S 本体 二部图 最佳匹配 服务组合
在线阅读 下载PDF
一种基于报文序列分析的半自动协议逆向方法 被引量：5
4
作者 杜有翔 吴礼发 +1 位作者 潘璠 洪征 《计算机工程》 CAS CSCD 2012年第19期277-280,共4页
基于报文序列分析的协议逆向方法在自动化分析过程中缺乏对人工知识的引入。为此,提出一种半自动协议逆向方法。通过人工输入的方式,将先验知识加入到报文分析中,用于指导报文的语义推断,并对分析结果进行人工纠正。实验结果表明,该方... 基于报文序列分析的协议逆向方法在自动化分析过程中缺乏对人工知识的引入。为此,提出一种半自动协议逆向方法。通过人工输入的方式,将先验知识加入到报文分析中,用于指导报文的语义推断,并对分析结果进行人工纠正。实验结果表明,该方法能提高报文分析的效率和准确率。 展开更多
关键词 协议逆向工程 人工知识 先验知识 人工纠正 语义推断 语义验证
在线阅读 下载PDF
基于SNA的指挥控制关系及其中心性分析 被引量：4
5
作者 常树春 张东戈 周道安 《火力与指挥控制》 CSCD 北大核心 2009年第10期103-107,共5页
社会网络分析方法(Social Network Analysis,以下简称SNA)是指挥控制关系研究领域新近引入的一种有效的定量分析方法。从社会学的角度分析了指挥控制关系网络中权力的"影响"和"支配"两个维度,研究了C2组织中的指挥... 社会网络分析方法(Social Network Analysis,以下简称SNA)是指挥控制关系研究领域新近引入的一种有效的定量分析方法。从社会学的角度分析了指挥控制关系网络中权力的"影响"和"支配"两个维度,研究了C2组织中的指挥控制权力和指挥控制关系。结合一个想定,从点度中心性和中间中心性两个方面介绍了指挥控制关系中心性研究的基本思路,并且借助于社会网络分析应用软件,对想定中的C2组织进行了中心性的实际计算和分析,得出的结论对于C2组织及指挥控制关系的设计和建模仿真具有重要意义。 展开更多
关键词 社会网络分析 指挥控制关系 中心性
在线阅读 下载PDF
一种自组织的二维元胞自动机网络模型及分析 被引量：2
6
作者 贺正求 贺建民 张叶琳 《计算机应用》 CSCD 北大核心 2007年第6期1330-1333,共4页
提出了一种自组织的二维元胞自动机网络模型,并研究了网络中的临界特征和长相关特性。模型中,每个元胞包含一个路由器和随机数目的终端,并且能独立地根据探测到的网络拥塞状况调节其终端的数据包发送速率。仿真结果表明,在拥塞控制机制... 提出了一种自组织的二维元胞自动机网络模型,并研究了网络中的临界特征和长相关特性。模型中,每个元胞包含一个路由器和随机数目的终端,并且能独立地根据探测到的网络拥塞状况调节其终端的数据包发送速率。仿真结果表明,在拥塞控制机制的作用下,网络能自组织地工作在临界状态,虽然节点间呈现出明显的异构特征,但节点数据包排队长度在时间和空间上仍都表现出较强的相关性。 展开更多
关键词 网络模型 自组织 临界特征 长相关 元胞自动机
在线阅读 下载PDF
基于SNA的指挥控制关系建模与分析 被引量：2
7
作者 常树春 张东戈 周道安 《计算机工程与应用》 CSCD 北大核心 2008年第16期236-239,共4页
社会网络分析(Social Network Analysis,SNA)方法是指挥控制关系研究领域新近引入的一种有效的定量分析方法。研究了构建C2组织的指挥控制关系网络模型的基本方法,将组织的实体要素划分为侦察单元、决策单元和执行单元三类;从社会学的... 社会网络分析(Social Network Analysis,SNA)方法是指挥控制关系研究领域新近引入的一种有效的定量分析方法。研究了构建C2组织的指挥控制关系网络模型的基本方法,将组织的实体要素划分为侦察单元、决策单元和执行单元三类;从社会学的角度分析了C2组织中指挥控制权力的"影响"和"支配"两个维度,并重新定义了指挥控制关系;将实体单元和单元之间的指挥控制关系抽象为网络模型的点和边。结合想定示例,具体说明了网络模型的构建方法,并以指挥控制关系的"点度中心性"为例对模型进行了实际的计算和分析。研究表明,基于社会网络分析方法的指挥控制关系建模与分析具有现实意义和实用价值。 展开更多
关键词 社会网络分析 指挥控制关系 C2组织
在线阅读 下载PDF
基于自动机理论的UML活动图模型检验方法 被引量：1
8
作者 王聪 王智学 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第22期5311-5314,共4页
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,... UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。 展开更多
关键词 UML活动图 形式语义 模型检验 BÜCHI自动机
在线阅读 下载PDF
多本体环境下基于规划技术的自动服务组合
9
作者 刘志忠 贺毅辉 姜峰 《计算机工程》 CAS CSCD 北大核心 2011年第2期160-162,165,共4页
当单个服务无法满足用户需求时,自动服务组合利用服务描述中的语义信息,自动组合多个服务,从而形成组合服务以满足用户需求。在多本体环境下,自动服务组合面临着语义异构的问题。针对此问题,提出基于本体社区的服务组合框架。该框架通... 当单个服务无法满足用户需求时,自动服务组合利用服务描述中的语义信息,自动组合多个服务,从而形成组合服务以满足用户需求。在多本体环境下,自动服务组合面临着语义异构的问题。针对此问题,提出基于本体社区的服务组合框架。该框架通过本体转换将跨本体服务组合问题转换为本体内问题,从而解决本体异构问题,并在此基础上给出一个采用传统规划技术的服务组合算法。 展开更多
关键词 多本体环境 自动服务组合 规划 本体转换
在线阅读 下载PDF
基于二维元胞自动机的双向触发并行加密模型 被引量：1
10
作者 肖佳 胡谷雨 +1 位作者 赵学龙 陈宁军 《计算机应用研究》 CSCD 北大核心 2008年第4期1149-1153,共5页
根据二维触发元胞自动机的特性,提出了一种二维元胞自动机双触发并行加//解密模型。仿真实验表明:与一维耦合触发元胞自动机相比,二维元胞自动机双触发并行加密模型在适度减慢加/解密速度的情况下,大大提高了密钥空间,具有极高的时间换... 根据二维触发元胞自动机的特性,提出了一种二维元胞自动机双触发并行加//解密模型。仿真实验表明:与一维耦合触发元胞自动机相比,二维元胞自动机双触发并行加密模型在适度减慢加/解密速度的情况下,大大提高了密钥空间,具有极高的时间换空间的效率,很好地提高了健壮性和实用性。 展开更多
关键词 二维触发元胞自动机 一维耦合触发元胞自动机 双触发 并行加密 密钥空间
在线阅读 下载PDF
二维触发元胞自动机加密算法的软件实现
11
作者 肖佳 胡谷雨 《计算机应用与软件》 CSCD 北大核心 2008年第7期31-32,39,共3页
一维触发元胞自动机加密系统的缺点是密钥空间小[1],二维触发元胞自动机在几乎不增加计算量及复杂度的同时,极大地扩张了密钥空间。简述二维触发元胞自动机的基本理论,应用其触发规则建立动态密码系统,完成加密解密,并根据程序的最终测... 一维触发元胞自动机加密系统的缺点是密钥空间小[1],二维触发元胞自动机在几乎不增加计算量及复杂度的同时,极大地扩张了密钥空间。简述二维触发元胞自动机的基本理论,应用其触发规则建立动态密码系统,完成加密解密,并根据程序的最终测试数据,进行性能分析。 展开更多
关键词 一维触发元胞自动机 密钥空间 二维触发元胞自动机 触发规则
在线阅读 下载PDF
基于GLR的Quotation的自动生成技术
12
作者 于尚超 李阳 《计算机应用与软件》 CSCD 北大核心 2012年第11期215-216,224,共3页
代码的自动生成技术的应用范围越来越广,尤其是具有很大灵活性的解决方案。AutoQuotation就是这样一种代码生成技术,所产生的Quotation代码具有独立于平台的词法分析及语法分析程序,但是它的算法是自顶向下的,在实际引用中具有很大的局... 代码的自动生成技术的应用范围越来越广,尤其是具有很大灵活性的解决方案。AutoQuotation就是这样一种代码生成技术,所产生的Quotation代码具有独立于平台的词法分析及语法分析程序,但是它的算法是自顶向下的,在实际引用中具有很大的局限性。算法是程序的核心,采用的GLR(generalized LR)分析法,能够处理大部分的上下文无关文法,因而具有很高的实用性。描述一个自动生成系统,该系统能够根据文法自动生成Quotation代码,并自动进行Quotation注册。经测试系统能够处理回溯及左递归。 展开更多
关键词 GLR 引文 元编程
在线阅读 下载PDF
逆向云在定性评价中的应用 被引量：160
13
作者 吕辉军 王晔 +1 位作者 李德毅 刘常昱 《计算机学报》 EI CSCD 北大核心 2003年第8期1009-1014,共6页
现有的定性评价存在主观性和随意性大的缺点 ,缺乏客观性和精确性 .云模型是一种定性与定量之间相互转换的有效工具 ,逆向云可以实现定量数值与定性概念的自然转换 ,从而得出一个用精确数值表示的定性概念 .该文分析并给出了逆向云发生... 现有的定性评价存在主观性和随意性大的缺点 ,缺乏客观性和精确性 .云模型是一种定性与定量之间相互转换的有效工具 ,逆向云可以实现定量数值与定性概念的自然转换 ,从而得出一个用精确数值表示的定性概念 .该文分析并给出了逆向云发生器的具体算法 ,并对还原的各特征值进行了误差分析 .最后将该算法应用到射击评判上 ,评价结果不仅有射击准确度的评价 ,而且有运动员心理素质的分析 ,比仅仅用环数来评价一个运动员更准确。 展开更多
关键词 定性评价 逆向云 误差分析 逆向云发生器 人工智能
在线阅读 下载PDF
数据结构与算法课程教学实施方案 被引量：49
14
作者 张铭 耿国华 +1 位作者 陈卫卫 胡学钢 《中国大学教学》 CSSCI 北大核心 2011年第3期56-60,共5页
介绍了《高等学校计算机科学与技术专业核心课程教学实施方案》中"数据结构与算法"课程的设计理念。该课程方案以问题求解为导向,贯穿数据结构理论、抽象和设计的三个形态,强调围绕抽象数据类型(ADT)的有效表述,建立数据结构... 介绍了《高等学校计算机科学与技术专业核心课程教学实施方案》中"数据结构与算法"课程的设计理念。该课程方案以问题求解为导向,贯穿数据结构理论、抽象和设计的三个形态,强调围绕抽象数据类型(ADT)的有效表述,建立数据结构的逻辑结构、存储结构和运算的有机联系,并配备扎实的实践训练。分层次培养创新的科学型人才、综合的工程型人才、技术的应用型人才。 展开更多
关键词 数据结构 算法 计算机科学与技术 核心课程 问题求解 实践教学 课程建设
在线阅读 下载PDF
基于K-近邻点云去噪算法的研究与改进 被引量：38
15
作者 张毅 刘旭敏 +1 位作者 隋颖 关永 《计算机应用》 CSCD 北大核心 2009年第4期1011-1014,共4页
针对三维扫描获取的带噪声和离群点的点云数据,提出了改进的去噪算法。通过K-近邻搜索建立散乱点云之间的拓扑关系,进而采用高斯影响函数作为核函数来估计当前测点对周围邻近点的影响力,从而限制噪声并剔除离群点。重点讨论了密度熵的... 针对三维扫描获取的带噪声和离群点的点云数据,提出了改进的去噪算法。通过K-近邻搜索建立散乱点云之间的拓扑关系,进而采用高斯影响函数作为核函数来估计当前测点对周围邻近点的影响力,从而限制噪声并剔除离群点。重点讨论了密度熵的概念以及如何优化高斯核函数的参数,解决了窗宽尺寸在使用中不易确定的问题。仿真实验证明,该算法能够很容易地检测出离群点,同时也避免了将模型上的点误判为离群点的问题。 展开更多
关键词 K-近邻 离群点 高斯核函数 密度熵 去噪
在线阅读 下载PDF
基于多尺度主成分分析的全网络异常检测方法 被引量：43
16
作者 钱叶魁 陈鸣 +3 位作者 叶立新 刘凤荣 朱少卫 张晗 《软件学报》 EI CSCD 北大核心 2012年第2期361-377,共17页
网络异常检测对于保证网络的可靠运行具有重要意义,而现有的异常检测方法仅仅单独利用流量的时间相关性或空间相关性.针对这一不足,同时考虑流量矩阵的时空相关性,提出了一种基于MSPCA的全网络异常检测方法.该方法综合利用小波变换具有... 网络异常检测对于保证网络的可靠运行具有重要意义,而现有的异常检测方法仅仅单独利用流量的时间相关性或空间相关性.针对这一不足,同时考虑流量矩阵的时空相关性,提出了一种基于MSPCA的全网络异常检测方法.该方法综合利用小波变换具有的多尺度建模能力和PCA具有的降维能力对正常流量进行建模,然后采用Shewart控制图和EWMA控制图分析残余流量.此外,还利用滑动窗口机制对MSPCA异常检测方法进行在线扩展,提出了一种在线的MSPCA异常检测方法.因特网实测数据分析和模拟实验分析表明:MSPCA算法的检测性能优于PCA算法和近期提出的KLE算法;在线MSPCA算法的检测性能非常接近MSPCA算法,且单步执行时间很短,完全满足实时检测的需要. 展开更多
关键词 网络异常检测 多尺度建模 主成分分析 流量矩阵 在线检测
在线阅读 下载PDF
Web服务安全问题研究 被引量：15
17
作者 贺正求 吴礼发 +2 位作者 洪征 王睿 李华波 《计算机科学》 CSCD 北大核心 2010年第8期32-39,87,共9页
Web服务具有平台无关性、动态性、开放性和松散耦合等特征,这给基于异构平台的应用集成带来极大便利,同时也使其自身面临许多独特的安全问题。Web服务的安全性对其发展前景产生重要的影响,也是目前Web服务并没有进入大规模应用阶段的主... Web服务具有平台无关性、动态性、开放性和松散耦合等特征,这给基于异构平台的应用集成带来极大便利,同时也使其自身面临许多独特的安全问题。Web服务的安全性对其发展前景产生重要的影响,也是目前Web服务并没有进入大规模应用阶段的主要原因之一。总结了Web服务存在的主要安全问题;概述了已有的Web服务安全标准;然后从消息层安全、Web服务安全策略、Web服务组合安全、身份与信任管理、Web服务访问控制、Web服务攻击与防御、安全Web服务开发等方面详细分析了目前有代表性的Web服务关键安全技术解决方案;结合已有的研究成果,讨论了Web服务安全未来的研究动向及面临的挑战。 展开更多
关键词 WEB服务 安全 策略 服务组合 信任 访问控制 攻击
在线阅读 下载PDF
机动目标的模糊自适应跟踪算法 被引量：30
18
作者 巴宏欣 赵宗贵 +2 位作者 杨飞 董强 张涛 《系统仿真学报》 CAS CSCD 2004年第6期1181-1183,1186,共4页
在当前统计模型的基础上,提出了一种基于当前统计模型(CS)的模糊自适应算法(CSFA)。该算法使用了模糊推理技术,使系统状态噪声方差随着机动特性能够自适应调整,提高了系统在目标作非机动或者弱机动时的跟踪精度以及在强机动时的快速响... 在当前统计模型的基础上,提出了一种基于当前统计模型(CS)的模糊自适应算法(CSFA)。该算法使用了模糊推理技术,使系统状态噪声方差随着机动特性能够自适应调整,提高了系统在目标作非机动或者弱机动时的跟踪精度以及在强机动时的快速响应能力。蒙特卡罗仿真结果表明了该算法的有效性。 展开更多
关键词 当前统计模型 机动目标跟踪 模糊推理 滤波
在线阅读 下载PDF
数据清洗及其一般性系统框架 被引量：32
19
作者 曹建军 刁兴春 +1 位作者 陈爽 邵衍振 《计算机科学》 CSCD 北大核心 2012年第S3期207-211,共5页
数据清洗是提高数据质量的重要手段之一。从数据产品与传统的有形产品、软件产品相类比的视角,研究数据清洗及其系统框架。数据清洗是数据质量研究的起点,从数据质量发展的角度明确数据清洗的地位和作用,并将其类比为其他产品形式的故... 数据清洗是提高数据质量的重要手段之一。从数据产品与传统的有形产品、软件产品相类比的视角,研究数据清洗及其系统框架。数据清洗是数据质量研究的起点,从数据质量发展的角度明确数据清洗的地位和作用,并将其类比为其他产品形式的故障诊断与维修。对数据清洗做了10点说明,进一步澄清了其基本内涵;将数据清洗与数据集成进行了比较分析,指出二者是同等的数据质量概念。提出了数据清洗的一般性系统框架,其由准备、检测、定位、修正、验证5部分组成,允许在多处停止以完成不同的数据清洗任务,是一个柔性的、可扩展的、交互性好的、松耦合的框架。 展开更多
关键词 数据质量 数据清洗 相似重复记录 不完整记录 框架
在线阅读 下载PDF
协议逆向工程研究进展 被引量：22
20
作者 潘璠 吴礼发 +1 位作者 杜有翔 洪征 《计算机应用研究》 CSCD 北大核心 2011年第8期2801-2806,共6页
首先给出了协议逆向工程的形式化定义,并探讨了主要应用领域的特定需求;然后从报文序列分析和指令执行序列分析两个方面介绍了协议逆向技术的研究现状,并对两类技术的优劣进行了比较;最后结合当前方案的缺陷和实际应用的需求,对协议逆... 首先给出了协议逆向工程的形式化定义,并探讨了主要应用领域的特定需求;然后从报文序列分析和指令执行序列分析两个方面介绍了协议逆向技术的研究现状,并对两类技术的优劣进行了比较;最后结合当前方案的缺陷和实际应用的需求,对协议逆向技术的发展趋势进行了展望。 展开更多
关键词 协议逆向工程 多序列比对 文法推断 动态污点分析 数据流分析
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 29 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部