×

阻止组自动机。一: 单面联锁。 (英语。俄文原件) Zbl 1269.68061号

J.计算。系统。科学。国际。 48,第1期,45-69(2009); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年,第1期,49–73页(2009年)。
摘要:介绍了自动机集的约束连接和联锁连接的概念。这些概念用于定义换向自动机的概念,它是受开关技术规则调节的电气网络中开关动力学的数学模型。确定了单面和相互自动机联锁。研究了置换自动机单边联锁连接群的结构。

MSC公司:

65年第68季度 形式语言和自动机
94立方厘米05 解析电路理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 电气装置开关说明。俄罗斯联邦能源部。2003年6月30日批准(Izd.NTs ENAS,莫斯科,2004)[俄语]。
[2] 《俄罗斯联邦发电厂和电网技术操作规程》(Izd.NTs ENAS,莫斯科,2003)[俄语]。
[3] I.A.Golovinskii,“电网开关通用自动监控系统的构建原则”,载于Vestnik VNIIE-2004(Izd.NTs ENAS,莫斯科,2004),204-213。
[4] I.A.Golovinskii和V.I.Kuklev,“在线交换通用模拟器”,Elektrich。Stantsii,11,2–8(2001年)。
[5] I.A.Golovinskii,“在线交换智能模拟器的新功能”,Vestn。Elektroenergetiki,1,36–41(2002年)。
[6] I.A.Golovinskii,“电网中切换规则的自然语言的形式化”,Izv。罗斯。阿卡德。Nauk,Energetika,6126–138(2004年)。
[7] I.A.Golovinskii,Yu。是的。吕巴尔斯基和余。I.Morzhin,“使用带稳态监测的在线切换模拟器进行紧急培训”,Elektrich。Stantsii,9,47–56(2004)。
[8] I.A.Golovinskii,Yu。是的。吕巴尔斯基和余。I.Morzhin,“情境模拟中紧急控制的模拟”,Elektronnoe Modelirovanie,4,89–106(2006)。
[9] I.A.Golovinskii,“作为自动化系统的电气网络交换交换模型”,收录于Vestnik VNIIE-2003(Izd.NTs ENAS,莫斯科,2003),136-148。
[10] 机器、语言和半群的代数理论,M.A.Arbib编辑(学术出版社,1968年;统计学,莫斯科,1975年)·Zbl 0181.01501号
[11] V.A.Emelichev、O.I.Mel'nikov、V.I.Sarvanov等人,《图论讲座》(Nauka,莫斯科,1990)[俄语]。
[12] A.Friedman和P.Menon,《开关电路理论与设计》(计算机科学出版社,加利福尼亚州伍德兰山,1975年;Mir,莫斯科,1978年)·Zbl 0414.94034号
[13] B.是的。Plotkin,L.Ya。Gringlaz和A.A.Gvaramiya,《代数自动机理论的要素》(Vysch.Shk.,莫斯科,1994)[俄语]。
[14] I.A.Golovinskii,“切换问题的一般解决方案”,Izv。罗斯。阿卡德。特奥·诺克。修女。以上。,6、65–76(2006)【《公司系统科学》45(6)、906–916(2006)】·Zbl 1263.93018号
[15] O.V.Mel'nikov,V.N.Remeslenikov,V.A.Roman'kov等,《普通代数》。第1卷,L.A.Skornyakov编辑(Nauka,莫斯科,1990)[俄语]。
[16] I.Grossman和V.Magnus,《群及其图》(美国数学协会,华盛顿,1964年;米尔,莫斯科,1971年)·Zbl 0123.24803
[17] O.E.Akimov,《离散数学:逻辑、群、图》(Laboratoriya Bazovykh Znanii,莫斯科,2001)[俄语]。
[18] B.L.van der Waerden,《代数》(Springer,1967年;Nauka,莫斯科,1976年)·Zbl 0192.33002号
[19] A.G.Kurosh,《群体理论》(Chelsea Publishing Company,1949;第三版,Nauka,Moscow,1967)·Zbl 0266.20030号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。