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

2012 International Conference on Mechanical Materials and Manufacturing engineering(ICMMME 2012)

作者： Mohammad Reza Ramazani Philip Sewell Siamak Noroozi Mehran Koohgilani Bob Cripps School of Design Engineering & Computing Bournemouth University

Current practices to estimate the pressure loads on the hull of small high-speed craft in a seaway are based on determination of the wave loads by applying rules and standards which itself relies either on often conservative methods, leading to a craft that is heavier and slower than it could be otherwise. There are rather large uncertainties in the wave load predictions for ships mainly caused by not necessarily sufficient theoretical basis of the calculation methods. Direct pressure measurement techniques can only provide data at each transducer location and classical analytical techniques require a large amount of experimental data to be collected to relate pressure to the structures response. The evaluation of wave generated hydrodynamic loads is less reliable as the dynamic nature of the loading as well as transient effects such as slamming and green water on deck still demands more investigations. Therefore, a novel technique is required to overcome these limitations by providing a method of measuring the pressure load with relatively few sensors and minimal data collection. This paper reports on research undertaken to develop an inverse problem approach utilising an Artificial Neural Network(ANN) for quantification of in-service, transient loads in real-time acting on the craft from the craft's structural response(strain response to load). This study investigates suitability and performance of utilising ANN as an inverse problem approach to estimate impact loads applied to up to 13 locations on the structure in real-time from 16 strain measurements.

关键词： Composite Marine Artificial Intelligence Artificial Neural Network Structural Analysis Impact Load Slamming

来源：评论

学校读者我要写书评

暂无评论

The investment of play: Expression and affordances in digital musical instrument design

The investment of play: Expression and affordances in digita...

引用

38th International Computer Music Conference, ICMC 2012

作者： Cannon, Joanne Favilla, Stuart Interaction Design Lab Computing and Information Systems Melbourne School of Engineering The University of Melbourne Australia Bent Leather Band Christmas Hills Victoria Australia

ISBN: (纸本)9780984527410

This paper introduces the investment of play, its role and significance in the design and development of digital musical instruments (DMIs). Dimension map analyses are used to create a qualitative numerical estimate of DMI expression. Expression is then longitudinally compared to data sets spanning a 16year study epoch of the Bent Leather Band. This study identifies multiplicity of control and other parameters, as significant affordances for DMI musical expression and skill development. The paper argues that Expression is proportional to the sum of invested play and the processional affordances latent within the DMI system.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

Dealing with trust and control: A meta-model for trustworthy information systems development

Dealing with trust and control: A meta-model for trustworthy...

引用

6th International Conference on Research Challenges in Information Science, RCIS 2012

作者： Pavlidis, Michalis Mouratidis, Haralambos Islam, Shareeful Kearney, Paul School of Architecture Computing and Engineering University of East London London United Kingdom Security Futures Practice BT Innovate and Design Ipswich United Kingdom

ISBN: (纸本)9781457719387

Information systems exist in every aspect of our life and our society depends on them enormously. Despite this reliance, these systems are often unreliable, prone to errors, and pose vulnerabilities for potential security attacks. We are often faced with a choice between using a valuable (or even an essential) system, which is not fully trustworthy, or else forgoing the services it provides. Developing a trustworthy software system is a challenging task. The system's overall trustworthiness depends on trust relationships that are usually assumed and not properly analysed during the analysis and design of the system. The lack of appropriate analysis of such trust relationships, or the lack of appropriate justification of relevant trust assumptions, usually results in systems that can potentially fail to fully achieve those functionalities that depend on such trust relationships. In this paper, we present a meta-model for a modelling language that allows developers to capture possible trust relationships and to reason about them. The meta-model includes a set of trust based concepts, which support the development of trustworthy systems. A case study from the UK health care sector is used to illustrate the usefulness of the meta-model. © 2012 IEEE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Causal factors behind the failed firecontrol project: A large-scale system-of-systems

Causal factors behind the failed firecontrol project: A larg...

引用

2012 7th International Conference on System of Systems engineering, SoSE 2012

作者： Ncube, Cornelius Software Systems Research Centre School of Design Engineering and Computing Bournemouth University Poole Dorset BH12 5BB United Kingdom

ISBN: (纸本)9781467329750

FiReControl was a large-scale system-of-systems that commenced in 2004 and was expected to be complete by October 2009. In 2007, the Department for Communities and Local Government (the Department) contracted a prime Supplier to design, develop and install the complex computer system underpinning the project. However, the project was subject to a number of problems and delays and costs escalated over its lifetime. In December 2010 the Department cancelled the project after concluding that it could not be delivered to an acceptable timeframe and quality. At the point cancellation, the Department estimated it had spent £245 million on the project and calculated that completion would take the total cost of the project to £860 million, more than five times the original estimate of £120 million. © 2012 IEEE.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Cavitation erosion behaviour of the steel plate of a scroll expander system

引用

4th International Conference on Tribology and design, TD 2012

作者： Tzanakis, I. Georgoulas, A. Hadfield, M. Kotsovinos, N. Sustainable Design Research Centre School of Design Engineering and Computing Bournemouth University United Kingdom Laboratory of Hydraulics and Hydraulic Structures Fluid Mechanics Division Department of Civil Engineering Democritus University of Thrace Greece

ISBN: (纸本)9781845646103

A steel plate is one of the critical components of a scroll expander system that usually experiences cavitation in service. An experimental study is conducted to study the behaviour of the scroll's steel plate subjected to cavitation erosion. For this purpose an ultrasonic transducer is utilised to produce cavitation bubbles. Micrographs of damaged surfaces were observed, showing the nature of the cavitation mechanism and the morphology alterations across the steel sample. Experimental results are explained in terms of the cavitation erosion rates, roughness profile, accumulated strain energy, and hardness of the matrix. © 2012 WIT Press.

关键词： Erosion

来源：评论

学校读者我要写书评

暂无评论

15 years of CBSE symposium: Impact on the research community 12

15 years of CBSE symposium: Impact on the research community

引用

15th ACM SIGSOFT Symposium on Component Based Software engineering, CBSE'12

作者： Maras, Josip Lednicki, Luka Crnkovic, Ivica University of Split Croatia Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Croatia University of Zagreb Croatia Faculty of Electrical Engineering and Computing Croatia Mälardalen University Sweden School of Innovation Design and Engineering Sweden

ISBN: (纸本)9781450313452

In 2012, the International Symposium on Component-based Software engineering (CBSE) is being organized for the 15th time. This is a great opportunity to take a step back and reflect on the impact of the symposium over these 15 years. Several interesting questions immediately come to mind: What were the main topics of interest in the community? What is the maturity of the field? What is the research CBSE Symposia impact? Who are the mots involved researches and researchers centers? In order to answer these questions we have performed a systematic review of 318 papers published under CBSE. In this paper we provide answers about the impact of the event, list and categorize the most frequent topics, and give some statistical data about the event during this period. Copyright © 2012 ACM.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and validation of Stateflow diagrams

引用

International Journal on Software Tools for Technology Transfer 2012年第6期14卷 653-671页

作者： Chen, Chunqing Sun, Jun Liu, Yang Dong, Jin Song Zheng, Manchun Hewlett-Packard Laboratories Singapore 14F Connexis South Tower 1 Fusionopolis Way Singapore Singapore Singapore University of Technology and Design 20 Dover Drive Singapore Singapore Temasek Laboratories National University of Singapore T-Lab Building 5A Engineering Drive 1 Singapore Singapore School of Computing National University of Singapore Computing 1 13 Computing Drive Singapore Singapore

Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to systematically translate Stateflow diagrams to a formal modeling language called CSP# by precisely following Stateflow's execution semantics, which is described by examples. A translator is developed inside the Process Analysis Toolkit (PAT) model checker to automate this process with the support of various Stateflow advanced modeling features. Formal analysis can be conducted on the transformed CSP# with PAT's simulation and model-checking power. Using our approach, we can not only detect bugs in Stateflow diagrams, but also discover subtle semantics flaws in Stateflow user's guide and demo cases. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A hybrid model for business process event prediction

A hybrid model for business process event prediction

引用

32nd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2012

作者： Le, Mai Gabrys, Bogdan Nauck, Detlef School of Design Engineering and Computing Bournemouth University Bournemouth United Kingdom BT Research and Technology Ipswich United Kingdom BT Research and Technology Ipswich United Kingdom

ISBN: (纸本)9781447147381

Process event prediction is the prediction of various properties of the remaining path of a process sequence or workflow. The prediction is based on the data extracted from a combination of historical (closed) and/or live (open) workflows (jobs or process instances). In real-world applications, the problem is compounded by the fact that the number of unique workflows (process prototypes) can be enormous, their occurrences can be limited, and a real process may deviate from the designed process when executed in real environment and under realistic constraints. It is necessary for an efficient predictor to be able to cope with the diverse characteristics of the *** also have to ensure that useful process data is collected to build the appropriate predictive model. In this paper we propose an extension of Markov models for predicting the next step in a process *** have shown, via a set of experiments, that our model offers better results when compared to methods based on random guess, Markov models and Hidden Markov models. The data for our experiments comes from a real live process in a major telecommunication company. © Springer-Verlag London 2012.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Parallel random prism: A computationally efficient ensemble learner for classification

Parallel random prism: A computationally efficient ensemble ...

引用

32nd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2012

作者： Stahl, Frederic May, David Bramer, Max Bournemouth University School of Design Engineering and Computing Talbot Campus Poole BH12 5BB United Kingdom University of Portsmouth School of Computing Buckingham Building Lion-Terrace PO1 3HE United Kingdom

ISBN: (纸本)9781447147381

Generally classifiers tend to overfit if there is noise in the training data or there are missing values. Ensemble learning methods are often used to improve a classifier's classification accuracy. Most ensemble learning approaches aim to improve the classification accuracy of decision trees. However, alternative classifiers to decision trees exist. The recently developed Random Prism ensemble learner for classification aims to improve an alternative classification rule induction approach, the Prism family of algorithms, which addresses some of the limitations of decision trees. However, Random Prism suffers like any ensemble learner from a high computational overhead due to replication of the data and the induction of multiple base classifiers. Hence even modest sized datasets may impose a computational challenge to ensemble learners such as Random Prism. Parallelism is often used to scale up algorithms to deal with large datasets. This paper investigates parallelisation for Random Prism, implements a prototype and evaluates it empirically using a Hadoop computing cluster. © Springer-Verlag London 2012.

关键词： Prisms

来源：评论

学校读者我要写书评

暂无评论

ERules: A modular adaptive classification rule learning algorithm for data streams

ERules: A modular adaptive classification rule learning algo...

引用

32nd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2012

作者： Stahl, Frederic Gaber, Mohamed Medhat Salvador, Manuel Martin Bournemouth University School of Design Engineering and Computing Talbot Campus BH12 5BB Poole United Kingdom University of Portsmouth School of Computing Buckingham Building Lion Terrace PO1 3HE United Kingdom

ISBN: (纸本)9781447147381

Advances in hardware and software in the past decade allow to capture, record and process fast data streams at a large scale. The research area of data stream mining has emerged as a consequence from these advances in order to cope with the real time analysis of potentially large and changing data streams. Examples of data streams include Google searches, credit card transactions, telemetric data and data of continuous chemical production processes. In some cases the data can be processed in batches by traditional data mining approaches. However, in some applications it is required to analyse the data in real time as soon as it is being captured. Such cases are for example if the data stream is infinite, fast changing, or simply too large in size to be stored. One of the most important data mining techniques on data streams is classification. This involves training the classifier on the data stream in real time and adapting it to concept drifts. Most data stream classifiers are based on decision trees. However, it is well known in the data mining community that there is no single optimal algorithm. An algorithm may work well on one or several datasets but badly on others. This paper introduces eRules, a new rule based adaptive classifier for data streams, based on an evolving set of Rules. eRules induces a set of rules that is constantly evaluated and adapted to changes in the data stream by adding new and removing old rules. It is different from the more popular decision tree based classifiers as it tends to leave data instances rather unclassified than forcing a classification that could be wrong. The ongoing development of eRules aims to improve its accuracy further through dynamic parameter setting which will also address the problem of changing feature domain values © Springer-Verlag London 2012.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：