Pub Date : 2018-08-01DOI: 10.1109/COASE.2018.8560407
David Thönnessen, Niklas Reinker, Stefan Rakel, A. Svetlakov, S. Kowalewski
We revisit a previously presented algorithm for comparing measured signals with reference signals during Hardware-in-the-Loop (HiL) testing of industrial automation systems and prove relevant properties. The algorithm differs from existing approaches to signal matching by a more versatile tolerance specification. The advantage of the latter is illustrated by three typical examples.
{"title":"Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications","authors":"David Thönnessen, Niklas Reinker, Stefan Rakel, A. Svetlakov, S. Kowalewski","doi":"10.1109/COASE.2018.8560407","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560407","url":null,"abstract":"We revisit a previously presented algorithm for comparing measured signals with reference signals during Hardware-in-the-Loop (HiL) testing of industrial automation systems and prove relevant properties. The algorithm differs from existing approaches to signal matching by a more versatile tolerance specification. The advantage of the latter is illustrated by three typical examples.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"108 1","pages":"1197-1202"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80312975","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560420
Haw-Ching Yang, Chun-Hong Zheng, Yu-Zhong Chen, Chien-Ming Tseng, Y. Kao
Estimating the states of a cold-forging die is challenging when trying to extract the features from load-stroke signals during the long-term process. To solve this problem, this paper proposes a diagnosis learning model with an autoencoder and a support vector machine to distinguish the die states from the load-stoke signals. The autoencoder is utilized to extract the encoded features that serve as the input of the support vector machine to cluster die states. With timely indication of the current die state estimated by the learning model, the proposed die diagnosis system is promising to achieve the goal of reducing time for die maintenance.
{"title":"Intelligent Diagnosis of Forging Die based on Deep Learning","authors":"Haw-Ching Yang, Chun-Hong Zheng, Yu-Zhong Chen, Chien-Ming Tseng, Y. Kao","doi":"10.1109/COASE.2018.8560420","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560420","url":null,"abstract":"Estimating the states of a cold-forging die is challenging when trying to extract the features from load-stroke signals during the long-term process. To solve this problem, this paper proposes a diagnosis learning model with an autoencoder and a support vector machine to distinguish the die states from the load-stoke signals. The autoencoder is utilized to extract the encoded features that serve as the input of the support vector machine to cluster die states. With timely indication of the current die state estimated by the learning model, the proposed die diagnosis system is promising to achieve the goal of reducing time for die maintenance.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"11 1","pages":"199-204"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80425649","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560399
Wei-Chian Tan, P. C. Goh, Kie Hian Chua, I. Chen
This work attempts to address an important issue in the process of quantitative risk analysis. In particular, an automated approach to identify corrosion mechanism that may happen given a set of readings from ship or chemical plant is developed. Given some records where each consists of a set of measurements (design and operating conditions) and label (type of corrosion mechanism expected to happen), learning through Support Vector Machines is performed. After learning, prediction to identify corrosion mechanism expected to happen can be done via the trained SVM classifier. The methodology starts with transforming each record into corresponding mathematical representation, in feature space known as Corrosion Feature. Supervised learning with points obtained from the process of representation and corresponding label can be performed subsequently. In 16-dimensional space, learning with non-linear kernel has demonstrated encouraging performance on a dataset with 4, 423 records created by expert in the industry.
{"title":"Learning with Corrosion Feature: For Automated Quantitative Risk Analysis of Corrosion Mechanism","authors":"Wei-Chian Tan, P. C. Goh, Kie Hian Chua, I. Chen","doi":"10.1109/COASE.2018.8560399","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560399","url":null,"abstract":"This work attempts to address an important issue in the process of quantitative risk analysis. In particular, an automated approach to identify corrosion mechanism that may happen given a set of readings from ship or chemical plant is developed. Given some records where each consists of a set of measurements (design and operating conditions) and label (type of corrosion mechanism expected to happen), learning through Support Vector Machines is performed. After learning, prediction to identify corrosion mechanism expected to happen can be done via the trained SVM classifier. The methodology starts with transforming each record into corresponding mathematical representation, in feature space known as Corrosion Feature. Supervised learning with points obtained from the process of representation and corresponding label can be performed subsequently. In 16-dimensional space, learning with non-linear kernel has demonstrated encouraging performance on a dataset with 4, 423 records created by expert in the industry.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"79 1","pages":"1290-1295"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76674570","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560344
S. Roselli, Kristofer Bengtsson, K. Åkesson
The optimal assignment of jobs to machines is a common problem when implementing automated production systems. A specific variant of this category is the job-shop scheduling problem (JSP) that is known to belong to the class of NP-hard problems. JSPs are typically either formulated as Mixed Integer Linear Programming (MILP) problems and solved by general-purpose-MILP solvers or approached using heuristic algorithms specifically designed for the purpose. During the last decade a new approach, satisfiability (SAT), led to develop solvers with incredible abilities in finding feasible solutions for hard combinatorial problems on Boolean variables. Moreover, an extension of SAT, Satisfability Modulo Theory (SMT), allows to formulate constraints involving linear operations over integers and reals and some SMT-solvers have been also extended with an optimizing tool. Since the JSP is a well-known hard combinatorial problem, it is interesting to evaluate how SMT-solvers perform in solving it and how they compare to traditional MILP-solvers. We therefore evaluate state-of-the-art MILP and SMT solvers on benchmark JSP instances and find that general-purpose open-source SMT-solvers are competitive against commercial MILP-solvers.
{"title":"SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation","authors":"S. Roselli, Kristofer Bengtsson, K. Åkesson","doi":"10.1109/COASE.2018.8560344","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560344","url":null,"abstract":"The optimal assignment of jobs to machines is a common problem when implementing automated production systems. A specific variant of this category is the job-shop scheduling problem (JSP) that is known to belong to the class of NP-hard problems. JSPs are typically either formulated as Mixed Integer Linear Programming (MILP) problems and solved by general-purpose-MILP solvers or approached using heuristic algorithms specifically designed for the purpose. During the last decade a new approach, satisfiability (SAT), led to develop solvers with incredible abilities in finding feasible solutions for hard combinatorial problems on Boolean variables. Moreover, an extension of SAT, Satisfability Modulo Theory (SMT), allows to formulate constraints involving linear operations over integers and reals and some SMT-solvers have been also extended with an optimizing tool. Since the JSP is a well-known hard combinatorial problem, it is interesting to evaluate how SMT-solvers perform in solving it and how they compare to traditional MILP-solvers. We therefore evaluate state-of-the-art MILP and SMT solvers on benchmark JSP instances and find that general-purpose open-source SMT-solvers are competitive against commercial MILP-solvers.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"32 1","pages":"547-552"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82085499","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560536
Erick García López, Wen Yu, Xiaoou Li
Rehabilitation is needed for the patients with upper limb paralysis after a cerebrovascular disease. Many studies showed bilateral rehabilitation system is more effective than unilateral training. In this paper, we use two haptic robots and a visual reality system to design a haptic bilateral rehabilitation system. We propose a novel bilateral control scheme, in which the virtual forces are provided by the interaction in the virtual environment. The interaction through a friendly visual interface during the execution of the training helps to make immersive, entertaining and bearable therapy process.
{"title":"A Haptic Bilateral Robots System for Wrist Rehabilitation after Stroke","authors":"Erick García López, Wen Yu, Xiaoou Li","doi":"10.1109/COASE.2018.8560536","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560536","url":null,"abstract":"Rehabilitation is needed for the patients with upper limb paralysis after a cerebrovascular disease. Many studies showed bilateral rehabilitation system is more effective than unilateral training. In this paper, we use two haptic robots and a visual reality system to design a haptic bilateral rehabilitation system. We propose a novel bilateral control scheme, in which the virtual forces are provided by the interaction in the virtual environment. The interaction through a friendly visual interface during the execution of the training helps to make immersive, entertaining and bearable therapy process.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"14 1","pages":"130-135"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82409118","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560415
F. Ribeiro, Achim Reuberg, C. Pereira, M. S. Soares
System architecture should describe the functions, services and constraints of the system under different and intelligible descriptions. In this research, strategies for architectural design are presented and analysed for Real-Time and Embedded Systems (RTES). More specifically, within this paper we present a convenient design model of an architecture for automotive systems through viewpoints of design. Models are considered at the operational, functional, logical and technical views of a system and they are able to represent, at early design descriptions, several functional and non-functional properties of RTES. The proposed approach is adopted in an industrial case study in the automotive domain. In addition to the viewpoints definition, this research presents a specific framework for RTES development. This strategy of design can highlight the properties of the RTES while describing the system in different abstraction levels. In addition, the strategy of research is qualitatively evaluated through interviews with experts of the domain in order to analyse if the viewpoints are representing the expected and desired system behavior.
{"title":"An Approach for Architectural Design of Automotive Systems using MARTE and SysML","authors":"F. Ribeiro, Achim Reuberg, C. Pereira, M. S. Soares","doi":"10.1109/COASE.2018.8560415","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560415","url":null,"abstract":"System architecture should describe the functions, services and constraints of the system under different and intelligible descriptions. In this research, strategies for architectural design are presented and analysed for Real-Time and Embedded Systems (RTES). More specifically, within this paper we present a convenient design model of an architecture for automotive systems through viewpoints of design. Models are considered at the operational, functional, logical and technical views of a system and they are able to represent, at early design descriptions, several functional and non-functional properties of RTES. The proposed approach is adopted in an industrial case study in the automotive domain. In addition to the viewpoints definition, this research presents a specific framework for RTES development. This strategy of design can highlight the properties of the RTES while describing the system in different abstraction levels. In addition, the strategy of research is qualitatively evaluated through interviews with experts of the domain in order to analyse if the viewpoints are representing the expected and desired system behavior.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"30 1","pages":"1574-1580"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76005496","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560389
Feifan Wang, Yan Lu, Feng Ju
In this paper, we present condition-based real-time production control for smart manufacturing which is aimed at improving system performance by automatically assessing a production system's condition and dynamically configuring the processing routes for smart products and parts. A ma-chine's degradation condition is defined in discrete states and modeled as a Markov chain. By taking into account machines' degradation and buffers' occupancy, an optimization problem is formulated to maximize the production rate using Markov Decision Processes. The effectiveness of the method has been demonstrated on a three-machine flexible production system. Traditionally, condition monitoring and production control are designed, developed, installed and managed separately by different domain experts. Hence, in this paper, the implementation challenges of condition-based production control are also discussed, with the existing and missing enabling standards identified and analyzed.
{"title":"Condition-based Real-time Production Control for Smart Manufacturing Systems","authors":"Feifan Wang, Yan Lu, Feng Ju","doi":"10.1109/COASE.2018.8560389","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560389","url":null,"abstract":"In this paper, we present condition-based real-time production control for smart manufacturing which is aimed at improving system performance by automatically assessing a production system's condition and dynamically configuring the processing routes for smart products and parts. A ma-chine's degradation condition is defined in discrete states and modeled as a Markov chain. By taking into account machines' degradation and buffers' occupancy, an optimization problem is formulated to maximize the production rate using Markov Decision Processes. The effectiveness of the method has been demonstrated on a three-machine flexible production system. Traditionally, condition monitoring and production control are designed, developed, installed and managed separately by different domain experts. Hence, in this paper, the implementation challenges of condition-based production control are also discussed, with the existing and missing enabling standards identified and analyzed.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"80 1","pages":"1052-1057"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88431630","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560554
XueSong Wang, Q. Kang, Mengchu Zhou, SiYa Yao
Concept drifts can occur in data streams, which disable any models built on static data distribution to fit dynamic or recurrent concepts. If there is a feature that can monitor the stableness of such distribution, then we have a proper reference to adapt the model. Based on this idea, we propose a novel approach named Multiscale Drift Detection Test (MDDT) that localizes abrupt drift points when detection feature values fluctuate. MDDT is based on a resampling scheme and a paired student t-test. It applies a detection procedure on a broad and a narrow scale. This multiscale structure not only reduces massive time of a constant checking process, but also filters noise in the detection features. Experiments are performed via synthetic and real-world datasets. The results indicate that the proposed method outperforms the state-of-art algorithms in terms of computation cost and average accuracy.
{"title":"A Multiscale Concept Drift Detection Method for Learning from Data Streams","authors":"XueSong Wang, Q. Kang, Mengchu Zhou, SiYa Yao","doi":"10.1109/COASE.2018.8560554","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560554","url":null,"abstract":"Concept drifts can occur in data streams, which disable any models built on static data distribution to fit dynamic or recurrent concepts. If there is a feature that can monitor the stableness of such distribution, then we have a proper reference to adapt the model. Based on this idea, we propose a novel approach named Multiscale Drift Detection Test (MDDT) that localizes abrupt drift points when detection feature values fluctuate. MDDT is based on a resampling scheme and a paired student t-test. It applies a detection procedure on a broad and a narrow scale. This multiscale structure not only reduces massive time of a constant checking process, but also filters noise in the detection features. Experiments are performed via synthetic and real-world datasets. The results indicate that the proposed method outperforms the state-of-art algorithms in terms of computation cost and average accuracy.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"27 1","pages":"786-790"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86382185","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560512
Edoardo Fadda, G. Perboli, Valerio Vallesio, Dario Mana
One application of network optimization is the study of the policies able to change people habits in transportation mode selection. The main strategy for achieving this objective is to develop a model describing the preferences of the people by considering the characteristics of the transportation modes (such as cost, travel duration) and then to develop policies in order to improve the characteristics of the target transportation mode. These models are called utility models and have a long story. Nevertheless, the data needed for their fitting are difficult to get. One of the main issues in this case is how to collect the data and how to tune a model that can be easily scaled and adapted to different settings. In this paper, we describe the results achieved during the Open Agora project where the utility model is tined with crowdsourcing data coming from mobile phone applications and collected indirectly by the users.
{"title":"Sustainable mobility and user preferences by crowdsourcing data: the Open Agora project","authors":"Edoardo Fadda, G. Perboli, Valerio Vallesio, Dario Mana","doi":"10.1109/COASE.2018.8560512","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560512","url":null,"abstract":"One application of network optimization is the study of the policies able to change people habits in transportation mode selection. The main strategy for achieving this objective is to develop a model describing the preferences of the people by considering the characteristics of the transportation modes (such as cost, travel duration) and then to develop policies in order to improve the characteristics of the target transportation mode. These models are called utility models and have a long story. Nevertheless, the data needed for their fitting are difficult to get. One of the main issues in this case is how to collect the data and how to tune a model that can be easily scaled and adapted to different settings. In this paper, we describe the results achieved during the Open Agora project where the utility model is tined with crowdsourcing data coming from mobile phone applications and collected indirectly by the users.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"26 1","pages":"1243-1248"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83072705","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 : 2018-08-01DOI: 10.1109/COASE.2018.8560454
S. Unverdorben, B. Böhm, A. Lüder
Today's companies are increasingly confronted with changes within their daily field of business, caused by new trends like digitalization as well as the manufacturing of customer specific products and the associated flexible production of smaller lot sizes. To deal with those trends, future production systems need to offer a more flexible approach for the discrete manufacturing of goods. In order to provide guidance for all relevant stakeholders concerned with the future implementation of concrete Industry 4.0 systems, which can fulfill those new trends, a reference architecture is considered valuable. The creation of such reference architectures is based on the application of architecture frameworks. A reference architecture captures the basic, production-process independent functions and logics and can be used as a starting point for setting up a concrete system architecture. For the purpose of identifying existing reference architecture solutions and detecting possible gaps as well as to define potential research needs, a corresponding literature search is conducted. Based on different search terms potential reference architectures and models are selected and analyzed.
{"title":"Reference Architectures for Future Production Systems in the Field of Discrete Manufacturing","authors":"S. Unverdorben, B. Böhm, A. Lüder","doi":"10.1109/COASE.2018.8560454","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560454","url":null,"abstract":"Today's companies are increasingly confronted with changes within their daily field of business, caused by new trends like digitalization as well as the manufacturing of customer specific products and the associated flexible production of smaller lot sizes. To deal with those trends, future production systems need to offer a more flexible approach for the discrete manufacturing of goods. In order to provide guidance for all relevant stakeholders concerned with the future implementation of concrete Industry 4.0 systems, which can fulfill those new trends, a reference architecture is considered valuable. The creation of such reference architectures is based on the application of architecture frameworks. A reference architecture captures the basic, production-process independent functions and logics and can be used as a starting point for setting up a concrete system architecture. For the purpose of identifying existing reference architecture solutions and detecting possible gaps as well as to define potential research needs, a corresponding literature search is conducted. Based on different search terms potential reference architectures and models are selected and analyzed.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"123 6 1","pages":"869-874"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83151493","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
扫码关注我们
求助内容：
应助结果提醒方式：