Pub Date : 2020-07-01DOI: 10.1109/CISCE50729.2020.00093
D. Sun, Hongliang Zhao
The single-sideband modulation’s parametric loudspeakers cause linear distortion when modulating the frequency conversion signal, the frequency of the frequency conversion signal is estimated by the Hilbert transform and the distortion of the frequency conversion signal is compensated according to the frequency. Furthermore, iterative Hilbert transform is used to improve the accuracy of frequency estimation for signals which do not satisfy Bedrosian theorem and Nuttall theorem, and the adaptability of the algorithm is improved. The simulation and experiment show that the improved algorithm reduces the distortion of the frequency conversion signal and has strong adaptability.
{"title":"Single Side-band Modulation Algorithm Of Aarametric Array Based On Iterative Hilbert Transform","authors":"D. Sun, Hongliang Zhao","doi":"10.1109/CISCE50729.2020.00093","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00093","url":null,"abstract":"The single-sideband modulation’s parametric loudspeakers cause linear distortion when modulating the frequency conversion signal, the frequency of the frequency conversion signal is estimated by the Hilbert transform and the distortion of the frequency conversion signal is compensated according to the frequency. Furthermore, iterative Hilbert transform is used to improve the accuracy of frequency estimation for signals which do not satisfy Bedrosian theorem and Nuttall theorem, and the adaptability of the algorithm is improved. The simulation and experiment show that the improved algorithm reduces the distortion of the frequency conversion signal and has strong adaptability.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126347765","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-07-01DOI: 10.1109/CISCE50729.2020.00021
Luo Jun, Ding Han, L. Wenjun
The simulation of the infrared characteristics of installation that radiates heat is taken as the research content. The working principle and system composition of the precise temperature control device for various parts of the maneuvering target are studied emphatically. A precise temperature control signal calculation method is proposed. The experimental results show that the designed device can simulate the infrared characteristics of the installation.
{"title":"Design and Implementation of Remote Precision Temperature Control Device for Maneuvering Target","authors":"Luo Jun, Ding Han, L. Wenjun","doi":"10.1109/CISCE50729.2020.00021","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00021","url":null,"abstract":"The simulation of the infrared characteristics of installation that radiates heat is taken as the research content. The working principle and system composition of the precise temperature control device for various parts of the maneuvering target are studied emphatically. A precise temperature control signal calculation method is proposed. The experimental results show that the designed device can simulate the infrared characteristics of the installation.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128050148","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-07-01DOI: 10.1109/CISCE50729.2020.00051
Y. Wang, Yanmei Yang
The vigorous development of educational big data already has great potential to promote educational reform, which provides conditions and opportunities for the improvement of teaching quality. Education big data has the characteristics of real-time, multi-dimensionality, authenticity and so on. This paper analyzes the current problems in the teaching quality of higher vocational education, and with the continuous improvement of data mining and learning analysis technology, puts forward the path of educational big data to promote the quality of teaching.
{"title":"Research on Higher Vocational Teaching Quality Improvement Based on Educational Big Data","authors":"Y. Wang, Yanmei Yang","doi":"10.1109/CISCE50729.2020.00051","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00051","url":null,"abstract":"The vigorous development of educational big data already has great potential to promote educational reform, which provides conditions and opportunities for the improvement of teaching quality. Education big data has the characteristics of real-time, multi-dimensionality, authenticity and so on. This paper analyzes the current problems in the teaching quality of higher vocational education, and with the continuous improvement of data mining and learning analysis technology, puts forward the path of educational big data to promote the quality of teaching.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131517050","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-07-01DOI: 10.1109/cisce50729.2020.00086
Zhang Kuang-wei, Zhang Shao-jie, Chen Yan, Pan Hong, Zhang Chen-guang
The research on the map construction of pipeline environment is of great significance for the location of pipeline network, pipeline network planning and pipeline maintenance. It is an important development direction of underground pipeline detection technology to use robot to carry detection equipment into the pipeline to complete fault detection. In this paper, we propose a method of multi-robot collaborative mapping based on decentralized exploration and centralized mapping. The robot describes the pipeline information in the manner designed in this paper. The upper master gets the pipeline map information through single robot and then describes it by using geometry topology method. The simulation results shows that the final pipeline map are consistent with the actual pipeline map.
{"title":"Simulation Research on Pipeline Map System Based on Multi-robot Queue Cooperation","authors":"Zhang Kuang-wei, Zhang Shao-jie, Chen Yan, Pan Hong, Zhang Chen-guang","doi":"10.1109/cisce50729.2020.00086","DOIUrl":"https://doi.org/10.1109/cisce50729.2020.00086","url":null,"abstract":"The research on the map construction of pipeline environment is of great significance for the location of pipeline network, pipeline network planning and pipeline maintenance. It is an important development direction of underground pipeline detection technology to use robot to carry detection equipment into the pipeline to complete fault detection. In this paper, we propose a method of multi-robot collaborative mapping based on decentralized exploration and centralized mapping. The robot describes the pipeline information in the manner designed in this paper. The upper master gets the pipeline map information through single robot and then describes it by using geometry topology method. The simulation results shows that the final pipeline map are consistent with the actual pipeline map.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131188319","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-07-01DOI: 10.1109/CISCE50729.2020.00039
Yifan Yang, Yujie Wang, Yangkai Lin, Liye Jia
Currently, the 2019 novel coronavirus(2019-nCoV) has caused a worldwide emergency because of its long period of incubation and high infectivity. As the first country where the severity of the disease has been witnessed, China has been implementing some effective policies to prevent the spread of the infection. For example, all citizens, who come back to the community from other cities, other provinces, or other countries, have to be obligatorily isolated until they were affirmed to be uninfected. However, there was someone who concealed the travel experiences in the health survey, and they had infected many healthy people before testing positive for Coronavirus. Therefore, in this paper, an IoT system, which is composed of the wearable healthcare device, the smartphone, and the cloud servers, is described. It aims to give support for the management of communities to distinguish the people having close contact with the confirmed cases. Hence, basic health monitoring sensors are employed by the wearable device, and this device will be cheaper than the common wearable products, such as Mi Band or iWatch, because it only has the basic functions. Furthermore, the device can communicate with the smartphone of users via Bluetooth Low Energy to send messages about health conditions or receive simple commands. Moreover, through the techniques of the internet, the phone can convey the vital signals and the present locations of users, which are obtained by special locating systems, to the cloud server. The cloud server processes and records the data, and an application on the smartphone can provide the visualized results of cloud computing to users.
{"title":"IoT System for Collecting Vital Signs and Geographic Location Data of Mobile Users","authors":"Yifan Yang, Yujie Wang, Yangkai Lin, Liye Jia","doi":"10.1109/CISCE50729.2020.00039","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00039","url":null,"abstract":"Currently, the 2019 novel coronavirus(2019-nCoV) has caused a worldwide emergency because of its long period of incubation and high infectivity. As the first country where the severity of the disease has been witnessed, China has been implementing some effective policies to prevent the spread of the infection. For example, all citizens, who come back to the community from other cities, other provinces, or other countries, have to be obligatorily isolated until they were affirmed to be uninfected. However, there was someone who concealed the travel experiences in the health survey, and they had infected many healthy people before testing positive for Coronavirus. Therefore, in this paper, an IoT system, which is composed of the wearable healthcare device, the smartphone, and the cloud servers, is described. It aims to give support for the management of communities to distinguish the people having close contact with the confirmed cases. Hence, basic health monitoring sensors are employed by the wearable device, and this device will be cheaper than the common wearable products, such as Mi Band or iWatch, because it only has the basic functions. Furthermore, the device can communicate with the smartphone of users via Bluetooth Low Energy to send messages about health conditions or receive simple commands. Moreover, through the techniques of the internet, the phone can convey the vital signals and the present locations of users, which are obtained by special locating systems, to the cloud server. The cloud server processes and records the data, and an application on the smartphone can provide the visualized results of cloud computing to users.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132104757","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-07-01DOI: 10.1109/CISCE50729.2020.00081
Shizhen Huang, Haonan Luo
A video-based attendance system is designed by using the method of real-time face recognition. The system supports multi-user attendance and face liveness detection at the same time. The system can automatically collect face data, which will be saved in the database as well as attendance results. The face detection part of the system is based on MTCNN (Multitask Convolutional Neural Network) algorithm, and the face recognition part is based on FaceNet algorithm. The algorithm implementation is based on TensorFlow framework, and the face liveness detection part is based on ERT (Ensemble of Regression Tree) algorithm, which can judge whether the user blinks. The attendance system is written in Python language, and the user interface is designed by Qt library. The experimental results show that the system achieves a good performance in real-time face recognition. The false accept rate and false rejection rate of face recognition are within 2%, and the recognition rate can be stable at 20 FPS.
采用实时人脸识别的方法，设计了一个基于视频的考勤系统。该系统同时支持多用户考勤和人脸检测。系统可以自动采集人脸数据，并将其保存在数据库中。系统的人脸检测部分基于MTCNN(多任务卷积神经网络)算法，人脸识别部分基于FaceNet算法。算法实现基于TensorFlow框架，人脸活跃度检测部分基于ERT (Ensemble of Regression Tree)算法，可以判断用户是否眨眼。考勤系统采用Python语言编写，用户界面采用Qt库设计。实验结果表明，该系统在实时人脸识别中取得了较好的效果。人脸识别的错误接受率和错误拒绝率都在2%以内，识别率可以稳定在20fps。
{"title":"Attendance System Based on Dynamic Face Recognition","authors":"Shizhen Huang, Haonan Luo","doi":"10.1109/CISCE50729.2020.00081","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00081","url":null,"abstract":"A video-based attendance system is designed by using the method of real-time face recognition. The system supports multi-user attendance and face liveness detection at the same time. The system can automatically collect face data, which will be saved in the database as well as attendance results. The face detection part of the system is based on MTCNN (Multitask Convolutional Neural Network) algorithm, and the face recognition part is based on FaceNet algorithm. The algorithm implementation is based on TensorFlow framework, and the face liveness detection part is based on ERT (Ensemble of Regression Tree) algorithm, which can judge whether the user blinks. The attendance system is written in Python language, and the user interface is designed by Qt library. The experimental results show that the system achieves a good performance in real-time face recognition. The false accept rate and false rejection rate of face recognition are within 2%, and the recognition rate can be stable at 20 FPS.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"435 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133192182","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-07-01DOI: 10.1109/CISCE50729.2020.00061
Shijin Li, F. Wang, Yijia Gao, Ting Shi
The article realizes the delivery of information by using the Tencent classroom live broadcast tool. Micro-classes and MO-classes are the main resources for self-study before class, and Rain Classroom is used as an auxiliary teaching tool to construct an online teaching organization based on Rain Classroom, during and after class, in the current epidemic situation, it has played a certain role in promoting the delayed start of non-stop teaching and non-stop school. Of course, there are some new methods of teaching organization, which are worth every teacher to study and try.
{"title":"Organization and Implementation of Mixed Online Teaching Based on Rain Classroom and Tencent Classroom","authors":"Shijin Li, F. Wang, Yijia Gao, Ting Shi","doi":"10.1109/CISCE50729.2020.00061","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00061","url":null,"abstract":"The article realizes the delivery of information by using the Tencent classroom live broadcast tool. Micro-classes and MO-classes are the main resources for self-study before class, and Rain Classroom is used as an auxiliary teaching tool to construct an online teaching organization based on Rain Classroom, during and after class, in the current epidemic situation, it has played a certain role in promoting the delayed start of non-stop teaching and non-stop school. Of course, there are some new methods of teaching organization, which are worth every teacher to study and try.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114613300","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-07-01DOI: 10.1109/CISCE50729.2020.00094
Zhehao Ding, Tian Chen, Qihang Zhang
X-ray nondestructive inspection is an important method for welding quality control. Some tubular parts are still inspected by means of film transmission. This paper introduces the key technology research based on industrial computer and PLC in automatic column welding seam detection device, which involves signal detection and processing, human-computer interaction interface based on LabView, PLC configuration analysis and related research.
{"title":"An Automatic Column Welding Test Device Controlled by an Industrial Computer and PLC","authors":"Zhehao Ding, Tian Chen, Qihang Zhang","doi":"10.1109/CISCE50729.2020.00094","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00094","url":null,"abstract":"X-ray nondestructive inspection is an important method for welding quality control. Some tubular parts are still inspected by means of film transmission. This paper introduces the key technology research based on industrial computer and PLC in automatic column welding seam detection device, which involves signal detection and processing, human-computer interaction interface based on LabView, PLC configuration analysis and related research.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116345800","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-07-01DOI: 10.1109/CISCE50729.2020.00099
Shizhen Huang, Hongxuan Huang, Guowei Huang
Aiming at the problem of invoice code identification, this article focuses on the embedded system for identifying invoice codes. FPGA has the characteristics of large data throughput, flexible development, and high real-time performance in image processing. Therefore, based on the DE10- LITE development board, this article mounts an FPGA hardware accelerator in the ARM soft core. An invoice code identification system was built through the method of software and hardware collaborative design. The hardware realizes image data acquisition, preprocessing and other functions, and the software part realizes the function of projection segmentation and recognition. Meanwhile, the different coupling modes of accelerator in the heterogeneous system are compared with each other. The verification results on the hardware development platform show that the system could quickly and accurately identify the invoice code.
{"title":"Invoice Code Recognition System Based on FPGA Acceleration","authors":"Shizhen Huang, Hongxuan Huang, Guowei Huang","doi":"10.1109/CISCE50729.2020.00099","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00099","url":null,"abstract":"Aiming at the problem of invoice code identification, this article focuses on the embedded system for identifying invoice codes. FPGA has the characteristics of large data throughput, flexible development, and high real-time performance in image processing. Therefore, based on the DE10- LITE development board, this article mounts an FPGA hardware accelerator in the ARM soft core. An invoice code identification system was built through the method of software and hardware collaborative design. The hardware realizes image data acquisition, preprocessing and other functions, and the software part realizes the function of projection segmentation and recognition. Meanwhile, the different coupling modes of accelerator in the heterogeneous system are compared with each other. The verification results on the hardware development platform show that the system could quickly and accurately identify the invoice code.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126007686","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-07-01DOI: 10.1109/CISCE50729.2020.00042
Liya Zhu, J. Feng, Xiaoyang Sun, Pengcheng Xue, Qingchuan Meng
With the rise of social networks, the Internet of Things, and cloud computing, big data and big data application are becoming popular research areas. In terms of business, the combination of economy and big data has become an inevitable development trend. This article mainly studies the process, methods and effects of big data applied to the overall budget management of apparel e-commerce companies. This paper first introduces the domestic and foreign research status and theoretical basis based on literature research of previous scholars with literature research method. Secondly, it introduces the development environment of apparel e-commerce enterprises, the current production and operation characteristics of apparel ecommerce and how these characteristics will guide enterprises to develop comprehensive budget management. After analyzing deeply to the case companies, this paper finds the positive impact of big data analysis technology on overall budget management and finds the problem of enterprise comprehensive budget management caused by the inadequate investment and application of big data analysis technology. And then this paper gives the improvement suggestions according to the problems. This research is of great significance to the transformation of sales methods, bookkeeping methods and financial management of traditional apparel companies. Combined with big data technology, traditional apparel companies will develop towards standardization and high efficiency.
{"title":"Research on Comprehensive Budget Management of Clothing E-commerce Enterprises Under the Background of Big Data: Take H Group as an Example","authors":"Liya Zhu, J. Feng, Xiaoyang Sun, Pengcheng Xue, Qingchuan Meng","doi":"10.1109/CISCE50729.2020.00042","DOIUrl":"https://doi.org/10.1109/CISCE50729.2020.00042","url":null,"abstract":"With the rise of social networks, the Internet of Things, and cloud computing, big data and big data application are becoming popular research areas. In terms of business, the combination of economy and big data has become an inevitable development trend. This article mainly studies the process, methods and effects of big data applied to the overall budget management of apparel e-commerce companies. This paper first introduces the domestic and foreign research status and theoretical basis based on literature research of previous scholars with literature research method. Secondly, it introduces the development environment of apparel e-commerce enterprises, the current production and operation characteristics of apparel ecommerce and how these characteristics will guide enterprises to develop comprehensive budget management. After analyzing deeply to the case companies, this paper finds the positive impact of big data analysis technology on overall budget management and finds the problem of enterprise comprehensive budget management caused by the inadequate investment and application of big data analysis technology. And then this paper gives the improvement suggestions according to the problems. This research is of great significance to the transformation of sales methods, bookkeeping methods and financial management of traditional apparel companies. Combined with big data technology, traditional apparel companies will develop towards standardization and high efficiency.","PeriodicalId":101777,"journal":{"name":"2020 International Conference on Communications, Information System and Computer Engineering (CISCE)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127859311","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
扫码关注我们
求助内容：
应助结果提醒方式：