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

2010 IEEE International Conference on Communications Workshops, ICC 2010

作者： Vingelmann, Péter Fitzek, Frank H. P. Lucani, Daniel E. Budapest University of Technology and Economics Dept. of Automation and Applied Informatics Budapest Hungary Aalborg University Dept. of Electronic Systems Aalborg Denmark MIT Research Laboratory of Electronics Cambridge MA United States

ISBN: (纸本)9781424468263

We investigate different schemes for data dissemination in multi-hop ad-hoc networks using network coding. We study the performance of these schemes in terms of the completion time when a set of data packets must be disseminated from a single source to all nodes in a multi-hop network, i.e. a network where at least one node is several hops away from the source. Therefore some network nodes must relay information to other nodes that are farther away from the source. In this setting, a relay node does not send a particular data packet, but a linear combination of the packets that it has previously received. The selection of such relays has a significant impact on performance. We present a graphical simulator based on OpenGL that allows to study performance and illustrate the status of network nodes in real time during the dissemination of an image file. Features of real-life ad-hoc networks such as packet losses and collisions are taken into consideration in our simulator. Numerical results are presented for simple linear meshed networks and for arbitrary topologies. Results indicate that schemes promoting parallel non-interfering transmissions complete the dissemination process faster. ©2010 IEEE.

关键词： Network coding

来源：评论

学校读者我要写书评

暂无评论

A kantian pattern of knowledge, the observation representation

A kantian pattern of knowledge, the observation representati...

引用

8th IEEE International Symposium on Intelligent Systems and informatics, SIISY 2010

作者： Pozna, C. Kóczy, L.-T. Precup, R.-E. Ballagi, Á. Department of Product Design and Robotics Transilvania University of Brasov Brasov Romania Department of Telecommunications and Media Informatics Budapest University of Technology and Economics Budapest Hungary Department of Automation and Applied Informatics Politehnica University of Timisoara Timisoara Romania Department of Automation Széchenyi István University Gyor Hungary Inst. of Mechanical Electrical Engineering and Information Technology Széchenyi István University H-9026 Hungary

ISBN: (纸本)9781424473946

This paper suggests a new pattern of human knowledge. Its execution represents an important stage in the general framework of aiming the building of an artificial cognitive system. First the general presentation of the artificial cognitive system, its objective, main principles and implementation phases are highlighted. The known patterns, which have a cultural (philosophical, psychological and linguistic) origin are then analyzed. Finally the details concerning the proposed pattern are pointed out. ©2010 IEEE.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Analysis of intra-person variability of features for off-line signature verification

引用

WSEAS Transactions on Computers 2010年第11期9卷 1359-1368页

作者： Kovari, Bence Charaf, Hassan Department of Automation and Applied Informatics Budapest University of Technology and Economics 1111. Budapest Magyar Tudosok Korutja 2 Q Hungary

One of the major challenges in off-line signature verification is the fact that a person's own signature is influenced by a number of external and internal factors. This influence results in a high variability even between signatures written by the same signer. This paper proposes a method which is able to model the intra-person variability of a signature feature and also to identify and eliminate the effects of external factors. To demonstrate the efficiency of the algorithm, a sample signature verifier is constructed and evaluated on the Signature Verification Competition 2004 database. Experiments have shown that by using 3 features (endings, loops and skew vectors) an average error rate of 12% can be achieved by the system. These results may be further improved by increasing the number of features, used during the comparison of signatures.

关键词： Normal distribution

来源：评论

学校读者我要写书评

暂无评论

Quasi-subharmonics in PWM inverters

Quasi-subharmonics in PWM inverters

引用

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

作者： István Nagy Peter Bartal Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

Ultra-high speed electric machines (speed is in the order of 100 krpm) supplied by PWM inverters are extremely vulnerable to subharmonics. The main source of subharmonics is in the low frequency modulation ratio of th... 详细信息

关键词： Harmonic analysis Pulse width modulation Amplitude modulation Converters Frequency modulation Fourier series Inverters

来源：评论

学校读者我要写书评

暂无评论

Towards Automated, Formal Verification of Model Transformations

Towards Automated, Formal Verification of Model Transformati...

引用

International Conference on Software Testing, Verification, and Validation, ICST

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

Verification of models and model processing programs are inevitable in real-world model-based software development. Model transformation developers are interested in offline verification methods, when only the definition of the model transformation and the metamodels 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 a formalism to describe the characteristics of model transformations in separate formal expressions called assertions. This description is based on the first-order logic, therefore, if deduction rules are provided, a reasoning system can use an assertion set to automatically derive additional assertions describing additional properties of model transformations. In this paper, we propose deduction rules and present the verification of a model transformation of processing business process models.

关键词： Formal verification Performance analysis automation Flow graphs Concrete Software testing informatics Mathematical model Programming Automatic logic units

来源：评论

学校读者我要写书评

暂无评论

Implicit model fitting to an unorganized set of points

Implicit model fitting to an unorganized set of points

引用

International Conference on Computational Cybernetics (ICCC)

作者： Levente Hunyadi István Vajk Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

ISBN: (纸本)9781424474325

Constructing a computer model from a mass of unorganized coordinate data acquired of a physical object is a frequent problem in engineering. Unfortunately, data are usually observed with noise due to surface attributes of the physical object, impact of the environment and uncertainty of the measuring device. The aim is thus to reconstruct the physical model in a way as to minimize the misfit between the reconstructed model and the true object. We present an approach that alloys clustering and generalized total least squares regression to detect groups in observations and estimate local parameters over naturally delineated domains in a noisy context. The global model is an aggregate of local models, each of which is described by a primitive, which evolves during an iterative refinement process. A resampling step with random initial assignment is added to minimize the probability that the method converges to a suboptimal solution.

关键词： Physics computing Data engineering Working environment noise Surface fitting Surface reconstruction Measurement uncertainty Noise measurement Least squares approximation Parameter estimation Aggregates

来源：评论

学校读者我要写书评

暂无评论

Incremental OCL to C# code generation

Incremental OCL to C# code generation

引用

International Conference on Computational Cybernetics (ICCC)

作者： Tamás Vajk Gergely Mezei Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

ISBN: (纸本)9781424474325

In software engineering, modeling with UML and OCL became industry standards and are supported by many computer-aided software engineering tools. The increasing number of the modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applied to the systems. During the development of the metamodel, rebuilding all the constraints is unnecessary when only a few changes have been applied due to the iterative, incremental manner of modifications. In this paper, we present an algorithm that incrementally generates code from modified constraints, thus, the required rebuild operations are kept to a minimum. With the proposed method, the duration of metamodel development can be decreased, thus, the efficiency of the environment is improved.

关键词： Unified modeling language Computer aided software engineering Software engineering Database languages automation informatics Environmental economics Computer industry Industrial economics Code standards

来源：评论

学校读者我要写书评

暂无评论

Dynamics of different speed controls of ultra high speed induction generator using approximate and accurate model

Dynamics of different speed controls of ultra high speed ind...

引用

International Symposium on Power Electronics, Electrical Drives, automation and Motion, SPEEDAM

作者： 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 ultrahigh speed induction machine (USIM) applied in the utilization of renewables and recovering waste energy. The rated speed of the machine is 90 000 rpm. The main target of the study is to investigate the performance of the speed control loop in order to avoid or minimize the overspeed. The USIM is modelled by using an approximate and an accurate model. In the approximate model the refined Kloss formula is used and ideal converter supplying the USIM is assumed. In the accurate model the electric transients in the USIM and the harmonics in the output of the PWM converter are also taken into account.

关键词： Velocity control Induction generators Induction machines Voltage Stators Frequency automation Pulse width modulation converters Turbines Power electronics

来源：评论

学校读者我要写书评

暂无评论

Managing constraints of validation in model transformations

Managing constraints of validation in model transformations

引用

International Conference on Software, Telecommunications and Computer Networks (SoftCOM)

作者： László Lengyel Tihamér Levendovszky Hassan Charaf Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

Model-Driven Development (MDD) facilitates the synthesis of application programs from models using customized, domain-specific model processors. MDD appears in many, different areas including telecommunication services, communication protocols, enterprise networking and multimedia systems. Model compilers can be realized by graph rewriting-based model transformations, where constraints ensuring the validation can be assigned to model transformation rules. The approach supports validated model processing. This paper introduces new algorithms applied to manage validation constraints in model transformation rules. The presented algorithms facilitate the better understanding of the transformations, their easier constraint-based configuration, and make both the constraints and the rewriting rules reusable.

关键词： Biological system modeling Weaving Color Unified modeling language Computational modeling Context Adaptation model

来源：评论

学校读者我要写书评

暂无评论

Multimedia material for teaching and e-learning in Nonlinear Dynamics and Power Electronics

Multimedia material for teaching and e-learning in Nonlinear...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Peter Stumpf Department of Automation and Applied Informatics Budapest University슠of슠Technology슠and슠Economics Budapest Hungary

Using information technologies (IT), multimedia, animated figures and interactive simulations, the teachers can enlighten, clarify much more than by non-animated figures, usual text and speech. Within the frame of a European Union program a multimedia software was developed for supporting the education of Electrical Engineering at Universities and within this general program the teaching of Nonlinear Dynamics, Power Electronics and Motion Control. They are, of course only a small section of the whole program. The current paper gives a brief account of the work from the field Nonlinear Dynamics and Power Electronics covering only a few interactive animated screens about Manifolds, Bifurcations and a few examples from Power Electronics. They were selected to show how the animated figures can help both the students and the teachers to understand and make the students comprehend the rather complicated, sophisticated concepts.

关键词： Bifurcation Manifolds Animation Trajectory Nonlinear dynamical systems Converters

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：