聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于知识结构的认证协议验证
出处:中国科学:E辑 2005年第4期337-351,共15页
摘要:认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义... 显示全部
关键词: 知识结构 协议验证 语义 认知逻辑 通信协议 协议分析器 安全网络 网络环境 认证协议 算法实现 直接转化 正确性 黑客 证明 漏洞
在线阅读 下载全文
期刊文章 基于CORDIC算法的DDFS实现研究
出处:厦门大学学报:自然科学版 2004年第5期 636-639,共4页
摘要:介绍了CORDIC(坐标旋转数字计算机)算法实现直接数字频率合成器(DDFS)中相位到正弦幅度转换的原理,提出了一... 显示全部
关键词: 算法 杂散 直接数字频率合成器 现场可编程门阵列 动态范围 处理器 算法实现 实现
期刊文章 在C程序设计教学中注重培养学生的综合编程能力
出处:计算机教育 2005年第10期 35-37,共3页
摘要:C程序设计教学的目的是培养学生的程序设计能力;教学的首要目标是算法实现与程序设计,而不是只拘泥于C程序... 显示全部
关键词: 程序设计 综合编程能力 程序设计教学 编程能力 学生 基础知识 设计能力 算法实现 教学过程 培养能力
在线阅读 下载全文
期刊文章 基于数字中频和DSP的自适应数字陷波器设计
出处:电子设计应用 2005年第6期 92,94,共2页
摘要:本文提出了一种在直接序列扩频通信系统中抑制多个强窄带干扰的数字陷波器的实现方法,详细叙述了以AD6620为... 显示全部
关键词: 数字陷波器 数字中频 自适应 设计 扩频通信系统 窄带干扰抑制 直接序列 处理模块 算法实现 解决方案 基带
期刊文章 n-m-k商人渡河问题解的存在性及算法实现
出处:工程数学学报 2013年第4期561-568,共8页
摘要:本文将商人渡河问题推广到最一般情况,即n-m-k商人渡河问题,建立了该问题的多步决策数学模型.首先,根据该数... 显示全部
关键词: 商人渡河问题 算法实现 解的存在性
在线阅读 下载全文
期刊文章 大规模地形实时绘制算法
出处:地理与地理信息科学 2005年第2期 24-27,共4页
摘要:该文提出一种适合大规模地形实时绘制的简单高效的LOD简化算法.该算法使用一种紧凑有效的规则网格表示方法,... 显示全部
关键词: 大规模地形 绘制算法 简化算法 实时绘制 网格节点 数据组织 裂缝消除 关键问题 算法实现 实时漫游 计算量 可视化 三角形 图形卡 内存
找到6条结果
`