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

Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)

作者： M´rk Asztalos Péter Ekler L´szló Lengyel Tihamér Levendovszky Tam´s Vajk Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

The offline analysis of graph rewriting-based model transformations, when only the definition of the transformation and the specification of the modeling languages are taken into account, have gained focus recently. In this case, the analysis must be performed only once, and the results are independent from the concrete input models. For the formal analysis, we need to formally define the properties that should be verified. This paper presents the outline of an automated offline verification framework. We propose a formal language to express the model properties that must be verified. On a case study of refactoring social network models, we demonstrate that our language is descriptive enough to specify the property classes that should be validated on the output models of the model transformations.

关键词： Analytical models Social network services Pattern matching Concrete Visualization Formal languages Process control

来源：评论

学校读者我要写书评

暂无评论

Speed control of ultrahigh speed induction generator fed by Voltage Source Converter

Speed control of ultrahigh speed induction generator fed by ...

引用

International (EPE-PEMC) Power Electronics and Motion Control Conference

作者： Peter Stumpf Rafael K. Jardan Istvan Nagy Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

The paper is concerned with the study of the speed control loop of an ultrahigh speed machine applied in the utilisation of renewables and in recovering waste energy. The rated speed of the machine is 90 000 rpm. The main target is to prevent the overspeed of the machine set by studying with simulation the response of the nonlinear speed control loop by taking into consideration both the mechanical and electrical transients of the turbine-generator set and the effect of the PWM converter connected to the generator.

关键词： Torque Velocity control Turbines Rotors Converters Transient analysis Stators

来源：评论

学校读者我要写书评

暂无评论

Validating Query/View/Transformation Relations

Validating Query/View/Transformation Relations

引用

Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)

作者： L´szló Lengyel Istv´n Madari M´rk Asztalos Tihamér Levendovszky Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

Model-based software engineering is an increasingly applied method in producing software artifacts that is driven by model transformation. For example, Model-Driven Architecture (MDA) is an approach to develop software based on different models. Source code is generated automatically from these models. This makes model transformations the heart of MDA and other model-based software engineering approaches. Query/View/Transformation (QVT) is a transformation technology aimed solving model transformation challenges. There is a demand for making model transformation more flexible, efficient, highly-configurable as well as validated. For graph rewriting-based model transformations, we have developed an approach to support online validation of model transformations. This approach has been implemented in Visual Modeling and Transformation System (VMTS). Furthermore, VMTS has a QVT plug in supported with a QVT Toolkit to execute QVT Relations-based transformations. This paper discusses the details applying the online validation approach to model transformation rules defined in the QVT Relations language.

关键词： Unified modeling language Computational modeling Context Visualization Testing Analytical models Engines

来源：评论

学校读者我要写书评

暂无评论

Formal verification of model transformations: An automated framework

Formal verification of model transformations: An automated f...

引用

International Conference on Computational Cybernetics (ICCC)

作者： Mark Asztalos István Madari Tamas Vajk László Lengyel Tihamér Levendovszky Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

ISBN: (纸本)9781424474325

Verification of models and model processing programs are inevitable in real world model-based software development. Model transformation developers are often interested in offline verification methods, when only the definition of the model transformation and the specification of the source and target languages are used to analyze the properties and no concrete input models are taken into account. Therefore, the results of the analysis hold for each output model not just particular ones, and we have to perform the analysis only once. Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the analysis of only a certain property. Previous work has presented formal and algorithmic background for a possible verification framework. Based on this background, this paper introduces a realization of an automated verification framework for graph rewriting-based model transformations. We illustrate the operation of the framework and demonstrate its applicability on a case study. Our goal is to further improve our approach in order to be able to be applied in more complex industrial solutions as well.

关键词： Formal verification Performance analysis Programming Concrete Unified modeling language automation informatics Computer industry Construction industry Documentation

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of maintaining mobile-based social network models

引用

WSEAS Transactions on Computers 2010年第12期9卷 1391-1400页

作者： Ekler, Péter Asztalos, Márk Department of Automation and Applied Informatics Budapest University of Technology and Economics Magyar Tudósok Körútja 2 1113 Budapest Hungary

Although social networks are becoming more and more important in everyday life, their support is still not satisfactory in mobile devices. The automatic synchronization of the phone books in mobile phones with the data of the members of the social networks needs special and efficient algorithms. These algorithms cover the management of the global network model and the client software that runs on different mobile devices. In this work, we present Phonebookmark, a mobile-based social network implementation, which has been tested by hundreds of registered members. We present the mathematical model of the system in general that makes formal analysis possible. We introduce algorithms for the automatic discovery of similarities between contacts and members and for maintaining these similarities in the global models. We show an estimation of the complexity of the presented algorithms, which enables to extend other existing social networks by capabilities for supporting mobile devices as specified in this paper.

关键词： Cellular telephones

来源：评论

学校读者我要写书评

暂无评论

Sufficient condition of stability in computer networks

Sufficient condition of stability in computer networks

引用

International Symposium on Computational Intelligence and informatics

作者： G. Max Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Hungary

In most articles dataflow in computer networks is described as a transfer function. Numerators, denominators and delay times give behaviors of these systems. Some systems show linear features, others have non-linear ones. All descriptions have some special results. Some of them present linear aspects of transfers, while other ones look for bottlenecks of the networks or prove stability of the systems. Since these systems have non-linear features, simulation of these systems is also difficult. The paper presents setting up a non-linear simulation model that helps to observe dataflow problems of the networks. This simple model captures the relationship among the internal traffic and the input and output dataflow. Finally conditions of stability are given for these systems.

关键词： Computational modeling Computer networks Stability analysis Mathematical model Data models Routing protocols Delay

来源：评论

学校读者我要写书评

暂无评论

Hierarchical fuzzy system construction applying genetic and bacterial programming algorithms with expression tree building restrictions

Hierarchical fuzzy system construction applying genetic and ...

引用

作者： Balázs, Krisztián Botzheim, János Kóczy, László T. Department of Telecommunications and Media Informatics Budapest University of Technology and Economics Budapest Hungary Department of Automation Széchenyi István University Gyor Hungary Institute of Informatics Electrical and Mechanical Engineering Faculty of Engineering Sciences Széchenyi István University Gyor Hungary

ISBN: (纸本)9781424496730

In this paper various restrictions are proposed in the construction of hierarchical fuzzy rule bases by using Genetic and Bacterial Programming algorithms in order to model black box systems defined by input-output pairs, i.e. to solve supervised machine learning problems. The properties (learning speed, accuracy) of the established systems are observed based on simulation results and they are compared to each other. © 2010 TSI Press.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

The Accuracy of Power Law Based Similarity Model in Phonebook-Centric Social Networks

The Accuracy of Power Law Based Similarity Model in Phoneboo...

引用

International Conference on Wireless and Mobile Communications (ICWMC)

作者： Peter Ekler Tamas Lukovszki Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary Faculty of Informatics Eötvös Lonránd University Budapest Hungary

Social networks are becoming increasingly popular nowadays. The increasing capabilities of mobile phones enable them to participate in such networks. We should consider the fact, that the phonebooks in the mobile devices represent social relationships that can be integrated in the social networks. Such networks provide a synchronization mechanism between phonebooks of the users and the social network which allows detecting other users listed in the phonebooks. Users can accept detected similarities. After that, if one of their contacts changes her or his personal detail, it will be propagated automatically into the phonebooks, after considering privacy settings. Estimating the total number of these similarities is a key issue from scalability point of view in such networks. We implemented a phonebook-centric social network, called Phonebookmark and investigated the structure of the network. Previously it was shown that the distribution of similarities follows a power law. Also a model was proposed by us, which can be used to calculate the total number of similarities. However the accuracy of the model is another question, because of the infinite variance of the power law distribution. The contribution of this paper is that using the fact that a member of the network can only be involved in a limited number of similarities results in a similarity distribution with a finite variance. Therefore, central limit theorems can be used to show the accuracy of our estimation of the total number of similarities. However the model can be used in other power law distributions which apply to the requirements.

关键词： Mobile handsets Facebook Accuracy Internet Image edge detection Upper bound

来源：评论

学校读者我要写书评

暂无评论

Examining registration delays in mobile based social networks

Examining registration delays in mobile based social network...

引用

International Symposium on Computational Intelligence and informatics

作者： Péter Ekler Tamás Lukovszki Hassan Charaf Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Hungary Faculty of Informatics Eötvös Lonránd University Budapest Hungary

The popularity of web based social networks is rapidly increasing nowadays. These solutions allow managing relationships online. There are also several mobile solutions to these networks but they are mainly limited to reaching the services of the social network from the mobile device. The fact, that the phonebook of the mobile phones also represents social relationships, can be used for detecting additional relationships in the social network automatically, which has several benefits. For this a similarity detecting algorithm is required, which runs in the background on demand, on the server. When a member registers and synchronizes her or his entire phonebook the system should detect similarities as fast as possible. In this paper we introduce our mobile based social network. We discuss about similarity detecting based on phonebook sizes and we show a queuing theory based model regarding to registration delays.

关键词： Mobile communication Mobile computing Mobile handsets Facebook Exponential distribution Delay

来源：评论

学校读者我要写书评

暂无评论

Discrete-time modeling tools for DC-DC converters

Discrete-time modeling tools for DC-DC converters

引用

2010 International Power Electronics Conference - ECCE Asia -, IPEC 2010

作者： Hamar, J. Nagy, I. Funato, H. Nishida, Y. Ohsaki, H. Masada, E. Department of Automation and Applied Informatics Budapest University of Technology and Economics Goldmann Gyorgy Ter 3 1111 Budapest Hungary MFKK Invention and Research Center Services Co. Ltd. Budapest Hungary Computer and Automation Research Institute Hungarian Academy of Science Budapest Hungary Dept. of Electrical and Electronic Engineering Utsunomiya University Utsunomiya Japan Dept. of Electric Electronics and Computer Engineering Chiba Institute of Technology Japan University of Tokyo Tokyo Japan Railway Technology Research Institute Tokyo Japan

ISBN: (纸本)9781424453955

The objective of the discrete-time modeling tools is twofold. First, they give an insight into the basic ideas of discrete-time modeling of dc-dc converters for university students and interested power electronics specialists. Second, as it is being presented below, the interactive calculation tools facilitate the fast and simple model-development in WEB browser after entering the basic circuit and load parameters. This feature can especially be useful for the practicing design engineers, since without long calculations with matrix functions the linearized discrete-time system model is immediately and automatically developed in both mathematical form (state-space equations and transfer functions in the Z domain) and also in graphical form (pole-zero map and bode plot). © 2010 IEEE.

关键词： DC-DC converters

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：