Pub Date : 2023-01-01DOI: 10.12677/sea.2023.123048
陈威 张
{"title":"Based on the Research on the Digitization of SAW_RFID Echo Signals","authors":"陈威 张","doi":"10.12677/sea.2023.123048","DOIUrl":"https://doi.org/10.12677/sea.2023.123048","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"45 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88108417","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 : 2023-01-01DOI: 10.12677/sea.2023.125064
鸿宇 冒
A power plant monitoring anomaly detection method based on three frame difference is proposed to address the issue of human detection of anomalies in video surveillance in power plants. Firstly,
{"title":"Anomaly Detection Method for Power Plant Monitoring Based on Three Frame Difference","authors":"鸿宇 冒","doi":"10.12677/sea.2023.125064","DOIUrl":"https://doi.org/10.12677/sea.2023.125064","url":null,"abstract":"A power plant monitoring anomaly detection method based on three frame difference is proposed to address the issue of human detection of anomalies in video surveillance in power plants. Firstly,","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"54 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79424268","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 : 2023-01-01DOI: 10.12677/sea.2023.121018
源源 黄
{"title":"Elderly Health Detection System Based on Internet of Things and Mobile Terminals","authors":"源源 黄","doi":"10.12677/sea.2023.121018","DOIUrl":"https://doi.org/10.12677/sea.2023.121018","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"80 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72710379","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 : 2023-01-01DOI: 10.12677/sea.2023.122028
小栋 聂
{"title":"Super-Resolution Reconstruction of Medical Images Based on Sparse Representation in the NSCT Domain","authors":"小栋 聂","doi":"10.12677/sea.2023.122028","DOIUrl":"https://doi.org/10.12677/sea.2023.122028","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"46 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75227832","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 : 2023-01-01DOI: 10.12677/sea.2023.123039
进 郭
{"title":"Research Status and Development Trend of Control System of Children Rehabilitation Robot","authors":"进 郭","doi":"10.12677/sea.2023.123039","DOIUrl":"https://doi.org/10.12677/sea.2023.123039","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"36 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74087894","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 : 2023-01-01DOI: 10.12677/sea.2023.122029
文翔 孔
{"title":"Spatial-Temporal Transformer Traffic Flow Prediction Based on Spatial Information Delay Awareness","authors":"文翔 孔","doi":"10.12677/sea.2023.122029","DOIUrl":"https://doi.org/10.12677/sea.2023.122029","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"19 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84617381","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 : 2023-01-01DOI: 10.4236/jsea.2023.169022
Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh
In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.
{"title":"FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net","authors":"Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh","doi":"10.4236/jsea.2023.169022","DOIUrl":"https://doi.org/10.4236/jsea.2023.169022","url":null,"abstract":"In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135400523","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 : 2023-01-01DOI: 10.4236/jsea.2023.169025
Meiyan Gao, Yuanzhou Wei, Ya He, Dan Zhang, Yuanhao Tian, Bolin Huang, Changyang Zheng
With the development of automatic driving and fuzzy theory, people pay more and more attention to the application of fuzzy logic in engineering technology. The automatic parking module in the automatic driving system has always been the focus of research. Automatic parking modules can greatly assist drivers in parking operations, greatly reduce parking difficulties and make people more convenient and fast parking. In this paper, an automatic parking system based on the fuzzy controller is proposed. The fuzzy controller of automatic parking system is constructed by using fuzzy theory, and the robustness of the whole system is examined by fuzzy logic. Firstly, the vehicle motion rules and trajectory changes are analyzed in detail, and the real parking lot model is simulated. Then, the input and output variables of the whole system are analyzed by fuzzy theory and the membership function is constructed. Based on the experience of human experts, the parking rules are tested and summarized, and a reasonable and practical rule base is established. Finally, MATLAB is used to code, build the visual interface of parking lot and vehicles, and draw the cyclic iterative function to detect the vehicle position and direction angle, so as to act as a sensor. The results show that using a fuzzy controller to construct an automatic parking system can effectively improve the parking level.
{"title":"Fuzzy Controller-Based Design and Simulation of an Automatic Parking System","authors":"Meiyan Gao, Yuanzhou Wei, Ya He, Dan Zhang, Yuanhao Tian, Bolin Huang, Changyang Zheng","doi":"10.4236/jsea.2023.169025","DOIUrl":"https://doi.org/10.4236/jsea.2023.169025","url":null,"abstract":"With the development of automatic driving and fuzzy theory, people pay more and more attention to the application of fuzzy logic in engineering technology. The automatic parking module in the automatic driving system has always been the focus of research. Automatic parking modules can greatly assist drivers in parking operations, greatly reduce parking difficulties and make people more convenient and fast parking. In this paper, an automatic parking system based on the fuzzy controller is proposed. The fuzzy controller of automatic parking system is constructed by using fuzzy theory, and the robustness of the whole system is examined by fuzzy logic. Firstly, the vehicle motion rules and trajectory changes are analyzed in detail, and the real parking lot model is simulated. Then, the input and output variables of the whole system are analyzed by fuzzy theory and the membership function is constructed. Based on the experience of human experts, the parking rules are tested and summarized, and a reasonable and practical rule base is established. Finally, MATLAB is used to code, build the visual interface of parking lot and vehicles, and draw the cyclic iterative function to detect the vehicle position and direction angle, so as to act as a sensor. The results show that using a fuzzy controller to construct an automatic parking system can effectively improve the parking level.","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135495435","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 : 2023-01-01DOI: 10.12677/sea.2023.121013
宁花 柳
{"title":"Application of Test Automation Technology in Petroleum Logging Software","authors":"宁花 柳","doi":"10.12677/sea.2023.121013","DOIUrl":"https://doi.org/10.12677/sea.2023.121013","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"232 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73249688","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 : 2023-01-01DOI: 10.12677/sea.2023.123045
海萍 王
{"title":"Target Detection Based on Improved Yolov5 Aerial Image","authors":"海萍 王","doi":"10.12677/sea.2023.123045","DOIUrl":"https://doi.org/10.12677/sea.2023.123045","url":null,"abstract":"","PeriodicalId":73949,"journal":{"name":"Journal of software engineering and applications","volume":"129 1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91059773","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}