Encryption algorithms are widely used to enhance the data confidentiality and integrity in software systems. Most of the conventional encryption algorithms are designed based onmathematical methods. Sometimes there are traces left behind, which can be possibly detected and utilised by attackers. Basedon the ideas of knowledge combination derived from CreativeComputing, in order to provide a safer user experience, thispaper attempts to introduce a creative encryption approachbased on Pataphysics. Pataphysics is widely known as the scienceof imaginary solutions and laws, governing exceptions. One of themost important advantages of Pataphysics is the novel orinnovative methods to understand and explore the surroundingworld. It is believed that based on the key concepts provided byPataphysics, Clinamen, something new might be discovered fortraditional encryption design. The creative approach aims toutilise the ambiguity in language to enhance the confidentiality ofencryption algorithms. We hope the proposed approach couldprovide a promising direction for software and information security.
{"title":"Design of a Creative Encryption Approach Based on Pataphysics","authors":"Xuan Wang, Lu Zhang, Hongji Yang","doi":"10.1109/TSA.2016.29","DOIUrl":"https://doi.org/10.1109/TSA.2016.29","url":null,"abstract":"Encryption algorithms are widely used to enhance the data confidentiality and integrity in software systems. Most of the conventional encryption algorithms are designed based onmathematical methods. Sometimes there are traces left behind, which can be possibly detected and utilised by attackers. Basedon the ideas of knowledge combination derived from CreativeComputing, in order to provide a safer user experience, thispaper attempts to introduce a creative encryption approachbased on Pataphysics. Pataphysics is widely known as the scienceof imaginary solutions and laws, governing exceptions. One of themost important advantages of Pataphysics is the novel orinnovative methods to understand and explore the surroundingworld. It is believed that based on the key concepts provided byPataphysics, Clinamen, something new might be discovered fortraditional encryption design. The creative approach aims toutilise the ambiguity in language to enhance the confidentiality ofencryption algorithms. We hope the proposed approach couldprovide a promising direction for software and information security.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134558919","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}
To improve the reliability of high-end hydraulic parts for domestic hydraulic industry, a framework of industrial standard is proposed for reliability testing procedures for solenoid operated directional-control valves. Solenoid operated directional-control valve is one of the most basic components, and the experimental standards for directional valve can be an essential reference for reliability testing for other hydraulic components. Based on the design of the hydraulic diagram of reliability testing for solenoid operated directional-control valves, the experiment procedures include stages of preparation, recording, inspections, data collection and the reliability assessment. Reliability assessment can be derived from data by Weibull distribution. Moreover, safety assessment can also be derived from reliability assessment. Finally, future research work directions are outlined.
{"title":"Laboratory Reliability Testing Design of Solenoid Operated Directional-Control Valves for Industrial Application","authors":"Xinbo Qian, Congchang Zhan","doi":"10.1109/TSA.2016.24","DOIUrl":"https://doi.org/10.1109/TSA.2016.24","url":null,"abstract":"To improve the reliability of high-end hydraulic parts for domestic hydraulic industry, a framework of industrial standard is proposed for reliability testing procedures for solenoid operated directional-control valves. Solenoid operated directional-control valve is one of the most basic components, and the experimental standards for directional valve can be an essential reference for reliability testing for other hydraulic components. Based on the design of the hydraulic diagram of reliability testing for solenoid operated directional-control valves, the experiment procedures include stages of preparation, recording, inspections, data collection and the reliability assessment. Reliability assessment can be derived from data by Weibull distribution. Moreover, safety assessment can also be derived from reliability assessment. Finally, future research work directions are outlined.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133877834","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}
With the rapid development of information communication, computer and control technology, the smart grid has become a direction and trend of the development of electric power industry. The ultimate goal of smart grid is to build a panoramic real-time system which covers the whole production process of power system. However, it is difficult to meet the demand of the power system dispatching department to store and process large scale data in the current power system. In view of the above reasons, this paper develops the Mysql-CIM model, realizes the distributed cloud storage of power network data, and develops the application of the parallel topology processing of power network. Verified by the case, this paper develops the model Mysql-CIM fully meet requirements of the smart grid of system reliability, availability, high throughput; In this paper, the development of the power network based on CIM parallel topological processing is applied to realize the fast network topology processing and topology island formation, its running time scale increased to milliseconds, greatly improving the work efficiency of the system.
{"title":"Distributed Cloud Storage and Parallel Topology Processing of Power Network","authors":"Xianlong Lv, Xingong Cheng, Yongxi Lv","doi":"10.1109/TSA.2016.33","DOIUrl":"https://doi.org/10.1109/TSA.2016.33","url":null,"abstract":"With the rapid development of information communication, computer and control technology, the smart grid has become a direction and trend of the development of electric power industry. The ultimate goal of smart grid is to build a panoramic real-time system which covers the whole production process of power system. However, it is difficult to meet the demand of the power system dispatching department to store and process large scale data in the current power system. In view of the above reasons, this paper develops the Mysql-CIM model, realizes the distributed cloud storage of power network data, and develops the application of the parallel topology processing of power network. Verified by the case, this paper develops the model Mysql-CIM fully meet requirements of the smart grid of system reliability, availability, high throughput; In this paper, the development of the power network based on CIM parallel topological processing is applied to realize the fast network topology processing and topology island formation, its running time scale increased to milliseconds, greatly improving the work efficiency of the system.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130780649","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}
Quality plays a key role in software life-cycle. With the purpose of specializing and evaluating software product quality, ISO had published software quality model standards, SQuaRE series standards. In order to meet the growing demand for software quality measurement, ISO have revised the ISO/IEC 2502n series of standards, recently. This paper introduces evolution of software quality model standards and the details of SQuaRE series standards. Furthermore, the shortcomings of ISO/IEC 2502n software quality measurement series standards were analyzed and a road map of new systems and software product quality measurement reference model was proposed. These outcomes were accepted by ISO in the ISO/IEC JTC1 SC7 plenary meeting, which held in May 2016, and will be integrated into next version of ISO/IEC 25020.
{"title":"An Induction to the Development of Software Quality Model Standards","authors":"Jiayu Gong, Jiawen Lu, Lizhi Cai","doi":"10.1109/TSA.2016.28","DOIUrl":"https://doi.org/10.1109/TSA.2016.28","url":null,"abstract":"Quality plays a key role in software life-cycle. With the purpose of specializing and evaluating software product quality, ISO had published software quality model standards, SQuaRE series standards. In order to meet the growing demand for software quality measurement, ISO have revised the ISO/IEC 2502n series of standards, recently. This paper introduces evolution of software quality model standards and the details of SQuaRE series standards. Furthermore, the shortcomings of ISO/IEC 2502n software quality measurement series standards were analyzed and a road map of new systems and software product quality measurement reference model was proposed. These outcomes were accepted by ISO in the ISO/IEC JTC1 SC7 plenary meeting, which held in May 2016, and will be integrated into next version of ISO/IEC 25020.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"256 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114358154","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}
Peterson's solution is a classical algorithm for mutual exclusion problem. But rigorous works on analyzing its properties of safety or liveness are rare so far. In theorem prover Isabelle/HOL, we formally modelled Peterson's solution for two processes, and proved that it satisfies mutual exclusion property. With Paulson's inductive approach, the algorithm is inductively defined as a set of all possible event lists of two concurrent processes, in which event is defined as atomic action of concurrent processe. All of the reasoning codes have been checked by Isabelle/HOL. Comparing with those works based on model checking, our work can be easily generalized to the analysis of Peterson's solution for n (n>2) processes. And the model we defined for Peterson's solution could be extended to analyze liveness property of Peterson's solution. The process of proving also produces some good advices on how to programming Peterson's solution.
{"title":"Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL","authors":"Xiaojun Ji, Li-Hui Song","doi":"10.1109/TSA.2016.22","DOIUrl":"https://doi.org/10.1109/TSA.2016.22","url":null,"abstract":"Peterson's solution is a classical algorithm for mutual exclusion problem. But rigorous works on analyzing its properties of safety or liveness are rare so far. In theorem prover Isabelle/HOL, we formally modelled Peterson's solution for two processes, and proved that it satisfies mutual exclusion property. With Paulson's inductive approach, the algorithm is inductively defined as a set of all possible event lists of two concurrent processes, in which event is defined as atomic action of concurrent processe. All of the reasoning codes have been checked by Isabelle/HOL. Comparing with those works based on model checking, our work can be easily generalized to the analysis of Peterson's solution for n (n>2) processes. And the model we defined for Peterson's solution could be extended to analyze liveness property of Peterson's solution. The process of proving also produces some good advices on how to programming Peterson's solution.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114716539","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}
EMS(Energy Management System) is a software system with complex structure, which is used in power grid dispatching automation. In the life cycle of the system, it will go through a number of tests, such as FAT(factory test), SAT(acceptance test), etc, whose test cases will be as many as ten thousand. In the maintenance of EMS system, requirements may be often changed, which motivates the component modification to create new versions and their accompany tests. Regression testing strategies aim at the retest for modification affection in EMS software maintenance. This paper presents a EMS system regression testing method based on a new Component Testing Association Model. In this method, previously executed test cases are selected to generate the minimal regression test suite by the identification and impact analysis for the modification-affected component groups. Compared with traditional methods, our approach focus on the complicated interaction between components, which is more applicable to component system regression testing. Our method greatly saves the EMS system regression testing costs which go through the functional adjustment. In practical projects the execution of a moderate scale regression test was reduced by about 2 weeks.
{"title":"A Fast Regression Testing Method Using for EMS System Engineering Project","authors":"Kai Xie, Chao Sun","doi":"10.1109/TSA.2016.26","DOIUrl":"https://doi.org/10.1109/TSA.2016.26","url":null,"abstract":"EMS(Energy Management System) is a software system with complex structure, which is used in power grid dispatching automation. In the life cycle of the system, it will go through a number of tests, such as FAT(factory test), SAT(acceptance test), etc, whose test cases will be as many as ten thousand. In the maintenance of EMS system, requirements may be often changed, which motivates the component modification to create new versions and their accompany tests. Regression testing strategies aim at the retest for modification affection in EMS software maintenance. This paper presents a EMS system regression testing method based on a new Component Testing Association Model. In this method, previously executed test cases are selected to generate the minimal regression test suite by the identification and impact analysis for the modification-affected component groups. Compared with traditional methods, our approach focus on the complicated interaction between components, which is more applicable to component system regression testing. Our method greatly saves the EMS system regression testing costs which go through the functional adjustment. In practical projects the execution of a moderate scale regression test was reduced by about 2 weeks.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127912797","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}
In order to improve the synchronous phasor measurement unit (PMU) configuration efficiency and enlarge its application in the large-scale system, a novel PMU configuration method based on the system topology model and considering zero injection buses is proposed. This proposed method considers different cases of buses connection including leaf nodes, buses with the most and same number of connection branches and buses with two branches. For the buses with the most number of connection branches, the degree of links between buses is proposed to determine PMU placement. In addition, in the process of PMU configuration, the observable and unobservable buses are directly obtained by topology model, which avoids matrix operations and speeds up the speed. The proposed method is tested on the three systems and the results show the proposed method is correct and effective.
{"title":"Optimal PMU Placement for the System Observability Based on System Topology Model","authors":"Hongyu Wang, Xingong Cheng, X. Zong","doi":"10.1109/TSA.2016.34","DOIUrl":"https://doi.org/10.1109/TSA.2016.34","url":null,"abstract":"In order to improve the synchronous phasor measurement unit (PMU) configuration efficiency and enlarge its application in the large-scale system, a novel PMU configuration method based on the system topology model and considering zero injection buses is proposed. This proposed method considers different cases of buses connection including leaf nodes, buses with the most and same number of connection branches and buses with two branches. For the buses with the most number of connection branches, the degree of links between buses is proposed to determine PMU placement. In addition, in the process of PMU configuration, the observable and unobservable buses are directly obtained by topology model, which avoids matrix operations and speeds up the speed. The proposed method is tested on the three systems and the results show the proposed method is correct and effective.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"123 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128391536","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}
Nowadays, big data has brought us a lot of results which we did not expect as before. Development of cultural and creative enterprises is greatly significant to enhance the country's cultural soft power, which is every enterprise managers need to consider. Innovation behavior of cultural and creative talents affects the relationship between incentives and analysis, whereby incentives make recommendations on the construction of cultural and creative enterprises. Using crowdsourcing method, through the cultural and creative enterprises, Jiangsu Province, dividing the questionnaire survey to obtain the relevant data, factor analysis by SPSS (Statistical Product and Service Solutions), statistical methods, correlation and regression analysis for data analysis. Finally got there is a significant correlation between incentives and technological innovation behavior.
如今，大数据给我们带来了很多我们以前没有预料到的结果。文化创意企业的发展对于提升国家的文化软实力具有十分重要的意义，这是每一个企业管理者需要考虑的问题。文创人才创新行为的影响与激励的关系分析，从而对文创企业的建设提出激励建议。采用众包的方法，通过对江苏省文创企业进行问卷调查，获得相关数据，采用SPSS (Statistical Product and Service Solutions)因子分析、统计学方法、相关分析和回归分析对数据进行分析。最后得出激励与技术创新行为之间存在显著的相关关系。
{"title":"An Empirical Analysis Method of Incentives for Talent Innovation Behavior","authors":"Xiaolan Chang, Yongle Zhao","doi":"10.1109/TSA.2016.31","DOIUrl":"https://doi.org/10.1109/TSA.2016.31","url":null,"abstract":"Nowadays, big data has brought us a lot of results which we did not expect as before. Development of cultural and creative enterprises is greatly significant to enhance the country's cultural soft power, which is every enterprise managers need to consider. Innovation behavior of cultural and creative talents affects the relationship between incentives and analysis, whereby incentives make recommendations on the construction of cultural and creative enterprises. Using crowdsourcing method, through the cultural and creative enterprises, Jiangsu Province, dividing the questionnaire survey to obtain the relevant data, factor analysis by SPSS (Statistical Product and Service Solutions), statistical methods, correlation and regression analysis for data analysis. Finally got there is a significant correlation between incentives and technological innovation behavior.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130248112","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}
The increasing pressures faced by manufacturers, the shortening of innovation cycles and the growing importance of high-efficiency manufacturing demand a higher versatility of factory automation. In order to achieve this target, engineering tasks currently performed manually need to be automated. In this case, ontologies emerge as a significant method for representing manufacturing knowledge in a machine-interpretable way. This knowledge can then be used by automated problem-solving methods to reconfigure the control software that coordinates and supervises manufacturing systems. Besides, Ontology can play a very important role in the process of creating as well as managing the knowledge. This paper addresses the important issues in developing domain-specific ontology for manufacturing used in industry 4.0 demonstration production line. A generic ontology is developed considering all the aspects about product from customized order to resulting production.
{"title":"Manufacturing Ontology Development Based on Industry 4.0 Demonstration Production Line","authors":"Haibo Cheng, P. Zeng, Lingling Xue, Zhao Shi, Peng Wang, Haibin Yu","doi":"10.1109/TSA.2016.17","DOIUrl":"https://doi.org/10.1109/TSA.2016.17","url":null,"abstract":"The increasing pressures faced by manufacturers, the shortening of innovation cycles and the growing importance of high-efficiency manufacturing demand a higher versatility of factory automation. In order to achieve this target, engineering tasks currently performed manually need to be automated. In this case, ontologies emerge as a significant method for representing manufacturing knowledge in a machine-interpretable way. This knowledge can then be used by automated problem-solving methods to reconfigure the control software that coordinates and supervises manufacturing systems. Besides, Ontology can play a very important role in the process of creating as well as managing the knowledge. This paper addresses the important issues in developing domain-specific ontology for manufacturing used in industry 4.0 demonstration production line. A generic ontology is developed considering all the aspects about product from customized order to resulting production.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131241914","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}
The new generation architecture of NVIDIA launched Multi-Process Services (MPS), which provides a context manager in the software layer to handle tasks with different processes. MPS can only be used on the Linux platform, and requires a computing capability of 5.0 or higher NVIDIA GPU card [1]. Although these constraints limit the applicability, but it is a relatively inexpensive way to make multiple processes take full advantage of GPU resources. CUDA Parallel Dynamic (CDP) is the other new execution model introduced in Kepler GK110, which allows GPU kernel function to create additional task for itself. It can control the new task scheduling work and synchronization the results without CPU intervention [2]. So that CUDA application is no longer constrained by the rule that the kernel function on GPU must be called from the CPU program. Kernel function can call a new kernel function directly from the GPU kernel function, thereby enhancing the GPU parallelism.
{"title":"Contrast and Analysis about the Characteristics of MPS and CDP in GPU Kepler Architecture","authors":"Peng Yikang, Huang Zhibin, Zhou Feng","doi":"10.1109/TSA.2016.32","DOIUrl":"https://doi.org/10.1109/TSA.2016.32","url":null,"abstract":"The new generation architecture of NVIDIA launched Multi-Process Services (MPS), which provides a context manager in the software layer to handle tasks with different processes. MPS can only be used on the Linux platform, and requires a computing capability of 5.0 or higher NVIDIA GPU card [1]. Although these constraints limit the applicability, but it is a relatively inexpensive way to make multiple processes take full advantage of GPU resources. CUDA Parallel Dynamic (CDP) is the other new execution model introduced in Kepler GK110, which allows GPU kernel function to create additional task for itself. It can control the new task scheduling work and synchronization the results without CPU intervention [2]. So that CUDA application is no longer constrained by the rule that the kernel function on GPU must be called from the CPU program. Kernel function can call a new kernel function directly from the GPU kernel function, thereby enhancing the GPU parallelism.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116894210","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
扫码关注我们
求助内容：
应助结果提醒方式：