4 resultados para Interval model

em Bulgarian Digital Mathematics Library at IMI-BAS


Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper RDPPLan, a model for planning with quantitative resources specified as numerical intervals, is presented. Nearly all existing models of planning with resources require to specify exact values for updating resources modified by actions execution. In other words these models cannot deal with more realistic situations in which the resources quantities are not completely known but are bounded by intervals. The RDPPlan model allow to manage domains more tailored to real world, where preconditions and effects over quantitative resources can be specified by intervals of values, in addition mixed logical/quantitative and pure numerical goals can be posed. RDPPlan is based on non directional search over a planning graph, like DPPlan, from which it derives, it uses propagation rules which have been appropriately extended to the management of resource intervals. The propagation rules extended with resources must verify invariant properties over the planning graph which have been proven by the authors and guarantee the correctness of the approach. An implementation of the RDPPlan model is described with search strategies specifically developed for interval resources.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an increased effectiveness. The obtained results show that the presented network-flow models principally may work for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0 to 1. The described models give the opportunity to formulate various logical functions. If the results from a given model that are contained in the obtained values of the arc flow functions are used as input data for other models then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function ‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Миглена Г. Кирилова-Донева - Едномерен експеримент на релаксация беше извършен с 14 образци от човешка пъпна фасция. Механичното поведение на фасцията по време на релаксация беше моделирано прилагайки нелинейната теория на Максвел-Гуревич-Рабинович. Параметрите на модела за изследваните образци бяха определени и стойностите им бяха сравнени в зависимост от посоката на натоварване на образците по време на експеримента. Установено бе, че стойностите на началния вискозитет ∗η0 и на параметъра ∗m, който се влияе от скоростта на деформация на материала се изменят в много широки граници не само за образци от различни донори, но и за образци от един донор. В резултат от прилагането на модела бе изчислено изменението на вискозитета и вискозната деформация на материала по време на релаксацията. Бе показано, че изменението на вискозитета и вискозната деформация зависи от посоката на натоварване на образците.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 62E16,62F15, 62H12, 62M20.