Formal methods are often used for programming language description as they can specify syntax and semantics precisely and unambiguously. However, their popularity is offset by the poor reusability and extendibility when applied to non-toy programming language design. One cause of this problem is that classical formal methods lack modularity. Meanwhile there are always needs for informal constructs for semantic analysis, and there is no simple and precise way to specify informal constructs by formal specification, which makes the formal specification too complicated to understand. To address the aforementioned problems with modern software engineering technology, we conbine object-oriented Two-Level Grammar with Java to modularize language components and apply design patterns to achieve the modularity and implement the informal constructs in a proper way.

The strength of aspect-oriented languages is given by pointcut designators that pick out join points. In this paper we provide an overview of pointcut designators in AspectJ, classifying them with respect of different kinds of joint points. Our aim in the future is to find a general and flexible way of adding a new aspect to an existing language system. The idea behind our approach is the integration of programming paradigms, such that prevents the occasional insufficiency of a programming language when mapping a problem to a corresponding program. Such integration, as we believe, can be done not excluding neither abstract paradigmatic level nor practical programming language level. From this point of view PFL - a process functional language is a perfect basis for studying the aspect phenomenon in a disciplined way as well as for providing practical experiments. In particular, when aspect approach is considered, the goal is not to provide a complete set of defined primitive pointcut designators - we do not think it is possible, since the world of computation may change in the future. Instead of that, more perspective seems to be the determining the different semantic levels of computation and their relation and hierarchy, their sources and the style in which they can be reflected and affected by a programming language. In this matter, this paper is just a step to this research direction.

This article deals with the future growth of renewable energy sources in Czech Republic respecting the power obligations in face of the European Union. It describes the present legislative conditions and gives the advices for their future changes. The main part takes care of wind energy.
The questions of utilizing the renewable energy sources renewable energy sources are in our country highly up to date. With the entrance to EU, we have singed up for future increasing of renewable energy sources share on the general power production.

In this paper we present research in Geographic Information Systems (GIS) interoperability. Also, this paper describes interoperability framework called GeoNis. GeoNis uses new technologies, proposed in this paper, to perform integration task between GIS applications and legacy data sources over the Internet. Our approach provides integration of distributed GIS data sources and legacy information systems in local community environment. The proposed framework uses the technology based on mediators, to allow communications between GIS applications over the Internet/Intranet. The problem of semantic heterogeneity will be resolved by concept of mediation and ontology. 
To provide integrated access to various distributed geo-information sources, we have developed components as an extension to existing GIS application called Ginis. Component-based architecture of Ginis is also presented in this paper. We have developed DataConsumer module that encapsulates physical data access details from the rest of application. In this way we have completely separated GIS application from details of data access. 
Also we have described our implementation of OpenGIS standards for uniform access to heterogeneous and distributed data sources. These standards are based on Microsoft Universal Data Access specification and OLE DB technology. Existing GIS application has been extended with new components for data access. Crucial part of this implementation is Ginis OLE DB Data Provider that is responsible for providing spatial data. The basic architecture of Ginis OLE DB Data Provider is also shown in this paper.

In the paper the results (temperature rise calculations) are presented for stationary arc root on both the contacts and the splitters (extinguishing chamber). By a breaking arc, that is an intensive thermal source, significant overheat of contacts is caused. This process makes for an intensive erosion of contact materials. Experiments oriented to erosion of materials and overheat of current path parts were made with contactors and miniature circuit breakers. Consequences owing to arc energy on the material erosion are presented. Steady state distribution of temperature along the current path of contactors was both calculated and measured. Method of equivalent thermal circuits and simulation in ANSYS were used to perform calculations.

It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, theirs premises and conclusion can be expressed through in this paper described formulae, it is very suitable to occupy with the monadic predicate formulae.

Seamless interconnection with wireless LAN and 3G technologies is essential for the future wireless environment. The Wireless Local Area Network (WLAN) integrated mobile device is designed to extend the reach of enterprise applications and to create new collaboration environments. Also very rapid new service development has started to change traffic mixes in the cellular networks towards IP dominating carriers like GPRS (General Packet Radio Service) and WLAN. These drastic changes require new research in the network as well as system interworking areas for both the cellular and WLAN technology areas. This is the main challenge our research is trying to solve giving answers to rising interworking and interoperability questions.

The ultimate goal of recent Intelligent Tutoring Systems (ITSs) is to personalize user interaction with online course material. The aim of this contribution is to point out the role of the application of inductive inference based algorithms in the evolution of present ITS. In particular it focuses on the utilization of a special simple (inductive inference) incremental algorithm and discusses its time-complexity features. Finally, it introduces correspondence (analogy) between the inductive inference by example concepts and the concepts of the Shareable Content Object Reference Model (SCORM).

Methods of the creation of virtual prototypes of multidisciplinary (mechatronic) systems are highly focused by researches as well as by managers of the enterprises because of significant shortening of the cycle development - production and minimization of the costs for creation of the physical prototype. One of the powerful tools for modeling of the mechatronic systems is computing and simulating system MSC/Adams that offers tools for creation of the mechanical subsystem as well as driving and control subsystems. This paper presents individual steps of the creation of the industrial robot arm equipped with harmonic gearbox and DC drive.

Structured, modular and object-oriented paradigms that are applied for software systems analysis, design and implementation, represent subsidiary principles. This article describes the close relations between structured and object-oriented approaches. It also presents the possibilities and advantages of a structured view to a software system using the Dataflow Diagrams (DFD), when Object-Oriented Analysis and Design (OOA/D) are performed. Extension of the Unified Modeling Language (UML) by the DFD is presented on simple examples. Relationships and dependencies between the models when system architecture, system linkage to surround environment, system services and system Graphical User Interface (GUI) are modeled are presented as well.