期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到190篇文章
< 1 2 … 10 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
USBCAN总线转换设备在Stateflow下的建模和仿真
1
作者 刘和平 伍元彪 张毅 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第9期35-40,共6页
USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设... USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设备运行状态进行仿真验证,实现了USBCAN总线转换设备运行状态的验证,提出了一种新的总线转换设备的仿真和验证方法。 展开更多
关键词 有限状态机 状态迁移图 仿真 USB CAN stateFLOW Matlab
在线阅读 下载PDF
基于故障逻辑的民机液压状态监控与故障诊断 被引量：1
2
作者 冯蕴雯 潘维煌 +1 位作者 路成 刘佳奇 《系统工程与电子技术》 北大核心 2025年第3期842-854,共13页
当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移... 当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移学习模型,用于故障诊断与定位,以提升状态监控能力与故障诊断效率。首先,分析液压系统原理,依据机组操作手册(flight crew operating manual,FCOM)额定参数与监测数据建立运行监控指标,采用决策树模型监控液压系统的运行状态;随后通过故障形成条件梳理成逻辑图,结合逻辑图的输入信号参数采集快速存取记录器(quick access recorder,QAR)数据,开发迁移学习模型实现故障诊断与定位。最后以某型国产民机液压低压故障为例,验证了所提方法的应用效果。结果表明,该运行状态监控方法能有效量化液压系统状态,故障诊断方法则能高效识别故障原因。 展开更多
关键词 状态监控 故障诊断与定位 逻辑图 监测参数 迁移学习
在线阅读 下载PDF
基于第一性原理和热力学计算的TiAl-Nb金属间化合物稳定性和相关系研究
3
作者 汪文洋 徐勇 +4 位作者 田彬 甘信柱 王志刚 梁永锋 林均品 《原子与分子物理学报》 CAS 北大核心 2025年第5期151-162,共12页
采用基于广义梯度近似密度泛函理论的第一性原理计算和相图计算方法,研究了TiAl-Nb合金中γ、α_(2)、O_(2)和ωo相的热力学和力学性质以及相转变关系.研究表明,第一性原理计算得到的化合物相的参数是准确的,且分析结果与相图计算结果... 采用基于广义梯度近似密度泛函理论的第一性原理计算和相图计算方法,研究了TiAl-Nb合金中γ、α_(2)、O_(2)和ωo相的热力学和力学性质以及相转变关系.研究表明,第一性原理计算得到的化合物相的参数是准确的,且分析结果与相图计算结果相一致.四个化合物相都是能够稳定存在的相.通过热力学和力学性质的分析,发现α_(2)相更容易转变为O_(2)相,并且在一定条件下可以通过相变反应生成ωo相.而γ相更容易转变为ωo相,但无法生成O_(2)相. 展开更多
关键词 TIAL合金 第一性原理 相图 声子谱及态密度 热力学性质
在线阅读 下载PDF
光波导中的一维拓扑无硬币态量子行走
4
作者 蒙雅 《量子电子学报》 北大核心 2025年第2期217-228,共12页
本文在光波导中利用波导间的直接耦合实现了一维无硬币态的离散时间量子行走,得到了系统的拓扑相图,并研究了其在拓扑边界态影响下的动力学演化行为。结果表明,当行走空间为偶数格点时,存在三种不同的拓扑相,对应系统中会出现能量为0、... 本文在光波导中利用波导间的直接耦合实现了一维无硬币态的离散时间量子行走,得到了系统的拓扑相图,并研究了其在拓扑边界态影响下的动力学演化行为。结果表明,当行走空间为偶数格点时,存在三种不同的拓扑相,对应系统中会出现能量为0、能量为π、能量为0和π同时存在的拓扑边界态;当行走空间为奇数格点时,存在两种不同的拓扑相,对应系统中会出现能量为0、能量为0和π同时存在的拓扑边界态。通过选取合适的参数和初始行走位置,可以使粒子在行走过程中始终局域在边界上或在边界处的两个格点上来回振荡。粒子在行走过程中的这种局域化行为,为实现无损的量子态传输和量子信息传输提供了一种可行性方案。 展开更多
关键词 量子光学 光波导 无硬币态离散时间量子行走 拓扑相图 拓扑边界态 动力学演化
在线阅读 下载PDF
基于强化学习的铁路列车运行图编制与优化研究综述
5
作者 陈昂扬 范家铭 +3 位作者 徐辉章 齐昕 李博 张新 《铁道运输与经济》 北大核心 2025年第11期36-51,共16页
列车运行图编制是铁路运输组织的核心决策问题,与强化学习中马尔可夫决策过程建模具有内在适配性。首先从理论层面论证强化学习应用于编图任务的可行性和优劣势,总结研究过程需要解决的组件设计、算法设计等关键问题;通过对既有文献进... 列车运行图编制是铁路运输组织的核心决策问题,与强化学习中马尔可夫决策过程建模具有内在适配性。首先从理论层面论证强化学习应用于编图任务的可行性和优劣势,总结研究过程需要解决的组件设计、算法设计等关键问题;通过对既有文献进行调研,认为目前研究仍处于探索阶段;在核心组件层面,归纳提出5类状态空间设计方式以及要素变更、过程控制、编图动作等动作空间设计方式,给出基于问题特性的神经网络模型和强化学习算法匹配推荐方案;在技术层面,分析目前面临的高维状态空间表征和多维组合空间探索等挑战和突破路径;最后从行业视角展望未来的技术趋势和发展方向,可为后续研究的建模方式、技术方案和行业落地提供系统性参考。 展开更多
关键词 列车运行图编制 强化学习 马尔可夫决策过程 状态空间 动作空间
在线阅读 下载PDF
基于UML状态图的类测试用例自动生成方法 被引量：23
6
作者 张毅坤 施凤鸣 +2 位作者 姚全珠 刘军 付长龙 《计算机工程》 CAS CSCD 北大核心 2003年第21期91-93,共3页
UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出... UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML 状态图的类的测试用例自动生成方法。 展开更多
关键词 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出
在线阅读 下载PDF
不同配方面包制品的核磁共振状态图的研究 被引量：11
7
作者 林向阳 阮榕生 +3 位作者 陈卫江 张锦胜 刘玉环 饶平凡 《食品科学》 EI CAS CSCD 北大核心 2006年第10期210-214,共5页
利用“NMR状态图概念”研究面包老化的动力学,利用NMR状态图可以分别求出它们的Tg,它们的值在-17℃到-19℃之间。添加三种不同天然食品添加剂对面包的Tg没有太大的变化。实验研究了大豆蛋白粉、木薯预糊化淀粉和大豆纤维三种不同天然食... 利用“NMR状态图概念”研究面包老化的动力学,利用NMR状态图可以分别求出它们的Tg,它们的值在-17℃到-19℃之间。添加三种不同天然食品添加剂对面包的Tg没有太大的变化。实验研究了大豆蛋白粉、木薯预糊化淀粉和大豆纤维三种不同天然食品添加剂对NMR状态图中的影响效果。从NMR状态图可以得知:添加三种不同天然食品添加剂对它们的Tg、T2、KBT和KPT都有作用,其中添加大豆蛋白和木薯预糊化淀粉能明显减低面包状态图的T2、KBT和KPT,说明添加大豆蛋白和木薯预糊化淀粉能促进面包中水分的结合方式;而添加大豆纤维只减低面包状态图的KBT和KPT,反而增加了T2,水分活度较高不利于面包的保藏。 展开更多
关键词 核磁共振状态图 不同配方 面包制品 TG KBT KPT
在线阅读 下载PDF
芒果玻璃化转变与状态图研究 被引量：12
8
作者 赵金红 朱明慧 +3 位作者 温馨 姜云栋 康佳琪 倪元颖 《农业机械学报》 EI CAS CSCD 北大核心 2015年第4期226-232,共7页
研究了25℃下芒果的吸附等温线,实验数据采用GAB模型进行非线性拟合,结果表明芒果的吸附等温线呈'J'型,其单分子层干基含水率为0.107 g/g。芒果的状态图由冻结曲线、玻璃化转变温度曲线和最大冻结浓缩状态组成,其中冻结温度和... 研究了25℃下芒果的吸附等温线,实验数据采用GAB模型进行非线性拟合,结果表明芒果的吸附等温线呈'J'型,其单分子层干基含水率为0.107 g/g。芒果的状态图由冻结曲线、玻璃化转变温度曲线和最大冻结浓缩状态组成,其中冻结温度和玻璃化转变温度由差示扫描量热仪(DSC)测量得到。冻结温度和玻璃化转变温度的实验数据,分别采用Clausius-Clapeyron方程和Gordon-Taylor方程进行非线性拟合。实验结果显示,最大冻结浓缩状态时的固形物湿基质量分数为84%,在此状态下的玻璃化转变温度为-52.9℃。状态图的建立能够预测芒果贮藏过程的稳定性,并且能够提供最适干燥或冷冻加工条件。 展开更多
关键词 芒果 玻璃化转变 状态图 差示热量扫描仪
在线阅读 下载PDF
糖类对南美白对虾肉玻璃化转变温度与状态图的影响 被引量：11
9
作者 石启龙 赵亚 +1 位作者 曹淑敏 张晶晶 《农业机械学报》 EI CAS CSCD 北大核心 2015年第11期236-244,共9页
为提高南美白对虾肉(PV)的贮藏稳定性,研究了蔗糖、菊糖和海藻糖对PV玻璃化转变温度(Tg)与状态图的影响。采用静态称量法研究了25℃下PV和按虾肉质量添加10%蔗糖(PV-S)、10%菊糖(PV-I)和10%海藻糖虾肉(PV-T)的吸附等温线。采用差示扫描... 为提高南美白对虾肉(PV)的贮藏稳定性,研究了蔗糖、菊糖和海藻糖对PV玻璃化转变温度(Tg)与状态图的影响。采用静态称量法研究了25℃下PV和按虾肉质量添加10%蔗糖(PV-S)、10%菊糖(PV-I)和10%海藻糖虾肉(PV-T)的吸附等温线。采用差示扫描量热法分析了PV、PV-S、PV-I与PV-T的Tg和冻结点温度(TF)。分别采用Gordon-Taylor方程和Clausias-Clapeyron方程拟合Tg与TF数据,构建了虾肉的状态图,探讨了添加糖类对PV的Tg与状态图的影响。结果表明,PV、PV-S、PV-I与PV-T的水分吸附等温线呈III型,GAB模型为描述PV、PV-S、PV-I与PV-T水分吸附特性的最适模型。PV、PV-S、PV-I与PV-T的平衡含水率随着水分活度aw的增大而增大。aw一定时,平衡含水率随着糖类添加而降低。添加糖类降低了PV的单分子层含水率。PV、PV-S、PV-I与PV-T的Tg随着含水率增加而降低。相同aw时,Tg值高低顺序依次为PV-I、PV-T、PV-S、PV。根据状态图,PV、PV-S、PV-I和PV-T的最大冷冻浓缩溶液时的玻璃化转变温度T'g分别为-71.35、-64.76、-58.36、-59.36℃,与之对应的溶质含量分别为73.2%、73.4%、72.6%、73.4%,即非冻结含水率分别为26.8%、26.6%、27.4%、26.6%。添加糖类尤其是菊糖与海藻糖能显著提高南美白对虾肉的贮藏稳定性,延长其货架期。 展开更多
关键词 南美白对虾 糖类 吸附等温线 玻璃化转变温度 状态图
在线阅读 下载PDF
基于状态图的测试路径自动生成 被引量：9
10
作者 李鹏 彭祥伟 +2 位作者 周喜 董军 代四广 《计算机工程》 CAS CSCD 北大核心 2011年第2期25-26,29,共3页
提出一种基于状态图的测试路径自动生成算法,该算法从状态图的初始状态到终止状态进行遍历,可以得到一组路径,由该组路径生成的测试用例集可满足状态图的转移覆盖测试准则。根据循环复杂度,对路径集的总长度进行优化,从而减少测试用例... 提出一种基于状态图的测试路径自动生成算法,该算法从状态图的初始状态到终止状态进行遍历,可以得到一组路径,由该组路径生成的测试用例集可满足状态图的转移覆盖测试准则。根据循环复杂度,对路径集的总长度进行优化,从而减少测试用例数量。实验结果表明,该算法有效可行,在实际应用中能够取得良好的效果。 展开更多
关键词 状态图 测试准则 转移路径
在线阅读 下载PDF
核磁共振技术对食品玻璃化及玻璃化转变温度的研究 被引量：6
11
作者 钱菲 张锦胜 +3 位作者 金志强 刘玉环 林向阳 阮榕生 《食品科学》 EI CAS CSCD 北大核心 2008年第8期666-669,共4页
本文综述了核磁共振技术(NMR)测定玻璃化转变温度的原理和一些实际应用的例子,以及NMR状态图的概念及其在食品玻璃化转变和转变前后食品理化性质变化的研究中的应用。
关键词 核磁共振 玻璃化转变 玻璃化转变温度 核磁共振状态图
在线阅读 下载PDF
花生壳/仁的吸附等温线与热力学特性 被引量：14
12
作者 赵亚 张平平 石启龙 《食品科学》 EI CAS CSCD 北大核心 2017年第7期55-62,共8页
为了解花生壳与花生仁的含水率、水分活度(a_w)与温度的关系,提高花生的贮藏稳定性。研究花生壳与花生仁在10、20、30℃时的吸附等温线;探讨花生壳与花生仁的净等量吸附热(q_(st))、微分熵(S_d)、扩张压力、积分熵、积分焓、熵-焓互补... 为了解花生壳与花生仁的含水率、水分活度(a_w)与温度的关系,提高花生的贮藏稳定性。研究花生壳与花生仁在10、20、30℃时的吸附等温线;探讨花生壳与花生仁的净等量吸附热(q_(st))、微分熵(S_d)、扩张压力、积分熵、积分焓、熵-焓互补、玻璃化转变温度(T_g)等热力学特性。结果表明,花生壳与花生仁的水分吸附呈Ⅲ型等温线。温度一定时,花生壳与花生仁的干基含水率随a_w增加而增加。描述花生壳与花生仁吸附特性的最适模型为GAB模型。花生壳与花生仁的q_(st)与S_d均随含水率增加而降低。扩张压力随a_w增加而升高,但随温度升高而降低。积分焓随含水率增加而降低,而积分熵随含水率增加而升高。花生壳的q_(st)和S_d均高于花生仁,而同一温度条件下花生仁的扩张压力高于花生壳。含水率相同时,花生仁积分焓低于花生壳,而花生仁的积分熵则高于花生壳。花生壳与花生仁水分吸附过程均为焓驱动、自发过程。花生壳与花生仁的T_g随含水率增加而降低,相同含水率时,花生壳的T_g值高于花生仁。根据状态图得到温度为10℃时,花生壳与花生仁的临界水分活度与临界含水率分别为0.80、0.175 4 g/g与0.68、0.095 5 g/g。研究结果可为花生干制工艺及其干制品贮藏稳定性提供理论依据。 展开更多
关键词 花生 吸附等温线 热力学性质 玻璃化转变温度 状态图
在线阅读 下载PDF
基于状态图和数据库技术的仓库管理软件算法 被引量：6
13
作者 赵炯 张树京 +1 位作者 熊肖磊 周奇才 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第4期483-489,共7页
介绍了自动化立体仓库中各种出入库方式的分类和分层结构模式 ,着重给出一种基于状态图和数据库表的出入库管理软件及其算法 ,其中包含了所有各种出入库操作方式 ,并给出了立体仓库货位货箱的一种数据库通用表示方法 .经实际使用证明 ,... 介绍了自动化立体仓库中各种出入库方式的分类和分层结构模式 ,着重给出一种基于状态图和数据库表的出入库管理软件及其算法 ,其中包含了所有各种出入库操作方式 ,并给出了立体仓库货位货箱的一种数据库通用表示方法 .经实际使用证明 ,所提出的软件算法是灵活有效的 . 展开更多
关键词 状态图 数据库 仓库管理软件 算法 自动化立体仓库系统
在线阅读 下载PDF
冻干扇贝肉玻璃化转变温度与状态图研究 被引量：5
14
作者 石启龙 林雯雯 +1 位作者 赵亚 韩爱琴 《农业机械学报》 EI CAS CSCD 北大核心 2014年第8期225-230,共6页
采用静态称量法研究了25℃下冻干扇贝肉(包括纯扇贝肉(PS)和按总固形物质量分数添加5%麦芽糊精的扇贝肉(PS-MD))的吸附等温线;采用差示扫描量热法测定了PS和PS-MD的玻璃化转变温度Tg和冻结点温度TF。分别采用Gordon-Taylor方程和Clausiu... 采用静态称量法研究了25℃下冻干扇贝肉(包括纯扇贝肉(PS)和按总固形物质量分数添加5%麦芽糊精的扇贝肉(PS-MD))的吸附等温线;采用差示扫描量热法测定了PS和PS-MD的玻璃化转变温度Tg和冻结点温度TF。分别采用Gordon-Taylor方程和Clausius-Clapeyron方程拟合Tg和TF数据,构建扇贝肉的状态图,探讨添加麦芽糊精(MD)对扇贝肉贮藏稳定性的影响。结果表明,扇贝肉的水分吸附等温线呈J型,描述扇贝肉水分吸附特性的适宜模型为GAB模型。扇贝肉的平衡干基含水率随水分活度aw的增加而增加。aw一定时,平衡干基含水率随MD添加而降低,尤其是当aw>0.62时更明显。添加MD降低了扇贝肉的GAB单分子层干基含水率,其值由0.082 2 g/g降低至0.0716 g/g。扇贝肉的Tg随含水率升高而降低,PS湿基含水率由2.81%增加至21.96%时,Tg由-4.25℃降低至-60.92℃;PS-MD湿基含水率由2.11%增加至19.72%时,Tg由1.32℃降低至-51.41℃。扇贝肉的TF随着固形物含量的增加而降低。根据扇贝肉的状态图,PS和PS-MD最大冷冻浓缩溶液时的玻璃化转变温度T'g分别为-70.99℃和-54.58℃,与之对应的溶质含量分别为76.7%和82.0%,非冻结水含量分别为23.3%和18.0%。 展开更多
关键词 扇贝 麦芽糊精 吸附等温线 玻璃化转变温度 状态图
在线阅读 下载PDF
用有限状态图来识别系统入侵 被引量：14
15
作者 胡睿 张冬茉 杜蓬 《计算机工程与应用》 CSCD 北大核心 2001年第20期81-84,共4页
文章首先对系统入侵的状态转换进行了研究,通过使用有限状态图的分析方法,分析识别了常见黑客攻击的特征,包括ROOT用户攻击、TCPSYNFLOODING、IP分片攻击等等;最后根据对系统入侵的状态转换图的研究和对攻击特征的分析设计了一个入侵检... 文章首先对系统入侵的状态转换进行了研究,通过使用有限状态图的分析方法,分析识别了常见黑客攻击的特征,包括ROOT用户攻击、TCPSYNFLOODING、IP分片攻击等等;最后根据对系统入侵的状态转换图的研究和对攻击特征的分析设计了一个入侵检测系统。 展开更多
关键词 系统入侵 有限状态图 网络安全 防火墙 入侵检测系统 计算机网络
在线阅读 下载PDF
赤藓糖醇对南美白对虾肉玻璃化转变温度与状态图的影响 被引量：4
16
作者 赵亚 张平平 +1 位作者 王淑敏 石启龙 《食品工业科技》 CAS CSCD 北大核心 2016年第20期317-321,共5页
南美白对虾肉(PV)冻藏期间极易出现蛋白质变性,为提高虾肉贮藏稳定性,研究了PV与按虾肉质量添加5%赤藓糖醇的虾肉(PV-E)的吸附等温线;测定了PV与PV-E的玻璃化转变温度(Tg)和冻结点温度(TF)。采用Gordon-Taylor方程与Chen’s方程拟合数据... 南美白对虾肉(PV)冻藏期间极易出现蛋白质变性,为提高虾肉贮藏稳定性,研究了PV与按虾肉质量添加5%赤藓糖醇的虾肉(PV-E)的吸附等温线;测定了PV与PV-E的玻璃化转变温度(Tg)和冻结点温度(TF)。采用Gordon-Taylor方程与Chen’s方程拟合数据,探讨添加赤藓糖醇对虾肉状态图的影响。结果表明,PV与PV-E水分吸附均为III型等温线,GAB模型为描述虾肉水分吸附特性的最适模型。PV与PV-E的Tg随着湿基含水率升高而降低;相同含水率时,PV-E的Tg高于PV。PV与PV-E的TF随着固形物含量的增加而降低。PV与PV-E最大冷冻浓缩溶液时的玻璃化转变温度T'g分别为-77.09℃和-62.23℃,与之对应的溶质含量分别为0.672 g/g和0.686 g/g。赤藓糖醇可作为一种新型抗冻剂,用于提高虾肉冻藏期间的贮藏稳定性。 展开更多
关键词 赤藓糖醇 南美白对虾 玻璃化转变温度 状态图 贮藏稳定性
在线阅读 下载PDF
基于UML状态图测试的充分性准则 被引量：11
17
作者 占学德 缪淮扣 《计算机科学》 CSCD 北大核心 2005年第5期230-235,共6页
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这... 本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。 展开更多
关键词 UML状态图 充分性 覆盖准则 测试用例 包含关系 图生成 循环 执行
在线阅读 下载PDF
HTTP协议流解析系统的设计与实现 被引量：7
18
作者 赵章界 余智华 张丙奇 《计算机工程》 CAS CSCD 北大核心 2005年第24期38-40,46,共4页
在分析了理想的HTTP协议和现实的HTTP流的差别前提下,利用状态转换图的方法设计和实现了一个在真实大流量实时环境下的HTTP协议流解析系统,并且给出其中的关键技术。
关键词 HTTP 协议 解析 状态转换图
在线阅读 下载PDF
焊接机器人的试验模态分析 被引量：6
19
作者 赵言正 刘积昊 +1 位作者 管恩广 李培兴 《中国测试》 CAS 北大核心 2021年第11期64-68,100,共6页
模态分析是了解焊接机器人整机稳定性和可靠性的重要基础。该文基于试验模态分析方法,对焊接机器人的大臂、小臂关节、小臂及整机进行实验模态研究。首先,建立机械人手臂及整机的测点模型,对其进行测力法实验,基于动态信号测试分析系统... 模态分析是了解焊接机器人整机稳定性和可靠性的重要基础。该文基于试验模态分析方法,对焊接机器人的大臂、小臂关节、小臂及整机进行实验模态研究。首先,建立机械人手臂及整机的测点模型,对其进行测力法实验,基于动态信号测试分析系统进行数据采集,并得到频响函数数据;然后,利用采集到的振动数据,运用多参考点最小二乘复频域法(PolyLSCF)对得到频响函数数据进行参数识别,得到焊接机器人的前十阶模态频率均在200 Hz以内。最后,利用模态判定准则(MAC值)对测试得到的焊接机器人的模态进行分析,模态分析结果表明测试得到的各阶模态具有较高的可信度。该研究结果为焊接机器人的结构特性分析、振动故障诊断和预报以及动力特性的优化设计提供依据。 展开更多
关键词 焊机机器人 试验模态分析法 多参考点最小二乘复频域法 稳态图
在线阅读 下载PDF
UML 2.0的形式化语义研究 被引量：4
20
作者 张广泉 戎玫 黄正宝 《南京邮电大学学报（自然科学版）》 EI 2007年第3期39-43,共5页
由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模... 由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。 展开更多
关键词 线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 10 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部