In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading m...In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.展开更多
This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust...This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust in supervisor, and managerial performance. One-hundred-fifty-eight useful responses were drawn at random from subordinate managers of manufacturing companies listed on the Taiwan Stock Exchange. The mediating effect of trust in supervisor was examined by path analysis. Subgroup analysis was used to examine the contingency effect of budget-goal difficulty on the mediating role of trust in supervisor between budget participation and performance. The findings support our hypotheses and demonstrate the mediating effect of trust in supervisor and the moderating effect of budget-goal difficulty.展开更多
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect ma...Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.展开更多
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.展开更多
The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the super...The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the supervisory system since the Qin Dynasty,the supervisory rules in the Ming Dynasty opened a new chapter of legal thoughts of monitoring.This paper started with the design of the supervisory institutions in the Ming Dynasty recorded in the historical materials such as the Memoir of Ming Dynasty and The Interpretive Supplements to"The Great Learning",to get a glimpse of the main content of the legal thoughts of supervisory at that time,and tried to"take history as a mirror"to provide insights and lessons of the legal thoughts of supervisory in the Ming Dynasty for the later generations.展开更多
The"Fengqiao Experience"has risen from the"local experience"in the early days to the"national experience"now.Although it has gone through twists and turns,it is full of exuberant and stro...The"Fengqiao Experience"has risen from the"local experience"in the early days to the"national experience"now.Although it has gone through twists and turns,it is full of exuberant and strong vitality.Fengqiao Experience is the experience of grass-roots mass governance based on people's livelihood and other factors,so this paper studies the challenges faced by the application of"Fengqiao Experience"and the internal relationship between the experience and people's livelihood from the perspective of people's livelihood and summarizes the realization path of carrying forward the"Fengqiao Experience"from the perspective of people's livelihood.Strengthening the construction of grass-roots Party organizations,taking the mass line and implementing autonomy,rule by virtue and rule by law are the ways to carry forward the"Fengqiao Experience"in the new era,which has certain guiding significance for reality.展开更多
This study aimed to assess the effect of customer verbal aggression(CVA)on job burnout(JB)in frontline employee in both hotels and travel agencies,trying to reveal if there is a difference between both sectors in this...This study aimed to assess the effect of customer verbal aggression(CVA)on job burnout(JB)in frontline employee in both hotels and travel agencies,trying to reveal if there is a difference between both sectors in this context.The study additionally tested the moderation role of perceived supervisor support(PSS)in the relation between customer verbal aggression and burnout in hotels and travel agencies.Two versions of the questionnaire were distributed online.The first among hotels employees and the second was addressed to travel agencies employees;613 were retrieved and analyzed using the version of Spss 23.0.The results showed a significant difference among the level of customer verbal aggression,job burnout,and perceived supervisor support in hotels and travel agencies.Although there was a significant relation between customer verbal aggression and job burnout among frontline employees in both settings,this relationship was moderated by PSS in hotels but not in travel agencies.Eventually,the study concludes with recommendations and practical managerial implications in this regard and it can be considered as a first step for helping practitioners to efficiently manage such a phenomenon.展开更多
This research is based on three northeastern double first-class polytechnic universities.A total of 1628 science and engineering graduate supervisors?resumes were referred to from an official website by the random sam...This research is based on three northeastern double first-class polytechnic universities.A total of 1628 science and engineering graduate supervisors?resumes were referred to from an official website by the random sampling method,of which only 500 supervisors were included in consideration of complete information,key events,and time in terms of the educational background(undergraduate school,graduate school,doctoral school,number of masters,number for Dr.),early work background(number of postdocs,number of overseas visits,numbers of research work),and the growth rate(period from graduation to associate professor title).The higher education background and early work background were defined as early experience,and the database of these 500 science and engineering graduate supervisors with complete resume information from three double first-class universities in northeastern China was established.In this study,the growth rate of the growth period was divided into two at the critical period:the growth rate of the graduate supervisor to associate professors.Through stepwise multiple regression analysis,it was found that higher education background(undergraduate schools,graduate schools,doctoral schools,as well as the number of master's and doctorate degrees)as well as early work background(number of postdoctoral work,research work,and overseas visits)have a significant impact on the growth rate of graduate supervisors to associate professors.展开更多
Promoting the unity of human nature and sociality in practice is a fundamental path dependence for achieving people's well-rounded development.Within the context of harmonious coexistence between humans and nature...Promoting the unity of human nature and sociality in practice is a fundamental path dependence for achieving people's well-rounded development.Within the context of harmonious coexistence between humans and nature,the practice of the unity of human nature and sociality is allowed to be truly implemented,and people's well-rounded development moves from possibility to reality.Strengthening the protection of human rights for people's well-rounded development in the harmonious coexistence between humans and nature not only requires the expansion of the connotations of environmental rights from“the right to a healthy environment”to“the right to a beautiful environment”,but also necessitates the formation of a collaborative framework between environmental rights and development rights.For legal responses to the expansion of the connotations of environmental rights,it is necessary to implement such expansions in environmental legislation,enhance the underlying principles,and make progress in the development of systematic environmental legislation simultaneously.Regarding the legal promotion of the synergy between environmental rights and development rights,it is essential to follow the guidance of the“Two Mountains Theory,”take the coordinated functions of environmental and traditional legal departments as the basis,and build a legal mechanism for the realization of the value of ecological products and services.展开更多
基金supported in part by the Public Technology Research Plan of Zhejiang Province (LGJ21F030001)the National Natural Science Foundation of China (62302448)the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies (2013E10012)。
文摘In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.
文摘This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust in supervisor, and managerial performance. One-hundred-fifty-eight useful responses were drawn at random from subordinate managers of manufacturing companies listed on the Taiwan Stock Exchange. The mediating effect of trust in supervisor was examined by path analysis. Subgroup analysis was used to examine the contingency effect of budget-goal difficulty on the mediating role of trust in supervisor between budget participation and performance. The findings support our hypotheses and demonstrate the mediating effect of trust in supervisor and the moderating effect of budget-goal difficulty.
基金the State Key Laboratory for Manufacturing System Engineering at Xi'an Jiaotong University. China.
文摘Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.
基金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.
基金Scientific Planning Project of Tianjin Philosophy and Social Science Monitoring the legal system and political trend-Research on the relationship between the Duchayuan during Tianqi period and the political situation of the late Ming DynastyProject No.TJFX19-002。
文摘The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the supervisory system since the Qin Dynasty,the supervisory rules in the Ming Dynasty opened a new chapter of legal thoughts of monitoring.This paper started with the design of the supervisory institutions in the Ming Dynasty recorded in the historical materials such as the Memoir of Ming Dynasty and The Interpretive Supplements to"The Great Learning",to get a glimpse of the main content of the legal thoughts of supervisory at that time,and tried to"take history as a mirror"to provide insights and lessons of the legal thoughts of supervisory in the Ming Dynasty for the later generations.
文摘The"Fengqiao Experience"has risen from the"local experience"in the early days to the"national experience"now.Although it has gone through twists and turns,it is full of exuberant and strong vitality.Fengqiao Experience is the experience of grass-roots mass governance based on people's livelihood and other factors,so this paper studies the challenges faced by the application of"Fengqiao Experience"and the internal relationship between the experience and people's livelihood from the perspective of people's livelihood and summarizes the realization path of carrying forward the"Fengqiao Experience"from the perspective of people's livelihood.Strengthening the construction of grass-roots Party organizations,taking the mass line and implementing autonomy,rule by virtue and rule by law are the ways to carry forward the"Fengqiao Experience"in the new era,which has certain guiding significance for reality.
文摘This study aimed to assess the effect of customer verbal aggression(CVA)on job burnout(JB)in frontline employee in both hotels and travel agencies,trying to reveal if there is a difference between both sectors in this context.The study additionally tested the moderation role of perceived supervisor support(PSS)in the relation between customer verbal aggression and burnout in hotels and travel agencies.Two versions of the questionnaire were distributed online.The first among hotels employees and the second was addressed to travel agencies employees;613 were retrieved and analyzed using the version of Spss 23.0.The results showed a significant difference among the level of customer verbal aggression,job burnout,and perceived supervisor support in hotels and travel agencies.Although there was a significant relation between customer verbal aggression and job burnout among frontline employees in both settings,this relationship was moderated by PSS in hotels but not in travel agencies.Eventually,the study concludes with recommendations and practical managerial implications in this regard and it can be considered as a first step for helping practitioners to efficiently manage such a phenomenon.
文摘This research is based on three northeastern double first-class polytechnic universities.A total of 1628 science and engineering graduate supervisors?resumes were referred to from an official website by the random sampling method,of which only 500 supervisors were included in consideration of complete information,key events,and time in terms of the educational background(undergraduate school,graduate school,doctoral school,number of masters,number for Dr.),early work background(number of postdocs,number of overseas visits,numbers of research work),and the growth rate(period from graduation to associate professor title).The higher education background and early work background were defined as early experience,and the database of these 500 science and engineering graduate supervisors with complete resume information from three double first-class universities in northeastern China was established.In this study,the growth rate of the growth period was divided into two at the critical period:the growth rate of the graduate supervisor to associate professors.Through stepwise multiple regression analysis,it was found that higher education background(undergraduate schools,graduate schools,doctoral schools,as well as the number of master's and doctorate degrees)as well as early work background(number of postdoctoral work,research work,and overseas visits)have a significant impact on the growth rate of graduate supervisors to associate professors.
基金phased achievement of the National Social Sciences Fund’s Major Project titled“Research on Legal Regulation of Biodiversity Protection under the Perspective of Holistic System”(Project No.19ZDA162)。
文摘Promoting the unity of human nature and sociality in practice is a fundamental path dependence for achieving people's well-rounded development.Within the context of harmonious coexistence between humans and nature,the practice of the unity of human nature and sociality is allowed to be truly implemented,and people's well-rounded development moves from possibility to reality.Strengthening the protection of human rights for people's well-rounded development in the harmonious coexistence between humans and nature not only requires the expansion of the connotations of environmental rights from“the right to a healthy environment”to“the right to a beautiful environment”,but also necessitates the formation of a collaborative framework between environmental rights and development rights.For legal responses to the expansion of the connotations of environmental rights,it is necessary to implement such expansions in environmental legislation,enhance the underlying principles,and make progress in the development of systematic environmental legislation simultaneously.Regarding the legal promotion of the synergy between environmental rights and development rights,it is essential to follow the guidance of the“Two Mountains Theory,”take the coordinated functions of environmental and traditional legal departments as the basis,and build a legal mechanism for the realization of the value of ecological products and services.