期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
有界双层结构SH导波频散特性分析 被引量:4
1
作者 杨理践 吕瑞宏 +1 位作者 高松巍 刘斌 《沈阳工业大学学报》 EI CAS 北大核心 2016年第3期286-292,共7页
为了检测附着防腐层层状结构中是否存在剥离、孔洞等缺陷,利用超声SH导波研究层状结构频散特性的影响因素,基于弹性及粘弹性波动理论并依据Navier运动位移方程推导了附着防腐层双层结构的频散方程,并分析了防腐层剥离缺陷状态对频散特... 为了检测附着防腐层层状结构中是否存在剥离、孔洞等缺陷,利用超声SH导波研究层状结构频散特性的影响因素,基于弹性及粘弹性波动理论并依据Navier运动位移方程推导了附着防腐层双层结构的频散方程,并分析了防腐层剥离缺陷状态对频散特性的影响.结果表明:通过研究SH导波频散特性的变化可反映附着防腐层的双层结构是否存在剥离缺陷;防腐层产生剥离缺陷时,导波SH_0模态发生频散且向防腐层横波速度渐近.防腐层剥离缺陷尺寸增大,回波信号幅值增加,截点振动速度变慢,导波能量衰减减小. 展开更多
关键词 SH导波 频散特性 质点振动速度 防腐层厚度 有界双层结构 剥离缺陷 波动方程 粘弹性介质
在线阅读 下载PDF
三角范畴的有界t-结构与遗传Abel范畴 被引量:2
2
作者 刘宏锦 陈娟 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第3期305-307,共3页
研究三角范畴有界t-结构的心.证明了对于给定的三角范畴D的有界t-结构(D≤0,D≥0),如果对于D中任意的一个不可分解对象X,满足X∈D≤0,或者X∈D≥1,则此t-结构的心是遗传的.进一步地,得到了由遗传Abel范畴A的可裂挠对(T,F)导出的Db(A)上... 研究三角范畴有界t-结构的心.证明了对于给定的三角范畴D的有界t-结构(D≤0,D≥0),如果对于D中任意的一个不可分解对象X,满足X∈D≤0,或者X∈D≥1,则此t-结构的心是遗传的.进一步地,得到了由遗传Abel范畴A的可裂挠对(T,F)导出的Db(A)上有界t-结构的心也是遗传的Abel范畴. 展开更多
关键词 有界t-结构 遗传
在线阅读 下载PDF
由Recollement导出的t-结构的非退化性和有界性 被引量:1
3
作者 王忠梅 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第1期10-13,共4页
根据Beilinson A,Bernstein J,Deligne P的结论可知,若三个三角范畴允许有一个Recollement,则Recollement两端三角范畴上的t-结构可以诱导中间三角范畴上的一个t-结构.在这篇文章中讨论了这三个t-结构在非退化性和有界性上的联系.首先... 根据Beilinson A,Bernstein J,Deligne P的结论可知,若三个三角范畴允许有一个Recollement,则Recollement两端三角范畴上的t-结构可以诱导中间三角范畴上的一个t-结构.在这篇文章中讨论了这三个t-结构在非退化性和有界性上的联系.首先证明了两端三角范畴上的t-结构是非退化的当且仅当中间三角范畴上的t-结构是非退化的.其次证明了两端三角范畴上的t-结构是有界的当且仅当中间三角范畴上的t-结构是有界的.最后讨论了Recollement函子的t-正合性. 展开更多
关键词 三角范畴的Recoilement 三角范畴的t-结构 非退化t-结构 有界t-结构
在线阅读 下载PDF
新扩展强化非对称选择网的有界性与单调性 被引量:1
4
作者 宋文 伊良忠 牟行军 《西南交通大学学报》 EI CSCD 北大核心 2004年第5期656-659,共4页
根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然... 根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征. 展开更多
关键词 非对称选择网(AC网) 结构 活性单调性 结构有界
在线阅读 下载PDF
盒内无序结构的Voronoi网络
5
作者 王树禾 《中国科学技术大学学报》 CAS CSCD 北大核心 1996年第1期70-74,共5页
本文建立有边界的二维与三维无序结构的数学模型,证明了Voronoi网络的全萌性与无隙性定理,给出判定皮肤细胞核的有效算法,用数学方法解决有界Voronoi网络的结构问题.
关键词 有界无序结构 细胞核 Voronoi网络 完全图
在线阅读 下载PDF
压电超声SH导波管道测厚方法优化及系统设计
6
作者 杨慧泉 伍剑波 +5 位作者 夏慧 潘小凤 陈建 刘昭廷 罗阳 侯永宾 《应用声学》 CSCD 北大核心 2024年第5期1102-1112,共11页
为深入探究水平剪切(SH)波在有界平板中的传播特性,该研究从SH波的基本理论出发,根据无限大平板中传播的SH0波的非频散特性,开展有界平板结构中SH0波传播特性的仿真分析和实验验证。结果表明,在频厚积参数为3.0 MHzmm的激励条件下,有界... 为深入探究水平剪切(SH)波在有界平板中的传播特性,该研究从SH波的基本理论出发,根据无限大平板中传播的SH0波的非频散特性,开展有界平板结构中SH0波传播特性的仿真分析和实验验证。结果表明,在频厚积参数为3.0 MHzmm的激励条件下,有界平板结构中传播的SH0波能够保持优良的非频散特性。在此研究基础上,针对利用SH导波在测厚研究中存在的耦合效果不佳、回波信号杂乱等共性问题,借助平板型波导条设计了一套基于压电超声SH0导波的管道壁厚测量装置,并基于该测厚设备开展了管道壁厚检测实验。实验结果表明,所设计的“预固定”加“二次固定”耦合方法有效解决了耦合难题;基于该测厚装置提出了忽略首次回波信号的管道壁厚计算方法,该方法能够从原始回波信号中更加精确地计算出壁厚值,将测量值精度误差控制在0.05 mm以内。该文提出的研究方法为工业管道的壁厚检测和长期在线监测提供了新的解决思路,在工程实践中具有重要的参考价值和指导意义。 展开更多
关键词 有界平板结构 压电超声导波 SH波传播特性 管道壁厚检测
在线阅读 下载PDF
Petri网精细化操作及其在系统建模中的应用 被引量:3
7
作者 夏传良 陆维明 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第8期2070-2077,共8页
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精... 为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。 展开更多
关键词 PETRI网 精细化操作 结构有界 活性 系统建模
在线阅读 下载PDF
非对称选择网类共享子网合成及其在系统建模中的应用 被引量:1
8
作者 夏传良 《计算机科学》 CSCD 北大核心 2007年第6期274-278,288,共6页
为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri... 为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。 展开更多
关键词 PETRI网 合成 结构活性 结构有界 系统建模
在线阅读 下载PDF
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
9
作者 王培良 赵义军 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期48-51,共4页
对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.
关键词 最大速度恒定的连续Petri网 结构有界 守恒性 公平性 分解
在线阅读 下载PDF
一类Petri网系统的活性 被引量:6
10
作者 林贵献 陆维明 焦莉 《计算机学报》 EI CSCD 北大核心 2002年第8期883-889,共7页
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 ... Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 . 展开更多
关键词 PETRI网 活性 扩展非自控网 弱化非自控网 结构有界 离散事件系统
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部