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.展开更多
With the continuous evolution and expanding applications of Large Language Models (LLMs), there has been a noticeable surge in the size of the emerging models. It is not solely the growth in model size, primarily meas...With the continuous evolution and expanding applications of Large Language Models (LLMs), there has been a noticeable surge in the size of the emerging models. It is not solely the growth in model size, primarily measured by the number of parameters, but also the subsequent escalation in computational demands, hardware and software prerequisites for training, all culminating in a substantial financial investment as well. In this paper, we present novel techniques like supervision, parallelization, and scoring functions to get better results out of chains of smaller language models, rather than relying solely on scaling up model size. Firstly, we propose an approach to quantify the performance of a Smaller Language Models (SLM) by introducing a corresponding supervisor model that incrementally corrects the encountered errors. Secondly, we propose an approach to utilize two smaller language models (in a network) performing the same task and retrieving the best relevant output from the two, ensuring peak performance for a specific task. Experimental evaluations establish the quantitative accuracy improvements on financial reasoning and arithmetic calculation tasks from utilizing techniques like supervisor models (in a network of model scenario), threshold scoring and parallel processing over a baseline study.展开更多
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.展开更多
In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such syst...In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such systems is defined.Its admissible markings and first-met inadmissible markings(FIMs)are introduced.Next,place invariants are designed via an integer linear program(ILP)to survive all admissible markings and prohibit all FIMs,keeping the underlying system from reaching deadlocks,livelocks,bad markings,and the markings that may evolve into them by firing uncontrollable transitions.ILP also ensures that the obtained deadlock-free supervisor does not observe any unobservable transition.In addition,the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added arcs.The condition under which the supervisor is maximally permissive in behavior is given.Finally,experimental results with the proposed method and existing ones are given to show its effectiveness.展开更多
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.展开更多
As a sequel to our recent work [1], in which a control framework was developed for large-scale joint swarms of unmanned ground (UGV) and aerial (UAV) vehicles, the present paper proposes cognitive and meta-cognitive s...As a sequel to our recent work [1], in which a control framework was developed for large-scale joint swarms of unmanned ground (UGV) and aerial (UAV) vehicles, the present paper proposes cognitive and meta-cognitive supervisor models for this kind of distributed robotic system. The cognitive supervisor model is a formalization of the recently Nobel-awarded research in brain science on mammalian and human path integration and navigation, performed by the hippocampus. This is formalized here as an adaptive Hamiltonian path integral, and efficiently simulated for implementation on robotic vehicles as a pair of coupled nonlinear Schr?dinger equations. The meta-cognitive supervisor model is a modal logic of actions and plans that hinges on a weak causality relation that specifies when atoms may change their values without specifying that they must change. This relatively simple logic is decidable yet sufficiently expressive to support the level of inference needed in our application. The atoms and action primitives of the logic framework also provide a straight-forward way of connecting the meta-cognitive supervisor with the cognitive supervisor, with other modules, and to the meta-cognitive supervisors of other robotic platforms in the swarm.展开更多
In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the ente...In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the entertainment. A supervisory controller runs on top of the two controllers and the two entertainment servers. Contrary to a similar model in the literature, the Supervisory node replaces a Controller as soon as it fails (Active Supervisor). All system states are analyzed and simulated using OPNET. It is shown that, for all states, this architecture has zero control packets dropped and the end-to-end delay is below the maximum target delay. A comparison between this Active model and the other model in the literature is presented. It is found that the entertainment in this new architecture is kept available for the passengers in more of the system states when compared to the architecture previously presented in the literature.展开更多
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.展开更多
Background: In nursing education for better teaching and essential professional skills, the clinical practice plays a substantial role. Practice at clinical settings permits students to convert theoretic knowledge int...Background: In nursing education for better teaching and essential professional skills, the clinical practice plays a substantial role. Practice at clinical settings permits students to convert theoretic knowledge into the knowledge of the skills mandatory for the care of the patient. Clinical learning environment (CLE) is an important part in education of nursing and has a sizable influence on the students’ learning. Objective: The purpose of this study is to examine perception and satisfaction of nursing students with their CLEs in Hyderabad, Pakistan. Methods: This cross-sectional study was conducted at three nursing institutes of Hyderabad from December 2018 to January 2019 among 342 nursing students. Clinical Learning Environment, Supervision and Nurse Teacher (CLES + T) assessment tool was used as the instrument to identify the students’ perception about the learning environment in clinical setting. Results: The mean age of the participants was 25.6 ± 4.93 with majority of them male (70.7%). Three domains, pedagogical atmosphere, supervisory relationship and nurse teacher role in clinical practice showed good reliability of more than 70%. Highest domains vise mean score was obtained for nursing premises on the ward (3.315) whereas lowest for nurse teacher role in clinical practice (NT) (3.062). Analysis of variance revealed that three domains supervisory relationship, leadership style of the ward manager and premises of nursing showed significant mean score difference among supervisor title. Conclusion: It was found that students valued positive supervision, ward manager leadership style premises of nursing on the ward as positive CLE. Learning environment varies between gender, clinical settings and supervision. Medicine ward appeared to deliver the finest learning situations for the nursing program.展开更多
吴学仁WU Xueren中航工业资深首席技术专家Senior Technical Fellow of AVIC中国航发北京航空材料研究院研究员、博士生导师Professor and Ph D Supervisor of AECC Beijing Institute of Aeronautical Materials瑞典皇家理工学院博士(...吴学仁WU Xueren中航工业资深首席技术专家Senior Technical Fellow of AVIC中国航发北京航空材料研究院研究员、博士生导师Professor and Ph D Supervisor of AECC Beijing Institute of Aeronautical Materials瑞典皇家理工学院博士(1983年),北京航空材料研究院原总工程师,国家国防科工局大型飞机材料研制规划专家组组长,展开更多
基金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.
文摘With the continuous evolution and expanding applications of Large Language Models (LLMs), there has been a noticeable surge in the size of the emerging models. It is not solely the growth in model size, primarily measured by the number of parameters, but also the subsequent escalation in computational demands, hardware and software prerequisites for training, all culminating in a substantial financial investment as well. In this paper, we present novel techniques like supervision, parallelization, and scoring functions to get better results out of chains of smaller language models, rather than relying solely on scaling up model size. Firstly, we propose an approach to quantify the performance of a Smaller Language Models (SLM) by introducing a corresponding supervisor model that incrementally corrects the encountered errors. Secondly, we propose an approach to utilize two smaller language models (in a network) performing the same task and retrieving the best relevant output from the two, ensuring peak performance for a specific task. Experimental evaluations establish the quantitative accuracy improvements on financial reasoning and arithmetic calculation tasks from utilizing techniques like supervisor models (in a network of model scenario), threshold scoring and parallel processing over a baseline study.
基金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.
基金supported by the National Natural Science Foundation of China(61773206)the Natural Science Foundation of Jiangsu Province of China(BK20170131)+1 种基金Jiangsu Overseas Visiting Scholar Program for University Prominent Young&Middle-aged Teachers and Presidents(2019-19)the Deanship of Scientific Research(DSR)at King Abdulaziz University(RG-20-135-38)。
文摘In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such systems is defined.Its admissible markings and first-met inadmissible markings(FIMs)are introduced.Next,place invariants are designed via an integer linear program(ILP)to survive all admissible markings and prohibit all FIMs,keeping the underlying system from reaching deadlocks,livelocks,bad markings,and the markings that may evolve into them by firing uncontrollable transitions.ILP also ensures that the obtained deadlock-free supervisor does not observe any unobservable transition.In addition,the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added arcs.The condition under which the supervisor is maximally permissive in behavior is given.Finally,experimental results with the proposed method and existing ones are given to show its effectiveness.
基金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.
文摘As a sequel to our recent work [1], in which a control framework was developed for large-scale joint swarms of unmanned ground (UGV) and aerial (UAV) vehicles, the present paper proposes cognitive and meta-cognitive supervisor models for this kind of distributed robotic system. The cognitive supervisor model is a formalization of the recently Nobel-awarded research in brain science on mammalian and human path integration and navigation, performed by the hippocampus. This is formalized here as an adaptive Hamiltonian path integral, and efficiently simulated for implementation on robotic vehicles as a pair of coupled nonlinear Schr?dinger equations. The meta-cognitive supervisor model is a modal logic of actions and plans that hinges on a weak causality relation that specifies when atoms may change their values without specifying that they must change. This relatively simple logic is decidable yet sufficiently expressive to support the level of inference needed in our application. The atoms and action primitives of the logic framework also provide a straight-forward way of connecting the meta-cognitive supervisor with the cognitive supervisor, with other modules, and to the meta-cognitive supervisors of other robotic platforms in the swarm.
文摘In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the entertainment. A supervisory controller runs on top of the two controllers and the two entertainment servers. Contrary to a similar model in the literature, the Supervisory node replaces a Controller as soon as it fails (Active Supervisor). All system states are analyzed and simulated using OPNET. It is shown that, for all states, this architecture has zero control packets dropped and the end-to-end delay is below the maximum target delay. A comparison between this Active model and the other model in the literature is presented. It is found that the entertainment in this new architecture is kept available for the passengers in more of the system states when compared to the architecture previously presented in the literature.
文摘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.
文摘Background: In nursing education for better teaching and essential professional skills, the clinical practice plays a substantial role. Practice at clinical settings permits students to convert theoretic knowledge into the knowledge of the skills mandatory for the care of the patient. Clinical learning environment (CLE) is an important part in education of nursing and has a sizable influence on the students’ learning. Objective: The purpose of this study is to examine perception and satisfaction of nursing students with their CLEs in Hyderabad, Pakistan. Methods: This cross-sectional study was conducted at three nursing institutes of Hyderabad from December 2018 to January 2019 among 342 nursing students. Clinical Learning Environment, Supervision and Nurse Teacher (CLES + T) assessment tool was used as the instrument to identify the students’ perception about the learning environment in clinical setting. Results: The mean age of the participants was 25.6 ± 4.93 with majority of them male (70.7%). Three domains, pedagogical atmosphere, supervisory relationship and nurse teacher role in clinical practice showed good reliability of more than 70%. Highest domains vise mean score was obtained for nursing premises on the ward (3.315) whereas lowest for nurse teacher role in clinical practice (NT) (3.062). Analysis of variance revealed that three domains supervisory relationship, leadership style of the ward manager and premises of nursing showed significant mean score difference among supervisor title. Conclusion: It was found that students valued positive supervision, ward manager leadership style premises of nursing on the ward as positive CLE. Learning environment varies between gender, clinical settings and supervision. Medicine ward appeared to deliver the finest learning situations for the nursing program.
文摘吴学仁WU Xueren中航工业资深首席技术专家Senior Technical Fellow of AVIC中国航发北京航空材料研究院研究员、博士生导师Professor and Ph D Supervisor of AECC Beijing Institute of Aeronautical Materials瑞典皇家理工学院博士(1983年),北京航空材料研究院原总工程师,国家国防科工局大型飞机材料研制规划专家组组长,