Reduction Modeling for the Integration System

Автори

In this paper, we study the problems of effective reduction of parametric logical and mathematical specifications of task classes to explicative models with oracles. We develop parametric methods for decomposition tasks taking into account major classes of specification. Moreover, the concepts of reduction and h-reduction lay their foundation. The function is called the function f reduction if it is fair that the equality and the function is h-reduction lay their foundation. The function g is called the function f, reduction if it is fair that the equality goƒ=ƒ and the function g is  h-reduction function f and if it is true that goƒ=ƒoh  where o – is a multiplication operation that provides an ordered function pair with a new function. It is a consistent implementation of the original functions (g,f) нову функцію gof generalizing the simple function multiplication and h  – is an arbitrary but fixed function. These concepts are significant because they allow to adequately disclose the logic problems. Furthermore, various procedures for solving problems, various algorithms, models, programs, etc. are based on the logic problems and are automatically generated with the guaranteed correctness.

Publication year: 
2011
Issue: 
5
УДК: 
681.3.06
С. 52–58., укр., Бібліогр.: 9 назв.
References: 

1. Пойя Дж. Как решать задачу. — М.: Угпедгиз. — 1959. — 208 с.
2. Пуанкаре А. О науке (Раздел. Наука и метод). — М., 1983. — 554 с.
3. Карнап Р. Значение и необходимость. — М.: Изд-во иностр. л-ры, 1958. — 274 с.
4. Редько В.Н. Экспликативное программирование: петроспективы и перспективы // Тр. Первой Междунар. науч.-практ. конф. по программированию Укр-ПРОГ’98 (пленарный доклад). — К., 1998. — С. 22—41.
5. Редько В.Н. Программология: прошлое, настоящее, будущее // Вест. Междунар. Соломонова ун-та. — 1999. — № 1. — С. 23—59.
6. Редько В.Н., Гришко Н.В., Редько И.В. Экспликативное программирование в среде логико-математических спецификаций // Тр. Первой Междунар. науч.-практ. конф. по программированию УкрПРОГ’98 (доклад). — К., 1998. — С. 71—76.
7. Редько И.В., Гришко Н.В. Экспликативное программирование в среде интеграции // Тр. Первой Междунар. науч.-практ. конф. по программированию УкрПРОГ’98 (доклад). — К., 1998. — С. 191—196.
8. Редько И.В. Открыто-замкнутые основания сред интеграции. Часть І // Системні дослідження та інформаційні технології. — 2010. — № 4. — С. 7—18.
9. Редько В.Н. Основания композиционного программирования // Программирование. — 1979. — № 3. — С. 3—13.

AttachmentSize
2011-5-8.pdf192.65 KB

Тематичні розділи журналу

,