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

筛选
英文 中文
An approach to autonomous microrobot - micro line trace robot with reflex algorithm 自主微型机器人的一种方法——基于反射算法的微型轨迹机器人
H. Ishihara, T. Fukuda, K. Kosuge, F. Arai
{"title":"An approach to autonomous microrobot - micro line trace robot with reflex algorithm","authors":"H. Ishihara, T. Fukuda, K. Kosuge, F. Arai","doi":"10.1109/ETFA.1994.402019","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402019","url":null,"abstract":"A micro-line-trace robot is a micro-autonomous mobile robot that runs along a black line using a pair of photo-sensor. The micro-line-trace robot consists of a pair of photo-sensors, a pair of electromagnetic actuators and a programmable logic device. The photo-sensor includes logic circuits and an amplifier, and gives an outputs of TTL level signals based on the intensity of illumination. The programmable logic device is constructed by AND gates and OR gates, and is able to be programmed by the user. The electromagnetic actuator consists of an electric coil, a leg and an inclining cloth that converts from the vibration of the leg into a propelling force. The micro-line-trace robot made with these functions can autonomously trace the black free-hand drawn line.<<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":"209 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":"122512303","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}
引用次数: 10
Automated digitization and geometric modelling of refurbished components for deburring 用于去毛刺的翻新部件的自动化数字化和几何建模
M. Temple-Raston, R. Cheng, R. Rajagopalan
{"title":"Automated digitization and geometric modelling of refurbished components for deburring","authors":"M. Temple-Raston, R. Cheng, R. Rajagopalan","doi":"10.1109/ETFA.1994.401991","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401991","url":null,"abstract":"A scheme is proposed for the automated edge deburring of refurbished components with intricate geometries. An adaptive routine is presented that gathers a small number of digitized positional data points to construct a differential geometric model with a prescribed accuracy. The affine surface connections, from whence one calculates the Gaussian curvature, are computed and used to determine an edge-profile for the deformed component. The edge-profile defines a tool-path for deburring.<<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":"60 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":"122526732","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
Expert system for proving termination of rewrite rule programs by path orderings with extended status 用扩展状态路径排序证明改写规则程序终止的专家系统
M. Noto, M. Kurihara, A. Ohuchi
{"title":"Expert system for proving termination of rewrite rule programs by path orderings with extended status","authors":"M. Noto, M. Kurihara, A. Ohuchi","doi":"10.1109/ETFA.1994.402011","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402011","url":null,"abstract":"We have developed an expert system, called TERMINATOR, which proves the termination of computer programs written as a set of rewrite rules. In TERMINATOR, the knowledge of the proof techniques is represented by a class of partial orderings called path orderings. In particular, the system incorporates the new and powerful orderings called RPOES and KNSES, which are presented in this paper. The two orderings generalize the well-known RPO and KNS orderings with an idea of the extended status proposed in this paper, and can be successfully used to prove the termination of rewrite rules that can not be proved by the conventional knowledge.<<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":"51 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":"124650095","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
Evaluating the complexity of Petri nets and ladder logic diagrams for sequence controllers design in flexible automation 评估柔性自动化中序列控制器设计的Petri网和梯形逻辑图的复杂性
K. Venkatesh, Mengchu Zhou, R. Caudill
{"title":"Evaluating the complexity of Petri nets and ladder logic diagrams for sequence controllers design in flexible automation","authors":"K. Venkatesh, Mengchu Zhou, R. Caudill","doi":"10.1109/ETFA.1994.401980","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401980","url":null,"abstract":"This paper presents a methodology to evaluate the complexity of Petri nets (PNs) and ladder logic diagrams (LLDs) for sequence controllers design. Complexity of a design is characterized by the number of basic elements used to model the given control logic. More specifically, this paper presents analytical formulas to estimate the number of basic elements to model certain building blocks of logic modeling when PN and LLD are used. Also, by presenting a methodology to use these analytical formulas, this paper precludes the need for physically building the controllers by either PN or LLD for the comparison of their graphical complexity. The results are demonstrated by considering two examples of sequence controllers. Finally, the limitations of the present work are presented along with possible extensions for future research.<<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":"209 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":"133735111","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
Automatic learning in chaotic neural network 混沌神经网络的自动学习
M. Watanabe, K. Aihara, S. Kondo
{"title":"Automatic learning in chaotic neural network","authors":"M. Watanabe, K. Aihara, S. Kondo","doi":"10.1109/ETFA.1994.402038","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402038","url":null,"abstract":"A learning rule which can automatically detect and learn an unknown pattern is proposed for a mutually connected neural network. We applied it to chaotic neural networks composed of neuron models with spatio-temporal inputs and refractoriness, and numerically analyzed the properties of the automatic learning.<<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":" 35","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113947705","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}
引用次数: 18
Tele-existence robotic system with autonomous mobility 具有自主移动能力的远程存在机器人系统
S. Nio, M. Fujisaki
{"title":"Tele-existence robotic system with autonomous mobility","authors":"S. Nio, M. Fujisaki","doi":"10.1109/ETFA.1994.401994","DOIUrl":"https://doi.org/10.1109/ETFA.1994.401994","url":null,"abstract":"The semi-autonomous, human-cooperative system is complemented by operator's maneuvering to compensate for the level of autonomy missing in the robot. Because the robot is human-cooperative, the human interface must be designed to optimize interaction. It is emphasized that a human interface in the broad definition, tele-existence in narrow definition, is essential to complement the semi-autonomous robotics. The spread of such robotic systems is dependent on tele-existence technology, allowing remote operation by untrained operators, and offering excellent \"live\" feel. This paper clarifies the development concept of tele-existence robotic system as a pioneer for robots in nonmanufacturing application fields under quasi- and unstructured environment, and outlines the application sectors. The key technologies for tele-existence systems are described.<<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":"204 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":"132361362","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
Utilization of the "know-how to realize the product" for route-sheet generation: toward a formalization of similarities for FMS automatic piloting 利用“实现产品的专有技术”生成路线表:朝着FMS自动导航相似度的形式化发展
M. Nervi, A. Ferrarini, D. Brun-Picard
{"title":"Utilization of the \"know-how to realize the product\" for route-sheet generation: toward a formalization of similarities for FMS automatic piloting","authors":"M. Nervi, A. Ferrarini, D. Brun-Picard","doi":"10.1109/ETFA.1994.402032","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402032","url":null,"abstract":"In manufacturing systems, integration of information has become a decisive production factor. We consider this integration, based on a model of knowledge built on the manufacturing route-sheet. In this paper, our goal is to propose a route-sheet generation decision-aid method for assembly processes, on the bases of previous experiments. The goal is to deduce from the older products the route-sheet of the new product. Thus we need to determine similarities between products. We present our research on the \"know-how-realize\" the product modeling. This modeling is based on both product and process. We define the nature of the products similarity in assembly processes.<<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":"165 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":"127330340","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
Decentralized high gain adaptive control system using backstepping 基于反步的分散高增益自适应控制系统
K. Ikeda, S. Shin, T. Kitamori
{"title":"Decentralized high gain adaptive control system using backstepping","authors":"K. Ikeda, S. Shin, T. Kitamori","doi":"10.9746/SICETR1965.32.1399","DOIUrl":"https://doi.org/10.9746/SICETR1965.32.1399","url":null,"abstract":"We proposed a decentralized high gain adaptive control which stabilizes an interconnected subsystems and analyzes the stability and fault tolerance of the system. In order to analyze the fault tolerance, it is given a structure of systems which is invariant under some failures of local controllers and an adaptive control which stabilizes a system with such structure is presented. Backstepping is applied to the decentralized high gain adaptive control system in order to relax the restriction about the relative degree of each subsystem.<<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":"129986602","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
Construction of an ultra-micro manipulation system based on visual control -realization of nano-hand-eye system 基于纳米手眼系统视觉控制实现的超微操纵系统构建
H. Miyazaki, T. Kameya, T. Sato, Y. Hatamura, H. Morishita
{"title":"Construction of an ultra-micro manipulation system based on visual control -realization of nano-hand-eye system","authors":"H. Miyazaki, T. Kameya, T. Sato, Y. Hatamura, H. Morishita","doi":"10.1109/ETFA.1994.402020","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402020","url":null,"abstract":"In this paper, we propose an automatic ultramicro manipulation system equipped with visual feedback function, the nano-hand-eye system, and emphasize the necessity of the visual control to execute tasks in the ultramicro world. The constructed nano-hand-eye system proves its effectiveness through the scratching task of a thin line with uniform width in the desired direction.<<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":"9 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":"114176065","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}
引用次数: 9
Rule-based cognitive animation simulator of fallible drivers around intersection 基于规则的交叉口易犯错驾驶员认知动画模拟器
H. Kumamoto, F. Sawazaki, K. Tenmoku, H. Shimoura
{"title":"Rule-based cognitive animation simulator of fallible drivers around intersection","authors":"H. Kumamoto, F. Sawazaki, K. Tenmoku, H. Shimoura","doi":"10.1109/ETFA.1994.402013","DOIUrl":"https://doi.org/10.1109/ETFA.1994.402013","url":null,"abstract":"Group behaviors of car drivers around a double-lane intersection are animated by a cognitive simulator. A situation tree is constructed to analyze the driving situations into successively more basic ones. Driving activities specific to each basic situation is analyzed as a subtree of a general activity tree. A resultant expanded situation tree is traced at each sampling time. If-then rules are used to represent feasibility conditions of each microscopic transition from a parent node to a child node in the expanded tree. Each trace path is a sequential arrangement of these transitions. If-part conditions are clarified and animation results are demonstrated. Traffic accidents are initiated by mistakes (if-part errors) and slips (then-part errors). Mistakes are omission and commission errors during intention formations. The commission errors are further classified into external and internal errors. Internal errors are risk-prone because they are related to parameters in if-part conditions attributable to drivers personality.<<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":"128199858","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学术官方微信
小红书