This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrolla...This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.展开更多
It is only the observable part of the real world that can be stored in data. For such incomplete and ill-structured data, data crystallizing aims at presenting the hidden structure among events including unobservable ...It is only the observable part of the real world that can be stored in data. For such incomplete and ill-structured data, data crystallizing aims at presenting the hidden structure among events including unobservable events. This is realized by data crystallization, where dummy items, corresponding to potential existence ofunobservable events, are inserted to the given data. These dummy items and their relations with observable events are visualized by applying KeyGraph to the data with dummy items, like the crystallization of snow where dusts are involved in the formation of crystallization of water molecules. For tuning the granularity level of structure to be visualized, the tool of data crystallization is integrated with human＇s process of understanding significant scenarios in the real world. This basic method is expected to be applicable for various real world domains where previous methods of chance-discovery lead human to successful decision making. In this paper, we apply the data crystallization with human-interactive annealing （DCHA） to the design of products in a real company. The results show its effect to industrial decision making.展开更多
This paper analyzes the adoption dynamics of improved rainfed maize seeds disseminated in Senegal in 2013 by the West African Agricultural Productivity Program (WAAPP). We group maize producers into five groups (non-a...This paper analyzes the adoption dynamics of improved rainfed maize seeds disseminated in Senegal in 2013 by the West African Agricultural Productivity Program (WAAPP). We group maize producers into five groups (non-adopters, laggards/abandoners, late adopters, followers and pioneers/innovators) and take into account the heterogeneity of unobservable characteristics of the producers. In the pioneers/innovators group, the availability of labour, household size, shocks, and frequency of access to advice positively influence adoption, whereas financial constraints and high numbers of plots reduce the probability of adoption. Producers in the followers’ category tend to be older and more educated than those in the other categories. However, food insecurity and shocks such as diseases hamper adoption. For the group of late adopters, household size and available storage infrastructures explain adoption. However, the number of plots and shocks reduces their probability of adoption. Laggards tend to face shocks and food insecurity. The authors recommend to consider the dynamics of the adoption of technological innovations and heterogeneity of the characteristics of adopters groups in future research. They also recommend farmers to increase their adoption rate of the “Early Thai” and “Suwan 1” seed varieties thanks to their higher yields compared to traditional varieties. Also, a higher adoption rate would positively impact the food security of maize farmers in Eastern Senegal and High Casamance, especially in terms of availability. Other studies measuring the number of years needed for large-scale adoption of improved seed varieties should be conducted.展开更多
The observability problem of switched linear singular（SLS） systems is studied in this paper. Based on the observability definition, the unobservable subspaces of given switching laws are investigated under the condi...The observability problem of switched linear singular（SLS） systems is studied in this paper. Based on the observability definition, the unobservable subspaces of given switching laws are investigated under the condition that all subsystems are regular. A necessary condition and a sufficient condition for observability of SLS systems are given. It is shown that the observability and controllability are dual for some special SLS systems with circulatory switching laws. The method developed here is applicable to the observability analysis of normal switched linear systems.展开更多
This paper investigates an M/M/1 constant retrial queue with reserved time and vacations.A new arriving customer will take up the server and accept service immediately if the server is idle.Otherwise,if the server is ...This paper investigates an M/M/1 constant retrial queue with reserved time and vacations.A new arriving customer will take up the server and accept service immediately if the server is idle.Otherwise,if the server is busy or on vacation,customers have to join a retrial orbit and wait for retry.Once a service is completed,the server will reserve a random time to seek a customer from the orbit at a constant retrial rate.If there is no arrivals(from the orbit or outside)during the idle period,to save energy,the server will take a vacation.This paper studies the fully unobservable case.First,the steady-state condition of the system is analyzed by using the Foster’s criterion,and the customers’expected waiting time is obtained based on the generating function technique.And then,by introducing an appropriate revenue structure,the equilibrium strategies of customers and the socially optimal strategy are all derived.Furthermore,a comparison between them is made and the effect of some main system parameters is studied.展开更多
Purpose-The border control becomes challenging when a protected region is large and there is a limited number of border patrols.This research paper proposes a novel heuristic-based patrol path planning scheme in order...Purpose-The border control becomes challenging when a protected region is large and there is a limited number of border patrols.This research paper proposes a novel heuristic-based patrol path planning scheme in order to efficiently patrol with resource scarcity.Design/methodology/approach-The trespasser influencing score,which is determined from the environmental characteristics and trespassing statistic of the region,is used as a heuristic for measuring a chance of approaching a trespasser.The patrol plan is occasionally updated with a new trespassing statistic during a border operation.The performance of the proposed patrol path planning scheme was evaluated and compared with other patrol path planning schemes by the empirical experiment under different scenarios.Findings-The result from the experiment indicates that the proposed patrol planning outperforms other patrol path planning schemes in terms of the trespasser detection rate,when more environment-aware trespassers are in the region.Research limitations/implications-The experiment was conducted through simulated agents in simulated environment,which were assumed to mimic real behavior and environment.Originality/value-This research paper contributes a heuristic-based patrol path planning scheme that applies the environmental characteristics and dynamic statistic of the region,as well as a border surveillance problem model that would be useful for mobile sensor planning in a border surveillance application.展开更多
基金Project supported by the National Natural Science Foundation of China (No. 60504024), Zhejiang Provincial Education Department(No. 20050905), and "151 Talent Project" of Zhejiang Province,China
文摘This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.
文摘It is only the observable part of the real world that can be stored in data. For such incomplete and ill-structured data, data crystallizing aims at presenting the hidden structure among events including unobservable events. This is realized by data crystallization, where dummy items, corresponding to potential existence ofunobservable events, are inserted to the given data. These dummy items and their relations with observable events are visualized by applying KeyGraph to the data with dummy items, like the crystallization of snow where dusts are involved in the formation of crystallization of water molecules. For tuning the granularity level of structure to be visualized, the tool of data crystallization is integrated with human＇s process of understanding significant scenarios in the real world. This basic method is expected to be applicable for various real world domains where previous methods of chance-discovery lead human to successful decision making. In this paper, we apply the data crystallization with human-interactive annealing （DCHA） to the design of products in a real company. The results show its effect to industrial decision making.
文摘This paper analyzes the adoption dynamics of improved rainfed maize seeds disseminated in Senegal in 2013 by the West African Agricultural Productivity Program (WAAPP). We group maize producers into five groups (non-adopters, laggards/abandoners, late adopters, followers and pioneers/innovators) and take into account the heterogeneity of unobservable characteristics of the producers. In the pioneers/innovators group, the availability of labour, household size, shocks, and frequency of access to advice positively influence adoption, whereas financial constraints and high numbers of plots reduce the probability of adoption. Producers in the followers’ category tend to be older and more educated than those in the other categories. However, food insecurity and shocks such as diseases hamper adoption. For the group of late adopters, household size and available storage infrastructures explain adoption. However, the number of plots and shocks reduces their probability of adoption. Laggards tend to face shocks and food insecurity. The authors recommend to consider the dynamics of the adoption of technological innovations and heterogeneity of the characteristics of adopters groups in future research. They also recommend farmers to increase their adoption rate of the “Early Thai” and “Suwan 1” seed varieties thanks to their higher yields compared to traditional varieties. Also, a higher adoption rate would positively impact the food security of maize farmers in Eastern Senegal and High Casamance, especially in terms of availability. Other studies measuring the number of years needed for large-scale adoption of improved seed varieties should be conducted.
基金the National Natural Science Foundation of China (No. 90405017, 60274021, 60334040)China Postdoctoral Science Foundation (No.20060400415)the 973 Program of China (No. 2002CB312205)
文摘The observability problem of switched linear singular（SLS） systems is studied in this paper. Based on the observability definition, the unobservable subspaces of given switching laws are investigated under the condition that all subsystems are regular. A necessary condition and a sufficient condition for observability of SLS systems are given. It is shown that the observability and controllability are dual for some special SLS systems with circulatory switching laws. The method developed here is applicable to the observability analysis of normal switched linear systems.
文摘This paper investigates an M/M/1 constant retrial queue with reserved time and vacations.A new arriving customer will take up the server and accept service immediately if the server is idle.Otherwise,if the server is busy or on vacation,customers have to join a retrial orbit and wait for retry.Once a service is completed,the server will reserve a random time to seek a customer from the orbit at a constant retrial rate.If there is no arrivals(from the orbit or outside)during the idle period,to save energy,the server will take a vacation.This paper studies the fully unobservable case.First,the steady-state condition of the system is analyzed by using the Foster’s criterion,and the customers’expected waiting time is obtained based on the generating function technique.And then,by introducing an appropriate revenue structure,the equilibrium strategies of customers and the socially optimal strategy are all derived.Furthermore,a comparison between them is made and the effect of some main system parameters is studied.
文摘Purpose-The border control becomes challenging when a protected region is large and there is a limited number of border patrols.This research paper proposes a novel heuristic-based patrol path planning scheme in order to efficiently patrol with resource scarcity.Design/methodology/approach-The trespasser influencing score,which is determined from the environmental characteristics and trespassing statistic of the region,is used as a heuristic for measuring a chance of approaching a trespasser.The patrol plan is occasionally updated with a new trespassing statistic during a border operation.The performance of the proposed patrol path planning scheme was evaluated and compared with other patrol path planning schemes by the empirical experiment under different scenarios.Findings-The result from the experiment indicates that the proposed patrol planning outperforms other patrol path planning schemes in terms of the trespasser detection rate,when more environment-aware trespassers are in the region.Research limitations/implications-The experiment was conducted through simulated agents in simulated environment,which were assumed to mimic real behavior and environment.Originality/value-This research paper contributes a heuristic-based patrol path planning scheme that applies the environmental characteristics and dynamic statistic of the region,as well as a border surveillance problem model that would be useful for mobile sensor planning in a border surveillance application.
