This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in...
详细信息
This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.
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.
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.
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...
详细信息
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.
暂无评论