期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
449
篇文章
<
1
2
…
23
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
“数据结构与算法分析”研究型实践教学的探索
被引量:
32
1
作者
李晓鸿
骆嘉伟
季洁
《实验室研究与探索》
CAS
北大核心
2012年第1期121-125,共5页
"数据结构与算法分析"课程对培养计算机专业设计与创新型人才起着重要作用。提出了课程的研究型实践教学理念,从教学内容、组织形式、训练模式、教学手段和评价方式等方面进行改革探讨,探索课程的研究型实践教学模式。
关键词
教学改革
研究型实践教学
数据结构与
算法分析
在线阅读
下载PDF
职称材料
基于图像信息的跟踪算法分析
被引量:
17
2
作者
王春平
朱元昌
黄允华
《火力与指挥控制》
CSCD
2000年第1期18-21,,25,,共5页
图像跟踪算法研究是电视跟踪系统的关键技术之一。对波门跟踪算法、相关跟踪算法、多模跟踪算法、基于提边的差分跟踪算法及微分线性拟合外推跟踪算法进行了分析 。
关键词
图像处理
电视跟踪
波门跟踪
算法分析
火控雷达
在线阅读
下载PDF
职称材料
课表编排系统的算法分析与设计
被引量:
10
3
作者
李明杰
常晋义
《计算机工程与设计》
CSCD
2004年第10期1867-1868,F003,共3页
对课表编排系统中涉及的搜索课程的可用时间集合、择优选取时间片、搜索所选定时间的空闲教室、择优选取教室以及解决冲突等环节的算法实现进行了讨论。前4个环节主要涉及时间或教室集合的搜索以及按照一定的优选策略选择最佳匹配,最后...
对课表编排系统中涉及的搜索课程的可用时间集合、择优选取时间片、搜索所选定时间的空闲教室、择优选取教室以及解决冲突等环节的算法实现进行了讨论。前4个环节主要涉及时间或教室集合的搜索以及按照一定的优选策略选择最佳匹配,最后环节则利用人工智能的深度优先图搜索策略对冲突进行调整。
展开更多
关键词
课表
教室
编排
环节
集合
课程
选取
搜索
算法分析
时间片
在线阅读
下载PDF
职称材料
随机约束满足问题的回溯算法分析
被引量:
8
4
作者
许可
李未
《软件学报》
EI
CSCD
北大核心
2000年第11期1467-1471,共5页
提出一种新的随机 CSP( constraintsatisfaction problem)模型 ,并且通过研究搜索树的平均节点数 ,分析了回溯算法求解该模型的平均复杂性 .结果表明 ,这种模型能够生成难解的 CSP实例 ,找到所有的解或证明无解所需的平均节点数即随变...
提出一种新的随机 CSP( constraintsatisfaction problem)模型 ,并且通过研究搜索树的平均节点数 ,分析了回溯算法求解该模型的平均复杂性 .结果表明 ,这种模型能够生成难解的 CSP实例 ,找到所有的解或证明无解所需的平均节点数即随变量数的增加而指数增长 .因此 ,该模型可以用来研究难解实例的性质和 CSP算法的性能等问题 ,从而有助于设计出更为高效的算法 .
展开更多
关键词
算法分析
平均复杂性
回溯
算法
约束满足
在线阅读
下载PDF
职称材料
NURBS曲面的算法分析及实现
被引量:
6
5
作者
秦志光
张凤荔
刘锦德
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994年第4期411-415,共5页
讨论了NURBS曲线和节点矢量、控制点和基函数对曲面形状的影响,给出了NURBS的算法分析及其实现方案,最后,将NURBS曲面与老式曲面(如B样条、Bezier曲面等)进行了比较。
关键词
节点
曲面
NURBS曲面
算法分析
在线阅读
下载PDF
职称材料
命题逻辑可满足性问题的算法分析
被引量:
12
6
作者
李未
黄雄
《计算机科学》
CSCD
北大核心
1999年第3期1-9,共9页
1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成为计算机科学的中心课题之一。例如在机器定理证明领域,某命题是否...
1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成为计算机科学的中心课题之一。例如在机器定理证明领域,某命题是否是一个和谐的公理集合的推论,这个问题归结为该命题的反面与该公理集合一起是否是不可满足的。通过量词消去技术和Herbrand定理的作用,谓词逻辑公式的不可满足性可以归结为命题逻辑公式的不可满足性。在知识库维护中,当知识以逻辑公式的形式表达时,知识库的一致性检查可以归结为命题逻辑公式的可满足性。在开放逻辑中,新事实是否与已有的知识矛盾,当遇到事实反驳时如何求得最大和谐的知识集,这些问题最后都要归结为命题逻辑公式的可满足性。1971年Cook首次证明了SAT是NP-完全的,从而大量的计算问题都可以归约到SAT。正是由于SAT的重要地位,各国学者对它进行了广泛而深入的研究。
展开更多
关键词
命题逻辑
可满足性问题
算法分析
计算机
在线阅读
下载PDF
职称材料
频繁模式挖掘算法分析和比较
被引量:
11
7
作者
李敏
李春平
《计算机应用》
CSCD
北大核心
2005年第B12期166-171,共6页
以频繁模式挖掘算法的搜索方式、计数方式和数据存储技术为主线,分析了频繁模式挖掘现有算法中的关键方法和技术,就频繁模式挖掘中的共性问题,对各代表性算法加以比较和评价,在多种不同特征的数据集上进行量化分析,得出我们的结论。
关键词
频繁模式
数据挖掘
算法分析
在线阅读
下载PDF
职称材料
NURBS曲线的算法分析及实现
被引量:
3
8
作者
秦志光
张凤荔
刘锦德
《计算机工程》
CAS
CSCD
北大核心
1995年第4期15-18,26,共5页
讨论并分析NUEBS曲线及其几何性质、节点矢量、控制点和基函数对曲线形状的影响;给出了NURBS的算法分析及其实现方案,并在Sun平台上的XGL中实现了该方案;最后,将NURBS曲线与老式曲线(如B样条、Bczicr...
讨论并分析NUEBS曲线及其几何性质、节点矢量、控制点和基函数对曲线形状的影响;给出了NURBS的算法分析及其实现方案,并在Sun平台上的XGL中实现了该方案;最后,将NURBS曲线与老式曲线(如B样条、Bczicr曲线)进行了比较。
展开更多
关键词
NURBS曲线
算法分析
B样条
几何造型
CAD
在线阅读
下载PDF
职称材料
货郎问题求解算法分析
被引量:
6
9
作者
潘玉奇
王潍
+1 位作者
康健
王永燕
《济南大学学报(自然科学版)》
CAS
2002年第4期336-339,358,共5页
介绍了求解货郎问题的 4个算法 :贪心算法、MST近似算法、MM近似算法和回溯搜索算法。分别使用各个算法对一个货郎问题的具体实例进行求解 ,并对各个算法的性能进行了分析比较。贪心算法的运行速度较快 ,但在大多数情况下该算法找到的...
介绍了求解货郎问题的 4个算法 :贪心算法、MST近似算法、MM近似算法和回溯搜索算法。分别使用各个算法对一个货郎问题的具体实例进行求解 ,并对各个算法的性能进行了分析比较。贪心算法的运行速度较快 ,但在大多数情况下该算法找到的是次优解而非最优解。MST和MM近似算法用以求解满足三角不等式的货郎问题 ,其近似性能比(即精确度 )分别为 :RMST(I) <2 ,RMM(I) <3 / 2。回溯搜索算法可以求出货郎问题的最优解 ,但随着城市数目的增加 。
展开更多
关键词
算法分析
货郎问题
最小生成树
最小对集
贪心
算法
近似
算法
回溯搜索
算法
在线阅读
下载PDF
职称材料
数字化核测仪表的设计与算法分析
被引量:
3
10
作者
陈小军
李保祥
李凯
《核电子学与探测技术》
CAS
CSCD
北大核心
2003年第2期163-165,175,共4页
介绍了数字化核测仪表的设计与算法分析,给出了数字化核测仪表的工作原理,以及以单片机为核心的硬件、软件的实现方法、实现准则,以及对反应堆测量的一些算法分析。
关键词
核测仪表
单片机
算法分析
在线阅读
下载PDF
职称材料
分布式并行矩阵乘算法分析
被引量:
4
11
作者
陈晶
黄曙光
《兵工自动化》
2005年第5期52-54,共3页
分布式并行矩阵乘算法包括简单并行分块乘、Cannon、Fox、矩阵乘并行、B-S、B迁移和C迁移算法。并行分块乘法在同行处理器间进行多到多播送。Cannon算法可有目的地在各行和各列施行循环移位。Fox算法的行处理器施行一到多播送,列处理器...
分布式并行矩阵乘算法包括简单并行分块乘、Cannon、Fox、矩阵乘并行、B-S、B迁移和C迁移算法。并行分块乘法在同行处理器间进行多到多播送。Cannon算法可有目的地在各行和各列施行循环移位。Fox算法的行处理器施行一到多播送,列处理器施行循环单步上移。矩阵乘并行算法采取中子矩阵分配策略对各对应子矩阵相乘。B-S通过消息传递、进行数据迁移。B迁移算法可减少通讯量。C迁移算法可提高并行效率。
展开更多
关键词
矩阵乘
并行计算
算法分析
在线阅读
下载PDF
职称材料
随机k-SAT问题的回溯算法分析
被引量:
2
12
作者
许可
李未
《计算机学报》
EI
CSCD
北大核心
2000年第5期454-458,共5页
通过研究搜索树的平均节点数 ,分析了回溯算法求解随机 k- SAT问题的平均复杂性 ,结果表明 :找到实例所有的解或证明其无解所需的平均节点数随变量数 n的增加而指数增长 ;随着 r(子句数 /变量数 )的增大 ,求解将变得越来越容易 ,而且当 ...
通过研究搜索树的平均节点数 ,分析了回溯算法求解随机 k- SAT问题的平均复杂性 ,结果表明 :找到实例所有的解或证明其无解所需的平均节点数随变量数 n的增加而指数增长 ;随着 r(子句数 /变量数 )的增大 ,求解将变得越来越容易 ,而且当 r趋近于无穷大时 ,以 n为指数 ,平均节点数的底数将无限地趋近于 1.因此 ,尽管回溯算法求解随机 k- SAT问题具有指数的平均复杂性 ,但当 r充分大以后 ,许多实例的求解将变得非常容易 .
展开更多
关键词
算法分析
平均复杂性
回溯
算法
随机K-SAT问题
在线阅读
下载PDF
职称材料
基于内容过滤的电子商务推荐算法分析
被引量:
2
13
作者
刘胜华
董利红
《统计与决策》
CSSCI
北大核心
2006年第17期146-147,共2页
关键词
算法分析
电子商务
基于内容
数据处理流程
过滤
特征向量
主题设置
WEB日志
在线阅读
下载PDF
职称材料
逆变器消谐控制的同伦模型建立及算法分析
被引量:
6
14
作者
谢运祥
《中国电机工程学报》
EI
CSCD
北大核心
2002年第5期27-31,共5页
为了实现消谐模型的实时求解,寻找一种快速收敛算法是十分必要的。该文根据同伦映射的基本思想,提出了将逆变器消谐方程转化成以M为参数的Cauchy问题并讨论了求解该Cauchy问题的两种算法。通过算例分析与牛顿法作了对比研究,结果表明:...
为了实现消谐模型的实时求解,寻找一种快速收敛算法是十分必要的。该文根据同伦映射的基本思想,提出了将逆变器消谐方程转化成以M为参数的Cauchy问题并讨论了求解该Cauchy问题的两种算法。通过算例分析与牛顿法作了对比研究,结果表明:该文提出的两种算法都是收敛的,且收敛速度均明显优于牛顿法,其中方法1迭代次数少于方法2,但计算量略有增加。此外,文中还就开关角数量N、输出基波电压幅值与母线电压比值M、步长ΔM等变化对收敛的影响进行了分析,研究发现当M小于0.97时,无论N为多少,步长ΔM多大(最大值等于M),求解过程总 是收敛的。当M大于1时,必须使步长ΔM足够小才能保证求解收敛。
展开更多
关键词
逆变器
消谐控制
同伦模型
算法分析
在线阅读
下载PDF
职称材料
单调和反单调约束条件下关联规则的挖掘算法分析
被引量:
3
15
作者
杜剑峰
李宏
+1 位作者
陈松乔
陈建二
《计算机科学》
CSCD
北大核心
2005年第6期142-144,166,共4页
本文充分利用了 Eclat算法的概念格理论和等价类划分方法,将约束条件融入基于垂直数据分布的关联规则挖掘算法中。提出了一种新的反单调和单调约束条件下关联规则的挖掘算法,分别为EclatA算法和EclatM算法。算法采用自底向上的搜索方法...
本文充分利用了 Eclat算法的概念格理论和等价类划分方法,将约束条件融入基于垂直数据分布的关联规则挖掘算法中。提出了一种新的反单调和单调约束条件下关联规则的挖掘算法,分别为EclatA算法和EclatM算法。算法采用自底向上的搜索方法,在发现频繁项集的同时进行约束条件的检验。数据库的扫描次数较少,无需对候选项集进行剪枝,占用内存较小。实验证明:该算法的执行效率比已有算法有显著提高。
展开更多
关键词
约束条件
算法分析
单调
调和
关联规则挖掘
算法
划分方法
充分利用
数据分布
搜索方法
自底向上
频繁项集
扫描次数
候选项集
实验证明
等价类
概念格
A
算法
数据库
效率比
内存
在线阅读
下载PDF
职称材料
唐宋历法演纪上元实例及算法分析
被引量:
5
16
作者
曲安京
《自然科学史研究》
CSCD
1991年第4期315-326,共12页
唐宋历法的上元积年以演纪之法推求,称为"演纪上元"。按宋代秦九韶《数书九章》中的"演纪术",历家只需依代入法求解三个联立的同余式即将上元推定;而通常历法中从上元起算的周期多达11项,倘全部作为先决条件参与其...
唐宋历法的上元积年以演纪之法推求,称为"演纪上元"。按宋代秦九韶《数书九章》中的"演纪术",历家只需依代入法求解三个联立的同余式即将上元推定;而通常历法中从上元起算的周期多达11项,倘全部作为先决条件参与其上元的计算,则必须处理10个联立的同余式。本文首先根据史料对演纪术所列同余式组的余数选择及所得结果进行了必要的限定,然后依演纪术对明天历及"授时历议"中附列的三种积年日法进行了实例演算。结果表明,绝大多数情形下,三个同余式即将上元唯一确定,其它历法周期因此不复具备参与推算其上元的必要条件。
展开更多
关键词
历法
演纪上元
唐宋
算法分析
在线阅读
下载PDF
职称材料
基于MATLAB的线性系统极点配置问题的算法分析
被引量:
4
17
作者
潘晓中
《系统工程与电子技术》
EI
CSCD
北大核心
2002年第3期78-80,共3页
线性系统的动态性能主要取决于系统极点的位置。极点配置问题就是把闭环极点组配置到所希望的位置上 ,使综合得到的系统动态性能达到期望的要求。极点配置问题的算法有多种 ,特别是对于多输入系统 ,其计算较为复杂。分析了一个基于龙伯...
线性系统的动态性能主要取决于系统极点的位置。极点配置问题就是把闭环极点组配置到所希望的位置上 ,使综合得到的系统动态性能达到期望的要求。极点配置问题的算法有多种 ,特别是对于多输入系统 ,其计算较为复杂。分析了一个基于龙伯格能控规范型的极点配置问题的算法 。
展开更多
关键词
状态反馈
极点配置
线性系统
MATLAB
算法分析
在线阅读
下载PDF
职称材料
贷款管理决策中的算法分析
被引量:
1
18
作者
马刚
王延章
+1 位作者
魏霞
郭树华
《财经问题研究》
CSSCI
北大核心
2000年第2期17-24,共8页
商业银行的经营管理,首先是决策管理。正确的决策必须建立在大量搜集、整理、加工和 运用各方面有关信息的基础之上。贷款作为商业银行的主营业务,是银行取得利润的主要途径, 因此,合理分析贷款投向。及时防范贷款风险是银行信贷决...
商业银行的经营管理,首先是决策管理。正确的决策必须建立在大量搜集、整理、加工和 运用各方面有关信息的基础之上。贷款作为商业银行的主营业务,是银行取得利润的主要途径, 因此,合理分析贷款投向。及时防范贷款风险是银行信贷决策的重要内容。本文从贷款管理及其 决策过程入手,介绍了贷款决策分析方法,并以现金流量为例详细讨论了在贷款决策分析过程中 采用的预测算法。同时对使用效果作了评价。
展开更多
关键词
贷款管理
决策
分析
预测
算法
算法分析
在线阅读
下载PDF
职称材料
城市地下管网结构模型及算法分析
被引量:
3
19
作者
常晋义
《计算机工程与设计》
CSCD
2002年第11期91-94,共4页
研究了一个城市地下综合管网信息系统中的数据结构及数据组织方法,对系统中横纵剖面功能的需求、设计思路、软件结构和功能,给出了实现方法、步骤和算法分析,并对搜索与定位线相交的处理、定位线的调整、Mapinfo与Visual Basic的通信技...
研究了一个城市地下综合管网信息系统中的数据结构及数据组织方法,对系统中横纵剖面功能的需求、设计思路、软件结构和功能,给出了实现方法、步骤和算法分析,并对搜索与定位线相交的处理、定位线的调整、Mapinfo与Visual Basic的通信技术等进行了讨论。
展开更多
关键词
城市地下管网
结构模型
算法分析
地理信息系统
在线阅读
下载PDF
职称材料
虚拟维修仿真平台Jack上的碰撞检测算法分析
被引量:
4
20
作者
张中波
《机械设计与制造》
北大核心
2010年第1期44-46,共3页
分析了虚拟维修仿真平台Jack上的五种碰撞检测算法的检测原理和检测效率,包括:轴向包围盒法、包围球法、Gilbert & Johnson算法、Moore & Wilhelms算法和Modified M & W算法,并利用实验数据比较了各种算法在不同应用情况下...
分析了虚拟维修仿真平台Jack上的五种碰撞检测算法的检测原理和检测效率,包括:轴向包围盒法、包围球法、Gilbert & Johnson算法、Moore & Wilhelms算法和Modified M & W算法,并利用实验数据比较了各种算法在不同应用情况下的运算速度。研究结论对于在Jack上动态建模具有一定的指导意义。
展开更多
关键词
虚拟维修
碰撞检测
算法分析
在线阅读
下载PDF
职称材料
题名
“数据结构与算法分析”研究型实践教学的探索
被引量:
32
1
作者
李晓鸿
骆嘉伟
季洁
机构
湖南大学信息科学与工程学院
出处
《实验室研究与探索》
CAS
北大核心
2012年第1期121-125,共5页
基金
2010年湖南省精品课程"算法导论"
2011年湖南大学教学改革研究项目
文摘
"数据结构与算法分析"课程对培养计算机专业设计与创新型人才起着重要作用。提出了课程的研究型实践教学理念,从教学内容、组织形式、训练模式、教学手段和评价方式等方面进行改革探讨,探索课程的研究型实践教学模式。
关键词
教学改革
研究型实践教学
数据结构与
算法分析
Keywords
teaching innovation
research-oriented experimental teaching
data structures and algorithm analysis
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
G642.423 [文化科学—高等教育学]
在线阅读
下载PDF
职称材料
题名
基于图像信息的跟踪算法分析
被引量:
17
2
作者
王春平
朱元昌
黄允华
机构
军械工程学院
出处
《火力与指挥控制》
CSCD
2000年第1期18-21,,25,,共5页
文摘
图像跟踪算法研究是电视跟踪系统的关键技术之一。对波门跟踪算法、相关跟踪算法、多模跟踪算法、基于提边的差分跟踪算法及微分线性拟合外推跟踪算法进行了分析 。
关键词
图像处理
电视跟踪
波门跟踪
算法分析
火控雷达
Keywords
image processing
TV tracking
gate tracking
correlation tracking
algorithm
分类号
TN941.1 [电子电信—信号与信息处理]
E933.6 [军事—军事装备学]
在线阅读
下载PDF
职称材料
题名
课表编排系统的算法分析与设计
被引量:
10
3
作者
李明杰
常晋义
机构
常熟高等专科学校计算机科学与工程系
出处
《计算机工程与设计》
CSCD
2004年第10期1867-1868,F003,共3页
文摘
对课表编排系统中涉及的搜索课程的可用时间集合、择优选取时间片、搜索所选定时间的空闲教室、择优选取教室以及解决冲突等环节的算法实现进行了讨论。前4个环节主要涉及时间或教室集合的搜索以及按照一定的优选策略选择最佳匹配,最后环节则利用人工智能的深度优先图搜索策略对冲突进行调整。
关键词
课表
教室
编排
环节
集合
课程
选取
搜索
算法分析
时间片
Keywords
courses scheduling system
algorithm
searching strategy
match
分类号
TP393 [自动化与计算机技术—计算机应用技术]
G633 [文化科学—教育学]
在线阅读
下载PDF
职称材料
题名
随机约束满足问题的回溯算法分析
被引量:
8
4
作者
许可
李未
机构
北京航空航天大学计算机科学与工程系
出处
《软件学报》
EI
CSCD
北大核心
2000年第11期1467-1471,共5页
基金
国家重点基础研究发展规划资助项目(G1999032701)
教育部博士点基金资助项目(1999000613)
文摘
提出一种新的随机 CSP( constraintsatisfaction problem)模型 ,并且通过研究搜索树的平均节点数 ,分析了回溯算法求解该模型的平均复杂性 .结果表明 ,这种模型能够生成难解的 CSP实例 ,找到所有的解或证明无解所需的平均节点数即随变量数的增加而指数增长 .因此 ,该模型可以用来研究难解实例的性质和 CSP算法的性能等问题 ,从而有助于设计出更为高效的算法 .
关键词
算法分析
平均复杂性
回溯
算法
约束满足
Keywords
analysis of algorithm
average complexity
backtracking algorithm
constraint satisfaction
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
NURBS曲面的算法分析及实现
被引量:
6
5
作者
秦志光
张凤荔
刘锦德
机构
电子科技大学微机所
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994年第4期411-415,共5页
基金
]国家"八五"重点科研基金
文摘
讨论了NURBS曲线和节点矢量、控制点和基函数对曲面形状的影响,给出了NURBS的算法分析及其实现方案,最后,将NURBS曲面与老式曲面(如B样条、Bezier曲面等)进行了比较。
关键词
节点
曲面
NURBS曲面
算法分析
Keywords
nonuniform rational B-spline (NURBS)
knot
control point, basis func-tion
weight
surface
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
命题逻辑可满足性问题的算法分析
被引量:
12
6
作者
李未
黄雄
机构
北京航空航天大学计算机系
出处
《计算机科学》
CSCD
北大核心
1999年第3期1-9,共9页
基金
国家自然科学基金
博士点基金
文摘
1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成为计算机科学的中心课题之一。例如在机器定理证明领域,某命题是否是一个和谐的公理集合的推论,这个问题归结为该命题的反面与该公理集合一起是否是不可满足的。通过量词消去技术和Herbrand定理的作用,谓词逻辑公式的不可满足性可以归结为命题逻辑公式的不可满足性。在知识库维护中,当知识以逻辑公式的形式表达时,知识库的一致性检查可以归结为命题逻辑公式的可满足性。在开放逻辑中,新事实是否与已有的知识矛盾,当遇到事实反驳时如何求得最大和谐的知识集,这些问题最后都要归结为命题逻辑公式的可满足性。1971年Cook首次证明了SAT是NP-完全的,从而大量的计算问题都可以归约到SAT。正是由于SAT的重要地位,各国学者对它进行了广泛而深入的研究。
关键词
命题逻辑
可满足性问题
算法分析
计算机
Keywords
Satisfiability problem, Algorithms,Design, Analysis,Prepositional logic ,Computational complexity.
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
频繁模式挖掘算法分析和比较
被引量:
11
7
作者
李敏
李春平
机构
清华大学软件学院
出处
《计算机应用》
CSCD
北大核心
2005年第B12期166-171,共6页
文摘
以频繁模式挖掘算法的搜索方式、计数方式和数据存储技术为主线,分析了频繁模式挖掘现有算法中的关键方法和技术,就频繁模式挖掘中的共性问题,对各代表性算法加以比较和评价,在多种不同特征的数据集上进行量化分析,得出我们的结论。
关键词
频繁模式
数据挖掘
算法分析
分类号
TP311.131 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
NURBS曲线的算法分析及实现
被引量:
3
8
作者
秦志光
张凤荔
刘锦德
机构
电子科技大学微机研究所
出处
《计算机工程》
CAS
CSCD
北大核心
1995年第4期15-18,26,共5页
基金
国家85科技攻关项目
文摘
讨论并分析NUEBS曲线及其几何性质、节点矢量、控制点和基函数对曲线形状的影响;给出了NURBS的算法分析及其实现方案,并在Sun平台上的XGL中实现了该方案;最后,将NURBS曲线与老式曲线(如B样条、Bczicr曲线)进行了比较。
关键词
NURBS曲线
算法分析
B样条
几何造型
CAD
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
货郎问题求解算法分析
被引量:
6
9
作者
潘玉奇
王潍
康健
王永燕
机构
济南大学信息科学与工程学院
机械工程学院
出处
《济南大学学报(自然科学版)》
CAS
2002年第4期336-339,358,共5页
文摘
介绍了求解货郎问题的 4个算法 :贪心算法、MST近似算法、MM近似算法和回溯搜索算法。分别使用各个算法对一个货郎问题的具体实例进行求解 ,并对各个算法的性能进行了分析比较。贪心算法的运行速度较快 ,但在大多数情况下该算法找到的是次优解而非最优解。MST和MM近似算法用以求解满足三角不等式的货郎问题 ,其近似性能比(即精确度 )分别为 :RMST(I) <2 ,RMM(I) <3 / 2。回溯搜索算法可以求出货郎问题的最优解 ,但随着城市数目的增加 。
关键词
算法分析
货郎问题
最小生成树
最小对集
贪心
算法
近似
算法
回溯搜索
算法
Keywords
traveling salesman problem
minimum spanning tree
minimum matching
greedy algorithm
approximation algorithm
backtracking search algorithm
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
数字化核测仪表的设计与算法分析
被引量:
3
10
作者
陈小军
李保祥
李凯
机构
清华大学核能技术设计研究院
出处
《核电子学与探测技术》
CAS
CSCD
北大核心
2003年第2期163-165,175,共4页
文摘
介绍了数字化核测仪表的设计与算法分析,给出了数字化核测仪表的工作原理,以及以单片机为核心的硬件、软件的实现方法、实现准则,以及对反应堆测量的一些算法分析。
关键词
核测仪表
单片机
算法分析
Keywords
nuclear instrument
micro processor
arithmetic analysis
分类号
TL82 [核科学技术—核技术及应用]
在线阅读
下载PDF
职称材料
题名
分布式并行矩阵乘算法分析
被引量:
4
11
作者
陈晶
黄曙光
机构
解放军电子工程学院研究生二队
解放军电子工程学院网络对抗系
出处
《兵工自动化》
2005年第5期52-54,共3页
文摘
分布式并行矩阵乘算法包括简单并行分块乘、Cannon、Fox、矩阵乘并行、B-S、B迁移和C迁移算法。并行分块乘法在同行处理器间进行多到多播送。Cannon算法可有目的地在各行和各列施行循环移位。Fox算法的行处理器施行一到多播送,列处理器施行循环单步上移。矩阵乘并行算法采取中子矩阵分配策略对各对应子矩阵相乘。B-S通过消息传递、进行数据迁移。B迁移算法可减少通讯量。C迁移算法可提高并行效率。
关键词
矩阵乘
并行计算
算法分析
Keywords
Matrix multiplication
Parallel computation
Algorithm analysis
分类号
O151.21 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
随机k-SAT问题的回溯算法分析
被引量:
2
12
作者
许可
李未
机构
北京航空航天大学计算机科学与工程系
出处
《计算机学报》
EI
CSCD
北大核心
2000年第5期454-458,共5页
基金
国家"九七三"项目!( G19990 3 2 70 1)
教育部博士点基金
文摘
通过研究搜索树的平均节点数 ,分析了回溯算法求解随机 k- SAT问题的平均复杂性 ,结果表明 :找到实例所有的解或证明其无解所需的平均节点数随变量数 n的增加而指数增长 ;随着 r(子句数 /变量数 )的增大 ,求解将变得越来越容易 ,而且当 r趋近于无穷大时 ,以 n为指数 ,平均节点数的底数将无限地趋近于 1.因此 ,尽管回溯算法求解随机 k- SAT问题具有指数的平均复杂性 ,但当 r充分大以后 ,许多实例的求解将变得非常容易 .
关键词
算法分析
平均复杂性
回溯
算法
随机K-SAT问题
Keywords
analysis of algorithms, average complexity, backtracking algorithms, SAT problem
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于内容过滤的电子商务推荐算法分析
被引量:
2
13
作者
刘胜华
董利红
机构
湖北经济学院
出处
《统计与决策》
CSSCI
北大核心
2006年第17期146-147,共2页
关键词
算法分析
电子商务
基于内容
数据处理流程
过滤
特征向量
主题设置
WEB日志
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
逆变器消谐控制的同伦模型建立及算法分析
被引量:
6
14
作者
谢运祥
机构
华南理工大学电力学院
出处
《中国电机工程学报》
EI
CSCD
北大核心
2002年第5期27-31,共5页
基金
国家自然科学基金项目(50007001)。
文摘
为了实现消谐模型的实时求解,寻找一种快速收敛算法是十分必要的。该文根据同伦映射的基本思想,提出了将逆变器消谐方程转化成以M为参数的Cauchy问题并讨论了求解该Cauchy问题的两种算法。通过算例分析与牛顿法作了对比研究,结果表明:该文提出的两种算法都是收敛的,且收敛速度均明显优于牛顿法,其中方法1迭代次数少于方法2,但计算量略有增加。此外,文中还就开关角数量N、输出基波电压幅值与母线电压比值M、步长ΔM等变化对收敛的影响进行了分析,研究发现当M小于0.97时,无论N为多少,步长ΔM多大(最大值等于M),求解过程总 是收敛的。当M大于1时,必须使步长ΔM足够小才能保证求解收敛。
关键词
逆变器
消谐控制
同伦模型
算法分析
Keywords
inverter
harmonic elimination control
Homotopy algorithm model
分类号
TM464 [电气工程—电器]
在线阅读
下载PDF
职称材料
题名
单调和反单调约束条件下关联规则的挖掘算法分析
被引量:
3
15
作者
杜剑峰
李宏
陈松乔
陈建二
机构
中南大学信息科学与工程学院
出处
《计算机科学》
CSCD
北大核心
2005年第6期142-144,166,共4页
基金
国家杰出青年自然科学基金(69928201)
文摘
本文充分利用了 Eclat算法的概念格理论和等价类划分方法,将约束条件融入基于垂直数据分布的关联规则挖掘算法中。提出了一种新的反单调和单调约束条件下关联规则的挖掘算法,分别为EclatA算法和EclatM算法。算法采用自底向上的搜索方法,在发现频繁项集的同时进行约束条件的检验。数据库的扫描次数较少,无需对候选项集进行剪枝,占用内存较小。实验证明:该算法的执行效率比已有算法有显著提高。
关键词
约束条件
算法分析
单调
调和
关联规则挖掘
算法
划分方法
充分利用
数据分布
搜索方法
自底向上
频繁项集
扫描次数
候选项集
实验证明
等价类
概念格
A
算法
数据库
效率比
内存
Keywords
Data mining
Association rules with constraints
Lattices
Equivalence classes
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
O221.1 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
唐宋历法演纪上元实例及算法分析
被引量:
5
16
作者
曲安京
机构
西北大学
出处
《自然科学史研究》
CSCD
1991年第4期315-326,共12页
文摘
唐宋历法的上元积年以演纪之法推求,称为"演纪上元"。按宋代秦九韶《数书九章》中的"演纪术",历家只需依代入法求解三个联立的同余式即将上元推定;而通常历法中从上元起算的周期多达11项,倘全部作为先决条件参与其上元的计算,则必须处理10个联立的同余式。本文首先根据史料对演纪术所列同余式组的余数选择及所得结果进行了必要的限定,然后依演纪术对明天历及"授时历议"中附列的三种积年日法进行了实例演算。结果表明,绝大多数情形下,三个同余式即将上元唯一确定,其它历法周期因此不复具备参与推算其上元的必要条件。
关键词
历法
演纪上元
唐宋
算法分析
Keywords
Yan Ji Shang Yuan, congruence expression, calendar
分类号
P194 [天文地球—天文学]
在线阅读
下载PDF
职称材料
题名
基于MATLAB的线性系统极点配置问题的算法分析
被引量:
4
17
作者
潘晓中
机构
武警工程学院电子技术系
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2002年第3期78-80,共3页
文摘
线性系统的动态性能主要取决于系统极点的位置。极点配置问题就是把闭环极点组配置到所希望的位置上 ,使综合得到的系统动态性能达到期望的要求。极点配置问题的算法有多种 ,特别是对于多输入系统 ,其计算较为复杂。分析了一个基于龙伯格能控规范型的极点配置问题的算法 。
关键词
状态反馈
极点配置
线性系统
MATLAB
算法分析
Keywords
State feedback
Pole configuration
Linear system
分类号
TP271 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
贷款管理决策中的算法分析
被引量:
1
18
作者
马刚
王延章
魏霞
郭树华
机构
大连理工大学信息与决策技术研究所
广东发展银行大连分行
出处
《财经问题研究》
CSSCI
北大核心
2000年第2期17-24,共8页
文摘
商业银行的经营管理,首先是决策管理。正确的决策必须建立在大量搜集、整理、加工和 运用各方面有关信息的基础之上。贷款作为商业银行的主营业务,是银行取得利润的主要途径, 因此,合理分析贷款投向。及时防范贷款风险是银行信贷决策的重要内容。本文从贷款管理及其 决策过程入手,介绍了贷款决策分析方法,并以现金流量为例详细讨论了在贷款决策分析过程中 采用的预测算法。同时对使用效果作了评价。
关键词
贷款管理
决策
分析
预测
算法
算法分析
分类号
F830.5 [经济管理—金融学]
F832.4 [经济管理—金融学]
在线阅读
下载PDF
职称材料
题名
城市地下管网结构模型及算法分析
被引量:
3
19
作者
常晋义
机构
常熟高等专科学校计算机系
出处
《计算机工程与设计》
CSCD
2002年第11期91-94,共4页
基金
江苏省教育厅自然科学科研资助项目(00KJD520007)
文摘
研究了一个城市地下综合管网信息系统中的数据结构及数据组织方法,对系统中横纵剖面功能的需求、设计思路、软件结构和功能,给出了实现方法、步骤和算法分析,并对搜索与定位线相交的处理、定位线的调整、Mapinfo与Visual Basic的通信技术等进行了讨论。
关键词
城市地下管网
结构模型
算法分析
地理信息系统
Keywords
geography information system (GIS)
underground pipeline network
section
分类号
TU81 [建筑科学]
在线阅读
下载PDF
职称材料
题名
虚拟维修仿真平台Jack上的碰撞检测算法分析
被引量:
4
20
作者
张中波
机构
中国民航飞行学院航空工程学院
出处
《机械设计与制造》
北大核心
2010年第1期44-46,共3页
基金
中国民航飞行学院科研基金项目(KJ2007-22)
文摘
分析了虚拟维修仿真平台Jack上的五种碰撞检测算法的检测原理和检测效率,包括:轴向包围盒法、包围球法、Gilbert & Johnson算法、Moore & Wilhelms算法和Modified M & W算法,并利用实验数据比较了各种算法在不同应用情况下的运算速度。研究结论对于在Jack上动态建模具有一定的指导意义。
关键词
虚拟维修
碰撞检测
算法分析
Keywords
Virtual maintenance
Collision detection
Algorithm analysis
分类号
TH12 [机械工程—机械设计及理论]
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
“数据结构与算法分析”研究型实践教学的探索
李晓鸿
骆嘉伟
季洁
《实验室研究与探索》
CAS
北大核心
2012
32
在线阅读
下载PDF
职称材料
2
基于图像信息的跟踪算法分析
王春平
朱元昌
黄允华
《火力与指挥控制》
CSCD
2000
17
在线阅读
下载PDF
职称材料
3
课表编排系统的算法分析与设计
李明杰
常晋义
《计算机工程与设计》
CSCD
2004
10
在线阅读
下载PDF
职称材料
4
随机约束满足问题的回溯算法分析
许可
李未
《软件学报》
EI
CSCD
北大核心
2000
8
在线阅读
下载PDF
职称材料
5
NURBS曲面的算法分析及实现
秦志光
张凤荔
刘锦德
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994
6
在线阅读
下载PDF
职称材料
6
命题逻辑可满足性问题的算法分析
李未
黄雄
《计算机科学》
CSCD
北大核心
1999
12
在线阅读
下载PDF
职称材料
7
频繁模式挖掘算法分析和比较
李敏
李春平
《计算机应用》
CSCD
北大核心
2005
11
在线阅读
下载PDF
职称材料
8
NURBS曲线的算法分析及实现
秦志光
张凤荔
刘锦德
《计算机工程》
CAS
CSCD
北大核心
1995
3
在线阅读
下载PDF
职称材料
9
货郎问题求解算法分析
潘玉奇
王潍
康健
王永燕
《济南大学学报(自然科学版)》
CAS
2002
6
在线阅读
下载PDF
职称材料
10
数字化核测仪表的设计与算法分析
陈小军
李保祥
李凯
《核电子学与探测技术》
CAS
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
11
分布式并行矩阵乘算法分析
陈晶
黄曙光
《兵工自动化》
2005
4
在线阅读
下载PDF
职称材料
12
随机k-SAT问题的回溯算法分析
许可
李未
《计算机学报》
EI
CSCD
北大核心
2000
2
在线阅读
下载PDF
职称材料
13
基于内容过滤的电子商务推荐算法分析
刘胜华
董利红
《统计与决策》
CSSCI
北大核心
2006
2
在线阅读
下载PDF
职称材料
14
逆变器消谐控制的同伦模型建立及算法分析
谢运祥
《中国电机工程学报》
EI
CSCD
北大核心
2002
6
在线阅读
下载PDF
职称材料
15
单调和反单调约束条件下关联规则的挖掘算法分析
杜剑峰
李宏
陈松乔
陈建二
《计算机科学》
CSCD
北大核心
2005
3
在线阅读
下载PDF
职称材料
16
唐宋历法演纪上元实例及算法分析
曲安京
《自然科学史研究》
CSCD
1991
5
在线阅读
下载PDF
职称材料
17
基于MATLAB的线性系统极点配置问题的算法分析
潘晓中
《系统工程与电子技术》
EI
CSCD
北大核心
2002
4
在线阅读
下载PDF
职称材料
18
贷款管理决策中的算法分析
马刚
王延章
魏霞
郭树华
《财经问题研究》
CSSCI
北大核心
2000
1
在线阅读
下载PDF
职称材料
19
城市地下管网结构模型及算法分析
常晋义
《计算机工程与设计》
CSCD
2002
3
在线阅读
下载PDF
职称材料
20
虚拟维修仿真平台Jack上的碰撞检测算法分析
张中波
《机械设计与制造》
北大核心
2010
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
23
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部