Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

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.

Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events

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 Design of Supervisory Institutions in the Ming Dynasty and Its Enlightenment to Modern Society

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.

Cognitive Supervisor for an Autonomous Swarm of Robots

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.

Reliable Train Network with Active Supervisor

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.

The Effect of Customer Verbal Aggression on Burnout in Frontline Employees in Hotels and Travel Agencies: The Moderating Role of Perceived Supervisor Support

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.

Research on the Influence of Early Experience on the Growth Rate of Science and Engineering Graduate Supervisors

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.

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

僵局回避问题为与灵活路由生产系统自动化被调查。基于系统的 Petri 网络模型，第一次，这篇论文建议完美的最大的资源转变电路和他们的浸透的状态的概念。这个概念便于实时海角描述和死锁回避 Petri 让监督人赚的系统的开发。僵局作为到达他们的浸透的状态的一些完美的 maximalresource 转变电路被描绘。为生产系统，它不包含中心资源的一个大班，最佳的僵局回避 Petri 网监督人被介绍。为一个一般生产系统，一个方法为减少 systemPetri 网络模型被建议以便减少的模型不包含中心资源并且因此，让最佳的死锁回避 Petri 捕捞监督人。控制减少的 Petri 网模型当时能是使用的著名计算机生产厂商他系统的实时海角监督人。

Synthesis of Petri net supervisors enforcing general constraints

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.

托幼机构管理者自主选学式培训的作用:以加拿大阿尔伯塔省为例

赋予教育工作者以专业发展自主权被认为是影响培训质量和教育质量的重要一环。在高质量发展背景下托幼机构管理者在参与专业培训时能否实现赋权增能至关重要。基于人力资源管理的AMO理论模型,加拿大阿尔伯塔省的托幼机构管理者自主选学式培训从能力提升、动机激发、机会保障三个维度保障了托幼机构管理者的培训自主权:常态化的培训模式与灵活多样的培训内容与形式,帮助托幼机构管理者提升了专业素养和自主选学能力;自我晋升制度与自我评估机制,帮助托幼机构管理者实现了专业发展的自我驱动力;AECEA专业协会为自主选学式培训提供了规范引领和组织保障,专项经费投入与管理保障了托幼机构管理者自主专业发展的必要条件。自主选学式培训对提升托幼机构管理者专业培训的积极性和有效性具有一定的借鉴意义。

上下级工作与私人关系对员工越轨创新行为的差异性研究

在整合人情-面子理论和资源保存理论的基础上,通过Bootstrapping和RWA-Web两种方法对7家企业的257份多时点追踪调查数据进行分析,比较领导-成员交换关系和上下级私人关系影响员工越轨创新行为的直接效应和中介效应的差异。研究结果表明:领导-成员交换关系正向影响员工越轨创新行为;心理资本分别在领导-成员交换关系或上下级私人关系与员工越轨创新行为间发挥部分或完全中介作用;两类关系对员工越轨创新行为的积极影响存在差异,领导-成员交换关系的效应更强。

某三甲医院导师学术领导力评价现状及影响因素研究

目的采用量表法调查某医院导师学术领导力及导学关系现状,并进一步分析此二者之间的关系。方法2020年1-2月间,采用学术导师领导力、苛责行为及“领导-下属”交换关系量表抽样调查该医院在读研究生,组间差异比较采用独立样本t检验、方差分析进行,组间的相关性采用Pearson或Spearman等级相关分析及多元线性回归分析。结果158名在读学生参与调查,受调查者学术导师领导力量表(ASLS)、苛责行为量表(ABMS)、“领导-下属”交换关系量表(LMXS)评分分别为(112.23±19.01)分、(16.26±5.55)分、(29.80±4.94)分,得分率分别为89.80%、21.70%、85.10%。分组比较后发现,不同指导频次导师在ASLS发展和激励维度及LMXS得分差异有统计学意义。导师指导频次与ASLS发展和激励维度及LMXS得分正相关,ABMS与ASLS及LMXS评分负相关,LMXS与ASLS评分正相关。可拟出回归方程ASLS=40.422-0.816ABMS+2.799LMXS(F=52.031、P<0.001、R2=0.722)。结论不同指导频次导师在ASLS发展和激励维度及LMXS得分差异有统计学意义。指导频次正向影响、苛责行为负向影响学术导师领导力及导学关系评分,导学关系正向影响学术领导力评分。呼吁高校相关部门高度重视对导师学术领导力的认识、评价和培养,组织导师培训项目,促进良好导学关系的建立,提高导师的学术领导力。

导师“立德树人”育人能力的提升策略与评价机制

当前国际环境纷繁复杂,国内发展面临新挑战,经济下行压力进一步加大,牢牢把握研究生教育的政治方向,对推动科技创新、促进社会发展具有关键作用。为此,根据研究生招生规模与研究生教育质量之间的不协调,提出导师育人能力的提升途径和方法。通过明确导师育人为本、德育为先的重要性,从治身、治学、育心、育才四个方面建立合理的研究生导师评价体系。导师育人能力是提升研究生培养质量的关键,导师评价体系则是促进导师育人能力的保障,两者相辅相成,为发挥研究生导师“立德树人”第一责任人的作用在培养模式和制度举措方面提供理论指导。

导师视角下博士生培养过程中的挑战与质量控制——基于C大学博士生导师的问卷调查研究

本研究通过对C大学33位博士生导师进行问卷调查,收集博士生导师对博士生科研、学位论文写作、导师指导论文以及论文质量流程控制的评价,分析博士生导师在博士学位论文指导和论文质量控制方面所遇到的挑战,并探讨如何提高博士生培养质量。研究结果表明,导师对博士研究生的科研情况基本认可,但学生科研能力仍存在提升的空间;学生在科研兴趣、理解课题关键问题的能力、创新能力以及知识结构方面需要改进和提升;多数导师认为应完善论文质量控制流程及其相关制度。本研究为进一步提高博士生培养质量提供了有益的参考。

员工家庭经济压力何以促进工作重塑行为:压力转换视角

基于压力转换理论,建立一个被调节的中介模型,探讨家庭经济压力情境下如何经由员工的积极应对策略对工作重塑产生影响,以及家庭支持型主管行为在上述关系中的调节作用。对311名员工进行多时点的追踪数据分析显示,家庭经济压力促进员工工作重塑,而员工的积极应对策略中介了该过程;家庭支持型主管行为在其中起到调节作用,即当主管表现出更多的家庭支持行为时,增强家庭经济压力对工作重塑的影响,且积极应对策略的中介作用更为显著;反之,则不显著。在企业管理的实践中,当员工面临家庭经济压力,管理者应多激励员工采取积极应对策略,从而激发组织员工在工作中更加积极主动。

基于OBE理念的地理学研究生导师指导机制研究

研究生导师在研究生培养中起着重要作用,其指导模式和方法关系到研究生的培养质量。从地理学专业研究生培养目标出发,梳理现阶段研究生导师在指导模式方面存在的问题。基于OBE教育理念,从研究生导师遴选、导师团队协作、导师引领机制三方面完善研究生团队指导机制;结合地理学专业特色,从沟通机制、交流、传帮带和注重科研实践四方面建立导师工作机制。可充分发挥导师指导作用提高研究生培养质量,也可为导师队伍建设和导师工作机制完善提供借鉴和参考。

个性化工作协议对员工越轨创新的影响机制研究

随着员工个性化需求的不断增加,个性化工作协议已成为人力资源管理实践的一种有效工具。基于资源保存理论,文章探讨个性化工作协议促发员工越轨创新的作用机制和边界条件,验证反馈寻求行为的中介作用以及上下级关系在该机制中的调节作用。通过373份样本数据的验证,结果发现:个性化工作协议对员工越轨创新具有显著正向作用;反馈寻求行为在个性化工作协议和员工越轨创新之间起部分中介作用;上下级关系能够强化个性化工作协议通过反馈寻求行为影响员工越轨创新的间接效应。研究结论不仅拓展了个性化工作协议的理论研究视角,更为组织充分发挥个性化工作协议的有效性提供了实践指导。