Кафедра програмної інженерії (ПІ)
Постійний URI для цієї колекції
Перегляд
Перегляд Кафедра програмної інженерії (ПІ) за датою видання
Зараз показано 1 - 20 з 699
Результатів на сторінку
Варіанти сортування
Публікація Модифицированный метод ветвей и границ для автоматической обработки лингвистических единиц(«Вища школа», 1990) Дударь, З. В.; Максимова, В. С.Наиболее эффективный метод общения с высокопроизводительными ЭВМ — непосредственное обращение к внутренним машинным операциям с помощью естественной человеческой речи. В этой связи одной из актуальнейших задач является моделирование лингвистических закономерностей процессов распознавания и синтеза речи.Публікація Основы программирования на языке PEXX в подсистеме диалоговой обработки системы виртуальных машин ЕС ЭВМ(МОУ, 1993) Бондаренко, М. Ф.; Лесная, Н. С.; Шубин, И. Ю.Публікація Про методику вибору структури векторів закінчення і смислу(ХНУРЭ, 1997) Ревенчук, І. А.; Четвериков, Г. Г.Публікація Пристрій відтворення зон нестійкості коливальної системи зі змінними параметрами(1997) Сокорчук, І. П.; Чередников, П. І.Розглядається пристрій, що належить до обчислювальної техніки і може бути використаний у системах автоматики, радіоелектроніки та інших галузях техніки для візуалізації зон нестійкості коливальних систем. Винахід дає можливість оперативно відтворювати зони нестійкості коливальних системи зі змінними параметрами.Публікація Квазиоптимальная по квадратичному критерию переориентация космических аппаратов(Курсор Лтд, 1997) Успенский, В. Б.; Назаров, А. С.Публікація Отношения как объекты формульного описания(ХНУРЭ, 1997) Дударь, З. В.; Мельникова, Р. В.; Шабанов-Кушнаренко, Ю. П.Предлагается один из перспективных подходов к решению задачи углубленного изучения понятия знания, заключающийся в том, что последние отождествляются с отношениями, а их обработка приравнивается к выполнению операций над ними. С этой точки зрения любое сообщение, понятия и высказывания представляют собой отношения.Публікація Отображения как объекты формульного описания(ХНУРЭ, 1998) Дударь, З. В.; Самуйлик, И. Г.; Шабанов-Кушнаренко, Ю. П.Рассмотрены связи и переходы между бинарными отношениями, предикатами и отображениями, соответствующими друг другу. Предложен способ формульного представления отображений, основанный на использовании языка алгебры предикатов. Найден общий вид однозначных отображений. Результаты обобщены на случай произвольной арности.Публікація Аппаратная реализация к-значных моделей средствами АКП(ХГТУРЭ, 1998) Бавыкин, В. Н.; Ревенчук, И. А.; Четвериков, Г. Г.Аппаратная реализация к-значных моделей средствами АКППублікація Математическое моделирование и проектирование многоустойчивых элементов в интегральном исполнении для частотных систем передачи данных(ССПОИ, 1998) Карпухин, А. В.; Ревенчук, И. А.; Четвериков, Г. Г.Математическое моделирование и проектирование многоустойчивых элементов в интегральном исполнении для частотных систем передачи данныхПублікація Синтез швидкодіючих багатозначних структур мовних систем штучного інтелекту(1998) Бондаренко, М. Ф.; Ревенчук, І. А.; Четвериков, Г. Г.Синтез швидкодіючих багатозначних структур мовних систем штучного інтелектуПублікація О прикладной алгебре предикатных операций(ХТУРЭ, 1998) Дударь, З. В.; Кравец, Н. С.; Шабанов-Кушнаренко, Ю. П.Рассматривается задача разработки алгебр предикатных операций, более удобных практически для приложений, чем фундаментальная алгебра. На базе аппарата фундаментальной алгебры изучены операции над предикатами для построения более практичной алгебры предикатных операций — алгебры подстановочных операций, или прикладной алгебры. The task of development of predicate operations algebras, which are more convenient than the fundamental algebra for practical applications, is considered. Operations over predicates for constructing predicate operations algebras, substitution operation algebras or applied algebras are investigated using the apparatus of the fundamental algebra.Публікація О действиях с линейными логическими операторами(ХНУРЭ, 1998) Гвоздинская, Н. А.; Дударь, З. В.; Пославский, С. А.Рассмотрены такие действия с линейными логическими операторами как обращение, произведение и дизъюнкция, а также умножение оператора на логический скаляр. Показана линейность операторов, полученных в результате проведения указанных действий с линейными логическими операторами. Доказаны основные свойства перечисленных действий.Публікація Спосіб контролю положення рейки паливного насоса двз і пристрій для його здійснення(1998) Сокорчук, І. П.; Білогуб, О. В.Спосіб контролю положення рейки паливного насоса ДВЗ, при якому положення рейки постійно вимірюють за кількістю кроків зв'язаного з нею дискретного електропривода від нульового положення, який відрізняється тим, що в процесі пуску і роботи ДВЗ незалежно відмічають положення рейки, яке відповідає двом характерним режимам, наприклад, режиму нульової подачі і режиму початку димлення, контролюють збіг початку відліку з нульовою подачею при пуску, режим початку димлення при роботі і в разі збігу кількості кроків, яка відповідає відмітці початку димлення, результати виміру залишають без зміни, в разі незбігу- кількість виміряних кроків встановлюють відповідно початку димлення і подальші виміри проводять з урахуванням нового виміру положення рейки. 2. Пристрій для контролю положення рейки паливного насоса ДВЗ, що містить мікро-ЕОМ, і кроковий електродвигун привода рейки, зв'язаний з мікро-ЕОМ, який відрізняється тим, що пристрій додатково містить дискретний датчик положення рейки паливного насоса, зв'язаний з мікро-ЕОМ І виконаний у вигляді датчика Холла та магнітної заслінки, зв'язаної з рейкою паливного насоса, при цьому заслінка має дві крайки, причому крайки розміщені таким чином, що при установленні рейки в положення, яке відповідає, наприклад, початку димлення - заслінка припиняє шунтування.Публікація Тесты. Физика. Математическая логика(ХТУРЕ, 1998) Белоус, Д. Н.; Гетьманова, Е. Е.; Дударь, З. В.; Захарченко, В. Ф.; Красноголовец, М. А.; Лесная, Н. С.; Семенець, В. В.; Стороженко, В. А.; Харьковская, А. А.Тесты представляют собой оригинальные задачи, а так же адаптированный вариант системы GRE широко применяемой в образовании США в качестве вузовских или аспирантских экзаменов.Публікація Конспект лекцій з дисципліни "Основи дискретної математики" Розділ "Комбінаторика"(ХТУРЕ, 1998) Білоус, Н. В.; Шубін, І. Ю.Конспект лекцій з дисципліни "Основи дискретної математики" Розділ "Комбінаторика" для студентів спеціальностей "Програмне забезпечення автоматизованих систем", "Інтелектуальні системи прийняття рішень"Публікація Успокоение вращающегося спутника при неполной управляемости(ХГПУ, 1998) Успенский, В. Б.; Назаров, А. С.Публікація Математическое описание смысла текстов естественного языка(ХТУРЭ, 1998) Гвоздинская, Н. А.; Дударь, З. В.; Шабанов-Кушнаренко, Ю. П.Смысл текстов формализуется на основе аналогии между естественным языком и языками математики. Показано, что в текстах естественного языка неявно присутствуют предметные переменные. Вводится понятие смыслового предиката, предложена экспериментальная процедура его определения. Проанализированы причины и виды смысловой многозначности текста. The sense of the texts is formalized on the basis of the analogy between the natural language and mathematical languages. It is shown that in natural-lenguage texts object variables are implicitly present. The notion of a sense predicate is introduced, an experimental procedure is suggested for its determination. Causes for and classes of the text polysemy are analyzed.Публікація О лингвистической алгебре(ХНУРЭ, 1998) Баталин, А. В.; Дударь, З. В.; Стороженко, А. В.; Шабанов-Кушнаренко, Ю. П.Естественный язык формально описан в виде лингвистической алгебры. Семантика языка представлена алгеброй предикатов, синтаксис — алгеброй предикатных операций. В терминах лингвистической алгебры дана формальная трактовка ряда языковых явлений.Публікація О логических матрицах(ХТУРЭ, 1998) Гвоздинская, Н. А.; Дударь, З. В.; Пославский, С. А.; Шабанов-Кушнаренко, Ю. П.Введено понятие логической матрицы и показано, что для нее выполняются аксиомы логического поля. Рассмотрены основные операции над логическими матрицами и правила их транспонирования. Доказано, что обращение существует только для ортогональных логических матриц. Рассмотрена связь между операциями транспонирования и обращения. The concept of logical matrix is introduced. It is shown that the axioms of logical field are true for these matrices. The basic operations over the logical matrices and the rules of transposition of them are considered. It is proved that the inversion existsonly for the orthogonal logical matrices. The relation between the operations of transposition and of inversion is considered.Публікація Управление переориентацией исз с помощью избыточной системы гиродинов(НТУ "ХПІ", 1999) Назаров, А. С.