Цифрове мистецтво у підготовці фахівців дизайну і технологій

In the introduction of the article, the main trends of the modern world economy and their influence on the training of Ukrainian specialists in design and technology are clarified. The need for the synthesis of information technologies with art and scientific design education is emphasized. In the analysis of the latest researches and publications, provisions regarding the development of new forms and methods of training specialists in design and technology are singled out; development of scientific and artistic synthesis "science-art", mastering of digital art. A comparative analysis of the practical experience of design education in Great Britain and Ukrainian design education was carried out. The experience of using digital art for visual presentation of analytical computer graphics, which is necessary for digital illustration, is presented. Specific methods of research in the field of design education are characterized, corresponding to the modernized descriptors of the international and national framework of qualifications. It is recommended that the new descriptors of the National Framework of Qualifications be applied taking into account the STEAM approach to professional design education, where the abbreviation MM stands for design management and design marketing. The comments indicate insufficient digital socialization of design and technology specialists and little use of digital art in the training of design and technology specialists. The conditions for the transformation of the field of design in the cybertopia paradigm are formulated.Key words: digital art, design and technology, virtual environment, design education, science art.У вступі статті з’ясовано основні тренди сучасної світової економіки та їх вплив на підготовкуукраїнських фахівців з дизайну і технологій.Наголошено на необхідності синтезу інформаційних технологій з мистецтвом і науковою дизайн-освітою. В аналізі останніх досліджень і публікацій виокремлено положення щодо розроблення нових форм і методів підготовки фахівців з дизайну і технологій; розвитку науково-мистецького синтезу «сайнс-арт», оволодіння цифровим мистецтвом. Здійснено порівняльний аналіз практичного досвіду дизайн-освіти Великої Британії та української дизайн-освіти. Наведено досвід застосування цифрового мистецтва для образної подачі аналітичної комп’ютерної графіки, що необхідна для цифрової ілюстрації. Охарактеризовано специфічні методи досліджень в галузі дизайн-освіти, що відповідають модернізованим дескрипторам міжнародної та національної рамки кваліфікацій. Рекомендовано нові дескриптори Національної рамки кваліфікацій  застосовувати з урахуванням STEAMМ-підходу до професійної дизайн-освіти, де абревіатура ММ позначає дизайн-менеджмент і дизайн-маркетинг.У зауваженнях вказано на недостатню цифрову соціалізацію фахівців дизайну і технологій та незначне застосування цифрового мистецтва у підготовці фахівців з дизайну і технологій. Сформульовано умови трансформації галузі дизайну в парадигмі кібертопії.Ключові слова:цифрове мистецтво, дизайн і технології, віртуальне середовище, дизайн-освіта, сайнс-арт.

An Algebraic Method to Identify Classes of Formulas in Calculus of Predicates

The P-complete problem of logic deduction in classical propositional and first order predicate calculus is considered. The suggested method is alternative to the traditional methods of direct and inverse logic deduction in particular to the Robinson’s resolution principle. The deterministic algorithm of polynomial complexity based on Boolean algebra of cubic functions for differentiation between two classes of formulas: valid and satisfiable, or unsatisfiable and satisfiable, is suggested.Рассматривается NP-полная проблема логического вывода в классическом исчислении высказываний и в исчислении предикатов первого порядка. Предложенный метод является альтернативой традиционным методам прямого и обратного логического вывода, в частности, принципа резолюций Робинсона. Предложен детерминированный алгоритм логического вывода полиномиальной сложности, который базируется на булевой алгебре кубических функций, позволяет различать два класса формул: тождественно-истинные и выполнимые или тождественно-ложные и выполнимые

Результати дослідження коректувальної здатності ітеративних завадостійких кодів

The influence of the theory of information on development of the error correcting coding theory has been studied. Main differences between the probabilistic approach and the deterministic approach in the analysis of error-correcting capabilities of different classes of linear codes have been demonstrated.The automaton hierarchical models for analysis of permutation decoding of cyclic codes have been developed and a cyclic permutation generator based on two Moore automata has been proposed.A study has been carried out into the regular and irregular states of linear finite-state machines (LFSM) based on the automaton representation of cyclic codes. A possibility of significant simplification of decoding of cyclic codes based on conversion of irregular LFSM syndromes into regular ones using permutations has been shown.The formalized methods for determination of error-correcting capabilities of iteratively decoded cyclic codes (IDCC) have been devised. They imply the replacementof traditional complete checking of all possible options for comparison of code words to directional search for the solution of the assigned problem, which leads to a significant time saving for calculations. The algorithm for determination of error-correcting capabilities of IDCC with respect to double errors is given.It has been shown that all iterative codes increase their error-correcting capabilities with an increase in the number of iterations and one can set it as a percentage for errors of various multiplicities. A distribution of error syndromes to separate iterations has been performed, which makes it possible to reduce the length of a check word in a code. As a result, this leads to an increase in a rate of iterative codes in comparison with the traditional correction codes.A comparative analysis of IDCC and LDPC codes has been carried out to determine a scope of their optimal useПроведено исследование влияния теории информации на развитие теории помехоустойчивого кодирования. Показаны основные различия между вероятностным и детерминированным подходами при анализе корректирующей способности различных классов линейных кодов.Разработаны автоматные иерархические модели для анализа перестановочного декодирования циклических кодов и предложен генератор циклических перестановок на основе двух автоматов Мура.На основе автоматного представления циклических кодов проведено исследование регулярных и нерегулярных состояний линейных последовательностных схем (ЛПС). Показана возможность существенного упрощения декодирования циклических кодов на основе перевода нерегулярных синдромов ЛПС в регулярные с помощью перестановок.Разработаны формализованные методы определения корректирующей способности итеративно декодируемых циклических кодов (ИДЦК). Традиционный полный перебор всех возможных вариантов сравнения кодовых слов заменен направленным поиском решения поставленной задачи, что приводит к значительному экономии времени вычислений. Приведен алгоритм определения корректирующей способности ИДЦК относительно двойных ошибок.Показано, что все итеративные коды повышают свою корректирующую способность с увеличением числа итераций и ее можно задавать в процентах для ошибок различной кратности. Синдромы ошибок распределяются по отдельным итерациям, что позволяет уменьшить разрядность проверочного слова кода. В конечном итоге это приводит к увеличению скорости итеративных кодов по сравнению с традиционными корректирующими кодами.Проведен сравнительный анализ ИДЦК и LDPC-кодов для определения сферы их оптимального примененияПроведено дослідження впливу теорії інформації на розвиток теорії завадостійкого кодування. Показані основні відмінності між ймовірнісним та детермінованим підходами при аналізі коректувальної здатності різних класів лінійних кодів.Розроблені автоматні ієрархічні моделі для аналізу перестановочного декодування циклічних кодів і запропоновано генератор циклічних перестановок на основі двох автоматів Мура.На основі автоматного представлення циклічних кодів проведено дослідження регулярних і нерегулярних станів лінійних послідовнісних схем (ЛПС). Показана можливість суттєвого спрощення декодування циклічних кодів на основі переведення нерегулярних синдромів ЛПС в регулярні за допомогою перестановок.Розроблено формалізовані методи визначення коректувальної здатності циклічних кодів, що ітеративно декодуються (ІДЦК). Традиційний повний перебір всіх можливих варіантів порівняння кодових слів замінено направленим пошуком розв’язання поставленої задачі, що призводить до значної економії часу обчислень. Наведено алгоритм визначення коректувальної здатності ІДЦК відносно подвійних помилок.Показано, що всі ітеративні коди підвищують свою коректувальну здатність зі збільшенням числа ітерацій і її можна задавати у відсотках для помилок різної кратності. Синдроми помилок розподіляються по окремим ітераціям, що дозволяє зменшити розрядність перевіряльного слова коду. В кінцевому результаті це призводить до збільшення швидкості ітеративних кодів в порівнянні з традиційними коректувальними кодами.Проведено порівняльний аналіз ІДЦК і LDPC-кодів для визначення сфери їх оптимального застосуванн

Результати дослідження коректувальної здатності ітеративних завадостійких кодів

The influence of the theory of information on development of the error correcting coding theory has been studied. Main differences between the probabilistic approach and the deterministic approach in the analysis of error-correcting capabilities of different classes of linear codes have been demonstrated.The automaton hierarchical models for analysis of permutation decoding of cyclic codes have been developed and a cyclic permutation generator based on two Moore automata has been proposed.A study has been carried out into the regular and irregular states of linear finite-state machines (LFSM) based on the automaton representation of cyclic codes. A possibility of significant simplification of decoding of cyclic codes based on conversion of irregular LFSM syndromes into regular ones using permutations has been shown.The formalized methods for determination of error-correcting capabilities of iteratively decoded cyclic codes (IDCC) have been devised. They imply the replacementof traditional complete checking of all possible options for comparison of code words to directional search for the solution of the assigned problem, which leads to a significant time saving for calculations. The algorithm for determination of error-correcting capabilities of IDCC with respect to double errors is given.It has been shown that all iterative codes increase their error-correcting capabilities with an increase in the number of iterations and one can set it as a percentage for errors of various multiplicities. A distribution of error syndromes to separate iterations has been performed, which makes it possible to reduce the length of a check word in a code. As a result, this leads to an increase in a rate of iterative codes in comparison with the traditional correction codes.A comparative analysis of IDCC and LDPC codes has been carried out to determine a scope of their optimal useПроведено исследование влияния теории информации на развитие теории помехоустойчивого кодирования. Показаны основные различия между вероятностным и детерминированным подходами при анализе корректирующей способности различных классов линейных кодов.Разработаны автоматные иерархические модели для анализа перестановочного декодирования циклических кодов и предложен генератор циклических перестановок на основе двух автоматов Мура.На основе автоматного представления циклических кодов проведено исследование регулярных и нерегулярных состояний линейных последовательностных схем (ЛПС). Показана возможность существенного упрощения декодирования циклических кодов на основе перевода нерегулярных синдромов ЛПС в регулярные с помощью перестановок.Разработаны формализованные методы определения корректирующей способности итеративно декодируемых циклических кодов (ИДЦК). Традиционный полный перебор всех возможных вариантов сравнения кодовых слов заменен направленным поиском решения поставленной задачи, что приводит к значительному экономии времени вычислений. Приведен алгоритм определения корректирующей способности ИДЦК относительно двойных ошибок.Показано, что все итеративные коды повышают свою корректирующую способность с увеличением числа итераций и ее можно задавать в процентах для ошибок различной кратности. Синдромы ошибок распределяются по отдельным итерациям, что позволяет уменьшить разрядность проверочного слова кода. В конечном итоге это приводит к увеличению скорости итеративных кодов по сравнению с традиционными корректирующими кодами.Проведен сравнительный анализ ИДЦК и LDPC-кодов для определения сферы их оптимального примененияПроведено дослідження впливу теорії інформації на розвиток теорії завадостійкого кодування. Показані основні відмінності між ймовірнісним та детермінованим підходами при аналізі коректувальної здатності різних класів лінійних кодів.Розроблені автоматні ієрархічні моделі для аналізу перестановочного декодування циклічних кодів і запропоновано генератор циклічних перестановок на основі двох автоматів Мура.На основі автоматного представлення циклічних кодів проведено дослідження регулярних і нерегулярних станів лінійних послідовнісних схем (ЛПС). Показана можливість суттєвого спрощення декодування циклічних кодів на основі переведення нерегулярних синдромів ЛПС в регулярні за допомогою перестановок.Розроблено формалізовані методи визначення коректувальної здатності циклічних кодів, що ітеративно декодуються (ІДЦК). Традиційний повний перебір всіх можливих варіантів порівняння кодових слів замінено направленим пошуком розв’язання поставленої задачі, що призводить до значної економії часу обчислень. Наведено алгоритм визначення коректувальної здатності ІДЦК відносно подвійних помилок.Показано, що всі ітеративні коди підвищують свою коректувальну здатність зі збільшенням числа ітерацій і її можна задавати у відсотках для помилок різної кратності. Синдроми помилок розподіляються по окремим ітераціям, що дозволяє зменшити розрядність перевіряльного слова коду. В кінцевому результаті це призводить до збільшення швидкості ітеративних кодів в порівнянні з традиційними коректувальними кодами.Проведено порівняльний аналіз ІДЦК і LDPC-кодів для визначення сфери їх оптимального застосуванн

Waveguide propagation of light in polymer porous films filled with nematic liquid crystals

We theoretically analyze the waveguide regime of light propagation in a cylindrical pore of a polymer matrix filled with liquid crystals assuming that the effective radial optical anisotropy is biaxial. From numerical analysis of the dispersion relations, the waveguide modes are found to be sensitive to the field-induced changes of the anisotropy. The electro-optic properties of the polymer porous polyethylene terephthalate (PET) films filled with the nematic liquid crystal 5CB are studied experimentally and the experimental results are compared with the results of the theoretical investigation.Comment: 15 pages, 10 figures, revtex4-

Пристрій для виправлення помилок в циклічних (n,k)-кодах

Пристрій для виправлення помилок в циклічних (n,k)-кодах складається з перетворювача кодів і блока синхронізації. В пристрій додатково введені блок виявлення регулярних випадкових помилок, блок виявлення нерегулярних випадкових помилок, блок виявлення розріджених пакетів помилок, блок виявлення суцільних пакетів помилок, блок формування вектора помилки і блок виправлення помило

Пристрій для паралельного зовнішнього сортування даних

1. Пристрій для паралельного зовнішнього сортування даних, який складається із блоків часткового сортування, блоку розподілу даних, виходів якого з'єднані з входами блоків часткового сортування, який відрізняється тим, що в нього введені блок пам'яті вхідних даних, блок пошуку мінімального елемента, блок пошуку максимального елемента, блок пам'яті вихідних даних, блок керування, виходи якого з'єднані з входами керування блоку розподілу даних, блоків початкового сортування, блоку пам'яті вихідних даних і блоку пам'яті вхідних даних, інформаційний вхід якого з'єднаний з інформаційним входом пристрою, а вихід з'єднаний з інформаційним входом блоку розподілу даних, р виходів якого з'єднані, відповідно, з інформаційними входами р блоків сортування, виходи мінімуму і виходи максимуму яких з'єднані відповідно, з входами блоку пошуку мінімального елемента і блоку пошуку максимального елемента, виходи яких з'єднані відповідно з першим інформаційним входом і другим інформаційним входом блоку пам'яті вихідних даних, інформаційний вихід якого під'єднаний до інформаційного виходу пристрою, вхід керування якого з'єднаний з входом початкового установлення блока керування. 2. Пристрій за п. 1, який відрізняється тим, що блок пошуку мінімального елемента містить вузлів вибору мінімального з двох елементів, які утворюють -piвневе бінарне дерево у якому вузол, що відповідає кінцевій вершині дерева має входи і j-й , а вихід вузла, що відповідає кореневій вершині дерева, з'єднаний з виходом блоку. 3. Пристрій за п. 1, який відрізняється тим, що блок пошуку максимального елемента містить вузлів вибору максимального з двох елементів, які утворюють -piвневе бінарне дерево у якому вузол, що відповідає кінцевій вершині дерева має входи і j-й , а вихід вузла, що відповідає кореневій вершині дерева, з'єднаний з виходом блоку

Justification of Filter Selection for Robot Balancing in Conditions of Limited Computational Resources

The paper considers the problem of mathematical filter selection, used for balancing of wheeled robot in conditions of limited computational resources. The solution based on complementary filter is proposed

Pictorial as readable: ekphrasis in a literary work and reader’s perception

The interaction of arts which poets, writers, artists, scholars and philosophers have always paid considerable attention, has gained popularity recently and it has been given serious consideration in art history, literary and cultural studies, and aesthetics. Some researchers explain a growing interest in the phenomenon of increasing significance of visuality in modern culture. The aim of the article is to clarify the status quo in the study of ekphrasis in literary and cultural studies. To achieve the aim pursued, the following research methods have been used: cultural-aesthetic, comparative and hermeneutic. The paper focuses on the concept of ekphrasis and its use in literary works and studies the current trends in the study of ekphrasis, regarding its definition, typology, functions, ekphrastic genre invariants, and reader’s perception of ekphrasis. Some exemplary instances of ekphrasis description in English ekphrastic poetry and emotive prose have been considered, and the verbal means of ekphrasis generation have been analysed. The analysis of the most popular works of domestic and foreign scholars such as: N.S. Bochkareva, L. Geller, N.N. Yefimova, A.Yu. Krivoruchko, V. Cunningham, J. Hollander, L. Spitzer and many others, has allowed to make the conclusion that most scholars use the definition of ekphrasis as a “poetic description of a pictorial or sculptural work of art” suggested by Leo Spitzer, although, the definition of ekphrasis as a “verbal representation of visual representation” of James Hefferman, which is a broader concept is also popular. Different classifications of ekphrasis have been suggested by the researchers. N. Braginskaya, for instance, distinguishes the dialogical and monological ekphrasis on the basis of the internal structure of the text, the main difference being the manner of presenting information to the reader. The typology of ekphrasis and its main functions are mainly given on the basis of creative works of a particular writer or poet and many researchers pay attention to sense general features of ekphrasis as the process which combines iconic and sign images in verbal discourse. Ekphrasis, being the representation of other arts in literature, expands considerably the narrative space. The origin of ekphrasis goes back to the ancient times where it is seen as a rhetorical device. In classical rhetoric, ekphrasis could refer virtually to any extended description of art objects. Ekphrasis, an ancient rhetorical term, has been now revived in academic circles, in the studies of art and literature. After languishing in obscurity until 1967, when Murray Krieger published a notable essay on it, ekphrasis is commanding major attention, “ploughing the inexhaustibly fertile ground where literature meets visual arts”. There are various approaches to the study of the ekphrastic tradition, and the historical approach being one of them, can be seen in many works. Ekphrasi in modern research is a multifaceted and polyfunctional phenomenon. The typology of ekphrasis and its main functions are mainly given on the basis of the particular poet`s or writer`s creative works, paying attention to some general features of ekphrasis which combines iconic and sign images in verbal discourse. The phenomenon of ekphrasis merits further consideration, especially, due to the availability of Liliane Louvel’s The Pictorial Third: An Essay into Intermedial Criticism, which provides the author’s innovative approach to the understanding of the relationships between the literary text and image