Научная статья на тему 'Бинаризация морфологического отношения склонения полных имен прилагательных'

Бинаризация морфологического отношения склонения полных имен прилагательных Текст научной статьи по специальности «Математика»

CC BY
135
26
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Хозяев Леонид Леонидович, Шабанов-кушнаренко Сергей Юрьевич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Binarization of the morphological relation of adjectives full names declination

The method of algebrologycal structures construction is considered. This method can be put to use in logical networks. Example of algebrological formalization of unpossessive adjectives declination process is given in this article. The paradigmatic table of adjectives wordformations and the method of algebrological notation binarization is elaborated. The described method can be used for semantic structure representation of adjectives.

Текст научной работы на тему «Бинаризация морфологического отношения склонения полных имен прилагательных»

5. Выводы

Научная новизна. В работе приведены условия, при выполнении которых система может быть стабилизирована за сколь угодно малый промежуток времени. При этом для построения ее модели используется случайный граф.

Практическая значимость. Предложенный подход позволяет прогнозировать предельное поведение систем. При выполнении определенных условий система будет стабилизирована.

Сравнение с лучшими аналогами. В [2] предложены модели, основанные на случайных графах. Эти модели, в отличие от предложенного подхода, позволяют исследовать поведение и характеристики системы в целом, а не только ее предельные параметры.

К числу недостатков предложенного подхода следует отнести тот факт, что случайные графы, при их использовании в качестве моделей реальных сетей, не всегда позволяют достаточно точно описать их развитие.

УДК 519.7

БИНАРИЗАЦИЯ МОРФОЛОГИЧЕСКОГО ОТНОШЕНИЯ СКЛОНЕНИЯ ПОЛНЫХ ИМЕН ПРИЛАГАТЕЛЬНЫХ

ХОЗЯЕВ Л.Л., ШАБАНОВ-КУШНАРЕНКО С.Ю.

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

Введение

Существует класс задач, решение которых на последовательных компьютерах в реальном темпе времени не представляется возможным. Примером такой задачи является семантическая обработка текстов на естественном языке. Вместе с тем, человеческий мозг справляется с этой задачей — благодаря другому, параллельному способу обработки информации.

Целью данного исследования является разработка метода бинаризации предикатов, являющегося необходимым этапом при построении логической сети — структуры, позволяющей производить обработку информации параллельно, по принципу человеческого мозга.

Для достижения поставленной цели необходимо решение следующих задач:

1. Найти морфологический предикат, формирующий окончания полных непритяжательных имен

Для обеспечения надежного и стабильного функционирования сетевых систем необходимо выполнение определенных условий, включая и те, которые приведены в данной статье. При проектировании и исследовании сетей следует контролировать выполнение этих требований.

Литература: 1. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. 428с. 2.Kochen M. (ed.), 1989, The Small World (Ablex, Norwood, NJ). P.110. 3. Дикарев В.А. Фокусировка распределений марковских процессов // Доповіді Національної академії наук України. 1999. №11. С.100-103. 4. Розанов Ю.А. Теория вероятностей, случайные процессы и математическая статистика. М.: Наука, 1989. 320 с. 5. Albert R., Jeong H. and Barabasi A. Diameter of the World Wide Web, Nature, 401, September 9, 1999. P.12-18.

Поступила в редколлегию 21.01.2005

Рецензент: д-р техн. наук, проф. Авраменко В.П.

Шершень Владислав Николаевич, аспирант кафедры прикладной математики ХНУРЭ. Научные интересы: программирование, стохастический анализ и его приложения. Адрес: Украина, 61000, Харьков, ул. Целиноградская, 36.

прилагательных по заданным значениям признаков.

2. Разработать эффективный метод решения этого предиката, который мог бы отыскивать знание о возможных значениях указанных переменных при условии задания знания обо всех или некоторых из оставшихся переменных.

3. Выполнить бинаризацию морфологического предиката, что необходимо для построения логической сети.

Разработка метода бинаризации

В работе [1] была получена однозначная зависимость f(x1,x2,x3,x4,x5,x6) = у окончания словоформы у заданного слова от грамматических признаков xbx2,...,xm . Она получила название функции окончания. Аргументами этой функции служат: xj —род словоформы со значениями М—мужской, Ж

— женский, С — средний; Х2 — число словоформы со значениями Е — единственное, М—множественное; хз — падеж словоформы со значениями И — именительный, Р — родительный, Д — дательный, В

— винительный, Т — творительный, П — предложный; Х4 — признак одушевленности словоформы со значениями Н — неодушевленный, О —одушевленный; Х5 — признак употребляемости словоформы со значениями Ш — широкая, О — ограниченная; х6

— номер типа склонения слова со значениями от 1

— первого до 7 — седьмого. Функция окончания рассматривалась для частного случая, а именно — для полных непритяжательных имен прилагательных. Тип склонения х6 слова, в свою очередь, определяется однозначной зависимостью g(uj, U2, U3) = х6 переменной х6 от признаков

106

РИ, 2005, № 1

uj,u2,u3 . Зависимость = x6 называ-

ется функцией типа склонения слова. Аргументами

этой функции служат: щ — последняя буква основы слова со значениями Б, В, Г, Д, Е, Ж, З, К, Л, М, Н, П, Р, С, Т, X, Ц, Ч, Ш, Щ; U2 — признак смягчения последней буквы основы слова со значениями Т — твердая, М — мягкая; U3 — признак ударности основы слова со значениями У—ударная, Б — безударная. Образуя суперпозицию обеих этих функций, получаем однозначную зависимость

y = h(Xi,X2,X3,X3,X4,X5,Ui,U2,U3) =

= f(Xi,X2,X3,X3,X4,X5,g(Ui,U2,U3)),

называемую морфологической функцией. Она выражает окончание словоформы в зависимости от значений ее грамматических признаков и признаков типа склонения слова.

В рассматриваемом нами случае морфологическая функция формирует окончание у полных непритяжательных имен прилагательных по заданным значениям признаков Xi,X2,X3,X3,X4,X5,Ui,U2,U3. Окончание у = (УьУ2,У3) разворачивается в набор (УьУ2,У3) букв: yi — первая буква окончания; У2 - вторая, У3 третья. Значениями переменной У! служат буквы А, Я, У, Ю, О, Е, Ы, И; У2 — буквы Я, Ю, Е, Й, Г, М, X; у3 — буквы О, У, И и знак пробела #, который ставится вместо отсутствующей третьей буквы окончания. Например, окончание У =ИЙ разворачивается в следующий набор компонентов: (УьУ2,У3) =(И, Й, #).

Ранее было сказано [1], что полученное формальное описание процесса склонения имен прилагательных в виде функции имеет существенный недостаток. Это описание можно использовать для составления компьютерной программы склонения слов данного вида, но оно непригодно для построения логической сети мозгоподобной ЭВМ [2]. Это описание имеет и более серьезный недостаток. В некотором смысле оно неполно. Дело в том, что с помощью морфологической функции мы можем непосредственно решать лишь задачу синтеза словоформ, т.е. по заданным значениям грамматических признаков отыскать словоформу заданного слова.

Например, для слова СИНИЙ находим его форму СИНЕЙ для женского рода, единственного числа, стоящую в родительном падеже. Однако человеку для понимания смысла воспринимаемого текста приходится для всех словоформ, входящих в состав предложений текста, отыскивать значения грамматических признаков, т.е. решать задачу анализа словоформ. Например, производя анализ словоформы СИНЕМУ, мы способны определить, что она имеет единственное число и дательный падеж, а род у нее — мужской или средний. Также приходится решать и третью задачу — нормализации словоформ, т.е. перехода от произвольной

словоформы к словарной форме того же слова. Например, мы можем перейти от словоформы СИНИХ к словоформе СИНИЙ.

Кроме того, при обработке текстов естественного языка приходится решать множество других задач, когда значения некоторых из переменных

заданы, а

требуется получить информацию о возможных значениях некоторых из оставшихся переменных. Ясно, что всех таких задач — астрономическое число. Любая из них может встретиться в речевой практике людей (а значит — и машин). Ясно также, что составить на каждый такой случай компьютерную программу — это непосильная задача.

Пример подобной задачи: известно, что основа словоформы оканчивается на букву Ж, окончание — ударное, падеж словоформы — винительный, вторая буква окончания — Й. Требуется отыскать значения всех остальных признаков. Человек легко справляется с этой задачей и в результате ее решения определяет, что первая буква окончания — О, а само окончание — ОЙ, что слово склоняется по седьмому типу (как слово ЧУЖОЙ), что словоформа относится к одушевленному предмету, что число словоформы — единственное, что у словоформы нет третьей буквы, что основа слова — безударная, что основа слова и окончание у этой словоформы — твердые и что род у словоформы — мужской.

Такие комбинированные задачи — не надуманные, любая из них может встретиться в речевой практике людей. Так, известно, что слова обычно произносятся людьми весьма неразборчиво, поэтому слова, вырванные из потока речи, зачастую распознать невозможно. Но в потоке речи все слова легко идентифицируются, и в результате происходит понимание звучащего сообщения. Как человек справляется с этой задачей? Очевидно, что при ее решении он опирается на контекст, а сделать это он может лишь потому, что обладает способностью решать любые комбинированные задачи.

Как же сделать так, чтобы машина смогла решить любую комбинированную задачу? Ответ следующий: во-первых, компьютер нужно снабдить отношением H, связывающим переменные

точно так

же, как они связаны в уме человека. Это отношение можно записать в виде уравнения

= 1 (1)

алгебры предикатов, в котором слева от знака равенства стоит формула предиката н, соответствующего отношению н. Предикат н называется морфологическим предикатом. Во-вторых, компьютер надо снабдить эффективно действующим методом решения этого уравнения, который мог бы отыскивать знание о возможных значениях указанных переменных при условии задания знания обо всех или некоторых из оставшихся переменных. Метод должен находить решение уравнения во всех

РИ, 2005, № 1

107

тех случаях, в которых способен его находить человек.

А как найти формулу предиката

Н(хьХ2,Хз,Хз,Х4,Х5,Х6,иьи2,из,уьУ2,Уз) ? Для этого надо выявить достаточное количество бинарных связей НДХЬХ2), Н2(ХЬХз),

ями 1-13. Называем ее номером пары родственных окончаний. Приведенная таблица теперь предстанет в следующем виде (табл.2).

Таблица 1

Пары твердых и мягких окончаний

Твердое ая ую ое ой ом ого ому ою ый ым ые ых ыми

мягкое яя юю ее ей ем его ему ею ий им ие их ими

Н;(Х2,Хз), ..., Нк(у2,уз) между аргументами предиката н (ниже будет показано, что это всегда возможно сделать, хотя иногда для этого приходится вводить дополнительные переменные для предиката Н ) и образовать из соответствующих им предикатов конъюнкцию

Н(Х1,Х2,Хз,Хз,Х4,Х5,Х6,и1,и2,из,У1,У2,Уз) =

= Ні(Хі,Х2) лН2(Х1,Хз) л... лН;(Х2,Хз) л... (2)

... Нк(У2,Уз) ,

выражающую предикат н , а затем проверить справедливость равенства (2) в параллельном эксперименте на человеке — носителе русского языка и на машине, решающей уравнение (1). Этот процесс называется бинаризацией морфологического отношения н .

Таблица 2

Нумерация пар твердых и мягких окончаний

\v Номер пары родственных окончаний

и2\ 1 2 з 4 5 6 7 8 9 10 11 12 1з

Твердое ая ую ое ой ом ого ому ою ый ым ые ых ыми

мягкое яя юю ее ей ем его ему ею ий им ие их ими

Таблица 3 Связь первой буквы окончания с признаком смягчения

\т Пары родственных букв

иД 1 2 3 4

Т А У О Ы

М Я Ю Е И

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

Н(Х1,Х2’ Хз? Хз? Х4,Х5? Х6,и1,и2,из,У1,У2,Уз)

и получением его представления в виде их конъюнкции (2). Рассмотрим еще раз табл. 4 из работы [1] (табл. 1).

В ней все 26 окончаний полных непритяжательных имен прилагательных рассортированы на твердые и мягкие. Кроме того, они объединены естественным способом в пары. В каждой паре первое окончание твердое, а второе — мягкое, вторая и третья буквы у них одинаковы, а первые буквы в фонетическом отношении родственны, причем первая буква соответствует твердому произношению звука, а вторая — мягкому. Окончания оказались размещенными в двумерной декартовой системе координат. Ее

вертикальная ось соответствует переменной и2 (признак смягчения последней буквы основы слова) со значениями Т - твердая, М - мягкая. Напомним, что последняя буква основы считается мягкой, если за ней следует мягкая буква окончания. Мягкими считаются буквы Я, Ю, Е, Ё, И (буква Ё, однако, в окончаниях полных непритяжательных имен прилагательных не встречается). Остальные гласные буквы, а именно А, У, Э, О, Ы, считаются твердыми. Буква Э в окончаниях полных непритяжательных имен прилагательных языком не используется.

Для горизонтальной оси таблицы предметная переменная нами еще введена не была. Здесь мы имеем один из тех часто встречающихся случаев, когда в процессе бинаризации морфологического отношения приходится вводить для соответствующего ему предиката дополнительные переменные. Для горизонтальной оси вводим переменную v со значени-

Она задает первое декартово произведение, связывающее окончание У с признаком смягчения и2 и с номером v пары родственных окончаний. Важно декартовы произведения, используемые в механизме языка, выявлять и описывать. Это — опорные пункты (островки) в море связей, имеющихся в языке. Описываем отношение, связывающее окончание У с номером v пары родственных окончаний:

ая яя 1

У V У = v ;

ую юю 2

У V У = v;

ое ее з

У V У = v;

ой ей 4

У V У = v;

ом ем 5

У V У = v;

ого его 6

У V У = v;

Уому v Уему = v7

ою ею v8.

У V У = v;

ый ий 9

У V У = v;

ым им 10

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

У V У = v;

ые ие 11

У V У = v;

ых их 12

У V У = v;

(3)

Уыми V Уими = V12 .

Описываем отношение, связывающее окончание У с признаком и2 смягчения окончания (или, что то же, — основы слова):

у33 v у*™ v уое v уой v уом v уого v уому v уою V v уый v уым v уые v уых v уыми = и2;

108

РИ, 2005, № 1

у™ V уюю v уее v уеи v уем v уего v уему V v уею v уиИ v уим v уие v уих v уими = им;

(4)

Описываем связь первой буквы окончания yj с признаком U2 смягчения окончания:

Уа V уу V уо V у? = и2; уя V ую V уе V уи = им.

(5)

Эта связь выявляет второе декартово произведение, которое связывает первую букву окончания (гласную) с признаком смягчения и с парами t родственных букв. Оно характеризуется табл.3:

Связываем уравнениями переменную t с переменной уі для табл.3:

t1;

(6)

У1а v уя = С У1у v уЮ = t2;

уо Vуе = t3;

У? v уи = t4.

Вводим переменную правую часть окончания w , значениями которой будут служить наборы из второй и третьей букв окончания. Значениямиэтой переменной служат буквосочетания Я, Ю, Е, И, М, ГО, МУ, X, МИ. Описываем связь переменной v с правой частью окончания w :

v1 = wя;

v2 v v8 = w ю;

v3 v v11 = we;

v4 v v9 = wи;

v5 v v10 = wм;

(7)

v6 = wго;

v7 = w му;

v12 = wх;

v13 = wми;

связываем вторую букву окончания у 2 с правой

w:

я я

w = у2;

ю ю

w = у2;

е е.

w = у2;

w И = уИ;

V w му v w ми

го г

w = у2;

х х

w = у2 .

(8)

Связываем третью букву окончания у2 с правой частью окончания w :

wя vwю vwе v wи v wм vwх = у#;

м

w го =уо;

w му II (9)

ми и

w =у#.

Мы выявили третью координатную систему (на этот раз не вполне завершенное декартово произведение, так называемое квазидекартово произведение). Она представлена табл. 4.

Описываем четвертую координатную систему, связывающую окончание с его компонентами — левой и правой частями окончания. С этой целью

Таблица 4

Связь второй и третьей букв окончания с правой частью окончания

w Вторая буква окончания

Я Ю Е И М Г Х

Третья буква окончания # Я Ю Е Й М - Х

О - - - - - ГО -

У - - - - МУ - -

И МИ - -

связываем левую часть окончания (первую букву окончания) у1 с окончанием у :

уая = уа; уяя = уя; уую = уУ ; уюю = ую;

уое v уоИ v уом v уого v уому v уою = уо; (10)

уее v уеИ v уем v уего v уему v уею = уе;

уЫИ v уым V уые V уых V уыми = уЫ;

уиИ v уим v уие v уих v уими = у}1.

Связываем правую часть окончания w с окончанием у:

уая v уяя = w я;

уую v уюю v уою v уею = wю;

уяя = уя; уую = уГ ; уюю = ую;

(11)

уое v уоИ v уом v уого v уому v уою = у°;

уее v уеИ v уем v уего v уему v уею = уе;

уыИ v уым V уые V уых V уыми = Уы1;

уиИ V уим v уие v уих v уими = у и .

Описанное квазидекартово произведение задано табл. 5.

Опишем связь между числом и падежом. Задаем ее табл. 6.

РИ, 2005, № 1

109

Таблица 5

Связь правой части окончания с окончанием

Левая часть окончания

а я у ю о е ы и

Правая часть окончания я ая яя

ю - ую юю ою ею - -

е - - ое ее ое ее ые ие

й - - - - ой ей ый ий

м - - - - ом ем ым им

го - - - - ого его - -

му - - ому ему -

ми - - - - - ыми ими

Таблица 6

Связь между числом и падежом

х 2 Падеж

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

И Р Д В Т П

Число Е 1 2 3 4 5 6

М 7 8 9 10 11 12

Числа в табл. 6 от 1 до 12 выражают имена пар типа s = (х2,хз) : (Е, И)=1 и т.д. Переменное имя пары (число, падеж) обозначаем переменной s . Ниже дано формульное описание отношений, связывающих переменные X 2 и S и переменные X 3 и s :

12 3 4 5 6 е

S V S V S V S V S V S = Х2;

S7 V S8 V S9 V S10 V S11 V S12 = x2;

(12)

17 и

S V S : = Х3;

28 р

S V S = Х3;

39 д

S V S = Х3;

4 10 в

S V S = Х3;

5 11 т

S V S = Х3;

6 12 п

S V S = Х3-

Опишем связь между переменной S и родом Х1 . Зададим ее табл. 7.

Таблица 7

Связь между парой (число, падеж) и родом

\S х1\ 1 2 3 4 5 6 7 8 9 10 11 12

Род М 1 2 3 4 5 6 19 20 21 22 23 24

Ж 7 8 9 10 11 12 19 20 21 22 23 24

С 13 14 15 16 17 18 19 20 21 22 23 24

Числа в табл. 7 от 1 до 24 выражают имена пар типа r(x1, s) : (М, 1)=1 и т.д. Переменное имя пары (xb s) обозначаем переменной r . Ниже дано формульное описание отношений, связывающих переменные X1 и r и переменные s и r :

1 2 3 4 5 6 19 20

r1 v r2 v r3 v r4 v r5 v r6 v r19 V r V

21 22 23 24 м

v r v r v r v r = = Х1;

8 9 10 11 12 19

r V r V r V r V r V r V

21 22 23 24 ж

v r v r v r V r = Х1;

4 15 16 17 18 19

V r V r V r V r V r V

21 22 23 24 с

V r V r V r V r = Х1;

1 7 13 1

r V r V r = s ;

2 8 14 2

r V r V r = s ;

3 9 15 3

r V r V r = s ;

4 10 16 4

r V r V r = s

5 11 17 5

r V r V r = s

6 12 18 6

r V r V r = s

20

20

(13)

r19 = s7; r20 =s8;

r21 =s9;

r22 = s10; r23 = s11;

r24 = s12.

(14)

Точно так же надо добавить номера для ячеек парадигматической таблицы, введя в действие переменные Х4 — признак одушевленности словоформы со значениями Н — неодушевленный, О — одушевленный; Х5 — признак употребляемости словоформы со значениями Ш — широкая, О — ограниченная. В результате получаем следующую парадигматическую табл. 8 с нумерованными ячейками.

Остается формулами описать связь между переменными Х1 и r1, Х2 и r1, х3 и r1. Наконец, надо описать формулами процесс выбора окончаний для парадигматической таблицы по номеру ее ячейки, номеру типа склонения и номеру пары окончаний. Все это делается аналогично предыдущему. Нужно также описать бинарные связи между типом скло-

Таблица 8 Парадигматическая таблица

Х2

Единственное число Мн. число

V3 Х1 \ Мужской Женский Средний

И 1 7 13 19

Р 2 8 14 20

Д 3 9 15 21

В 4а/4б 10 16 22а/22б

Т 5 11а/11б 17 23

П 6 12 18 24

110

РИ, 2005, № 1

нения и ударением, признаком смягчения и последней буквой основы. Все бинарные связи надо проиллюстрировать соответствующими двудольными графами. Теперь можно приступать к построению логической сети и испытывать ее действие с помощью уже имеющейся программы. Если выявятся погрешности в построении сети и в математическом описании объекта, то подправить их. В результате мы получаем готовый продукт — один из фрагментов логической лингвистической сети, который можно рекомендовать для реализации в виде микропроцессорного устройства.

Точно так же выполняются работы по описанию других лингвистических объектов. В перспективе есть необходимость в разработке методики соединения разрозненных логических сетей в единую сеть на базе импликативного разложения предикатов. Таким способом можно неограниченно наращивать логическую лингвистическую сеть по мере продвижения вперед ее математического описания — переходя от полных непритяжательных имен прилагательных к кратким притяжательным, от прилагательных к существительным, причастиям, местоимениям, числительным, исчерпывая этим склонение всех видов имен. Затем переходим к описанию спряжения глаголов. Этим охватывается все словоизменение. Затем переходим к словообразованию, последовательно рассматриваем корневое, префиксальное и суффиксальное словообразование. Остается еще словосложение. Этим исчерпывается морфология. Более далекая перспектива работ в этом направлении — выход на фонетику и затем на синтаксис предложения.

УДК 621.391:51.142

ЧИСЛЕННОЕ ОБОСНОВАНИЕ МЕТОДА СУММИРОВАНИЯ РЯДОВ В ГПВЯ

ЧУМАЧЕНКО С.В.________________________

Приводятся численные результаты, иллюстрирующие справедливость некоторых тождеств, которые получены методом суммирования рядов по выборочным значениям в гильбертовом пространстве с воспроизводящим ядром (ГПВЯ).

1. Постановка цели и задач исследования

Данная работа продолжает цикл публикаций, связанных с исследованиями по суммированию рядов в ГПВЯ. Так, в [1, 5] приведены общие положения, на основе которых предлагается метод суммирования в ГПВЯ. Примеры применения метода в целях получения новых результатов для рядов, в том числе двойных, рассмотрены в [1, 2, 6]. В [3] показано, как можно доказывать интегральные тождества с использованием данного подхода. Также с помощью предлагаемого метода можно решать сумматорные, интегральные уравнения и их системы, имеющие прикладной характер [4].

Выводы

Научная новизна заключается в том, что впервые разработан метод бинаризации алгебраической формульной записи семантических структур естественного языка на примере морфологического отношения склонений полных непритяжательных имен прилагательных русского языка.

Практическая значимость определяется тем, что полученные таблицы бинарных связей позволяют реализовать модель объекта в виде логической сети программно и аппаратно.

Сравнение с аналогами показало, что ближайшим аналогом логической сети, хотя и достаточно далеким, является нейронная сеть. В отличие от последней, логическая сеть имеет ряд принципиальных преимуществ.

Литература: 1. Шабанов-Кушнаренко Ю.П. Проблема искусственного интеллекта // Радиоэлектроника и информатика. 2002. №3. С. 100-106. 2. Бондаренко М.Ф., Дударь З.В., Ефимова И.А., Лещинский В.А., Шабанов-Кушнаренко С.Ю. О мозгоподобных ЭВМ // Радиоэлектроника и информатика. 2004. № 2. С. 89-105.

Поступила в редколлегию 11.01.2005

Рецензент: д-р техн. наук, проф. Машталир В.П.

Хозяев Леонид Леонидович, консультант по внедрению, компания “Открытые технологии-98”. Научные интересы: программирование БД, математическое моделирование. Адрес: Россия, 117997, Москва, ул. Обручева, 30, корп. 1, тел.: 8-095-7877027.

Шабанов-Кушнаренко Сергей Юрьевич, д-р техн. наук, профессор, ведущий научный сотрудник кафедры ПО ЭВМ ХНУРЭ. Научные интересы: идентификация механизмов интеллекта человека. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел.: 7-021-446.

В перечисленных работах до сих пор приводились теоретические обоснования полученных результатов. Однако не все новые формулы доказываются приведением к уже известным фактам. Кроме того, для оценки погрешности вычислений, обусловленной усечением ряда, необходимо проводить некоторые численные расчеты с использованием компьютерных средств и программных приложений. С учетом того, что в настоящее время существуют достаточно авторитетные математические пакеты такие, как MathLab, MathCAD, Mathematica, они могут и должны быть использованы для практичес -кого подтверждения состоятельности полученных теоретических доказательств. Такая практика позволяет не только определить валидность результатов, но и показать погрешность теоретического метода или уже признанных программных средств, что может быть более важным для исследователя. В данном случае можно показать эффективность предложенного метода суммирования рядов и практическую целесообразность его имплементации для решения задач, критичных к погрешности вычислительных методов по отношению к предлагаемому точному решению. Например, такими являются задачи, связанные с моделированием неоднород-

РИ, 2005, № 1

111

i Надоели баннеры? Вы всегда можете отключить рекламу.