14149219
Multi-agent coordination: a fuzzy logic based approach
In the past decade, the multiagent systems have appeared as a new promising software paradigm. However, its succesful application is subject to the adoption of effective agent coordination techniques. In this paper, we consider a fuzzy logic based approach to agent coordination. Specifically, a bidding based coordination strategy has been proposed to manage the inter-relations among agents. The strategy is developed under the fuzzy logic based task structure model (FSTS) we proposed. Through using the strategy, agents can effectively coordinate their behaviors without consuming so much communication and computation resources.
14272859
Ant Colony Inspired Self-Healing for Resource Allocation in Service-Oriented Environment Considering Resource Breakdown
The ant colony optimization (ACO) algorithm is a metaheuristic inspired from the behavior of foraging ants. Instead of exploring its ability in finding optimal solutions, the current study investigates another unique property - self-healing mechanism for resource allocation in a service-oriented environment where unexpected resource breakdown can occur. A system architecture is first proposed to detect, diagnose and react to disturbances. Then the performance of the ACO self-healing mechanism is tested and compared based on a modified benchmark problem. The experimental results show that the self-healing mechanism can promptly recover an obsolete schedule with high quality solutions.
3870686
An improved dead reckoning method for mobile robot with redundant odometry information
Dead reckoning is an important method for mobile robot. If its accuracy can be improved, navigation tasks will be simplified. The mobile robot concerned in this paper is with five wheels, in which there are dual driving wheels and a castor. A measurement wheel with encoder is fixed beside each driving wheel. There are two encoders fixed on the castor. One measures the castor's movement, and another indicates the angle of yawing. A new kind of kinematics equations derived from the robot's turning radius and angle of movement trajectory is presented. We can get a group of turning radius and angle from the data of four encoders, in which there are four different values for radius and six different values for angle. The estimated values of radius and angle can be gotten by fusion using fuzzy algorithm. The improved dead reckoning method has the advantages of simplicity, less computation cost, cheapness and good performance in uneven road. The simulation shows its effectiveness.
8202363
Coordinated Services Provision in Peer-to-Peer Environments
In recent years, inspired by the emerging Web services standard and peer-to-peer technology, a new federated service providing (FSP) system paradigm has attracted increasing research interests. Many existing systems have either explicitly or implicitly followed this paradigm. Instead of exchanging files, peers in FSP systems share their computation resources in order to offer domain-specific services. In this paper, we focused on the coordination problem of how to self-organize the service group structures in response to the varying service demand. We presented our solution in the form of a coordination mechanism, which includes a labor-market model, a recruiting protocol, and a policy-driven decision architecture. Peers make their service providing decisions based on their local policies, which can be added, removed, or modified by users. A general methodology is introduced in this paper to facilitate policy design. Specifically, a heuristic inspired by the extremal optimization technique is utilized to handle potential inconsistencies among policies. A stimulus-response mechanism was further applied to make the decision process adjustable. Experiments under five application scenarios verified our ideas and demonstrated the effectiveness of our coordination mechanism.
8577812
Dynamic Self-Healing for Service Flows with Semantic Web Services
With an increasing complexity of business processes, self-healing capability is becoming an important issue in order to support robust service flow execution. In this paper, a dynamic self-healing mechanism is proposed, which can dynamically identify suitable alternatives and replace faulty services such that a service flow can be performed successfully despite of unexpected exceptions. This mechanism explicitly utilizes semantic Web services for service matching and selection of a composite service in business service flow, and Semantic Web services are equipped with rich business rules in a domain-dependent manner. We explore the self-healing mechanism for supporting self-healable service flow execution which is modeled in BPEL4WS. A demo system of self-healing capable service flow execution is built to validate its effectiveness by a concrete scenario, PC manufacturing application.
2378122
Self-organized manufacturing resource management: An ant-colony inspired approach
In a typical manufacturing system, jobs are released from a production planning stage to a shop floor, where they are allocated to resources like machines. An optimal or near optimal schedule is generally found for those jobs. In reality, the execution of this schedule is often interrupted by dynamic events like unexpected incoming new jobs, machine breakdowns, etc. A rapid recovery or a self-organized feature of the interrupted schedule is desirable for manufacturing resource management. This paper proposes an ant-colony inspired approach to recover the interrupted schedule through a self-organization mechanism. The experiments show that this mechanism significantly improves the quality of the recovered schedules.
40834787
Petri-net-based context-related access control in workflow environment
Access control, which is one of the most important aspects of security services, is becoming increasingly an important challenge in workflow management systems. However, the traditional models of access control, such as the role-based access control (RBAC), are static models without recognition of the dynamic environments in which the workflows are rooted. These context-independent models rarely can meet the requirements that the highly dynamic environments raise. In this paper, we regard authorization as a dynamic process instead of the traditional static view and take two contextual factors into account: (1) the state of related authorization processes; and (2) the state of related process instances. Then, we propose a Petri-net-based model as a practical solution to the context-sensitive access control on this basis.
2098837
Semi-Supervised Regression for Evaluating Convenience Store Location
Location plays a very important role in the retail business due to its huge and long-term investment. In this paper, we propose a novel semisupervised regression model for evaluating convenience store location based on spatial data analysis. First, the input features for each convenience store can be extracted by analyzing the elements around it based on a geographic information system, and the turnover is used to evaluate its performance. Second, considering the practical application scenario, a manifold regularization model with one semi-supervised performance information constraint is provided. The promising experimental results in the real-world dataset demonstrate the effectiveness of the proposed approach in performance prediction of certain candidate locations for new convenience store opening.
2171580
Dependent Types with Subtyping and Late-Bound Overloading
We present a calculus with dependent types, subtyping, and late-bound overloading. Besides its theoretical interest this work is motivated by several practical needs that range form the definition of logic encodings to proof specialization and reuse and to object-oriented extension of the SML module system. The theoretical study of this calculus is not straightforward. While confluence is relatively easy to prove, subject reduction is much harder. We were not able to add overloading to any existing system with dependent types and subtyping, and prove subject reduction. This is why we also define here as by-product a new subtyping system for dependent types that improves previous systems and enjoys several properties (notably the transitivity elimination property). The calculus with overloading is then obtained as a conservative extension of this new system. Another difficult point is strong normalization, which is a necessary condition to the decidability of subtyping and typing relations. The calculus with overloading is not strongly normalizing. However, we show that a reasonably useful fragment of the calculus enjoys this property and that its strong normalization implies the decidability of its subtyping and typing relations. The article is divided into two parts: the first three scetions provide a general overview of the systems and its motivations and can be read separately; the remaining sections develop the formal study.
30192317
Modeling and Simulation of Continuous Time-Invariant Systems in Simulation Based Learning Environments
Simulation based learning environments are widely used in elementary and secondary science education. However, a large number of these learning environments are domain-dependent so that they are only useful in some special domains. In this paper, we put forward a new method of simulating continuous time-invariant systems by using frame based knowledge representation and interpretive structural modeling. This method is helpful to realize the separation of knowledge representation and simulation program, and promotes the reusability of a simulation based learning environment.
13987553
Assessment of Color Video Quality with Singular Value Decomposition of Complex Matrix
Most proposed video quality assessment approaches in the literature are only applied to the luminance layer of frame. Others are applied to luminance and chrominance layers respectively and then pooling by means of grayscale image quality metrics. In this paper, we proposed a full-reference objective video quality assessment called CMSVD,which treats luminance and chrominance parts as a whole and considers multiple factors of the human visual system(HVS)and video features. The algorithm is tested on the video quality experts group (VQEG) phase I FR-TV test data set.Experiments show that it has good correlation with perceived video quality.