检索结果-维普期刊中文期刊服务平台

机械化验证一个高效的迭代数据流求解算法被引量：1: 1; 作者江南汪吕蒙 +1 位作者张晓瞳何炎祥《软件学报》 EI CSCD 北大核心 2022年第6期2115-2126,共12页; 迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一... 展开更多; 关键词机械化验证高效迭代算法支配节点; 在线阅读下载PDF 职称材料

点接触弹流润滑问题的高效直接算法被引量：3: 2; 作者夏伯乾张美莹《润滑与密封》 CAS CSCD 北大核心 2012年第3期16-20,共5页; 在复合直接迭代法的基础上,运用分块迭代的思想将方程组降维,通过研究弹性变形影响因子对弹性变形的影响,将压力迭代矩阵由满元阵变为稀疏的带状阵,提出一种新的求解点接触弹流问题的高效直接迭代算法。与复合直接迭代法相比,该算法大... 展开更多; 关键词点接触弹流润滑直接迭代算法高效算法; 在线阅读下载PDF 职称材料

基于双高斯函数的一种高效鸟群优化算法被引量：4: 3; 作者彭君君刘勇进《现代电子技术》北大核心 2018年第23期106-112,共7页; 针对采用鸟群算法求解实际问题中的复杂函数时存在易陷入局部最优、学习能力差、缺乏收敛性理论分析等问题,提出基于双高斯函数的一种高效鸟群优化算法。该算法增加了鸟群的挑食行为,巧妙地避免初始寻优值易陷入局部最优点或鞍点的问题... 展开更多; 关键词高效鸟群优化算法双高斯函数局部最优点时间复杂度分析全局搜索能力迭代次数; 在线阅读下载PDF 职称材料

MapReduce模型下的模糊C均值算法研究被引量：10: 4; 作者王永贵李鸿绪宋晓《计算机工程》 CAS CSCD 2014年第10期47-51,共5页; 针对模糊C均值算法需要不断迭代来计算样本数据的隶属度值以及聚类中心的特点,利用MapReduce模型解决海量数据下的模糊C均值问题,进而提出高效的模糊C均值算法。在Map阶段和Reduce阶段分别完成隶属度和聚类中心的计算,每次迭代都需要启... 展开更多; 关键词模糊C均值算法 MAPREDUCE模型海量数据高效迭代; 在线阅读下载PDF 职称材料

一种提取特征值的新型Systolic阵列算法: 5; 作者黄浴强伯涵《西安电子科技大学学报》 EI CAS CSCD 北大核心 1994年第1期33-40,共8页; 特征值提取的Ｓｙｓｔｏｌｉｃ阵列主要采用ＱＲ迭代，而对一般矩阵的ＱＲ迭代计算量较大。文中提出一种新型阵列结构：先将矩阵化为“上Ｈｅｓｓｅｎｂｅｒｇ阵”，然后再执行ＱＲ迭代；这样一次ＱＲ迭代的计算量由Ｏ（ｎ＿３）降为Ｏ... 展开更多; 关键词特征值 Systolic阵列 qr迭代算法; 在线阅读下载PDF 职称材料

基于高频信号注入的同步电机无传感器控制被引量：1: 6; 作者杨红杨勇李生明《组合机床与自动化加工技术》北大核心 2023年第4期76-81,共6页; 针对现有低速同步电机无传感器控制精度低、运算复杂的问题,提出了一种适用于静止和低速应用场合的高频电压信号注入的同步电机无传感器驱动控制方法(椭圆拟合技术)。首先,建立了永磁同步电动机(PMSM)的数学模型,分析了椭圆拟合技术判... 展开更多; 关键词高频电压信号椭圆拟合技术高效qr迭代因式分解算法无传感器控制; 在线阅读下载PDF 职称材料

PBSV-DDM在电大尺寸柱体电磁散射中的应用被引量：5: 7; 作者安翔吕志清 +2 位作者洪伟崔铁军殷晓星《应用科学学报》 CAS CSCD 北大核心 2005年第2期122-125,共4页; 提出了一种高效率的基于部分基础解向量的区域分解算法(PBSV DDM).它首先求出关于连接边界上节点的部分基础解向量,在迭代过程中,只需要对部分基础解向量作简单的线性组合就可以获得整个求解区域的最终解,极大地提高了计算效率,降低了... 展开更多; 关键词电磁散射电大尺寸柱体应用区域分解算法频率选择表面解向量连接边界迭代过程线性组合计算效率快速高效天线阵列有限周期数值算例电磁仿真基础高效率最终解存储量性特征准确性 PBG 求解; 在线阅读下载PDF 职称材料

基于视觉的压件形貌特征检测与研究被引量：1: 8; 作者付泽民王志进熊鹏鹏《制造技术与机床》北大核心 2021年第5期106-109,共4页; 针对不规则压件产品人工抽检效率低下且易视觉疲劳等问题,提出了一种基于HALCON视觉软件的压件多特征多重检测方法。该方法根据压件轮廓的多个特征,利用图像灰度化和形态学处理,采用灰度拉伸算法、迭代阈值算法等提取和分割轮廓,并对分... 展开更多; 关键词压件检测 HALCON 迭代阈值算法最小二乘法高效; 在线阅读下载PDF 职称材料

题名机械化验证一个高效的迭代数据流求解算法被引量：1: 1; 作者江南汪吕蒙张晓瞳何炎祥; 机构湖北工业大学计算机学院武汉大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2022年第6期2115-2126,共12页; 基金国家自然科学基金(61972293) 国家留学基金委地方合作项目(201808420414)。; 文摘迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一个高效的迭代求解严格支配节点的算法(CHK),首先建立了值域是逆序列表集合的半格结构,逆序列表中的元素是控制流图中节点的逆后序遍历次序,并证明了它是一个半格,其偏序满足上升链条件.然后使用半格结构,实现了一个基于工作表的Kildall迭代算法,计算严格支配节点.接下来,首先给出了控制流图中支配节点的定义性规范和相关性质定理,然后构造并证明了迭代求解算法所满足的重要性质.利用这些性质定理,相对于定义性规范,证明了该迭代求解算法的正确性和完备性.最后进行总结,并讨论未来工作.整个形式化开发使用的是定理证明助手Isabelle/HOL.; 关键词机械化验证高效迭代算法支配节点; Keywords mechanized verification efficient iterative algorithm dominators; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名点接触弹流润滑问题的高效直接算法被引量：3: 2; 作者夏伯乾张美莹; 机构郑州大学机械工程学院; 出处《润滑与密封》 CAS CSCD 北大核心 2012年第3期16-20,共5页; 基金国家自然科学基金项目(51075373); 文摘在复合直接迭代法的基础上,运用分块迭代的思想将方程组降维,通过研究弹性变形影响因子对弹性变形的影响,将压力迭代矩阵由满元阵变为稀疏的带状阵,提出一种新的求解点接触弹流问题的高效直接迭代算法。与复合直接迭代法相比,该算法大大减少了计算量,计算效率至少提高20倍,并且可适用重载工况。将新算法计算结果与Hamrock-Dowson公式计算结果进行比较,并讨论迭代矩阵半带宽与收敛速度、载荷范围、计算精度以及数值稳定性的关系。结果表明,当压力迭代矩阵密度为满阵的22%～25%时,新算法具有最高的计算精度。; 关键词点接触弹流润滑直接迭代算法高效算法; Keywords point contact elastohydrodynamic lubrication direct iterative algorithm high efficiency algorithm; 分类号 TH113 [机械工程—机械设计及理论]; 在线阅读下载PDF 职称材料

题名基于双高斯函数的一种高效鸟群优化算法被引量：4: 3; 作者彭君君刘勇进; 机构沈阳航空航天大学计算机学院沈阳航空航天大学理学院; 出处《现代电子技术》北大核心 2018年第23期106-112,共7页; 基金国家自然科学基金(11371255)~~; 文摘针对采用鸟群算法求解实际问题中的复杂函数时存在易陷入局部最优、学习能力差、缺乏收敛性理论分析等问题,提出基于双高斯函数的一种高效鸟群优化算法。该算法增加了鸟群的挑食行为,巧妙地避免初始寻优值易陷入局部最优点或鞍点的问题。同时,通过构建智能学习行为提高算法的自适应学习能力;然后构建双高斯函数更新法提高种群的多样性以增强算法全局搜索能力;最后,对于高效鸟群优化算法,给出时间复杂度分析。对多种标准测试函数进行仿真实验,实验结果表明,对于复杂函数优化,高效鸟群优化算法在达到收敛时其迭代次数相对基本鸟群算法减少50%左右,寻优成功率提高10%左右。; 关键词高效鸟群优化算法双高斯函数局部最优点时间复杂度分析全局搜索能力迭代次数; Keywords efficient bird swarm optimization algorithm double Gaussian function local optimal point time complexity analysis global search ability iteration times; 分类号 TN02-34 [电子电信—物理电子学] TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名MapReduce模型下的模糊C均值算法研究被引量：10: 4; 作者王永贵李鸿绪宋晓; 机构辽宁工程技术大学软件学院; 出处《计算机工程》 CAS CSCD 2014年第10期47-51,共5页; 基金国家自然科学基金资助项目(60903082) 辽宁省教育厅基金资助项目(L2012113); 文摘针对模糊C均值算法需要不断迭代来计算样本数据的隶属度值以及聚类中心的特点,利用MapReduce模型解决海量数据下的模糊C均值问题,进而提出高效的模糊C均值算法。在Map阶段和Reduce阶段分别完成隶属度和聚类中心的计算,每次迭代都需要启动一次完整的MapReduce执行过程。通过多次迭代计算出隶属度值以及聚类中心,并更新聚类中心文件,供下一轮作业使用,重复执行这一过程直至得到最终聚类结果。实验结果表明,该算法能够有效减少MapReduce计算过程中的迭代次数,从而提高整体执行效率。; 关键词模糊C均值算法 MAPREDUCE模型海量数据高效迭代; Keywords Fuzzy C-means（ FCM） algorithm MapReduce model mass data high efficiency iteration; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种提取特征值的新型Systolic阵列算法: 5; 作者黄浴强伯涵; 机构北方交通大学; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 1994年第1期33-40,共8页; 文摘特征值提取的Ｓｙｓｔｏｌｉｃ阵列主要采用ＱＲ迭代，而对一般矩阵的ＱＲ迭代计算量较大。文中提出一种新型阵列结构：先将矩阵化为“上Ｈｅｓｓｅｎｂｅｒｇ阵”，然后再执行ＱＲ迭代；这样一次ＱＲ迭代的计算量由Ｏ（ｎ＿３）降为Ｏ（ｎ＿２），可大大提高运算速度。该阵列具有容易全局同步控制及阵列之间接口方便的特点，且对原ＱＲ迭代的稳定性不会造成不良影响。; 关键词特征值 Systolic阵列 qr迭代算法; Keywords eigenvalue Systolic array qr recursion; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于高频信号注入的同步电机无传感器控制被引量：1: 6; 作者杨红杨勇李生明; 机构清远职业技术学院机电与汽车工程学院广东技术师范大学机电学院; 出处《组合机床与自动化加工技术》北大核心 2023年第4期76-81,共6页; 基金广东省教育厅教改课题(GDJG2019380)。; 文摘针对现有低速同步电机无传感器控制精度低、运算复杂的问题,提出了一种适用于静止和低速应用场合的高频电压信号注入的同步电机无传感器驱动控制方法(椭圆拟合技术)。首先,建立了永磁同步电动机(PMSM)的数学模型,分析了椭圆拟合技术判断永磁同步电机转子位置的原理;其次,通过对比线性最小二乘法问题的3种求解方法,显示了QR分解法的优势,并提出了椭圆拟合技术中QR分解原理;最后,在两种不同的控制平台下进行了实验验证。结果表明所提出的椭圆拟合技术不受信号处理延迟效应的影响,响应速度快;只需调整遗忘因子一个参数,设置简单,适用于工业领域的广泛应用。; 关键词高频电压信号椭圆拟合技术高效qr迭代因式分解算法无传感器控制; Keywords high frequency voltage signal ellipse fitting technology efficient qr iterative factorization algorithm sensorless control; 分类号 TH165 [机械工程—机械制造及自动化] TG659 [金属学及工艺—金属切削加工及机床]; 在线阅读下载PDF 职称材料

题名PBSV-DDM在电大尺寸柱体电磁散射中的应用被引量：5: 7; 作者安翔吕志清洪伟崔铁军殷晓星; 机构东南大学毫米波国家重点实验室计算电磁学研究中心; 出处《应用科学学报》 CAS CSCD 北大核心 2005年第2期122-125,共4页; 基金国家863重大项目(2002AA123031) 国家杰出青年科学基金资助项目(60225001); 文摘提出了一种高效率的基于部分基础解向量的区域分解算法(PBSV DDM).它首先求出关于连接边界上节点的部分基础解向量,在迭代过程中,只需要对部分基础解向量作简单的线性组合就可以获得整个求解区域的最终解,极大地提高了计算效率,降低了存储量.PBSV DDM不但适合于快速高效地计算任意电大尺寸柱体的电磁散射,还特别适合于求解具有几何重复性特征的结构,如天线阵列、有限周期频率选择表面、PBG EBG等的电磁仿真问题.数值算例验证了该方法的准确性和有效性.; 关键词电磁散射电大尺寸柱体应用区域分解算法频率选择表面解向量连接边界迭代过程线性组合计算效率快速高效天线阵列有限周期数值算例电磁仿真基础高效率最终解存储量性特征准确性 PBG 求解; Keywords domain decomposition method PBSV-DDM FDFD electromagnetic scattering; 分类号 O346.1 [理学—固体力学] TN011 [电子电信—物理电子学]; 在线阅读下载PDF 职称材料

题名基于视觉的压件形貌特征检测与研究被引量：1: 8; 作者付泽民王志进熊鹏鹏; 机构上海应用技术大学机械工程学院; 出处《制造技术与机床》北大核心 2021年第5期106-109,共4页; 基金上海科委重点支撑计划“变速/变行程下协同伺服压机变压边力的关键技术及装置研究”(262201180010)。; 文摘针对不规则压件产品人工抽检效率低下且易视觉疲劳等问题,提出了一种基于HALCON视觉软件的压件多特征多重检测方法。该方法根据压件轮廓的多个特征,利用图像灰度化和形态学处理,采用灰度拉伸算法、迭代阈值算法等提取和分割轮廓,并对分割后的轮廓特征进行属性判断,采取最小二乘法拟合,精准地检测压件的特征。采集100个压件产品利用上述方法进行检测,检测的准确率达到97%。实验表明这种压件检测方法适用于复杂多个特征的压件形貌检测,对压件外形容忍度较高,检测速率快,满足工业上对此类精密产品的高效检测要求。; 关键词压件检测 HALCON 迭代阈值算法最小二乘法高效; Keywords pressure detection HALCON iterative threshold algorithm least squares method high-efficiency; 分类号 TG87 [金属学及工艺—公差测量技术] TH161 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	机械化验证一个高效的迭代数据流求解算法	江南汪吕蒙张晓瞳何炎祥	《软件学报》 EI CSCD 北大核心	2022	1	在线阅读下载PDF 职称材料
2	点接触弹流润滑问题的高效直接算法	夏伯乾张美莹	《润滑与密封》 CAS CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
3	基于双高斯函数的一种高效鸟群优化算法	彭君君刘勇进	《现代电子技术》北大核心	2018	4	在线阅读下载PDF 职称材料
4	MapReduce模型下的模糊C均值算法研究	王永贵李鸿绪宋晓	《计算机工程》 CAS CSCD	2014	10	在线阅读下载PDF 职称材料
5	一种提取特征值的新型Systolic阵列算法	黄浴强伯涵	《西安电子科技大学学报》 EI CAS CSCD 北大核心	1994	0	在线阅读下载PDF 职称材料
6	基于高频信号注入的同步电机无传感器控制	杨红杨勇李生明	《组合机床与自动化加工技术》北大核心	2023	1	在线阅读下载PDF 职称材料
7	PBSV-DDM在电大尺寸柱体电磁散射中的应用	安翔吕志清洪伟崔铁军殷晓星	《应用科学学报》 CAS CSCD 北大核心	2005	5	在线阅读下载PDF 职称材料
8	基于视觉的压件形貌特征检测与研究	付泽民王志进熊鹏鹏	《制造技术与机床》北大核心	2021	1	在线阅读下载PDF 职称材料