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

19th Annual international conference on Mobile Computing and Networking, MobiCom 2013

作者： Wang, Jue Adib, Fadel Knepper, Ross Katabi, Dina Rus, Daniela Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology United States

ISBN: (纸本)9781450319997

Modern robots have to interact with their environment, search for objects, and move them around. Yet, for a robot to pick up an object, it needs to identify the object's orientation and locate it to within centimeter-scale accuracy. Existing systems that provide such information are either very expensive (e.g., the VICON motion capture system valued at hundreds of thousands of dollars) and/or suffer from occlusion and narrow field of view (e.g., computer vision approaches). this paper presents RF-Compass, an RFID-based system for robot navigation and object manipulation. RFIDs are low-cost and work in non-line-of-sight scenarios, allowing them to address the limitations of existing solutions. Given an RFID-tagged object, RFCompass accurately navigates a robot equipped with RFIDs toward the object. Further, it locates the center of the object to within a few centimeters and identifies its orientation so that the robot may pick it up. RF-Compass's key innovation is an iterative algorithm formulated as a convex optimization problem. the algorithm uses the RFID signals to partition the space and keeps refining the partitions based on the robot's consecutive *** have implemented RFCompass using USRP software radios and evaluated it with commercial RFIDs and a KUKA youBot robot. For the task of furniture assembly, RF-Compass can locate furniture parts to a median of 1.28 cm, and identify their orientation to a median of 3.3 degrees. © 2013 by the Association for Computing Machinery, Inc.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Boomerang and slide-rotational analysis of the SM3 hash function

Boomerang and slide-rotational analysis of the SM3 hash func...

引用

19th international conference on Selected Areas in Cryptography, SAC 2012

作者： Kircanski, Aleksandar Shen, Yanzhao Wang, Gaoli Youssef, Amr M. Concordia Institute for Information Systems Engineering Concordia University Montreal QC Canada School of Computer Science and Technology Donghua University Shanghai China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783642359989

SM3 is a hash function, designed by Xiaoyun Wang et al. and published by the Chinese Commercial Cryptography Administration Office for the use of electronic authentication service system. the design of SM3 builds upon the design of the SHA-2 hash function, but introduces additional strengthening features. In this paper, we present boomerang distinguishers for the SM3 compression function reduced to 32 steps out of 64 steps with complexity 2 14.4, 33 steps with complexity 232.4, 34 steps with complexity 253.1 and 35 steps with complexity 2117.1. Examples of zero-sum quartets for the 32-step and 33-step SM3 compression function are provided. We also point out a slide-rotational property of SM3-XOR, which exists due to the fact that constants used in the steps are not independent. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Requirements traceability across organizational boundaries - A survey and taxonomy 1

引用

19th international Working conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2013

作者： Rempel, Patrick Mäder, Patrick Kuschke, Tobias Philippow, Ilka Department of Software Systems Ilmenau Technical University Germany

ISBN: (数字)9783642374227

ISBN: (纸本)9783642374210

[Context and motivation] Outsourcing of software development is an attractive business model. Companies expect cost reduction, enhanced efficiency, and exploited external resources. However, this paradigmatic shift also introduces challenges as stakeholders are spread across distinct organizations. [Question/problem] Requirements traceability supports stakeholders in satisfying information needs about developments and could be a viable way of addressing the challenges of interorganizational development. While requirements traceability has been the subject of significant research efforts, its application across organizational boundaries is a largely unexplored area. [Principal ideas/results] We followed a qualitative research approach. First, we developed a taxonomy identifying the needs of inter-organizational traceability. Second, we conducted semi-structured interviews with informants from 17 companies. Eventually, we applied qualitative content analysis to extract findings that supported and evolved our taxonomy. [Contribution] Practitioners planning and managing inter-organizational relationships can use our findings as a conceptual baseline to effectively leverage traceability in those settings. Effective traceability supports projects in accomplishing their primary goal of maximizing business value. © 2013 Springer-Verlag.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

A survey on usage scenarios for requirements traceability in practice 1

引用

19th international Working conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2013

作者： Bouillon, Elke Mäder, Patrick Philippow, Ilka Department of Software Systems Ilmenau Technical University Ilmenau Germany

ISBN: (数字)9783642374227

ISBN: (纸本)9783642374210

[Context and motivation] Requirements traceability is known as an important part of development projects. Studies showed that traceability is applied in practice, but insufficient tool- and method-support hinders its practical use. [Question/problem] We conducted a survey to understand which traceability usage scenarios are most relevant for practitioners. Gaining this information is a required step for providing better traceability support to practitioners. [Principal ideas/results] We identified a list of 29 regularly cited usage scenarios and asked practitioners to assess the frequency of use for each in a typical development project. Our analysis is restricted to those 56 participants that were actively using traceability in order to ensure comparable results. Subjects held various roles in the development and reported about diverse projects. [Contribution] this study provides not only an initial catalog of usage scenarios and their relevance, but also provides insights on practitioner's traceability practices. In result, we found all scenarios to be used by practitioners. Participants use traceability especially for: finding origin and rationale of requirements, documenting a requirement's history, and tracking requirement or task implementation state. Furthermore, we highlight topics for ongoing evaluation and better method and tool support in the area of requirements traceability. © 2013 Springer-Verlag.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Robustness of multimodal processes itineraries

Robustness of multimodal processes itineraries

引用

7th IFAC conference on Manufacturing Modelling, Management, and control, MIM 2013

作者： Bocewicz, G. Banaszak, Z. Nielsen, I. Dept. of Computer Science and Management Koszalin University of Technology Sniadeckich 2 75-453 Koszalin Poland Dept. of Business Informatics Warsaw University of Technology Narbutta 85 02-524 Warsaw Poland Department of Mechanical and Manufacturing Engineering Aalborg University Aalborg East Denmark

ISBN: (纸本)9783902823359

this paper concerns multimodal transport systems (MTS) represented by a supernetworks in which several unimodal networks are connected by transfer links and focuses on the scheduling problems encountered in these systems. Assuming unimodal networks are modeled as cyclic lines, i.e. the routes determining stream-like moving transportation means, a problem of an alternative itinerary selection for an origin-destination (O-D) trip in the context of emergency relief is considered. Emergency relief dealing with the contingency events and deciding on MTS robustness can be evaluated in terms of feasible itineraries for assumed (O-D) trip. Since itinerary planning problem, constitutes a common routing and scheduling decision faced by travelers, hence the main question regards of itinerary replanning and particularly a method aimed at prototyping of mode sequences and paths selections. the declarative model of multimodal processes driven itinerary planning problem is our main contribution. Illustrative examples providing alternative itineraries in some cases of MTS malfunction are presented. © IFAC.

关键词： Transportation routes

来源：评论

学校读者我要写书评

暂无评论

Evaluating novice and expert users on handheld video retrieval systems

Evaluating novice and expert users on handheld video retriev...

引用

19th international conference on Advances in Multimedia Modeling, MMM 2013

作者： Scott, David Hopfgartner, Frank Guo, Jinlin Gurrin, Cathal Dublin City University Glasnevin Dublin 9 Ireland

ISBN: (纸本)9783642357275

Content-based video retrieval systems have been widely associated with desktop environments that are largely complex in nature, targeting expert users and often require complex queries. Due to this complexity, interaction with these systems can be a challenge for regular "novice" users. In recent years, a shift can be observed from this traditional desktop environment to that of handheld devices, which requires a different approach to interacting with the user. In this paper, we evaluate the performance of a handheld content-based video retrieval system on both expert and novice users. We show that with this type of device, a simple and intuitive interface, which incorporates the principles of content-based systems, though hidden from the user, attains the same accuracy for both novice and desktop users when faced with complex information retrieval tasks. We describe an experiment which utilises the Apple iPad as our handheld medium in which both a group of experts and novice users run the interactive experiments from the 2010 TRECVid Known-Item Search task. the results indicate that a carefully defined interface can equalise the performance of both novice and expert users. © Springer-Verlag 2013.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

An experiment in SLA decision-making

引用

10th international conference on the Economics of Grids, Clouds, systems, and Services, GECON 2013

作者： Franke, Ulrik Buschle, Markus Österlind, Magnus FOI Swedish Defence Research Agency 16490 Stockholm Sweden Industrial Information and Control Systems KTH Royal Institute of Technology Osquldas v. 12 10044 Stockholm Sweden

ISBN: (纸本)9783319024134

Decision-making with regard to availability service level agreements (SLAs) is investigated. An experimental economics approach was used to elicit the preferences for different SLA alternatives from the subjects (N = 16), all professionally working with IT management. A previously published scenario on downtime costs in the retail business was used in the experimental setup. Subjects made 18 pairwise choices under uncertainty. After the experiment, they were paid based on one of their choices, randomly selected. the subjects rarely behaved as expected utility maximizers in the experiment. this raises questions about company SLA management in real situations, and calls for further research. © 2013 Springer international Publishing.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Modeling Railway Cyber Physical systems Based on AADL

Modeling Railway Cyber Physical Systems Based on AADL

引用

international conference on Automation and Computing

作者： Lichen Zhang Faculty of Computer Science and Technology Guangdong University of Technology

ISBN: (纸本)9781479912360

Railway cyber physical system observes, plans, controls and manages the trains and the track-side equipment so as to meet operational goals without compromising on safety requirements. the quality of railway cyber physical systems is very important as their failure may cause catastrophic loss of life and/or properties. In this paper, we extend the Architecture Analysis and Design Language (AADL) to model physical world, continuous dynamic features and spatial-temporal requirements of railway cyber physical systems. We propose a method to transform the rule of Cellular Automata (CA) to AADL model for modeling spatial-temporal requirements and we propose an approach to describe the continuous dynamic features in AADL and transform the Modelica model to AADL model. the proposed method is illustrated by specification and modeling of communication based train control system (CBTC).

关键词： Railway Cyber Physical systems AADL Specification CBTC component

来源：评论

学校读者我要写书评

暂无评论

Robotic materials with controllable stiffness 19

Robotic materials with controllable stiffness

引用

19th international conference on Composite Materials, ICCM 2013

作者： McEvoy, M. Farrow, N. Correll, N. Department of Computer Science and University of Colorado Boulder United States Material Science Engineering Program University of Colorado Boulder United States

We present an approach to control the local stiffness of a composite polymer material by using sensing, actuation, computation and communication embedded in a periodic fashion. We call this class of materials "Robotic Materials". Initial stiffness is achieved by a polycaprolactone (PCL) grid. Each PCL bar is equipped with a dedicated heating element, thermistor and networked microcontroller that can drive the bar to a desired temperature/stiffness. We present experimental results using a 4×1 grid that can assume different global conformations under the influence of gravity by simply changing the local stiffness in individual parts. We also show how the conformation changes as a function of the temporal order of stiffness transitions while keeping the external force constant. We also explore the potential of such a material to change its configuration upon application of arbitrary forces from built-in actuators using Finite Element Simulation. © QinetiQ Ltd 2013.

关键词： Embedded computation Multi-functional smart composite Programmable stiffness

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2013年 8141 LNCS卷 V-VI页

作者： Soloveichik, David Yurke, Bernard University of California San Francisco Center for Systems and Synthetic Biology 1700 4th Street San Francisco CA 94158 United States Boise State University Materials Science and Engineering Department 1910 University Drive Boise ID 83725 United States

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：