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

An evaluation framework for software crowdsourcing

Frontiers of computer Science 2013年第5期7卷 694-709页

作者： Wenjun WU Wei-Tek TSAI Wei LI State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ85281 USA Department of Computer Science and Technology INLIST Tsinghua University Beijing 100084 China

Recently software crowdsourcing has become an emerging area of software engineering. Few papers have pre- sented a systematic analysis on the practices of software crowdsourcing. This paper first presents an evaluation frame- work to evaluate software crowdsourcing projects with re- spect to software quality, costs, diversity of solutions, and competition nature in crowdsourcing. Specifically, competi- tions are evaluated by the min-max relationship from game theory among participants where one party tries to minimize an objective function while the other party tries to maximize the same objective function. The paper then defines a game theory model to analyze the primary factors in these min- max competition rules that affect the nature of participation as well as the software quality. Finally, using the proposed eval- uation framework, this paper illustrates two crowdsourcing processes, Harvard-TopCoder and AppStori. The framework demonstrates the sharp contrasts between both crowdsourc- ing processes as participants will have drastic behaviors in engaging these two projects.

关键词： crowdsourcing software engineering competi-tion rules game theory

来源：评论

学校读者我要写书评

暂无评论

ANFIS and SA Based Approach to Prediction, Scheduling, and Performance Evaluation for Semiconductor Wafer Fabrication

引用

电子学报(英文版) 2013年第1期22卷 25-30页

作者： CAO Zhengcai ZHAO Huidan WANG Yongji College of Information Science and Technology Beijing University of Chemical Technology Beijing 100029 China State Key Laboratory of Manufacturing Systems Engineering Xi'an Jiaotong University Xi'an 710054 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

In this paper, an optimized mechanism for Semiconductor wafer fabrication (SWF) by integrating the Adaptive neuro-fuzzy inference system (ANFIS) with Simulated annealing (SA) algorithm is proposed. In this approach, aiming to solve the rush order problem which significantly affect the cycle time and impact the Work in process (WIP) of lots due to the high priority, we build an ANFIS based prediction model which will be embedded into releasing to forecast product codes and quantities of the contingent rush orders. Then a scheduler based on SA algorithm is constructed, the coding of which represents a combination of scheduling policies, including lot releasing policies, dispatching rules, batching rules and settingup rules. When the SA finished its optimization process, an optimal scheduling policy is produced. By using the proposed approach, we will find that the system can be optimized to a large extent and give a better performance.

关键词： ANFIS SA算法调度策略预测模型晶圆制造半导体自适应神经模糊推理系统评估法

来源：评论

学校读者我要写书评

暂无评论

Robust H_∞ Consensus Control of Uncertain Multi-Agent systems with Nonlinear Dynamics and Time-Varying Delays

Robust H_∞ Consensus Control of Uncertain Multi-Agent Syste...

引用

American Control Conference

作者： Ping Wang Yingmin Jia Junping Du Jun Zhang Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 China

ISBN: (纸本)9781479932757

This paper is concerned with the H_∞ consensus control problem in undirected networks of autonomous agents with nonlinear dynamics, subject to parameter uncertainties and external disturbances. With the consideration of time-varying delays arising from communication among agents, a distributed protocol is proposed using the local delayed state information. Then, by defining an appropriate controlled output function, the consensus problem under the proposed protocol is converted into an H_∞ control problem. Based on robust H_∞ theory, sufficient conditions are derived to make all agents achieve consensus with desired H_∞ performance. Moreover, the feedback matrix in the proposed protocol is determined by solving two linear matrix inequalities (LMIs) with the same dimensions as a single agent. Finally, a numerical simulation is provided to demonstrate the effectiveness of our theoretical results.

关键词： Multi-agent systems Protocols Nonlinear dynamical systems Uncertain systems Linear matrix inequalities Robustness Delay effects

来源：评论

学校读者我要写书评

暂无评论

Cooperative Bicircular Target Tracking Using Multiple Unmanned Aerial Vehicles

Cooperative Bicircular Target Tracking Using Multiple Unmann...

引用

IEEE Annual Conference on Decision and Control

作者： Yueqian Liang Yingmin Jia Junping Du Fumitoshi Matsuno Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China Department of Mechanical Engineering and Science Kyoto University Kyoto 606-8501 Japan

ISBN: (纸本)9781467360890

This paper investigates the problem of tracking a moving target using multiple fixed-wing unmanned aerial vehicles (UAVs) under a new bicircular formation. This new formation for cooperative standoff target tracking is first developed by maximizing the amount of Fisher information. Guidance vector fields are designed, and based on them, a cooperation approach is proposed to adapt the unknown target velocity and achieve the cooperative bicircular tracking. Speed and heading rate are firstly controlled to track the guidance vector fields separately for each UAV, then the speed is further adjusted to maintain the desired angular separation between the UAVs. Simulation experiments are given to verify the effectiveness of the proposed approach.

关键词： bicircular Target tracking vehicle

来源：评论

学校读者我要写书评

暂无评论

Output feedback tracking control for spacecraft relative translation subject to input constraints and partial loss of control effectiveness

Output feedback tracking control for spacecraft relative tra...

引用

American Control Conference

作者： Lin Zhao Yingmin Jia Junping Du Jun Zhang Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 China

ISBN: (纸本)9781479932757

In this paper, an adaptive output feedback tracking control scheme is proposed for spacecraft formation flying (SFF) in the presence of external disturbances, uncertain system parameters, input constraints and partial loss of control effectiveness. The proposed controller incorporates a pseudo-velocity filter to account for the unmeasured relative velocity, and the neural network (NN) technique is implemented to approximate the desired nonlinear function and bounded external disturbances. In order to guarantee that the output of the NN used in the controller is bounded by the corresponding bound of the approximated nonlinear function, a switch function is employed to generate a switching between the adaptive NN control and the robust controller. Moreover, a fault tolerant part is included in the controller to compensate the partial loss of actuator effectiveness fault. It is shown that the derived controller not only guarantees the tracking error in the closed-loop system to be uniformly ultimately bounded (UUB) but also ensures the control input can rigorously enforce actuator magnitude constraints. Simulation results are provided to demonstrate the effectiveness of the proposed method.

关键词： SFF UUB NN

来源：评论

学校读者我要写书评

暂无评论

The search for the laws of automatic random testing 13

The search for the laws of automatic random testing

引用

28th Annual ACM Symposium on Applied Computing, SAC 2013

作者： Furia, Carlo A. Meyer, Bertrand Oriol, Manuel Tikhomirov, Andrey Wei, Yi Department of Software Engineering ETH Zurich Zurich Switzerland ABB Corporate Research Industrial Software Systems Baden-Dättwil Switzerland Dept. of Computer Science University of York York United Kingdom Software Engineering Laboratory ITMO St.Petersburg Russia

ISBN: (纸本)9781450316569

Can one estimate the number of remaining faults in a software system? A credible estimation technique would be immensely useful to project managers as well as customers. It would also be of theoretical interest, as a general law of software engineering. We investigate possible answers in the context of automated random testing, a method that is increasingly accepted as an effective way to discover faults. Our experimental results, derived from best-fit analysis of a variety of mathematical functions, based on a large number of automated tests of library code equipped with automated oracles in the form of contracts, suggest a poly-logarithmic law. Although further confirmation remains necessary on different code bases and testing techniques, we argue that understanding the laws of testing may bring significant benefits for estimating the number of detectable faults and comparing different projects and practices. Copyright 2013 ACM.

关键词： Functions

来源：评论

学校读者我要写书评

暂无评论

Norms as objectives: Revisiting compliance management in multi-agent systems

Norms as objectives: Revisiting compliance management in mul...

引用

14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent systems VIII, COIN 2012 - Held Co-located with AAMAS 2012

作者： Ghose, Aditya Savarimuthu, Tony Bastin Roy Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong NSW 2522 Australia Dept. of Information Science University of Otago New Zealand

ISBN: (纸本)9783642377556

This paper explores a hitherto largely ignored dimension to norms in multi-agent systems: the normative role played by optimization objectives. We introduce the notion of optimization norms which constrain agent behaviour in a manner that is significantly distinct from norms in the traditional sense. We argue that optimization norms underpin most other norms, and offer a richer representation of these. We outline a methodology for identifying the optimization norms that underpin other norms. We then define a notion of compliance for optimization norms, as well as a notion of consistency and inconsistency resolution. We offer an algebraic formalization of valued optimization norms which allows us to explicitly reason about degrees of compliance and graded sanctions. We then outline an approach to decomposing and distributing sanctions amongst multiple agents in settings where there is joint responsibility. © Springer-Verlag 2013.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Coverage-Based Test Case Prioritisation: An Industrial Case Study

Coverage-Based Test Case Prioritisation: An Industrial Case ...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Daniel Di Nardo Nadia Alshahwan Lionel Briand Yvan Labiche Interdisciplinary Centre for Security Reliability and Trust University of Luxembourg Luxembourg Software Quality Engineering Laboratory Systems and Computer Engineering Carleton University Ottawa ONT Canada

ISBN: (纸本)9781467359610

This paper presents an industrial case study of coverage-based prioritisation techniques on a real world system with real regression faults. The study evaluates four common and different test case prioritisation techniques and examines the effects of using various coverage criteria on the fault detection rates of the prioritised test suites. The results show that prioritisation techniques that are based on additional coverage with finer grained coverage criteria perform significantly better in fault detection rates. The study also reveals that using modification information does not significantly enhance fault detection rates.

关键词： Testing Fault detection Measurement software computer aided software engineering Minimization Data collection

来源：评论

学校读者我要写书评

暂无评论

A service evolution registry with alert-based management

A service evolution registry with alert-based management

引用

2013 5th International Conference on Service Science and Innovation, ICSSI 2013

作者： Feng, Zaiwen Chiu, Dickson K.W. He, Keqing State Key Laboratory of Software Engineering Wuhan University Wuhan China School of Computer Wuhan University Wuhan China Hubei Provincial Key Laboratory of Intelligent Robot Wuhan Institute of Technology China Dickson Computer Systems 117 Argyle Street Kowloon Hong Kong

ISBN: (纸本)9780769549859

To enable sustainable service innovation, services are often subject to changes and variations. In particular, service evolution creates problems in invocation if the service users cannot be notified timely. Therefore managing service evolution is a key challenge of the Service-Oriented paradigm. To address this problem, we design a meta-model to facilitate service registration focusing on administrative information and versioning, with an intension to promote reuse. We further develop a sophisticated alert mechanism to send alerts to stakeholders about service evolution information so that they can take timely measures. Currently, part of our work has been proposed to the International Standard Organization (ISO) as the draft of ISO/IEC SC32 19763 Part 7. © 2013 IEEE.

关键词： ISO Standards

来源：评论

学校读者我要写书评

暂无评论

A Novel Use of Big Data Analytics for Service Innovation Harvesting

A Novel Use of Big Data Analytics for Service Innovation Har...

引用

International Conference on Service Science and Innovation (ICSSI)

作者： Aditya K. Ghose Evan Morrison Yingzhi Gou Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong Australia

ISBN: (纸本)9781479901388

Service innovation has assumed considerable significance with the growth of the services sectors of economies globally, yet progress has been slow in devising carefully formulated, systematic techniques to under pin service innovation. This paper argues that a novel approach to big data analytics offers interesting solutions in this space. The paper argues that the use of big data analytics for generating enterprise service insights is often ignored (while the extraction of insights about customers, the market and the enterprise context has received considerable attention). The paper offers a set of techniques (collectively referred to as innovation harvesting) which leverage big data in various forms, including object state sensor data, behaviour logs as well large-scale sources of open data such as the web to mine service innovation insights. The paper also outlines how systematic search might help overcome the limitations of big data analytics in this space.

关键词： Technological innovation Unified modeling language Semantics Analytical models Information management Data handling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：