On the simultaneous representation of numbers by the sum of five prime numbers ; Об одновременном представлении чисел суммой пяти простых чисел

Συγγραφείς: Ismail Allakov, Bekmurod Kholboy ugli Erdonov, Исмаил Аллаков, Бекмурод Холбой оглы Эрдонов

Πηγή: Chebyshevskii Sbornik; Том 25, № 3 (2024); 11-36 ; Чебышевский сборник; Том 25, № 3 (2024); 11-36 ; 2226-8383 ; 10.22405/2226-8383-2024-25-3

Θεματικοί όροι: сравнения, positive solvability, congruent solvability, Euler's constant, effective constant, fixed number, prime number, system of linear equations, power estimate, comparisons, положительная разрешимость, конгруэнт разрешимость, постоянная Эйлера, эффективная константа, фиксированное число, простое число, система линейных уравнений, степенная оценка

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1812/1209; Аллаков, И. Оценка тригонометрических сумм и их приложения к решению некоторых; аддитивных задач теории чисел. – Термез: Сурхон нашр. 2021. 160 c.; Wu Fang. On the solutions of the systems of linear equations with prime variables. Acta; Math.Sinica.-1957.-V.7.-P.102-121.; Liu, M. C., Tsang, K. M. On pairs of linear equations in three prime variables and an application to Goldbach’s problem, J. reine angew. Math. 399 (1989), 109-136.; Аллаков, И. Об условиях разрешимости системы линейных диофантовых уравнений в простых числах, Изв. вузов. Матем., 2006, № 9. с. 10-16.; Аллаков, И., Исраилов, М. И. О разрешимости системы линейных уравнений в простых числах. Докл. АН РУз. –Ташкент, 1992. - № 10-11. c. 12-15.; Хуа Ло-Кен. Аддитивная теория простых чисел, Тр. Матем. ин-та им. В.А.Стеклова, 1947, том 22, с. 3-179.; Abrayev, B.Kh., Allakov, I. On solvability conditions of a pair of linear equations with four; unknowns in prime numbers. Uzbek Mathematical journal. Tashkent. 2020. № 3. p. 16-24.; Аллаков, И., Абраев, Б.Х. Об исключительном множестве одной системы линейных уравнений с простыми числами. Чебышевский сборник т.24 № 2. 2023. c.15-37.; Эрдонов, Б.Х., Об условиях разрешимости системы линейных уравнений состоящей из трёх уравнений с пяты неизвестными в простых числах. Научный вестник НамГУ, 2024.; № 4. с. 116-121.; Карацуба, А.А. Основы аналитической теории чисел. -М.: Наука, 1983. -240 с.; Davenport, H. Multiplicative number theory. Third edition. Springer.-2000. 177 p.; Колмогоров, А.Н., Фоми,н С.В. Элементы теории функций и функционального анализа. Главная редакция физико-математической литературы изд-ва «Наука», М., 1976 г. 543 с.; Liu, M. C., Tsang, K. M. Small prime solutions of linear equations. Proc. Intern. Number. Th. Conf. 1987. Laval University. Cand. Math. Soc. Berlin-New York. 1989. p. 595-624.; Hua, L. K. Additive Theory of Prime Numbers, Transl. of Math. Monographs 13, Amer. Math. Soc., Providence, R.I., 1965. 190 p.; Hasse, H. Vorlesungen ¨uber Zahlentheorie, Grundlehren Math. Wiss. 59, Berlin-Heidelberg-New York 1964. 520 p.; Hardy, G. H., Wright, E. M. An Introduction to the Theory of Numbers, 5th ed., Oxford 1979. 621 p.; https://www.chebsbornik.ru/jour/article/view/1812

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1812
https://doi.org/10.22405/2226-8383-2024-25-3-11-36

РАЗРЕШИМОСТЬ НАЧАЛЬНО-КРАЕВОЙ ЗАДАЧИ ДЛЯ ОДНОЙ СИСТЕМЫ СОСТАВНОГО ТИПА

Πηγή: Высшая школа: научные исследования.

Θεματικοί όροι: смешанная задача, разделение пере- менных, равномерная и абсолютная сходимость, разрешимость, составного типа

Ill-posedness of the Tricomi problem for a multidimensional mixed hyperbolic-parabolic equation ; Некорректность задачи Трикоми для многомерного гиперболо-параболического уравнения

Συγγραφείς: Serik Aimurzaevich Aldashev, Серик Аймурзаевич Алдашев

Πηγή: Chebyshevskii Sbornik; Том 25, № 5 (2024); 5-15 ; Чебышевский сборник; Том 25, № 5 (2024); 5-15 ; 2226-8383 ; 10.22405/2226-8383-2024-25-5

Θεματικοί όροι: сферические функции, multidimensional equation, solvability, spherical functions, многомерное уравнение, разрешимость

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1865/1258; Нахушев А. М. Задачи со смещением для уравнений в частных производных // М.: Наука, 2006. 287 с.; Врагов В. Н. Краевые задачи для неклассических уравнений математической физики //; Новосибирск: НГУ, 1983. 84 с.; Михлин С. Г. Многомерные сингулярные интегралы и интегральные уравнения // М.; Физматгиз, 1962. 254 с.; Алдашев С. А. Неединственость решения многомерной задачи Трикоми для гиперболо-; параболического уравнения // Украинский математический Вестник. 2015. Т. 12, № 1.; С. 1–10.; Бицадзе А. В. Уравнения смешанного типа // М.: Изд. АН СССР, 1959. 164 с.; Алдашев С. А. Краевые задачи для многомерных гиперболических и смешанных уравнений // Алматы: Гылым, 1994. 170 с.; Copson E. T. On the Riemann-Green function // J.Rath. Mech and Anal. 1958. Vol. 1. P. 324–; Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 1 // М.: Наука, 1973. 294 с.; Камке Э. Справочник по обыкновенным дифференциальным уравнениям // М.: Наука; 703 с.; Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 2 // М.: Наука, 1974. 295 с.; Тихонов А. Н., Самарский А. А. Уравнения математической физики // М.: Наука, 1977.; с.; https://www.chebsbornik.ru/jour/article/view/1865

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1865
https://doi.org/10.22405/2226-8383-2024-25-5-5-15

Условия эффективной разрешимости квадратичной задачи выбора. Часть 1

Συγγραφείς: Vitaliy M. Demidenko

Πηγή: Журнал Белорусского государственного университета: Математика, информатика, Iss 1, Pp 45-58 (2024)

Θεματικοί όροι: комбинаторная оптимизация, квадратичная задача о назначениях, оптимизация на подстановках, строгая разрешимость задач, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://journals.bsu.by/index.php/mathematics/article/view/6078; https://doaj.org/toc/2520-6508; https://doaj.org/toc/2617-3956

Σύνδεσμος πρόσβασης: https://doaj.org/article/8db2b4abe8d74436858db6019d6c2b8a

Existence of a Weak Solutionto the Two-Dimensional Filtration Problem in a Thin Poroelastic Layer

Συγγραφείς: P.V. Gilev, A.A. Papin

Πηγή: Izvestiya of Altai State University; No 4(126) (2022): Izvestiya of Altai State University; 93-98
Известия Алтайского государственного университета; № 4(126) (2022): Известия Алтайского государственного университета; 93-98

Θεματικοί όροι: насыщенность, пороупругость, двухфазная фильтрация, saturation, poroelastic, 0103 physical sciences, закон Дарси, разрешимость, Darcy's law, 01 natural sciences, two-phase filtration, solvability, 0105 earth and related environmental sciences

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://izvestiya.asu.ru/article/view/(2022)4-14

Локальная разрешимость краевой задачи для уравнений одномерного движения сыпучей смеси

Συγγραφείς: Ирина Геннадьевна Ахмерова, Артем Сергеевич Правдивцев

Πηγή: Известия Алтайского государственного университета, Iss 4(132), Pp 59-63 (2023)

Θεματικοί όροι: гранулярная температура, плотность, сыпучая среда, разрешимость, Physics, QC1-999, History (General), D1-2009

Περιγραφή αρχείου: electronic resource

Relation: http://izvestiya.asu.ru/article/view/13503; https://doaj.org/toc/1561-9443; https://doaj.org/toc/1561-9451

Σύνδεσμος πρόσβασης: https://doaj.org/article/4e2ecd8fb0724d03be0f28aa784be15d

Условия декомпозиции полинома двенадцатой степени на полиномы четвертой и третьей степеней

Συνεισφορές: Трубников, Ю. В., науч. рук.

Θεματικοί όροι: solvability in radicals, decomposition, двенадцатая степень, система компьютерной алгебры, twelfth degree, разрешимость в радикалах, декомпозиция, точные формулы, exact formulas, полиномы, computer algebra system, composition of polynomials, композиция полиномов

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://rep.vsu.by/handle/123456789/44696

О сопряженной задаче в области с отходом от характеристики для смешанного параболо-гиперболического уравнения дробного порядка

Συγγραφείς: Исломов, Б.И., Ахмадов, И.А.

Πηγή: Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2023, Iss 1, Pp 80-97 (2023)

Θεματικοί όροι: локальные граничные условия, уравнение дробного порядка, функция райта и грина, сильная разрешимость, отход от характеристики, local boundary conditions, fractional order equation, wright and green’s function, strong solvability, deviation out from characteristic, Science

Περιγραφή αρχείου: electronic resource

Relation: https://krasec.ru/ru/islomov421023/; https://doaj.org/toc/2079-6641; https://doaj.org/toc/2079-665X

Σύνδεσμος πρόσβασης: https://doaj.org/article/c1e5ef31e6994c8282c662dd05cc137c

Инвариантные многообразия и глобальный аттрактор обобщенного нелокального уравнения Гинзбурга-Ландау в случае однородных краевых условий Дирихле

Συγγραφείς: Куликов, А.Н., Куликов, Д.А.

Πηγή: Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2022, Iss 1, Pp 9-27 (2022)

Θεματικοί όροι: нелокальное уравнение гинзбурга-ландау, краевые и начально-краевые задачи, глобальная разрешимость, инвариантные многообразия, глобальные аттракторы, размерность, структура глобальных аттракторов, nonlocal ginzburg-landau equation, boundary and initial boundary value problems, global solvability, invariant manifolds, global attractors, dimension, structure of global attractors, Science

Περιγραφή αρχείου: electronic resource

Relation: https://krasec.ru/ru/kulikov381022/; https://doaj.org/toc/2079-6641; https://doaj.org/toc/2079-665X

Σύνδεσμος πρόσβασης: https://doaj.org/article/29a6fd6c00e14bf0b7c073f53ba6b9a8

Локальная разрешимость задачи протекания для уравнений движения двух взаимопроникающих жидкостей

Συγγραφείς: Ирина Геннадьевна Ахмерова

Πηγή: Известия Алтайского государственного университета, Iss 1(123), Pp 73-78 (2022)

Θεματικοί όροι: локальная разрешимость, вязкая несжимаемая жидкость, неоднородные граничные условия, Physics, QC1-999, History (General), D1-2009

Περιγραφή αρχείου: electronic resource

Relation: http://izvestiya.asu.ru/article/view/11147; https://doaj.org/toc/1561-9443; https://doaj.org/toc/1561-9451

Σύνδεσμος πρόσβασης: https://doaj.org/article/b394b4beca9e49d8a76a8da5472e1cb7

Boundary problem on semi-direct for pseudoparabolic equation with a small parametr

Πηγή: Вестник КРАУНЦ. Физико-математические науки. :29-41

Θεματικοί όροι: малый параметр, начально-краевая задача, преобразование Фурье, 0101 mathematics, псевдопараболическое уравнение, 01 natural sciences, однозначная разрешимость

Σύνδεσμος πρόσβασης: http://krasec.ru/wp-content/uploads/2020/10/Ablabekov.pdf

On Global Solvability of a Problem of a Viscous Liquid Motion in a Deformable Viscous Porous Medium

Συγγραφείς: M.A. Tokareva

Πηγή: Izvestiya of Altai State University; No 1(111) (2020): Izvestiya of Altai State University; 133-138
Известия Алтайского государственного университета; № 1(111) (2020): Известия Алтайского государственного университета; 133-138

Θεματικοί όροι: poroelasticity, filtration, porosity, глобальная разрешимость, пороупругость, 0103 physical sciences, global solvability, закон Дарси, пористость, фильтрация, Darcy's law, 01 natural sciences, 0105 earth and related environmental sciences

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://izvestiya.asu.ru/article/download/%282020%291-23/6181
http://izvestiya.asu.ru/article/view/(2020)1-23
http://izvestiya.asu.ru/article/view/%282020%291-23
https://cyberleninka.ru/article/n/o-globalnoy-razreshimosti-zadachi-o-dvizhenii-vyazkoy-zhidkosti-v-deformiruemoy-vyazkoy-poristoy-srede
http://izvestiya.asu.ru/article/download/%282020%291-23/6181

Двухфазная задача со свободной границей для систем параболических уравнений с нелинейным членом конвекции

Συγγραφείς: Элмуродов, А.Н.

Πηγή: Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2021, Iss 3, Pp 110-122 (2021)

Θεματικοί όροι: математическая модель, априорные оценки, теоремы сравнения, однозначная разрешимость, mathematical model, a priori estimate, comparison theorems, uniquely solvability, Science

Περιγραφή αρχείου: electronic resource

Relation: http://krasec.ru/elmurodov363021/; https://doaj.org/toc/2079-6641; https://doaj.org/toc/2079-665X

Σύνδεσμος πρόσβασης: https://doaj.org/article/3b248b0034684cab96ec3ff2fc296c8e

Поиск семейства простых циклов в графах с полустепенями вершин, не превосходящими k

Πηγή: Прикладная дискретная математика. 2023. № 60. С. 85-94

Θεματικοί όροι: полиномиальная разрешимость, простые циклы, задачи поиска, графы ориентированные

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001003139

Coercive estimates, separability and coercive solvability of a nonlinear elliptic differential operator in a weight space ; Коэрцитивные оценки, разделимость и коэрцитивная разрешимость нелинейных эллиптических дифференциальных уравнений недивергентного вида

Συγγραφείς: Olimjon Khudoyberdievich Karimov, Zumrat Jamshedovna Hakimova, Олимджон Худойбердиевич Каримов, Зумрат Джамшедовна Хакимова

Πηγή: Chebyshevskii Sbornik; Том 24, № 2 (2023); 197-213 ; Чебышевский сборник; Том 24, № 2 (2023); 197-213 ; 2226-8383 ; 10.22405/2226-8383-2023-24-2

Θεματικοί όροι: ве- совое пространство, non-divergent type of operator, coercive estimates, nonlinearity, separability, solvability, Hilbert space, weight space, недивергентный вид оператора, коэрцитив- ные свойства, нелинейность, разделимость, разрешимость, гильбертово пространство

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1541/1084; Everitt W. N.,Gierz M. Some properties of the domains of certain differential operators // Proc. London Math.Soc. 1971. Vol. 23, P. 301 – 324.; Everitt W. N.,Gierz M. On some properties of the powers of a family self-adjoint differential expressions // Proc. London Math.Soc. 1972. Vol. 24, P. 149 – 170.; Everitt W. N.,Gierz M. Some inequalities associated with certain differential operators // Math. Z. 1972. Vol. 126, P. 308 – 326.; Everitt W. N.,Gierz M. Inequalities and separation for Schrodinger -type operators in 𝐿2(𝑅𝑛) // Proc. Roy. Soc. Edinburg, Sect A. 1977. Vol. 79, P. 149 – 170.; Бойматов К. Х. Теоремы разделимости // ДАН СССР. 1973. T. 213, № 5. C. 1009 – 1011.; Бойматов К. Х. Теоремы разделимости, весовые пространства и их приложения // Труды Математического института им. В.А.Стеклова АН СССР. 1984. T. 170, C. 37 – 76.; Бойматов К. Х. Коэрцитивные оценки и разделимость для эллиптических дифференциальных уравнений второго порядка // ДАН СССР. 1988. T. 301, № 5. C. 1033 – 1036.; Бойматов К. Х., Шарипов А. Коэрцитивные свойства нелинейных операторов Шредингера и Дирака // Доклады Академии наук России. 1992. T. 326, № 3. C. 393 – 398.; Бойматов К. Х. Коэрцитивные оценки и разделимость для нелинейных дифференциальных операторов второго порядка // Математические заметки. 1989. T. 46, № 6. C. 110 – 112.; Отелбаев М. Коэрцитивные оценки и теоремы разделимости для эллиптических уравнений в 𝑅𝑛 // Труды Математического института им. В.А.Стеклова АН СССР. 1983. T. 161, C. 195 – 217.; Муратбеков М. Б., Муратбеков М. М., Оспанов К. Н. Коэрцитивная разрешимость дифференциального уравнения нечетного порядка и ее приложения // Доклады Академии наук России. 2010. T. 435, № 3. C. 310 – 313.; Zayed E. M. E. Separation for the biharmonic differential operator in the Hilbert space associated with existence and uniqueness theorem // J. Math. Anal. Appl. 2008. Vol. 337, P. 659 – 666.; Zayed E. M. E., Salem Omram Separation for triple-harmonic differential operator in the Hilbert // International J. Math. Combin. 2010. Vol. 4. P. 13 – 23.; Zayed E. M. E., Mohamed A. S., Atia H. A. Inequalities and separation for the Laplace-Beltrami differential operator in Hilbert spaces // J. Math. Anal. Appl. 2007. Vol. 336. P. 81 – 92.; Zayed E. M. E. Separation for an elliptic differential operators in a weighted its application to an existence and uniqueness theorem // Dynamits of continuous, discrede and impulsive systems.Series A: Mathematical Analysis. 2015. № 22. P. 409 – 421.; Mohamed A. S., H. A, Atia Separation of the general second elliptic differential operator potential in the weighted weighted Hilbert spaces // Applied Mathematics and Computation. 2005. № 162. P. 155 – 163.; Каримов О. Х. О разделимости нелинейных дифференциальных операторов второго порядка с матричными коэффициентами // Известия АН РТ. Отделение физико-математических, химических, геологических и технических наук. 2014. № 3(157). C. 42 –50.; Каримов О. Х. О разделимости нелинейных дифференциальных операторов второго порядка с матричными коэффициентами в весовом пространстве // Доклады Академии наук Республики Таджикистан. 2015. Т. 58, № 8. C. 665 – 673.; Каримов О. Х. О коэрцитивных свойствах и разделимости бигармонического оператора с матричным потенциалом // Уфимский математический журнал. 2017. Т. 9, № 1. C. 55 – 62.; Каримов О. Х. О коэрцитивной разрешимости уравнения Шредингера в гильбертовом пространстве // Доклады Академии наук Республики Таджикистан. 2018. Т. 61, № 11 – 12. C. 829 – 836.; Karimov O. Kh. On the separation property of nonlinear second-order differential operators with matrix coefficients in weighted spaces // Journal of mathematical sciences. 2019. Vol. 241, № 5. P. 589 – 595.; https://www.chebsbornik.ru/jour/article/view/1541

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1541
https://doi.org/10.22405/2226-8383-2023-24-2-197-213

The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable ; Проблема разрешимости позитивной теории произвольной группы алгоритмически неразрешима

Συγγραφείς: Valeriy Georgievich Durnev, Alena Igorevna Zetkina, Валерий Георгиевич Дурнев, Алена Игоревна Зеткина

Συνεισφορές: Работа выполнена при финансовой поддержке РФФИ (проект № 19 - 52 - 26006).

Πηγή: Chebyshevskii Sbornik; Том 24, № 1 (2023); 40-49 ; Чебышевский сборник; Том 24, № 1 (2023); 40-49 ; 2226-8383 ; 10.22405/2226-8383-2023-24-1

Θεματικοί όροι: алгоритмическая неразрешимость, positive group theory, positive group class theory, algorithmic solvability, algorithmic insolubility, позитивная теория группы, позитивная теория класса групп, алгоритмическая разрешимость

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1472/1053; Адян С. И. Алгоритмическая неразрешимость проблем распознавания некоторых свойств; групп // Докл. АН СССР. 1955. Т. 103, № 4. С. 533–535.; Адян С. И. Неразрешимость некоторых алгоритмических проблем теории групп // Труды; ММО. 1957. Т. 6. С. 231-298.; Rabin M. O. Recursive unsolvability of group theoretic problems // Ann. of Math. 1958. Vol. 67; № 1. P. 172-194.; Collings D. J. On recognizing Hopf groups // Arh. Math. 1969. Vol. 20. P. 235-240.; Miller C. F. III. Decision problems for groups – servey and reflections // Math. Sci. Res. Inst.; Publ. 1992. Vol. 23. P. 1-59.; Miller C. F. III, Schupp P.E. Embeddings into Hopfian groups // Journal Algebra, 1971. Vol. 17.; P. 171-176.; Miller C. F. III. On group-theoretic decision problems and their classification // Ann. of Math.; Studies. 1971. Vol. 68. Princeton University Press.; Мерзляков Ю. И. Позитивные формулы на свободных группах. // Алгебра и логика. 1966.; Т. 5, вып. 4. С. 25-42.; Sacerdote G. S. Almost all free products of groups have the same positive theory // Journal; Algebra. 1973. Vol. 27, № 3. P. 475-485.; Перязев Н. А. Позитивная неотличимость алгебраических систем и полнота позитивных; теорий // Матем. заметки. 1985. Т. 38, № 2. С. 208-212.; Перязев Н. А. Позитивные теории свободных моноидов // Алгебра и логика. 1993. Т. 32; № 2. С. 148- 159.; Ремеслеников В. Н. ∃-свободные группы // Сиб. матем. журнал. 1989. Т. 30, № 6. С. 193-; Маканин Г. С. Разрешимость универсальной и позитивной теорий свободной группы //; Изв. АН СССР. Серия матем. 1984. № 2. С. 35-749.; Матиясевич Ю.В. Диофантовость перечислимых множеств // Докл. АН СССР. 1970.; Т. 130, № 3. С. 495-498.; Мальцев А. И. Об одном соответствии между кольцами и группами // Матем. сб. 1960.; Т. 50, № 2. С. 257-266.; Борисов В. В. Простые примеры групп с неразрешимой проблемой тождества // Матем.; заметки. 1969. Т. 6, вып. 5. С. 521-532.; https://www.chebsbornik.ru/jour/article/view/1472

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1472
https://doi.org/10.22405/2226-8383-2023-24-1-40-49

Один класс квазилинейных уравнений с производными Хилфера

Συγγραφείς: Федоров, В. Е., Скорынин, А. С.

Θεματικοί όροι: математика, математический анализ, производная Хилфера, задача типа Коши, квазилинейные уравнения, локальная разрешимость

Relation: http://dspace.bsu.edu.ru/handle/123456789/61322

Διαθεσιμότητα: http://dspace.bsu.edu.ru/handle/123456789/61322

О задаче Дирихле в плоской области с разрезом

Συγγραφείς: Агаркова, Н. Н., Васильев, В. Б., Гебресласи, Х. Ф.

Θεματικοί όροι: математика, математический анализ, интегральные уравнения, область с разрезом, задача Дирихле, разрешимость

Relation: http://dspace.bsu.edu.ru/handle/123456789/61297

Διαθεσιμότητα: http://dspace.bsu.edu.ru/handle/123456789/61297

The Barenblatt–Zheltov–Kochina Equation with Boundary Neumann Condition and Multipoint Initial-Final Value Condition

Συγγραφείς: L.A. Kovaleva, E.A. Soldatova, S.A. Zagrebina

Πηγή: Bulletin of the South Ural State University series "Mathematics. Mechanics. Physics". 11:14-19

Θεματικοί όροι: условие Неймана, УДК 517.9, multipoint initial-final value condition, уравнение Баренблатта-Желтова-Кочиной, Barenblatt-Zheltov-Kochina equation, unique solvability, 0101 mathematics, 01 natural sciences, Neumann condition, многоточечное начально-конечное условие, однозначная разрешимость

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://dspace.susu.ru/xmlui/handle/0001.74/40318

Behavioural Equivalences of Petri Nets with Invisible Transitions ; Поведенческие эквивалентности сетей Петри с невидимыми переходами

Συγγραφείς: I. V. Tarasyuk, И. В. Тарасюк

Πηγή: The Herald of the Siberian State University of Telecommunications and Information Science; № 3 (2012); 105-135 ; Вестник СибГУТИ; № 3 (2012); 105-135 ; 1998-6920

Θεματικοί όροι: разрешимость, invisible transitions, basic τ -equivalences, Petri nets with visible transitions, sequential Petri nets, reduction, decidability, невидимые переходы, базисные τ -эквивалентности, сети Петри с видимыми переходами, последовательные сети Петри, редукция

Περιγραφή αρχείου: application/pdf

Relation: https://vestnik.sibsutis.ru/jour/article/view/377/361; Autant C., Schnoebelen Ph. Place bisimulations in Petri nets // Lecture Notes in Computer Science. June 1992. Vol. 616. 45-61.; Autant C. Petri nets for the semantics and the implementation of parallel processes // Ph. D. thesis. Institut National Polytechnique de Grenoble, France. May 1993 (in French).; Best E., Devillers R. Sequential and concurrent behaviour in Petri net theory // Theoretical Computer Science. 1987. Vol. 55. 87-136.; Best E., Devillers R., Kiehn A., Pomello L. Concurrent bisimulations in Petri nets // Acta Informatica. 1991. Vol. 28. № 3. 231-264.; Devillers R. Maximality preservation and the ST-idea for action refinements // Lecture Notes in Computer Science. 1992. Vol. 609. 108-151.; Engelfriet J. Branching processes of Petri nets // Acta Informatica. 1991. Vol. 28. № 6. 575-591.; van Glabbeek R.J. The linear time - branching time spectrum II: the semantics of sequential systems with silent moves. Extended abstract // Lecture Notes in Computer Science. 1993. Vol. 715. 66-81.; van Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics (extended abstract) // Proceedings of 11th World Computer Congress on Information Processing - 89. San Francisco, USA. North-Holland. August 1989. 613-618.; Jancar P. High decidability of weak bisimularity for Petri nets // Lecture Notes in Computer Science. 1995. Vol. 915. 349-363.; Jategaonkar L., Meyer A.R. Deciding true concurrency equivalences on safe, finite nets // Theoretical Computer Science. 1996. Vol. 154. 107-143.; Mayr R. Undecidability of weak bisimulation equivalence for 1-counter processes // Lecture Notes in Computer Science. 2003. Vol. 2719. 570-583.; Milner R.A.J. A calculus of communicating systems // Lecture Notes in Computer Science. 1980. Vol. 92. 172-180.; Nielsen M., Plotkin G.,Winskel G. Petri nets, event structures and domains // Theoretical Computer Science. 1981. Vol. 13. 85-108.; Peterson J.L. Petri net theory and modeling of systems // Prentice-Hall. 1981.; Petri C.A. Kommunikation mit Automaten // Ph. D. thesis. Universitat Bonn, Schriften des Instituts fur Instrumentelle Mathematik, Germany. 1962 (in German).; Pinchinat S. Bisimulations for the semantics of reactive systems // Ph. D. thesis. Institut National Politechnique de Grenoble, France. January 1993 (in French).; Pomello L. Some equivalence notions for concurrent systems. An overview // Lecture Notes in Computer Science. 1986. Vol. 222. 381-400.; Pratt V.R. On the composition of processes // Proceedings of 9th POPL. 1982. 213-223.; Pomello L., Rozenberg G., Simone C. A survey of equivalence notions for net based systems // Lecture Notes in Computer Science. 1992. Vol. 609. 410-472.; Tarasyuk I.V. ?-equivalences and refinement // Proceedings of IRW/FMP'98, Work-in-Progress Papers, Canberra, Australia. Joint Computer Science Technical Report Series. The Australian National University. September 1998. № TR-CS-98-09. 110-128.; Tarasyuk I.V. Place bisimulation equivalences for design of concurrent and sequential systems // Proceedings of MFCS'98 Workshop on Concurrency, Brno, Czech Republic. Electronic Notes in Theoretical Computer Science. 1998. Vol. 18. 191-206.; Tarasyuk I.V. ?-equivalences and refinement for Petri nets based design // Technische Berichte. Fakult?at Informatik, Technische Universit?at Dresden, Germany. November 2000. № TUD-FI00-11. 41 p.; Vogler W. Bisimulation and action refinement // Lecture Notes in Computer Science. 1991. Vol. 480. 309-321.; Vogler W. Partial words versus processes: a short comparison // Lecture Notes in Computer Science. 1992. Vol. 609. 292-303.; https://vestnik.sibsutis.ru/jour/article/view/377

Διαθεσιμότητα: https://vestnik.sibsutis.ru/jour/article/view/377