期刊文献+
共找到97篇文章
< 1 2 5 >
每页显示 20 50 100
图像几何校正控制点的自动确定方法 被引量:5
1
作者 杨小冈 缪栋 +1 位作者 付光远 张文君 《红外与激光工程》 EI CSCD 北大核心 2002年第3期194-198,共5页
依据图像几何校正的一般思路 ,提出了一种有效的控制点 (CP)自动确定方法。首先定义了基准控制点 (RCP)及畸变控制点 (DCP)的概念 ,设计了一种基于图像方差的检测模板 ,提出了相应的检测准则及搜索方案 ;然后在畸变图像中利用归一化积... 依据图像几何校正的一般思路 ,提出了一种有效的控制点 (CP)自动确定方法。首先定义了基准控制点 (RCP)及畸变控制点 (DCP)的概念 ,设计了一种基于图像方差的检测模板 ,提出了相应的检测准则及搜索方案 ;然后在畸变图像中利用归一化积相关图像匹配算法实现了基准控制点相对应的畸变控制点的精确定位 ,并给出了方法的算法流程 ;最后 ,以几何旋转畸变图像为例进行仿真实验 ,准确辨识出了畸变模型的参数 ,验证了方法的可行性及有效性。 展开更多
关键词 几何校正 控制点 归一化积相关 自动确定 旋转变换
在线阅读 下载PDF
权值可直接算出的Legendre神经网络之隐节点数自动确定 被引量:3
2
作者 张雨浓 刘巍 +1 位作者 蔡炳煌 肖秀春 《小型微型计算机系统》 CSCD 北大核心 2009年第7期1298-1301,共4页
隐神经元数目的确定在神经网络学习过程中有着重要的意义.然而,目前,还没有相应的确定性理论指导隐神经元数的设计.针对Legendre前向神经网络,在基于伪逆的权值直接确定法的基础上构造出一种神经网络隐节点数自动确定的算法.仿真结果显... 隐神经元数目的确定在神经网络学习过程中有着重要的意义.然而,目前,还没有相应的确定性理论指导隐神经元数的设计.针对Legendre前向神经网络,在基于伪逆的权值直接确定法的基础上构造出一种神经网络隐节点数自动确定的算法.仿真结果显示该隐节点数自动确定算法能较快地找到最简化结构Legendre前向神经网络的隐节点数. 展开更多
关键词 Legendre前向神经网络 隐节点数自动确定 权值直接确定 伪逆
在线阅读 下载PDF
一种基于数据流分析的程序定义域自动确定方法 被引量:3
3
作者 赵瑞莲 闵应骅 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第8期762-768,共7页
程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .... 程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .通过对源程序进行数据流分析和相关性分析 ,求取输入变量的定义域 ;采用程序抽取技术 ,将与输入变量无关的语句和函数剔除 ,简化了源程序 ,提高了分析效率 ;采用动态模拟技术 ,实现了特殊情形下输入变量定义域的确定 .实验证明 ,该方法是行之有效的 . 展开更多
关键词 数据流分析 程序抽取 自动确定 程序定义域 软件工程 软件测试
在线阅读 下载PDF
聚类中心自动确定的谱聚类算法研究 被引量:1
4
作者 陈晋音 吴洋洋 林翔 《小型微型计算机系统》 CSCD 北大核心 2018年第8期1729-1736,共8页
目前的谱聚类算法主要存在难以选取合适的尺度参数,需要人工确定聚类个数,参数依赖性大等问题.针对这些问题,本文提出了聚类中心自动确定的谱聚类算法(ADNC-SC).针对难以确定合适的尺度参数来反映数据结构的问题,ADNC-SC算法依据数据点... 目前的谱聚类算法主要存在难以选取合适的尺度参数,需要人工确定聚类个数,参数依赖性大等问题.针对这些问题,本文提出了聚类中心自动确定的谱聚类算法(ADNC-SC).针对难以确定合适的尺度参数来反映数据结构的问题,ADNC-SC算法依据数据点与临近点的距离均值定义局部尺度参数,充分利用数据点的局部特征来反映数据结构;针对谱聚类算法需要预先设定聚类个数的困难,本文采用了一种自动确定聚类个数的策略,通过分析数据对象的密度和距离的分布规律自动确定聚类中心;针对参数依赖性大的问题,ADNC-SC算法设计了一个Fitness函数作为评价不同临近点个数所对应的聚类结果的指标,选取最优临近点个数,并依据算法的时间复杂度和空间复杂度的关系确定划分区间个数.最终将所提出算法与部分较优秀算法在多个数据集上展开聚类效果比较,验证提出的ADNC-SC算法的有效性,并将其应用于人脸识别. 展开更多
关键词 谱聚类 自动确定聚类中心 局部尺度参数 参数自适应 人脸识别
在线阅读 下载PDF
网络计划法中作业间逻辑关系的自动确定问题
5
作者 范德成 刘春梅 《运筹与管理》 CSCD 2001年第2期140-143,共4页
针对作业具有重复特征的一类工程项目 ,提出了作业间逻辑关系的自动确定问题 ,并给出了确定作业间逻辑关系的搜索算法。
关键词 网络计划法 作业间逻辑关系 自动确定
在线阅读 下载PDF
自动确定聚类中心的势能聚类算法 被引量:9
6
作者 于晓飞 葛洪伟 《计算机科学与探索》 CSCD 北大核心 2018年第6期1004-1012,共9页
基于势能的快速层次聚类算法使用一种全新的相似性度量准则,可以更高效地得到聚类结果。但该算法需人工设定聚类数目,而且在分配样本时仅依据距离测度,削弱了势能的影响。针对上述问题,提出一种自动确定聚类中心的势能聚类算法。新算法... 基于势能的快速层次聚类算法使用一种全新的相似性度量准则,可以更高效地得到聚类结果。但该算法需人工设定聚类数目,而且在分配样本时仅依据距离测度,削弱了势能的影响。针对上述问题,提出一种自动确定聚类中心的势能聚类算法。新算法基于势能的物理意义和数据点与父节点的距离两个特征来自动确定聚类中心,并在分配机制上同时考虑势能和距离两个因素。在人工数据集和真实数据集上的实验表明,新算法不仅可以自动确定聚类数目,而且具有更优的聚类结果。 展开更多
关键词 聚类 基于势能的快速层次聚类(PHA) 势能聚类 自动确定聚类数目
在线阅读 下载PDF
自动确定聚类中心的移动时间势能聚类算法
7
作者 陆慎涛 葛洪伟 周竞 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第1期143-153,共11页
移动时间层次聚类(Travel-Time based Hierarchical Clustering,TTHC)是一种新的势能聚类算法,尽管具有较好的聚类效果,但是该算法需要人工设定聚类数目,而且在分配样本的时候仅根据相似度,忽略了距离和势能的影响.针对以上问题,提出一... 移动时间层次聚类(Travel-Time based Hierarchical Clustering,TTHC)是一种新的势能聚类算法,尽管具有较好的聚类效果,但是该算法需要人工设定聚类数目,而且在分配样本的时候仅根据相似度,忽略了距离和势能的影响.针对以上问题,提出一种自动确定聚类中心的移动时间势能聚类算法.首先计算每个数据点的势能和相似度,然后根据相似度确定数据点的父节点,得到数据点与父节点的距离;然后,根据数据点与父节点的相似度、距离和数据点的势能得到综合考量值,根据综合考量值自动确定聚类中心;最后,将剩余数据点分配到比其势能小且与其相似度最大的数据点所属类簇,得到聚类结果.将新算法与TTHC算法进行比较,在人工数据集和真实数据集上的实验结果表明,新算法不仅能够自动确定聚类数目,而且采用了更优的分配机制,可以产生更好的聚类结果. 展开更多
关键词 聚类 TTHC 移动时间 自动确定聚类数目
在线阅读 下载PDF
Büchi自动机确定化分析工具
8
作者 马润哲 田聪 +1 位作者 王文胜 段振华 《软件学报》 EI CSCD 北大核心 2024年第9期4310-4323,共14页
无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用... 无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,希望重点研究确定化过程中的索引能否继续被优化的问题,实现确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能. 展开更多
关键词 BÜCHI自动 Rabin自动 无限字自动确定
在线阅读 下载PDF
有限状态自动机的并行确定化及过程分析 被引量:5
9
作者 孙玉强 刘三阳 +1 位作者 王明斐 邹凌 《计算机科学》 CSCD 北大核心 2006年第10期293-294,F0003,共3页
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
关键词 并行转换 确定有限自动 确定有限自动
在线阅读 下载PDF
基于贝叶斯自动相关性确定的稀疏重构正交频分复用信号时延估计算法 被引量:9
10
作者 崔维嘉 张鹏 巴斌 《电子与信息学报》 EI CSCD 北大核心 2019年第10期2318-2324,共7页
针对复杂环境下,单测量矢量(SMV)条件下的正交频分复用(OFDM)时延估计问题,该文提出了一种基于贝叶斯自动相关性确定(BARD)的稀疏重构时延估计算法。该算法运用贝叶斯框架,从进一步挖掘有用信息的角度入手,引入不对称的自动相关性确定(A... 针对复杂环境下,单测量矢量(SMV)条件下的正交频分复用(OFDM)时延估计问题,该文提出了一种基于贝叶斯自动相关性确定(BARD)的稀疏重构时延估计算法。该算法运用贝叶斯框架,从进一步挖掘有用信息的角度入手,引入不对称的自动相关性确定(ARD)先验,融入参数估计过程中,有效提升了低信噪比(SNR)和SMV条件下的时延估计精度。该算法首先基于OFDM信号物理层协议数据单元估计出的信道频域响应构造稀疏化实数域表示模型,然后对模型中的噪声和稀疏系数矢量进行概率假设,同时引入自动相关性确定先验;最后根据贝叶斯框架,通过期望最大化(EM)算法求解超参数,实现对时延的估计。仿真实验表明,该算法具有更好的估计性能,在信噪比较高时更加贴近克拉美罗界(CRB)。同时基于通用软件无线电外设(USRP),利用实际信号对所提算法进行了有效性地验证。 展开更多
关键词 时延估计 神经网络 自动相关性确定(ARD) 通用软件无线电外设(USRP)
在线阅读 下载PDF
确定有限自动机最小化算法的并行处理 被引量:3
11
作者 孙玉强 李玉萍 +1 位作者 王海燕 陈继光 《计算机科学》 CSCD 北大核心 2008年第1期298-300,共3页
对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细描述了算法并行处理过程并验证其算法的可行性。
关键词 并行化 确定有限自动 可区分状态表
在线阅读 下载PDF
基于事件确定有限自动机的UML2.0序列图描述与验证 被引量:8
12
作者 张琛 段振华 田聪 《软件学报》 EI CSCD 北大核心 2011年第11期2625-2638,共14页
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata... 为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性. 展开更多
关键词 UML2.0序列图 事件确定有限自动 模型检测 命题投影时序逻辑 验证
在线阅读 下载PDF
非确定型有穷自动机的极小化 被引量:5
13
作者 李翰芳 许道云 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2007年第4期582-588,共7页
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构... 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言. 展开更多
关键词 确定型有穷自动 确定型有穷自动 等价关系 状态极小化
在线阅读 下载PDF
基于确定有限状态自动机的改进多模式匹配算法研究 被引量:10
14
作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多
关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动 优化策略
在线阅读 下载PDF
基于信息系统的确定有限自动机最小化算法
15
作者 杨传健 葛浩 +1 位作者 姚光顺 王波 《计算机应用》 CSCD 北大核心 2012年第7期1991-1993,1997,共4页
目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处... 目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处理过程,给出一个基于分治思想的DFA最小化算法,在平均情况下该算法的时间复杂度为O(n log n),空间复杂度为O(n)。最后通过实例验证了所提算法的正确性。 展开更多
关键词 确定有限自动 信息系统 等价类 最小化
在线阅读 下载PDF
确定型格值有限自动机的最小化 被引量:2
16
作者 李斌 舒兰 《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页
给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类... 给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk,并证明了可由Hk求取Q/Sk,从而得到仅利用集合运算便可求取Q/Rk的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。 展开更多
关键词 格半群 确定型有限状态自动 等价关系 商集 最小化 最小化算法
在线阅读 下载PDF
非确定有穷自动机在盲文转码中的应用 被引量:2
17
作者 张居晓 《计算机科学》 CSCD 北大核心 2017年第1期271-276,共6页
对盲人使用的计算机交互技术进行研究是很有意义的工作。盲文字库缺少国际标准和不同公司的盲文字库不兼容造成了很多难题。将盲文用汉字点位编码表示,能摆脱盲文字库的束缚。用不确定有穷自动机描述盲文与汉字点位编码的转换过程,再用... 对盲人使用的计算机交互技术进行研究是很有意义的工作。盲文字库缺少国际标准和不同公司的盲文字库不兼容造成了很多难题。将盲文用汉字点位编码表示,能摆脱盲文字库的束缚。用不确定有穷自动机描述盲文与汉字点位编码的转换过程,再用逆序拆分子集法对其确定化。经测试系统的转码正确率达到100%,从而实现盲文与机器无关,使得盲人使用计算机更方便。 展开更多
关键词 确定有穷自动 确定 逆序拆分子集法 盲文转码
在线阅读 下载PDF
PSL构造双向交换自动机及非确定自动机的方法
18
作者 虞蕾 陈火旺 《软件学报》 EI CSCD 北大核心 2010年第1期34-46,共13页
PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时... PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值. 展开更多
关键词 PSL(property specification language) FL(foundation language) 双向交换自动 确定自动 模型检验
在线阅读 下载PDF
确定型模糊多重集有限自动机的极小化
19
作者 王拥兵 李永明 《计算机工程与科学》 CSCD 北大核心 2016年第12期2574-2578,共5页
主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模... 主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。 展开更多
关键词 多重集 确定型模糊多重集有限自动 同余 同态 极小化
在线阅读 下载PDF
确定的有限元胞自动机的两个性质 被引量:1
20
作者 谷静 易宇 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第3期21-24,共4页
提出了确定的有限元胞自动机的概念,通过对演化构形的惟一性特征的分析,证明了确定的有限元胞自动机的状态演化最终处于稳定状态或者循环状态;具有相同演化结果的状态构成等价关系两个性质.利用初等元胞自动机对其进行了验证,在此基础上... 提出了确定的有限元胞自动机的概念,通过对演化构形的惟一性特征的分析,证明了确定的有限元胞自动机的状态演化最终处于稳定状态或者循环状态;具有相同演化结果的状态构成等价关系两个性质.利用初等元胞自动机对其进行了验证,在此基础上,对元胞自动机的四个普遍性分类进行了三个层次的探讨. 展开更多
关键词 元胞自动 确定的有限元胞自动 复杂系统 人工生命
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部