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

ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings最新文献

筛选
英文 中文
The immune mechanism, adaptation, learning for the multi agent system 多主体系统的免疫机制、适应、学习
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.401978
N. Mitsumoto, T. Fukuda, F. Arai
{"title":"The immune mechanism, adaptation, learning for the multi agent system","authors":"N. Mitsumoto, T. Fukuda, F. Arai","doi":"10.1109/ETFA.1994.401978","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401978","url":null,"abstract":"In this research, we present an adaptation mechanism for the multi-agent system. We applied the biological \"immune system\" to our new algorithms. The immune system works for the \"host defense mechanism\" and the \"homcostasis maintenance mechanism\" against foreign enemy or the internal abnormality.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121418536","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}
引用次数: 19
Evaluation of subjective density for complicated Chinese characters in printing system 复杂汉字印刷系统主观密度评价
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.402010
T. Muraoka, Y. Shimodaira, H. Ikeda, T. Yugami
{"title":"Evaluation of subjective density for complicated Chinese characters in printing system","authors":"T. Muraoka, Y. Shimodaira, H. Ikeda, T. Yugami","doi":"10.1109/ETFA.1994.402010","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402010","url":null,"abstract":"The extent of density unevenness of a complicated character patter influences the visibility of printed materials. The unevenness of subjective density defined in terms of the printed area of a Chinese character was studied by psychophysical experiments. In accordance with the results of the present study, the evaluation of subjective density for complicated Chinese characters by visual sensation is proposed to solve the problems of the unevenness.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124925287","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
Function estimation for multiple indices trend analysis using self-organizing mapping 基于自组织映射的多指标趋势分析函数估计
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.402008
Siyu Zhang
{"title":"Function estimation for multiple indices trend analysis using self-organizing mapping","authors":"Siyu Zhang","doi":"10.1109/ETFA.1994.402008","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402008","url":null,"abstract":"Since system conditions can be indicated by a group of machine signal features but not any individual index, multiple indices trend analysis has foundational importance in system monitoring and diagnosis for factory automation. The author proposes to employ self-organizing neural network method to perform trend analysis in multi-dimensional space as an original exploration. However, experiments show that Kohonen's learning algorithm and constrained topological mapping algorithm may yield nonfunctional maps in such a prediction analysis. An improvement on them by unequal scaling the training data can protect the topological order of netted neurons from being violated. This new approach achieves more accurate results than the widely used single-variable trend analysis method, and is suitable for interpolation for a large number of data and extrapolation in few data cases. The proposed approach is actually a general algorithm which can be widely used in high-dimensional line function regression.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133647963","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}
引用次数: 7
Decentralized adaptive control for linear multivariable systems with direct paths from input to output 具有直接输入到输出路径的线性多变量系统的分散自适应控制
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.402037
A. Namiki, S. Shin
{"title":"Decentralized adaptive control for linear multivariable systems with direct paths from input to output","authors":"A. Namiki, S. Shin","doi":"10.1109/ETFA.1994.402037","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402037","url":null,"abstract":"Decentralized control is more efficient for the system composed of the interconnected subsystems than centralized control, because decentralized control is considered to have fault-tolerance property. But several assumptions are needed to stabilize the decentralized control system, and system may not be robust to changes of parameters. Therefore the adaptive type decentralized controller is proposed. However its assumption is so strict that it is difficult to be actually applied. In this paper, we relax the assumption that the relative degree of each subsystem should be one. And we study on the stabilizability and fault tolerance property of the system in which each subsystem has direct paths from input to output.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115817398","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
Verification of asynchronous circuits by Petri net unfoldings 用Petri网展开验证异步电路
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.401983
A. Kondratyev, A. Taubin, S. Ten
{"title":"Verification of asynchronous circuits by Petri net unfoldings","authors":"A. Kondratyev, A. Taubin, S. Ten","doi":"10.1109/ETFA.1994.401983","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401983","url":null,"abstract":"In this paper we use the interpreted Petri nets (signal transition graph (STG) model) for a verification of asynchronous circuits. The main property in the analysis is the speed-independence of a circuit, i.e. the independence of circuit functioning from the delays of gates. The idea of analysis is based on the PN unfolding into an occurrence net. The improved method of unfolding is suggested, in which the size of the obtained description is always not larger than the size of a corresponding state graph. In terms of unfolding, the necessary and sufficient conditions for speed-independence are formulated. The algorithms of these conditions analysis are polynomial from the size of STG unfolding. The efficiency of the suggested algorithms is considered on the set of benchmarks.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"214 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132113004","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
Self-checking implementation of Boolean interpreted Petri nets 布尔解释Petri网的自检实现
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.401982
B. Roussev
{"title":"Self-checking implementation of Boolean interpreted Petri nets","authors":"B. Roussev","doi":"10.1109/ETFA.1994.401982","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401982","url":null,"abstract":"This paper presents a technique of constructing a self-checking synchronous implementation of a Boolean interpreted Petri net. The validated Petri net specification is modeled with a circuit that automatically detects faults visible at Petri net level. The so called direct approach is used in modeling Petri nets by hardware. The faults that can be checked at hardware level manifest themselves at Petri net level through entering markings that do not belong to the set of allowable ones. These markings violate certain P-invariant assertions. A hardware framework based on self-checking checkers that allows detecting the violation of the P-invariant assertion is proposed.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115098733","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}
引用次数: 4
Analysis of function charts for control systems using Petri nets Petri网控制系统功能图分析
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.401988
A. El Rhalibi, F. Prunet, C. Durante
{"title":"Analysis of function charts for control systems using Petri nets","authors":"A. El Rhalibi, F. Prunet, C. Durante","doi":"10.1109/ETFA.1994.401988","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401988","url":null,"abstract":"As opposed to the widely investigated continuous control, this paper concentrates on event-related control modelling and validation. In this case, the process and related process control can be described by steps and transitions, which can be represented very concisely by function charts for control systems model (Grafcet). As it is difficult to validate the Grafcet model, we propose to transform a Grafcet in Petri net model that is a rigid mathematical tool, and which can be used for a very general approach to event-related process control in specification, checking, debugging, and evaluating performance of any given process control system.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128624083","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}
引用次数: 4
Packaged micromechanical sensors 封装式微机械传感器
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.402027
M. Esashi, K. Minami
{"title":"Packaged micromechanical sensors","authors":"M. Esashi, K. Minami","doi":"10.1109/ETFA.1994.402027","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402027","url":null,"abstract":"Packaged micro mechanical sensors were fabricated using glass-silicon anodic bonding and an electrical feedthrough structure. Two parallel plates which can be used not only for capacitive sensors but also electrostatic actuators are adopted for integrated sensors as capacitive pressure sensors, accelerometers and resonating sensors. Micromaching technologies were developed for these packaged micro sensors. These include laser assisted silicon etching and anodic bonding which enables to incorporate a circuit inside the package and to keep a sealed cavity at a high vacuum.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128561211","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}
引用次数: 4
Compositional Petri net environment 组分Petri网环境
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.401981
N. Anisimov, A. Kovalenko, P. Postupalski
{"title":"Compositional Petri net environment","authors":"N. Anisimov, A. Kovalenko, P. Postupalski","doi":"10.1109/ETFA.1994.401981","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401981","url":null,"abstract":"This paper addresses the problem of application Petri nets to real-world parallel and distributed systems of industrial size. It is pointed out that in many cases a well-known hierarchy/refinement technique does not work perfectly. We suggest another solution based on an algebraic approach to Petri net representation. Two levels of compositionality are introduced. The first one, an algebraic level offers a designer a set of net operations which allow the user to to build complex Petri nets from simpler ones; these include the operations of sequential and parallel composition, choice, iteration, and disruption defined on the top of two auxiliary operations of synchronization. The second architectural level allows the user to manipulate with Petri net entities, where each entity is defined as a Petri net equipped with access points. Operations of entity composition through the access points are introduced. The suggested technique is demonstrated on three-level Petri net editor comprising basic, algebraic and architectural editors.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130046781","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}
引用次数: 4
LIGA components for the construction of milliactuators 用于微致动器构造的LIGA组件
ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings Pub Date : 1994-11-06 DOI: 10.1109/ETFA.1994.402025
H. Lehr, W. Ehrfeld, K.-P. Kamper, F. Michel, M. Schmidt
{"title":"LIGA components for the construction of milliactuators","authors":"H. Lehr, W. Ehrfeld, K.-P. Kamper, F. Michel, M. Schmidt","doi":"10.1109/ETFA.1994.402025","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402025","url":null,"abstract":"The demand for miniaturized commercial products like motors, pumps or active catheters presently concentrates on millimeter sized devices which offer sufficient forces or torques for a number of applications in medical technology, data technology as well as consumer electronics. These \"milliactuators\" form the link between microactuators and conventionally fabricated high precision devices. They still allow mechanical interfaces to macroscopic systems. Since actuator drive principles require appropriate materials to meet specific actuator functions, monolithic techniques are hard to apply although the high precision demands for some critical elements inevitably call for microfabrication methods. The LIGA technique, however, offers a large variety of materials to fabricate components with submicron tolerances. These individual components made from function adapted materials are combined with high precision elements in a microassembly process for the construction of milliactuators.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121110376","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学术文献互助群
群 号：604180095
Book学术官方微信
小红书