Materialy 7. Konferencji Naukowej "Informatyka - Sztuka czy

Materialy
7.
„Informatyka
Konferencji Naukowej
-
^
Sztuka czy Rzemioslo"
Prepn
nt
KNWS TL
Swinoujscie,
7-11 czerwca 2010
Organizowane
de
przez:
»•
bbbb
bbub
•a
bbbb
nim
mii
I
Uniwersytet Zielonogórski
HHHB
Polskie Towarzystwo Informatyczne
Instytut Informatyki i Elektroniki
Oddzial
Partner
Wielkopolski
merytoryczny:
IBM Polska
Prezes
Rektora
Urzedu Komunikacji Elektronicznej Uniwersytetu Zielonogórskiego
KNWS 2010
5
Spis tresci
Rozdzial I
Modelowanie
Synthesis
of Moore finite
i synteza
state
systemów
cyfrowych
machine with nonstandard
presentation of state
codes
11
Alexander
Barkalov, Larysa Titarenko, Olena Hebda
Gaps in design and
Iwona
tests of dependable embedded
systems
^
Grobelna, Michal Grobelny
Wykorzystanie zasobów sprzetowych
w
mikroprogramowanych
ukladach
sterujacych z kodowaniem kolekcji mikrooperacji
Malgorzata Kolopienczyk
19
Wykorzystanie mikroprogramowanych ukladów sterujacych do implementacji
przykladowego algorytmu przetwarzania danych wizyjnych
Malgorzata Kolopienczyk, Sebastian Pawlak, Wojciech Zajac
Mikroprogramowany
uklad
sterujacy
z
wspóldzieleniem kodów
oraz
rozszerzonym formatem mikroinstrukcji
Alexander Barkalov, Larysa Titarenko, Jacek
Bieganowski
Zmniejszenie zuzycia makro komórek PAL
realizacjach ukladowych
w
27
automatów Moore'a
32
Aleksander Barkalov,
Larysa Titarenko, Slawomir Chmielewski
Rozdzial II
Systemy
37
pomiarowe
Stability of time-varying linear system
Szyda
39
Aneta
System
do kreslenia
podzialek urzadzen pomiarowych
44
Piotr Mróz, Janusz Mróz
Impulsowe SNP
z
23
komutacja wieloschodkowa
^
Edward Greczko
sprawdzania ukladów pólposrednich
Andrzej Olencki, Krzysztof Urbanski, Jan Szmytkiewicz
^
funkcji autokorelacji i skwantowanych danych do obliczania
wariancji estymatora wartosci oczekiwanej sygnalu
Elzbieta Kawecka, Sergiusz Sienkowski
56
Porównanie metod
Zastosowanie
Rozdzial III
Grafika
Mobile system for estimation of the internal parameters of distributed
Przemyslaw Mazurek
The
Application
Colour
Spaces
61
komputerowa
cameras
of the
in the
Weighted Distance Directional Filter for Various
Aspect of Modern Image Quality Metrics
63
Krzysztof Okarma, Aleksandra Mietus,
Mateusz Teclaw
69
6
KNWS 2010
Transmisja sekwencji wizyjnych w
Andrzej Poplawski
sieciach
o
zmiennej przepustowosci
^5
Analiza
wplywu dwuwymiarowych funkcji okien na liniowa korelacje
nowoczesnych miar jakosci obrazu z ocena subiektywna
Krzysztof Okarma
79
Sprzetowa implementacja algorytmu detekcji wzorców bledu DCT
w hybrydowym algorytmie maskowania bledów transmisji obrazu stalego
HECA
83
Grzegorz Andrzejewski, Wojciech Zajac
Porównanie
wybranych
miar kontrastu obrazów
achromatycznych
87
Artur Bal
Rozdzial IV
Inzynieria
93
oprogramowania
Koncepcja hybrydowego systemu detekcji robaków sieciowych
wykorzystujacego metody eksploracji danych
95
Slawomir Mika
Uslugi
biznesowe
zastosow ani a w
Artur
SQL Server 2008.
przemysle
w
Omówienie
przyklad
oraz
101
Gramacki, Jaroslaw Gramacki
Analiza
danych
z
uzyciem modeli regresyjnych
z
naruszonymi zalozeniami
Jaroslaw Gramacki, Artur Gramacki
Programowanie
kontrolerów
gier i aplikacji
w
systemie
^5
Windows
Lukasz Stefanowicz, Grzegorz Labiak
Zmodyfikowane mnozenie o stalej szerokosci bitowej
Ernest Jamro, Maciej Wielgosz, Pawel Russek, Kazimierz
* ^
Wiatr
Wspomaganie procesu definiowania zadan wykonywanych
projektu informatycznego
w
ramach
\ 19
Tomasz Gratkowski
Metoda zestawiania
internetowych uslug zlozonych
geograficznych systemów informacyjnych
Piotr Grobelny
Optymalizacja zapytan
w
dziedzinie
kompresja danych w bazie DB2
Agnieszka Wegrzyn, Jacek Tkacz, Adam Wojciechowski
a
122
9
127
Rozdzial V
133
Modelowanie matematyczne
Detecting and localizing multipartite entanglement by two-partite methods
Roman Gielerak, Marek Sawerwain
Metody wyznaczania parametrów poczatkowych systemów
rozmytych
Kinga Kadziolka
Zastosowanie strumienia
erozyjnych
Korneliusz Warszawski
czastek
w
modelowaniu
neuronowo
-
139
wirtualnych struktur
143
7
KNWS 2010
Analiza zlozonosci
obliczeniowej algorytmów identyfikacji liniowych
procesów powtarzalnych metodami podprzestrzeni
Dominik Kujawa
147
Rozdzial VI
Dzialalnosc
urzedu komunikacji elektronicznej na
budowy spoleczenstwa informacyjnego
prezesa
rzecz
153
System kontroli rynku wyrobów i prawne srodki jego ochrony
Mariusz
Czyzak
Platforma
Lokalizacyjno-Informacyjna
z
Centralna Baza Danych
w
systemie
ratownictwa 112
159
Janusz Zawila-Niedzwiecki, Tomasz Karamon, Marian Podniesinski
Wdrazanie
naziemnej telewizji cyfrowej
na
obszarze
województwa
lubuskiego
163
Michal Póltorak
Ogólnopolska zregionalizowana siec naziemnej telewizji cyfrowej
potrzeby TVP
Andrzej Marszalek, Wojciech Pienkowski, Radoslaw Tyniów
KASMON
w
-
na
167
narzedzie efektywnego gospodarowania widmem czestotliwosci
173
Polsce
Marcin Wozniak
Budowa
bezprzewodowych regionalnych sieci szerokopasmowych
Arkadiusz Kurek
Problematyka zarzadzania informacja i wiedza w instytucjach sektora
publicznego na przykladzie Urzedu Komunikacji Elektronicznej
Marcin Krawczyk
Rozdzial VII
Metody optymalizacyjne
Arytmetyka resztowa
w
szyfrowaniu
i kryptograficzne
RSA
poziomem w metodach projekcyjnych
minimalizacji wypuklej nierózniczkowalnej
Robert Dylewski
Sterowanie
w
187
189
Janusz Jablonski
Zastosowanie metod projekcyjnych
183
dla
problemów
193
optymalizacji wypuklej
nierózniczkowalnej
Robert Dylewski
197
Efektywnosc parametrów statystycznych w detekcji informacji szyfrowanej
Grzegorz Gancarczyk, Agnieszka Dabrowska Boruch, Kazimierz Wiatr
^01
-
Rozdzial VII
Platformy mobilne do monitorowania terenu
algorytmiczna ukladu do mnozenia dlugich operandów
Marek Gliszczynski, Alexandr Tariov
Struktura
Zracjonalizowany algorytm mnozenia dwóch kwaternionów
Alexandr Tanov, Galina farioya
209
211
8
KNWS 2010
Kontekst
bezpieczenstwa dla „Telepracy"
219
Janusz Jablonski
Rozdzial VII
Sieci
Petriego,
automaty
stanów
modelowaniu
Diagramy aktywnosci jezyka UML
od
i logika matematyczna w
i sieci
Petriego
weryfikacji
w
systemach sterowania
binarnego
transformacji
Grobelny, Iwona Grobelna
-
do
223
systemów
225
Michal
Transformacja rozmytej interpretowanej
logicznego
sieci
Petriego
na
schemat ukladu
231
Leslaw Gniewek
Czy prawidlowa siec Petriego jest siecia doskonala?
Kamil Mielcarek, Marian Adamski, Wojciech Zajac
ooc
235
Modelowanie
produkcji obudowy separatora olejowego za pomoca
diagramów aktywnosci UML i ct-sieci
Agnieszka
239
Lasota
Deadlock detection in networks of automata
communicating via flags
Andrei Karatkevich
Redukcja binarnych
tablic
decyzyjnych
z
245
wykorzystaniem automatycznego
wnioskowania
249
Marian Adamski, Jacek Tkacz, Beata Wrzesinska
Zastosowanie kolorowania
automatów
hipergrafów
w
procesie dekompozycji równoleglej
wspólbieznych
Remigiusz Wisniewski
253
Monika Wisniewska,
Obsluga wyjatków oraz stanów wznowienia
Michal Doligalski, Marian Adamski
Transition
w
ramach
dualnej specyfikacji
257
orthogonality in statechart diagrams and inconsistencies in binary
control system
262
Grzegorz Labiak
Dekompozycja skonczonych
automatów stanów
266
Arkadiusz Bukowiec
Indeks autorów
271
Sponsorzy
273