Temat: finite-state - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Simultaneous encryption for Finite State Entropy
Równoczesne szyfrowanie dla Finite State Entropy
Autorzy:: Sakowski, Krzysztof
Opis:: This thesis describes the possibility to add encryption to data compression algorithm from ANS family in tANS version. tANS version uses a finite state machine for data compression and decompression. Shuffling states in the state machine based on secret key provided by the user enables to encrypt data during compression. Part of the thesis, except discussing theoretical issues in this document, is also implementation publicly available on Github. It is based on tANS implementation namely Finite State Entropy used in popular compressor Facebook Zstandard.
Praca opisuje możliwości dodania szyfrowania do algorytmu kompresji danych z rodziny ANS w wersji tANS. Wersja tANS do kompresji i dekompresji danych wykorzystuje automat skończony. Mieszając stany automatu na podstawie tajnego klucza dostarczonego przez użytkownika systemu umożliwia zaszyfrowanie danych w trakcie kompresji. Na pracę poza umówieniem kwestii teoretycznych składa się również implementacja dostępna publicznie na portalu Github. Bazuje ona na implementacji tANS o nazwie Finite State Entropy, użytej w popularnym kompresorze Facebook Zstandard.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Skocz do pozycji: 2.

Tytuł:: On regular copying languages
Autorzy:: Wang, Yang
Hunter, Tim
Tematy:: reduplication
copying
finite-state machinery
queue automata; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Powiązania:: https://bibliotekanauki.pl/articles/24201233.pdf Link otwiera się w nowym oknie
Opis:: This paper proposes a formal model of regular languages enriched with unbounded copying. We augment finite-state machinery with the ability to recognize copied strings by adding an unbounded memory buffer with a restricted form of first-in-first-out storage. The newly introduced computational device, finite-state buffered machines (FS-BMs), characterizes the class of regular languages and languages de-rived from them through a primitive copying operation. We name this language class regular copying languages (RCLs). We prove a pumping lemma and examine the closure properties of this language class. As suggested by previous literature (Gazdar and Pullum 1985, p.278), regular copying languages should approach the correct characteriza-tion of natural language word sets.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: FSM state merging for low power
Autorzy:: Salauyou, V.
Tematy:: finite state machine
low power
merging
internal states; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/114448.pdf Link otwiera się w nowym oknie
Opis:: A method of finite state machine (FSM) minimization for low power by merging FSM internal states is considered. The general algorithm for the minimization of FSM power consumption by means of merging two states is presented. The algorithm of the merging possibility of two states and the actual algorithm merging of two states for incompletely specified Mealy FSMs are given. In the conclusions, the possible directions of development of this approach are specified.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Speed Targeted Minimization of Finite State Machines for CPLDs
Autorzy:: Klimowicz, A.
Tematy:: finite state machines
minimization
logic synthesis
performance
speed; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/114138.pdf Link otwiera się w nowym oknie
Opis:: A method of the minimization finite state machines (FSM) is proposed. In this method, such optimization criterion as the critical delay path is taken into account already at the stage of minimizing internal states. The method is based on sequential merging of two internal states including the optimization criteria. The critical path is estimated for CPLD devices. In addition, the proposed method allows one to minimize the number of transitions and input variables of the FSM. Experimental results shows, that the maximum clock frequency of minimized FSMs is higher by 17% comparing to initial FSM.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Extracting Subregular constraints from Regular stringsets
Autorzy:: Rogers, James
Lambert, Dakotah
Tematy:: regular languages
finite-state automata
local languages
piecewise languages; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Powiązania:: https://bibliotekanauki.pl/articles/103839.pdf Link otwiera się w nowym oknie
Opis:: We introduce algorithms that, given a finite-state automaton (FSA), compute a minimal set of forbidden local factors that define a Strictly Local (SL) tight approximation of the stringset recognised by the FSA and the set of forbidden piecewise factors that define a Strictly Piecewise (SP) tight approximation of that stringset, as well as a set of co-SL factors that, together with the SL and SP factors, provide a set of purely conjunctive literal constraints defining a minimal superset of the stringset recognised by the automaton. Using these, we have built computational tools that have allowed us to reproduce, by nearly purely computational means, the work of Rogers and his co-workers (Rogers et al. 2012) in which, using a mix of computational and analytical techniques, they completely characterised, with respect to the Local and Piecewise Subregular hierarchies, the constraints on the distribution of stress in human languages that are documented in the StressTyp2 database. Our focus, in this paper, is on the algorithms and the method of their application. The phonology of stress patterns is a particularly good domain of application since, as we show here, they generally fall at the very lowest levels of complexity. We discuss these phonological results here, but do not consider their consequences in depth.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Rewrite rule gram mars with multitape automata
Autorzy:: Hulden, M.
Tematy:: grammar design
multitape automata
morphology
phonology
finite-state phonology; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Powiązania:: https://bibliotekanauki.pl/articles/103887.pdf Link otwiera się w nowym oknie
Opis:: The majority of computational implementations of phonological and morphophonological alternations rely on composing together individual finite state transducers that represent sound changes. Standard composition algorithms do not maintain the intermediate representations between the ultimate input and output forms. These intermedia te strings, however, can be very helpful for various tasks: enriching information (indispensable for models of historical linguistics), providing new avenues to debugging complex grammars, and offering explicit alignment information between morphemes, sound segments, and tags. This paper describes a multitape automaton approach to creating full models of sequences of sound alternation that implement phonological and morphological grammars. A model and a practical implementation of multitape automata is provided together with a multitape composition algorithm tailored to the representation used In this paper. Practical use cases of the approach are illustrated through two common examples: a phonological example of a complex rewrite rule grammar where multiple rules interact and a diachronic ex ample of modeling sound change over time.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: A method of making up a clinic schedule with use of a finite-state automaton
Autorzy:: Tkachenko, R.
Kovalyshyn, O.
Tematy:: clinic
schedule
schedule construction
abstract automaton
finite-state automation; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Powiązania:: https://bibliotekanauki.pl/articles/411052.pdf Link otwiera się w nowym oknie
Opis:: The article investigates the problems of scheduling methods for making up the schedules for medical care institutions, with a view to further optimization the conditions and improvement the patient care. It is noted that a key step in the operation of medical institutions is the scheduling stage process. Depending on the specifics of a particular institution, work plans take different forms, mostly turning into a timetable. It is established that there are a number of scheduling methods, ranging from manual planning and mathematical programming with limitations, ending with the use of artificial intelligence. Most methods consist of two or more stages and initially require the construction of the very schedule that satisfies the strict limitations of the institution functioning. At a later stage the scheduling optimization of one or more criteria is regarded. The types of finite-state automata are analyzed and, with their use, developed a method for constructing the supporting schedules for clinics. An algorithm of finite-state machines for clinic schedule construction is established.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Wybór sposobów opisu w języku Verilog układów kombinacyjnych przy syntezie automatów skończonych
Choice of combinational circuit specifications in the Verilog language at synthesis of finite state machines
Autorzy:: Salauyou, V.
Zabrocki, Ł.
Tematy:: układy kombinacyjne
automaty skończone
Verilog
combinational circuits
finite state machines; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/972133.pdf Link otwiera się w nowym oknie
Opis:: Zbadane sposoby opisu układów kombinacyjnych automatów skończonych w języku Verilog, a problem wyboru najlepszego opisu z punktu widzenia kosztów realizacji. Problem został rozwiązany empirycznie. Zaproponowano siedem konstrukcji języka Verilog dla opisu układów kombinacyjnych, z których zostały wybrane dwie najlepsze konstrukcje. Pokazano, że wybór sposobu opisu pozwala zmniejszyć koszt realizacji średnio w 2,71 razy, a dla niektórych przypadków - w 3,40 razy. Praca ma duże znaczenie praktyczne.
In the paper techniques of combinational circuit specifications in the Verilog language at synthesis of finite state machines (FSMs) are examined. The problem of the best specification choice for minimization of an FSM cost is considered. This task was empirically solved by performing a great many experimental researches. There were proposed seven Verilog language constructions for specification of the FSM combinational circuits, four with the statement if and three with the statement case, from which two best constructions were chosen on a basis of the experimental investigations. For different methods of the FSM description the comparison of the maximum and minimum cost of implementation was made. It was shown that the choice of the specification technique allowed reducing the FSM cost by a factor of 2.71 on the average and sometimes even by a factor of 3.40. This approach is of great practical importance, since it allows reducing the FSM realization cost and raising the FSM speed essentially without any special efforts from designers and application of any special synthesis methods.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Finite-state State Machines Minimization by Using of Values of Input Variables at State Assignment
Autorzy:: Salauyou, V.
Ostapczuk, M.
Tematy:: finite state machine (FSM)
programmable gate array (FPGA)
state assignment
area minimization
state splitting; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/114436.pdf Link otwiera się w nowym oknie
Opis:: In this paper, we propose a method of FSM synthesis on field programmable gate arrays (FPGAs) when input variables are used for state assignment. For this purpose we offer a combined structural model of class A and class E FSMs. This paper also describes in detail algorithms for synthesis a class AE FSM which consists of splitting of internal states for performance of necessary conditions for synthesis of the class E FSM and state assignment of the class AE FSM. It is shown that the proposed method reduces the area for all families of FPGAs by a factor of 1.19…1.39 on average and by a factor of 3.00 for certain families.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Metoda kodowania stanów automatów sekwencyjnych prowadząca do redukcji poboru mocy
A state assignment method oriented towards reduction of power consumption in finite state machines
Autorzy:: Kajstura, K.
Kania, D.
Tematy:: kodowanie stanów
pobór mocy
automat skończony
state assignment
power dissipation
finite state machine; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/154728.pdf Link otwiera się w nowym oknie
Opis:: W artykule przedstawiono algorytm kodowania stanów wewnętrznych automatu skończonego. Istota algorytmu tkwi w minimalizacji poboru mocy synchronicznych układów sekwencyjnych. Algorytm opiera się na tworzeniu drzewa binarnego, którego węzły powstają na wskutek dekompozycji automatu skończonego. Wyniki eksperymentów wskazują, że proponowany algorytm prowadzi do zmniejszenia poboru mocy w porównaniu do algorytmów kodowania już opracowanych. Obserwowane jest również zmniejszenie powierzchni układu.
Power dissipation has become one of the main issues during em-bedded systems design in the recent years, due to the continuous increase of the integration level and the operating frequency. The largest fraction of power consumption in CMOS circuits is caused by signal switches. This paper presents a new algorithm for FSM encoding. The aim of this algorithm is to minimise power consumption of synchronous sequential circuits. The algorithm is based on creating a binary tree whose nodes are created by partitioning a finite state automaton. The algorithm uses the probabilistic model of an FSM to obtain state encoding minimising the number of signal transitions. The algorithm has been applied to the MCNC benchmark circuits and has also been compared to other encoding approaches. The experimental results show that the proposed algorithm leads to the reduction in power consumption compared to the state encoding algorithms already developed. The reduction of the circuit area is observed, too.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "finite-state" wg kryterium: Temat