Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: programowanie deklaratywne

Sortuj według:

Ogranicz wyniki do:

From arithmetic expressions to propositional formulae

Stępień L., Stępień M. R.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2016

Vol. 21

135--143

In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.

Wyrażanie kontekstu w przestrzeniach informacji

Bartoszek J., Brzykcy G.

Studia z Automatyki i Informatyki

2005

T. 30

7--16

W pracy nawiązano do różnych koncepcji definiowania i wyrażania kontekstu wykorzystywanych w systemach informatycznych. Szczególną uwagę zwrócono na te systemy, w których wymiana danych i koordynacja działań agentów są realizowane za pomocą przestrzeni współdzielonych dokumentów XML. Opisano podstawowe pojęcia i mechanizmy związane z takimi przestrzeniami. W pracy zawarto także wstępną propozycję uwzględnienia kontekstu w takich przestrzeniach. W proponowanej koncepcji wykorzystano mechanizmy programowania deklaratywnego.

Various concepts of the context in information systems are presented. A special attention is paid to systems in which data can be exchanged and agent actions can be coordinated via XML document spaces. Main concepts of these document spaces are described. This paper presents a preliminary concept of using context in these spaces. This solution adopts declarative programming mechanisms.

Współczesne narzędzia informatyczne wspomagające modelowanie i symulacje procesów dynamicznych

Molenda K., Dąbkowski J.

Inżynieria Rolnicza

2002

R. 6, nr 6

389--398

Przedstawiono metodologię budowy modeli symulacyjnych znaną jako Dynamika Systemów, opracowaną w latach sześćdziesiątych w Sloan School of Management, Massachusset Institute of Technology. Zaprezentowano współczesne narzędzia informatyczne implementujące tę metodę, wskazując możliwości ich wykorzystania w pracach badawczych oraz dydaktyce.

Paper presented the methodology of developing simulation models, known as the systems Dynamics elaborated in the sixties at Sloan School of Management, Massachus- sets Institute of Technology. There were also described the recent information technology instruments implementing these methods and indicating the possibilities of their application both, in the research works and teaching.