This article focuses on mathematical modelling of mobile robot with differentially driven two-wheel chassis. The derivation of kinematic model is based on holonomic constraints for it’s wheels movement, that are expressed through geometric transformations between robot’s local coordinate system and the global coordinate system, in which the robot is moving. Within the dynamics derived using the Newton’s laws, the friction between the contact surfaces of wheels and plane is also included as a generalized model. Mathematical model is implemented in the Simulink environment with internal control loop that suppress the impacts of dynamics. Conducted simulation experiments in open and closed-loop demonstrate, how the inclusion of the friction can have serious impact on the mobile robot final position in meaning of the forces, which are acting on it’s movement.

Significant development of the information society in recent years creates increasing pressure on network security. One of the possibilities how to increase network security is the deployment of the Intrusion Detection System in computer network - IDS. This paper deals with formal description of the IDS behavior, through non-traditional resource-oriented logical system. For description of the IDS via logical systems, the Coalgebraic Modal Linear logic for IDS has been introduced, by which the behavioral effects of the IDS has been expressed by formula after simulated ARP spoofing attack in real laboratory environment.

The change of dielectric parameters points to the aging or defect of insulation. Cross-linked polyethylene (XLPE) is the globally preferred modern insulation for power cables, both for distribution and transmission system applications. Many studies and experiments show an influence of aging to degradation of XLPE insulation. It is subsequently reflected by changing of dielectric parameters of insulation. The measurement of dielectric parameters of XLPE cable sample was carried out by the method of dielectric relaxation spectroscopy (DRS) in frequency domain. DRS represents method suitable for measuring the dielectric parameters of polymeric composites during aging. The results are compared and it was observed a change of parameters in consequence of additional aging.

The paper describes technique of lossless compression of 3D human head model textures. The technique of texture generation based on two orthogonal views is described. The texture of whole head has to be a single image, it is necessary to transform a 3D model to the 2D texture plane. This is achieved by cubic transformation. Coordinates of pixels inside the polygons of triangulation in source images are given by computing of barycentric coordinates. Results of the generation based on two orthogonal views are two partial textures which have to be joined without visible edges. This is done by merge of the Laplace pyramids of partial textures multiplied by the Gaussian pyramids of the binary mask. The final smoothed texture is decomposed by lifting integer discrete wavelet transform. Sub-images are decomposed into bit planes which are coded by binary state arithmetic coding.

In human-computer communication, abstract language of the machine mind should be represented by language concepts that reflect language concepts of humans. Language concepts are abstracted in the process of conceptualization and their meaning is given by meaning of symbolized reality of surrounding world. That is why each concept represented internally has meaning by definition, following semiotic approach. In this paper we present the description of our solution to the machine mind, so far restricted to regular languages. To show that the mind is the language not just a grammar, we introduce briefly the principle of symbolization and conceptualization, omitting semantic aspects of thought. As a result, we get a supercombinator form for the internal language of the mind. We do not solve here the language of thought in the sense of machine thinking. Using simple example of story occurring frequently in the animal world, we will simply suppose that the stories represent external structured symbols and are approved be their existence. We are focusing on their internal representation in the machine mind, which has language substance. First, we show how structural explosion in the mind is prevented by well-performed abstraction during conceptualization. Second, introducing formalism of meta-lambda calculus – an application of lambda calculus to regular expression, we present algorithmically evolved abstract internal language of the machine mind in supercombinator form evolved by absorption of structured symbols on the machine input.

The development of modern, effective and intelligent wireless communication systems, which enable to provide multimedia services in high quality takes place more faster than in years before. The small frequency bandwidth gap of the 4G systems represented by Long Term Evolution (LTE) and digital broadcast system Digital Video Broadcasting - Terrestrial and the second generation denoted as T2 (DVB-T/T2) is responsible for the presence of different interference scenarios. This paper highlights the analytical background of both systems and the issue of coexistence. Moreover, computer simulations are used to evaluate the deployment of filters on the digital television receiver side as well as spectral emission mask on LTE base station in order to mitigate interference.

This work deals about technology and economics of biomass power plant as renewable source of energy. There is a description of parts of this power plant. In the next part of this work are calculations of annual production costs, unit costs, annual profit and net present value of project. These calculations are solved for three kinds of biomass fuel: vegetable waste, softwood, hardwood and coal as traditional fuel. The amount of investment unit costs for power plants, that use renewable energy sources, will mainly affect the energy density of fuels, resulting specific variable costs.