- предложена методология понятийного анализа, позволяющая на ос нове четырех видов отображений понятий получать синтаксически и се мантически замкнутые формальные спецификации предметной области;
- разработана технология контекстной обработки данных, предназначенная для сокращения семантического разрыва между содержательными представлениями относительно предметной области и языком моделирования (программирования);
- решена задача описания семантики формальных языков на основе метода математической индукции путем определения семантических категорий в процессе описания языка и описанными ранее средствами;
- обоснована методика алгебраического синтеза дискретных функций и найдены точные верхние оценки сложности синтезируемых формул в асимптотической области и при конечной размерности задачи;
- обобщена теория алгебраической декомпозиции дискретных функций в широком классе образующих алгебр, различающихся требованиями к алгебраическим операциям.
2.Выхованец В. С. Вычислительные средства и комплексы // Учебно-методическое пособие. Тирасполь, 1996. Ч. 2. 90 с.
3.Выхованец В. С. Многократные параллельные логические вычисления // Вестник Приднестровского университета. Тирасполь, 1997. № 2. С. 64-74.
4.Выхованец В. С. Дискретное преобразование Фурье и его примене-ние при логических вычислениях / Приднестровский гос.-корпорат. унив. им. Т.Г. Шевченко. Тирасполь, 1997. 18 с. Деп. в ВИНИТИ 05.06.97, № 1852-В97.
5.Выхованец В. С., Выхованец О. Д. Параллельная парадигма в про-граммировании и ее использование в языках высокого уровня // Вестник Приднестровского университета. Тирасполь, 1997. № 2. С. 74-79.
6.Выхованец В. С. Кратные логические вычисления и их применение в управлении, обработке информации и других областях / Приднестров¬ский гос.-корпорат. унив. им. Т.Г. Шевченко. Тирасполь, 1997. 18 с. Деп. в ВИНИТИ 05.06.97, № 1851-В97.
7.Выхованец В. С., Малюгин В. Д. Спектральные методы в логиче¬ском управлении // Тр. 2-й Межд. науч.-техн. конф. «Современные методы цифровой обработки сигналов в системах измерения, контроля, диагности-ки и управления». Минск, 1998. С. 56-59.
8.Выхованец В. С. Кратные логические вычисления и их применение при моделировании дискретных объектов / Автореферат дис. на соиск. уч. ст. канд. техн. наук. М., 1998. 23 с.
9.Выхованец В. С., Малюгин В. Д. Кратные логические вычисления // Автоматика и телемеханика. 1998. № 6. С. 163-171.
10.Выхованец В. С. Булевы мультипликативные формы // Тез. докл. Межд. науч.-практ. конф. «Математические методы в образовании, науке и промышленности». Тирасполь, 1999. С. 52-53.
11.Выхованец В. С. Контекстная технология программирования // Тр. 4-ой Межд. науч.-техн. конф. по телекоммуникациям (Телеком-99). Одес¬са, 1999. С. 116-119.
12.Vykhovanets V. S. The generalized multiplicative forms // Тез. докл. Межд. конф. по проблемам управления. М., 1999. Т. 3. С. 319-321.
13.Выхованец В. С. Обработка сигналов в дискретных базисах на ос-нове обобщенных полиномиальных форм //Докл. 2-й Межд. конф. «Циф-ровая обработка сигналов и ее применение». М., 1999. Т. 2. С. 372-377.
14.Vykhovanets V. S. Digital signal processing on basis of generalized polynomial forms // Proc. 2nd Int. Conf. «Digital signal processing and its ap-plications». Moscow, 1999. Vol. 2. PP. 378-379.
15.Выхованец В. С. Обобщенные полиномиальные формы // Радио-электроника. Информатика. Управление. 1999. № 2. С. 55-59.
16.Выхованец В. С. Параллельные вычисления во времени // Автома-тика и телемеханика. 1999. № 12. С. 155-165.
17.Выхованец В. С. Структурная организация кратных вычислений // Матер. межвузовской науч.-техн. конф. «Управляющие и вычислительные системы. Новые технологии». Вологда, 2000. С. 139-140.
18.Выхованец В. С. Асимптотические оценки при идентификации дискретных объектов // Матер. Межд. конф. «Идентификация систем и задачи управления» М., 2000. Электрон. опт. диск. ISBN 5-201-09605-0.
19.Выхованец В. С. Асимптотические оценки в многозначной логике // Матер. юбилейной конф. профессорско-преподавательского состава, по-священной 70-летию Приднестровского государственного университета им. Т.Г. Шевченко. Тирасполь, 2000. С. 264-270.
20.Выхованец В. С. Технология безопасного программирования // Тез. докл. 8-й Межд. конф. «Проблемы управления безопасностью сложных систем». М., 2000. Т. 2. С. 89-91.
21.Выхованец В. С. Кратные вычисления в современных высокопро-изводительных системах обработки данных // Вестник Приднестровского университета. 2000. № 1-2 (12). С. 99-110.
22.Иосенкин В. Я., Выхованец В. С. Технология контекстного про-граммирования в экономике и бизнесе // Матер. межвузовской науч.-техн. конф. «Управляющие и вычислительные системы. Новые технологии». Вологда, 2001. С. 180-181.
23.Иосенкин В. Я., Выхованец В. С. Контекстное программирование в моделировании // Матер. межд. науч.-практ. конф. «Моделирование. Тео-рия, методы и средства». Новочеркасск, 2001. Ч. 7. С. 49-51.
24.Выхованец В. С. О вычислимости конечных полей // Матер. межд. науч.-прак. конф. «Математическое моделирование в образовании, науке и производстве». Тирасполь, 2001. С. 475-477.
25.Иосенкин В. Я., Выхованец В. С. Формализация семантики искус-ственных языков // Матер. межд. науч.-практ. конф. «Математическое мо-делирование в образовании, науке и производстве». Тирасполь, 2001. С. 477-479.
26.Иосенкин В. Я., Выхованец В. С. Технология контекстного про-граммирования в телекоммуникационных системах // Тр. 2-ой Межд. на-уч.-практ. конф. «Современные информационные и электронные техноло-гии». Одесса: Друк, 2001. С. 118-119.
27.Vykhovanets V. S. Algebraic Systems for Digital Signal Processing // Proc. 6th Int. Conf. “Pattern Recognition and Information Processing”. Mink, 2001. Vol. 2. PP. 93-99.
28.Иосенкин В. Я., Выхованец В. С. Применение технологии контек-стного программирования для решения больших прикладных задач // Тр. Межд. конф. «Параллельные вычисления и задачи управления». М., 2001. С. (4)-121-139. Электрон. опт. диск. ISBN 5-201-09559-3.
29.Vykhovanets V. S. Fundamental Theorems for Polynomial Representa-tion of Discrete Functions // Proc. 4th Int. Conf. “Computer-Aided Design of Discrete Devices”. Mink, 2001. Vol. 1. PP. 69-76.
30.Выхованец В. С. Спектральные методы в логической обработке данных // Автоматика и телемеханика. 2001. № 10. С. 28-53.
31.Выхованец В. С. Аддитивная алгебра в цифровой обработке сигна-лов // Докл. 4-й Межд. конф. и выставки «Цифровая обработка сигналов и ее применение». М., 2002. Т. 2. С. 255-258.
32.Vykhovanets V. S. Additive Algebra for Digital Signal Processing // Proc. 4th Int. Conf. and Exhib. on Digital Signal Processing and its Applica¬tions. Moscow, 2002. Vol. 2. PP. 258-260.
33.Иосенкин В.Я., Выхованец В. С. Контекстная модель технологиче-ского процесса предприятия // Тр. 2-ой Межд. конф. «Идентификация сис-тем и задачи управления». М., 2003. С. 859-871. Электрон. опт. диск. ISBN 5-201-14948-0.
34.Выхованец В. С. Хааро-подобные системы сигналов // Докл. 5-й Межд. конф. и выставки «Цифровая обработка сигналов и ее применение». М., 2003. Т. 2. С. 279-283.
35.Vykhovanets V. S. Haar-Like Systems of Signals // Proc. 5th Int. Conf. and Exhib. on Digital Signal Processing and its Applications. Moscow, 2003. Vol. 2. PP. 283-285.
36.Выхованец В. С. Факторизация полиномиальных форм // Тез. докл. 2-ой Межд. конф. по проблемам управления. М., 2003. Т. 2. С. 108.
37.Выхованец В. С., Иосенкин В. Я. Высокоуровневая форма синтеза систем управления // Тез. докл. 2-ой Межд. конф. по проблемам управле-ния. М., 2003. Т. 2. С. 109.
38.Выхованец В. С., Малюгин В. Д. Мультипликативные формы и их применение при логических вычислениях // Тез. докл. 2-ой Межд. конф. по проблемам управления. М., 2003. Т. 2. С. 110-111.
39.Выхованец В. С., Иосенкин В. Я. Компиляция знаний, представ-ленных на языке ESSE // Тез. докл. 2-ой Межд. конф. по проблемам управ-ления. М., 2003. Т. 2. С. 165.
40.Выхованец В. С., Малюгин В. Д. Аппаратная и программная реали-зация мультипликативных форм // Теория и практика логического управ-ления: Тез. докл. Межд. конф., посвященной 100-летию со дня рождения чл.-кор. АН СССР М. А. Гаврилова. М., 2003. С. 79-81.
41.Выхованец В. С. Алгебраическая декомпозиция дискретных функ-ций в аддитивной алгебре // Теория и практика логического управления: Тез. докл. Межд. конф., посвященной 100-летию со дня рождения чл.-кор. АН СССР М. А. Гаврилова. М, 2003. С. 81-84.
42.Выхованец В. С., Малюгин В. Д. Мультипликативная алгебра и ее применение в логической обработке данных // Проблемы управления. 2004. № 3. С. 67-77.
43.Выхованец В. С. Полиномиальная факторизация спектральных ба-зисов // Тр. 5-й Межд. конф. «Автоматизация проектирования дискретных устройств». Минск, 2004. Т. 2. С. 71-79.
44.Выхованец В. С. Полиномиальная факторизация спектральных ба-зисов // Автоматика и телемеханика. 2004. № 12. С. 3-14.
45.Vykhovanets V. S. Additive algebra for signal and image processing // Proc. of SPIE. 2005. Vol. 5822. PP. 94-97.
46.Выхованец В. С., Иосенкин В. Я. Понятийный анализ и контекстная технология программирования // Проблемы управления. 2005. № 4. С. 2-11.
47.Выхованец В. С. Разнесенный грамматический разбор // Проблемы управления. 2006. № 3. С. 32-43.
48.Выхованец В. С. Алгебраическая декомпозиция дискретных функ-ций // Автоматика и телемеханика. 2006. № 3. С. 20-56.
49.Выхованец В. С. Оптимальный синтез логического управления // Тез. докл. 3-й Межд. конф. по проблемам управления. М., 2006. Т. 2. С. 106.
50.Выхованец В. С. Верификация результатов понятийного анализа //Тез. докл. 3-й Межд. конф. по пробл. управления. М., 2006. Т. 1. С. 105.
В журналах из перечня ВАК опубликовано 8 работ: [9], [16], [30], [42], [44], [46], [47], [48].
Личный вклад автора в совместные публикации
[5] – зависимость эффективности программ от парадигмы программи-рования, [7, 9] – кратные вычисления в форме совместного описания сис-тем функций на множестве наборов, [22, 23, 25, 26, 28, 33, 37, 39, 46] – методология понятийного анализа и контекстная технология обработки данных, [38, 40] – существование алгебраической декомпозиции.
Диссертации, выполненные под научным руководством автора
Д1. Иосенкин В.Я. Технология контекстного программирования и ее применение. М.: Институт проблем управления, 2004.
Цитированная литература
Л1. Кузнецов О. П. О программной реализации логических функций и автоматов // Автоматика и телемеханика. 1977. № 7. С. 163-174. № 9. С. 137-149.
Л2. Лидл Л., Нидеррайтер Г. Конечные поля: В 2-х т. Т. 1. М.: Мир, 1988.
Л3. Ахмед Н., Рао К. Р. Ортогональные преобразования при обработке цифровых сигналов. М.: Связь, 1980.
Л4. Артин Э. Геометрическая алгебра. М.: Наука, 1969.
Л5. Кузьмин В.А. Оценка сложности реализации функций алгебры ло-гики простейшими видами бинарных программ // Методы дискретного анализа в теории кодов и схем. Новосибирск, 1976. Вып. 29. С. 24-36.
Л6. Поспелов Д. А. Ситуационное управление: теория и практика. М.: Наука, 1986.
Л7. Brodie M. L., Mylopoulos J., Schmidt J. W. On Conceptual Modeling. New York: Springer-Verlag, 1984.