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

2009 IEEE 20th Personal, Indoor and Mobile Radio Communications Symposium, PIMRC 2009

作者： Huang, Chung-Ming Lin, Ming-Sian Chang, Lik-Hou Chang, Wen-Yao Lab. of Multimedia Mobile Networking Dep. of Computer Science and Information Engineering National Cheng Kung University Tainan Taiwan Emerging Smart Technology Institute Institute for Information Industry Taipei Taiwan

ISBN: (纸本)9781424451234

As more and more devices are equipped with multiple network interfaces, the multihomed technology is becoming an important technology that can provide more reliable connections against the network failure and better data transmission rate. Concurrent Multipath Transfer (CMT), which is based on SCTP, is devised for multihomed networks. CMT can transmit data over all paths to maximum the data transmission speed. One of the main concerns of CMT is the receiver buffer blocking issue, especially in multihomed wireless mobile networks. If the receiver buffer is blocked, the sender can send only one packet to the receiver. The receiver buffer blocking is mainly caused by the lost data. For small memory devices, e.g., PDA, smart phone and embedded systems, the receiver buffer is limited and has less free space to prevent receiver buffer blocking. In this paper, we proposed Media Indep.ndent Handover - Concurrent Multipath Transfer (MIH-CMT) over wireless networks to deal with the receiver buffer blocking caused by handoff loss. MIH-CMT can reduce the amount of packet loss during handoff, which may lead to the receiver buffer blocking. Simulation results show that MIH-CMT can reduce the effect of the receiver buffer blocking effectively for devices that have smaller buffer size. ©2009 IEEE.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Analysis of aspect-oriented model weaving

Analysis of aspect-oriented model weaving

引用

作者： 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

来源：评论

学校读者我要写书评

暂无评论

Teaching requirements elicitation within the context of global software development

Teaching requirements elicitation within the context of glob...

引用

10th Mexican International Conference on computer science, ENC 2009

作者： Romero, Miguel Vizcaíno, Aurora Piattini, Mario University of Bío-Bío Department of Computer Science and Information Technologies Avenida Andrés Bello s/n 3780000 Chillán Chile University of Castilla-La Mancha Alarcos Research Group-Institute of Information Technologies and Systems Dep. of Information Technologies and Systems - Escuela Superior de Informática Paseo de la Universidad 4 13071 Ciudad Real Spain

ISBN: (纸本)9780769538822

The typical problems of the requirements elicitation stage increase when stakeholders are working on a Global software Development project. In order to fulfil the challenge of successfully carrying out the requirements elicitation process in a GSD environment, requirements specialists need suitable preparation. An improvement in this preparation necessitates an update of the contents, techniques and tools used in the teaching of the requirements elicitation process. In this paper we discuss these issues, show a list of knowledge and skills which are desirable for requirements elicitation engineers in GSD (obtained from a review of literature), and we also propose a simulator environment with which to develop certain skills that are appropriate for students and engineers in GSD requirements elicitation. © 2009 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Analysis of the connection redundancy in functional networks from high-resolution EEG: A preliminary study

Analysis of the connection redundancy in functional networks...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： F De Vico Fallani Rodrigues F Aparecido Costa L Da Fontoura D Mattia F Cincotti L Astolfi G Vecchiato A Tabarrini S Salinari F Babiloni IRCCS “Fondazione Santa Lucia” Rome Italy Universidade de Sao Paulo Sao Paulo SÃ£o Paulo BR Dep. Computer Science and Systems Univ. “Sapienza” of Rome IRCCS “Fondazione Santa Lucia” Rome Italy Dep. Physiology and Pharmacology Univ. “Sapienza” of Rome IRCCS “Fondazione Santa Lucia” Rome Italy Department of Human Physiology and Pharmacology University “Sapienza” Rome Italy

In the present study, we propose a theoretical graph procedure to investigate the communication redundancy in brain networks. By taking into account all the possible paths between pairs of cortical regions, this method captures the network redundancy i.e. a critical resource of the brain enhancing the resilience to neural damages and dysfunctions. As an example for its potential, we apply this procedure to the cortical networks estimated from high-resolution EEG signals in a group of spinal cord injured patients during the attempt of the foot movement. Preliminary results suggest that in the high spectral contents the effects due to the spinal trauma affect the expected redundancy attitude by suppressing mainly the longer alternative pathways between the cortical regions.

关键词： Electroencephalography Resilience Spinal cord Physics computer science Physiology Humans USA Councils Foot Magnetoencephalography

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：