The paper is devoted to the development of a genetic algorithm for finding the optimal values of control parameters of the ethylene oligomerization process. The formulation of the problem of optimal control of the eth...
详细信息
In recent years, deep neural network (DNN) has been frequently used for classification. In this study, iris flowers having 3 different types are classified by using DNN which are utilized the width and length of petal...
详细信息
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud...
详细信息
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The study is intended to illustrate modeling support for software evolution. The case consists of an initial version of the simulation program and a series of changes in the specification that require it to evolve. The evolution of the program corresponds to a series of four consecutive requirements at the level of the LAN, which must be incorporated into the simulation program.
To maximization the total profit and minimization the total cost we investigate two transportation models with interval transportation parameters and we present a solution of our newly developed models using appropria...
详细信息
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learnin...
详细信息
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.
Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from...
详细信息
The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two impor...
详细信息
ISBN:
(纸本)9781604234558
The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two important transformations: differentiation localizes the effect of single inputs wrt. an input history, abstraction extracts the component's control state and data state from the previous input history.
As a result of analysis of the existent methods and tools of computer aided design of the technical systems of many industrial areas, the primary purpose of the article that consists in the decision of different proje...
详细信息
As a result of analysis of the existent methods and tools of computer aided design of the technical systems of many industrial areas, the primary purpose of the article that consists in the decision of different project problems within the framework of one programmatic system with the use of comfortable programmatic interface is certain. Architecture of the program interface for computer designing and option of technical systems of different industrial areas on the basis of stage-by-stage automated designing principles with using programmatic and informative supports is worked out. In the article, the problem of computer designing, searching and option of elements of manipulator for flexible manufacture module is considered. As a method of logical simulation of the problem, production model of designing procedures of the program interface and intelligence option of a manipulator, its technical parameters are developed. On the basis of algorithmic scheme of searching, the option of a manipulator from data base is worked out.
I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particul...
详细信息
the article proposes a method of zero-watermarking for colored RGB bitmap images. This algorithm can be used to protect property rights to multimedia resources in which it is impossible to use ordinary watermarks due ...
详细信息
暂无评论