Dy Ov sfunctional audit behaviour （DAB） and staff turnover are associated with decreased audit quality （Public ersight Board, 2000）. This study develops and tests a theoretical model that turnover intentions and l...Dy Ov sfunctional audit behaviour （DAB） and staff turnover are associated with decreased audit quality （Public ersight Board, 2000）. This study develops and tests a theoretical model that turnover intentions and locus of control as antecedents of attitudes toward DAB survey results from 225 auditors support the theoretical model identifies employee performance, Using a path analysis technique,展开更多
Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing in...Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.展开更多
There is a discharge control feature of construction diversion system with the upstream operational reservoir. The risk evaluation model of construction diversion is established by taking into consideration the risk f...There is a discharge control feature of construction diversion system with the upstream operational reservoir. The risk evaluation model of construction diversion is established by taking into consideration the risk factors of construction diversion system with discharge control feature as well as their composition. And the risk factors include the upstream operational reservoir discharge control, the interval flood and branch flood and the diversion system itself. And then based on analyzing of the conversion relation between risk index and investment index of diversion scheme, the risk control and conversion principals of diversion system are put forward, and the feasible diversion scheme model is built. At last, the risk and economic evaluation and scheme economic feasibility analysis method of diversion scheme are shown by an example of construction diversion scheme optimization with the discharge control condition of upstream hydropower station. The study is valuable for establishment and optimization of construction diversion scheme with upstream reservoir discharge control.展开更多
文摘Dy Ov sfunctional audit behaviour （DAB） and staff turnover are associated with decreased audit quality （Public ersight Board, 2000）. This study develops and tests a theoretical model that turnover intentions and locus of control as antecedents of attitudes toward DAB survey results from 225 auditors support the theoretical model identifies employee performance, Using a path analysis technique,
基金the European Union through the Network of Excellence Hybrid Control (HYCON) under contract IST-511368.
文摘Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.
基金National Natural Science Foundation of China ( No. 10902078 and No. 51079115)
文摘There is a discharge control feature of construction diversion system with the upstream operational reservoir. The risk evaluation model of construction diversion is established by taking into consideration the risk factors of construction diversion system with discharge control feature as well as their composition. And the risk factors include the upstream operational reservoir discharge control, the interval flood and branch flood and the diversion system itself. And then based on analyzing of the conversion relation between risk index and investment index of diversion scheme, the risk control and conversion principals of diversion system are put forward, and the feasible diversion scheme model is built. At last, the risk and economic evaluation and scheme economic feasibility analysis method of diversion scheme are shown by an example of construction diversion scheme optimization with the discharge control condition of upstream hydropower station. The study is valuable for establishment and optimization of construction diversion scheme with upstream reservoir discharge control.
