The overwhelming acceptance of social media creates opportunities to learn about facts and events that are echoed in posts, tweets and messages uploaded by users. Analysis of these data can lead to interesting observa...
详细信息
The overwhelming acceptance of social media creates opportunities to learn about facts and events that are echoed in posts, tweets and messages uploaded by users. Analysis of these data can lead to interesting observations and conclusions. Of special importance are aspects related to temporal and dynamic nature of these findings. This paper presents a simple fuzzy-based approach of pre-processing and analyzing Twitter hashtags. The obtained fuzzy clusters are further examined in order to gain insight related to temporal trends and patterns of hashtags' popularity.
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.
During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed ...
详细信息
During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed malfunctions may result in hazardous behavior during operation phase. At this point, regardless of the engineers expertise a systematic support can drastically decrease the risk of missed malfunctions. A promising systematic approach is to use engineering artifacts of the system design phase as an information source to identify unexpected behavior regarding the specification. This paper proposes such a systematic approach based on model-based testing resulting in automatic test case generation and execution which allows to support engineers with learned models representing the expected transient system behavior. Subsequently, the obtained models are used for detection of unexpected behavior during commissioning. The unexpected behavior is presented to a commissioning engineer who decides if the behavior (1) is correct and will be added to the models or (2) represents an identified system malfunction. The approach is evaluated on a demonstration plant.
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...
详细信息
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in th...
详细信息
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.
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.
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.
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...
详细信息
暂无评论