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

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Introducing affective agents in recommendation systems based on relational data clustering

Introducing affective agents in recommendation systems based...

引用

22nd International Conference on Database and Expert Systems Applications, DEXA 2011

作者： Xavier Jr., João C. Signoretti, Alberto Canuto, Anne M. P. Campos, Andre M. Gonçalves, Luiz M. G. Fialho, Sergio V. Computing and Automation Engineering Department UFRN Natal Brazil Computer Science Department UERN Natal Brazil Informatics and Applied Mathematics Department UFRN Natal Brazil

ISBN: (纸本)9783642230905

This paper proposes the use of a multi-agent system (MAS) with affective agents in a recommendation system based on relational data clustering. This MAS works as a mediator between the user and the data stored in the system. In the proposed system, after logging in, each user will have an affective agent, called Interface agent, for interaction purposes. This agent models the user's data requests according to the user's profile and its affective status, sending it to the Recommender agent, which recommends a set of map points to be visualized. The system analyzes the user's feedback in order to verify whether the recommended information was satisfactory. This feedback is analyzed through the monitoring of the interaction interface.. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Keystroke timing analysis for personal authentication in Japanese long text input

Keystroke timing analysis for personal authentication in Jap...

引用

50th Annual Conference on Society of Instrument and Control Engineers, SICE 2011

作者： Samura, Toshiharu Nishimura, Haruhiko Department of Electrical and Computer Engineering Akashi National College of Technology Hyogo Japan Graduate School of Applied Informatics University of Hyogo Hyogo Japan

ISBN: (纸本)9784907764395

We have investigated several characteristics of keystroke dynamics in Japanese long-text input. We performed experiments with 189 participants, classified into three groups according to the number of letters they could type in five minutes. In this experimental study, we extracted feature indices from the keystroke timing for each alphabet letter and for each two-letter combination composed of a consonant and vowel in Japanese text. Taking into account two identification methods using Weighted Euclidean Distance (WED) and Array Disorder (AD), we proposed WED+AD method for authentication on the basis of keystroke data in Japanese long-text input. By evaluating the authentication performance of individuals in the three groups, the effectiveness of the method was found to correspond to the typing skill level of the group. © 2011 SICE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Random access to grammar-compressed strings

Random access to grammar-compressed strings

引用

作者： Bille, Philip Landau, Gad M. Raman, Rajeev Sadakane, Kunihiko Satti, Srinivasa Rao Weimann, Oren DTU Informatics Technical University of Denmark Denmark Department of Computer Science University of Haifa Israel Department of Computer Science University of Leicester United Kingdom National Institute of Informatics Japan School of Computer Science and Engineering Seoul National University Korea Republic of Department of Computer Science and Applied Mathematics Weizmann Institute of Science Israel Department of Computer Science and Engineering NYU-Poly United States

ISBN: (纸本)9780898719932

Let 5 be a string of length N compressed into a context-free grammar S of size n. We present two representations of S achieving O(logN) random access time, and either O(n · αk(n)) construction time and space on the pointer machine model, or 0(n) construction time and space on the RAM. Here, αk(n) is the inverse of the kth row of Ackermann's function. Our representations also efficiently support decompression of any substring in S: we can decompress any substring of length m in the same complexity as a single random access query and additional O(m) time. Combining these results with fast algorithms for uncompressed approximate string matching leads to several efficient algorithms for approximate string matching on grammar-compressed strings without decompression. For instance, we can find all approximate occurrences of a pattern P with at most k errors in time O(n(min(|P|k,k4 + |P|) + logN) + occ), where occ is the number of occurrences of P in S. Finally, we are able to generalize our results to navigation and other operations on grammar-compressed trees. All of the above bounds significantly improve the currently best known results. To achieve these bounds, we introduce several new techniques and data structures of independent interest, including a predecessor data structure, two "biased" weighted ancestor data structures, and a compact representation of heavy-paths in grammars.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

SemRec: A semantic enhancement framework for tag based recommendation 25

SemRec: A semantic enhancement framework for tag based recom...

引用

25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11

作者： Xu, Guandong Gu, Yanhui Dolog, Peter Zhang, Yanchun Kitsuregawa, Masaru Center for Applied Informatics Victoria University Australia Department of Information and Communication Engineering University of Tokyo Japan Department of Computer Science Aalborg University Denmark Institute of Industrial Science University of Tokyo Japan

ISBN: (纸本)9781577355090

Collaborative tagging services provided by various social web sites become popular means to mark web resources for different purposes such as categorization, expression of a preference and so on. However, the tags are of syntactic nature, in a free style and do not reflect semantics, resulting in the problems of redundancy, ambiguity and less semantics. Current tag-based recommender systems mainly take the explicit structural information among users, resources and tags into consideration, while neglecting the important implicit semantic relationships hidden in tagging data. In this study, we propose a Semantic Enhancement Recommendation strategy (SemRec), based on both structural information and semantic information through a unified fusion model. Extensive experiments conducted on two real datasets demonstrate the effectiveness of our approaches. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An integrated e-recruitment system for CV ranking based on AHP

An integrated e-recruitment system for CV ranking based on A...

引用

作者： Faliagka, Evanthia Ramantas, Konstantinos Tsakalidis, Athanasios Viennas, Manolis Kafeza, Eleanna Tzimas, Giannis Computer Engineering and Informatics Department University of Patras Patras Greece Department of Maekting and Communication Athens University of Economics and Business Athens Greece Department of Applied Informatics in Management and Finance Faculty of Management and Economics Technological Educational Institute of Messolonghi Messolonghi Greece

ISBN: (纸本)9789898425515

In the last decades the explosion of Information and Communication Technologies has led to a whole new scenario concerning peoples' accessibility to new job opportunities and companies' options for employing the right person for the right job. But, is there a way to exploit today's technological advances as well as people's web presence in order to achieve this goal? In this work we present a set of techniques that makes the whole recruitment process more effective. We have implemented a system that models the candidate's CVs in HR-XML, and ranks the candidates based on AHP (Analytic Hierarchy Process). Finally, it presents the results to the recruiter who evaluates the top candidates and takes the final decision.

关键词： Analytic hierarchy process

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：