Public Building Supervisors＇ Assessment of Site Progress Record Keeping Practices in Abuja, Nigeria

The importance of good site progress records in quality assurance; tracking project progress; preparing, analyzing and resolving claims; and placing responsibilities in the event of dispute in building contracts is widely recognized. This study engaged Public Building Supervisors in the assessment of site progress record keeping practices in Abuja. A simple structured questionnaire （which mainly assessed the nature and importance of records kept, reasons for keeping them; level of satisfaction with the current approach, challenges and practical ways of improving the practice） was administrated to a hundred of the supervisors, out of which seventy one was properly completed and returned. The results show that all five site progress documents （minutes of progress meetings, day-work sheets, photographs, weekly site records and personal site diaries） found in literature, are in use in Abuja, and have at least a high importance rating （i.e., relative importance index, 0.6 〈 RII 〈 0.8）. Prominent among the reasons for keeping the records are： control of ongoing work （R11 = 0.83） data for estimating future works and terms of contract requirement （each with RII = 0.823）. Though the present record keeping practices were largely assessed satisfactory, 95% of the Supervisors still yearned for improvement. The challenges to the current practice are consistent with those identified in literature and are： continuity consistency, legibility and accountability; in descending order of frequency of occurrence. Computerization, regular inspection of progress documents by assigned supervisors and in-house training of site staff are recommended for improving the record keeping practices.

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.

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.

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

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.

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.

Smaller & Smarter: Score-Driven Network Chaining of Smaller Language Models

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.

Natural Awareness:Environmental Protection Supervisors and Their Guide

ZHOU Youhong works to inform students about environmental protection. Enthusiastic about her work, she spreads knowledge to element college and secondary school students. She said only when she began studying in university did she realize the harm of industrial pollution. She said she hopes through her efforts she can help the younger generation realize the value of environmental protection.

上海市试点推进医疗机构疾控监督员制度创新探索与实践

上海市推进医疗机构疾控监督员制度试点工作,以系统集成理念探索试点制度创新,推动打造预防、治疗、管理一体化的医疗服务模式。选取浦东、长宁、嘉定作为试点区,开展多元路径实践,推出多项创新举措,探索疾控监督员驻点模式,形成了行之有效的经验做法,提高重大传染病疫情早发现、早报告、早处置能力,建立了可借鉴、可复制的工作样板。同时,也指出了当前面临能力建设、激励机制等问题和挑战,提出了未来高质量推进疾控监督员制度建设的工作举措。

Perfection solutions of supervisory audit in Chinese listed companies

Operational mechanism of supervisory audit in Chinese listed companies is not ideal, the supervisory effect of the listed company rely on features of supervisors＇ board and member of the supervisors＇ board. Based on the comparison of supervisory audit in Britain, Germany, France and Japan, and the empirical research on 100 listed companies in a share market, the paper analyses supervisory audit in Chinese listed companies, and proposes some perfection solutions to strengthen supervisory audit.

分布式实时计算引擎——Storm研究

本文介绍了一种分布式实时计算引擎——Storm,它具有简单、高性能、高可靠、可伸缩等特点,并且支持广泛的编程语言。本文不仅介绍了Storm的架构和特性,还结合实例演示了使用Strom进行实时计算的具体过程。过去十年在数据处理（dataprocessing）领域发生了一场革命，MapReduce，Hadoop和其他相关技术的出现，已经使数据处理系统的存储能力、计算能力、伸缩能力达到了之前无法想象的高度。

多核、虚拟化、多操作系统的软件趋势

本文介绍了时下关于多核的最新话题,包括多核和虚拟化之间的关系,以解多处理器和多核的不同之处,乃至当今多操作系统下的Supervisor和Hypervisor之间的关系,最后简要介绍了风河公司在多核和多操作系统方面的技术战略。

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.

曲宁松 特种加工技术专家

随着航空制造业的不断发展,电化学加工技术已被广泛应用。首先请您简单介绍一下电化学加工技术及装备在国内的发展和应用现状,以及与国外的主要差距表现在哪些方面？

NOVELL网络用户管理初探

文章从NOVELL网的特点出发 。

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.

Design and evaluation of a hierarchical control architecture for an autonomous underwater vehicle

This paper researches on a kind of control architecture for autonomous undelwater vehicle （AUV）. After describing the hybrid property of the AUV control system, we present the hierarchical AUV control architecture. The architecture is organized in three layers： mission layer, task layer and execution layer. State supervisor and task coordinator are two key modules handling discrete events, so we describe these two modules in detail. Finally, we carried out a series of tests to verify this architecture The test results show that the AUV can perform autonomous missions effectively and safely. We can conclude the control architecture is valid and practical.

Reinforcement Learning Behavioral Control for Nonlinear Autonomous System

Behavior-based autonomous systems rely on human intelligence to resolve multi-mission conflicts by designing mission priority rules and nonlinear controllers.In this work,a novel twolayer reinforcement learning behavioral control(RLBC)method is proposed to reduce such dependence by trial-and-error learning.Specifically,in the upper layer,a reinforcement learning mission supervisor(RLMS)is designed to learn the optimal mission priority.Compared with existing mission supervisors,the RLMS improves the dynamic performance of mission priority adjustment by maximizing cumulative rewards and reducing hardware storage demand when using neural networks.In the lower layer,a reinforcement learning controller(RLC)is designed to learn the optimal control policy.Compared with existing behavioral controllers,the RLC reduces the control cost of mission priority adjustment by balancing control performance and consumption.All error signals are proved to be semi-globally uniformly ultimately bounded(SGUUB).Simulation results show that the number of mission priority adjustment and the control cost are significantly reduced compared to some existing mission supervisors and behavioral controllers,respectively.

英语世界中的“导师”概念及其职责辨析——兼论中西方“导师”用语及其职责的差别与当代启示

借由日语进入汉语的“导师”一词在英语世界中有三个常被混用的词汇——mentor、advisor及supervisor。经词源考辨,这三个词的内涵分别侧重引导、建议和监管,其外延范围广泛且不局限于专指研究生导师。当“导师”作为研究生导师使用时,其职责主要体现在为研究生提供学术、情感和职业支持。mentor大致属于“高学术、高情感、高职业”支持型,advisor大致属于“中学术、高情感、中职业”支持型,supervisor大致属于“高学术、低情感、低职业”支持型。对比中国与英美国家研究生导师的概念及职责发现,双方“导师”的职责均涉及上述三个职责维度。但是,英美国家的研究生导师因其用词的变化常蕴含职责侧重上的微妙差别,而中国的研究生导师则对研究生负有全面的指导职责。这一研究对于研究者在研究生教育领域开展精准的学术对话,进而深刻把握英美国家的导师制度及其与中国的差别具有重要的意义。

Assessment of Clinical Learning Environment, Supervision (CLES) among Nursing Students, Hyderabad, Sindh, Pakistan

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年）,北京航空材料研究院原总工程师,国家国防科工局大型飞机材料研制规划专家组组长,