https://repozytorium.ukw.edu.pl///handle/item/3485 2026-04-05T16:35:51Z https://repozytorium.ukw.edu.pl///handle/item/3553 Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji Rogowski, Łukasz Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji. DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition. 2013-01-01T00:00:00Z https://repozytorium.ukw.edu.pl///handle/item/3552 Zastosowanie metody punktu odniesienia do znajdowania decyzji symetrycznie efektywnych w modelowaniu wielokryterialnym procesu negocjacji dwustronnych Łodziński, Andrzej W pracy przedstawiono metodę wyboru decyzji symetrycznie efektywnych w procesie negocjacji dwustronnych. Proces negocjacji modeluje się przy pomocy optymalizacji wielokryterialnej. Metoda znajdowania rozwiązania polega na interaktywnym prowadzeniu procesu wyboru kolejnych propozycji rozwiązań. Strony przedstawiają swoje propozycje dotyczące przedmiotów negocjacji, które stanowią parametry zadania optymalizacji wielokryterialnej. Wybór kolejnych rozwiązań dokonuje się przez rozwiązywanie zadania optymalizacji z parametrami, które określają aspiracje każdej ze stron biorących udział w negocjacjach i przez ocenę przez strony otrzymywanych rozwiązań. A method of making symmetrically effective decisions in a two-side negotiation is presented. A negotiation process is modeled by multicriteria optimization. The solution finding consists in an interactive choosing among decision proposals. Each part presents its proposition concerning the objects of negotiation that are parameters of multicriteria optimization problem. Choosing subsequent solutions is made by the solution of optimization problem with parameters, that determine the aspiration of each part of negotiation, as well as by estimation of the obtained solution. 2013-01-01T00:00:00Z https://repozytorium.ukw.edu.pl///handle/item/3551 Projekt i implementacja aplikacji internetowej wspomagającej tworzenie planu zajęć Rydzkowski, Łukasz Generowanie planu zajęć jest problem złożonym obliczeniowo, który można spotkać w praktycznie każdej placówce edukacyjnej. Niniejszy artykuł przedstawia aplikację internetową wspomagającą tworzenie planu zajęć. Można tu znaleźć teoretyczne informacje dotyczące planu zajęć oraz opis poszczególnych modułów aplikacji. Generating schedule is computationally complex problem that may find in all of education facilities. This paper contains the description of a web application supporting creation schedule. You can find there theoretical information about schedule generating and description program modules. 2013-01-01T00:00:00Z https://repozytorium.ukw.edu.pl///handle/item/3550 Manipulator movement speed down using for object weight estimation Vince, Tibor Teach-Robot is simple 5 axles manipulator built on servo motors used for education purposes. Servo motors based on DC motor slow down due to the increased load. It is possible to estimate object weight by measuring time interval required to reach specific positions. The article presents the possibility of estimating weight of the object using effect of manipulator speed slowdown under load increasing. 2013-01-01T00:00:00Z