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

IEEE International Joint Conferences on Computational Cybernetics and Technical informatics, ICCC-CONTI 2010

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

ISBN: (纸本)9781424474332

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. © 2010 IEEE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Design and modeling of integrated Hall-effect sensor based on-line thickness measurement device for incremental sheet forming processes

Design and modeling of integrated Hall-effect sensor based o...

引用

IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM)

作者： Imre Paniti Annamaria Paroczi Computer and Automation Research Institute Hungarian Academy of Sciences Kende u. 13-17 H-1111 Budapest Hungary Budapest University of Technology and Economics Department of Mechatronics Optics and Engineering Informatics Bertalan Lajos u. 4-6 Building D room 415 H-1111 Budapest Hungary

ISBN: (纸本)9781457708381

The use of Numerical Control and computers in manufacturing has enabled the development of new sheet forming processes. One of these flexible processes is called Incremental Sheet Forming (ISF) in which deformation is localized by the movement of a spherical or flat forming tool. ISF is carried out regularly by a CNC machine tool or by a Robot, which follows a tool-path generated by CAM programs, without the need for costly dies. Despite research progresses in understanding the deformation mechanism in ISF the process still needs a further optimization to guarantee the reliability required for industrial applications. This paper deals with the design of a new smart forming tool, applying FEM modeling and simulation, which is able to measure one of the key process parameters: the sheet thickness during the forming process. The authors analyze the possibility to use a Hall-effect sensor integrated into the forming tool for more precise on-line thickness measurement than what can be found in the literature and first results are reported.

关键词： Thickness measurement Force Magnetic flux density Magnetic field measurement Materials Finite element methods

来源：评论

学校读者我要写书评

暂无评论

Modelling computer networks

引用

Journal of Physics: Conference Series 2011年第1期268卷

作者： G Max Budapest University of Technology and Economics Department of Automation and Applied Informatics H-1521 Budapest Po. Box. 91. Hungary

Traffic models in computer networks can be described as a complicated system. These systems show non-linear features and to simulate behaviours of these systems are also difficult. Before implementing network equipments users wants to know capability of their computer network. They do not want the servers to be overloaded during temporary traffic peaks when more requests arrive than the server is designed for. As a starting point for our study a non-linear system model of network traffic is established to exam behaviour of the network planned. The paper presents setting up a non-linear simulation model that helps us to observe dataflow problems of the networks. This simple model captures the relationship between the competing traffic and the input and output dataflow. In this paper, we also focus on measuring the bottleneck of the network, which was defined as the difference between the link capacity and the competing traffic volume on the link that limits end-to-end throughput. We validate the model using measurements on a working network. The results show that the initial model estimates well main behaviours and critical parameters of the network. Based on this study, we propose to develop a new algorithm, which experimentally determines and predict the available parameters of the network modelled.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Examining registration delays in mobile based social networks

Examining registration delays in mobile based social network...

引用

11th IEEE International Symposium on Computational Intelligence and informatics, CINTI 2010

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

ISBN: (纸本)9781424492800

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. ©2010 IEEE.

关键词： Queueing theory

来源：评论

学校读者我要写书评

暂无评论

Statistical analysis of signature features with respect to applicability in off-line signature verification

Statistical analysis of signature features with respect to a...

引用

14th WSEAS International Conference on Computers, Part of the 14th WSEAS CSCC Multiconference

作者： Kovari, Bence Charaf, Hassan Department of Automation and Applied Informatics Budapest University of Technology and Economics Goldman Györgytér 3 1111 Budapest Hungary

ISBN: (纸本)9789604742134

Although the computerized verification of handwritten signatures has been extensively studied in the past three decades, the results on the field are still unsatisfactory. This paper provides a generic analytic approach for modeling different kinds of signature verification systems and estimating their performance limitations based on simple properties of the signature database, which is used to evaluate the system. Although our current approach concentrates only on skilled forgeries, it could be well extended to handle unskilled and random forgeries and thereby provide a model, which is applicable to current commercial signature verification systems.

关键词： Normal distribution

来源：评论

学校读者我要写书评

暂无评论

Sufficient condition of stability in computer networks

Sufficient condition of stability in computer networks

引用

International Symposium on Computational Intelligence and informatics

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

ISBN: (纸本)9781424492800

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. ©2010 IEEE.

关键词： System stability

来源：评论

学校读者我要写书评

暂无评论

Statistical analysis of signature features with respect to applicability in off-line signature verification

Statistical analysis of signature features with respect to a...

引用

作者： Kovari, Bence Charaf, Hassan Department of Automation and Applied Informatics Budapest University of Technology and Economics Goldman György tér 3 1111 Budapest Hungary

ISBN: (纸本)9789604742011

关键词： Normal distribution

来源：评论

学校读者我要写书评

暂无评论

Implementing QVT in a domain-specific modeling framework

Implementing QVT in a domain-specific modeling framework

引用

作者： Madari, István Asztalos, Márk Mészáros, Tamás Lengyel, László Charaf, Hassan Department of Automation and Applied Informatics Budapest University of Technology and Economics Magyar Tudósok körútja 2 Budapest Hungary

ISBN: (纸本)9789898425225

Meta Object Facility 2.0 Query/Views/Transformation (QVT) is OMG's standard for specifying model transformations, views and queries. In this paper we deal with the QVT Relations language, which is a declarative specification of model transformation between two models. The QVT Relations language specifies several great features in practice, such as implicit trace creation support, or bidirectional transformations. However, QVT lacks implementation because its specification is not final and far too complex. The main contribution of this paper is to show how we integrated QVT constructs in our domain-specific modeling environment to facilitate a later implementation of QVT Relations-driven bidirectional model transformation.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Evaluating dynamically evolving mobile-based social networks

Evaluating dynamically evolving mobile-based social networks

引用

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

The increasing capabilities of mobile phones enable them to participate in different type of web-based systems. One of the most popular systems are social networks. The phonebooks of the mobile devices also represent social relationships of the owner. This can be used for discovering additional relations in social networks. Following this line of thought, mobile-based social networks can be created by enabling a synchronization mechanism between,. phonebooks of the users and the social network. This mechanism detects similarities between phonebook contacts and members of the network. Users can accept or ignore these similarities. After acceptance, identity links are formed. If a member changes her or his personal detail, it will be propagated automatically into the phonebooks, via identity links after considering privacy settings. Estimating the total number of these identity links is a key issue from scalability and performance point of view in such networks. We have implemented a mobile-based social network, called Phonebookmark and examined the structure of the network during a test period of the system. We have found, that the distribution of identity links of the users follows a power law. Based on this, we propose a model for estimating the total number of identity links in the dynamically evolving network. We verify the model by measurements and we also prove the accuracy of the model mathematically. For this we use the fact, that the number of identity links of each user (and thus, the value of the random variable modeling it) is bounded linearly by the number of members N m of the network. Then we show, that the variance of the random variable is Θ(NM3-β), where 2 0, Pr[X = x] = c.x-β, if x ≥ Nm and Pr[X = x] = 0 otherwise. The model and the results can be used in general when the distribution shows similar behavior.

关键词： Random variables

来源：评论

学校读者我要写书评

暂无评论

Multimedia cross-platform content distribution for mobile peer-to-peer networks using network coding

Multimedia cross-platform content distribution for mobile pe...

引用

18th ACM International Conference on Multimedia ACM Multimedia 2010, MM'10

作者： Pedersen, Morten Videbæk Heide, Janus Vingelmann, Péter Blázovics, László Fitzek, Frank H.P. Aalborg University Dept. of Electronic Systems Aalborg Denmark Budapest University of Technology and Economics Dept. of Automation and Applied Informatics Budapest Hungary

ISBN: (纸本)9781605589336

This paper is looking into the possibility of multimedia content distribution over multiple mobile platforms forming wireless peer - to - peer networks. State of the art mobile networks are centralized and base station or access point oriented. Current developments break ground for device to device communication. In this paper we will introduce a mobile application that runs on Symbian as well as iPhone/iPod devices and is able to exchange multimedia content in a point to multipoint fashion. The mobile application coined PictureViewer can convey pictures from one source device to many neighboring devices using a wireless 802.11 network together with network coding and user cooperation. The advantage of network coding in this context is that the source devices only need a minimal amount of knowledge about the sinks received packets and therefore only a minimal amount of feedback is needed to ensure reliable data delivery. © 2010 ACM.

关键词： Peer to peer networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：