On the Spatial Boundedness of Cellular RDA-nets ; О пространственной ограниченности клеточных Р-сетей

Authors: Vladimir A. Bashkin, Владимир Анатольевич Башкин

Source: Modeling and Analysis of Information Systems; Том 24, № 4 (2017); 391-409 ; Моделирование и анализ информационных систем; Том 24, № 4 (2017); 391-409 ; 2313-5417 ; 1818-1015

Subject Terms: пространственная ограниченность, verification, Petri nets, cellular automata, resource driven automata nets, spatial boundedness, верификация, сети Петри, клеточные автоматы, Р-сети

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/530/406; Башкин В. А., “Сети активных ресурсов”, Моделирование и анализ информационных систем, 14:4 (2007), 13-19; Башкин В. А., “Формализация семантики систем с ненадежными агентами при помощи сетей активных ресурсов”, Программирование, 36:4 (2010), 3-15; Зайцев Д. А., “Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри”, Моделирование и анализ информационных систем, 19:6 (2012), 21-33; Котов В. Е., Сети Петри, Наука, М., 1984; Кузьмин Е. В., Чалый Д.Ю., “О разрешимости проблем ограниченности для счетчиковых машин Минского”, Моделирование и анализ информационных систем, 15:1 (2008), 16-26; Alur R., Dill D., “Automata for modeling real-time systems” (Automata, Languages and Programming), Lecture Notes In Computer Science, 443 (1990), 322-335.; Bashkin V. A., “Nets of active resources for distributed systems modeling”, Joint Bulletin of NCC&IIS, Comp. Science, 28 (2008), 43-54.; Bashkin V. A., Lomazova I. A., “Resource Driven Automata Nets”, Fundamenta Informaticae, 109:3 (2011), 223-236.; Bashkin V. A., Lomazova I. A., “Cellular Resource Driven Automata Nets”, Fundamenta Informaticae, 120:3-4 (2012), 245-259.; Bashkin V. A., Lomazova I. A., Novikova Yu. A., “Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling” (Parallel Computing Technologies), Lecture Notes In Computer Science, 7979 (2013), 13-25.; Bednarczyk M. A., Bernardinello L., Pawlowski W., Pomello L., “Modelling mobility with Petri Hypernets” (Recent Trends in Algebraic Development Techniques), Lecture Notes In Computer Science, 3423 (2005), 28-44.; Cook M., “Universality in Elementary Cellular Automata.”, Complex Systems, 15:1 (2004), 1-40.; Finkel A., Schnoebelen Ph., “Well-Structured Transition Systems Everywhere!”, Theoretical Computer Science, 256:1-2 (2001), 63-92.; Jensen K., Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer, 1994.; K¨ohler-Bußmeier M., “Hornets: Nets within Nets combined with Net Algebra” (ICATPN’2009), Lecture Notes In Computer Science, 5606 (2009), 243-262.; Lomazova I. A., “Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems”, Fundamenta Informaticae, 43:1-4 (2000), 195-214.; Nehaniv C. L., “Asynchronous Automata Networks Can Emulate Any Synchronous Automata Network”, Int. J. of Algebra and Computation, 14:5-6 (2004), 719-739.; Petri C. A., Kommunikation mit Automaten. PhD thesis, Bonn Institute f¨ur Instrumentelle Mathematik, 1962.; Valk R., “Petri Nets as Token Objects: An Introduction to Elementary Object Nets” (ICATPN’98), Lecture Notes In Computer Science, 1420 (1998), 1-25.

Availability: https://www.mais-journal.ru/jour/article/view/530
https://doi.org/10.18255/1818-1015-2017-4-391-409

Влияние пространственной ограниченности дисперсной среды на характеристики качества изображения

Source: Известия Томского политехнического университета

Subject Terms: изображения, конечные размеры, расчеты, светлые полоски, характеристики, пространственная ограниченность, дисперсные среды, контрастность, освещение, излучение, рассеивающие среды, краевые функции

File Description: application/pdf

Access URL: http://earchive.tpu.ru/handle/11683/1185

Влияние пространственной ограниченности дисперсной среды на характеристики качества изображения

Authors: Горячев, Борис Валентинович, Могильницкий, Сергей Борисович

Source: Известия Томского политехнического университета

Subject Terms: пространственная ограниченность, дисперсные среды, изображения, характеристики, излучение, рассеивающие среды, конечные размеры, расчеты, краевые функции, контрастность, светлые полоски, освещение

File Description: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2006. Т. 309, № 4; http://earchive.tpu.ru/handle/11683/1185

Availability: http://earchive.tpu.ru/handle/11683/1185

Особенности корреляционного анализа изображений и видеопоследовательностей ; Features of Correlation Analysis of Images and Video Sequences

Authors: Богословский, А.В., Пономарев, А.В., Жигулина, И.В., Сухарев, В.А., Bogoslovsky, Andrey V., Ponomarev, Andrey V., Zhigulina, Irina V., Sukharev, Vladimir A.

Subject Terms: изображение, видеопоследовательность, энергетические характеристики изображения, пространственная ограниченность сигнала, двумерная функция автокорреляции, image, video sequence, image energy characteristics, signal spatial limit, 2D-autocorrelation function

Relation: Журнал Сибирского федерального университета. Техника и технологии. Journal of Siberian Federal University. Engineering & Technologies: 2018 11 (7)

Availability: https://elib.sfu-kras.ru/handle/2311/109151

К концепциям современной биологии

Authors: Цюпка, В. П.

Subject Terms: естествознание, биология, общая биология, дискретность, живое, неживое, структурность, пространственная ограниченность, зависимость, внешняя среда

Relation: http://dspace.bsu.edu.ru/handle/123456789/9746; Фундаментальные исследования; 12; 101; 102

Availability: http://dspace.bsu.edu.ru/handle/123456789/9746

К концепциям современной биологии

Authors: Цюпка, В. П.

Index Terms: естествознание, биология, общая биология, дискретность, живое, неживое, структурность, пространственная ограниченность, зависимость, внешняя среда

URL: http://hdl.handle.net/rour/27349uri