Multi-island finite automata and their even computation

summary:This paper discusses $n$-island finite automata whose transition graphs can be expressed as $n$-member sequences of islands $i_1, i_2, \dots , i_n$, where there is a bridge leaving $i_j$ and entering $i_{j+1}$ for each $1 \leq j \leq n - 1$. It concentrates its attention on even computation defined as any sequence of moves during which these automata make the same number of moves in each of the islands. Under the assumption that these automata work only in an evenly computational way, the paper proves its main result stating that $n$-island finite automata and Rosebrugh-Wood $n$-parallel right-linear grammars are equivalent. Then, making use of this main result, it demonstrates that under this assumption, the language family defined by $n$-island finite automata is properly contained in that defined by $(n+1)$-island finite automata for all $n \geq 1$. The paper also points out that this infinite hierarchy occurs between the family of regular languages and that of context-sensitive languages. Open questions are formulated in the conclusion

Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis

Program comprehension and reverse engineering are two large domains of computer science that have one common goal – analysis of existing programs and understanding their behaviour. In present, methods of source code analysis are well established and used in practice by software engineers. On the other hand, analysis of executable code is a more challenging task that is not fully covered by existing tools. Furthermore, methods of retargetable executable code analysis are rare because of their complexity. In this paper, we present a complex platform independent toolchain for executable-code analysis that supports both static and dynamic analysis. This toolchain, developed within the Lissom project, exploits several previously designed methods and it can be used for debugging user’s applications as well as malware analysis, etc. The main contribution of this paper is to interconnect the existing methods and illustrate their usage on the real world scenarios. Furthermore, we introduce a concept of a new retargetable method – the hybrid analysis. It can eliminate the shortcomings of the static and dynamic analysis in future

Design and Simulation of High Performance Parallel Architectures Using the ISAC Language

Most of modern embedded systems for multimediaand network applications are based on parallel data streamprocessing. The data processing can be done using very longinstruction word processors (VLIW), or using more than onehigh performance application-specific instruction set processor(ASIPs), or even by their combination on single chip.Design and testing of these complex systems is time-consumingand iterative process. Architecture description languages (ADLs)are one of the most effective solutions for single processor design.However, support for description of parallel architectures andmulti-processor systems is very low or completely missing innowadays ADLs. This article presents utilization of newextensions for existing architecture description language ISAC.These extensions are used for easy and fast prototyping andtesting of parallel based systems and processors

COSTS RELATED TO THE UTILIZATION OF INFORMATION SYSTEMS IN ROAD FREIGHT TRANSPORT

Príspevok sa zaoberá charakteristikou a nákladom informačných systémov, ktoré môžu dopravcovia využívať pri optimalizovaní svojej prevádzky.This paper deals with characteristics and costs of information systems which can by utilized by carriers within the optimization of their operatio

C source code obfuscator

summary:Obfuscation is a process that changes the code, but without any change to semantics. This process can be done on two levels. On the binary code level, where the instructions or control flow are modified, or on the source code level, where we can change only a structure of code to make it harder to read or we can make adjustments to reduce chance of successful reverse engineering

Ecological segregation does not drive the intricate parapatric distribution of diploid and tetraploid cytotypes of the Arabidopsis arenosa group (Brassicaceae)

Detailed knowledge of the geographic distribution of cytotypes is a prerequisite for any experimental or molecular study of ploidy-variable plant systems. The Arabidopsis arenosa group, an intricate di-tetraploid complex from the plant model genus Arabidopsis, has remained largely neglected regarding the distribution and habitat associations of its cytotypes. Using flow cytometry, we conducted a large population-level cytological screen across the A. arenosa group range, involving more than 2900 individuals from 194 populations. We characterized a largely parapatric distribution of the diploid (Southeast Europe) and tetraploid (Northwest Europe) cytotypes with two contact zones – a narrow contact zone in the Slovenian Forealps and a diffuse contact zone across the Carpathians. In addition, a previously unknown isolated diploid lineage with distinct ecology was revealed from sandy areas of the southeastern Baltic coast. We also recorded several adult triploid individuals for the first time in wild Arabidopsis arenosa. Particularly in the Western Carpathians, the diploid and tetraploid populations are largely intermingled, and both cytotypes are spread along the whole lowland-alpine gradient of habitats, exhibiting no signs of ploidy-linked habitat differentiation. In contrast with the complexity at the landscape scale, the within-population cytological homogeneity and the rare occurrence of triploids indicate that the contact zone is rather stable.© 2015 The Linnean Society of London, Biological Journal of the Linnean Society, 2015, ●●, ●●–●●

Národní program ČR na zmírnění dopadů změny klimatu‚ vědecké a technické aspekty vstupu do EU:Národní inventarizace emisí skleníkových plynů pro roky 2001-2004 a zajištění konzistentnosti časových řad, příprava národního systému v souladu s mezinárodními závazky

Zpracování národních inventarizací emisí skleníkových plynů za roky 2001 - 2004 a zpětný přepočet a doplnění emisních řad od roku 1990. Rozbor problematiky a zpracování podkladů pro formulaci Národního programu na zmírnění dopadů změny klimatu. Příprava vstupních emisních dat pro mezinárodní projekty, zaměřené na zjišťování možností emisního obchodování dle čl. 17 Kjótského protokolu. Příprava projekcí emisí skleníkových plynů a vyhodnocení přijatých opatření na snižování emisí skleníkových plynů. Vytvoření a rozvoj nástrojů pro objektivní hodnocení stavu a vývoje emisí skleníkových plynů v souladu s novým zákonem o ovzduší a hodnocení plnění redukčních závazků ČR vůči Kjótskému protokolu. Zpráva za DP 01 obsahuje podklady pro kontrolní den dílčího projektu, studii Rekalkulace emisní řady metanu z enterické fermentace skotu a Metodiku inventarizace emisí CO2 z výroby cementu a emisí a propadů CO2 z výroby a použití vápna

Národní program ČR na zmírnění dopadů změny klimatu‚ vědecké a technické aspekty vstupu do EU:Národní inventarizace emisí skleníkových plynů a zajištění konzistence časových řad

Cílem dílčího projektu 01 je zajištění pravidelných národních inventarizací skleníkových plynů pro území ČR. V roce 2003 probíhaly práce na dvou liniích. První linie sleduje vlastní inventarizaci skleníkových plynů, jejímž výsledkem jsou příslušné datové tabulky v jednotném CRF formátu požadovaném Rámcovou úmluvou. Druhá linie - implementace rozšířené metodiky IPPC: Good Practice Guidance - je orientována více na výzkum a vývoj. tato linie směřuje k postupnému zlepšování kvality inventarizace v souladu s požadavky Rámcové úmluvy a EEA. Hlavní témata DP 01: spalovací procesy, fugitivní emise, průmyslové emise, emise prekurzorů - NOx, CO, NMVOC a SO2, emise HFCs, PFCs, a SF6, emise z lesního hospodářství, emise z odpadů, emise ze zemědělství, průřezové aspekty inventarizace a analýza nejistot, odezva na mezinárodní inspekce

Národní program ČR na zmírnění dopadů změny klimatu‚ vědecké a technické aspekty vstupu do EU:Národní inventarizace emisí skleníkových plynů a zajištění konzistence časových řad, příprava národního systému inventarizace skleníkových plynů v souladu s mezinárodnímu závazky

Práce na projektu v roce 2005 probíhala ve dvou základních částech. První částí je vlastní inventarizace skleníkových plynů, jejímž výstupem jsou příslušné datové tabulky v jednotném tvaru Common Reporting Format (CRF), požadovaném Rámcovou úmluvou OSN o změně klimatu, Kjótským protokolem a rozhodnutím Parlamentu a Rady EU č. 280/2004/EC. Druhá část je zaměřena na vybudování plně funkčního národního systému