Pub Date : 2021-05-01DOI: 10.2991/jrnal.k.210521.005
Qunpo Liu, Mengke Wang, Zonghui Liu, Bo Su, N. Hanajima
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].
{"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}
Pub Date : 2020-12-01DOI: 10.2991/jrnal.k.201215.011
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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.005
T. Katayama, Yasuhiro Shigyo, Yoshihiro Kita, H. Yamaba, K. Aburada, N. Okazaki
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.
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.013
Tsutomu Ito, M. Kumano, Takao Ito
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.
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.007
Jichao Zhao, F. Dai, Xin Ma, Fengkun Wang
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.002
J. Tan, Tomoyuki Kurosaki
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.
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.004
M. Takahashi
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200528.010
Yang Xia, T. Levi, T. Kohno
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.
{"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}
Pub Date : 2020-09-01DOI: 10.2991/jrnal.k.200909.011
Tomohiko Takagi, Ryo Kurozumi
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.
Extended Place/transition Net (EPN)[1,2]是一种形式化的建模语言，用于表示由多个对象组成的软件的行为。对象是指本研究中的模块、组件或子系统，它们相互作用以提供软件的预期功能。EPN使工程师能够构建明确且可执行的软件规范，这些规范可用于系统的框架代码和测试用例生成。然而，在使用EPN的软件建模中，即使对象具有相同的行为，也需要单独定义，这会导致模型大小的增加。由于可读性差，包含冗余定义的大型模型通常会导致设计、实现、测试和维护的额外成本。
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：