Mobile crowdsourcing (MCS) has grown to be a powerful computation paradigm to harness human power to solve real-world problems. Many commercial MCS platforms have arisen, enabling various novel applications. As crowd ...
详细信息
ISBN:
(纸本)9781467391023
Mobile crowdsourcing (MCS) has grown to be a powerful computation paradigm to harness human power to solve real-world problems. Many commercial MCS platforms have arisen, enabling various novel applications. As crowd workers can be unreliable, a critical issue of these platforms is quality control. Many task assignment approaches have been proposed to increase the quality of crowdsourced tasks by matching workers and tasks in a bipartite graph. However, they fail to apply to MCS platforms where tasks are bound with locations. This paper considers the quality-aware online task assignment problem with location-based tasks. The goal is to optimize tasks' overall quality by assigning appropriate sets of tasks to workers in an online manner. To solve this problem, we propose a probabilistic quality measurement model and a hitchhiking model to characterize workers' behavior. Then we design a polynomial-time online assignment algorithm and prove that the proposed algorithm approximates the offline optimal solution with a competitive ratio of 10/7. Through extensive simulations, we demonstrate the efficiency and effectiveness of our solution.
In this paper, we explore the malicious meter inspection (MMI) problem in neighborhood area smart grids. By exploiting a binary inspection tree, we propose a Difference-Comparison-based Inspection (DCI) algorithm to q...
详细信息
ISBN:
(纸本)9781467364300
In this paper, we explore the malicious meter inspection (MMI) problem in neighborhood area smart grids. By exploiting a binary inspection tree, we propose a Difference-Comparison-based Inspection (DCI) algorithm to quickly target the malicious meters. Different from existing algorithms, the DCI algorithm is designed based on three rules that are derived according to the difference comparison results in each local subtree. An attractive feature of the DCI algorithm is that it manages to skip a large number of nodes on the binary inspection tree and thus accelerates the detection of malicious nodes. Both analysis and simulation results show that DCI outperforms the existing inspection algorithms in terms of inspection speed, regardless of the ratio and permutation of malicious meters.
Integrated modular avionics architectures combined with the emerging SAE TTEthernet standard provides a strong infrastructure for the deployment of mixed-critical avionic applications having stringent safety, reliabil...
详细信息
Integrated modular avionics architectures combined with the emerging SAE TTEthernet standard provides a strong infrastructure for the deployment of mixed-critical avionic applications having stringent safety, reliability and performance requirements. The integration of such systems is a very complex and challenging engineering task. Therefore, a model-based approach, which endows system engineers with a methodology and the supporting tools to cope with this complexity, is of a paramount importance. In this research paper, we present an extension for the standard architecture and analysis modeling language AADL to enable modeling integrated multi-critical avionic applications deployed on TTEthernet-based IMA architectures. In particular, we present a metamodel which extends the core AADL metamodel with concepts and constraints relevant for this domain, we define the concrete textual syntax for this extension and we outline the implementation of this extension using the Open Source AADL Tool Environment (OSATE). Finally, we illustrate our AADL extension using a case study based on the Flight Management System.
The conducted electromagnetic interference (EMI) and overvoltage characteristics for a spindle permanent magnet synchronous motor (PMSM) driven by pulse width modulation (PWM) converter are comprehensively presented. ...
详细信息
ISBN:
(纸本)9781509014439
The conducted electromagnetic interference (EMI) and overvoltage characteristics for a spindle permanent magnet synchronous motor (PMSM) driven by pulse width modulation (PWM) converter are comprehensively presented. The high power, ultra-precision PMSM is applied to a computer numerical control (CNC) grinding machine. The conducted EMI prediction model mainly includes multi-core shielded cable, high frequency (HF) converter and PMSM models. The multi-transmission line (MTL) theory is employed to establish the multi-core shielded cable considering their coupling effect caused by the control pairs. The parasitic capacitance for the PWM converter is calculated by using the analytical formula. The HF equivalent circuit model of the PMSM is obtained combining the methods of impedance measurement and vector fitting method. The influence of the rotor position on the PMSM impedance measurement is considered. The common mode (CM) and differential mode (DM) interference voltage and current both for the output of inverter and the input of PMSM terminals are conducted by using the prediction model. The parametric influence of the long multi-core shielded cables on the overvoltage for the PMSM terminal is discussed.
Interactive music retrieval systems using microphone input have become popular, with applications ranging from whistle queries to robust audio search engines capable of retrieving music from a short sample recorded in...
详细信息
Interactive music retrieval systems using microphone input have become popular, with applications ranging from whistle queries to robust audio search engines capable of retrieving music from a short sample recorded in noisy environment. The availability for mobile devices brought them to millions of users. Underlying methods have promising results in the case that user provides a short recorded sample and seeks additional information about the piece. Now, the focus needs to be switched to areas where we are still unable to satisfy the user needs. Such a scenario can be the choice of a favorite music performance from the set of covers, or recordings of the same musical piece, e.g. in classical music. Various algorithms have been proposed for both basic retrieval and more advanced use cases. In this paper we provide a survey of the state-of-the-art methods for interactive music retrieval systems, from the perspective of specific user requirements.
Pair programming is a programming technique in which a pair of people, a driver and an observer or navigator, complete a programming task using a single computer. The advocates of pair programming claim that it has ma...
详细信息
Pair programming is a programming technique in which a pair of people, a driver and an observer or navigator, complete a programming task using a single computer. The advocates of pair programming claim that it has many benefits over traditional individual programming, but the empirical evidence of the benefits of pair programming is mixed. Anecdotal and empirical evidence shows that pair programming is an expensive technology that is difficult to practice. In this study we propose an alternative model called Inverted Pair Programming (IPP). IPP pairs do not work together in all the phases of software development; instead, the pair starts by designing together, split apart during implementation, then join again for testing. Two empirical studies were conducted in spring 2009 and summer 2012 to validate the inverted pair programming against traditional pair programming. The results of this experiment point in favor of inverted pair programming methodology and do not support the claim that pair programming in general reduces the software development duration or overall software development cost.
Although there has long been interest in foreground background segmentation based on change detection for video surveillance applications, the issue of inconsistent performance across different scenarios remains a ser...
详细信息
ISBN:
(纸本)9781479966844
Although there has long been interest in foreground background segmentation based on change detection for video surveillance applications, the issue of inconsistent performance across different scenarios remains a serious concern. To address this, we propose a new type of word based approach that regulates its own internal parameters using feedback mechanisms to withstand difficult conditions while keeping sensitivity intact in regular situations. Coined "PAWCS", this method's key advantages lie in its highly persistent and robust dictionary model based on color and local binary features as well as its ability to automatically adjust pixel-level segmentation behavior. Experiments using the 2012 Change *** dataset show that it outranks numerous recently proposed solutions in terms of overall performance as well as in each category. A complete C++ implementation based on OpenCV is available online.
The registration of video sequences captured using different types of sensors often relies on dense feature matching methods, which are very costly. In this paper, we study the problem of “almost planar” scene regis...
详细信息
The registration of video sequences captured using different types of sensors often relies on dense feature matching methods, which are very costly. In this paper, we study the problem of “almost planar” scene registration (i.e. where the planar ground assumption is almost respected) in multimodal imagery using target shape information. We introduce a new strategy for robustly aligning scene elements based on the random sampling of shape contour correspondences and on the continuous update of our transformation model's parameters. We evaluate our solution on a public dataset and show its superiority by comparing it to a recently published method that targets the same problem. To make comparisons between such methods easier in the future, we provide our evaluation tools along with a full implementation of our solution online.
We propose a novel design to enhance the directivity and power extraction of a dipole source. The design consists in a cavity-backed non-uniform partially reflective metasurface (PRM). The multiple reflections inside ...
详细信息
We propose a novel design to enhance the directivity and power extraction of a dipole source. The design consists in a cavity-backed non-uniform partially reflective metasurface (PRM). The multiple reflections inside the cavity yield full transmission by way of constructive interference at the PRM. We show that by allowing the metasurface to be partially reflective, the realization constrains are relaxed compared to a design with a reflection-less metasurface.
To find best-matching cloud, customer should contact many cloud service provider portals. And Consumer's requirements are getting more complex and divers, at the same time, the service configuration are also more ...
详细信息
To find best-matching cloud, customer should contact many cloud service provider portals. And Consumer's requirements are getting more complex and divers, at the same time, the service configuration are also more complex and needed to be customized for each customer to provide optimal service. To improve upper problems, we defined integration architecture of virtual appliance store and cloud service brokerage platform, and proposed virtual appliance store management method in the platform. This can improve the gaps between various customer's requirement and provider's limited service scope. And it can be used on prompt service deployment on dispersed and heterogeneous Cloud service providers to accelerate time to market.
暂无评论