Filters
total: 1263
-
Catalog
- Publications 879 available results
- People 79 available results
- Inventions 55 available results
- Projects 17 available results
- Laboratories 5 available results
- Research Teams 7 available results
- Research Equipment 2 available results
- e-Learning Courses 209 available results
- Events 10 available results
displaying 1000 best results Help
Search results for: METODOLOGIE WYTWARZANIA OPROGRAMOWANIA
-
Tribologiczne warstwy powierzchniowe mangan-azot wytwarzane na stopach aluminium z krzemem
PublicationPodano sposób wytwarzania warstw powierzchniowych złożonych z manganu i azotu na stopie AlSi10Cu2Mg1Ni stosowanym na tłoki silników spakinowych. Określono mikrostrukturę powierzchni i przekroju, skład fazowy oraz mikrotwardość wytworzonych warstw powierzchniowych. Przedstawiono właściwości tribologiczne warstw (Mn-N) oraz stopu AlSi10Cu2Mg1Ni w warunkach tarcia mieszanego z żeliwem szarym perlitycznym.
-
Dokumentacja Projektowa. Wymagania dla konstrukcji stalowych. Część 2
PublicationOmówione zostały wymagania odnośnie wykonania rysunków warsztatowych konstrukcji stalowych stosownie do przyjętej techniki i technologii wytwarzania. W tym kontekście przestawionio wymagania do specyfikacji technicznej precyzującej standard wykonania stalowych elementów konstrukcyjnych. Poruszona została kwestia właściewej kontroli procesu projektowania konstrukcji z uwzglenieniem wymagań wprowadzanej normy europejskiej PN-EN 1990.
-
EEDI Impact for a Tanker
PublicationReferat przedstawia sposób analizy wskaźnika EEDI zgodnie z wymaganiami IMO-MEPC w zależności od parametrów głównych, prędkości, charakterystyk oporowych oraz układu napędu statku dla wybranego tankowca typu Aframax. W analizie uwzględniono, także układ wytwarzania mocy elektrycznej wraz z innymi układami pomocniczymi tankowca, które są odbiornikami wytwarzanej mocy.
-
Hydrodynamic functions of emulsion system agitated in the draft-tube reactor
PublicationPrzeprowadzono badania podstawowe sposobu wytwarzania emulsji w reaktorze pętlicowym z mieszaniem. Badano punkt inwersji faz oraz zapotrzebowanie mocy mieszania w zależności od składu emulsji. Zaobserwowano występowanie maksimum mocy mieszania w punkcie inwersji emulsji. Zaobserwowano liniową zależność prędkości cyrkulacji ciągłej fazy wodnej od częstości obrotów mieszadła śmigłowego.
-
Elektrociepłownie gazowe w województwie pomorskim
PublicationPrzedstawiono ideę skojarzonego wytwarzanie energii elektrycznej i ciepła, jako tendencję rozwojową krajowego ciepłownictwa. Podano charakterystykę energetyki rozproszonej. Przedstawiono bliżej typowe układy skojarzone oparte na działaniu silnika spalinowego. Omówiono ideę równoczesnego wytwarzania energii elektrycznej, ciepła i chłodu. Scharakteryzowano szczegółowo ostatnio zrealizowane w województwie pomorskim elektrociepłownie...
-
Digital document life cycle development
PublicationPrzedstawiono model DDLC wytwarzania interaktywnych dokumentów cyfrowych z ich pierwowzorów papierowych. Model DDLC opracowany w ramach 5 PR UE IST-2002-33441 MEMORIAL wyróżnia 6 faz i odpowiednie grupy funkcjonalności narzędzi do ich realizacji. Cykl wytwarzanie realizuje politykę całkowitej kontroli jakości, wykorzystującej specjalnie opracowaną metodę Visual GQM.
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Dariusz Kobiela mgr inż.
People -
Janusz Czaja mgr inż.
People -
Marcin Kwiatkowski mgr inż.
People -
Zastosowania techniczne nanocieczy
e-Learning CoursesPrezentacja podstawowych definicji dotyczących nanocieczy. Omówienie metod wytwarzania i własności termofizycznych nanocieczy. Osobliwości przejmowanie ciepła przez nanociecze w warunkach konwekcji jednofazowej i podczas wrzenia.
-
Creation and properties of the (Mn-N-O) layers on aluminium
Publicationprzedstawiono metodę wytwarzania warstw powierzchniowych zawierających mangan, azot i tlen na stopie Al-Si-Mg-Cu-Ni. Określono ich mikrostrukturę, mikrotwardość, wlaściwości tribologiczne oraz korozyjne w roztworze 0,01M H2SO4. Stwierdzono wielokrotny wzrost odporności na ścieranie stopu aluminium z wytworzoną warstwą wierzchnią we współpracy ciernej z żeliwem szarym perlitycznym.
-
Zagospodarowanie proszku krzemowego, wytworzonego z odzyskanych w procesie recyklingu uszkodzonych ogniw modułów fotowoltaicznych = Utilization of silicon powder, recovered in the PV cell's production and recycling processes
PublicationW artykule przedstawiono wyniki analizy proszku krzemowego różnego pochodzenia i wskazano możliwości technologiczne zagospodarowania proszku krzemowego: jako podstawowego surowca do produkcji nowych ogniw fotowoltaicznych, jako dodatku do stali stopowych, poprawiających ich własności mechaniczne (twardość, wytrzymałość na rozciąganie, udarność) oraz jako materiału do wytwarzania ceramiki, bazującej na proszkach niemetali.
-
Preparation of matrix-free materials of volatile analytes based on the controlled decomposition of surface compounds: a new concept
PublicationW publikacji przedstawiono nową koncepcję wytwarzania bezmatrycowych materiałów odniesienia wykorzystującą związki powierzchniowe, które są chemicznie związane z powierzchnią nośnika (żelu krzemionkowego, szkła porowatego, pałeczek szklanych pokrytych żelem krzemionkowym, oraz włókna szklanego), które w określonych warunkach temperaturowych ulegają termicznemu rozkładowi lub przegrupowaniom chemicznym z uwolnieniem ściśle określonej...
-
Rozwój środowiska szkieletowego do uruchamiania kontekstowej aplikacji przetwarzania wszechobecnego
PublicationPrzedstawiono koncepcje przetwarzania wszechobecnego orazinteraktywnej aplikacji wykorzystuj¡cej kontekst. Przeanalizowano kluczowe składowe tego typu aplikacji. Opisano znaczenie i architekturę szkieletowego środowiska uruchomieniowego dla takich aplikacji. Środowisko to integruje usługi sieciowe, konteksty, scenariusze i ontologie w czasie działania. Na bazieeksperymentów, scharakteryzowano kolejne etapy jego budowy i metodologię...
-
The Effect Fabrication Method of Cobalt Base Clad Layer On Air Oxidation
PublicationNapawane warstwy ze stopu kobaltu zostały wykonane za pomocą napawania plazmowego (PTA) oraz laserowego. Zostały one poddane utlenia niu w temperarurze 1100 stopni celsiusza prze 200 godzin. Przeprowadzono badania mikrostruktury i składu chemicznego warstwy tlenkowej oraz głębszych warstw napoiny. Nie stwierdzono wpływu metody wytwarzania na skutki procesu utleniania.
-
Wpływ pęknięć kolistych na wytrzymałość zmęczeniową azotku krzemu.
PublicationAzotek krzemu posiada kombinację optymalnych własności, które są niezbędne w zastosowaniach na elementy łożysk tocznych. Podstawowym problemem związanym z wytrzymałością zmęczeniową kulek łożyskowych są pęknięcia koliste będące efektem procesu wytwarzania. Przedstawiono badania doświadczalne azotku krzemu ze sztucznie wprowadzonymi pęknięciami kolistymi oraz wpływ wybranych dodatków olejowych na propagacje tych pęknięć.
-
Od projektu do programu
PublicationPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
Ocena niezawodności elementów półprzewodnikowych.
PublicationOmówiono metody oceny niezawodności elementów półprzewodnikowych, w szczególności w oparciu o badania przyspieszone. Badania te powiązano ściśle z procesem technologii wytwarzania przyrządów półprzewodnikowych. Szerzej omówiono przyczyny uszkodzeń elementów półprzewodnikowych. Przedstawiono predykcję niezawodności opartą na badaniach przyspieszonych. Wskazano na coraz szersze zainteresowanie badaniami niezawodności na...
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublicationW artykule przedstawiono realizację cyfrowego łącza radiowego dla potrzeb szybkiej transmisji danych do zastosowań specjalnych. Opisano jego koncepcję oraz realizację praktyczną z użyciem urządzeń USRP firmy National Instruments. Przedstawiono elementy funkcjonalne opracowanego oprogramowania w zakresie generowania i odbierania sygnałów cyfrowych pasma podstawowego, wraz z opisem zastosowanych modulacji cyfrowych i metody synchronizacji...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublicationMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublicationW artykule zaprezentowano zalety oraz możliwości, ale i też ograniczenia jakie posiada MES. Z całą pewnością jest to bardzo użyteczna i obiecująca metoda numeryczna, pozwalająca na modelowanie zjawisk elektromagnetycznych, w szczególności zaś magnetycznego pola rozproszonego. Biorąc pod uwagę szybko postępujący rozwój możliwości obliczeniowych współczesnych komputerów oraz towarzyszący mu rozwój oprogramowania MES można stwierdzić,...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
CENTRUM w systemie STRADAR – funkcje, architektura i realizacja
PublicationSystem STRADAR jest rozwiązaniem umożliwiającym utworzenie infrastruktury komunikacyjno-teleinformatycznej przeznaczonej dla Morskiego Oddziału Straży Granicznej. Artykuł ten jest kolejną z cyklu publikacji opisujących architekturę i rozwiązanie systemu i dotyczy jego centralnego elementu, jakim jest CENTRUM. Przedstawiono i opisano funkcje, architekturę i realizację oprogramowania CENTRUM, które może być zainstalowane na dowolnym...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
Biznesowe aplikacje wielkoskalowe
e-Learning CoursesZapoznanie z architekturami biznesowych aplikacji wielkoskalowych i narzędziami do ich wytwarzania. Overview of design patterns, architectures, and tools used for design and development of large-scale enterprise applications.
-
Biznesowe aplikacje wielkoskalowe - 2023/2024
e-Learning CoursesZapoznanie z architekturami biznesowych aplikacji wielkoskalowych i narzędziami do ich wytwarzania. Overview of design patterns, architectures, and tools used for design and development of large-scale enterprise applications.
-
The exploitation of anticarcinogenic potential of white cabbage to improve nutritional value of meat products
PublicationBadania dotyczyły wykorzystania zalet składników kapusty białej w celu opracowania technologii wytwarzania wyrobów mięsnych wzbogaconych w związki przeciwrakotwórcze a zatem o poprawionej wartości żywieniowej. Wybór warzywa wynikał zarówno z środkowoeuropejskiej tradycji spożywania kapusty z daniami mięsnymi jak i badań modelowych wskazujących na technologiczne i zdrowotne zalety skojarzenia tego warzywa z mięsem.
-
State of the art report on fabric formwork
PublicationPrzedstawiono technologię wytwarzania i kształtowania elementów betonowych wylewanych w wiotkich formach. Omówiono szerokie zastosowanie takich elementów umożliwiające swobodne kształtowanie przestrzeni. Wskazano na możliwości wykorzystania omawianej technoloii betonowania w nietypowych warunkach, np. w pracach podwodnych. Zwrócono uwage a oszczędności w zastąpieniu drewnianych lub stalowych form, a także polepszenie własności...
-
Activity and primary characterization of enzyme from Thermus ruber cells catalyzing conversion of maltose into trehalose
PublicationTermofilna bakteria Thermus ruber wytwarza syntazę trehalozy użyteczną do jednoetapowego przekształcania maltozy w trehalozę. Enzym ten wykazuje największą aktywność w temperaturze 65 C przy pH 6,5. Największą wydajność wytwarzania enzymu osiągano podczas hodowli drobnoustroju w temp. 55 stC w podłożu zawierającym 0,5% peptonu,0,1% ekstraktu drożdżowego oraz 0,% maltozy lub skrobi.
-
Generacja rozproszona w krajowym systemie elektroenergetycznym
PublicationTechnologie rozproszonego wytwarzania energii elektrycznej postrzegane są jako istotny kierunek rozwoju współczesnych systemów energetycznych. Ich wprowadzanie często ma związek z tendencją wykorzystania odnawialnych źródeł energii. Rozwój źródeł rozproszonych oznacza także wytwarzanie energii w pobliżu odbiorców. Wprowadzanie technologii rozproszonych poza korzyściami, powoduje także pojawienie się nowych problemów i wyzwań dla...
-
Ekspertyza techniczna. Przegląd techniczny konstrukcji stalowej obiektu - Hala Kwiatowa nr 1 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublicationOcena stanu technicznego i poprawności wykonania konstrukcji stalowej obiektu halowego o powierzchni 5000 m2 z projektem wykonawczym skierowanym do realizacji. Ocena połączeń śrubowych: zakładkowych i doczołowych, połączeń spawanych, elementów prefabrykowanych, ocena dokładności montażu elementów składowych obiektu halowego. Identyfikacja wad i niezgodniości wykonania obiektu z projektem i normami wytwarzania i odbioru konstrukcji.
-
Wizyjny monitoring pił tarczowych
PublicationWizyjne techniki pomiarowe zastosowane do kontroli geometrii ostrzy pił tarczowych dają możliwość szybkich, skutecznych i zautomatyzowanych pomiarów, a komputerowa analiza wyników gwarantuje duże mozliwości diagnostyczne urządzenia. Monitorowanie dokładności geometrycznej ostrzy w procesie wytwarzania pił tarczowych umożliwia nie tylko ich bieżącą kontrolę, ale również daje podstawy do poprawy jakości geometrycznej produkowanych...
-
Possibilities of production of new reference material - preparation of gaseous standard mixtures using thermal decomposition of immobilized compounds - the effect of selected parameters on the amount of released analyte.
PublicationW pracy opisano wyniki badań dotyczących wytwarzania nowego typu bezmatrycowych materiałów odniesienia lotnych związków organicznych. Do otrzymywania lotnych analitów wykorzystano technikę termicznego rozkładu związków powierzchniowych. Badano wpływ parametrów prowadzenia reakcji modyfikacji i termicznego rozkładu otrzymanych związków powierzchniowych na ilość otrzymanego analitu. Wyznaczono powtarzalność i oszacowano niepewność...
-
Przegląd metod wielokryterialnych stosowanych w analizie rozwoju sektora wytwórczego energii elektrycznej
PublicationArtykuł przedstawia opis, klasyfikację oraz sposoby wykorzystania metod wielokryterialnych w sektorze wytwarzania energii elektrycznej. Jak wynika z przeglądu literatury metody wielokryterialne wykorzystywane są w analizach planowania rozbudowy istniejących źródeł wytwórczych, budowy nowych pojedynczych źródeł lub budowy źródeł hybrydowych. Analizowane są także plany rozwoju systemów energetycznych przy uwzględnieniu dywersyfikacji...
-
Druk 3D części z tworzyw sztucznych na skalę przemysłową w technologii SLS
PublicationFirma EOS, wiodący i światowy dostawca technologii przemysłowego wykorzystania druku 3D dla materiałów metalicznych i polimerowych, zaprezentowała na targach formnext 2017 nowy system EOS P500, przeznaczony do addytywnego wytwarzania modeli. Drukarka 3D adresowana jest dla przedsiębiorstw chcących wytwarzać na skalę przemysłową części i elementy z tworzyw sztucznych o wysokiej jakości.
-
Druk 3D części z tworzyw sztucznych na skalę przemysłową w technologii SLS
PublicationFirma EOS, wiodący i światowy dostawca technologii przemysłowego wykorzystania druku 3D dla materiałów metalicznych i polimerowych, zaprezentowała na targach formnext 2017 nowy system EOS P500, przeznaczony do addytywnego wytwarzania modeli. Drukarka 3D adresowana jest dla przedsiębiorstw chcących wytwarzać na skalę przemysłową części i elementy z tworzyw sztucznych o wysokiej jakości.
-
Przegląd nanododatków stosowanych w warstwach asfaltowych nawierzchni drogowych
PublicationJednym z kierunków rozwoju technologii materiałowych jest nanotechnologia rozumiana jako dziedzina zajmująca się zastosowaniem nanododatków do wytwarzania nowych materiałów oraz ich wpływem na parametry modyfikowanych materiałów. W ostatnich latach nanotechnologia wkracza do technologii modyfikacji asfaltów stosowanych w nawierzchniach drogowych. W artykule przedstawiono stosowane obecnie w budownictwie drogowym nanododatki oraz...
-
Wybrane rozwiązania technologiczne wspierające zapobieganie i zwalczanie przestępczości
PublicationW niniejszym opracowaniu zawarto charakterystyki wybranych rozwiązań technologicznych wspierających zapobieganie i zwalczanie przestępczości. Rozwiązania te zrealizowano w Katedrze Systemów i Sieci Radiokomunikacyjnych Politechniki Gdańskiej. Autorzy scharakteryzowali opracowane przez zespół Katedry następujące aplikacje użytkowe: urządzenie do wytwarzania kurtyny elektromagnetycznej (AEGIS) oraz system do lokalizowania osób i...
-
Charakterystyka faz rozdmuchu preform z poli(tereftalanu etylenu) w procesie rozdmuchiwania z jednoczesnym ich rozciąganiem
PublicationScharakteryzowano proces wytwarzania pojemników PET w procesie rozdmuchiwania z jednoczesnym rozciąganiem półfabrykatów w postaci preform. Największy nacisk położono na szczegółowe omówienie poszczególnych etapów procesu rozdmuchiwania oraz etapów pracy maszyny rozdmuchowej. Omówiono też wybrane zagadnienia przepływu powietrza podczas procesu rozdmuchiwania butelek. Poruszono również problem przemian fazowych tworzywa PET występujących...
-
Techniczne zastosowania nanocieczy
e-Learning CoursesPrezentacja podstawowych definicji dotyczących nanocieczy. Omówienie metod wytwarzania i własności termofizycznych nanocieczy. Osobliwości przejmowanie ciepła przez nanociecze w warunkach konwekcji jednofazowej i podczas wrzenia
-
Selected perowskite type LSFO thin films for the infrared detectors
PublicationPrzedstawiono technologię wytwarzania cienkich warstw ceramicznych tlenków lantanowo-strontowo-żelazowych (LSFO). Zaprezentowano konstrukcję bolometrycznych detektorów podczerwieni wykonanych z opracowanych warstw. Przedstawiono charakterystyki prądowo-napięciowe wybranych detektorów, wyniki pomiaru ich szumów i termicznej stałej czasowej. Przedstawione detektory były w stanie wykryć obiekt o temperaturze 38 stopni Celcjusza znajdujący...
-
Modulacja amplitudy i fazy sinusoidy generowanej w bibliograficznym cyfrowym układzie DDS.
PublicationPraca przedstawia opracowany przez autora system wytwarzania przebiegu sinusoidalnego metodą sumowania dwu sinusoid o precyzyjnie regulowanych fazach. Sinusoidy o regulowanych fazach otrzymano za pomocą centralnie sterowanych układów bezpośredniej syntezy częstotliwości (DDS). Odpowiednia regulacja fazy sinusoidy generowanej w każdym z układów DDS przekłada się na możliwie precyzyjnej kontroli amplitudy i fazy sinusoidy wypadkowej.
-
Hygienic design of pumps, homogenisers and dampening devices.
PublicationPrzedstawiono wymagania dotyczące materiałów oraz ich przygotowania, a także dla powierzchni wewnętrznych i zewnętrznych urządzeń takich jak pompy, homogenizatory i nawilżacze oraz ich elementów, zwłaszcza wielu typów uszczelnień, ze względu na ich zastosowanie do produkcji żywności w warunkach sanitarno-higienicznych i maksymalne wyeliminowanie zagożeń dla jakości podczas jej wytwarzania w różnorodnych procesach technologicznych.
-
Agile Methodology for Designing and Improving EnterpriseScenarios
PublicationPrzedstawiona została iteracyjna metoda projektowania i ulepszania scenariuszy biznesowych. Zaproponowana metoda definiuje etapy wytwarzania scenariuszy, zestaw metryki oceny jakości scenariuszy oraz zestaw procedur usprawnieniowych, które pozwalają zwiększyć wydajność scenariuszy, ich jakość oraz użyteczność. Proste studium przypadku zostało rozważane i jego ocena jakościowo-wydajnościowa omówiona. Jako przykład realizacji metody...
-
System sterowania sesją RTP
PublicationW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...