We introduce and investigate Nondeterministically Bounded Modulo Counter Automata (NBMCA), which are two-way multi-head automata that comprise a constant number of modulo counters, where the counter bounds are nondeterministically guessed, and this is the only element of nondeterminism. NBMCA are tailored to recognising those languages that are characterised by the existence of a specific factorisation of their words, e. g., pattern languages. In this work, we subject NBMCA to a theoretically sound analysis.
This paper introduces and discusses a modification of pushdown automata. This modification is based on two-sided pushdowns into which symbols are pushed from both ends. These pushdowns are defined over free groups, not free monoids, and they can be shortened only by the standard group reduction. We demonstrate that these automata characterize the family of recursively enumerable languages even if the free groups are generated by no more than four symbols.
Car manufacturers define proprietary protocols to be used inside their vehicular networks, which are kept an industrial secret, therefore impeding independent researchers from extracting information from these networks. This article describes a statistical and a neural network approach that allows reverse engineering proprietary controller area network (CAN)-protocols assuming they were designed using the data base CAN (DBC) file format. The proposed algorithms are tested with CAN traces taken from a real car. We show that our approaches can correctly reverse engineer CAN messages in an automated manner.
Uncertainty in estimation of hydraulic conductivity function from the retention curve limits the possibility of accurate quantitative predictions of water flow in natural heterogeneous porous media. Experiments were conducted on large undisturbed soil samples to measure hydraulic conductivity function directly. As a next stage, an enhanced set-up with fully automated data acquisition was developed to allow long infiltration-outflow experiments under variable saturated conditions. To control the upper boundary condition the tension infiltration disc is used. The inflow and the outflow rate are recorded continuously. The soil water pressure heads are measured at three different heights. Continuous weighing of the sample during the experiment monitors changes in the soil water content. For undisturbed soil sample of coarse sandy loam, a sequence of experimental runs was performed, each represented by a constant suction pressure head applied to the soil surface. The initial conditions of each run were the same. All experimental runs show several noticeable stages, the bulk soil water content changes during those stages are presented here. Automation of the experimental set-up allowed the extension of the experiment duration and improved the accuracy of the data. Because of the long experiment duration, remarkable phenomenons were observed. and Nejistota v odhadu funkce hydraulické vodivosti z retenční čáry znemožňuje přesnou kvantitativní predikci pohybu vody v přírodním heterogenním pórovém prostředí. Pro přímé měření funkce hydraulické vodivosti byly provedeny experimenty na velkých neporušených vzorcích půd. Vylepšením těchto experimentů je experimentální sestava s plně automatizovaným záznamem měřených hodnot, která umožňuje provádění dlouhých infiltračně-výtokových experimentů při různém nasyceni půdy. Pro nastavení horní okrajové podmínky je použito podtlakového infiltrometru. Infiltrace a výtok jsou automaticky kontinuálně měřeny a zaznamenávány. Sací tlakové výšky jsou měřeny ve třech různých místech vzorku. Kontinuálním měřením vzorku je umožněno sledování změn okamžité vlhkosti půdy během experimentu. Na neporušeném vzorku hlinitopísčité půdy byla provedena série experimentálních běhů, přičemž při každém z nich byla nastavena určitá sací tlaková výška aplikovaná na povrchu vzorku. Počáteční podmínka všech experimentálních běhů byla stejná. Záznamy jednotlivých experimentálních běhů se vyznačují několika významnými fázemi, v článku jsou ukázány změny celkového objemu vody ve vzoku během těchto fází. Automatizací experimentální sestavy bylo umožněno prodloužení doby trvání experimentálních běhů a byla zvýšena přesnost měření. Díky dlouhému trvání experimentu byly pozorovány některé významné jevy.
The Ondřejov 10 cm receiver was equipped with a new high time resolution data acquisition system. Short descriptions of the receiver, of the data acquisition system, and of the data processing program are presented.
In this study, applications of well-known neural networks such as artificial neural network (ANN), adaptive neuro-fuzzy inference system (ANFIS) and support vector machine (SVM) for wheat grain classification into three species are comparatively presented. The species of wheat grains which are Kama (#70), Rosa (#70) and Canadian (#70) are designated as outputs of neural network models. The classification is carried out through data of wheat grains (#210) acquired using X-ray technique. The data set includes seven grain's geometric parameters: Area, perimeter, compactness, length, width, asymmetry coefficient and groove length. The neural networks input with the geometric parameters are trained through 189 wheat grain data and their accuracies are tested via 21 data. The performance of neural network models is compared to each other with regard to their accuracy, efficiency and convenience. For testing data, the ANN, ANFIS and SVM models numerically calculate the outputs with mean absolute error (MAE) of 0.014, 0.018 and 0.135, and classify the grains with accuracy of 100 %, 100% and 95.23 %, respectively. Furthermore, data of 210 grains is synthetically increased to 3210 in order to investigate the proposed models under big data. It is seen that the models are more successful if the size of data is increased, as well. These results point out that the neural networks can be successfully applied to classification of agricultural grains whether they are properly modelled and trained.
The astrogeodetic method of detailed geoid determination need astronomical observations of longitude and latitude. Together with GPS observations it may be used to vertical deflections determination. In the article the portable system for automatic determination of astrogeodetic vertical deflection components developed at AGH University of Science and Technology is described. The design, main error sources, and preliminary results of the test measurements are presented., Jacek Kudrys., and Obsahuje bibliografii
The known vertical deflection values can be utilised to increase geoid’s accuracy. One of the methods of vertical deflection components (ξ, η) determination is to compare astronomic and geodetic coordinates. Presently it is easy possible to obtain geodetic coordinates with high accuracy from GPS observation. In the article the methods of astronomical CCD observation with aid of two different optical systems are discussed. Project realisation is in preliminary stage and there are no results available yet., Jacek Kudrys., and Obsahuje bibliografické odkazy
Automatic differentiation is an effective method for evaluating derivatives of function, which is defined by a formula or a program. Program for evaluating of value of function is by automatic differentiation modified to program, which also evaluates values of derivatives. Computed values are exact up to computer precision and their evaluation is very quick. In this article, we describe a program realization of automatic differentiation. This implementation is prepared in the system UFO, but its principles can be applied in other systems. We describe, how the operations are stored in the first part of the derivative computation and how the obtained records are effectively used in the second part of the computation.