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

International Conference on Software engineering (ICSE)

作者： Songzheng Song Jianye Hao Yang Liu Jun Sun Ho-Fung Leung Jin Song Dong Graduate School for Integrative Sciences and Engineering National University of Singapore Singapore Department of Computer Science and Engineering Chinese University of Hong Kong China Temasek Lab National University of Singapore Singapore ISTD Singapore University of Technology and Design Singapore School of Computing National University of Singapore Singapore

ISBN: (纸本)9781467310673

Multi-agent systems, which are composed of autonomous agents, have been successfully employed as a modeling paradigm in many scenarios. However, it is challenging to guarantee the correctness of their behaviors due to the complex nature of the autonomous agents, especially when they have stochastic characteristics. In this work, we propose to apply probabilistic model checking to analyze multi-agent systems. A modeling language called PMA is defined to specify such kind of systems, and LTL property and logic of knowledge combined with probabilistic requirements are supported to analyze system behaviors. Initial evaluation indicates the effectiveness of our current progress; meanwhile some challenges and possible solutions are discussed as our ongoing work.

关键词： Probabilistic logic Analytical models Educational institutions Cognition Semantics Games Multiagent systems

来源：评论

学校读者我要写书评

暂无评论

SPACE-INDEPENDENT COMMUNITY STRUCTURE DETECTION IN UNITED STATES AIR TRANSPORTATION

引用

IFAC Proceedings Volumes 2012年第24期45卷 1-6页

作者： Emil Gegov Alexander Gegov M. Nadia Postorino Mark Atherton Fernand Gobet School of Engineering and Design Brunel University Uxbridge UB8 3PH UK School of Computing University of Portsmouth Portsmouth PO1 3HE Department of Informatics Mathematics Electronics and Transport University of Reggio Calabria Reggio Calabria 89122 Italy School of Social Sciences Brunel University Uxbridge UB8 3PH UK

This article presents an evolution-based model for the US airport network. The topological properties and the volume of people travelling are both studied in detail, revealing high heterogeneity in space and time. A recently developed community structure detection method, accounting for the spatial nature of these networks, reveals a better picture of the communities within.

关键词： air transportation community structure United States Airport Network.

来源：评论

学校读者我要写书评

暂无评论

Model level combination of tree ensemble hyperboxes via GFMM

Model level combination of tree ensemble hyperboxes via GFMM

引用

2011 8th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11

作者： Eastwood, Mark Gabrys, Bogdan School of Design Engineering and Computing Bournemouth University United Kingdom

ISBN: (纸本)9781612841816

An ensemble of decision trees defines an overlapping set of hyperboxes. These hyperboxes in turn define a disjoint set of hyperboxes each with an associated vector of individual decisions. These vectors can be used to robustly label the hyperboxes by class, or to define soft labels. We sample from these hyperboxes and use them to build a single classifier within the General Fuzzy Min-Max (GFMM) framework that gains information from many different resamplings of the data through the ensemble from which it is built. This method is found to build robust GFMM models, with improved performance on most datasets compared to the basic GFMM. © 2011 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Predicting the Evolution of Social Networks: Optimal Time Window Size for Increased Accuracy

Predicting the Evolution of Social Networks: Optimal Time Wi...

引用

IEEE International Conference on and IEEE International Confernece on Social computing (SocialCom) Privacy, Security, Risk and Trust (PASSAT)

作者： Marcin Budka Katarzyna Musial Krzysztof Juszczyszyn Bournemouth University School of Design Engineering and Computing Talbot Campus Fern Barrow Poole UK King's College London Department of Informatics School of Mathematical and Natural Sciences Strand Campus London UK Wroclaw University of Technology Faculty of Computer Science and Management Wroclaw PL

This study investigates the data preparation process for predictive modelling of the evolution of complex networked systems, using an e -- mail based social network as an example. In particular, we focus on the selection of optimal time window size for building a time series of network snapshots, which forms the input of chosen predictive models. We formulate this issue as a constrained multi -- objective optimization problem, where the constraints are specific to a particular application and predictive algorithm used. The optimization process is guided by the proposed Windows Incoherence Measures, defined as averaged Jensen-Shannon divergences between distributions of a range of network characteristics for the individual time windows and the network covering the whole considered period of time. The experiments demonstrate that the informed choice of window size according to the proposed approach allows to boost the prediction accuracy of all examined prediction algorithms, and can also be used for optimally defining the prediction problems if some flexibility in their definition is allowed.

关键词： Time series analysis Predictive models Time measurement Size measurement Social network services Optimization Accuracy

来源：评论

学校读者我要写书评

暂无评论

Intellectual property: An issue when engaging in industrial collaborative student projects?

Intellectual property: An issue when engaging in industrial ...

引用

13th International Conference on engineering and Product design Education, E and PDE 2011

作者： Glasspool, Chris Dyer, Bryce School of Design Engineering and Computing Bournemouth University United Kingdom

Many universities incorporate the use of industrial partners by conducting 'live projects' to help enhance the student learning experience. In the case of Bournemouth University, implementation of industrial engagement has traditionally been incorporated within the Product design Bachelors degree over the course of its 19 year history. However, over the last 3 years, this aspect has been increased significantly. This paper builds on previous publications and explores case studies of industrial engagement further with the use of 'live projects' specifically investigating issue relating to intellectual property. These projects allow students to create products which are innovative yet highly sensitive to the needs of the commercial partner. Some qualitative evaluation is undertaken of both the student and of three industrial participants covering areas of IP. Ultimately, it is seen as a worthwhile activity and good practise for multidisciplinary design courses but that transparency and good planning is essential.

关键词： Intellectual property

来源：评论

学校读者我要写书评

暂无评论

In search of theoretical foundations for UX research and practice

In search of theoretical foundations for UX research and pra...

引用

30th ACM Conference on Human Factors in computing Systems, CHI 2012

作者： Obrist, Marianna Roto, Virpi Vermeeren, Arnold Väänänen-Vainio-Mattila, Kaisa Law, Effie Lai-Chong Kuutti, Kari Culture Lab School of Computing Science Newcastle University Newcastle upon TyneNE1 7RU United Kingdom Aalto University School of Art Design and Architecture P.O.Box 31000 Aalto00076 Finland Delft University of Technology Fac. of Ind. Design Engineering Landbergstraat 15 NL CE Delft2628 Netherlands Tampere University of Technology Unit of Human-Centered Tech P.O.Box 589 TampereFI-33101 Finland University of Leicester Department of Computer Science LeicesterLE1 7RH United Kingdom University of Oulu Department of Information Processing Science Oulu90014 Finland

In this paper we point out the relevance of and the need for a theoretical discussion around UX research and practice. Although there is a good coverage of methodological and design related topics in the HCI literature, there is still a lack of theoretical focus in the rapidly increasing work on user experience (UX). We analyzed 122 individual items on theories collected in a CHI'11 special interest group session on UX theories and theoretical frameworks. The data set was filtered and categorized in several iterations, resulting in 56 items distributed over 7 major theory categories and related to 9 relevant disciplines. The categories are an initial mapping of the field and point towards the directions for further conceptual and theoretical clarification. Our results help to explore the multi-disciplinary nature of UX and to build a more solid foundation for UX research and practice. © 2012 Authors.

关键词： Group theory

来源：评论

学校读者我要写书评

暂无评论

Evaluation of flash temperatures of a composite elastomer tip seal with a dry sliding conditions in contact with a high carbon steel plate

Evaluation of flash temperatures of a composite elastomer ti...

引用

10th International Conference on Surface Effects and Contact Mechanics: Computational Methods and Experiments, SECM11

作者： Tzanakis, I. Hadfield, M. Sustainable Design Research Centre School of Design Engineering and Computing Bournemouth University United Kingdom

ISBN: (纸本)9781845645304

One of the most important issues in dry sliding contact is the frictional heat generated. This study investigates the flash temperatures caused by frictional heating of sliding parallel pairs: a high performance fluoroelastomer composite with a high carbon steel plate. These materials have industrial applications and in particular as the main contacting components within a scroll expander system. The expected flash temperature values of the studied contacts are important to be revealed in order to predict the wear mechanisms associated with excessive contact temperatures caused by sliding friction. Two different roughness profiles of the high carbon steel plate were used. The flash temperatures generated by the asperities contact of the tested materials were investigated as a function of the friction coefficient, the applied pressure and the sliding velocity, using a reciprocating tribometer. Initially physical experimental observations of the specific contact produced with a high- precision thermal camera integrated with a sliding micro-friction machine were conducted. Analytical results using conventional mathematical methodology were also produced. The analytical and experimental findings were then compared indicating interesting correlations within the flash temperatures and the experimental conditions. The most influential parameter for the flash temperature rise is determined. © 2011 WIT Press.

关键词： Elastomers

来源：评论

学校读者我要写书评

暂无评论

Elemental: An insight into the development and evaluation of a secondary education chemistry game using XNA

Elemental: An insight into the development and evaluation of...

引用

International Conference on Games and Virtual Worlds for Serious Applications

作者： Birchall, James Gatzidis, Christos School Of Design Engineering and Computing Bournemouth University Bournemouth United Kingdom

ISBN: (纸本)9780769544199

This article discusses the creation of an educational game intended for UK GCSE-level content, called Elemental. Elemental, developed using Microsoft's XNA studio and deployed both on the PC and Xbox 360 platforms, addresses the periodic table of elements, a subject with extensions in chemistry, physics and engineering. Through the development process of the game but also the eventual pilot user study with 15 subjects (using a pre and post test method to measure learning using the medium and self-report questions), examples are given on how an educator can, without expert knowledge, utilize modern programming tools to create and test custom-made content for delivering part of a secondary education curriculum. © 2011 IEEE.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

Keynote speech I: Beyond multi-touch: Interactive surfaces that support haptic feedback and multiple independent views

Keynote speech I: Beyond multi-touch: Interactive surfaces t...

引用

International Conference on Intelligent Human Computer Interaction (IHCI)

作者： Sriram Subramanian Xiang Cao Shengdong Zhao Sudhir Dixit Anil K. Gupta Atanendu Sekhar Mandai Manas Modi Ramalatha Marimuthu Amit. A. Nanavati Nitendra Rajput Pradeep Yammiyavar University of Bristol Bristol Bristol GB Microsoft Research China NUS-HCI Lab Department of Computer Science School of Computing National University of Singapore Singapore Hewlett-Packard Laboratories India UM Ahmedabad India Perception Engineering Lab IC Design Group CSIR-Central Electronics Engineering Research Institute Pilani Rajasthan India Interaction Designer Flipkart India IEEE Women in Engineering Committee IBM Research India Interaction Design & Usability Engineering Laboratory Department of Design Centre for Educational Technology Indian Institute of Technology Guwahati India

Summary form only given. Although Multi-touch devices have become common in the consumer world, users have sacrificed the tactile feedback afforded by physical buttons. The Bristol Interaction and Graphics group has been exploring various technical solutions to create the next generation of touch interfaces that support multi-point haptic feedback as well as dynamic allocation of views to different users. In this talk I will present UltraHaptics a multi-point haptic feedback system that allows users to experience haptic feedback simultaneously in multiple locations on an interactive surface. This feedback is created in midair - so users don't have to touch or hold any device to experience it. Another system I will be talking about it PiVOT, a tabletop system where users can come together and view shared content or by leaning forward can get personalised views that are only visible from their particular view-point. This talk will present our recent research endeavors in this direction and present some design challenges.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Material characterisation to understand various modes of corrosion failures in large military vehicles of historical importance

Material characterisation to understand various modes of cor...

引用

5th International Conference on Computational Methods and Experiments in Materials Characterisation, MC11

作者： Saeed, A. Khan, Z. Garland, N. Smith, R. Sustainable Design Research Centre School of Design Engineering and Computing Bournemouth University United Kingdom The Tank Museum Bovington United Kingdom

ISBN: (纸本)9781845645380

Large military vehicles within museum collections are stored in two distinct environments, controlled and uncontrolled, with an intermittent transitional mode where vehicles travel between the two. Variable environmental conditions combined with operational factors pose significant risks to the reliability, durability and longevity of these vehicles. Although there are methods for retarding or decelerating aspects of failure, to maintain the integrity and originality of these vehicles as artefacts a sustainable methodology for conserving these vehicles should be developed. Corrosion is one of the significant contributors to the structural damage and material aging of historical military vehicles;therefore an experimental study was conducted to understand the prevailing mechanisms of failures due to corrosion with various types occurring in these vehicles identified. This paper presents various modes of corrosion in historic vehicles while X-ray Fluorescence and ultrasonic scanning corrosion mapping techniques characterise corrosion inhibiting materials and subsequent material loss. Understanding material profiles and their link to environmental exposure during use and non use of these vehicles will lead to a sustainable methodology for their conservation. © 2011 WIT Press.

关键词： Military vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：