期刊文献+
共找到66篇文章
< 1 2 4 >
每页显示 20 50 100
周期时变时滞非线性参数化系统的自适应学习控制 被引量:26
1
作者 陈为胜 王元亮 李俊民 《自动化学报》 EI CSCD 北大核心 2008年第12期1556-1560,共5页
针对一阶未知非线性参数化周期时变时滞系统,设计了一种自适应学习控制方案。假设未知时变参数,时变时滞和参考信号的共同周期是已知的,通过重构系统方程,将包含时变时滞在内的所有未知时变项合并成为一个周期时变向量,采用周期自适应... 针对一阶未知非线性参数化周期时变时滞系统,设计了一种自适应学习控制方案。假设未知时变参数,时变时滞和参考信号的共同周期是已知的,通过重构系统方程,将包含时变时滞在内的所有未知时变项合并成为一个周期时变向量,采用周期自适应律估计该向量.通过构造一个Lyapunov—Krasovskii型复合能量函数证明了所有信号有界并且跟踪误差收敛.结果被推广到一类含有混合参数的高阶非线性系统.通过两个仿真例子说明本文所提出的控制算法的有效性. 展开更多
关键词 学习控制 非线性参数化系统 时变时滞 复合能量函数
在线阅读 下载PDF
未知时变时滞非线性参数化系统自适应迭代学习控制 被引量:16
2
作者 李俊民 王元亮 李新民 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第6期861-868,共8页
针对含有未知时变参数和时变时滞的非线性参数化系统,提出了一种新的自适应迭代学习控制方法.该方法将参数分离技术与信号置换思想相结合,可以处理含有时变参数和时滞相关不确定性的非线性系统.设计了一种自适应控制策略,使跟踪误差的... 针对含有未知时变参数和时变时滞的非线性参数化系统,提出了一种新的自适应迭代学习控制方法.该方法将参数分离技术与信号置换思想相结合,可以处理含有时变参数和时滞相关不确定性的非线性系统.设计了一种自适应控制策略,使跟踪误差的平方在一个有限区间上的积分渐近收敛于零.通过构造Lyapunov-Krasovskii型复合能量函数,给出了闭环系统收敛的一个充分条件.给出两个仿真例子验证了控制方法的有效性. 展开更多
关键词 非线性参数化系统 自适应迭代学习控制 时变参数 时变时滞 复合能量函数
在线阅读 下载PDF
一类非线性参数化系统自适应重复学习控制 被引量:8
3
作者 孙云平 李俊民 李靖 《控制理论与应用》 EI CAS CSCD 北大核心 2009年第2期228-232,共5页
针对一类高阶非线性参数化系统,利用分段积分机制,提出了一种新的自适应重复学习控制方法.该方法结合反馈线性化,可以处理参数在一个未知紧集内周期性快时变的非线性系统,通过引进微分-差分混合型参数自适应律,设计了一种自适应控制策略... 针对一类高阶非线性参数化系统,利用分段积分机制,提出了一种新的自适应重复学习控制方法.该方法结合反馈线性化,可以处理参数在一个未知紧集内周期性快时变的非线性系统,通过引进微分-差分混合型参数自适应律,设计了一种自适应控制策略,使广义跟踪误差在误差平方范数意义下渐近收敛于零,通过构造Lyapunov泛函,给出闭环系统收敛的一个充分条件.实例仿真结果说明了该方法的可行性. 展开更多
关键词 非线性参数化系统 混合型参数 自适应控制 重复学习控制 LYAPUNOV泛函
在线阅读 下载PDF
非线性参数化系统自适应迭代学习控制 被引量:7
4
作者 王元亮 李俊民 孙云平 《控制工程》 CSCD 北大核心 2009年第5期594-597,共4页
研究一类含有未知时变参数的非线性参数化系统的学习控制问题。利用参数分离技术和信号置换思想,通过置换系统方程,合并所有时变参数为一个未知时变参数,用迭代自适应方法估计该未知参数,设计了一种自适应迭代学习控制方法,使得跟踪误... 研究一类含有未知时变参数的非线性参数化系统的学习控制问题。利用参数分离技术和信号置换思想,通过置换系统方程,合并所有时变参数为一个未知时变参数,用迭代自适应方法估计该未知参数,设计了一种自适应迭代学习控制方法,使得跟踪误差的平方在一个有限区间上的积分渐近收敛于零。通过构造一个类Lyapunov函数,给出了跟踪误差收敛和所有闭环系统信号有界的一个充分条件。仿真结果验证了该方法的有效性。 展开更多
关键词 非线性参数化系统 自适应迭代学习控制 时变参数 类Lyapunov函数
在线阅读 下载PDF
变厚齿轮RV减速器的参数化系统设计 被引量:2
5
作者 李瑰贤 柳长安 +3 位作者 吴俊飞 祁勇 龙少英 陈秀捷 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1999年第6期87-89,共3页
介绍了关于变厚齿轮RV 减速器的参数化设计系统. 首先,对该减速器的结构设计参数进行了优化,以增大刚度、减小体积为目标,采用内点惩罚函数法进行最优化处理. 其次,实现了参数化绘图,利用PICAD作为二次开发平台,完成... 介绍了关于变厚齿轮RV 减速器的参数化设计系统. 首先,对该减速器的结构设计参数进行了优化,以增大刚度、减小体积为目标,采用内点惩罚函数法进行最优化处理. 其次,实现了参数化绘图,利用PICAD作为二次开发平台,完成主要的零部件参量化图符. 最后,实现了性能计算,可以自动进行刚度、强度、效率等性能的计算. 该系统按改变原始设计参数,可快速地完成设计计算和绘制零件图,从而实现设计过程的自动化. 展开更多
关键词 变厚齿轮 RV减速器 结构优 参数化系统
在线阅读 下载PDF
一类非线性参数化系统的自适应学习控制 被引量:2
6
作者 孙云平 李俊民 王元亮 《系统工程与电子技术》 EI CSCD 北大核心 2008年第12期2442-2446,共5页
针对控制增益是未知时变的并含有混合未知参数的非线性参数化系统,利用将整个区间分段与反馈线性化相结合,提出了一种新的自适应学习控制方法。该方法可以处理参数在一个未知紧集内周期性快时变的非线性系统。通过引进新颖的微分-差分... 针对控制增益是未知时变的并含有混合未知参数的非线性参数化系统,利用将整个区间分段与反馈线性化相结合,提出了一种新的自适应学习控制方法。该方法可以处理参数在一个未知紧集内周期性快时变的非线性系统。通过引进新颖的微分-差分混合型参数自适应律,使广义跟踪误差在误差平方范数意义下渐近收敛于零。通过构造Lyapunov泛函,给出了广义跟踪误差收敛的充分条件。实例仿真结果说明了该方法的可行性和有效性。 展开更多
关键词 非线性参数化系统 自适应控制 学习控制 LYAPUNOV泛函
在线阅读 下载PDF
参数化系统二维抽象框架 被引量:1
7
作者 屈婉霞 庞征斌 +2 位作者 郭阳 李暾 杨晓东 《国防科技大学学报》 EI CAS CSCD 北大核心 2010年第1期95-100,共6页
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参... 针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 展开更多
关键词 参数化系统 模型检验 抽象 多处理机系统 CACHE一致性协议
在线阅读 下载PDF
一类非线性参数化系统的鲁棒自适应H_∞控制
8
作者 高芳征 尚艳玲 袁付顺 《安徽大学学报(自然科学版)》 CAS 北大核心 2011年第4期20-25,共6页
针对一类带有未知虚拟控制系数的非线性参数化系统,利用参数分离技术和Backstepp ing设计方法构造自适应H?控制器,使闭环系统的干扰输入在L2增益下对系统输出的影响任意小,且无外扰时,系统内稳.仿真例子验证了主要结论.
关键词 非线性参数化系统 干扰衰减 自适应 BACKSTEPPING
在线阅读 下载PDF
参数化系统二维抽象的理论基础
9
作者 庞征斌 屈婉霞 +1 位作者 郭阳 杨晓东 《计算机科学》 CSCD 北大核心 2011年第4期295-298,共4页
模型之间的等价关系和抽象模型的性质保持是保证验证正确的必要条件,参数化系统二维抽象从构成系统状态空间的二维方向分别进行抽象,证明了此抽象方法的正确性和合理性,即TDA模型与原始模型存在模拟关系,而且在TDA模型中成立的只对单个... 模型之间的等价关系和抽象模型的性质保持是保证验证正确的必要条件,参数化系统二维抽象从构成系统状态空间的二维方向分别进行抽象,证明了此抽象方法的正确性和合理性,即TDA模型与原始模型存在模拟关系,而且在TDA模型中成立的只对单个变量进行全称量化的单索引ACTL*公式,在任意规模的原始模型中也成立,为简化参数化系统验证提供了理论依据。 展开更多
关键词 参数化系统验证 二维抽象 模拟 性质保持
在线阅读 下载PDF
参数化系统安全性的启发式符号验证
10
作者 杨秋松 李明树 《软件学报》 EI CSCD 北大核心 2009年第6期1444-1456,共13页
参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upwa... 参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upward-closed)集合表示的安全性(safety property).与有限状态系统验证相类似,参数化系统的验证同样也面临着状态爆炸(state explosion)问题,并且模型检测算法的有效性依赖于如何采用有效的数据结构表示状态集合.针对表示无穷状态的向上封闭集合,研究人员提出了多种基于约束(constraint-based)的符号表示方法.但这些方法依然面临着符号状态爆炸(symbolic state explosion)问题或者其包含判定问题,即判断一个约束条件集合符号化表示的实际状态集合是否为另一约束条件集合所对应的状态集合的子集,是Co-NP完全问题.因此,虽然有限状态验证技术能够验证一些具有一定规模的问题,但现有针对参数化系统的验证方法所能解决的问题的规模较为有限,需要近一步提高模型检测算法的效率.针对参数化系统提出了加快反向可达性分析的多个启发式规则,实验结果表明,这些启发式规则可以使算法的效率提高几个数量级,从而有助于解决现有参数化系统验证方法所存在的问题. 展开更多
关键词 参数化系统 安全性 向上封闭集合 启发式搜索 符号验证
在线阅读 下载PDF
参数化系统设计 被引量:8
11
作者 张志群 常明 刘雯林 《计算机工程与应用》 CSCD 北大核心 2002年第7期130-132,150,共4页
该文结合工程实际,根据参数化设计理论设计开发出参数化系统,提出了支持参数化设计的数据结构,参数化设计中的参数等级划分的概念及参数化图形分级降解、递归处理的方法,解决了系统开发过程中的一些问题,并对传统的参数化系统设计方案... 该文结合工程实际,根据参数化设计理论设计开发出参数化系统,提出了支持参数化设计的数据结构,参数化设计中的参数等级划分的概念及参数化图形分级降解、递归处理的方法,解决了系统开发过程中的一些问题,并对传统的参数化系统设计方案做了改进。 展开更多
关键词 参数等级划分 分级降解 图组 参数化系统设计 CAD 计算机辅助设计
在线阅读 下载PDF
面向参数化系统验证的自动抽象方法 被引量:1
12
作者 张龙 屈婉霞 +1 位作者 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第6期991-998,共8页
针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,然后通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后根据定义的谓词对参数化系统进行X-抽... 针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,然后通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后根据定义的谓词对参数化系统进行X-抽象得到二维抽象模型.运用该方法,对基于Synapse N+1,Illinois,MESI,MOESI,Berkeley,Firefly和Dragon的7个参数化协议和注入错误的MESI协议进行自动化抽象建模,并验证了相关性质,有效地提升了验证参数化系统的能力、缩短了验证时间;应用文中方法验证FT-1000CPU的一致性协议的结果表明,该方法在降低验证复杂度方面具有明显优势. 展开更多
关键词 参数化系统 模型检验 二维抽象 有限状态机
在线阅读 下载PDF
山岭隧道参数化断面正向设计BIM系统研发
13
作者 陈朋亮 杨明超 +1 位作者 吴佳明 柏华军 《铁道标准设计》 北大核心 2025年第3期197-206,共10页
针对公路山岭隧道工程,为解决设计人员无法正向参数化创建隧道BIM建模所需衬砌模板的问题,进一步提高隧道衬砌断面设计效率与质量,实现精细化设计和动态交互修改的目标,结合隧道衬砌断面设计流程与习惯,梳理相关构件参数约束逻辑关系,... 针对公路山岭隧道工程,为解决设计人员无法正向参数化创建隧道BIM建模所需衬砌模板的问题,进一步提高隧道衬砌断面设计效率与质量,实现精细化设计和动态交互修改的目标,结合隧道衬砌断面设计流程与习惯,梳理相关构件参数约束逻辑关系,简化约束控制参数,提出基于中心数据库的隧道衬砌断面参数化正向设计方法,基于国产图形引擎“GDMP”,利用C++API接口进一步研发了“隧道参数化断面设计系统”,在设计过程中进行交互计算,快速辅助设计人员确定设计参数并完成二三维设计成果。依托义龙庆高速(丽水段)工程,基于此系统和方法进行项目施工图设计应用,实际应用结果表明,该方法符合设计习惯和流程,能够有效辅助设计人员快速完成隧道衬砌断面设计以及二维出图与工程量统计,其成果经验证满足项目交付要求。通过对比,相对于传统二维设计提升设计效率约15%,其成果可被直接调用进行后续隧道三维建模,为隧道全面正向设计奠定基础。 展开更多
关键词 山岭隧道 BIM建模 GDMP 参数断面设计系统 二维出图 工程量统计
在线阅读 下载PDF
参数化微机拉深模 CAD 系统 被引量:1
14
作者 李云江 栾贻国 孙胜 《机械设计与制造》 北大核心 1998年第1期16-17,共2页
本文针对我国中小型企业模具设计的现状,提出了一种开发模式,即基于微机开发实用的参数化拉深模CAD系统。并阐述了系统的功能、结构及实现的方法。
关键词 拉深 模具 CAD 程序设计 参数化系统
在线阅读 下载PDF
非线性参数化时变时滞系统自适应迭代学习控制 被引量:3
15
作者 李俊民 《数学物理学报(A辑)》 CSCD 北大核心 2011年第3期682-690,共9页
针对含有未知时变参数和时变时滞的非线性参数化系统,提出了一种新的自适应迭代学习控制方法.该方法将参数分离技术与信号置换思想相结合,可以处理含有时变参数和时滞不确定性的非线性系统.设计了一种自适应控制策略,使跟踪误差的平方... 针对含有未知时变参数和时变时滞的非线性参数化系统,提出了一种新的自适应迭代学习控制方法.该方法将参数分离技术与信号置换思想相结合,可以处理含有时变参数和时滞不确定性的非线性系统.设计了一种自适应控制策略,使跟踪误差的平方在一个有限区间上的积分渐近收敛于零.通过构造Lyapunov-Krasovskii型复合能量函数,给出了闭环系统收敛的一个充分条件.给出仿真例子验证了控制方法的有效性. 展开更多
关键词 非线性参数化系统 自适应迭代学习控制 时变参数 时变时滞 复合能量函数
在线阅读 下载PDF
产品级三维参数化设计系统的研究与开发 被引量:72
16
作者 王峰 俞新陆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第11期1012-1018,共7页
发展新产品的快速设计和制造能力是当前企业所面临的重大课题 ,其核心是如何保证“企业产品知识”的良性积累和有效再利用 .文中深入分析了现有相关技术的不足 ,提出并研究了产品级三维参数化设计技术和全息建模技术 ,在 MDT平台上进行... 发展新产品的快速设计和制造能力是当前企业所面临的重大课题 ,其核心是如何保证“企业产品知识”的良性积累和有效再利用 .文中深入分析了现有相关技术的不足 ,提出并研究了产品级三维参数化设计技术和全息建模技术 ,在 MDT平台上进行了系统实现 .该系统已在多家企业得到深入应用 ,能够有效地满足企业对新产品快速设计和产品知识积累的需求 . 展开更多
关键词 产品级三维参数设计系统 CAD 机械设计
在线阅读 下载PDF
PADS──一个基于几何推理的参数化设计系统 被引量:11
17
作者 高曙明 陈正鸣 彭群生 《计算机辅助设计与图形学学报》 EI CSCD 1995年第2期123-129,共7页
PADS是一个基于几何推理的参数化设计系统。该系统采用一面向对象的数据模型统一表示几何元素与几何约束;基于一个普通算法实现几何推理,并且推理算法采用了一个更加适合于几何推理的推理策略;系统的参数变动处理通过局部的几何... PADS是一个基于几何推理的参数化设计系统。该系统采用一面向对象的数据模型统一表示几何元素与几何约束;基于一个普通算法实现几何推理,并且推理算法采用了一个更加适合于几何推理的推理策略;系统的参数变动处理通过局部的几何推理,将尺寸变动后的重新计算限制在局部范围;为减轻用户的输入负担,系统具备几种有效的输入与建模手段。 展开更多
关键词 几何推理 参数设计系统 绘图系统
在线阅读 下载PDF
基于SolidWorks零件曲线参数化设计系统的研究 被引量:6
18
作者 秦燕 黄琼涛 +1 位作者 张荣强 李霜 《机械设计》 CSCD 北大核心 2015年第1期114-119,共6页
为提高产品的设计效率,利用参数化设计的方法可快速生成不同规格的类似产品,缩短产品的开发周期。从美式家具零件曲线入手,分析了美式床类和椅类家具零件曲线的造型特征,探讨了其与数学曲线的关联性,采用数学曲线模拟的方法,以VB为编程... 为提高产品的设计效率,利用参数化设计的方法可快速生成不同规格的类似产品,缩短产品的开发周期。从美式家具零件曲线入手,分析了美式床类和椅类家具零件曲线的造型特征,探讨了其与数学曲线的关联性,采用数学曲线模拟的方法,以VB为编程语言,对SolidWorks进行二次开发,建立了一套美式家具零件曲线参数化设计系统,并以余弦曲线模拟零件曲线的实例进一步论证了系统的可行性。该系统能够较大程度减少设计师的工作量,满足快速响应客户的设计要求。 展开更多
关键词 工业设计 参数设计系统 二次开发 SOLIDWORKS VISUAL Basic 数学曲线
在线阅读 下载PDF
参数化控制系统中推理机的研制 被引量:4
19
作者 谈理 刘谨 梅丽婷 《机械科学与技术》 CSCD 北大核心 2006年第4期430-433,共4页
为了促进机电一体化设备的推广使用,有必要研制对机械手及其它自动化机械的参数化控制系统。本文介绍了具有八路输入和八路输出的微型工控机参数化控制系统的组成和功能,并重点介绍了参数化控制系统中推理机的工作原理和搜索策略。
关键词 参数控制系统 人工智能 推理机 搜索策略
在线阅读 下载PDF
组合机床通用部件参数化绘图系统设计 被引量:3
20
作者 孙建军 李玉翔 肖放 《天津工业大学学报》 CAS 2001年第5期48-49,共2页
针对组合机床设计过程中通用部件的图形绘制 ,给出了组合机床通用部件参数化绘图系统的设计方案 。
关键词 组合机床 参数绘图系统 CAD 通用部件 设计
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部