发布求助
文献互助 智能选刊 最新文献

Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications最新文献

筛选
英文 中文
The application of differential logic to test vector generation for diagnosis 差分逻辑在测试向量生成诊断中的应用
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13279
G. Porter
{"title":"The application of differential logic to test vector generation for diagnosis","authors":"G. Porter","doi":"10.1109/AIIA.1988.13279","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13279","url":null,"abstract":"The author describes the use of differential logic as a theoretical basis for test vector generation for the diagnosis of digital logic. In particular, he focuses on methods of formulating test requirements into a set of equations which can either be solved to obtain test vector solutions or can provide constraints for the solution search in underconstrained cases. The method is based on a formalism called differential logic. The theory for differential logic was developed in modeling behavior and detection of the variation due to changes in parameters or structures during the process of analogical reasoning.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"170 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129416858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A knowledge-based configurer for embedded computer systems software: real life experience 基于知识的嵌入式计算机系统软件配置器:真实生活经验
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13355
K. Hakkarainen, P. Kemppainen, A. Karjalainen
{"title":"A knowledge-based configurer for embedded computer systems software: real life experience","authors":"K. Hakkarainen, P. Kemppainen, A. Karjalainen","doi":"10.1109/AIIA.1988.13355","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13355","url":null,"abstract":"The authors present a knowledge-based system that automatically configures complex embedded computer software and hardware in high-volume industrial production. This knowledge-based configurer was implemented to meet two primary goals in large-scale industrial embedded system production: to conform with just-in-time production requirements, and to ensure the efficiency of producing software. The system has been in real-life production use at several sites for more than two years, and the experiences justify both the underlying concepts and the implementation. The authors discuss the application and the implementation aspects, and summarize the experience gained from over two years' maintenance and enhancement. Particular attention is given to application-modelling and knowledge-representation issues.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"346 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124274574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Computer-based filamentous microorganism identification support system 基于计算机的丝状微生物鉴定支持系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13307
M. Hiraoka, K. Tsumura, I. Enbutsu, Y. Yamamoto
{"title":"Computer-based filamentous microorganism identification support system","authors":"M. Hiraoka, K. Tsumura, I. Enbutsu, Y. Yamamoto","doi":"10.1109/AIIA.1988.13307","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13307","url":null,"abstract":"A computer-based filamentous microorganism identification support system was developed to assist field operators who encounter the bulking problem in a waste water treatment plant using the activated sludge process. An image processing system monitors the amount of the filamentous bacteria. If anything unusual happens, the filamentous/microorganism identification support system starts. The system leads an operator toward its user model, and identifies the type of the predominant filamentous bacteria. Based on the result of identification, a control is carried out and the effect of this control action is monitored by the identification support system. If the bulking is suppressed, the support system stops. Hardware and software features of the system are described.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123918651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Toward the expert system for scheduling problems 针对专家系统的调度问题
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13353
K. Satoh, F. Honda, H. Hara, H. Matsumoto
{"title":"Toward the expert system for scheduling problems","authors":"K. Satoh, F. Honda, H. Hara, H. Matsumoto","doi":"10.1109/AIIA.1988.13353","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13353","url":null,"abstract":"A framework is described which consists of the concepts of machines and jobs. In this framework, two methods for solving scheduling problems are proposed. The first method, called the heuristic placement method, selects a job using a heuristic algorithm, and then determines the position on time sequence, of machine processing. The second method, called the shakedown and compaction method, is an interactive improvement method. This method formulates initial job sequences by relaxing several constraints. Simple iterative operations are then used to improve job sequences for satisfying all constraints. Experimental results are presented on both of these methods. In addition, a system which consists of a job-modifier and a job-allocator is described.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121755392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Application of knowledge engineering techniques to electric power system restoration 知识工程技术在电力系统修复中的应用
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13312
Y. Kojima, S. Warashina, M. Kato, H. Watanabe
{"title":"Application of knowledge engineering techniques to electric power system restoration","authors":"Y. Kojima, S. Warashina, M. Kato, H. Watanabe","doi":"10.1109/AIIA.1988.13312","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13312","url":null,"abstract":"The realization method of a trunk line system restoration is discussed. Object-oriented programming techniques using a frame representation of knowledge and heuristics have been adopted to achieve efficient processing. The present prototype system (350 frames, 11 production rules, 20 demons, and 500 methods) has confirmed that these techniques for power system restoration is effective. It is confirmed that it is easy to add knowledge (rules) concerning restoration cases to the prototype system by applying knowledge engineering techniques.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115187825","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
An expert system for power generation scheduling in multi-chain hydro power stations 多链水电站发电调度专家系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13346
T. Terano, H. Isoda
{"title":"An expert system for power generation scheduling in multi-chain hydro power stations","authors":"T. Terano, H. Isoda","doi":"10.1109/AIIA.1988.13346","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13346","url":null,"abstract":"The authors describe an expert system for producing daily power generation schedules for the next day for multi-chain hydro power stations along a river. Rules acquired from experienced operators are combined with statistical data for each station to determine generation schedules. These statistical data are stored in the frame base for each station, and the expert system is coupled with a conventional system in Fortran to make detailed schedules. The authors present an outline of the expert system and propose a method for translating qualitative rules-of-thumb into quantitative values for water-level estimation.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124904736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Knowledge-based system for core operation management of boiling water reactors 基于知识的沸水堆堆芯运行管理系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13284
T. Fukuzaki, Y. Wada, Y. Kobayashi, H. Matsuura, T. Shimoshige
{"title":"Knowledge-based system for core operation management of boiling water reactors","authors":"T. Fukuzaki, Y. Wada, Y. Kobayashi, H. Matsuura, T. Shimoshige","doi":"10.1109/AIIA.1988.13284","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13284","url":null,"abstract":"A knowledge-based system, which supports designers in the core operation management of boiling water reactors, has been developed. The system consists of (1) the knowledge base to store heuristics of experienced designers in the forms of rules, functions and frames: (2) the inference program with automatic deletion and generation of those data which have to be modified: and (3) rule refinement and editing support programs to find and correct those rules necessary to obtain a better inference result. Through the performance evaluation of the system, the number of rules for modification of data was reduced by 40% with the inference program, and designers with different experiences reached the same solution. As for the modification of rules in the knowledge base by the system manager, the time for searching and determining the value was decreased by 90%.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129611602","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A generic task approach to a real time nuclear power plant fault diagnosis and advisory system 核电厂实时故障诊断与咨询系统的通用任务方法
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13286
B. Hajek, D.W. Miller, R. Bhatnagar, J.E. Stasenko, W. Punch, N. Yamada
{"title":"A generic task approach to a real time nuclear power plant fault diagnosis and advisory system","authors":"B. Hajek, D.W. Miller, R. Bhatnagar, J.E. Stasenko, W. Punch, N. Yamada","doi":"10.1109/AIIA.1988.13286","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13286","url":null,"abstract":"A generic task toolkit has been used in the development of an aid for operators of nuclear power plants. The toolkit consists of high-level programming tools that enable knowledge to be used in accordance with its need. That is, if diagnosis is the need, a framework for performing diagnosis is provided. The operator aid provides for monitoring the conditions in the plant, detecting abnormal events, and providing the operator with guidance and advice through procedures on what path should be following to mitigate the consequences. Using the two generic task tools, CSRL and DSPL, design work on a diagnosis and sensor validation system and a dynamic procedure management system is nearing completion.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121260368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Knowledge based techniques on a development system of application specific integrated circuits 基于知识的专用集成电路开发系统技术
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13294
K. Shirai, T. Takezawa, S. Ueno
{"title":"Knowledge based techniques on a development system of application specific integrated circuits","authors":"K. Shirai, T. Takezawa, S. Ueno","doi":"10.1109/AIIA.1988.13294","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13294","url":null,"abstract":"A novel type of ASIC (application-specific integrated circuit) design system is presented, in which the specification of the algorithm is expressed by a Pascal-like high-level language and the possible architecture can be obtained using a knowledge-based approach. Digital-filter and quick-sorting designs are considered as examples. An evaluation of the system performance was carried out, and the quality of the synthesized circuits was confirmed to be comparable to that of human designers for small-scaled and special-purpose circuits with a hard-wired logic controller. This system should be an effective tool for building an intelligent silicon compiler starting from a high-level specification description.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125996241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Successfully developing and deploying expert systems in the financial services industry 在金融服务行业成功开发和部署专家系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13330
K. Morse, M. E. Beckham
{"title":"Successfully developing and deploying expert systems in the financial services industry","authors":"K. Morse, M. E. Beckham","doi":"10.1109/AIIA.1988.13330","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13330","url":null,"abstract":"The authors draw from in-depth discussions with over 250 of the world's leading financial services organizations regarding the current and potential use of expert systems. The following issues are discussed: selecting appropriate applications; establishing management support; developing delivery specifications; deciding to buy or build; selecting development and maintenance tools; managing development customization; and system deployment in the organization.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126714614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信