Wyniki wyszukiwania - BazTech

1

On the SMT-based verification of communicative commitments

Woźna-Szcześniak B., Szcześniak I.

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

|

2016

|

Vol. 21

161--187

EN

We propose an SMT-based bounded model checking (BMC) technique for the existential fragments of CCTL*K – an epistemic temporal logic extended to include modalities for different social commitments – and for multi-agent systems modelled by Communication Interpreted Systems (CIS). Furthermore, we exemplify the use of the technique by means of the NetBill protocol, a popular example in the MAS literature related to the modelling of business processes.

2

The significance of freehand drawing in the teaching process in general construction project classes

Mełges M.

Czasopismo Techniczne. Architektura

|

2015

|

Y. 112, iss. 4-A

203--211

EN

As you know, the first requirement faced by the candidate wishing to study at the Faculty of Architecture is freehand drawing; passing the examination in it is the basis for admission. Freehand drawing in both the teaching process, and then in the professional activity is an expression of artistic and spatial sensitivity of every student and architect. It also has a high priority in the design process, especially at the stage of an idea, concept and architectural creation. Before there appeared the possibility of using the computer, concepts and student projects had been performed manually during the teaching of all design subjects. It was a rule to prepare designs in pencil techniques, in ink, and other tools and techniques ‒ e.g. watercolor, tempera, feather, etc. The creative process required understanding and analysis of the developed vision or architectural issue in the context of brain ‒ eye ‒ hand relations. In the era of universal computerization these relations and correlations have been weakened, which, as can be seen in practice, does not always produce good ‒ expected ‒ results in the teaching process. First of all, probably, due to the deterioration of the function of imagination (including aesthetic one) among entrants and the strengthening of their tendency to laziness (including taking "shortcuts"), which in a sense is ‒ for artistic professions ‒ even murderous. Therefore, observing messages of creativity among students of architecture, one can state that the computer can, of course, be an aid, but it cannot be the main tool in mental, emotional and creative development process.

PL

Jak wiadomo, pierwszym wymogiem, z którym styka się kandydat do studiów na Wydziale Architektury, jest rysunek odręczny; zdanie z niego egzaminu jest podstawą przyjęcia na studia. Rysunek odręczny w procesie dydaktycznym i w działalności zawodowej jest wyrazem wrażliwości plastycznej i przestrzennej każdego studenta i architekta. Ma też priorytetowe znaczenie w procesie projektowym, a zwłaszcza na etapie pomysłu, koncepcji i kreacji architektonicznej. Do momentu pojawienia się możliwości użycia komputera koncepcje i projekty studenckie wykonywane były manualnie w trakcie nauczania wszystkich przedmiotów projektowych. Obowiązywała zasada wykonywania projektów w technikach ołówkowych, w tuszu oraz innych narzędziach i technikach plastycznych ‒ np. akwareli, tempery, piórka itp. Proces tworzenia wymagał pojmowania i analizy opracowywanej wizji lub zagadnienia architektonicznego w kontekście relacji mózg‒oko‒ręka. W dobie powszechnej komputeryzacji te relacje i korelacje zostają osłabione, co, jak widać w praktyce, nie zawsze przynosi w procesie dydaktycznym dobre ‒ oczekiwane — rezultaty. Przede wszystkim, prawdopodobnie, na skutek osłabiania u adeptów zawodu funkcji wyobraźni (także estetycznej) oraz wzmacniania w nich tendencji do wygodnictwa (w tym obierania dróg "na skróty"), które w pewnym sensie jest ‒ dla zwodów artystycznych ‒ wręcz mordercze. Dlatego, obserwując przekazy inwencji twórczej studentów na studiach architektonicznych, stwierdza się, że komputer może być, oczywiście, narzędziem pomocniczym, ale nie może stanowić narzędzia głównego przy procesie myślowo-emocjonalnego i twórczego rozwoju.

3

Architektura systemu wielorobotowego, język komunikacji i protokoły

Bartyna W., Ambroszkiewicz S.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2008

|

z. 166, t. 2

731-740

PL

Praca poświęcona jest zagadnieniu automatycznego wykonywania złożonych zadań w systemach składających się z robotów mobilnych i urządzeń połączonych w sieć komunikacyjną. Przykładem takiego systemu może być zespół robotów usługowych pracujących w inteligentnym środowisku. Proponowane rozwiązanie polega na stworzeniu odpowiedniej infrastruktury informacyjnej (systemu rozproszonego) opartej na SOA. W skład tej infrastruktury wchodzą: wspólna reprezentacja środowiska (ontologia), język opisu tej ontologii służący do tworzenia interfejsów usług i definiowania zadań, oraz protokoły komunikacyjne.

EN

The paper addresses the problem of automatic accomplishment of complex tasks in a system consisting of mobile robots and devices connected to one communication network, e.g. service robots working in an intelligent environment. The proposed solution is to create appropriate information infrastructure (a distributed system) based on SOA containing: a common environment representation (ontology), a language for decsribing the ontology, defining services interfaces and tasks, and communication protocols.