An expert system on a personal computer has been developed for diagnosis of malfunction of the fast experimental reactor “JOYO”. Prolog-KABA is used as the language. The system diagnoses the event which causes scram...
详细信息
An expert system on a personal computer has been developed for diagnosis of malfunction of the fast experimental reactor “JOYO”. Prolog-KABA is used as the language. The system diagnoses the event which causes scram or set-back of the control rod after an alarm at steady state operation. The knowledge base (KB) consists of several sub-KBs and a meta-KB. Using the forward chaining, the meta-KB decides which sub-KB should be accessed. The cause of the malfunction is identified in the sub-KB using the backward chaining. The terms expressing the characteristics of the events are involved in the production rules as attributes in order to use the Prolog function of pattern matching and back-tracking for efficient inference. The total number of the rules in the system is about 400. The experiments using the plant simulator of “JOYO” have shown that malfunctions are successfully identified by the diagnosis system. It takes about 10 s for each diagnosis using the 16-bits personal computer, PC-9801 VM.
At present, engineering students must learn an adequate programming language that allows them to easily automate typical problems. This result is more important when we require an adequate graphical representation of ...
详细信息
At present, engineering students must learn an adequate programming language that allows them to easily automate typical problems. This result is more important when we require an adequate graphical representation of the problem, as is usually done in engineering. This study presents an optimal programming language for quality control analysis. The results show that Visual Basic for Applications is the most adequate language that reduces the programming time;moreover, it is compatible with limited resources. (C) 2009 Wiley Periodicals, Inc. Comput Appl Eng Educ 20: 187-192, 2012;View this article online at ***/journal/cae;DOI 10.1002/cae.20384
The paper describes a high level interactive conversational language L-A-S (Linear Algebra and Systems) used in analysis and design of linear control systems. The L-A-S language is written in FOR-TRAN-IV (DEC-PDP 10) ...
详细信息
The paper describes a high level interactive conversational language L-A-S (Linear Algebra and Systems) used in analysis and design of linear control systems. The L-A-S language is written in FOR-TRAN-IV (DEC-PDP 10) but its use does not require the knowledge of standard programming languages. Modular structure of the language permits easy modification updating and extensions. The syntax and semantics are simple and straightforward so that familiarity with the language may be easily attained.
Deep learning accelerators(DLAs)have been proved to be efficient computational devices for processing deep learning *** DLA architectures are proposed and applied to different applications and ***,for most DLAs,their ...
详细信息
Deep learning accelerators(DLAs)have been proved to be efficient computational devices for processing deep learning *** DLA architectures are proposed and applied to different applications and ***,for most DLAs,their programming interfaces are either difficult to use or not efficient *** DLAs require programmers to directly write instructions,which is time-consuming and *** prevailing programming interface for DLAs is high-performance libraries and deep learning frameworks,which are easy to be used and very friendly to users,but their high abstraction level limits their control capacity over the hardware resources thus compromises the efficiency of the accelerator.A design of the programming interface is for *** various existing DLAs and their programming methods are analyzed and a methodology for designing programming interface for DLAs is proposed,which is a high-level assembly language(called DLA-AL),assembler and runtime for ***-AL is composed of a low-level assembly language and a set of high-level *** allows experienced experts to fully exploit the potential of DLAs and achieve near-optimal ***,by using DLA-AL,end-users who have little knowledge of the hardware are able to develop deep learning algorithms on DLAs spending minimal programming efforts.
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of d...
详细信息
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of design by contract, which underlies the design of the Eiffel analysis, design, and programming language and of the supporting libraries, from which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed
In order to improve the reliability of software, programmers have first to detect program errors and then remove them. Further investigation is needed into a more sophisticated programming and debugging environment. A...
详细信息
In order to improve the reliability of software, programmers have first to detect program errors and then remove them. Further investigation is needed into a more sophisticated programming and debugging environment. An environment is presented that involves a debugging tool to aid in detection of logic errors and efficient removal of them. The debugging tool is supported by a special model named SPRING, which was originally developed for reliable execution of Ada or PASCAL programs. Following an overview of the system backed up by SPRING, the details of SPRING architecture are characterized, and the implementation of high-level debugging on the SPRING model is discussed. In conclusion, the trial could be viewed as a step toward providing an advanced programming environment for the evolution of reliable software.
In some contexts, especially in safety or security critical applications, it may be crucial to verify that the interactive behaviour of these systems possess certain formally expressed properties. Our project is to de...
详细信息
In some contexts, especially in safety or security critical applications, it may be crucial to verify that the interactive behaviour of these systems possess certain formally expressed properties. Our project is to describe the interactive behaviour of a system by building an abstract formal model of it and to verify automatically that this behaviour possesses the required properties. In this paper we suggest to use data flows for this purpose. We use the formal language Lustre to denote such flows. This language permits to express safety temporal properties and to build some syntactical structures in order to verify and test them by using appropriate tools.
This paper presents an inheritance flow model, which represents the inheritance relationships among classes as a flow graph. A flow operation is associated with each attribute and method in a class to denote the defin...
详细信息
This paper presents an inheritance flow model, which represents the inheritance relationships among classes as a flow graph. A flow operation is associated with each attribute and method in a class to denote the defined (redefined) or inherited member. An inherited member can be deemed as being handled by a sequence of how operations along a path in the flow graph. This model provides several analyses in a class hierarchy, such as implicit inherited member and polymorphic method invocation. These analyses may be applied in various fields of software engineering, such as static analysis, maintenance, and complexity measurement. (C) 1998 Elsevier Science B.V. All rights reserved.
The IEC (International Electrotechnical Commission) 61131-3 standard defines several programming languages which may be used to develop industrial control applications. These applications typically execute on industri...
详细信息
The IEC (International Electrotechnical Commission) 61131-3 standard defines several programming languages which may be used to develop industrial control applications. These applications typically execute on industrial PLCs (Programmable Logic Controller). PLC vendors have embraced the first version of this standard [3], with each vendor adopting it at its own pace. As the standard is implemented, several deficiencies have been uncovered. In this paper deficiencies identified by the authors during the implementation of a compiler, compliant with the second version of the standard 141, are explained and analysed. Other deficiencies identified by other authors have also been aggregated and explained. For each deficiency, one or more suggestions (including changes to the formal syntax definition) are made as to how the standard could be changed in order to rectify the deficiency. (C) 2010 Elsevier B.V. All rights reserved.
暂无评论