×
I.A.戈洛文斯基。

并行部分有序过程的协调。 （英语。俄文原件） Zbl 1181.06002号

J.计算。系统。科学。国际。 47，第6号，881-906（2008）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2008年，第6期，46-73（2008）。
摘要：通过函数格和模糊集构造了有限分配格的同构表示。有限格的这些表示是由Birkhoff定理证明其存在性的集格对分配格的表示的推广。刻画了有限分配格的同态像和次直表示，并对二维分配格的图形进行了几何刻画。这一理论基础是线性和偏序并行离散过程系统的一般描述的基础，它们之间的阶跃相互约束。通过图论、并行计算、人工智能和电力工程的实例，演示了所开发工具的应用。

MSC公司：

05年6月 分配格的结构与表示理论
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

有限分配格的表示；并行离散过程
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Golovinskij}，J.计算。系统。科学。国际47号，第6号，881--906（2008；Zbl 1181.06002）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2008年，第6号，46--73（2008）
全文： 内政部

参考文献：

[1] I.A.Golovinskii，“切换问题的一般解决方案”，Izv。罗斯。阿卡德。特奥·诺克。修女。以上。，第6期，第65-76页（2006年）[《公司系统科学》第45（6）页，第906-916页（2005年）]·Zbl 1263.93018号
[2] M.Aigner，组合理论（Springer，柏林，1979；Mir，莫斯科，1982）·Zbl 0415.05001号
[3] G.Gratzer，《一般格理论》（Academic-Verlag，柏林，1978年，米尔，莫斯科，1982年）。
[4] G.Birkhoff，《格理论》（美国数学学会，纽约，1949年；Nauka，莫斯科，1984年）。
[5] V.N.Kas'yanov和V.A.Evstigneev，《程序设计中的图形：处理、可视化和应用》（BKhV-Peterburg，圣彼得堡，2003）[俄语]。
[6] B.I.Plotkin，《通用代数、代数逻辑和数据库》（Nauka，莫斯科，1991）[俄语]·Zbl 0769.68018号
[7] V.A.Artamonov，V.N.Salii，L.A.Skornyakov等人，《通用代数》，第2卷，L.A·Skorniakov编辑（Nauka，莫斯科，1991）[俄语]·Zbl 0768.00004号
[8] A.M.Bogomolov和V.N.Salii，《离散系统理论的代数基础》（Nauka，Fizmatlit，莫斯科，1997）[俄语]。
[9] A.G.Kurosh，《普通代数讲座》（Nauka，莫斯科，1973）[俄语]·Zbl 0271.08001号
[10] S.Russel和P.Norvig，《人工智能，现代方法》，第2版，（新泽西州普伦蒂斯·霍尔，2003年；莫斯科Izdatel'skii Dom“Vil'yams”，2006年）[俄语]。
[11] C.A.R.Hoare，通信顺序过程（女王大学，CACM，1978年；和平号，莫斯科，1989年）·Zbl 0383.68028号
[12] N.V.Bocharov，“并行编程技术与技巧”，Programmirovanie，1，5–23（2003）。
[13] G.Andrews，《多线程、并行和分布式编程基金会》（Addeson-Wesley，2000；Izdatel'skii Dom ldVil'yams，莫斯科，2003）[俄语]。
[14] V.V.伏车夫丁和V。V.Voevodin，并行计算（BKhV-Peterburg，圣彼得堡，2004）[俄语]·Zbl 0834.68026号
[15] H.Curry，《数学逻辑基础》（McGraw Hill，纽约，1963年；Mir，莫斯科，1969年）·Zbl 0163.24209号
[16] 电气装置切换说明。RF能源部。2003年6月30日（Izd-vo NTs ENAS，莫斯科，2004）[俄语]。
[17] I.A.Golovinskii和V.I.Kurlev，“在线交换通用模拟器”，Elektricheskie Stantsii，11，2–8（2001）。
[18] I.A.Golovinskii，“最佳切换模拟器的构建原则”，Izv。罗斯。阿卡德。恶心，长官。《能源》，第6期，第47–58页（2003年）。
[19] “国内模拟器调查”，Operativnoe Upravlenie v Elektroenergetike，3，46–55（2007）。
[20] I.A.Lomazova，“多层嵌套Petri网分析的某些算法”，Izv。罗斯。阿卡德。特奥·诺克。修女。以上。，第6号，第134-143页（2000年）[《公司系统科学》第39（6）页，第965-974页（2000）]。
[21] I.A.Lomazova，Nested Petri Networks:Simulation and Analysis of Distributed Systems with Object Structure（嵌套Petri网络：具有对象结构的分布式系统的仿真与分析）（Nauchnyi Mir，莫斯科，2004）[俄语]·Zbl 1105.68086号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。