检索结果-内蒙古大学图书馆

IEEE International Scientific Conference on Informatics

作者： Volodymyr Ovsyak Oleksandr Ovsyak Dmytro Bui Julia Petruszka Dept. Application of Informatics Kielce University of Technology Kielce Poland Dept. Kino and Arts National University of Culture and Arts L'viv Ukraine Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Dept. Automatic and Information Technology Ukrainian University of Printing L'viv Ukraine

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.

关键词： Algebra Unified modeling language Computational modeling Computers information technology Mathematical model Visualization

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and Software Engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

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.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

Learning extended finite state machines

引用

12th International Conference on Software Engineering and Formal Methods, SEFM 2014

作者： Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783319104300

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 queries. The learning algorithm uses the tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library. © 2014 Springer International Publishing.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Author Identification - An Experiment Based on Mongolian Literature Using Decision Trees

Author Identification - An Experiment Based on Mongolian Lit...

引用

IEEE International Conference on Ubi-Media Computing

作者： Zolboo Damiran Khuder Altangerel Department of Information System MUST-CSMS Ulaanbaatar Mongolia Department of Programming Technology MUST-CSMS Ulaanbaatar Mongolia

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.

关键词： Decision trees Classification algorithms Text categorization Training Accuracy Entropy Software

来源：评论

学校读者我要写书评

暂无评论

How file access patterns influence interference among cluster applications

How file access patterns influence interference among cluste...

引用

IEEE International Conference on Cluster Computing

作者： Chih-Song Kuo Aamer Shah Akihiro Nomura Satoshi Matsuoka Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany Tokyo Institute of Technology Global Scientific Information and Computing Center Tokyo Japan

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.

关键词： Interference Servers Throughput Benchmark testing Market research Degradation Aggregates

来源：评论

学校读者我要写书评

暂无评论

Text classification experiments on Mongolian language

Text classification experiments on Mongolian language

引用

8th International Forum on Strategic technology, IFOST 2013

作者： Damiran, Zolboo Altangerel, Khuder MUST-CSMS/Department of Information System Ulaanbaatar Mongolia MUST-CSMS/Department of Programming Technology Ulaanbaatar Mongolia

ISBN: (纸本)9781479909315

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 the result of an experiment on a text classification using Naive Bayesian method approaches for Mongolian language. We have training set of documents, each labeled with one of 10 classes. Since it is the first work in this field for Mongolian language no previous work results were available for comparison. © 2013 IEEE.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Design Reusability and Adaptability for Concurrent Software

引用

AASRI Procedia 2013年 5卷 133-139页

作者： Paniti Netinant Information Technology Department Bangkok University Bangkok Thailand Concurrent Programming Research Group Illinois Institute of Technology Chicago IL USA

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.

关键词： Aspect Orientation Adaptability Reusability Framework Concurrent Software

来源：评论

学校读者我要写书评

暂无评论

Design Reusability and Adaptability for Concurrent Software

Design Reusability and Adaptability for Concurrent Software

引用

The 2013 AASRI Conference on Parallel and Distributed Computing and Systems(DCS 2013)

作者： Paniti Netinant Information Technology Department Bangkok University Concurrent Programming Research Group Illinois Institute of Technology

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.

关键词： Aspect Orientation Adaptability Reusability Framework Concurrent Software

来源：评论

学校读者我要写书评

暂无评论

Decision-making in determining the level of knowledge of students in the learning process under uncertainty

引用

Informatica (Slovenia) 2013年第3期37卷 339-343页

作者： Shahbazova, Shahnaz N. Department of Information Technology and Programming Azerbaijan Technical University 25 H.Javid Ave. Baku AZ1073 Azerbaijan

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.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Cybernetic Theory of informational Modeling of Teacher's Behavior in the Learning Process based on Fuzzy Logic

Cybernetic Theory of Informational Modeling of Teacher's Beh...

引用

Joint IFSA World Congress and NAFIPS Annual Meeting

作者： Shahnaz N. Shahbazova Department of Information Technology &Programming Azerbaijan Technical University 25 H.Cavid Ave. Baku AZ1073 Azerbaijan

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.

关键词： Learning Process teacher brevity

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：