Лукоянов, Н. Ю.
    Уравнение Гамильтона-Якоби для наследственных систем: минимаксное и вязкостное решения [Текст] / Н. Ю. Лукоянов // Доклады Академии наук. - 2008. - Т. 418, N 3, январь. - С. 300-303. - Библиогр.: с. 303
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
уравнение Гамильтона-Якоби -- Гамильтона-Якоби уравнение -- наследственные системы -- минимаксные решения -- вязкостные решения -- задачи динамической оптимизации -- функциональные уравнения -- функционалы
Аннотация: Эта работа, инициированная, с одной стороны, исследованиями по теории позиционных дифференциальных игр, а с другой - развитием теории обобщенных и вязкостных решений уравнений с частными производными первого и второго порядков, примыкает к работам, посвященным уравнениям типа Гамильтона-Якоби, возникающим в задачах динамической оптимизации наследственных систем.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Евдокимова, О. В.
    О дифференциальном методе факторизации в неоднородных задачах [Текст] / О. В. Евдокимова, О. М. Бабешко, В. А. Бабешко // Доклады Академии наук. - 2008. - Т. 418, N 3, январь. - С. 321-323. - Библиогр.: с. 323
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
неоднородные задачи -- дифференциальный метод факторизации -- мероморфные матриц-функции -- методы факторизации -- факторизация краевых задач -- краевые задачи -- функциональные уравнения
Аннотация: В работе развит метод, позволяющий исследовать неоднородные и нестационарные краевые задачи без необходимости предварительного изменения формы граничных условий. Метод излагается применительно к деформируемым материалам и структурам сложного блочного строения, которые могут находиться в условиях воздействия физических полей.


Доп.точки доступа:
Бабешко, О. М.; Бабешко, В. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Топорков, В. В.
    Многоуровневые стратегии согласованного выделения ресурсов в распределенных вычислениях с контрольными сроками [Текст] / В. В. Топорков // Автоматика и телемеханика. - 2007. - N 12. - С. 131-146 : ил. - Библиогр.: с. 145-146 (23 назв. )
УДК
ББК 32.96 + 22.161.5
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Математика

   Теория функций

Кл.слова (ненормированные):
распределенные системы -- стратегии -- обработка данных -- информационные графы -- распределенные вычислительные системы -- распределение ресурсов -- теоремы -- функции -- функциональные уравнения
Аннотация: Предлагаются масштабируемая модель и методы согласованного выделения ресурсов для организации процессов обработки данных в распределенных системах на основе семейств опорных планов-стратегий.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Апарцин, А. С.
    Полилинейные уравнения Вольтерра I рода и некоторые задачи управления [Текст] / А. С. Апарцин // Автоматика и телемеханика. - 2008. - N 4. - С. 3-16 : ил. - Библиогр.: с. 16 (13 назв. )
УДК
ББК 32.96
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

Кл.слова (ненормированные):
полилинейные уравнения -- уравнения Вольтерра -- Вольтерра уравнения -- интегральные уравнения -- дифференциальные уравнения -- функциональные уравнения -- динамические системы -- функция Дирака -- Дирака функция
Аннотация: Изложены элементы теории полилинейных уравнений Вольтерра I рода, базирующейся на понятии соответствующих мажорантных уравнений.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чебурахин, И. Ф.
    Математические модели для интеллектуализации синтеза дискретных логических управляющих устройств [Текст] / И. Ф. Чебурахин // Известия РАН. Теория и системы управления. - 2008. - N 1. - С. 68-77. - Библиогр.: c. 76-77 (27 назв. )
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
дискретные управляющие устройства -- логические управляющие устройства -- дискретные логические устройства -- функциональные уравнения -- математические модели -- интеллектуализация синтеза устройств -- цифровые интегральные схемы
Аннотация: Предложен новый метод изучения математических моделей дискретных логических устройств на основе функциональных уравнений.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Румянцев, Г. Н. (д. т. н., проф.).
    Автоматизация и оптимизация синтеза комбинационных автоматов [Текст] / Г. Н. Румянцев, И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2008. - N 7 (88). - С. 54. - Полный текст статьи опубликован в Приложении к журналу
УДК
ББК 22.19
Рубрики: Математика
   Вычислительная математика

Кл.слова (ненормированные):
цифровые интегральные схемы -- булевы функции -- показатели качества -- функциональные уравнения -- многокритериальная оптимизация -- интеллектуальный синтез -- комбинационные автоматы
Аннотация: Показываются возможности функциональных уравнений при представлении булевых функций в классах формул и схем из функциональных элементов в разных базисах, позволяющие получать соответствующие выражения для показателей сложности-качества и минимизировать их. Эти результаты предлагается использовать в системах интеллектуального синтеза комбинационных автоматов в базисе микросхем.


Доп.точки доступа:
Чебурахин, И. Ф. (д. т. н., проф.)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чебурахин, И. Ф. (д. т. н., профессор).
    Оптимизация и автоматизация синтеза симметрических комбинационных автоматов на основе базовых матричных кристаллов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2009. - N 7 (100). - С. 19-29. : ил. - Библиогр.: с. 29 (28 назв. )
УДК
ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Математика

   Математическая кибернетика

Кл.слова (ненормированные):
симметрические автоматы -- комбинационные автоматы -- матричные кристаллы -- функциональные уравнения -- булевы функции -- цифровые интегральные схемы -- декомпозиции
Аннотация: Предлагаются методы и средства для оптимизации и автоматизации синтеза комбинационных автоматов на основе базовых матричных кристаллов. Показываются возможности использования функциональных уравнений при представлении симметрических булевых функций в классах формул и схем из функциональных элементов в разных базисах, позволяющие получать соответствующие функционалы для показателей сложности-качества и минимизировать их.


Доп.точки доступа:
Цурков, В. И. (д-р физ. -мат. наук, профессор, зав. отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Заказаны экз-ры для отделов: ч.з.




    Марченков, С. С.
    О решениях систем фунциональных уравнений многозначной логики [Текст] / С. С. Марченков, В. С. Федорова // Доклады Академии наук. - 2009. - Т. 426, N 4, июнь. - С. 448-449. . - Библиогр.: с. 449
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
уравнения -- функциональные уравнения -- функциональные константы -- единственное решение -- множественные решения -- булевы алгебры -- функциональные переменные -- индивидные переменные
Аннотация: Рассматриваются общие вопросы, относящиеся к решеним систем функциональных уравнений: зависимость решений от функциональных констант, возможность построения систем уравнений с заданным единственным решением или заданным множеством решений.


Доп.точки доступа:
Федорова, В. С.
Нет сведений об экземплярах (Источник в БД не найден)




    Чебурахин, И. Ф. (д-р техн. наук, профессор).
    Специальная реляционная база данных для оптимизации и автоматизации синтеза комбинационных автоматов [Текст] / И. Ф. Чебурахин, В. И. Цурков // Мехатроника, автоматизация, управление. - 2010. - N 9 (114). - С. 7-13. : ил. - Библиогр.: с. 12-13 (28 назв. )
УДК
ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Математика

   Математическая кибернетика

Кл.слова (ненормированные):
реляционные базы данных -- комбинационные автоматы -- булевы функции -- декомпозиции -- функциональные уравнения -- многокритериальная оптимизация
Аннотация: Для оптимизации и автоматизации синтеза комбинационных автоматов предлагаются методы на основе структурно-функциональной последовательной (параллельной) декомпозиции булевых функций, а также на основе функциональных уравнений. Получены оценки для показателей качества синтеза в разных базисах: число символов переменных в задающей функцию формуле; число подформул и глубина формулы; число функциональных элементов и глубина схемы, составляющие реляционную базу данных. Некоторые полученные оценки показателей качества - ложности синтеза, представляющие практический интерес, минимальные.


Доп.точки доступа:
Цурков, В. И. (д-р физ. -мат. наук, профессор, зав. отделом)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Артюнов, А. В.
    Локальная разрешимость управляемых систем со смешанными ограничениями [Текст] / А. В. Артюнов, С. Е. Жуковский // Дифференциальные уравнения. - 2010. - Т. 46, N 11. - С. 1561-1570. . - Библиогр.: с. 1570 (7 назв. )
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
управляемые системы -- локальная разрешимость -- смешанные ограничения -- оптимальное управление -- дифференциальные уравнения -- функциональные уравнения -- ограничения на управление
Аннотация: Исследуется локальная разрешимость управляемой системы со смешанными ограничениями и ограничениями на управление.


Доп.точки доступа:
Жуковский, С. Е.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




   
    К шестидесятилетию Камиля Басировича Сабитова [Текст] // Дифференциальные уравнения. - 2011. - Т. 47, N 6. - С. 763.
УДК
ББК 22.1г + 22.161.6
Рубрики: Математика
   История математики

   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
профессора -- математики -- дифференциальные уравнения -- интегральные уравнения -- функциональные уравнения -- обратные задачи -- краевые задачи -- уравнения математической физики -- прикладная математика
Аннотация: В 2011 году исполнилось 60 лет Камилю Басировичу Сабитову, математику, доктору физико-математических наук, профессору, заслуженному деятелю науки РБ. Ему принадлежат труды по дифференциальным уравнениям смешанного типа, уравнениям математической физики.


Доп.точки доступа:
Сабитов, К. Б. (член-корреспондент АН РБ, доктор физико-математических наук, профессор ; 1951-)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Бабешко, В. А.
    Об автоморфизме и псевдодифференциальных уравнениях в методе блочного элемента [Текст] / В. А. Бабешко, О. В. Евдокимова, О. М. Бабешко // Доклады Академии наук. - 2011. - Т. 438, N 5, июнь. - С. 623-625. . - Библиогр.: с. 625
УДК
ББК 30.121
Рубрики: Техника
   Сопротивление материалов

Кл.слова (ненормированные):
псевдодифференциальные операторы -- факторизационные методы исследования -- функциональные уравнения
Аннотация: Рассматривается взаимосвязь автоморфизма и псевдодифферинциальных уравнений для построения блочных структур методом блочного элемента.


Доп.точки доступа:
Евдокимова, О. В.; Бабешко, О. М.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чебурахин, И. Ф. (доктор технических наук; профессор).
    Математические модели для минимизации и автоматизации синтеза дискретных управляющих систем [Текст] / И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2012. - № 4 (133). - С. 5-13 : ил. - Библиогр.: с. 13 (17 назв.) . - ISSN 1684-6427
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
математические модели -- синтез формул -- синтез схем -- дискретные управляющие системы -- автоматизация синтеза -- булевы функции -- декомпозиция -- функциональные уравнения -- функциональные элементы
Аннотация: Исследуется задача реализации булевых функций в классе формул и схем из функциональных элементов (ФЭ) в разных базисах. Предлагается конструктивный метод синтеза на основе функциональных уравнений, сопровождаемый получением заранее аналитически верхних оценок различных показателей сложности (по числу подформул и глубине суперпозиционной формулы; по числу ФЭ и глубине схемы). При реализации произвольной булевой функции в базисе Жегалкина выводится структура оценивающего функционала по сложности.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Васьковский, М. М.
    Существование бета-мартингальных решений стохастических эволюционных функциональных уравнений параболического типа с измеримыми локально ограниченными коэффициентами [Текст] / М. М. Васьковский // Дифференциальные уравнения. - 2012. - Т. 48, № 8. - С. 1080-1095. - Библиогр.: с. 1095 (22 назв.) . - ISSN 0374-0641
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
бета-мартингальные решения -- решение уравнений -- стохастические уравнения -- эволюционные уравнения -- функциональные уравнения -- уравнения параболического типа -- измеримые коэффициенты -- ограниченные коэффициенты -- теоремы существования решений -- условие Липшица -- Липшица условие -- достаточные условия -- конечное время -- мера Бореля -- Бореля мера
Аннотация: Доказана теорема существования бета-мартингальных решений стохастических эволюционных функциональных уравнений параболического типа.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Зарубин, А. Н.
    Краевая задача для уравнения смешанного типа с опережающе-запаздывающим аргументом [Текст] / А. Н. Зарубин // Дифференциальные уравнения. - 2012. - Т. 48, № 10. - С. 1404-1411. - Библиогр.: с. 1411 (5 назв.) . - ISSN 0374-0641
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
краевые задачи -- уравнения смешанного типа -- опережающе-запаздывающие аргументы -- смешанное отклонение аргументов -- задача Трикоми -- аргументы -- уравнение Лаврентьева - Бицадзе -- Трикоми задача -- теорема единственности решений -- Лаврентьева - Бицадзе уравнение -- разрешимость разностных уравнений -- единственность решений задач -- разностные уравнения -- интегральные представления решений -- формула Даламбера -- Даламбера формула -- задача Коши -- Коши задача -- функциональные уравнения
Аннотация: Исследуется задача Трикоми для уравнения Лаврентьева - Бицадзе со смешанным отклонением аргумента. Теорема единственности решения задачи доказана при ограничении на величину отклонения аргумента. Вопрос существования решения связан с разрешимостью разностного уравнения. В явной форме найдены интегральные представления решений.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чебурахин, И. Ф. (доктор технических наук; профессор).
    Алгоритмизация представления булевых функций формулами и схемами минимальной сложности в базисе Жегалкина [Текст] / И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2012. - № 12 (141). - С. 7-14. - Библиогр.: с. 14 (10 назв.) . - ISSN 1684-6427
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
алгоритмизация -- булевы функции -- базис Жегалкина -- Жегалкина базис -- минимизация -- декомпозиция -- синтез булевых формул -- функциональные уравнения -- функциональные элементы
Аннотация: Предлагаются алгоритмы синтеза булевых (логических) формул в базисе Жегалкина и получения при этом эффективных оценок сложности (по числу букв, базисных функций и других). Также предложена оригинальная классификация множества булевых функций, позволяющая выводить некоторые счетные их классы на основе функциональных уравнений и подсчитывать мощность этих классов. При этом методы позволяют проводить эффективный синтез схем из функциональных элементов.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чурбанов, Д. В.
    Итерационный метод решения обратной задачи для нелинейного уравнения первого порядка в частных производных с оценками гарантированной точности и числа шагов [Текст] / Д. В. Чурбанов, А. Ю. Щеглов // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 2. - С. 275-280. - Библиогр.: c. 280 . - ISSN 0044-4669
УДК
ББК 22.19
Рубрики: Математика
   Вычислительная математика

Кл.слова (ненормированные):
единственность решения -- итерационные методы решения задач -- итерационные методы решения обратных задач -- нелинейные уравнения -- обратные задачи -- прямые задачи -- существование решения -- функциональные уравнения
Аннотация: Исследуется обратная задача определения по дополнительному граничному условию нелинейной правой части уравнения в частных производных, моделирующего популяционную динамику. Такая обратная задача сводится к функциональному уравнению, для которого доказаны существование и единственность решения. Предложен итерационный метод решения обратной задачи, для которого получены оценки точности и ограничения на число шагов.


Доп.точки доступа:
Щеглов, А. Ю.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Чебурахин, И. Ф. (доктор технических наук; профессор; заведующий кафедрой).
    О логическом управлении и обработке информации в дискретных технических системах на основе функциональных уравнений [Текст] / И. Ф. Чебурахин // Мехатроника, автоматизация, управление. - 2013. - № 11 (152). - С. 9-16 : ил. - Библиогр.: с. 16 (14 назв.) . - ISSN 1684-6427
УДК
ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Математика

   Математическая кибернетика

Кл.слова (ненормированные):
булевы функции -- дискретные технические системы -- логическое управление -- обработка информации -- структурно-функциональная декомпозиция -- технические системы -- функциональные уравнения
Аннотация: Разработаны методы реализации логических алгоритмов (булевых функций) на основе функциональных уравнений (структурно-функциональной параллельной декомпозиции), которые позволяют наряду с синтезом схемы получать соответствующие значения различных показателей сложности в разных базисах.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)




    Коротков, Виталий Борисович.
    О линейных функциональных уравнениях 1-го, 2-го и 3-го родов L[2] [Текст] / В. Б. Коротков // Сибирский математический журнал. - 2013. - Т. 54, № 6 (322). - С. 1294-1303. - Библиогр.: с. 1303 (9 назв.) . - ISSN 0037-4474
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
Гильберта - Шмидта оператор -- интегральные операторы -- интегральные уравнения -- карлемановский интегральный оператор -- линейные функциональные уравнения -- оператор Гильберта - Шмидта -- функциональные уравнения
Аннотация: Рассматриваются функциональные уравнения 1-го, 2-го и 3-го родов с операторами из широких классов линейных непрерывных операторов в L[2], содержащих все интегральные операторы.

Нет сведений об экземплярах (Источник в БД не найден)




    Коротков, Виталий Борисович.
    Компактные по мере, почти компактные операторы и линейные функциональные уравнения в L[p] [Текст] / В. Б. Коротков // Сибирский математический журнал. - 2013. - Т. 54, № 3 (319). - С. 610-619. - Библиогр.: с. 618-619 (12 назв.) . - ISSN 0037-4474
УДК
ББК 22.161.6
Рубрики: Математика
   Дифференциальные и интегральные уравнения

Кл.слова (ненормированные):
интегральные операторы -- карлемановские интегральные операторы -- компактные операторы -- линейные уравнения -- функциональные уравнения
Аннотация: Изучаются компактные по мере и почти компактные операторы в L[p]. Приводятся методы сведения линейных функциональных уравнений 2-го рода в L[p] с почти компактными или компактными по мере операторами к эквивалентным линейным интегральным уравнениям в L[p] с квазивырожденными карлемановскими ядрами.

Нет сведений об экземплярах (Источник в БД не найден)