Прикладная математическая задача как объект компьютерной алгебры
Развиваются представления о сложной прикладной математической задаче как об объекте языка систем компьютерной алгебры. Предложены методологические принципы и сформулированы основные положения теоретико-множественной модели задачи. Установлено, что для представления данных...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/736 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Прикладная математическая задача как объект компьютерной алгебры / Клименко В.П., Ляхов А.Л. // Математические машины и системы. – 2003. – № 3, 4. – С. 103 – 123. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-736 |
|---|---|
| record_format |
dspace |
| spelling |
Клименко, В.П. Ляхов, А.Л. 2008-06-24T13:40:34Z 2008-06-24T13:40:34Z 2003 Прикладная математическая задача как объект компьютерной алгебры / Клименко В.П., Ляхов А.Л. // Математические машины и системы. – 2003. – № 3, 4. – С. 103 – 123. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/736 681.3.06 Развиваются представления о сложной прикладной математической задаче как об объекте языка систем компьютерной алгебры. Предложены методологические принципы и сформулированы основные положения теоретико-множественной модели задачи. Установлено, что для представления данных и описания процесса решения сложных задач необходимо использовать язык на аналитической основе. Доказано его существование и сформулированы некоторые следствия этой теоремы. Также обоснованы и получили дальнейшие развитие представления о структуре данных о задаче. Исходя из этих представлений, разработаны некоторые процедуры для языка нового поколения АНАЛИТИК-2000. При их использовании совместно с аппаратом управления преобразованиями появляются дополнительные возможности для программирования преобразований на множестве выражений без рекурсивного выполнения подстановок. Приведены результаты и анализ апробации разработанных средств. Ил.: 3. Библиогр.: 46 назв. Розвиваються уявлення про складну прикладну математичну задачу як про об`єкт мови систем комп`ютерної алгебри. Запропоновані методологічні принципи і сформульовані основні положення теоретико-множинної моделі задачі. Встановлено, що для представлення даних і опису процесу розв`язування складних задач треба використовувати мову на аналітичній основі. Доведено її існування й сформульовані деякі наслідки цієї теореми. Обґрунтовані й отримали подальший розвиток уявлення про структуру даних про задачу. Виходячи з цих уявлень, розроблені деякі процедури для мови нового покоління АНАЛІТИК-2000. При їх застосуванні разом із апаратом керування перетвореннями з`являються додаткові можливості для програмування перетворень на множині виразів без рекурсивного виконання підстановок. Наведені результати й аналіз апробації розроблених засобів. Іл..: 3. Бібліогр.: 46 назв. Imaginations about a difficult applied mathematical problem that is object of language of computer algebra systems are developed. Methodological principles are offered and general points of set-theoretic model of a problem are formulated in paper too. On this basis it is established that for representation of data and the description of process of the decision of difficult problems should be use ed the language on the analytical basis. The theorem of existence of such language is formulated and proven, as well as some consequences of it. Also the new imaginations about a data structure are justified and have received further development. New procedures for language ANALYTIC-2000 are developed proceeding from these imaginations. Their use together with a vehicle of management of transformations gives additional opportunities for programming transformations on set of expressions without recursive executing substitutions. Results and analysis of approbation of developed means are adduced. Figs.: 3. Refs.: 46 titles. ru Інститут проблем математичних машин і систем НАН України Програмно-технічні комплекси Прикладная математическая задача как объект компьютерной алгебры Прикладна математична задача як об`єкт комп`ютерної алгебри Applied mathematical problem as object of computer algebra Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Прикладная математическая задача как объект компьютерной алгебры |
| spellingShingle |
Прикладная математическая задача как объект компьютерной алгебры Клименко, В.П. Ляхов, А.Л. Програмно-технічні комплекси |
| title_short |
Прикладная математическая задача как объект компьютерной алгебры |
| title_full |
Прикладная математическая задача как объект компьютерной алгебры |
| title_fullStr |
Прикладная математическая задача как объект компьютерной алгебры |
| title_full_unstemmed |
Прикладная математическая задача как объект компьютерной алгебры |
| title_sort |
прикладная математическая задача как объект компьютерной алгебры |
| author |
Клименко, В.П. Ляхов, А.Л. |
| author_facet |
Клименко, В.П. Ляхов, А.Л. |
| topic |
Програмно-технічні комплекси |
| topic_facet |
Програмно-технічні комплекси |
| publishDate |
2003 |
| language |
Russian |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Прикладна математична задача як об`єкт комп`ютерної алгебри Applied mathematical problem as object of computer algebra |
| description |
Развиваются представления о сложной прикладной математической задаче как об объекте языка систем компьютерной алгебры. Предложены методологические принципы и сформулированы основные положения теоретико-множественной модели задачи. Установлено, что для представления данных и описания процесса решения сложных задач необходимо использовать язык на аналитической основе. Доказано его существование и сформулированы некоторые следствия этой теоремы. Также обоснованы и получили дальнейшие развитие представления о структуре данных о задаче. Исходя из этих представлений, разработаны некоторые процедуры для языка нового поколения АНАЛИТИК-2000. При их использовании совместно с аппаратом управления преобразованиями появляются дополнительные возможности для программирования преобразований на множестве выражений без рекурсивного выполнения подстановок. Приведены результаты и анализ апробации разработанных средств. Ил.: 3. Библиогр.: 46 назв.
Розвиваються уявлення про складну прикладну математичну задачу як про об`єкт мови систем комп`ютерної алгебри. Запропоновані методологічні принципи і сформульовані основні положення теоретико-множинної моделі задачі. Встановлено, що для представлення даних і опису процесу розв`язування складних задач треба використовувати мову на аналітичній основі. Доведено її існування й сформульовані деякі наслідки цієї теореми. Обґрунтовані й отримали подальший розвиток уявлення про структуру даних про задачу. Виходячи з цих уявлень, розроблені деякі процедури для мови нового покоління АНАЛІТИК-2000. При їх застосуванні разом із апаратом керування перетвореннями з`являються додаткові можливості для програмування перетворень на множині виразів без рекурсивного виконання підстановок. Наведені результати й аналіз апробації розроблених засобів. Іл..: 3. Бібліогр.: 46 назв.
Imaginations about a difficult applied mathematical problem that is object of language of computer algebra systems are developed. Methodological principles are offered and general points of set-theoretic model of a problem are formulated in paper too. On this basis it is established that for representation of data and the description of process of the decision of difficult problems should be use ed the language on the analytical basis. The theorem of existence of such language is formulated and proven, as well as some consequences of it. Also the new imaginations about a data structure are justified and have received further development. New procedures for language ANALYTIC-2000 are developed proceeding from these imaginations. Their use together with a vehicle of management of transformations gives additional opportunities for programming transformations on set of expressions without recursive executing substitutions. Results and analysis of approbation of developed means are adduced. Figs.: 3. Refs.: 46 titles.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/736 |
| citation_txt |
Прикладная математическая задача как объект компьютерной алгебры / Клименко В.П., Ляхов А.Л. // Математические машины и системы. – 2003. – № 3, 4. – С. 103 – 123. |
| work_keys_str_mv |
AT klimenkovp prikladnaâmatematičeskaâzadačakakobʺektkompʹûternoialgebry AT lâhoval prikladnaâmatematičeskaâzadačakakobʺektkompʹûternoialgebry AT klimenkovp prikladnamatematičnazadačaâkobêktkompûternoíalgebri AT lâhoval prikladnamatematičnazadačaâkobêktkompûternoíalgebri AT klimenkovp appliedmathematicalproblemasobjectofcomputeralgebra AT lâhoval appliedmathematicalproblemasobjectofcomputeralgebra |
| first_indexed |
2025-12-02T09:39:31Z |
| last_indexed |
2025-12-02T09:39:31Z |
| _version_ |
1850862150449364992 |