The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual *** platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pog...
详细信息
The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual *** platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic algebras and primitive program algebras (PPA), which is an example of programing algebra class of composite type. Property of monotonicity and continuity is established for the branching operation of PPA as the corollary of the representation of branching operation in terms of set-theoretic constructions of function restriction over set using the properties of monotonicity and distributivity of function restriction and whole image of set with respect to binary relation.
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.
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree q...
详细信息
Nowadays, cases of piracies, copyrights, legal disputes and allegations are increasing as far as software is concerned. In such cases it is difficult to say who is right and who is wrong between the two quarreling par...
详细信息
Nowadays, cases of piracies, copyrights, legal disputes and allegations are increasing as far as software is concerned. In such cases it is difficult to say who is right and who is wrong between the two quarreling parties due to insufficient evidences. So, what can be done. Author identification plays a very important role in most of these cases, such as plagiarism detection, masquerade detection, software maintainability and resolving authorship disputes. In this research, we have analyzed the result of an experiment on a text classification using Decision tree method approaches for Mongolian language. We have a training set of documents, each labeled with one of 13 classes. Since it is the first work in this field for Mongolian language no previous work results were available for comparison.
On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel file system, leading to contention and in its wake to degraded application performance. However, the degree of interferenc...
详细信息
On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel file system, leading to contention and in its wake to degraded application performance. However, the degree of interference depends on the specific file access pattern. On the basis of synchronized time-slice profiles, we compare the interference potential of different file access patterns. We consider both micro-benchmarks, to study the effects of certain patterns in isolation, and realistic applications to gauge the severity of such interference under production conditions. In particular, we found that writing large files simultaneously with small files can slow down the latter at small chunk sizes but the former at larger chunk sizes. We further show that such effects can seriously affect the runtime of real applications-up to a factor of five in one instance. In the future, both our insights and profiling techniques can be used to automatically classify the interference potential between applications and to adjust scheduling decisions accordingly.
Text classification is an important task of assigning objects from a universe to two or more classes, especially classification is to classify the topic or the theme of a document. In this research, we have analyzed t...
详细信息
Developing reusable and adaptable concurrent software are very difficult. Reusability and adaptability in concurrent software become minimal. These collaborations not only perimeter reusability, but also make modifica...
详细信息
Developing reusable and adaptable concurrent software are very difficult. Reusability and adaptability in concurrent software become minimal. These collaborations not only perimeter reusability, but also make modification invasive changes to meet new requirements in the design of the concurrent software. The concurrent system has to reengineer, in order to meet the future requirements. A misunderstanding, that a concurrent object-oriented programming generally endorses reusability and adaptability, as none of these problems is imposed. Software developers have to specifically deliberate software making reusability and adaptability. We present a concurrent aspect framework which better supporting reusability and adaptability. In the framework, functional components and system assets are relatively separated. This technique makes concurrent software developing better reusability and adaptability. A framework enables manageable reusability and adaptability for building of concurrent software. Our research focuses on decomposition of contact in concurrent software development and our goal is to demonstrate a better model of concurrent software design.
Developing reusable and adaptable concurrent software are very *** and adaptability in concurrent software become *** collaborations not only perimeter reusability,but also make modification invasive changes to meet n...
详细信息
Developing reusable and adaptable concurrent software are very *** and adaptability in concurrent software become *** collaborations not only perimeter reusability,but also make modification invasive changes to meet new requirements in the design of the concurrent *** concurrent system has to reengineer,in order to meet the future requirements.A misunderstanding,that a concurrent object-oriented programming generally endorses reusability and adaptability,as none of these problems is *** developers have to specifically deliberate software making reusability and *** present a concurrent aspect framework which better supporting reusability and *** the framework,functional components and system assets are relatively *** technique makes concurrent software developing better reusability and adaptability.A framework enables manageable reusability and adaptability for building of concurrent *** research focuses on decomposition of contact in concurrent software development and our goal is to demonstrate a better model of concurrent software design.
In this paper, intellectual technology is applied with the device of fuzzy logic as the basis of a developed system of learning and testing. This system is used to automate the process of teaching and control of knowl...
详细信息
In this paper, intellectual technology is applied with the device of fuzzy logic as the basis of a developed system of learning and testing. This system is used to automate the process of teaching and control of knowledge of students in higher education institutions. The quality of the intellectual learn learning system directly depends on the accuracy of the definition of the student's current level of knowledge, as well as the choice of a learning strategy. It can be a transition to teaching new material, review of old material, or the learning completion.
Purpose of this work is to develop norms, knowledge and algorithms that will make a real shift most of the educational process on the computer environment. On the basis of artificial neural networks, a mechanism, whic...
详细信息
ISBN:
(纸本)9781479903467
Purpose of this work is to develop norms, knowledge and algorithms that will make a real shift most of the educational process on the computer environment. On the basis of artificial neural networks, a mechanism, which allows taking into account, the subjective opinion of experts without requiring changes to the system. With the help of fuzzy logic developed an original method of monitoring the student's knowledge as closely mimics the behavior of the teacher in the student survey, which combines the power and brevity, not previously accessible to automated systems.
暂无评论