Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 19

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  encoding
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
One of the most important steps in the operation of biometric systems based on iris recognition of the human eye is pattern comparison. However, the comparison of the recorded pattern with the pattern stored in the database of the biometric system cannot function properly without effective extraction of key features from the iris image. In the presented work, we propose an iris recognition system based on image feature extraction and extreme grey shade analysis. Harris-Laplace, RANSAC and SIFT descriptor algorithms were used to find and describe key points. In the experimental part, two methods were used to compare descriptors: the Brute Force method and the Siamese Network method. IIT Delhi Iris Database (version 1.0), MMU v2 database, UBIRIS v1, UBIRIS v2 image databases were used for the study. The proposed method utilizes a different approach when using the generalized corner extraction algorithm (Harris-Laplace algorithms) for comparing iris patterns. In addition, we prove that the use of the descriptor and the Siamese neural networks significantly improves the results obtained in the original method based on paths alone in the case of well contrasted infrared images with very low resolutions.
EN
We discuss, using recent results on the thermodynamics of multivalued logic, the difficulties and pitfalls of how to apply the Landauer’s principle to thermodynamic computer memory models. The presentation is based on Szilard’s version of Maxwell’s demon experiment and use of equilibrium Thermodynamics. Different versions of thermodynamic/mechanical memory are presented – a one-hot encoding version and an implementation based on a reversed Szilard’s experiment. The relationship of the Landauer’s principle to the Galois connection is explained in detail.
PL
Opisujemy, używając niedawne badania związane z termodynamiką dla logiki wielowartościowej, problemy związane z zastosowaniem reguły Landauera dla termodynamicznego modelu pamięci komputera. Analiza jest oparta na wersji Szilarda demona Maxwella z termodynamiki równowagowej. Zostały zaprezentowane różne wersje termodynamicznej/mechanicznej pamięci – wersja gorąco jedynkowa i implementacja bazująca na odwróconym eksperymencie Szilarda. Zaprezentowano również związek pomiędzy regułą Landauera i koneksją Galois.
3
Content available remote Solving the Team Composition Problem in a Classroom
EN
Given a classroom containing a fixed number of students and a fixed number of tables that can be of different sizes, as well as a list of preferred classmates to sit with for each student, the team composition problem in a classroom (TCPC) is the problem of finding an assignment of students to tables in such a way that the preferences of students are maximally-satisfied. In this paper, we first formally define the TCPC, prove that it is NP-hard and define two different MaxSAT models of the problem, called maximizing and minimizing encoding. Then, we report on the results of an empirical investigation that show that solving the TCPC with MaxSAT solvers is a promising approach and provide evidence that the minimizing encoding outperforms the maximizing encoding. Finally, we illustrate how the proposed MaxSAT-based modeling approach is also well-suited for modeling other more complex team formation problems.
4
Content available remote Explorations into Deep Learning Text Architectures for Dense Image Captioning
EN
Image captioning is the process of generating a textual description that best fits the image scene. It is one of the most important tasks in computer vision and natural language processing and has the potential to improve many applications in robotics, assistive technologies, storytelling, medical imaging and more. This paper aims to analyse different encoder-decoder architectures for dense image caption generation while focusing on the text generation component. Already trained models for image feature generation are utilized with transfer learning. These features are used for describing the regions using three different models for text generation. We propose three deep learning architectures for generating one-sentence captions of Regions of Interest (RoIs). The proposed architectures reflect several ways of integrating features from images and text. The proposed models were evaluated and compared with several metrics for natural language generation.
PL
Niniejszy artykuł dotyczy kompresji obrazów rastrowych. Na początku przedstawiona została motywacja istnienia kompresji jak i potrzeb jej dalszego rozwoju. Następnie opisane zostały rodzaje kompresji oraz sposoby pomiaru jej jakości. Ostatnia część artykułu zawiera opis innowacyjnych i obiecujących metod opartych o nowoczesne architektury głębokich sieci neuronowych.
EN
This paper concerns compression of raster graphics. First section justifies need for using compression and need for developing new methods. In the next sections compression taxonomy and metrics are discussed. Last part consists of description of modern and promising methods based on novel deep neural networks.
PL
Artykuł dotyczy optymalizacji kodera HEVC. Proponowana jest nowa metoda wyboru trybów kodowania, w której koder HEVC kodujący sekwencję wejściową sterowany jest przez drugi koder, kompresujący sekwencję odszumioną. Sposób realizacji sterowania zapewnia, iż łączna złożoność obu koderów jest niewiele większa niż złożoność pojedynczego kodera. Zaproponowaną metodę zaimplementowano i przebadano eksperymentalnie. Uzyskane wyniki pokazują, iż umożliwia ona około 1,5% redukcję strumienia bitowego.
EN
The article is related to HEVC encoder optimization. A novel encoder-side mode selection method is proposed. It exploits information about selected modes from a second encoder, which in parallel compresses a denoised version of the input sequence. The realization of the mode selection method ensures that the complexity of both encoders is negligibly larger than complexity of a single encoder. The proposed method has been implemented and assessed experimentally. The results show that it enables up to 1.5% reduction of the bitstream.
7
PL
Modernizacja Sił Zbrojnych RP wymaga wprowadzania nowych narzędzi elektronicznej gospodarki, jakimi są systemy automatycznej identyfikacji (ADC) i elektronicznej wymiany danych (EDI). Wdrażane obecnie w Siłach Zbrojnych RP systemy ADC wymagają identyfikacji wszystkich zasobów i dostaw do wojska, w tym produktów uzbrojenia, według globalnych standardów i rozwiązań Systemu GS1 (Global System 1). Identyfikacja produktów uzbrojenia identyfikatorami: globalnymi, międzynarodowymi i krajowymi branżowymi z ich atrybutami, w bazach danych i na rzecz ich fizycznego oznaczania, jest wynikiem prowadzonych od 2010 r. prac i badań oraz ponad ćwierćwiekowego doświadczenia. Artykuł prezentuje, zidentyfikowane w praktyce, problemy związane z identyfikacją uzbrojenia i sposoby ich rozwiązywania, na podstawie prac, realizowanych przez ostatnie 4 lata na rzecz wojska i firm - dostawców uzbrojenia.
EN
An introduction of new electronic management tools such as Automatic Data Capture systems (ADC) and Electronic Data Inter-change systems (EDI) is needed to upgrade the Polish Armed Forces. ADC systems, presently under implementation in the Polish Armed Forces, require identification of all resources and deliveries received by the army, including pieces of weaponry, in accordance with GS1 global standards and solutions (Global System 1). The identification of weapons along with their attributes and global, international and national brand identifiers in databases, and also through their physical identification, is a result of work and research which has been carried out since 2010, and of over 25 years' experience. The article presents problems with identifying weapons and methods of solving them, relying on the works which have been carried out for the last four years for the army and weapon suppliers.
8
Content available remote TDOA–based Localization in Two Dimensions : the Bifurcation Curve
EN
In this paper, we complete the study of the geometry of the TDOA map that encodes the noiseless model for the localization of a source from the range differences between three receivers in a plane, by computing the Cartesian equation of the bifurcation curve in terms of the positions of the receivers. From that equation, we can compute its real asymptotic lines. The present manuscript completes the analysis of [12]. Our result is useful to check if a source belongs or is closed to the bifurcation curve, where the localization in a noisy scenario is ambiguous.
EN
We reconsider work by Bellin and Scott in the 1990s on R. Milner and S. Abramsky’s encoding of linear logic in the π-calculus and give an account of efforts to establish a tight connection between the structure of proofs and of the cut elimination process in multiplicative linear logic, on one hand, and the input-output behaviour of the processes that represent them, on the other, resulting in a proof-theoretic account of (a variant of) Chu’s construction. But Milner’s encoding of the linear lambda calculus suggests consideration of multiplicative co-intuitionistic linear logic: we provide a term assignment for it, a calculus of coroutines which presents features of concurrent and distributed computing. Finally, as a test case of its adequacy as a logic for distributed computation, we represent our term assignment as a λP system. We argue that translations of typed functional languages in concurrent and distributed systems (such as π-calculi or λP systems) are best typed with co-intuitionistic logic, where some features of computations match the logical properties in a natural way.
10
Content available Niejednoznaczność transformacji UML-GML
PL
Uchwalenie w Polsce ustawy o infrastrukturze informacji przestrzennej, która jest transpozycją Dyrektywy INSPIRE spowodowało konieczność nowelizacji wielu ustaw i przepisów prawnych, w tym ustawy prawo geodezyjne i kartograficzne. Postanowiono zastąpić instrukcje i wytyczne rozporządzeniami Rady Ministrów lub odpowiedniego ministra, które z jednej strony stanowią załączniki do ustawy prawo geodezyjne i kartograficzne, a z drugiej strony wprowadzają w życie niektóre zalecenia Dyrektywy INSPIRE. Integralną częścią opracowywanych w Głównym Urzędzie Geodezji i Kartografii rozporządzeń są schematy aplikacyjne UML oraz GML, które definiują strukturę informacyjną baz danych, odpowiednich dla danego rozporządzenia. Jednak, mimo iż schematy te zostały przygotowane zgodnie z normami ISO serii 19100 w dziedzinie informacji geograficznej, w trakcie ich tworzenia napotkano wiele problemów technicznych związanych z transformacją UML-GML. W artykule, na przykładzie schematów aplikacyjnych UML i GML opracowanych w ramach prac GUGiK związanych z implementacją postanowień Dyrektywy INSPIRE, omówiono niejednoznaczności związane z przekształcaniem UML na GML oraz związane z tym błędy i anomalia. Rozważono również, jak zaradzić tego typu niejednoznacznościom, jak zapewnić jedną drogę przekształcania schematu aplikacyjnego UML na odpowiadający mu schemat aplikacyjny GML.
EN
Passing the “Spatial Information Infrastructure Law” in Poland, that is a transposition of the INSPIRE Directive, involved the necessity of many secondary acts and corresponding changes in other Laws, among others the “Geodetic and Cartographic Law”. Decision was made to replace the existing instructions and guidelines by regulations of the Council of Ministers or relevant minister that, on the one hand, become annexes to the “Geodetic and Cartographic Law” and, on the other hand, implement the recommendations of the INSPIRE Directive. An integral part of these regulations elaborated in the Head Office of Geodesy and Cartography in Poland are the UML and GML application schemas that define information structures of databases, corresponding to each regulation. Although these schemas were worked out according to the ISO 19100 series of International Standards in the Geographic Information (Geoinformation/Geomatics) domain, many technical problems connected with UML-GML transformation were identified during their preparation. In this paper, on examples of UML and GML application schemas prepared in the Head Office of Geodesy and Cartography in Poland within the INSPIRE Directive implementation works, some ambiguities concerning UML to GML transformation were discussed as well as some errors and anomalies connected with this issues. Questions how to resolve this ambiguity and how to ensure single way in changing UML application schema into corresponding GML application schema were also considered.
11
Content available remote Włókna amorficzne: wybrane zastosowania
PL
Włókna amorficzne są materiałami magnetycznie miękkimi produkowanymi w postaci długich, cienkich drutów o średnicy rzędu mikrometrów. Włókna te wykazują unikalne właściwości magnetyczne, takie jak zjawisko bistabilności magnetycznej oraz efekt GMI. W pracy przedstawiono wybrane zastosowania włókien amorficznych, m.in. w magnetycznych systemach kodujących, obrotomierzach, czujnikach położenia oraz czujnikach stosowanych w diagnostycznych systemach medycznych i nieniszczących badaniach materiałów.
EN
Amorphous wires are soft magnetic materials, which are produced in a form of long, thin wires of micrometers range in diameter. Amorphous wires have unique magnetic properties as magnetic bistability and GMI effect. The paper presents chosen applications of amorphous wires, e.g. in magnetic encoding systems, revolution counters, position sensors, biosensors and sensor used in non-destructive material testing.
PL
W artykule przedstawiono metody dekompozycji wielowartościowych funkcji logicznych z przeznaczeniem do implementacji w układach FPGA opartych o komórki LUT. Zaprezentowana metodologia obejmuje algorytmy dekompozycji oraz kodowania funkcji symbolicznych, omówione zostały również zastosowania tej techniki do kodowania stanów oraz logicznej sieci wielowartościowej.
EN
The paper presets methods used in decomposition of multi-valued logic functions for LUT-based FPGAs. The methodology consists of algorithm of decomposition and coding technique of symbolic functions as well as using of this method for state encoding and decomposition of multi-valued logic network is presented.
PL
W referacie opisano część badań, których celem jest zastosowanie wnioskowania diagnostycznego z uwzględnieniem kontekstu. Zgodnie z opracowanym podejściem konteksty działania obiektu mogą być identyfikowane z zastosowaniem algorytmów ewolucyjnych. Jednym z najistotniejszych czynników zastosowania tych algorytmów jest odpowiednie przygotowanie danych wejściowych. W referacie opisano opracowane sposoby kodowania dla trzech rodzajów cech sygnałów. Przykłady zastosowania opisanych sposobów kodowania zastosowano dla sygnałów zarejestrowanych podczas działania stanowiska modelującego działanie maszyny wirnikowej.
EN
In the paper a part of research focused on context based diagnostic inference has been presented. According to the elaborated approach contexts of machinery operation can be identifi ed with the use of evolutionary algorithms. One of most important factors of the application of such algorithms is a proper form of input data. In the paper encoding of three different types of signal features have been discussed. Examples of elaborated notations have been applied to signals recorded during operation of a model of rotating machinery.
EN
The main goal of the paper is to outline a new Artificial Neural Network (ANN) encoding method called Assembler Encoding (AE). In AE, ANN is encoded in the form of a program (Assembler Encoding Program - AEP) of linear organization and of a structure similar to the structure of a simple assembler program. The task of AEP is to create the so-called Network Definition Matrix (NDM) including the whole information necessary to produce ANN. To create AEPs, and in consequence ANNs, genetic algorithms are used.
PL
Głównym celem artykułu jest przedstawienie Kodowania Asemblerowego czyli nowej metody kodowania sztucznych sieci neuronowych. W Kodowaniu Asemblerowym sieć neuronowa jest zakodowana w postaci programu (AEP - Assembler Encoding Program) o liniowej organizacji i o strukturze podobnej do struktury prostego programu asemblerowego. Zadaniem AEP jest stworzenie tzw. Macierzy Definicji Sieci (NDM - Network Definition Matrix) zawierającej całą informację potrzebną do stworzenia sieci. Tworzenie AEP i w konsekwencji sieci neuronowych odbywa się z wykorzystaniem technik ewolucyjnych.
15
Content available remote FSM encoding for BDD representations
EN
We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.
EN
A one-dimensional position measurement using pseudorandom encoding is discussed. An application in crane position measurement is described. This solution simultaneously provides high standards in solving the crane displacement problem. The solution is based on the application of developed hybrid pseudorandom linear encoder, which provides a frequent autocalibration of the measurement system in a simple manner. On the basis of the experimental results of the developed encoder functioning, the discussion about the possibility of its application for crane positioning, as well as the concrete possibility of the proposed solution are given. The discussion about the possibility of this solution to solve the crane displacement problem also is given.
PL
Przedstawiono metodę tworzenia diagnostycznego modelu układu sterowania na podstawie wyników eksperymentalnych badań diagnostycznych, z wykorzystaniem metod identyfikacji oraz wielowartościowego kodowania parametrów modelu dynamicznego.
EN
A method of a control system diagnostic model creation, based on experimental results of diagnostic examination with use of identification methods and multivalent encoding of dynamic model parameters, was presented.
18
Content available remote Extending penetration depth using coded ultrasonography
EN
The issue of maximizng penetration depth with concurrent retaining or enhancement of image resolution constitutes one of the time in variant challenges in ultrasound imaging. Concerns about potential and undesirable side effects set limits on the possibility of overcoming the frequency depended attuenuation effects by increasing peak acoustic amplitudes of the waves probing the tissue. To overcome this limitation a pulse compression technique employing 16 bits Complementary Golay Sequences (CGS) Code was implemented at 4 MHz. In comparison with other, erlier proposed excitation schemes, such as chirp, pseudo-random chirp and Barker codes, the CGS allowed virtually side lobe free operation. Experimental data indicate that the quality - resolution, signal penetration and contrast dynamics - of CGS images is better then the one obtain standard ultrasonography using short burst excitation.
19
Content available remote Fractal compression using random encoding algorithm
EN
Fractal image compression is a promising brand new compression method. In the paper several algorithms are compared. A majority of those algorithms accelerate the encoding process by reduction of the size of the domain pool. I show in the paper that unlike assumed in many algorithms, the optimal domain block need not be located in the close neighborhood of the range block. I suggest two techniques of solving this problem: (1) domain blocks are searched in the whole image, but they do not cover it, (2) the positions of domain blocks are random. The other algorithm looks particularly promising: it is fast and the quality of reconstruction is acceptable in most cases. The numerical results for both methods are given.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.