期刊文献+
共找到1,745篇文章
< 1 2 88 >
每页显示 20 50 100
Statistical Control and Investigation of Capability of Process and Machine in Wire Cut Edm Process of Gas Turbine Blade Airfoil Tip
1
作者 Ahmad Reza Fazeli Ebrahim Sharifi 《Engineering(科研)》 2011年第3期260-265,共6页
Statistical process control (spc), as one of the quality devices, can be help manufacturers improve the quality of their products in today’s competitive world. This research examines the statistical method of wire-cu... Statistical process control (spc), as one of the quality devices, can be help manufacturers improve the quality of their products in today’s competitive world. This research examines the statistical method of wire-cut electric discharge machining (WEDM) process of the turbine blade airfoil tip for control and consistency of the process. For this purpose, the standard deviation control chart, S, and the average data, , which are applied for identifying the acquired factors, have been used. Next, regarding the plan features, the manufacturing process is assessed to determine whether the products meet quality and the customer requirements or not. Therefore, the coefficients Cpk is applied which indicate the capability of the manufacturing process. Then, in order to produce high quality blades within the tolerance range, the capability of WEDM machine is examined, using coefficients CM. Finally, it is shown that in order to produce the desired product, the process can be controlled and fixed by using the statistical process control devices and inspecting the standard deviation of data and investigation of capability of process and machine. 展开更多
关键词 statistical process control WEDM CAPABILITY of process and machine
下载PDF
基于Statistical Process Control风险等级判定及神经网络模型构建珠海市传染病指数
2
作者 周伴群 戴晓捷 +2 位作者 尹锡玲 李德云 肖峻峰 《中国当代医药》 CAS 2022年第5期143-147,F0004,共6页
目的建立珠海市传染病指数预报模型,为传染病风险预测预报提供思路。方法利用统计过程控制(SPC)的控制下限、中线和控制上限划分全市2014—2017年以周次为时间计量单位的流感样病例比例、手足口病及其他感染性腹泻发病率的风险等级(布... 目的建立珠海市传染病指数预报模型,为传染病风险预测预报提供思路。方法利用统计过程控制(SPC)的控制下限、中线和控制上限划分全市2014—2017年以周次为时间计量单位的流感样病例比例、手足口病及其他感染性腹泻发病率的风险等级(布雷图指数采用5、10、20判定)。运用长短时记忆神经网络模型(LSTM)和自回归移动平均模型(ARIMA)对2018年15~19周数据进行预测。计算传染病指数并将预测值与实际值对比进而评估预测一致性。结果珠海市手足口病发病率LSTM模型中,测试集MSE为9.0441,RMSE为3.0073,训练集MSE为1.1812,RMSE为1.0868。其余模型在训练集和测试集均表现良好,没有出现过拟合现象。风险指数等级预测与实际值对比,预测一致率为96.0%。结论利用SPC划分风险等级,运用LSTM等构建传染病指数预测模型可行。 展开更多
关键词 传染病指数 统计过程控制 长短时记忆神经网络模型
下载PDF
Multivariate Statistical Process Monitoring and Control: Recent Developments and Applications to Chemical Industry 被引量:39
3
作者 梁军 钱积新 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2003年第2期191-203,共13页
Multivariate statistical process monitoring and control (MSPM&C) methods for chemical process monitoring with statistical projection techniques such as principal component analysis (PCA) and partial least squares ... Multivariate statistical process monitoring and control (MSPM&C) methods for chemical process monitoring with statistical projection techniques such as principal component analysis (PCA) and partial least squares (PLS) are surveyed in this paper. The four-step procedure of performing MSPM&C for chemical process, modeling of processes, detecting abnormal events or faults, identifying the variable(s) responsible for the faults and diagnosing the source cause for the abnormal behavior, is analyzed. Several main research directions of MSPM&C reported in the literature are discussed, such as multi-way principal component analysis (MPCA) for batch process, statistical monitoring and control for nonlinear process, dynamic PCA and dynamic PLS, and on-line quality control by inferential models. Industrial applications of MSPM&C to several typical chemical processes, such as chemical reactor, distillation column, polymerization process, petroleum refinery units, are summarized. Finally, some concluding remarks and future considerations are made. 展开更多
关键词 multivariate statistical process monitoring and control (MSPM&C) fault detection and isolation (FDI) principal component analysis (PCA) partial least squares (PLS) quality control inferential model
下载PDF
Integrated Statistical and Engineering Process Control Based on Smooth Transition Autoregressive Model 被引量:1
4
作者 张晓蕾 何桢 《Transactions of Tianjin University》 EI CAS 2013年第2期147-156,共10页
Traditional studies on integrated statistical process control and engineering process control (SPC-EPC) are based on linear autoregressive integrated moving average (ARIMA) time series models to describe the dynamic n... Traditional studies on integrated statistical process control and engineering process control (SPC-EPC) are based on linear autoregressive integrated moving average (ARIMA) time series models to describe the dynamic noise of the system.However,linear models sometimes are unable to model complex nonlinear autocorrelation.To solve this problem,this paper presents an integrated SPC-EPC method based on smooth transition autoregressive (STAR) time series model,and builds a minimum mean squared error (MMSE) controller as well as an integrated SPC-EPC control system.The performance of this method for checking the trend and sustained shift is analyzed.The simulation results indicate that this integrated SPC-EPC control method based on STAR model is effective in controlling complex nonlinear systems. 展开更多
关键词 statistical process control engineering process control time series STAR model AUTOCORRELATION
下载PDF
A novel Q-based online model updating strategy and its application in statistical process control for rubber mixing 被引量:2
5
作者 Chunying Zhang Sun Chen +1 位作者 Fang Wu Kai Song 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2015年第5期796-803,共8页
To overcome the large time-delay in measuring the hardness of mixed rubber, rheological parameters were used to predict the hardness. A novel Q-based model updating strategy was proposed as a universal platform to tra... To overcome the large time-delay in measuring the hardness of mixed rubber, rheological parameters were used to predict the hardness. A novel Q-based model updating strategy was proposed as a universal platform to track time-varying properties. Using a few selected support samples to update the model, the strategy could dramat- ically save the storage cost and overcome the adverse influence of low signal-to-noise ratio samples. Moreover, it could be applied to any statistical process monitoring system without drastic changes to them, which is practical for industrial practices. As examples, the Q-based strategy was integrated with three popular algorithms (partial least squares (PIE), recursive PIE (RPLS), and kernel PIE (KPIE)) to form novel regression ones, QPLS, QRPIE and QKPLS, respectively. The applications for predicting mixed rubber hardness on a large-scale tire plant in east China prove the theoretical considerations. 展开更多
关键词 Online model updating Rubber mixingQ statistic Hardness Rheological parameters statistical process control
下载PDF
Study on Quality and Safety Trust Early Warning of Dairy Products Based on Statistical Process Control
6
作者 Xiao FAN 《Asian Agricultural Research》 2017年第10期63-67,71,共6页
In order to solve such problems as lack of dynamic evaluation system in evaluation of quality and safety trust of dairy products,and weak awareness of prevention,it is necessary to introduce the statistical process co... In order to solve such problems as lack of dynamic evaluation system in evaluation of quality and safety trust of dairy products,and weak awareness of prevention,it is necessary to introduce the statistical process control into the quality and safety trust evaluation system of dairy products,and establish quality and safety trust early warning model for dairy products,so as to determine the control limit of control chart and carry out early warning according to eight criteria. According to the empirical results,the statistical process control is helpful for finding the hidden process risks and providing the necessary basis for enterprises taking positive measures to raise the confidence of consumers. 展开更多
关键词 statistical process control Dairy products Quality and safety trust Early warning
下载PDF
Application of Statistical Process Control for Setting Action Thresholds as Quality Assurance of Dose Verifications in External Beam Radiotherapy
7
作者 Philip Kioko Ndonye Samuel Nii Adu Tagoe 《International Journal of Medical Physics, Clinical Engineering and Radiation Oncology》 2022年第1期22-35,共14页
Purpose: To test the concept of Statistical Process Control (SPC) as a Quality Assurance (QA) procedure for dose verifications in external beam radiation therapy in conventional and 3D Conformal Radiotherapy (3D-CRT) ... Purpose: To test the concept of Statistical Process Control (SPC) as a Quality Assurance (QA) procedure for dose verifications in external beam radiation therapy in conventional and 3D Conformal Radiotherapy (3D-CRT) treatment of cervical cancer. Materials and Methods: A study of QA verification of target doses of 198 cervical cancer patients undergoing External Beam Radiotherapy (EBRT) treatments at two different cancer treatment centers in Kenya was conducted. The target doses were determined from measured entrance doses by the diode in vivo dosimetry. Process Behavior Charts (PBC) developed by SPC were applied for setting Action Thresholds (AT) on the target doses. The AT set was then proposed as QA limits for acceptance or rejection of verified target doses overtime of the EBRT process. Result and Discussion: Target doses for the 198 patients were calculated and SPC applied to test whether the action limits set by the Process Behavior Charts could be applied as QA for verified doses in EBRT. Results for the two sub-groups of n = 3 and n = 4 that were tested produced action thresholds which are within clinical dose specifications for both conventional AP/PA and 3D-CRT EBRT treatment techniques for cervical cancer. Conclusion: Action thresholds set by SPC were within the clinical dose specification of ±5% uncertainty for both conventional AP/PA and 3D-CRT EBRT treatment techniques for cervical cancer. So the concept of SPC could be applied in setting QA action limits for dose verifications in EBRT. 展开更多
关键词 Quality Assurance statistical process control Action Thresholds Dose Verification External Beam Radiation Therapy
下载PDF
Assessing the Awareness and Usage of Quality Control Tools with Emphasis to Statistical Process Control (SPC) in Ethiopian Manufacturing Industries
8
作者 Leakemariam Berhe Tesfay Gidey 《Intelligent Information Management》 2016年第6期143-169,共27页
Introduction: The present work was devoted to assess the awareness and usage of quality control tools with the emphasis on statistical process control in Ethiopian manufacturing industries. Semi structured questionnai... Introduction: The present work was devoted to assess the awareness and usage of quality control tools with the emphasis on statistical process control in Ethiopian manufacturing industries. Semi structured questionnaire has been employed to executive and technical managers of manufacturing industries of various size and specialism across the country. Stratified random sample method by region was used to select sample industries for the study. The samples used for this study are industries mainly from Oromiya, Addis Ababa, Tigray, Amara, SNNP and Diredawa regions proportional to their size of the available industries. Methods: Exploratory method and descriptive statistics was used for data analysis. Available documents and reports related to quality control policy of the selected companies were investigated. Results and Discussions: The number of manufacturing industries involved in this study was 44. Of the sampled manufacturing industries about 60% are from Oromiya and Addis Ababa regions. It has been reported that 100% of the respondents said that the importance of quality control tools is very important to their organizations’ productivity and quality improvement (Figure 3). Quality control professionals were also asked the extent to which quality control system is working in their industry and majority of the respondents (45%) have indicated that quality control system is working to some extent in their respective industries (Figure 18). Conclusions and Recommendations: Most of the quality department of the industries did not fully recognize the importance of statistical process control as quality control tools. This is mainly due to lack of awareness and motivation of the top managements, shortage of man power in the area, and others together would make it difficult to apply quality control tools in their organization. In general, the industries in Ethiopia are deficient in vigor and found to be stagnant hence less exposed to a highly competitive market and don’t adopt the latest quality control techniques in order to gain knowledge about systems to improve quality and operational performance. We conclude that quality management system has to be established as an independent entity with a real power and hence the quality control department which is responsible for quality can make an irreversible decision with respect to quality of any given product. Moreover, the concerned bodies (government and ministry of industries) should give attention and work together with universities to ensure how these statistical process control techniques could be incorporated in a curriculum of the universities at higher levels in degree and masters programs. Furthermore, different trainings which could improve quality and efficiency of their respective management system should be given as short and long term to the employees including top and middle managers found in various industries relevant to their process. 展开更多
关键词 Quality Products AWARENESS USAGE statistical process control Ethiopia
下载PDF
Tufting Carpet Machine Information Model Based on Object Linking and Embedding for Process Control Unified Architecture
9
作者 GUO Xiang CHI Xinfu SUN Yize 《Journal of Donghua University(English Edition)》 CAS 2021年第1期43-50,共8页
In view of the lack of research on the information model of tufting carpet machine in China,an information modeling method based on Object Linking and Embedding for Process Control Unified Architecture(OPC UA)framewor... In view of the lack of research on the information model of tufting carpet machine in China,an information modeling method based on Object Linking and Embedding for Process Control Unified Architecture(OPC UA)framework was proposed to solve the problem of“information island”caused by the differentiated data interface between heterogeneous equipment and system in tufting carpet machine workshop.This paper established an information model of tufting carpet machine based on analyzing the system architecture,workshop equipment composition and information flow of the workshop,combined with the OPC UA information modeling specification.Subsequently,the OPC UA protocol is used to instantiate and map the information model,and the OPC UA server is developed.Finally,the practicability of tufting carpet machine information model under the OPC UA framework and the feasibility of realizing the information interconnection of heterogeneous devices in the tufting carpet machine digital workshop are verified.On this basis,the cloud and remote access to the underlying device data are realized.The application of this information model and information integration scheme in actual production explores and practices the application of OPC UA technology in the digital workshop of tufting carpet machine. 展开更多
关键词 tufting carpet machine digital workshop information model Object Linking and Embedding for process control Unified Architecture(OPC UA) INTERCONNECTION
下载PDF
Graph-based Lexicalized Reordering Models for Statistical Machine Translation
10
作者 SU Jinsong LIU Yang +1 位作者 LIU Qun DONG Huailin 《China Communications》 SCIE CSCD 2014年第5期71-82,共12页
Lexicalized reordering models are very important components of phrasebased translation systems.By examining the reordering relationships between adjacent phrases,conventional methods learn these models from the word a... Lexicalized reordering models are very important components of phrasebased translation systems.By examining the reordering relationships between adjacent phrases,conventional methods learn these models from the word aligned bilingual corpus,while ignoring the effect of the number of adjacent bilingual phrases.In this paper,we propose a method to take the number of adjacent phrases into account for better estimation of reordering models.Instead of just checking whether there is one phrase adjacent to a given phrase,our method firstly uses a compact structure named reordering graph to represent all phrase segmentations of a parallel sentence,then the effect of the adjacent phrase number can be quantified in a forward-backward fashion,and finally incorporated into the estimation of reordering models.Experimental results on the NIST Chinese-English and WMT French-Spanish data sets show that our approach significantly outperforms the baseline method. 展开更多
关键词 natural language processing statistical machine translation lexicalized reordering model reordering graph
下载PDF
SINGLE MACHINE SCHEDULING WITH CONTROLLABLE PROCESSING TIMES AND COMPRESSION COSTS (PART I:EQUAL TIMES AND COSTS) 被引量:1
11
作者 TANGGUOCHUN FOULDS,L.R. 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 1998年第4期417-426,共10页
Abstract Most papers in scheduling research have treated individual job processing times as fixed parameters. However, in many practical situations, a manager may control processing time by reallocating resources. In ... Abstract Most papers in scheduling research have treated individual job processing times as fixed parameters. However, in many practical situations, a manager may control processing time by reallocating resources. In this paper, authors consider a machine scheduling problem with controllable processing times. In the first part of this paper, a special case where the processing times and compression costs are uniform among jobs is discussed. Theoretical results are derived that aid in developing an O(n 2) algorithm to slove the problem optimally. In the second part of this paper, authors generalize the discussion to general case. An effective heuristic to the general problem will be presented. 展开更多
关键词 machine scheduling problems controllable processing times uniform compression timeand cost dominance set lateness crash activities polynomial time algorithm
全文增补中
SINGLE MACHINE SCHEDULING WITH CONTROLLABLE PROCESSING TIMES AND COMPRESSION COSTS : PROOF OF THEOREMS
12
作者 TANGGUOCHUN FOULDS,L.R. 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 1998年第4期427-436,共10页
Abstract This report is virtually the appendix part of the author's previous paper which includes the proofs for the theorems and lemmas.
关键词 machine scheduling problems controllable processing times uniform compression time and cost dominance set lateness crash activities polynomial time algorithm
全文增补中
CPS Modeling of CNC Machine Tool Work Processes Using an Instruction-Domain Based Approach 被引量:19
13
作者 Jihong Chen Jianzhong Yang +5 位作者 Huicheng Zhou Hua Xiang Zhihong Zhu Yesong Li Chen-Han Lee Guangda Xu 《Engineering》 SCIE EI 2015年第2期247-260,共14页
Building cyber-physical system(CPS) models of machine tools is a key technology for intelligent manufacturing. The massive electronic data from a computer numerical control(CNC) system during the work processes of a C... Building cyber-physical system(CPS) models of machine tools is a key technology for intelligent manufacturing. The massive electronic data from a computer numerical control(CNC) system during the work processes of a CNC machine tool is the main source of the big data on which a CPS model is established. In this work-process model, a method based on instruction domain is applied to analyze the electronic big data, and a quantitative description of the numerical control(NC) processes is built according to the G code of the processes. Utilizing the instruction domain, a work-process CPS model is established on the basis of the accurate, real-time mapping of the manufacturing tasks, resources, and status of the CNC machine tool. Using such models, case studies are conducted on intelligent-machining applications, such as the optimization of NC processing parameters and the health assurance of CNC machine tools. 展开更多
关键词 cyber-physical system (CPS) big data computer numerical control (CNC) machine tool electronic data of work processes instruction domain intelligent machining
下载PDF
Support Vector Machine-Based Nonlinear System Modeling and Control 被引量:1
14
作者 张浩然 韩正之 +1 位作者 冯瑞 于志强 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2003年第3期53-58,共6页
This paper provides an introduction to a support vector machine, a new kernel-based technique introduced in statistical learning theory and structural risk minimization, then presents a modeling-control framework base... This paper provides an introduction to a support vector machine, a new kernel-based technique introduced in statistical learning theory and structural risk minimization, then presents a modeling-control framework based on SVM. At last a numerical experiment is taken to demonstrate the proposed approach's correctness and effectiveness. 展开更多
关键词 Support vector machine statistical learning theory Nonlinear systems Modeling and control.
下载PDF
Adaptive control of machining process based on extended entropy square error and wavelet neural network 被引量:2
15
作者 赖兴余 叶邦彦 +1 位作者 李伟光 鄢春艳 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2007年第3期349-353,共5页
Combining information entropy and wavelet analysis with neural network,an adaptive control system and an adaptive control algorithm are presented for machining process based on extended entropy square error(EESE)and w... Combining information entropy and wavelet analysis with neural network,an adaptive control system and an adaptive control algorithm are presented for machining process based on extended entropy square error(EESE)and wavelet neural network(WNN).Extended entropy square error function is defined and its availability is proved theoretically.Replacing the mean square error criterion of BP algorithm with the EESE criterion,the proposed system is then applied to the on-line control of the cutting force with variable cutting parameters by searching adaptively wavelet base function and self adjusting scaling parameter,translating parameter of the wavelet and neural network weights.Simulation results show that the designed system is of fast response,non-overshoot and it is more effective than the conventional adaptive control of machining process based on the neural network.The suggested algorithm can adaptively adjust the feed rate on-line till achieving a constant cutting force approaching the reference force in varied cutting conditions,thus improving the machining efficiency and protecting the tool. 展开更多
关键词 machining process adaptive control extended entropy square error wavelet neural network
下载PDF
New Method for Multivariate Statistical Process Monitoring 被引量:1
16
作者 裴旭东 陈祥光 刘春涛 《Journal of Beijing Institute of Technology》 EI CAS 2010年第1期92-98,共7页
A new method using discriminant analysis and control charts is proposed for monitoring multivariate process operations more reliably.Fisher discriminant analysis (FDA) is used to derive a feature discriminant direct... A new method using discriminant analysis and control charts is proposed for monitoring multivariate process operations more reliably.Fisher discriminant analysis (FDA) is used to derive a feature discriminant direction (FDD) between each normal and fault operations,and each FDD thus decided constructs the feature space of each fault operation.Individuals control charts (XmR charts) are used to monitor multivariate processes using the process data projected onto feature spaces.Upper control limit (UCL) and lower control limit (LCL) on each feature space from normal process operation are calculated for XmR charts,and are used to distinguish fault from normal.A variation trend on an XmR chart reveals the type of relevant fault operation.Applications to Tennessee Eastman simulation processes show that this proposed method can result in better monitoring performance than principal component analysis (PCA)-based methods and can better identify step type faults on XmR charts. 展开更多
关键词 Fisher discriminant analysis individuals control chart multivariate statistical process monitoring
下载PDF
Generalized Predictive Control with Online Least Squares Support Vector Machines 被引量:41
17
作者 LI Li-Juan SU Hong-Ye CHU Jian 《自动化学报》 EI CSCD 北大核心 2007年第11期1182-1188,共7页
这份报纸基于能有效地处理非线性的系统的联机最少的广场支持向量机器(LS-SVM ) 建议一个实际概括预兆的控制(GPC ) 算法。在每个采样时期,算法递归地由增加新数据对并且在实时性质上从考虑删除最不重要的修改模型。删除的数据对被 lag... 这份报纸基于能有效地处理非线性的系统的联机最少的广场支持向量机器(LS-SVM ) 建议一个实际概括预兆的控制(GPC ) 算法。在每个采样时期,算法递归地由增加新数据对并且在实时性质上从考虑删除最不重要的修改模型。删除的数据对被 lagrange 的绝对值从最后一个采样时期更多样地决定。当增加新数据对并且删除存在的时,纸给模型参数的递归的算法分别地,一个大矩阵的倒置被避免,存储器能被算法完全控制。非线性的 LS-SVM 模型在每个采样时期在 GPC 算法被使用。抵销过程的 pH 上的概括预兆的控制的实验显示出建议算法的有效性和实物。 展开更多
关键词 普遍预测控制 支持向量机 联机模型 pH补偿过程 模糊控制
下载PDF
VPLS Based Quality and Cost Control for Tennessee Eastman Process 被引量:1
18
作者 宋凯 王海清 李平 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2005年第1期62-67,共6页
Product quality and operation cost control obtain increasing emphases in modern chemical system engineering. To improve the fault detection power of the partial least square (PLS) method for quality control, a new QRP... Product quality and operation cost control obtain increasing emphases in modern chemical system engineering. To improve the fault detection power of the partial least square (PLS) method for quality control, a new QRPV statistic is proposed in terms of the VP (variable importance in projection) indices of monitored process variables, which is significantly advanced over and different from the conventional Q statistic. QRPV is calculated only by the residuals of the remarkable process variables (RPVs). Therefore, it is the dominant relation between quality and RPV not all process variables (as in the case of the conventional PLS) that is monitored by this new VP-PLS (VPLS) method. The combination of QRPV and T2 statistics is applied to the quality and cost control of the Tennessee Eastman (TE) process, and weak faults can be detected as quickly as possible. Consequently, the product quality of TE process is guaranteed and operation costs are reduced. 展开更多
关键词 partial least squares method Tennessee Eastman process statistical quality control cost control on-line monitoring
下载PDF
An Integrated Use of Advanced T2 Statistics and Neural Network and Genetic Algorithm in Monitoring Process Disturbance 被引量:1
19
作者 Xiuhong WANG 《Journal of Software Engineering and Applications》 2009年第5期335-343,共9页
Integrated use of statistical process control (SPC) and engineering process control (EPC) has better performance than that by solely using SPC or EPC. But integrated scheme has resulted in the problem of “Window of O... Integrated use of statistical process control (SPC) and engineering process control (EPC) has better performance than that by solely using SPC or EPC. But integrated scheme has resulted in the problem of “Window of Opportunity” and autocorrelation. In this paper, advanced T2 statistics model and neural networks scheme are combined to solve the above problems: use T2 statistics technique to solve the problem of autocorrelation;adopt neural networks technique to solve the problem of “Window of Opportunity” and identification of disturbance causes. At the same time, regarding the shortcoming of neural network technique that its algorithm has a low speed of convergence and it is usually plunged into local optimum easily. Genetic algorithm was proposed to train samples in this paper. Results of the simulation ex-periments show that this method can detect the process disturbance quickly and accurately as well as identify the dis-turbance type. 展开更多
关键词 T2 statistICS Neural Networks statistical process control Engineering process control GENETIC Algorithm
下载PDF
Formal Reduction of Interfaces to Large-scale Process Control Systems
20
作者 Walter Hussak 《International Journal of Automation and computing》 EI 2007年第4期413-421,共9页
A formal methodology is proposed to reduce the amount of information displayed to remote human operators at interfaces to large-scale process control plants of a certain type. The reduction proceeds in two stages. In ... A formal methodology is proposed to reduce the amount of information displayed to remote human operators at interfaces to large-scale process control plants of a certain type. The reduction proceeds in two stages. In the first stage, minimal reduced subsets of components, which give full information about the state of the whole system, are generated by determining functional dependencies between components. This is achieved by using a temporal logic proof obligation to check whether the state of all components can be inferred from the state of components in a subset in specified situations that the human operator needs to detect, with respect to a finite state machine model of the system and other human operator behavior. Generation of reduced subsets is automated with the help of a temporal logic model checker. The second stage determines the interconnections between components to be displayed in the reduced system so that the natural overall graphical structure of the system is maintained. A formal definition of an aesthetic for the required subgraph of a graph representation of the full system, containing the reduced subset of components, is given for this purpose. The methodology is demonstrated by a case study. 展开更多
关键词 Finite state machines process control temporal logic user interfaces user modeling.
下载PDF
上一页 1 2 88 下一页 到第
使用帮助 返回顶部