Qunpo Liu, Mengke Wang, Zonghui Liu, Bo Su, N. Hanajima
{"title":"Defect Detection of Micro-Precision Glass Insulated Terminals","authors":"Qunpo Liu, Mengke Wang, Zonghui Liu, Bo Su, N. Hanajima","doi":"10.2991/jrnal.k.210521.005","DOIUrl":"https://doi.org/10.2991/jrnal.k.210521.005","url":null,"abstract":"Micro-precision glass insulated terminals are widely used in high-precision electronic equipment in the aerospace field. The performance of the glass terminal has a huge impact on the operation of the equipment. If there is no strict inspection for defects before using glass terminals, it will cause huge safety hazards to the reliability of high-precision electronic equipment, bringing about serious losses and consequences [1].","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"721 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123221281","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}
Yugo Tokura, Takao Sato, Ryota Yasui, N. Kawaguchi, N. Araki, Y. Konishi
{"title":"Comparison of the Questionnaires Before and After the Experiment","authors":"Yugo Tokura, Takao Sato, Ryota Yasui, N. Kawaguchi, N. Araki, Y. Konishi","doi":"10.2991/jrnal.k.201215.011","DOIUrl":"https://doi.org/10.2991/jrnal.k.201215.011","url":null,"abstract":"","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130629674","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}
T. Katayama, Yasuhiro Shigyo, Yoshihiro Kita, H. Yamaba, K. Aburada, N. Okazaki
{"title":"Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification","authors":"T. Katayama, Yasuhiro Shigyo, Yoshihiro Kita, H. Yamaba, K. Aburada, N. Okazaki","doi":"10.2991/jrnal.k.200909.005","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.005","url":null,"abstract":"This study attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. In the automatic generation of a VDM++ specification, it is necessary to extract words that consist of predicates and nouns from the natural language specifications. The predicates are corresponding to functions and nouns are corresponding to variables, respectively. However, it is difficult to use the extracted nouns and predicates along with the grammar of VDM++ specification. A VDM++ specification cannot be described from the only extracted nouns and predicates.","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121006195","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}
{"title":"Measuring Efficiencies of Michinoeki using DEA Model in Yamaguchi Area","authors":"Tsutomu Ito, M. Kumano, Takao Ito","doi":"10.2991/jrnal.k.200909.013","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.013","url":null,"abstract":"A plethora of studies on Michinoeki from the viewpoint of break function, information dispatch function, regional cooperation function, and disaster prevention function have been published in the past decades. However, studies focusing on the calculation of efficiency to make managerial improvements are still sparse. First, this paper proposes a new two-step approach to calculate efficiency using a DEA model. Second, the relevant factors are determined using a multivariate regression model. The data were drawn from Yamaguchi area, which is considered the birthplace of Michinoeki in Japan. This paper makes a contribution to the management literature by: (1) Identifying the key factors of Michinoeki in Yamaguchi area, and (2) calculating the efficiencies of the Michinoeki, and (3) proposing a four-cell matrix model to ascertain the relative position of Michinoeki for future development.","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125385217","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}
{"title":"Ocean Current Velocity Measuring Device Based on Acoustic Time Difference Current Meter","authors":"Jichao Zhao, F. Dai, Xin Ma, Fengkun Wang","doi":"10.2991/jrnal.k.200909.007","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.007","url":null,"abstract":"","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123448979","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}
{"title":"Estimation of Self-Posture of a Pedestrian Using MY VISION Based on Depth and Motion Network","authors":"J. Tan, Tomoyuki Kurosaki","doi":"10.2991/jrnal.k.200909.002","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.002","url":null,"abstract":"In recent years, an increasing aging rate has become a serious problem worldwide. Due to the fatal fall of elderly people over the age of 65, the elderly need care. However, there are relatively few young people who can care for elderly people and there is a shortage of human resources. Therefore, elderly people need to take measures by themselves to prevent falls. It is more convenient and useful to measure their own walking posture by themselves, rather than measuring their walking posture from another person’s viewpoint using special facilities. This paper proposes a method of analyzing one’s walking posture from chest-mounted camera images. The goal is to help elderly people improve their walking posture by the feedback of analyzed posture in order to prevent a falls.","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115705900","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}
{"title":"Self-repairing Control against Actuator Failures Using a Spiking Neuron Model","authors":"M. Takahashi","doi":"10.2991/jrnal.k.200909.004","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.004","url":null,"abstract":"","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126258731","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}
{"title":"Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens","authors":"Tomohiko Takagi, Ryo Kurozumi","doi":"10.2991/jrnal.k.200909.011","DOIUrl":"https://doi.org/10.2991/jrnal.k.200909.011","url":null,"abstract":"Extended Place/transition Net (EPN) [1,2] is a formal modeling language to represent the behavior of software that consists of multiple objects. The objects mean modules, components, or subsystems in this study, and they interact each other to provide expected functionality of the software. EPN enables engineers to construct unambiguous and executable software specifications that can be used for systematic skeleton code and test case generation. However, in software modeling using EPN, objects need to be defined individually even if they have the same behavior, which causes an increase in model size. A large model that includes redundant definitions often leads to additional cost for design, implementation, test, and maintenance, due to its poor readability.","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117287665","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}
{"title":"Digital Hardware Spiking Neuronal Network with STDP for Real-time Pattern Recognition","authors":"Yang Xia, T. Levi, T. Kohno","doi":"10.2991/jrnal.k.200528.010","DOIUrl":"https://doi.org/10.2991/jrnal.k.200528.010","url":null,"abstract":"By mimicking or being inspired by the nervous system, neuromorphic systems are designed to realize robust and power-efficient information processing by highly parallel architecture. Spike Timing Dependent Plasticity (STDP) is a common method for Spiking Neural Networks (SNNs). Here, we present a real-time SNN with STDP implementation on Field Programmable Gate Array (FPGA) using digital spiking silicon neuron model. Equipped with Ethernet Interface, FPGA allows online configuration as well as real-time processing data input and output. We show that this hardware implementation can achieve real-time pattern recognition tasks and allows the connection between multi-SNNs to extend the scale of networks.","PeriodicalId":157035,"journal":{"name":"J. Robotics Netw. Artif. Life","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130033191","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}