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

作者： Mehner, Katharina Monga, Mattia Taentzer, Gabriele Software Engineering Group Technical University of Berlin Germany Dip. di Informatica e Comunicazione Università Degli Studi di Milano Italy Dep. of Computer Science and Mathematics Philipps-Universität Marburg Germany

ISBN: (纸本)3642020585

Aspect-oriented concepts are currently exploited to model systems from the beginning of their development. Aspects capture potentially crosscutting concerns and make it easier to formulate desirable properties and to understand analysis results than in a tangled system. However, the complexity of interactions among different aspectualized entities may reduce the benefit of aspect-oriented separation of crosscutting concerns. Some interactions may be intended or may be emerging behavior, while others are the source of unexpected inconsistencies. It is therefore desirable to detect inconsistencies as early as possible, preferably at the modeling level. We propose an approach for analyzing interactions and potential inconsistencies at the level of requirements modeling. We use a variant of UML to model requirements in a use case driven approach. Activities that are used to refine use cases are the joinpoints to compose crosscutting concerns. The activities and their composition are formalized using the theory of graph transformation systems, which provides analysis support for detecting potential conflicts and dep.ndencies between rule-based transformations. This theory is used to effectively reason about potential interactions and inconsistencies caused by aspect-oriented composition. The analysis is performed with the graph transformation tool AGG in order to get a better understanding of the potential behavior of the composed system. In addition, the activity control flow of the aspect/base specification and the composition operators are taken into account to identify the relevant interactions. © 2009 Springer Berlin Heidelberg.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Methods for fem analysis of riveted joints of thin-walled aircraft structures within the imperja project

引用

25th Symposium of the International Committee on Aeronautical Fatigue: Bridging the Gap between Theory and Operational Practice, ICAF 2009

作者： Kaniowski, Jerzy Wronicz, Wojciech Jachimowicz, Jerzy Szymczyk, Elzbieta Institute of Aviation Al. Krakowska 110/114 02-256 Warsaw Poland Dep. of Mechanics and Applied Computer Science Faculty of Mechanical Engineering Military University of Technology 2 Kaliskiego Street 00-908 Warsaw Poland

ISBN: (纸本)9789048127450

The paper deals with the modelling of riveted joints in aircraft structures with Finite Element Method. Presented works were carried out within Eureka project No. E!3496 called IMPERJA. The goal of the IMPERJA project is to increase the fatigue life of riveted joints, which will lead to an increase of the aircraft service life, a smaller number of inspections and lower operation costs of an aircraft. The project assumed FEM modelling of the operating aircraft's structure at three different complexity levels, namely considering the complete structure, a structural detail and a single riveted joint. The paper presents analyses of various rivet models and calculations of a structure and a riveted joint. In the first part examples of various models, at global and local level, were presented and usefulness of them was discussed, influence of the following simplification was analysed;• neglection of rivets in a model (elements are jointed continuously) • rivet as a rigid element (MPC) • neglection of contact phenomenon • neglection of secondary bending • neglection of residual stresses after riveting process The basis of the analysis was the asymmetric butt joint model with 14 rivets. The model which took into account secondary bending and contact phenomenon was analysed as well. The method of modelling residual stresses with temperature and thermal coefficient was used. In the second part, the example of analysis of riveted joint was demonstrated for a wing of PZL M28 Skytruck aircraft. It's is a twin-engine, high-wing, cantilever monoplane of all-metal structure with maximum take-off and landing weight 7500 kg. A submodeling technique was used there. At first, part of the wing model, based on a CAD model, was built. It includes 7 ribs and 6 bulkheads between them. Dimensions of the model eliminate stress perturbation, connected with boundary conditions, in the area near the middle rib. It was a shell model. The boundary conditions were taken on a basis of operation data

关键词： Boundary conditions

来源：评论

学校读者我要写书评

暂无评论

Applying FPGA-based chip to apparent power and power factor measurement considering nonsinusoidal and unbalanced conditions

引用

WSEAS Transactions on Circuits and Systems 2009年第7期8卷 559-568页

作者： Wang, Shu-Chen Wu, Chi-Jui Yang, Sheng-Wen Department of Computer and Communication Engineering Taipei College of Maritime Technology Taipei Taiwan Dep. of Electrical Engineering National Taiwan University of Science and Technology Taipei Taiwan

This paper proposes a field-programmable gate array (FPGA)-based integrated circuit (IC) for computing apparent powers and power factors of power systems. In a nonsinusoidal and unbalanced three-phase power system, the calculation of apparent powers and power factors has many definitions. Load characteristics of harmonic and unbalance can not be expressed in the traditional apparent power and power factor, which only consider the fundamental and three-phase balanced sinusoidal conditions. This paper utilizes the FPGA chip to develop the platform to implement the calculation methods of apparent powers and power factors. The proposed design scheme is developed using the very high speed integrated-circuit hardware description language (VHDL), which provides high flexibility and technology indep.ndence. This paper discussed the effective power and power factor, the arithmetic power and power factor, and the fundamental power and power factor. The design of filters for the computation of fundamental frequency components is given. ModelSim is used at first to simulate the calculation of apparent powers and power factors to ensure the accuracy of timing and function. Research results show that the designed chip can compute accurately the apparent powers and power factors considering the effects of nonsinusoidal and unbalanced conditions.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

Using GenERTiCA to generation code from RT-UML: A case study

Using GenERTiCA to generation code from RT-UML: A case study

引用

作者： Wehrmeister, Marco A. Freitas, Edison P. Pereira, Carlos E. Instituto de Informática Federal University of Rio Grande do Sul Porto Alegre Brazil Dep. Engenharia Elétrica Federal University of Rio Grande do Sul Porto Alegre Brazil School of Information Science Computer and Electrical Engineering Halmstad University Halmstad Sweden

ISBN: (纸本)9783902661432

Tool support is essential to allow the use of Model-Driven engineering (MDE) in the design of distributed embedded real-time systems. GenERTiCA is a flexible tool that supports a MDE approach, which uses concepts of Aspect-Oriented Development (AOD) to handle non-functional requirements from real-time and embedded systems domain. This paper presents a comprehensive case study that illustrates GenERTiCA usage to generate source code from UML models. GenERTiCA also performs aspects weaving using aspect's information specified in UML models. Results regarding source code generation for a Java platform based on the Real-Time Specification for Java (RTSJ) are presented. Additionally, this paper discusses the implementation of some aspects of a high-level aspects framework, named DERAF, using the mentioned platform. © 2009 IFAC.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Interactive Learning Module for control interaction understanding 10

Interactive Learning Module for control interaction understa...

引用

2009 10th European Control Conference, ECC 2009

作者： Guzman, J.L. Astrom, K.J. Hagglund, T. Dormido, S. Berenguel, M. Piguet, Y. Automatics and Control Engineering Area Department of Computer Science University of Almería Almería04120 Spain Department of Automatic Control Lund University Box 118 LundSE-22100 Sweden Dep. Informática y Automática ETSI Informática UNED Madrid28040 Spain Calerga Sàrl 35 av. de la Chablière Lausanne1004 Switzerland

ISBN: (纸本)9783952417393

This paper describes an interactive tool focused on teaching and learning basic concepts on multivariable control systems. Most industrial processes are represented by multivariable systems and thus the teaching and learning of basic concepts on multivariable control is a key factor in control engineering education. In this sense, the interactive tool presented in this paper is aimed to introduce basic ideas on multivariable control systems mainly focused on interaction and pairing concepts. © 2009 EUCA.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Using GenERTiCA to Generation Code from RT-UML: A Case Study

引用

IFAC Proceedings Volumes 2009年第4期42卷 674-679页

作者： Marco A. Wehrmeister Edison P. Freitas Carlos E. Pereira Instituto de Informática Federal University of Rio Grande do Sul Porto Alegre Brazil School of Information Science Computer and Electrical Engineering Halmstad University Halmstad Sweden Dep. Engenharia Elétrica Federal University of Rio Grande do Sul Porto Alegre Brazil

关键词： Model-Driven engineering Aspect-Oriented Development UML Code Generation

来源：评论

学校读者我要写书评

暂无评论

Segmentation of nuclei in cancer tissue images: Contrasting active contours with morphology-based approach

Segmentation of nuclei in cancer tissue images: Contrasting ...

引用

8th IEEE International Conference on BioInformatics and Bioengineering, BIBE 2008

作者： Cataldo, Santa Di Ficarra, Elisa Acquaviva, Andrea Macii, Enrico Dep. of Control and Computer Engineering of Politecnico di Torino Italy Dep. of Computer Science Universita di Verona Italy

ISBN: (纸本)9781424428458

In this paper we present a fully automated morphology-based technique for segmentation of nuclei in cancer tissue images and we compare it with a common technique for biomedical image processing, namely active contours. We discuss the limitations of active contours in the processing of immunohistochemical images characterized by heterogeneously stained nuclear region and noise caused by the presence of multiple tissue layers in the sample. We describe the integration of the proposed approach in a fully automated protein activity quantification tool. Finally, we demonstrate and motivate through extensive experiments that our fully automated morphology-based approach provides better accuracy compared to various active contours implementations.

关键词： Morphology

来源：评论

学校读者我要写书评

暂无评论

Using role determination and expert mining in the enterprise environment

Using role determination and expert mining in the enterprise...

引用

17th Text REtrieval Conference, TREC 2008

作者： Yao, Jing Xu, Jun Niu, Junyu Computer Science and Engineering Dep. Fudan University Shanghai 200433 China

In real world, expert search is not just only name matching. Since each kind of people has their own features, we try two methods to judge whether the person we have found is more likely to be an expert. One method is to determine the role of a person by the context of the pages;the other is to judge the authority of a person by the forms of pages where he appears considering the structure of the Intranet. The evaluation results show these new methodologies have been helpful to improve the performance of the expert search on TREC 08 queries.

关键词： Intranets

来源：评论

学校读者我要写书评

暂无评论

Measuring unlinkability revisited

Measuring unlinkability revisited

引用

7th ACM Workshop on Privacy in the Electronic Society, WPES'08, Co-located with the 15th ACM computer and Communications Security Conference, CCS'08

作者： Fischer, Lars Katzenbeisser, Stefan Eckert, Claudia Research Group IT-Security Dep. of Computer Science Technische Universit Darmstadt Germany Research Group Security Engineering Dep. of Computer Science Technische Universit Darmstadt Germany

ISBN: (纸本)9781605582894

Unlinkability describes the inability of an observer to decide whether certain items of interest are related or not. Privacy aware protocol designers need a consistent and meaningful unlinkability measure to asses protocols in face of different attacks. In this paper we show that entropy measures are not sufficient for measuring unlinkability. We propose an alternative measure that estimates the error made by an attacker. We show by example that our expected distance provides a consistent measure that offers a better estimation of message-unlinkability. Copyright 2008 ACM.

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

SOC test optimization with compression-technique selection

SOC test optimization with compression-technique selection

引用

International Test Conference 2008, ITC 2008

作者： Larsson, Anders Xin, Zhang Larsson, Erik Chakrabarty, Krishnendu Dep. of Computer Science Linköping University SE-582 83 Linköping Sweden Dep. of Electrical and Computer Engineering Duke University Durham NC 27708 United States

ISBN: (纸本)9781424424030

The increasing test-data volumes needed for the testing of system-on-chip (SOC) lead to long test times and high memory requirements. We present an analysis to highlight the fact that the impact of a test-data compression technique on test time and compression ratio are methoddep.ndant as well as TAM-width dep.ndant. Therefore, we propose a technique where compression-tachnique selection is integrated with core wrapper design, test architecture design, and test scheduling to minimize the SOC test time and the test-data volume. © 2008 IEEE.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：