Wyniki wyszukiwania - Biblioteka Nauki

1

Intelligent transport systems development

100%

Nowacki G.

|

2008

|

tom nr 6

CD-CD

EN

The paper refers to theoretical basis and history of Intelligent Transport Systems. The first the term telematics was created in 1978, then transport telematics in 1990 and its synonymous term - Intelligent Transportation Systems (ITS) were approved in 1994 on the world ITS Congress in France. Furthermore the development of Intelligent Transportation Systems has been presented, especially general policy of many ITS associations all over the world: ITSS, ERTICO, ITS America, Australia, Japan and Poland.

PL

Referat dotyczy teoretycznych podstaw i historii inteligentnych systemów transportowych. Termin telematyka został wprowadzony w 1978 roku, następnie telematyka Transportu na początku 1990 roku, synonim tego terminu - inteligentne systemy transportowe - został zatwierdzony w 1994 roku, podczas pierwszego światowego kongresu ITS w Paryżu. Ponadto scharakteryzowano rozwój inteligentnych systemów transportowych oraz ogólną politykę towarzystw ITS na całym świecie: ITSS, ERTICO, ITS Ameryka, ITS Australia, ITS Japonia oraz ITS Polska.

2

Informatyka wczoraj i dziś

100%

Węgrzyn S.

|

2010

|

tom Vol. 31, nr 3

23-35

PL

Informatyka jest dziedziną nauki o zapisywaniu, przechowywaniu, przekształcaniu i przekazywaniu informacji. Tak rozumiana informatyka nie przestaje odgrywać podstawowej roli w zainspirowanym przez nią powstaniu i rozwoju współczesnych komputerów elektronicznych, ich urządzeń zewnętrznych, sieci i systemów realizacji procesów obliczeniowych, ale stała się też i jest dziś jedną z podstawowych dziedzin nauki kształtującą w istotny sposób kierunki rozwoju nauki jako całości.

EN

Informatics is the branch of science dedicated to. the study recording, storing, transforming, and transmitting of information. So defined, informatics has inspired and still does not stop to play a basic role in the creation and development of modern electronics computers, its peripheral devices, networks and systems for performing numerical processes. Informatics has once become, and is one of the basic fields of science, which significantly shapes the directions of scientific development as a whole.

3

Konferencja "Sieci Komputerowe". Naukowo-praktyczna wymiana doświadczeń środowiska informatycznego

100%

Kwiecień A. , Gaj P.

|

2011

|

tom R. 13, nr 11

86-87

PL

Na świecie organizowanych jest wiele konferencji naukowych poświęconych różnym zagadnieniom naukowym, badawczym i inżynierskim. Wśród nich najwyższy poziom merytoryczny mają te, które są organizowane przy udziale znaczących światowych uniwersyteckich ośrodków naukowych, a także opiniotwórczych organizacji o ogólnoświatowym zasięgu, takich jak np. IEEE.

EN

Among the many IT events the Computer Networks (CN) Conference is the first and oldest in Poland on the subject of computer networks. The conference has been organized by the Institute of Informatics every year since 1994. In the year 2012, it is the fifth international and nineteenth Polish national edition of the conference. The main goal of the conference is presentation of current research and application activities as well as exchange of experience associated with general issues involved in computer networks. The CN conference is dedicated to all activities related to computer networks, distributed computer systems, security and safety issues, industrial networks and Internet together with new technologies derived from nano and quantum technology and molecular networks.

4

Sztuka Informatyki

100%

Adamski M.

|

2007

|

tom R. 53, nr 5

3-3

5

Informatyka w logistyce

100%

|

2004

|

tom nr 5

12-12

PL

W dniach 20-21 kwietnia br. w warszawskim hotelu Airport Okęcie odbyła się III edycja konferencji "Informatyka w logistyce". Tematem przewodnim imprezy były nowoczesne technologie i rozwiązania informatyczne w branży logistycznej. Podczas konferencji ogłoszono wyniki i wręczono nagrody laureatom konkursu "Złoty Bit 2004".

6

O budowie infrastruktury sieciowej dla badan nad rozwojem technologii społeczeństwa informacyjnego

100%

Kierzkowski Z.

|

2010

|

tom nr 6

VI-X

7

Przemiany strukturalne organizacji społeczeństwa informacyjnego

100%

Kierzkowski Z. , Tarłowski P. , Roman W. , Szałapak S.

|

2010

|

tom nr 6

II-V

8

Wspomaganie procesu decyzyjnego doboru i wdrożenia systemu informatycznego klasy ERP w przedsiębiorstwie

100%

Ludwiszewski B.

|

2007

|

tom Nr 46

127-138

PL

W artykule opisano próbę opracowania metody analizy stosowanej w procesie wspomagania decyzji o rozpoczęciu prac nad doborem i wdrożeniem systemu klasy ERP w przedsiębiorstwie. Istotnym elementem prezentowanej metody jest uwzględnienie opinii użytkowników systemu obecnie wykorzystywanego w procesie podejmowania decyzji. Artykuł może też być pierwszym krokiem podczas opracowywania uniwersalnego narzędzia wspomagającego proces decyzyjny podczas doboru i wdrażania systemu klasy ERP.

EN

The article describes an attempt of developing a method of carrying out an analysis and process of supporting decisions regarding the commencement of works on the selection and implementation of the ERP class system in a company. Including the opinions of users of a currently applied system in the decision making process is a significant element of the presented method. The article is also the first step in developing a universal tool supporting the decision making process during the selection and implementation of the ERP class system.

9

Wydział Elektrotechniki i Informatyki

88%

Wójcik W.

|

2005

|

tom R. 51, nr 3

3-6

10

Diagrammatic interval analysis with applications

75%

Kulpa Z.

|

2006

|

tom nr 1

1-232

EN

The main aim of the work has been the development of the novel diagrammatic representational system for interval algebra and computation, and showing its useful applications in solving theoretical and practical problems in this area. The results reported in the work can be divided into three parts: 1. The development of a diagrammatic representational system for the field of interval algebra and computation, facilitating analysis, investigation, presentation and understanding of properties of interval algebra, in particular interval relations, interval arithmetic and interval linear equations. 2. The application of the developed representational system to various problems in interval analysis, leading to several useful results concerning properties of interval algebra, especially the characterizations of classes of interval relations, the investigation of centred interval multiplication operations and the discovery and detailed description of structural types of interval linear equations. 3. The development, with the help of these diagrammatic means, of a number of practical methods and algorithms for characterization and approximation of solution sets of interval linear equations. The work starts from an introductory chapter about the emerging field of diagram-matics, which investigates methods and applications of diagrammatic representations for information encoding and processing (including diagrammatic reasoning). The chapter begins with a general discussion of using pictures as tools for information representation and communication. The discipline of diagrammatics is then defined, and its three main branches (cognitive and psychological issues, theory of diagrammatic representations, and applications of diagrams) are introduced. Then follows a short discussion of the problems with the definition of a diagram (still a hotly disputed issue). Applications of diagrammatic representations in mathematics are then discussed in more detail, starting from the main objections usually raised against their use there (the arguments of alleged difficulty, unreliability and informality). The two main types of mathematical diagrams (static and dynamic diagrams) are then introduced and their four usage modes discussed. The chapter concludes with the discussion of computer implementation of diagrammatic representations for mathematics, comprising diagram input and output, and two modes of internal representation and processing (raster and graph representations). Several types of computer tools facilitating the use of diagrammatic representations are then described, of interval arithmetic are then introduced and the main technique of calculating interval enclosures for real functions is presented, concluding with the important problem of over estimation of such enclosures. The main reasons for applying interval methods are then presented, and the chapter concludes with a short justification of the usefulness of diagrammatic representations in interval research and applications. With Chapter 3 starts the presentation of the main results of the work. After a brief survey of other proposals, the basic diagrammatic representation for the space of intervals (the MR-diagram) is introduced, followed by the discussion of main types of its possible applications in interval research. The MR-diagram, based on the (ra,r) coordinate axes (representing the midpoint and the radius of an interval), is a two-dimensional representation of the interval space, in which intervals are represented as points on the plane. Several basic applications of the diagram are presented next. They start from the representation of interval types, interval ordering relations, and a new notion of lozenge (needed to specify convexity properties and characterizations of types of interval relations). Next, graphs for basic interval parameter functions are shown, especially the extent functions, including a new function which is better suited to the midpoint-radius coordinates used. The new RR-diagram based on this function is developed as a result. Finally, several basic constructions for interval lattice operations are presented. Chapter 4 is devoted to the diagrammatic formulation of the theory of interval relations, especially the so-called arrangement interval relations, describing possible mutual arrangements of two intervals on the number axis. The chapter starts from the definition of these relations, and the basic interval relations from which other arrangement relations are constructed. With that, two new diagrammatic tools are introduced, namely the new graphical symbols for the basic relations and the conjunction diagram to represent formulae defining interval arrangement relations. Next, the new tool for representing the space of interval relations, called the W-diagram, is presented, with the system of W-icons for the diagrammatic representation of arrangement relations based on it. The W-diagram is obtained from the MR-diagram by marking in it images (or coimages) of some arbitrary thick interval under all basic interval relations. The shapes of the regions so obtained do not depend on the choice of the reference interval, but reflect properties of corresponding basic relations instead. Another tool representing the space of relations, the L-diagram which is a neighbourhood graph of regions in the W-diagram, is also introduced (it is a new version of similar graphs used by some other authors). Various representations of interval relations are then compared, using several characteristic examples. The way of performing operations on interval relations using the diagrammatic notation of W-icons is then shown, in particular the original diagrammatic algorithm for performing compositions of arrangement relations, and the resulting diagrammatic composition table for basic relations. The developed tools and methods are then applied to classic qualitative reasoning with networks of interval relations. The diagrammatic representation of such networks and the way of solving diagrammatically the basic problems in this area are demonstrated with some classic examples. The analysis of several important classes of arrangement relations follows, namely the convex, pointisable and pre-convex relations. A number of deverse characterizations of these classesin presented and compared, including several new diagrammatic characterizations of them. The two theorems stating equivalence of these characterizations are proven with mostly diagrammatic means. A short note on the diagrammatic representation of certain more important non-arrangement interval relations is also included. The chapter is concluded with an introduction to several basic applications of the interval relations theory, which may use the diagrammatic tools developed (namely reasoning about events in time, qualitative spatial reasoning, technical diagnostics, and action scheduling). Chapter 5 shows the application of interval space diagrams to interval arithmetic. Diagrammatic constructions for interval arithmetic operations developed there help to understand the structure and nonstandard behaviour of the operations and allow for finding and proving their new and useful properties. The operation of addition does not produce any nonstandard effects. Negation and subtraction behave already in a nonstandard way, so that interval subtraction ceases to be the opposite operation to addition, resulting in nonstandard properties of the simplest interval equation a -f x = b. The diagrams explain clearly the underlying causes of that behaviour, helping to understand better the properties of interval calculations. The original diagrammatic construction for the much more complex operation of interval multiplication is developed and used for the diagrammatic analysis of properties of this operation. Among others, the diagrammatic characterization of basic multiplication cases is developed, with the diagrammatic proof of the "fast multiplication" formula. The basic properties of the important interval equation a-x = b are also presented. The detailed analysis of the equation and its multidimensional generalization is continued in Chapter 6. The original construction developed for interval division works properly also for the division by an interval containing zero, producing in such cases extervals used in Kahan arithmetic. Then follows an application of the diagrammatic analysis to the nonstandard arithmetic operations of centred multiplication. It resulted in the proper definition of the new operation of centred inner multiplication and the detailed analysis of inclusion isotonicity properties and approximation accuracy of both outer and inner centred multiplication operations. Short notes on the two main extensions of standard interval algebra (Kaucher and Kahan arithmetics) and applications of interval arithmetic diagrams conclude the chapter. Chapter 6 presents the novel diagrammatic approach to interval linear equations, introducing also new diagrammatic tools useful in this domain. The diagrammatic tools to represent interval space, interval relations, and interval arithmetic operations are applied to the diagrammatic analysis of interval linear equations. First, the basic types of solution sets of such equations (tolerance, control and united solution sets) are defined and reinterpreted as solutions to certain interval relational expressions. Then the basic one-dimensional equation is analyzed. Constructions for its diagrammatic solution in different possible cases are developed. They reveal a rich structure of different configurations of the solution sets. All 6 basic types (with 16 subtypes), 47 intermediate types and 10 degenerate ones are catalogued, in several diagrammatic, tabular, and algorithmic (1DSET) forms. Next, the relation between the interval solution and the tolerance solution set is analyzed. The significance of these findings for the analysis of a general multidimensional case is established with the radial cuts theorem, stating that the arrangement of solution sets along any straight line going through the origin of the solution space is obtained as a solution of a one-dimensional equation with coefficients determined by the coefficients of the multidiamensional equation and directional parameters of the cutting line. The algorithm for calculating such radial cuts is also given (RADCUT). Using these findings, the boundary hyperplane selection rule is formulated, which allows for dinding full and exact descriptions of solution set shapes in the multidimensional solution space. The two-dimensional case is first used as an introduction to such an analysis. The algorithm for finding the complete description of solution sets for such equations (2DSETS) is developed and used to compile the catalogue of basic two-dimensional structural types. Finally, the algorithm is extended to the multidimensional case (BOUNDHYP). The chapter is concluded with a note on applications, presenting a thorough discussion of possible modes of application of the mathematical model based on interval linear equations. Chapter 7 introduces various new characterizations and properties of the tolerance, control, and united solution sets, as obtained by the author with the application of the diagrammatic approach and diagrammatic tools introduced in the previous chapters, especially Chapter 6. The chapter starts from introducing a new tool, called the butterfly diagram (BUTTERFLY), which provides a two-dimensional representation of the structure of the multidimensional solution space. Then the manner of applying the diagram to analyze the structure and properties of solution sets is explained. Certain properties of the midpoint hyperplane and the midpoint solution are also formulated and proved, with the help of diagrammatic approach, as they are useful for further characterization of certain properties of solution sets. Then, with the application of the diagrammatic tools developed, individual types of solution sets are analyzed separately, resulting in refining some known conditions, and finding new ones, for testing existence or emptiness of the solution sets, both globally (TSGLOBAL, CSGLOBAL) and in certain regions of the solution space (TSLOCAL, CSLOCAL, USLOCAL). Other properties, like unboundedness and connectivity, are also investigated and the results presented. Algorithms for finding new inner cross and orthoplex approximations to the solution sets (TSINNER, CSIN-NER, USINNER) are also developed in this way, leading also to the general method of calculating arbitrary parallel cuts through the solution space (PARCUT), with straight lines parallel to any given coordinate axis. The reported results constitute the first batch of results obtained by the author with the diagrammatic approach. The further work with diagrammatic tools will likely reveal a number of new results. The chapter is concluded with the illustrative truss analysis example. Appendix A contains a list of algorithms based on these developments. They were implemented as notebooks of MathematicaŽ 3.0 and constitute a preliminary version of a suite of modules planned for an interactive system of exploration of interval linear equations and their solution spaces. Names of the algorithms are cited above at appropriate places in the summary of the last two chapters.

PL

Głównym celem pracy było opracowanie nowego systemu reprezentacji diagramowej dla algebry przedziałów i obliczeń przedziałowych oraz pokazanie jego użytecznych zastosowań w rozwiązywaniu teoretycznych i praktycznych problemów w tej dziedzinie. Wyniki przedstawione w pracy można podzielić na trzy części: 1. Opracowanie systemu reprezentacji diagramowej dla algebry przedziałów i obliczeń przedziałowych, wspomagającego analizę, badanie, prezentację i zrozumienie własności algebry przedziałów, w szczególności relacji przedziałowych, arytmetyki przedziałowej i liniowych równań przedziałowych. 2. Zastosowanie opracowanego systemu reprezentacji do różnych problemów analizy przedziałowej, co pozwoliło uzyskać wiele użytecznych wyników dotyczących własności algebry przedziałów (w szczególności charakteryzacji klas relacji przedziałowych), a także zbadać tzw. scentrowane operacje mnożenia przedziałów oraz wykryć i szczegółowo opisać typy strukturalne liniowych równań przedziałowych. 3. Opracowanie, przy pomocy tego systemu reprezentacji diagramowej, pewnej liczby praktycznych metod i algorytmów charakteryzacji i aproksymacji zbiorów rozwiązań liniowych równań przedziałowych. Pracę rozpoczyna wstępny rozdział na temat rodzącej się dziedziny nauki zwanej diag-ramatyką, która bada metody reprezentacji diagramowych i ich zastosowania do kodowania i przetwarzania informacji (wnioskowania diagramowego). Rozdział rozpoczyna się ogólną dyskusją użycia obrazów jako narzędzi reprezentacji i komunikacji informacji. Następnie definiuje się diagramatykę jako dyscyplinę badawczą i jej trzy główne gałęzie (zagadnienia kognitywne i psychologiczne, teoria reprezentacji diagramowych i zastosowania diagramów). Po tym następuje krótka dyskusja problemów z definicją pojęcia diagramu (zagadnienie ciągle gorąco dyskutowane). Zastosowania reprezentacji diagramowych w matematyce sa następnie omówione bardziej szczegółowo, począwszy od głównych zastrzeżeń zwykle podnoszonych przeciwko ich używaniu (argumenty rzekomej trudności ich użycia, zawodności i nieformalnej natury). Następnie omawia się dwa główne typy diagramów matematycznych (diagramy statyczne i dynamiczne) oraz cztery sposoby ich praktycznego stosowania. Rozdział kończy się dyskusją komputerowych implementacji reprezentacji diagramowych dla zastosowań w matematyce, na które składa się wprowadzanie diagramów, ich wyprowadzanie oraz dwa sposoby wewnętrznej reprezentacji i przetwarzania w komputerze (reprezentacje rastrowe i graf owe). Kilka typów narzędzi komputerowych wspomagających używanie reprezentacji diagramowych omówiono na zakończenie rozdziału, w szczególności klasę narzędzi określanych nazwami "dynamicznej geometrii" lub "diagramowego arkusza kalkulacyjnego." Rozdział 2 zawiera krótkie wprowadzenie do podstawowych pojęć algebry przedziałów i obliczeń przedziałowych, począwszy od podstawowych definicji i oznaczeń. Następnie zaprezentowane są pewne niestandardowe własności arytmetyki przedziałowej oraz podstawowa technika wyznaczania oszacowań przedziałowych dla funcji rzeczywistych, wraz z ważnym problemem przeszacowania takich oszacowań. Na zakończenie zaprezentowane są najważniejsze powody stosowania metod przedziałowych, oraz krótkie uzasadnienie użyteczności reprezentacji diagramowych w badaniach i zastosowaniach metod przedziałowych. Od rozdziału 3 rozpoczyna się prezentacja głównych rezultatów pracy. Po krótkim przeglądzie innych propozycji wprowadzono podstawową reprezentację diagramową przestrzeni przedziałów, tzw. MR-diagram, wraz z dyskusją głównych typów jego możliwych zastosowań w badaniach przedziałowych. MR-diagram przedstawia przestrzeń przedziałów w układzie współrzędnych (ra,r) (środek i promień przedziału), w której przedziały reprezentowane są przez punkty na dwuwymiarowej płaszczyźnie. Dalej pokazano kilka podstawowych zastosowań tego diagramu, zaczynając od reprezentacji typów przedziałów i relacji uporządkowania przedziałów, w tym nowego pojęcia metaregionu (ang. "lozenge"), potrzebnego do specyfikacji własności wypukłości i charakteryzacji typów relacji przedziałowych. Następnie pokazano wykresy podstawowych funkcji określających parametry przedziałów, w szczególności funkcji rozciągłości przedziałów, wraz z nową funkcją, lepiej dostosowaną do używanych współrzędnych środek-promień przedziału. W rezultacie wprowadzono nowy diagram oparty na tej funkcji, zwany RR-diagramem. Na zakończenie pokazano kilka podstawowych konstrukcji dla operacji w kracie przedziałów. Rozdział 4 poświęcony jest diagramowemu opracowaniu teorii relacji przedziałowych, szczególnie tzw. relacjom ułożenia przedziałów, opisującym możliwe wzajemne ułożenia dwóch przedziałów na osi liczbowej. Rozdział rozpoczyna się definicją tych relacji oraz podstawowych relacji przedziałowych, z których zbudowane są pozostałe relacje ułożenia. Wprowadzono tutaj dwa nowe narzędzia diagramowe, mianowicie nowe symbole graficzne dla relacji podstawowych oraz diagram koniunkcji dla reprezentacji formuł definiujących relacje ułożenia przedziałów. Następnie wprowadzono nowe narzędzie do reprezentacji przestrzeni relacji przedziałowych, nazwane W-diagramem, wraz z opartym na nim systemem W-ikon dla diagramowej reprezentacji relacji ułożenia przedziałów. W-diagram powstaje z MR-diagramu przez zaznaczenie na nim obrazów (lub przeciwobrazów) pewnego dowolnego grubego przedziału względem wszystkich podstawowych relacji przedziałowych. Kształty tak uzyskanych obszarów diagramu nie zależą od wyboru przedziału odniesienia, lecz odzwierciedlają własności odpowiednich relacji podstawowych. Wprowadzono także inne narzędzie reprezentacji przestrzeni relacji, tzw. L-diagram, będący grafem sąsiedztwa regionów MR-diagramu (jest to nowa wersja podobnej konstrukcji używanej przez niektórych innych autorów). Różne reprezentacje relacji ułożenia porównano używając kilku charakterystycznych przykładów. Pokazano następnie sposób wykonywania operacji na relacjach przedziałowych za pomocą diagramowej notacji W-ikon, w szczególności oryginalny algorytm diagramowej kompozycji relacji wraz z wynikową diagramową tablicą kompozycji relacji podstawowych. Opracowane narzędzia i metody zostały następnie zastosowane do klasycznego jakościowego wnioskowania za pomocą sieci relacji przedziałowych. Diagramową reprezentację takich sieci i sposoby diagramowego rozwiązywania podstawowych problemów z tej dziedziny pokazano na kilku klasycznych przykładach. W kolejnej części rozdziału przeprowadzono analizę kulku ważnych klas relacji ułożenia przedziałów, mianowicie relacji wypukłych, punktowo określonych i pre-wypukłych. Podano i porrównano szereg różnych charakteryzacji tych klas, w tym kilka nowych charakteryzacji diagramowych. Dwa twierdzenia o równoważności tych charakteryzacji udowodniono przy użyciu diagramów. Przedstawiono również krótko diagramowe reprezentacje niektórych relacji nie będących relacjami ułożenia przedziałów. Rozdział kończy wprowadzenie do niektórych podstawowych zastosowań teorii relacji przedziałowych, które mogą wykorzystywać opracowane narzędzia diagramowe, takich jak wnioskowanie o zdarzeniach w czasie, jakościowe wnioskowanie przestrzenne, diagnostyka techniczna oraz szeregowanie akcji. Rozdział 5 pokazuje zastosowania diagramów przestrzeni przedziałów w arytmetyce przedziałowej. Opracowane tutaj diagramowe konstrukcje dla przedziałowych operacji arytmetycznych pomagają zrozumieć strukturę i niestandardowe zachowanie tych operacji i pozwalają znajdować ich nowe, użyteczne własności. Dodawanie przedziałów nie daje żadnych nietypowych efektów. Natomiast negacja (zmiana znaku) i odejmowanie zachowują się już niestandardowo, w rezultacie czego odejmowanie przestaje być operacją odwrotną do dodawania, co jest powodem nietypowych własności najprostszego równania przedziałowego a-\-x = b. Diagramy wyjaśniają tu naocznie głębsze przyczyny takiego zachowania się tych operacji, pomagając lepiej zrozumieć własności obliczeń przedziałowych. Oryginalną konstrukcję diagram ową, opracowaną dla znacznie bardziej złożonej operacji mnożenia przedziałów, użyto następnie do diagramowego przeanalizowania własności tej operacji. Przedstawiono m.in. diagramową charakteryzację podstawowych przypadków mnożenia wraz z diagramowym dowodem formuły "szybkiego mnożenia." Podano też podstawowe własności ważnego równania przedziałowego a o x = b. Szczegółowa analiza tego równania i jego wielowymiarowego uogólnienia jest kontynuowana w rozdziale 6. Opracowana następnie oryginalna diagramową konstrukcja dla dzielenia przedziałów działa poprawnie także w przypadku dzielenia przez przedział zawierający zero, dając wtedy tzw. przedział zewnętrzny ("eksterwał"), używany w arytmetyce Kahana. Następnie zastosowano analizę diagramową do niestandardowych operacji tzw. scentrowanych operacji mnożenia przedziałów. W wyniku tego udało się określić poprawną definicję nowej operacji tzw. vscentrowanego mnożenia wewnętrznego" oraz zbadać szczegółowo własności izotoniczności względem inkluzji i dokładności aproksymacji dla operacji zarówno zewnętrznego jak i wewnętrznego mnożenia scentrowanego. Rozdział kończą krótkie sekcje na temat dwóch głównych rozszerzeń standardowej algebry przedziałów (arytmetyki Kauchera i Kahana) oraz zastosowań diagramów arytmetyki przedziałowej. Rozdział 6 prezentuje nowe, diagramowe podejście do liniowych równań przedziałowych, wprowadzając również nowe narzędzia diagramowe przydatne w tej dziedzinie. Narzędzia diagramowe dla reprezentacji przestrzeni przedziałów, relacji przedziałowych i przedziałowych operacji arytmetycznych zastosowano tutaj do diagramowej analizy liniowych równań przedziałowych. Najpierw podano definicje podstawowych typów zbiorów rozwiązań takich równań (zbiory rozwiązań tolerowanych, kontrolowanych i zunifikowanych) i zinterpretowano je na nowo jako rozwiązania pewnych przedziałowych wyrażeń relacyjnych. Następnie przeanalizowano podstawowe równanie jednowymiarowe. Opracowano konstrukcje jego diagramowego rozwiązywania dla różnych możliwych przypadków. Ujawniło to bogatą strukturę różnych możliwych konfiguracji zbiorów rozwiązań. Skatalogowano wszystkie 6 podstawowych typów konfiguracji (składających się z 16 podtypów), 47 typów pośrednich i 10 zdegenerowanych, w kilku postaciach: diagramowych, tabelarycznych i algorytmicznych (1DSET). Następnie przeanalizowano zależność pomiędzy tzw. rozwiązaniem przedziałowym z zbiorem rozwiązań tolerowanych. Znaczenie tych wyników dla analizy ogólnego przypadku wielowymiarowego wynika z przedstawionego następnie twierdzenia o przecięciu radialnym przestrzeni rozwiązań. Stwierdza ono, że układ zbiorów rozwiązań wzdłuż dowolnej lini prostej przechodzącej przez środek układu współrzędnych przestrzeni rozwiązań uzyskuje się jako rozwiązanie pewnego równania jednowymiarowego ze współczynnikami określonymi przez współczynniki równania wielowymiarowego i parametry kierunkowe linii przecięcia. Podano również algorytm obliczania przecięć radialnych (RADCUT). Na tej podstawie sformułowano regułę selekcji hiperpłaszczyzn granicznych, pozwalającą znajdować pełne i dokładne opisy kształtów zbiorów rozwiązań w wielowymiarowej przestrzeni rozwiązań. Jako wprowadzenia do analizy wielowymiarowej użyto następnie przypadku dwuwymiarowego. Opracowano algorytm pełnego opisu przestrzeni rozwiązań dla tego przypadku (2DSETS) i użyto go do stworzenia katalogu podstawowych typów strukturalnych równania dwuwymiarowego. Algorytm został następnie rozszerzony na przypadek wielowymiarowy (BOUNDHYP). Rozdział kończy sekcja na temat zastosowań, zawierająca wyczerpującą dyskusję możliwych sposobów stosowania modelu matematycznego opartego na liniowych równaniach przedziałowych. Rozdział 7 wprowadza różne nowe charakteryzacje i własności tolerowanych, kontrolowanych i zunifikowanych zbiorów rozwiązań, uzyskane przez autora z zastosowaniem podejścia diagramowego i narzędzi diagramowych wprowadzonych w poprzednich rozdziałach, w szczególności w rozdziale 6. Rozdział rozpoczyna wprowadzenie nowego narzędzia zwanego diagramem motylkowym (BUTTERFLY), który przedstawia dwuwymiarową reprezentację struktury wielowymiarowej przestrzeni rozwiązań. Następnie omówiono sposoby stosowania tego diagramu do analizy struktury i własności zbiorów rozwiązań. Sformułowano i udowodniono z użyciem diagramów także szereg własności hiperpłaszczyzny środkowej i rozwiązania środkowego. Są one użyteczne dla charakteryzacji niektórych własności zbiorów rozwiązań. Następnie poszczególne typy rozwiązań analizowane są oddzielnie za pomocą opracowanych narzędzi diagramowych. Uzyskano w ten sposób ulepszenie niektórych istniejących warunków i znaleziono nowe warunki istnienia oraz nieistnienia tych zbiorów rozwiązań, obowiązujące globalnie (TSGLOBAL, CSGLOBAL), lub tylko w pewnych obszarach przestrzeni rozwiązań (TSLOCAL, CSLOCAL, USLO-CAL). Badano również i zaprezentowano wyniki dotyczące niektórych innych własności tych zbiorów rozwiązań, takich jak nieograniczoność i spójność. Wyprowadzono także algorytmy znajdowania nowych, wewnętrznych aproksymacji krzyżowych i ortopleksowych zbiorów rozwiązań (TSINNER, CSINNER, USINNER), uzyskując także ogólną metodę wyznaczania przecięć równoległych przestrzeni rozwiązań (PARCUT) za pomocą prostych równoległych do dowolnej danej osi współrzędnych. Przedstawione wyniki stanowią pierwszą porcję rezultatów uzyskanych przez autora za pomocą podejścia diagramowego. Dalsza praca z użyciem narzędzi diagramowych zapewne doprowadzi do uzyskania szeregu nowych rezultatów. Rozdział kończy ilustracyjny przykład analizy kratownicy. Dodatek A zawiera listę algorytmów opartych na uzyskanych wynikach. Zostały one zaimplementowane pod systemem MathematicaŽ 3.0 i stanowią wstępną wersję zestawu modułów dla planowanego interakcyjnego systemu eksploracji liniowych równań przedziałowych i ich przestrzeni rozwiązań. Nazwy algorytmów podano w odpowiednich miejscach w streszczeniu ostatnich dwóch rozdziałów powyżej.

11

Molekularne systemy informatyki

75%

Węgrzyn S. , Znamirowski L.

|

2009

|

tom Vol. 30, nr 1

65-80

PL

Dwa najczęściej omawiane systemy informatyki to techniczne systemy informatyki, umożliwiające automatyczną realizację procesów obliczeniowych oraz biologiczne systemy informatyki, będące podstawą istnienia rozwoju organizmów żywych. W pracy przeprowadzono analizę i porównanie struktur tych obu systemów pod kątem możliwości technicznej realizacji molekularnych systemów informatyki wzorowanych na biologicznych systemach informatyki umożliwiających syntezę potrzebnych materiałów i produktów jako podstawę generacji sztucznego życia.

EN

The two most frequently discussed systems of informatics are the technical systems of informatics, that allow for an automatic realization of computational processes, and the biological systems of informatics, that are the foundation of existence and development of living organisms. In this paper, an analysis and a comparison of these two systems are carried out in the context of the possibility of a technical realization of molecular systems of informatics, that are patterned after biological systems of informatics, and that allow for the synthesis of needed materials and products, as the basis of the generation of an artificial life.

12

Zastosowanie metody case study do analizy przebiegu infomatycznych przedsięwzięć wdrożeniowych

75%

Ludwiszewski B.

|

2002

|

tom Nr 35

84-95

PL

W artykule opisano możliwości zastosowania metody case study do analizy przebiegu przedsięwzięć wdrożeniowych systemów informatycznych wspomagających zarządzanie. Metoda została przedstawiona jako narządzie umożliwiające wnikliwą analizę przypadków opisujących procesy wdrażania systemów informatycznych zarządzania w małych i średnich przedsiębiorstwach. Opisano praktyczne możliwości stosowania case study, podano przykład przeprowadzonej za pomocą tej metody analizy przypadku oraz przedstawiono możliwość zastosowania jej jako narze/lzia do usystematyzowania informacji potrzebnych do weryfikacji hipotez.

EN

The paper describes the possibilities of applying Case Studies to an analysis of imple-mentation ventures of management information systems. The method is presented as a tool that can be used for a detailed analysis of a series of cases describing processes of imple-mentation Of management information systems in smali business. An example of applying Case Studies to systemise important information used to verify hypotheses was presented.

13

Molekularne systemy informatyki

75%

Węgrzyn S.

|

2010

|

tom Vol. 31, nr 1

43-53

PL

Informatyka jest dziedziną nauki o zapisywaniu, przechowywaniu, przekształcaniu i przekazywaniu informacji. Tak uporządkowany zbiór tych operacji, że po ich wykonaniu otrzymuje się rozwiązanie dowolnego zadania z określonego zbioru zadań, nazywa się systemem informatyki. Najczęściej dotąd omawiane systemy to rozwijane przez ludzi od około 70 lat techniczne systemy informatyki obliczeniowej oraz biologiczne systemy informatyki, które kształtowały się w naturze od miliardów lat i dzięki którym organizmy żywe istnieją, rozwijają się i powielają. W pracy omówiono operacje, które powinny być na poziomie molekularnym realizowane w technicznych systemach informatyki, tak aby mogły w nich zachodzić zjawiska samoorganizacji, samoreplikacji i samorozprzestrzeniania się obiektów takie same jak te, które mają miejsce w biologicznych systemach informatyki.

EN

Informatic is a branch of science on recording, storage, transformation and transmission of information. The set of this operations so arranged that any problem solution of a defined set upon completion thereof can be obtained, is called the informatic system. The most frequently discussed systems so far are the technical computational informatic systems and biological informatic systems that have been formed in the nature for billions of years, thanks to which to living organisms exist, develop and reproduce themselves. The paper includes discussions on operations that should be carried out on the molecular level so that object self-arrangement, self-replication and self-propagation phenomena could take place in the technical information systems, identical to the biological informatic systems.

14

Wybór wariantu outsourcingu informatycznego w praktyce

75%

Ludwiszewski B.

|

2006

|

tom Nr 44

5-13

PL

W artykule opisano możliwości wykorzystania outsorcingu do obniżenia kosztów eksploatacji zasobów informatycznych przedsiębiorstwa. Podano podstawowe informacje związane z eksploatacją zasobów informatycznych. Przedstawiono prace analityczne, które mogą wspomóc wypracowanie podjęcia decyzji o przeniesieniu zasobów informatycznych do outsourcingu. Artykuł opracowano na podstawie rzeczywistego projektu wprowadzonego w przedsiębiorstwie produkcyjnym średniej wielkości.

EN

The paper presents the possibilities of using outsourcing in order to reduce operational costs of the IT resources in a company. The basic information connected with the exploitation of company resources and with outsourcing is presented. The paper presents a description of an analytical work that can support making decisions concerning the outsourcing of IT in a company. The paper is based on a real project carried out in a medium-sized production enterprise.

15

Zarządzanie ryzykiem w przedsięwzięciach informatycznych

75%

Dudek A.

|

2011

|

tom z. 57

107-115

PL

W artykule przedstawiono istotne zagadnienia dotyczące problematyki zarządzania ryzykiem. Podjęto próbę wskazania kluczowych czynników, które mają wpływ na realizację przedsięwzięć w przedsiębiorstwie. Główne rozważana ukierunkowały się na przedsięwzięcia informatyczne. Omówiono zasady, których należy przestrzegać na różnych etapach realizacji, oraz współczesne wyzwania zarządzania projektami informatycznymi.

EN

This article presents risk analysis important features. That analysis was made to indicate key factors for realization of projects in enteprises. Main aspect is focused on IT solutions. There are presented rules for each stage of realization and nowdays challenges of management of IT projects.

16

Zapotrzebowanie na programy komputerowe w rolnictwie na przykładzie gospodarstw województwa małopolskiego

63%

Cupiał M.

|

2008

|

tom R. 12, nr 9(107)

55-60

PL

Przedstawiono wyniki badań 83 gospodarstw rolniczych położonych na terenie województwa małopolskiego. Badania miały na celu sprawdzenie, jakich programów komputerowych używają rolnicy, a także jakie są ich potrzeby w zakresie oprogramowania przeznaczonego dla rolnictwa.

EN

The paper presents the results of the research carried out in 83 farms located within Małopolskie Voivodship. The research was intended to check which computer applications are used by farmers, and what are their needs as regards software designed for agriculture.

17

Didaktika informatiky v príprave budúcich učiteľov informatiky a informačnej výchovy

63%

STOFFOVÁ V.

Edukacja-Technika-Informatyka

|

2016

|

tom 7

|

nr 1

230-242

CS

Cieľom štúdie je definovať didaktiku informatiky ako odborovú didaktiku a didaktiku programovania ako predmetovú didaktiku v príprave učiteľov informatiky.

EN

The aim of the study is to define theme thodology of informatics as a union didactics and the methodology of programming as a subject didactics in informatics teacher training for elementary and secondary schools.

18

Wykorzystanie technologii informacyjnej a zagrożenia „dla informatyki i przez informatykę”

63%

Kęsy M.

Dydaktyka informatyki

|

2014

|

tom 9

9-19

PL

Funkcjonalną podstawą społeczeństwa informacyjnego staje się powszechne zastosowanie technologii informacyjno-komunikacyjnych. Ich wykorzystanie stając się cywilizacyjną koniecz-nością wskazuje wiele zjawisk pozytywnych, ujawniając zarazem pewne zagrożenia. Problematy-kę zagrożeń można rozpatrywać dwukierunkowo, tzn. w ujęciu skutków społecznych wywołanych rozwojem technologii informacyjnych (zagrożeń przez informatykę) oraz w kategoriach zjawisk i procesów ograniczających ich dalszy rozwój (zagrożeń dla informatyki).

EN

A functional base of information community is generally using the information and communication technology. Its application will be a civilization necessity pointing at some positive phenomena and revealing risks. A hazard issue of information technology develop-ment can be analyzed in two-way e.g. in terms of society effects (risks by) and its further development (risks for).

19

History and development of transport telematics

51%

Nowacki G.

|

2008

|

tom Vol. 1, iss. 1

61-67

EN

The paper refers to theoretical basis and history of transport telematics. The definition of transport telematics and its synonymous term - Intelligent Transportation Systems (ITS) were described. Furthermore the development of transport telematics has been presented, especially general policy of many ITS associations all over the world: ITSS, ERTICO, ITS America, Australia, Japan and Poland. Finally, the applications of transport telematics and basic standards have been characterized.

20

Rozwiązania informatyczne wspomagające recykling samochodów

51%

Smater M.

|

2009

|

tom nr 11

64-66

PL

Właściwe zagospodarowanie odpadów w postaci wycofanych z użytkowania pojazdów poprzez maksymalizację odzysku części i materiałów może przyczynić się do zmniejszenia zapotrzebowania na materiały pierwotne - surowce. Tym samym zapewnia zachowanie zrównoważonego rozwoju Europy. Tak śmiała teza nie została wysunięta przypadkowo i bezpodstawnie.