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

Hybrid self organizing migrating algorithm - Scatter search for the task of capacitated vehicle routing problem

AIP Conference Proceedings 2012年第1期1499卷 344-350页

作者： Donald Davendra Ivan Zelinka Roman Senkerik Roman Jasek Magdalena Bialic-Davendra Department of Computer Science Faculty of Electrical Engineering and Computer Science VŠB - Technical University of Ostrava 17. Listopadu 15 Ostrava-Poruba Czech Republic Tomas Bata University in Zlin Faculty of Applied Informatics nám. T. G. Masaryka 5555 760 01 Zlín Czech Republic

One of the new emerging application strategies for optimization is the hybridization of existing metaheuristics. The research combines the unique paradigms of solution space sampling of SOMA and memory retention capabilities of Scatter Search for the task of capacitated vehicle routing problem. The new hybrid heuristic is tested on the Taillard sets and obtains good results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Morphological Matrix applied within the Design Project of the Manipulator Frame

引用

Procedia engineering 2012年 48卷 495-499页

作者： Oskar Ostertag Eva Ostertagová Róbert Huňady Technical University of Košice Faculty of Mechanical Engineering Department of Applied Mechanics and Mechatronics Letná 9 042 00 Košice Slovak Republic Technical University of Košice Faculty of Electrical Engineering and Informatics Department of Mathematics and Theoretical Computer Science B. Němcovej 32 042 00 Košice Slovak Republic

In this paper we are dealing with the morphological matrix applied at the selection of the most appropriate solution of the manipulator travel frame design projection. The morphology enables to analyze all the solutions that may occur during both the development and the construction of the equipment. In particular it is useful at the machine and the mechanics constructions. The morphology concerns the analysis and the permutations of any possible solutions of the construction element development. This method is characterized by creation of the prognosis and the partial data matrix formations. Based on the permutations and the combinations of the respective elements characteristics the general characteristic is resulting. The morphological analysis consists of several phases. Initially it is necessary to make the exact description of the examined task. Following is the determination of the characteristic attributes thus the attributes and their combinations what the solution is depending on. Moreover are considering the impact and the effect of the respective parameters and the same their combinations regarding the most applicable solution.

关键词： Morphology stiffness MKP frame

来源：评论

学校读者我要写书评

暂无评论

A user-friendly image sharing scheme using JPEG-LS median edge predictor

引用

Journal of Information Hiding and Multimedia Signal Processing 2012年第4期3卷 340-351页

作者： Chan, Chi-Shiang Chang, Chin-Chen Vo, Hung P. Department of Applied Informatics and Multimedia Asia University 500 Lioufeng Rd Wufeng Taichung 41354 Taiwan Department of Information Engineering and Computer Science Feng Chia University 100 Wenhwa Rd Seatwen Taichung 40724 Taiwan Department of Biomedical Imaging and Radiological Science China Medical University 91 Hsueh-Shih Road Taichung 40402 Taiwan Department of Computer Science and Information Engineering Asia University 500 Lioufeng Rd. Wufeng Taichung 41354 Taiwan

Developed by Yang et al. in 2007, a user-friendly (k, n)-threshold scheme based on Shamir's polynomial with different primes calculates how pixels in a block and their left pixels differ from each other. Based on those differences, the prime number for Shamir's polynomial can be determined as well as the differences distributed to shares by using Shamir's polynomial. This work attempts to calculate the differences between pixels in a block by using the JPEG-LS median edge predictor. Given the role of this predictor, the generated differences refer to both the left pixel and its neighboring pixels, thus diminishing the values of differences and enhancing the reconstructed image quality. Experimental results demonstrated the effectiveness of using the JPEG-LS median edge predictor. ©2012 ISSN 2073-4212.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

A cyclic small-gain condition and an equivalent matrix-like criterion for iISS networks

A cyclic small-gain condition and an equivalent matrix-like ...

引用

IEEE Conference on Decision and Control

作者： Hiroshi Ito Zhong-Ping Jiang Sergey N. Dashkovskiy Björn S. Rüffer Department of Systems Design and Informatics Kyushu Institute of Technology Iizuka Japan Department of Electrical and Computer Engineering Six Metrotech Center Polytechnic Institute of New York University Brooklyn NY USA Department of Civil Engineering University of Applied Sciences Erfurt Germany Signal and System Theory Group EIM-E University of Paderborn Paderborn Germany

ISBN: (纸本)9781467320658

This paper considers nonlinear dynamical networks consisting of individually iISS (integral input-to-state stable) subsystems which are not necessarily ISS (input-to-state stable). Stability criteria for internal and external stability of the networks are developed in view of both necessity and sufficiency. For the sufficiency, we show how we can construct a Lyapunov function of the network explicitly under the assumption that a cyclic small-gain condition is satisfied. The cyclic small-gain condition is shown to be equivalent to a matrix-like condition. The two conditions and their equivalence precisely generalize some central ISS results in the literature. Moreover, the necessity of the matrix-like condition is established. The allowable number of non-ISS subsystems for stability of the network is discussed through several necessity conditions.

关键词： Lyapunov methods Stability criteria Vectors Educational institutions Nickel USA Councils Indium tin oxide

来源：评论

学校读者我要写书评

暂无评论

Ethologically Inspired Human-Robot Communication for Monitoring Support System in Intelligent Space

引用

IFAC Proceedings Volumes 2012年第22期45卷 58-63页

作者： Takuya Ichikawa Wataru Beppu Szilveszter Kovács Peter Korondi Hideki Hashimoto Mihoko Niitsuma Dept. of Precision Mechanics Chuo University Tokyo Japan Department of Automation University of Miskolc Miskolc Hungary Computer and Automation Research Institute of the Hungarian Academy of Sciences Dept. of Mechatronics Optics and Applied Informatics Budapest University of Technology and Economics Budapest Hungary Dept. of Electrical electronic and communication engineering Chuo University Tokyo Japan

This paper presents human-robot communication for a monitoring support system in an Intelligent Space. An Intelligent Space (iSpace) is a space in which many intelligent devices are installed to observe the user's environment. In this paper, we apply the iSpace observation function to a monitoring system used for maintaining the safety of elderly persons receiving home-care support. In addition, we use a mobile robot as a tool to deliver monitoring results to care assistants. We focus on an ethological approach for designing robot behaviors for human-robot communication. The implementation of these robot behaviors based on an ethological approach, and the results of an experiment conducted to evaluate these behaviors, are then presented.

关键词： human-robot communication Intelligent Space ethology

来源：评论

学校读者我要写书评

暂无评论

QoSHVCP: Hybrid Vehicular Communications Protocol with QoS prioritization for safety applications

引用

ISRN Communications and Networking 2012年第1期2012卷

作者： Mostafa, Ahmad Vegni, Anna Maria Oliveira, Talmai Little, Thomas D. C. Agrawal, Dharma P. Center for Distributed and Mobile Computing School of Computing Sciences and Informatics University of Cincinnati Cincinnati OH United States Department of Applied Electronics Roma Tre University Rome Italy Department of Electrical and Computer Engineering Boston University Boston MA United States

This paper introduces a hybrid communication paradigm for achieving seamless connectivity in Vehicular Ad hoc Networks (VANETs), wherein the connectivity is often affected by changes in the dynamic topology, vehicles' speed, as well as the traffic density. Our proposed technique named QoS-oriented Hybrid Vehicular Communications Protocol (QoSHVCP) exploits both existing network infrastructure through a Vehicle-to-Infrastructure (V2I), as well as a traditional Vehicle-to-Vehicle (V2V) connection that could satisfy Quality-of-Service requirements. QoSHVCP is based on a V2V-V2I protocol switching algorithm, executed in a distributed fashion by each vehicle and is based on the cost function for alternative paths each time it needs to transmit a message. We utilize time delay as a performance metric and present the delay propagation rates when vehicles are transmitting high priority messages via QoSHVCP. Simulation results indicate that simultaneous usage of preexisting network infrastructure along with intervehicular communication provide lower delays, while maintaining the level of user's performance. Our results show a great promise for their future use in VANETs. Copyright © 2012 Ahmad Mostafa et al.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Verification of adaptive systems

Verification of adaptive systems

引用

AIAA Infotech at Aerospace Conference and Exhibit 2012

作者： Pullum, Laura Cui, Xiaohui Vassev, Emil Hinchey, Mike Rouff, Christopher Buskens, Richard Computational Data Analytics Group Oak Ridge National Laboratory P.O. Box 2008 MS-6085 Oak Ridge TN 37830 United States Computer Science Department New York Institute of Technology 1855 Broadway Manhattan NY 10023 United States Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland Lockheed Martin Advanced Technology Laboratories Informatics Laboratory 3 Executive Campus Suite 600 Cherry Hill NJ 08002 United States Lockheed Martin Advanced Technology Laboratories Informatics Laboratory Applied Science Laboratory 3 Executive Campus Cherry Hill NJ 08002 United States

ISBN: (数字)9781600869396

ISBN: (纸本)9781600869396

Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach. © 2012 by the American Institute of Aeronautics and Astronautics, Inc.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Controller Design Methods for Driving Systems Based on Extensions of Symmetrical Optimum Method with DC and BLDC Motor Applications

引用

IFAC Proceedings Volumes 2012年第3期45卷 264-269页

作者： Stefan Preitl Alexandra-Iulia Stînean Radu-Emil Precup Zsuzsa Preitl Emil M. Petriu Claudia-Adina Dragoş Mircea-Bogdan Rădac Department of Automation and Applied Informatics “Politehnica” University of Timisoara Bd. V. Parvan 2 RO-300223 Timisoara Romania (Tel: +40-256403224) Siemens AG Erlangen Germany School of Electrical Engineering and Computer Science University of Ottawa 800 King Edward Ottawa ON K1N 6N5 Canada

The paper gives design methods dedicated to speed control of Direct Current (DC) and Brushless Direct Current (BLDC) motors in the framework of servo systems. Two design approaches are offered for position and speed control of servo systems with inner current control loops. The PI and PID controllers in these approaches are tuned on the basis the Extended Symmetrical Optimum method and of the double parameterization of Symmetrical Optimum method. Cost-effective features are ensured by simple controller designs and easy implementations, and they are illustrated by means of a case study that includes simulation results. A two-degree-of-freedom interpretation is given. A BLDC motor application applied to mechatronic systems is presented.

关键词： Design methods PI and PID controllers servo systems simulation results variable moment of inertia

来源：评论

学校读者我要写书评

暂无评论

Real-time monitoring of behavioural parameters related to psychological stress

引用

Studies in Health Technology and informatics 2012年 181卷 287-291页

作者： Giakoumis, Dimitris Drosou, Anastasios Cipresso, Pietro Tzovaras, Dimitrios Hassapis, George Gaggioli, Andrea Riva, Giuseppe Informatics and Telematics Institute Centre for Research and Technology Hellas 6th Km Charilaou-Thermi Road Rd. 57001 Thermi Thessaloniki Greece Department of Electrical and Computer Engineering Aristotle University of Thessaloniki Greece Department of Electrical and Electronic Engineering Imperial College London United Kingdom Applied Technology for Neuro-Psychology Lab IRCCS Istituto Auxologico Italiano Via Pellizza da Volpedo 41 20149 Milan Italy

We have developed a system, allowing real-time monitoring of human gestures, which can be used for the automatic recognition of behavioural correlates of psychological stress. The system is based on a low-cost camera (Microsoft Kinect), which provides video recordings capturing the subject's upper body activity. Motion History Images (MHIs) are calculated in real-time from these recordings. Appropriate algorithms are thereafter applied over the MHIs, enabling the real-time calculation of activity-related behavioural parameters. The system's efficiency in real-time calculation of behavioural parameters has been tested in a pilot trial, involving monitoring of behavioural parameters during the induction of mental stress. Results showed that our prototype is capable to effectively calculate simultaneously eight different behavioural parameters in real-time. Statistical analysis indicated significant correlations between five of these parameters and self-reported stress. The preliminary findings suggest that our approach could potentially prove useful within systems targeting automatic stress detection, through unobtrusive monitoring of subjects. © 2012 Interactive Media Institute and IOS Press.

关键词： Video recording

来源：评论

学校读者我要写书评

暂无评论

Probabilistic car-like robot path planning from temporal logic specifications

Probabilistic car-like robot path planning from temporal log...

引用

15th International Conference on System Theory, Control and Computing, ICSTCC 2011

作者： Ghita, Narcis Kloetzer, Marius Pastravanu, Octavian Gheorghe Asachi Technical University of Iasi Faculty of Automatic Control and Computer Engineering Department of Automatic Control and Applied Informatics Romania

ISBN: (纸本)9781457711732

An algorithmic framework is developed for automatic deployment of car-like robots based on Linear Temporal Logic (LTL) formulae over a set of regions of interest in the environment. The environment and the regions of interest are a priori known, and the robot has non-negligible size and restricted steering capabilities. The approach relies on constructing a probabilistic finite-state abstraction of the car-like robot and on finding a trajectory (run) in this abstraction such that the probability of satisfying the LTL formula is maximized. The feasibility of our approach is supported by simulations under Matlab environment. © 2011 Faculty of Auto Control.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：