1) interface automata
接口自动机
1.
Transition from web service language BPEL to interface automata;
Web服务语言BPEL到接口自动机的转换
2.
Specifically,the authors use the interface automata networks to model the component-based system designs which include a set of interface automata synchronized by shared ac.
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验。
3.
Firstly the timing scenario-based specifications are specified by UML sequence diagrams with a set of boolean expressions, then the interface automata for modeling real time systems through adding time intervals on the actions is extened.
通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验。
2) Timed interface automata
时间接口自动机
3) automation interface
自动化接口
1.
An ActiveX control is designed which could realize communication between OPC DA client and server based on analyzing OPC automation interface specification and the development method of client.
在分析OPC自动化接口规范和客户端程序开发方法的基础上,设计了一个能实现OPC DA客户端与服务器通信的ActiveX控件,并对控件的可视界面、基本的属性、方法、事件、属性页及关键技术做了详细的设计。
2.
The OPC client is exploited under Visual Basic environment that(communicates) with OPC server through OPC automation interfaces with OPC specification,and client data acquisition is(implemented).
0,通过OPC自动化接口,利用OPC协议来读写服务器数据,实现了客户端的数据采集。
3.
The client data acquisition is through the automation interfaces with OPC specification,and there is also a seamless integration of the data with Excel.
本文介绍了基于Visual Basic开发环境,通过OPC自动化接口实现客户端的数据采集,并把数据与Excel无缝结合形成的数据报表系统。
5) automatic piecing machine
自动接头机
1.
Taking R20 rotor spinning machine produced by Rieter company as an instance,manipulator acting process of automatic piecing machine is analysed.
以R ieter公司生产的R 20型转杯纺纱机为例,分析了自动接头机的机械手动作顺序,为自动接头机的电气系统开发提供帮助。
6) automatic welding machine
自动焊接机
1.
Compare with manual welding,the control system of automatic welding machine with centrifugal and spiral fan has these advantages as followed:high efficiency;good quality;be in beautiful finished form;high strength of welding;lower labour intensity and clear worksite.
离心风机蜗壳自动焊接机控制器系统与手工焊接比较,有效率高、成型美观、质量稳定、焊接强度高、劳动强度低,以及现场整洁的优势。
补充资料：ω-有限自动机
ω-有限自动机
ω-finite state automata
1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条