rafalposwiata/plsc huggingface dataset:
Audyt energetyczny wybranego obszaru miasta - metoda bilansowania potrzeb cieplnych oraz wyznaczania efektów energetycznych i ekologicznych wynikających z termomodernizacji

Istnieje konflikt interesów między producentami i dostawcami energii, którzy dążą do ustalenia cen energii odpowiadających kosztom wytwarzania a konsumentami, którzy przeznaczają coraz większą część budżetu na zaopatrzenie w energię. Wzajemne relacje powodują rozpowszechnianie się procesu racjonalizacji zużycia energii, którego podstawą jest termomodernizacja struktur budowlanych. W artykule przedstawiono metodę bilansowania potrzeb cieplnych, wyznaczania efektów energetycznych i ekologicznych, wynikających z termo modernizacji wybranego obszaru miasta. W zaproponowanej metodzie założono wykorzystanie opracowanych kart inwentaryzacyjnych dla każdego budynku wchodzącego w skład wybranego, analizowanego obszaru. Inwentaryzacja poszczególnego budynku polegała na zebraniu istotnych danych, niezbędnych do wykonania bilansu potrzeb cieplnych, określenia obmiaru wszystkich elementów konstrukcyjnych, stanowiących źródło strat ciepła i oszczędności energii oraz służących do przeprowadzenia optymalizacji wyboru usprawnień termo modernizacyjnych. Według obliczeń różnica między obliczonym zapotrzebowaniem na moc cieplną w stosunku do metody szczegółowej (PN-B-03406 Ogrzewnictwo - Obliczanie zapotrzebowania na ciepło pomieszczeń o kubaturze do 600 m ) wynosiła 1,4%, natomiast sezonowe zapotrzebowanie na ciepło różniło się o 10,1%, co w kontekście wykorzystania wyników bilansu w audycie energetycznym obszaru miasta jest dokładnością wystarczającą. Ponadto, w artykule zawarto przykładową optymalizację wyboru wariantu polegającego na dociepleniu przegród zewnętrznych i wymianie stolarki okiennej oraz sumaryczne przedstawienie efektów energetycznych i ekologicznych w wyniku termomodernizacji. Wykorzystanie przedstawionej metody pozwala na uzyskanie dokładnych kosztów inwestycyjnych, efektów energetycznych, ekologicznych i ekonomicznych, co w konsekwencji umożliwia uzyskanie informacji o opłacalności inwestycji termomodernizacyjnej, tak pojedynczego budynku, jak i grupy budynków, stanowiących analizowany obszar miasta/gminy.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Wentylacja a środowisko wewnętrzne w budynkach

W celu ochrony użytkowników budynków przed niekorzystnym wpływem klimatu zewnętrznego konieczne jest uzyskanie w ich wnętrzu akceptowalnego przez użytkowników stanu klimatu wewnętrznego. Tendencje do oszczędzania energii skutkują nie tylko stosowaniem przegród o większej izolacyjności cieplnej, ale również wykorzystywaniem doskonalszych elementów budowlanych, takich jak, na przykład okna, charakteryzujące się dużą szczelnością. Jednocześnie, w budynkach nowych oraz istniejących od dłuższego czasu są stosowane tradycyjne rozwiązania wentylacji. W takich przypadkach działanie wentylacji jest istotnym czynnikiem dla realizacji wymagań akceptowalnego klimatu wewnętrznego. W artykule przedstawiono wybrane wyniki badań dotyczące tej problematyki. Uzyskano je na podstawie kompleksowych pomiarów w budynkach istniejących, komputerowych symulacji procesów wentylacyjnych, a także przez badania ankietowe użytkowników obiektów mieszkalnych i biurowych.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Proces zgazowania odpadów drewnopochodnych

W artykule omówiono proces niskotemperaturowego zgazowania odpadów drewnopochodnych. Scharakteryzowano podstawowy produkt zgazowania, tj. gaz procesowy, głównie pod kątem jego przydatności jako paliwa uzupełniającego wsad węgla kamiennego spalanego w kotłach wodnych w energetyce. Proces niskotemperaturowego zgazowania odpadów drewnopodobnych przebiega w trzech fazach. Pierwsza faza to podgrzewanie i rozpalanie odpadów (350-750 °C), druga to ich właściwe zgazowanie (250-350 °C), a trzecia faza to dopalanie odpadów (650-950°C). W wyniku procesu zgazowania wydziela się gaz procesowy, w skład którego wchodzą gazy palne takie, jak: wodór, tlenek węgla, metan, etan, etylen oraz gazy niepalne, tj. dwutlenek węgla i azotu oraz para wodna. Zgazowanie odpadów drewnopochodnych należy do inwestycji proekologicznych. Wiąże się z odzyskiem surowców wtórnych (produkcja gazu procesowego), a otrzymane w wyniku spalania tego gazu spaliny charakteryzują się składem umożliwiającym ich emisję do powietrza jedynie po odpyleniu bez dodatkowego oczyszczania chemicznego. Odpady stałe są wydzielane w ilościach nieznacznych i nie przekraczają 10% masy odpadów drewnopochodnych przeznaczonych do zgazowania.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Monitoring wód kopalnianych odprowadzanych do rzek

Oddziaływanie górnictwa węgla kamiennego na jakość wód powierzchniowych jest postrzegane głównie jako wprowadzanie do środowiska zasolonych wód pochodzących z odwadniania kopalń, które wpływają na biocenozę rzek oraz ograniczają możliwości wykorzystania ich do celów gospodarczych. Istotne znaczenie w ocenie stanu środowiska wodnego w zlewni górnej Wisły i Odry ma monitoring zasolonych wód odprowadzanych z kopalń węgla kamiennego. Stosowane sposoby monitorowania zrzutu zasolonych wód, pochodzących z odwadniania kopalń węgla kamiennego, spełniają wymogi obecnie obowiązującego prawa. W artykule omówiono wady i zalety istniejących systemów monitoringu ilości i jakości wód dopływających do kopalń i odprowadzanych z kopalń do odbiorników powierzchniowych. Na przykładach konkretnych kopalń przeanalizowano najczęściej stosowane sposoby monitorowania zrzutu zasolonych wód do odbiorników powierzchniowych. Zaproponowano, możliwe do zastosowania, systemy monitoringu ilości i jakości zasolonych wód z odwadniania zakładów górniczych oraz sposób udostępniania wyników monitoringu. W konkluzji stwierdzono, że zasadniczą rolę w ograniczaniu zasalania Wisły i Odry oraz ich dopływów będą spełniały proponowane i realizowane systemy hydrotechniczne. Rozwiązania te wymagają opracowania systemów ciągłego monitorowania zarówno ilości, jak i jakości zrzucanych wód, a także monitoringu rzek przed i za zrzutem z kopalń. Prace nad takimi rozwiązaniami są prowadzone w kopalniach nadwiślańskich (system hydrotechniczny "Mała Wisła") i w Rybnicko-Jastrzębskim Okręgu Węglowym (Kolektor "Olza"). Uważa się, że opracowanie dla każdej kopalni z osobna i dla sektora węglowego jako całości, systemu ciągłego monitoringu jakościowo-ilościowego zrzutu zasolonych wód kopalnianych jest przedwczesne. Dotyczy to przede wszystkim ciągłego monitoringu jakościowego, w miejsce analiz fizykochemicznych, dotychczas wykonywanych w laboratoriach.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Model koncepcyjny głównego zbiornika wód podziemnych Tychy-Siersza w rejonie prawdopodobnego wpływu zatapiania byłej kopalni "Siersza"

Główny Zbiornik Wód Podziemnych (GZWP) Tychy-Siersza wyznaczono w szczelinowo-porowych skałach krakowskiej serii piaskowcowej (Różkowski, Chmura 1996). Przebiega on stosunkowo wąskim pasem na północ od Wisły, od centralnej do wschodniej części Górnośląskiego Zagłębia Węglowego (GZW). Obszar GZWP Tychy-Siersza obejmuje obszary górnicze wielu kopalń, z których część została zlikwidowana. Jedną z tych kopalń była kopalnia "Siersza", najdalej wysunięta na wschód w całym GZW. Była to jedyna kopalnia na opisywanym terenie, przeznaczona do całkowitego zatopienia. Jako, że wszystkie wyrobiska łączące dół kopalni z powierzchnią zostały zasypane, nie przewiduje się wypływu wód kopalnianych na powierzchni i zasilania nimi wód powierzchniowych. Nie należy jednak wykluczyć wpływu pośredniego, przez czwartorzędowe piętro wodonośne. Ponadto, obszar tej kopalni znajduje się w strefie zasilania GZWP Tychy-Siersza, który jest ważnym źródłem wody pitnej. Zasadne wydaje się więc przeprowadzenie badań w celu oszacowania możliwego zagrożenia, jakie dla jakości wód GZWP może stanowić zatopienie kopalni. W niniejszym artykule opisano model koncepcyjny - stanowiący pierwszy etap w procesie ustalenia rzeczywistych warunków przepływu wód w obrębie karbońskiego Głównego Zbiornika Wód Podziemnych Tychy-Siersza. Model ten jest podstawą do wykonania modelu matematycznego, za pomocą którego będzie można oszacować prawdopodobny wpływ zatapiania wyrobisk kopalni "Siersza" na krążenie oraz jakość wód GZWP wydzielonego w obrębie krakowskiej serii piaskowcowej.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Obliczanie kąta tarcia wewnętrznego i spójności skał metodą stycznej do obwiedni kół Mohra w postaci paraboli

W artykule przedstawiono najczęściej stosowane metody obliczania kąta tarcia wewnętrznego i spójności skał, a także metodę zaproponowaną przez autorów. Podstawą tej metody jest przyjęte założenie, zgodnie z którym obwiednia kół Mohra jest parabolą. Równanie paraboli określa się metodą najmniejszych kwadratów, a wartości kąta tarcia i spójności z równania stycznej do tej paraboli w zadanym punkcie. Opracowano program komputerowy MOHR, według którego oblicza się wartości kątów tarcia i spójności. Przedstawiono również przykłady praktycznego zastosowania opracowanego programu oraz analizę uzyskanych wyników dla kilku przykładowych skał karbońskich GZW. Badania prowadzono w trójosiowym stanie naprężenia, stosując sztywną maszynę, co umożliwiło określenie własności wytrzymałościowych skał zwięzłych (faza przedkrytyczna) i spękanych (faza pokrytyczna). Do analizy wyników wykorzystano omówiony program komputerowy. Z równania obwiedni parabolicznej kół Mohra dla danego rodzaju skały metodą stycznych do obwiedni wyznaczono zmianę wartości kąta tarcia wewnętrznego i zmianę spójności w funkcji naprężenia normalnego.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Kompleksowa termomodernizacja wraz z poprawą sprawności systemu grzewczego oraz wymianą źródeł ciepła w obiektach szkolnych w Siemianowicach Śląskich

W latach 2004-2005 w Siemianowicach Śląskich przeprowadzono kompleksową termomodernizację obiektów szkolnych. Podstawą do jej przeprowadzenia były, wcześniej wykonane, w Głównym Instytucie Górnictwa w Zakładzie Oszczędności Energii i Ochrony Powietrza, prace audytorskie w postaci analiz ograniczenia potrzeb cieplnych obiektów szkolnych, na podstawie których sporządzono projekty technologiczno-wykonawcze. W publikacji przedstawiono opis przebiegu tych prac: charakterystykę technologiczną obiektów, energooszczędne usprawnienia termomodernizacyjne (w tym również poprawę sprawności systemu grzewczego wraz z wymianą źródeł ciepła), wyniki bilansu energetycznego przed i po wykonaniu zaproponowanych usprawnień termomodernizacyjnych, analizę ekonomiczną wariantu wykonawczego (w tym oszczędności kosztów ogrzewania) oraz sposób finansowania powyższych inwestycji.

Czasopismo: Prace Naukowe GIG. Górnictwo i Środowisko / Główny Instytut Górnictwa
Dziedziny: nauki inżynieryjno-techniczne
Dyscypliny: inżynieria środowiska, górnictwo i energetyka
Ekstrakcja cech teksturalnych w klasyfikacji obrazów tomograficznych wątroby

W pracy przedstawiono nową metodę opisu tekstur, przystosowaną do analizy grupy obrazów, przedstawiających na różne sposoby ten sam fragment organu. Charakteryzując obszary zainteresowania, uwzględniono nie tylko cechy teksturalne wyliczone na ich podstawie, ale również ich zależność od warunków pozyskiwania obrazów. Zaproponowano kilka sposobów konstrukcji przestrzeni parametrów odzwierciedlających zmianę tekstury, która zachodzi pod wpływem zmian warunków akwizycji. Proponowaną metodę zweryfikowano doświadczalnie w klasyfikacji obrazów tomograficznych wątroby. Rozpoznawano cztery typy tkanki, dla każdego przypadku rozważono trzy momenty akwizycji, związane z obecnością i propagacją środka kontrastującego. Wyniki uzyskane przy użyciu różnych zestawów cech teksturalnych i klasyfikatora w postaci dipolowych drzew decyzyjnych pokazują, że uwzględnienie zmian tekstury pod wpływem propagacji środka kontrastującego znacznie poprawia diagnozę.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Lasy losowe - ocena jakości prognostycznej cech

W pracy bezwzględny błąd predykcji  jest wykorzystywany do oceny jakości prognostycznej poszczególnych cech. Narzędzie prognostyczne - lasy losowe - jest konstruowane w celu uzyskania estymatora funkcji przeżycia. Jest on następnie porównywany z estymatorem funkcji przeżycia Kaplana-Meiera, utworzonym przy założeniu jednorodności populacji. Elementem składowym lasów są dipolowe drzewa przeżycia. Zastosowanie dipolowej funkcji kryterialnej pozwala wykorzystać niepełną informację o czasie zajścia porażki, pochodzącą z obserwacji obciętych.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Temporalność w modelach rangowych

W zbiorze danych określony jest pewien porządek czasowy dla wybranych obiektów. Poprzez model rangowy rozumiemy taką liniową transformację, która zachowuje w najlepszym możliwym stopniu wiedzę a priori o uporządkowaniu obiektów.  W artykule przedstawiono koncepcję budowy modelu rangowego opierając się na minimalizacji wypukłej i odcinkowo-liniowej (CPL) funkcji kryterialnej. Zagadnienie zostało sprowadzone do problemu znalezienia optymalnej hiperpłaszczyzny rozdzielającej zbiory zbudowane z elementów powstałych z różnic arytmetycznych wektorów cech tworzących pary, dla których określony jest porządek czasowy.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Sieć bayesowska jako narzędzie pozyskiwania wiedzy z ekonomicznej bazy danych

Proces decyzyjny w inwestowaniu rozpoczyna się od percepcji i przetwarzania napływających informacji. Podłoże decyzji stanowią przekonania dotyczące prawdopodobieństwa zajścia określonego zdarzenia. Jednostki racjonalne posługują się narzędziami teorii prawdopodobieństwa i statystyki, rozumując zgodnie z prawem Bayesa, czyli aktualizując wyobrażenia o prawdopodobieństwie zdarzenia wraz z ujawnianiem wszelkich nowych informacji, zarówno ilościowych, jak i jakościowych. Wydaje się zatem, że bardzo dobrym narzędziem wspomagającym decyzje inwestycyjne może być odpowiednio skonstruowany model sieci bayesowskiej (Bayesian Network). W artykule postawiono za cel główny prezentację możliwości zastosowania modelu sieci bayesowskiej do pozyskiwania wiedzy z ekonomicznej bazy danych, z uwzględnieniem informacji jakościowych oraz preferencji i subiektywnych ocen analityka finansowego, podejmującego decyzje w warunkach niepewności.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Porównanie planu kompletnego i planu Pesočinskiego w zastosowaniu do wyznaczania rozkładu natężenia oświetlenia

W pracy przeprowadzono analizę porównawczą planów trójwartościowych kompletnego oraz Pesočinskiego w zastosowaniu do predykcji rozkładu natężenia oświetlenia we wnętrzach. Funkcję obiektu badań przyjęto w postaci wielomianu algebraicznego drugiego stopnia ze współdziałaniami pierwszego rzędu.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Obfuscation quality in hardware designs

Obfuskacja jest techniką przekształcania kodu źródłowego oprogramowania, który zachowuje swoje działanie semantyczne, ale znacząco zostaje utrudniona jego analiza oraz zrozumienie. Swoje badania skupiliśmy na sprzętowym języku Very High Speed Integrated Circuits Hardware Description Language (VHDL). W poprzednich pracach przestawiliśmy szereg transformat zaasymiowanych z jęyków wysokiego poziomu na potrzeby projektów sprzętowych oraz zaproponowaliśmy nowe nie występujące w innych językach niż VHDL. Kolejnym krokiem, jaki należy wykonać jest ustalenie kryteriów dzięki którym będzie można ocenić jakość analizowanych transformat. W artykule przedstawimy dotychczas używane metody oceny jakości oprogramowania oraz przeprowadzimy ich ocenę na potrzeby ochrony własności intelektualnej projektów sprzętowych. Następnym krokiem będzie przedstawienie nowego sposobu oceny jakości obfuskacji z uwzględnieniem wymagań jakie stawiają przed programistą projekty sprzętowe.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Problemy minimalizacji mocy pobieranej przez układy logiki programowalnej

Przedstawiona praca prezentuje problematykę energii w schematach logiki programowalnej. Pokazane są najpopularniejsze aspekty nowoczesnych metod minimalizacji mocy pobieranej przez schematy sekwencyjne. Analiza różnych metod pokazuje w najszerszej perspektywie możliwości badań dotyczących zarządzania energią pobieraną, konsumowaną i traconą.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Adekwatność i efektywność planu kompletnego oraz Hartleya w zastosowaniu do prognozowania natężenia oświetlenia

Celem pracy jest przeprowadzenie analizy adekwatności i efektywności planu trójwartościowego kompletnego oraz Hartleya do badania natężenia oświetlenia, w dowolnym punkcie, na płaszczyźnie roboczej modelu pomieszczenia. W tym celu porównano średnie błędy kwadratowe z średnimi odchyłkami kwadratowymi.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Podsumowania lingwistyczne z grupowaniem rozmytym

W pracy przedstawiono zastosowanie podsumowania lingwistycznego jako predykatu rozmytego do wyznaczania obiektów z typową wartością atrybutu lub zbioru atrybutów. W rozmytym algorytmie grupującym wykorzystana jest populacja z wyznaczoną ze względu na dany atrybut typowością obiektów. Wyniki działania tego algorytmu oraz jego zmodyfikowanej postaci zostały przedstawione na przykładzie populacji, której obiektami są piksele obrazu.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Feature selection using CPL criterion functions

Redukcja wymiarowości zbioru cech jest często używanym wstępnym krokiem przetwarzania danych stosowanym przy rozpoznawaniu wzorców i klasyfikacji. Jest ona szczególnie istotna kiedy mała liczba obserwacji jest reprezentowana w wysoko wymiarowej przestrzeni cech. W artykule rozważana jest metoda selekcji cech opierająca się na minimalizacji specjalnej funkcji kryterialnej (wypukłej i odcinkowo-liniowej - CPL). Załączono także porównanie wyników eksperymentów uzyskanych za pomoc ą opisanej metody z wynikami metod uczestników konkursu NIPS2003 Feature Selection Challenge.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Parallel fuzzy clustering for linguistic summaries

Z podsumowaniem lingwistycznym, jak i z predykatem rozmytym związana jest wartość prawdy. Możemy więc podsumowań lingwistycznych używać jako predykatów rozmytych. Podsumowanie postaci większość obiektów w populacji P jest podobna do obiektu oi wykorzystać możemy do znajdowania typowych wartości w populacji P, które to wykorzystuje rozmyty algorytm grupujący. Wadą tego algorytmu jest jego duża złożoność obliczeniowa. W celu przetwarzania dużej liczby danych zaimplementowaliśmy ten algorytm równolegle, korzystając ze standardu MPI do komunikacji między procesami działającymi na różnych procesorach. W tej pracy przedstawiamy algorytm równoległy i wyniki eksperymentów.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Random test for trading system

Wielu inwestorów używa mechanicznych systemów transakcyjnych. Systemy takie testowane są na danych historycznych, gdzie osiągają dobre wyniki. W artykule tym opisano metodę testowania systemów transakcyjnych opartą na hipotezie, iż system podejmuje decyzje losowo. Przy założeniu prawdziwości hipotezy konstruowany jest odpowiedni system losowy, który z takimi samymi prawdopodobieństwami generuje sygnały zajęcia pozycji. Opisywany system zajmuje pozycję długą (zakłada wzrost cen) bądź  krótką (zakłada spadek cen) na kontraktach futures na indeks S&P500 (system zawsze posiada pozycję, nigdy nie jest poza rynkiem). Obliczenia dla systemu losowego wykonywane są wiele razy i tworzony jest rozkład prawdopodobieństwa wyników systemu. W oparciu o uzyskany rozkład weryfikowana jest hipoteza o losowości testowanego systemu.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Synteza układów kombinacyjnych na jednym uniwersalnym układzie PAL z wykorzystaniem montażowego łączenia wyjść

W artykule został opisany algorytm syntezy układów kombinacyjnych  z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych

W pracy przedstawiono algorytm generowania reguł pierwszego rzędu, tzn. zależności, które w poprzedniku mają koniunkcję formuł atomowych bądź ich negacji a w następniku formułę atomową. Technikę zbiorów przybliżonych wykorzystano w procesie doboru literałów mogących wchodzić w skład przesłanki generowanej reguły. Kryterium doboru opiera się na tym, aby reguła po dołączeniu do jej przesłanki kandydującego literału jak najlepiej rozróżniała przykłady pozytywne i negatywne, które do tej pory nie były rozróżnialne.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka
Algorytmy kodowania stanów wewnętrznych automatu skończonego do minimalizacji poboru mocy

Kodowanie stanów wewęetrznych automatu skończonego jest jednym z ważniejszych procesów podczas syntezy automatu. Zastosowanie odpowiedniego algorytmu pozwala m.in. obnizyć pobór mocy. W artykule skoncentrowano się na algorytmach minimalizujących pobór mocy. Przeprowadzono badania nad algorytmem kodowania kolumnowego, opisanego w pracy [1] oraz nad dwoma algorytmami opracowanymi przez autorów: sekwencyjnym [7] oraz rafinacyjnym. Badania przeprowadzono na standardowych układach testowych, opracowanych w Microelectronics Center of North Carolina [9]. Wyniki badań wykazują znaczące zmniejszenie poboru mocy układów zakodowanych z wykorzystaniem algorytmu sekwencyjnego w porównaniu z poborem z wykorzystaniem algorytmu kodowania kolumnowego (średnio o 12%); zastosowanie algorytmu rafinacyjnego pozwoliło obniżyć moc średnio o kolejny 1%.

Czasopismo: Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dziedziny: nauki ścisłe i przyrodnicze
Dyscypliny: informatyka