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

The contributions regarding the conception, designing, modelling and the implementation in a flexible cell of fabrication of a modular serial robot

引用

PAMM 2010年第1期9卷

作者： Silviu Mihai Petrişor Viorel Ispas Mariana Arghir Tehnical University of Cluj-Napoca Department of Mechanics and Computer Programming Muncii Avenue no. 103-105 Cluj-Napoca 400 641 Romania

The authors of the presented paper are propose to relief the calculus, modelling and construction of the translation module of an industrial robot which possess in his cinematic chain five degrees of freedom, type TTRTR. It is propose a choosing variant of the direct current driving engine of the translation module, knowing the output momentum and calculating the input momentum. This is realized by equalize of an equation which results from dynamic modeling of the robot with a designing equation which keep in view the component elements of the structure of the module. The robot is composed by: module of translation on horizontal to the base of the robot (MTB-Sil), module of translation on vertical (MTV-Sil), module of rotation round the vertical axis from the robot's arm, module of translation from the structure of the robot's arm (MT-Sil) and module of orientation assembled with clamping device. In the paper, also is presented an economic study regarding the implementation of the analyzed robot in a manufactural cell concerning the manufacturing and assembling of some types of car radiators. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)

关键词：

来源：评论

学校读者我要写书评

暂无评论

Engineering self-coordinating software intensive systems

Engineering self-coordinating software intensive systems

引用

FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010

作者： Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450304276

It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of Software Engineering Research. This workshop was organized in collaboration with and made possible by generous support from the Software Design and Productivity Coordinating Group (SDP) of the U.S. National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITRD), and the National Science Foundation (NSF). This one-time, international working conference has brought together top academic and industrial researchers and government research funding agency personnel from around the world to engage in an extended discussion of consequential new ideas about the future of our field. The ideas produced by this workshop will be disseminated in two forms. First, the position papers accepted by the program committee will be published in a companion to the Proceedings of FSE-18. Second, the workshop findings will be published subsequently in a special report by NITRD/SDP. The call for papers for FoSER 2010 solicited 4-page position papers with new ideas about the future of software and software-reliant systems, and the research that will be needed to meet future needs. Papers were expected to be creative and thought-provoking, and to articulate compelling new perspectives, positions, problem formulations, assumptions and approaches. The workshop did not seek, and did not accept, technical research papers or abstracts. The workshop received a total of 139 position papers. Of these, 90 papers (65%) were accepted. Each paper was reviewed by at least two members of the workshop program committee. The committee was asked to accept all papers presenting significant new ideas about how our field should move forward. Copyright 2010 ACM.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education

Work in progress - IEEEXtreme: From a student competition to...

引用

39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009

作者： MacHado, Ricardo J. Guerreiro, Pedro Johnston, Elizabeth Delimar, Marko Brito, Miguel A. University of Minho Portugal Department of Software Engineering United States University of Algarve Portugal Department of Computer of Programming United States University of Alaska Fairbanks United States University of Zagrab Croatia

ISBN: (纸本)9781424447152

IEEEXtreme is an IEEE Student Activities Committee initiative to create a worldwide programming contest for IEEE Student Branches. The success of the past editions and the way IEEEXtreme is evolving, suggests that it will become the only worldwide competition capable of promoting the computer programming skills of collegiate students within a global software engineering approach of real-world programming problems. Real-world problems that require programming skills are invariably framed within a software engineering approach, where code writing is just the visible dimension of the global effort. Professionals are increasingly compelled to work in multidisciplinary contexts where soft skills are as important as technical ones. This reality should be expressly considered when educational courses are planned to teach programming techniques at undergraduate level. This paper discusses the positive impact that worldwide events like IEEEXtreme might have on the adoption of Problem Based Learning approaches in programming education at undergraduate computing degree programs. ©2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Analysis of community structure in Wikipedia (poster) 09

Analysis of community structure in Wikipedia (poster)

引用

18th International World Wide Web Conference, WWW 2009

作者： Lizorkin, Dmitry Medelyan, Olena Grineva, Maria Inst. for System Programming Russian Academy of Sciences Russia Computer Science Dept. Univ. of Waikato New Zealand

ISBN: (纸本)9781605584874

We present the results of a community detection analysis of the Wikipedia graph. Distinct communities in Wikipedia contain semantically closely related articles. The central topic of a community can be identified using PageRank. Extracted communities can be organized hierarchically similar to manually created Wikipedia category structure. Copyright is held by the author/owner(s).

关键词： Population dynamics

来源：评论

学校读者我要写书评

暂无评论

Advanced PFH calculations for safety integrity systems with high diagnostic

Advanced PFH calculations for safety integrity systems with ...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： P. Holub J. Börcsök Computer Architecture and System Programming University of Kassel Kassel Germany

The calculation of "Probability of Failure on Demand" (PFH) according to IEC 61508 shows for a 1oo1 and a 1oo2 system using the same initial values that - as expected - a 1oo2 system is a better safety integrity system than a 1oo1 system. This means, that a 1oo2 system has a lower probability of failure than a 1oo1 system. Comparing the same systems operating in a high demand or continuous mode of operation, there will be some cases, especially for systems with high diagnostics, where a 1oo1 system has a lower ¿Probability of Failure per Hour¿ (PFH) value than a 1oo2 system, using the PFH formulas according to IEC 61508. Using the equation according to IEC 61508, it is also possible that the PFH value is apparently better the longer the system runs either in the high mode or continuous mode of operation. Both results are irreproducible in industrial reality. Therefore, this paper will analyze first what conditions are necessary to get a hazard event when using a PFH system. Only those cases are considered in the modified PFH calculation, in which indeed a hazard event occurs. In a second step, it presents a new approach with the help of plausible arguments in order to calculate the PFH value of a PFH system considering a high diagnostic and a very low failure rate. The presented approach can also be correctly verified with mathematics using the advanced Markov model also described in this paper.

关键词： IEC standards Phase frequency detector Hazards Protection computer architecture Humans Safety devices Robotic assembly Risk analysis Probability

来源：评论

学校读者我要写书评

暂无评论

Separation of concerns for Multithreads Object-Oriented programming

Separation of concerns for Multithreads Object-Oriented Prog...

引用

International Conference on Electrical Engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： Paniti Netinant Concurrent Programming Research Group Illinois Institute of Technology Chicago IL USA Computer Science Department Bangkok University Bangkok Thailand

Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often unprepared for the challenges of the concurrent object-oriented programming brings. The interaction of their components becomes more complex, and makes it difficult to validate the design and correctness of the implemented program. Supporting separation of concerns in the design and implementation of the multithreaded object-oriented programming can provide a number of benefits such as comprehension, reusability, extensibility and adaptability in both design and implementation. We have tackled this problem by adopting the technique of separation of concerns in multithreaded object-oriented programming. In this paper we demonstrate an aspect-oriented approach that can be used for multithreaded object-oriented programming. We also show how better the separation of concerns in components. Readers/Writers problem is demonstrated using an aspect-oriented approach. Our methodology, which is based on aspect-oriented techniques as well as language and architecture independence, is an aspect-oriented framework.

关键词： Object oriented programming computer architecture programming profession Yarn Concurrent computing Parallel programming Delay Robustness Software architecture Software development management

来源：评论

学校读者我要写书评

暂无评论

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

International Conference on Adaptive Science & Technology (ICAST)

作者： Bekir Karlik Mustafa Sariöz Department of Computer Engineering Haliç University Istanbul Turkey Computer Technology and Programming Fatih University Istanbul Turkey

This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-selected source image to a target grayscale image. According to the results of this combining method, a survey where volunteers were asked to rate the plausibility of the colorings generated automatically was performed for individual images. In most cases automatically-colored images were rated either as totally or mostly acceptable.

关键词： Gray-scale Artificial neural networks Color Humans Pixel Image databases Motion pictures computer networks Image processing Data visualization

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design Engineering Technical Conferences and computers and Information in Engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Generating formal specifications for security-critical applications - A model-driven approach

Generating formal specifications for security-critical appli...

引用

International Workshop on Software Engineering for Secure Systems (SESS)

作者： Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9781424437252

The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under development. This model-driven approach is focused on security-critical applications that are based on cryptographic protocols, especially Java Card applications. In this paper we describe the generation of the formal specification from the UML model which is then used as input for our interactive verification system KIV. The formal specification is based on abstract state machines and algebraic specifications. It allows to formulate and to prove application-specific security properties.

关键词： Formal specifications Object oriented modeling Unified modeling language Cryptographic protocols Java Security Application software Software engineering computer languages computer science

来源：评论

学校读者我要写书评

暂无评论

Predicting Parameter Sweep Jobs: From Simulation to Grid Implementation

Predicting Parameter Sweep Jobs: From Simulation to Grid Imp...

引用

International Conference on Complex, Intelligent and Software Intensive Systems, CISIS

作者： Peter Hellinckx Sam Verboven Frans Arickx Jan Broeckhove Research Group Computational Modeling and Programming Department of Mathematics and Computer Sciences University of Antwerp Antwerp Belgium

ISBN: (纸本)9781424435692

Efficiently using the computational power made available through desktop grids based distributed systems is a complicated and many-sided problem, caused by the intermittent resource availability. In this paper a novel solution is presented for predicting the runtimes of parameter sweep jobs. These jobs are characterized by their lack of inter-dependence and suitability for runtime prediction by modeling. This makes them ideal candidates for deployment on volatile grid configurations using prediction based techniques. The parameter sweep prediction framework used to make the predictions is referred to as GIPSy (grid information prediction system). Previous research involving GIPSy has focused on results obtained during simulation were it is necessary to make some basic assumptions. By combining GIPSy with PGS (prediction based grid scheduling), an actual grid implementation, real results can be obtained. A detailed comparison between the expected results, based on simulation analysis, and the final results is given. Discrepancies are highlighted and possible causes are identified, solutions are proposed and implemented. By comparing the results for different model building configurations an optimal configuration is found that produces reliable result independent of the chosen job type. Results are presented for a quantum physics problem and two simulated workloads represented by sleep jobs.

关键词： Predictive models Availability Runtime Scheduling Computational modeling Grid computing Distributed computing Workstations Testing Computational intelligence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：