检索结果-内蒙古大学图书馆

自动化应用 2025年第3期66卷 232-236页

作者：潘仁秋贾建梅谢俊夏国强张曼宋晓健牛洪海南京南瑞继保电气有限公司江苏南京211102

针对轨道交通电气设计领域存在设备配置重复工作的问题,设计了一套基于EPLAN的设备配置转换系统。着重介绍了一种基于EPLAN的API接口对可视化编程工具的配置文本进行解析和转换功能开发的方法。该方法实现了EPLAN与可视化编程工具的接... 详细信息

针对轨道交通电气设计领域存在设备配置重复工作的问题,设计了一套基于EPLAN的设备配置转换系统。着重介绍了一种基于EPLAN的API接口对可视化编程工具的配置文本进行解析和转换功能开发的方法。该方法实现了EPLAN与可视化编程工具的接口融合,通过工程应用验证,提升了项目整体实施的正确率与效率。

关键词： EPLAN 可视化编程设备配置转换系统

来源：评论

学校读者我要写书评

暂无评论

转换系统行为近似等价性的研究

转换系统行为近似等价性的研究

引用

作者：张晋津南京航空航天大学

学位级别：博士

在形式化方法研究领域,转换系统是描述软件或硬件系统行为的一种重要形式化模型。近年来,针对实时系统、控制系统及最优化问题等实际系统的建模需要,学术界提出了诸多带有量化信息的转换系统。对于这些系统而言,传统的互模拟概念不适合... 详细信息

在形式化方法研究领域,转换系统是描述软件或硬件系统行为的一种重要形式化模型。近年来,针对实时系统、控制系统及最优化问题等实际系统的建模需要,学术界提出了诸多带有量化信息的转换系统。对于这些系统而言,传统的互模拟概念不适合描述系统间的行为等价性。为了克服这一缺陷,研究者们提出了众多近似等价概念并开展了较深入的理论和应用研究。本文将就带有量化信息的转换系统的近似等价理论开展研究,全文工作分为理论研究与应用研究两部分。理论研究方面的主要工作包括如下方面： (1)近似互模拟与距离函数是定义系统近似等价的两种主要方法,在度量化的转换系统的框架下,应明生教授和Breugel采用这两种方法分别提出了λ-互模拟和行为拟度量。本文研究了两者之间的关系,否定了Breugel的猜想,建立了λ-互模拟诱导出的λ-行为拟度量的不动点特征。 (2)在量化转换系统框架下,本文将折扣的思想引入近似互模拟的定义中,提出了(η,α)-互模拟概念,其中参量η表示状态之间的近似程度,α是一个折扣因子。本文给出了(η,α)-互模拟的一些基本性质,研究了(η,α)-互模拟与Girard和Pappas提出的δ-近似互模拟之间的关系,建立了(η,α)-互模拟的分层刻画,并探讨了(η,α)-互模拟诱导出的距离函数的相关性质。在量化转换系统框架下,de Alfaro等人提出了分岔距离用于描述系统的行为近似等价性。本文讨论了(η,α)-互模拟与分岔距离之间的关系,利用(η,α)-互模拟给出任意折扣下分岔距离的互模拟刻画,从而将Girard和Pappas关于无折扣分岔距离的互模拟刻画的结果推广到一般情形。本文还证明了,在非死锁和有限分岔的量化转换系统中,(η,α)-互模拟也可以由分岔距离刻画。这些结论揭示了(η,α)-互模拟与分岔距离之间的内在联系。 (3)交替转换系统是一种刻画开放式系统的重要形式化模型。针对一类特殊的交替转换系统,Po1a和Tabuada定义了交替近似互模拟的概念用于刻画带扰动控制系统与其有限抽象之间的关系。本文将这个概念推广到一般的交替转换系统中,探讨了交替近似互模拟的基本性质,并提出了一种近似互模拟模态特征表述方式,基于交替时序逻辑给出了交替近似互模拟的逻辑特征,从而建立了交替转换系统间行为近似等价性与其所满足的逻辑性质之间的内在联系。应用研究方面的工作侧重解决带扰动线性控制系统的形式化设计中遇到的若干问题。控制系统的形式化设计旨在利用形式化的方法构造控制系统的反馈控制器使得控制系统在该控制器作用下满足给定的规范。最近几年,学术界已经就无扰动控制系统的形式化设计展开了一系列研究。在这些工作中,为了降低控制系统的状态空间的规模,研究者们通常构造控制系统的有限抽象系统,进而通过构造有限抽象系统的控制器得到原控制系统的控制器。本文试图将这一技术路线推广到带扰动线性控制系统的形式化设计中,主要工作包括： (4)本文给出了一个控制策略算法用于构造带扰动线性控制系统的有限抽象的控制策略。在无扰动情形下,控制系统的有限抽象一般是经典的转换系统。文献中给出了诸多算法用于求解无扰动情形下控制系统的有限抽象的控制策略。然而,在带扰动输入的情形下,经典的转换系统无法刻画可控输入和扰动输入之间的差别。为了克服这一缺陷,Pola和Tabuada采用交替转换系统作为带扰动控制系统与其有限抽象的形式化模型,这导致在无扰动情形下提出的各种算法不适用于求解带扰动控制系统的有限抽象的控制策略。本文基于Kabanza等人提出的规划算法给出了一个控制策略算法用于求解控制策略。具体而言,对给定的有限交替转换系统和线性时序逻辑公式,该算法可以用于寻找初始状态和控制策略使得交替转换系统可控满足给定的线性时序逻辑公式。 (5)本文证明了上述控制策略算法的正确性,并就一类时序逻辑公式证明了它的完备性。我们基于完全的Buchi自动机定义了完全公式概念,并证明对于完全公式而言,上述控制策略算法是完备的,即,给定有限交替转换系统和完全的线性时序逻辑公式,如果存在初始状态和控制策略使得交替转换系统在该控制策略作用下从该初始状态出发的所有轨迹均满足给定的线性时序逻辑公式,则上述控制策略算法必然可以找到所需的初始状态和控制策略。 (6)本文提出了一种基于有限抽象构造带扰动控制系统控制器的方法。在无扰动情形下,学术界先后分别基于互模拟和近似互模拟提出了两种方法用于控制系统的形式化设计。这两种方法采用了相近的技术路线,即,构造与原系统互模拟(或近似互模拟)的有限抽象,进而通过构造有限抽象的控制器得到原控制系统的控制器。基于与原系统互模拟的有限抽象构造的控制器可以确保控制系统在其作用下严格满足给定规范。然而,由于互模拟要求严格,与原系统互模拟的有限抽象较难构造。Gir

关键词：转换系统近似互模拟行为拟度量分岔距离模态逻辑特征带扰动线性控制系统线性时序逻辑控制策略反馈控制

来源：评论

学校读者我要写书评

暂无评论

源程序到图形的转换系统IPADT——F/C

引用

计算机工程与应用 1990年第3期26卷 8-14页

作者：陶培基毋国庆周国强武汉大学

软件开发逆向工程已日益被人们所重视,各种实用工具系统相继被开发出来。本文阐述了一个能将FORTRAN、C语言源程序转换成PAD图形的转换工具系统IPADT-F/C,介绍该系统的结构及其功能,并着重介绍设计思想与实现方法。

关键词：源程序图形软件开发转换系统

来源：评论

学校读者我要写书评

暂无评论

川西前陆盆地上三叠统须家河组二段可容空间转换系统的成因与演化

引用

石油与天然气地质 2004年第5期25卷 519-523,569页

作者：邢焕清姜在兴王亚青王蛟石油大学资源与信息学院山东东营257061

要 :川西前陆盆地上三叠统须家河组二段层序发育时 ,由于构造运动的特点 ,盆地不同位置可容空间变化具有不统一性。盆地基底差异沉降导致相对湖平面变化的不同 ,其内部水深既存在增加带 ,又存在减小带 ,还存在着不变带。前陆盆地在同一... 详细信息

要 :川西前陆盆地上三叠统须家河组二段层序发育时 ,由于构造运动的特点 ,盆地不同位置可容空间变化具有不统一性。盆地基底差异沉降导致相对湖平面变化的不同 ,其内部水深既存在增加带 ,又存在减小带 ,还存在着不变带。前陆盆地在同一时期内部不同位置可容空间不均衡变化的现象 ,称之为可容空间转换系统。可容空间转换系统可细分为转换面、转换带、转换体等次级构造单元。川西前陆盆地须家河组二段可容空间转换系统沿龙门山造山带向盆地 ,呈北东向长条状分布 ,依次可划分为主可容空间转换带 (Ⅰ )、主可容空间增加带 (Ⅱ )、主可容空间转换带 (Ⅲ )、主可容空间减小带(Ⅳ )、次可容空间转换带 (Ⅴ )、次可容空间增加带 (Ⅵ )、次可容空间减小带 (Ⅶ )等 7个可容空间转换带。这些可容空间转换系统主要是由于构造应力场的挤压沉降作用和推覆隆升作用在平面上的交互出现所致。主可容空间转换带是目前发现气藏数量最丰富 ,产量最高的地区 ,也是目前的技术条件所能达到的现实勘探目标区。

关键词：川西前陆盆地须家河组可容空间转换系统动态演化

来源：评论

学校读者我要写书评

暂无评论

齿轨铁路道岔可动齿轨转换系统设计及仿真分析

引用

铁道标准设计 2022年第9期66卷 22-26页

作者：陈志辉舒睿洪杨吉忠王坚强王海波中铁二院工程集团有限责任公司成都610031 西南交通大学机械工程学院成都610031

齿轨铁路为国内新型制式交通,为解决齿轨铁路运行中岔区股道转换问题,保证齿轨列车顺利通过齿轨岔区,通过对比现有齿轨道岔结构形式及结构特点,基于齿轨覆盖可分式道岔提出一种岔区可动齿轨转换机构。基于该齿轨转换系统结构建立三维有... 详细信息

齿轨铁路为国内新型制式交通,为解决齿轨铁路运行中岔区股道转换问题,保证齿轨列车顺利通过齿轨岔区,通过对比现有齿轨道岔结构形式及结构特点,基于齿轨覆盖可分式道岔提出一种岔区可动齿轨转换机构。基于该齿轨转换系统结构建立三维有限元模型,并利用ADAMS软件对该齿轨转换机构进行动力学仿真,分析连杆机构中各部件的运动受力情况,同时使用ANSYS软件分析该齿轨转换机构的应力分布情况。研究表明:设计的岔区可动齿轨转换机构无死点,在运行过程中安全可靠;可动齿轨运动过程中,转辙机动作杆受力满足最大输出力要求;各连杆机构部件最大等效应力均小于其许用应力,满足机构静力学设计要求。

关键词：齿轨铁路单开道岔可动齿轨转换系统结构设计仿真分析

来源：评论

学校读者我要写书评

暂无评论

孤南洼陷古近系沙三段中亚段可容空间转换系统研究

引用

地学前缘 2008年第2期15卷 26-34页

作者：姜在兴张乐吝文徐桂红中国地质大学(北京)能源学院北京100083 康菲中国有限公司北京100027

传统的层序地层学认为,在盆地演化过程中,海(湖)平面或可容空间的变化是统一的。然而根据对可容空间变化的分析研究发现,由于受到基底的差异沉降、沉积物的沉积以及绝对湖平面的变化三种因素的控制,断陷盆地内可容空间在时间和空间上的... 详细信息

传统的层序地层学认为,在盆地演化过程中,海(湖)平面或可容空间的变化是统一的。然而根据对可容空间变化的分析研究发现,由于受到基底的差异沉降、沉积物的沉积以及绝对湖平面的变化三种因素的控制,断陷盆地内可容空间在时间和空间上的变化是非统一性的。根据可容空间的变化划分出的可容空间增加带、减小带以及转换带所组成的体系及其在平面和垂向上的空间展布称之为可容空间转换系统。文中首先从理论模型的角度分析了断陷盆地可容空间转换系统的构成要素及其相互关系,论述了可容空间转换系统的组成和划分方案,并以孤南洼陷沙三中亚段为研究对象,划分了一个三级可容空间转换系统并细分为7个四级可容空间转换系统。最后从石油地质学理论以及可容空间转换带处准层序垂向发育特征两方面阐述了转换带与油气成藏之间的关系,并结合典型油气藏实例解剖,认为可容空间转换带控制了有利的成藏组合的发育位置。

关键词：层序地层学可容空间转换系统孤南洼陷

来源：评论

学校读者我要写书评

暂无评论

USMARC向UNIMARC格式转换系统的实现