Pub Date : 2010-06-21DOI: 10.1109/IPEC.2010.5543306
M. Kiuchi, T. Ohnishi, H. Hagiwara, Y. Yasuda
This paper presents a sensorless sinusoidal driving method of permanent magnet synchronous motors (PMSMs) for fans and pumps by V/f control. The proposed method is a simple method that controls DC-link peak currents by a single shunt resistor and a peak detector. Due to the damping factor from the square torque load characteristics of fans and pumps, the drives of PMSMs for fans and pumps by V/f control can be stabilized at starting and steady state. In general, pressure losses of the fluid pass of fan and pump systems are nearly constant; therefore, the flow rate and motor torque are determined by revolutions. Accordingly, high efficiency driving is possible by setting the reference currents corresponding to the q-axis currents at target revolutions. Because of the simple and low cost sensorless control, the proposed method is suitable for fan and pump motor driving systems of home appliances.
{"title":"V/f control of permanent magnet synchronous motors suitable for home appliances by DC-link peak current control method","authors":"M. Kiuchi, T. Ohnishi, H. Hagiwara, Y. Yasuda","doi":"10.1109/IPEC.2010.5543306","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543306","url":null,"abstract":"This paper presents a sensorless sinusoidal driving method of permanent magnet synchronous motors (PMSMs) for fans and pumps by V/f control. The proposed method is a simple method that controls DC-link peak currents by a single shunt resistor and a peak detector. Due to the damping factor from the square torque load characteristics of fans and pumps, the drives of PMSMs for fans and pumps by V/f control can be stabilized at starting and steady state. In general, pressure losses of the fluid pass of fan and pump systems are nearly constant; therefore, the flow rate and motor torque are determined by revolutions. Accordingly, high efficiency driving is possible by setting the reference currents corresponding to the q-axis currents at target revolutions. Because of the simple and low cost sensorless control, the proposed method is suitable for fan and pump motor driving systems of home appliances.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114935242","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5543859
Li Ming, W. Yue, Fang Xiong, Zhang Leqiang, Wang Zhaoan
A novel active gate drive method for high power IGBTs is proposed in this paper. It makes use of 2 simple capacitors and several Transient Voltage Suppressors (TVS) to gain different feedback gains in different turn-off transient period, in order to suppress the turn-off over voltage and control turn-off voltage rise slope. Comprehensive study among several application oriented methods is carried out to show its advantages by Saber simulator. With consideration of device safety, an evaluation criterion for active gate drive circuit is proposed.
{"title":"Active gate control for high power IGBTs with separated gains","authors":"Li Ming, W. Yue, Fang Xiong, Zhang Leqiang, Wang Zhaoan","doi":"10.1109/IPEC.2010.5543859","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543859","url":null,"abstract":"A novel active gate drive method for high power IGBTs is proposed in this paper. It makes use of 2 simple capacitors and several Transient Voltage Suppressors (TVS) to gain different feedback gains in different turn-off transient period, in order to suppress the turn-off over voltage and control turn-off voltage rise slope. Comprehensive study among several application oriented methods is carried out to show its advantages by Saber simulator. With consideration of device safety, an evaluation criterion for active gate drive circuit is proposed.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115524635","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5542042
J. Biela, D. Hassler, J. Minibock, J. Kolar
In many applications single-phase PFC rectifiers should meet the demand for a high efficiency and a high power density at the same time. Depending on the weighting of these two design criteria, different topologies could be advantageous. As has been shown, with bridgeless PFC rectifiers an ultra high efficiency of 99.3% or a high power density of 5.6kW/dm3 could be realised. However, due to the hard switching operation it is not possible to achieve an exceptional efficiency and power density at the same time. Furthermore, SiC Schottky diodes are required for highly compact or highly efficient systems. Therefore, a triangular current mode (TCM), resonant-transition single phase PFC rectifier concept is presented in this paper, which overcomes both limitations. Besides a design procedure for optimising the chip area, also a simple and robust control concept, where a novel zero crossing detection concept is included, is explained and a prototype system as well as measurement results are presented for validating the concept and the design procedure.
{"title":"Optimal design of a 5kW/dm3 / 98.3% efficient TCM resonant transition single-phase PFC rectifier","authors":"J. Biela, D. Hassler, J. Minibock, J. Kolar","doi":"10.1109/IPEC.2010.5542042","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5542042","url":null,"abstract":"In many applications single-phase PFC rectifiers should meet the demand for a high efficiency and a high power density at the same time. Depending on the weighting of these two design criteria, different topologies could be advantageous. As has been shown, with bridgeless PFC rectifiers an ultra high efficiency of 99.3% or a high power density of 5.6kW/dm3 could be realised. However, due to the hard switching operation it is not possible to achieve an exceptional efficiency and power density at the same time. Furthermore, SiC Schottky diodes are required for highly compact or highly efficient systems. Therefore, a triangular current mode (TCM), resonant-transition single phase PFC rectifier concept is presented in this paper, which overcomes both limitations. Besides a design procedure for optimising the chip area, also a simple and robust control concept, where a novel zero crossing detection concept is included, is explained and a prototype system as well as measurement results are presented for validating the concept and the design procedure.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122769810","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5542014
K. Tsuji, Yasunari Kido, T. Abe
In this paper, by employing thermal characteristic modeling to the main components of the vehicle model for example, engine, transmission and battery, we examine the heat energy management and fuel consumption of the testing drive patterns especially during warming up process. The simulation data agree well with measurement data. Our vehicle simulation results provide VHDL-AMS validity for multi-domain energy management and the vehicle system planning.
{"title":"A study of vehicle energy analysis during warming up process using VHDL-AMS multidomain simulation","authors":"K. Tsuji, Yasunari Kido, T. Abe","doi":"10.1109/IPEC.2010.5542014","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5542014","url":null,"abstract":"In this paper, by employing thermal characteristic modeling to the main components of the vehicle model for example, engine, transmission and battery, we examine the heat energy management and fuel consumption of the testing drive patterns especially during warming up process. The simulation data agree well with measurement data. Our vehicle simulation results provide VHDL-AMS validity for multi-domain energy management and the vehicle system planning.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122786975","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5543329
S. Grogan, B. Mcgrath, D. G. Holmes
This paper presents a high performance voltage regulation algorithm for a five-level current source inverter. The work combines linear voltage regulation concepts for a two level CSI, with an advanced modulation strategy that directly controls the intermediate link inductor currents of the 5-level converter. The voltage control loop is based around PI and PR stationary frame regulators, which achieve an excellent performance when their gains are maximized while still taking into account practical factors such as transport delay. The theoretical analysis is verified with simulated and matching experimental results.
{"title":"High quality voltage regulation of a five-level current source inverter","authors":"S. Grogan, B. Mcgrath, D. G. Holmes","doi":"10.1109/IPEC.2010.5543329","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543329","url":null,"abstract":"This paper presents a high performance voltage regulation algorithm for a five-level current source inverter. The work combines linear voltage regulation concepts for a two level CSI, with an advanced modulation strategy that directly controls the intermediate link inductor currents of the 5-level converter. The voltage control loop is based around PI and PR stationary frame regulators, which achieve an excellent performance when their gains are maximized while still taking into account practical factors such as transport delay. The theoretical analysis is verified with simulated and matching experimental results.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122868821","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5543628
Kyoung-Jun Lee, B. Min, Jong-Pil Lee, Tae-Jin Kim, Honnyong Cha, D. Yoo, Hee-Je Kim
Grid-Connected power conditioning system (PCS) is widely used for distributed generation system. In Grid-Connected PCS, the LC filter is essential to reduce the current harmonics injected to the grid. In this paper adequate inductor core materials are selected to analyze the performance of 10kW Grid-Connected Photovoltaic (PV) PCS. Core materials can be classified into three groups: power core, sheet core and ferrite core. For the experiment, Fe-3%Si core, Fe-6.5%Si (Super core) and Mega Flux core were chosen as a filter inductor core. Optimal condition for each inductor core is determined by the efficiency and THD.
{"title":"A study on the performance of 10kW Grid-Connected Photovoltaic power conditioning system with characteristics variation in inductor core materials","authors":"Kyoung-Jun Lee, B. Min, Jong-Pil Lee, Tae-Jin Kim, Honnyong Cha, D. Yoo, Hee-Je Kim","doi":"10.1109/IPEC.2010.5543628","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543628","url":null,"abstract":"Grid-Connected power conditioning system (PCS) is widely used for distributed generation system. In Grid-Connected PCS, the LC filter is essential to reduce the current harmonics injected to the grid. In this paper adequate inductor core materials are selected to analyze the performance of 10kW Grid-Connected Photovoltaic (PV) PCS. Core materials can be classified into three groups: power core, sheet core and ferrite core. For the experiment, Fe-3%Si core, Fe-6.5%Si (Super core) and Mega Flux core were chosen as a filter inductor core. Optimal condition for each inductor core is determined by the efficiency and THD.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122890687","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5543251
S. Jayasinghe, D. Vilathgamuwa, U. Madawala
This paper presents a novel dc-link voltage regulation technique for a hybrid inverter system formed by cascading two 3-level inverters. The two inverters are named as “bulk inverter” and “conditioning inverter”. For the hybrid system to act as a nine level inverter, conditioning inverter dc link voltage should be maintained at one third of the bulk inverter dc link voltage. Since the conditioning inverter is energized by two series connected capacitors, dc-link voltage regulation should be carried out by controlling the capacitor charging/discharging times. A detailed analysis of conditioning inverter capacitor charging/discharging process and a simplified general rule, derived from the analysis, are presented in this paper. Time domain simulations were carried out to demonstrate efficacy of the proposed method on regulating the conditioning inverter dc-link voltage under various operating conditions.
{"title":"A novel dc-link voltage regulation method for single source hybrid multilevel inverters","authors":"S. Jayasinghe, D. Vilathgamuwa, U. Madawala","doi":"10.1109/IPEC.2010.5543251","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543251","url":null,"abstract":"This paper presents a novel dc-link voltage regulation technique for a hybrid inverter system formed by cascading two 3-level inverters. The two inverters are named as “bulk inverter” and “conditioning inverter”. For the hybrid system to act as a nine level inverter, conditioning inverter dc link voltage should be maintained at one third of the bulk inverter dc link voltage. Since the conditioning inverter is energized by two series connected capacitors, dc-link voltage regulation should be carried out by controlling the capacitor charging/discharging times. A detailed analysis of conditioning inverter capacitor charging/discharging process and a simplified general rule, derived from the analysis, are presented in this paper. Time domain simulations were carried out to demonstrate efficacy of the proposed method on regulating the conditioning inverter dc-link voltage under various operating conditions.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122891965","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5543808
K. Basu, R. Gupta, S. Nath, G. Castelino, K. K. Mohapatra, N. Mohan
This paper presents a review of the current research in the area of ac/ac power conversion with power electronic transformer. The topologies considered have the following features: 1) generation of adjustable frequency and magnitude PWM ac voltage waveform from a balanced three-phase ac voltage source with a high frequency ac link, 2) bidirectional power flow capability, and 3) single stage power conversion without any storage elements. All of these topologies provide power factor correction. Based on the operation and control, these topologies have been classified into three groups. The operation, advantages and drawbacks of each of these topologies have been presented along with a comparison of their performance in the presence of leakage inductance, complexity to control and reliability.
{"title":"Research in matrix-converter based three-phase power-electronic transformers","authors":"K. Basu, R. Gupta, S. Nath, G. Castelino, K. K. Mohapatra, N. Mohan","doi":"10.1109/IPEC.2010.5543808","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5543808","url":null,"abstract":"This paper presents a review of the current research in the area of ac/ac power conversion with power electronic transformer. The topologies considered have the following features: 1) generation of adjustable frequency and magnitude PWM ac voltage waveform from a balanced three-phase ac voltage source with a high frequency ac link, 2) bidirectional power flow capability, and 3) single stage power conversion without any storage elements. All of these topologies provide power factor correction. Based on the operation and control, these topologies have been classified into three groups. The operation, advantages and drawbacks of each of these topologies have been presented along with a comparison of their performance in the presence of leakage inductance, complexity to control and reliability.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122901109","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5542018
G. Ortiz, J. Biela, D. Bortis, J. Kolar
The design of a 1 MW, 20 kHz, isolated, bidirectional 12kV to 1.2kV DC-DC converter for renewable energy applications is presented. The main topics addressed are: High-Voltage (HV) side switch, topology & modulation and Medium Frequency (MF) transformer. A study of the possible HV side switches, considering 4.5kV IGBTs is performed, fixing the requirements from the topology and modulation side in order to reach a highly efficient system. The studied topologies are the Dual Active Bridge (DAB) with triangular modulation and the Series Resonant Converter (SRC) with constant frequency operation. Both topologies are able to achieve Zero Current Switching (ZCS) in the HV side switches, reducing the switching losses in these devices, which contribute to a large share to the system losses. Efficiency curves are presented for different semiconductor technologies for the Low-Voltage (LV) side switch in order to study the trade-offs between the selected topologies. Three MF transformer concepts, namely core-type, shell-type and matrix transformer, are presented and compared in respect of winding arrangement, isolation mechanisms and thermal management. Power losses and volume are calculated in each case and used to compare the different transformer concepts.
{"title":"1 Megawatt, 20 kHz, isolated, bidirectional 12kV to 1.2kV DC-DC converter for renewable energy applications","authors":"G. Ortiz, J. Biela, D. Bortis, J. Kolar","doi":"10.1109/IPEC.2010.5542018","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5542018","url":null,"abstract":"The design of a 1 MW, 20 kHz, isolated, bidirectional 12kV to 1.2kV DC-DC converter for renewable energy applications is presented. The main topics addressed are: High-Voltage (HV) side switch, topology & modulation and Medium Frequency (MF) transformer. A study of the possible HV side switches, considering 4.5kV IGBTs is performed, fixing the requirements from the topology and modulation side in order to reach a highly efficient system. The studied topologies are the Dual Active Bridge (DAB) with triangular modulation and the Series Resonant Converter (SRC) with constant frequency operation. Both topologies are able to achieve Zero Current Switching (ZCS) in the HV side switches, reducing the switching losses in these devices, which contribute to a large share to the system losses. Efficiency curves are presented for different semiconductor technologies for the Low-Voltage (LV) side switch in order to study the trade-offs between the selected topologies. Three MF transformer concepts, namely core-type, shell-type and matrix transformer, are presented and compared in respect of winding arrangement, isolation mechanisms and thermal management. Power losses and volume are calculated in each case and used to compare the different transformer concepts.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121864429","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 : 2010-06-21DOI: 10.1109/IPEC.2010.5544494
B. Gu, Joon-Sung Park, Jun-Hyuk Choi, S. Rhyu, I. Jung
Recently, the brushless dc (BLDC) motor is receiving more interest due to the high reliability and low drive cost. The trend in the industry is to replace conventional DC motor with BLDC motor based on electric motor technology. However, BLDC motor needs more complicated motor drive technology comparing with DC motor drive. One of the complicated points is current lagging problem in high speed since the inductive reactance of the windings results in a significant time constant at high frequency. To solve the problem, lead angle injection has been utilized. But, there is no common rule in lead angle decision. In this paper, a lead angle adjustment method for BLDC motor is presented. The method is based on the results of current dynamics analysis during current commutation interval. Experimental results are shown to validate the proposed method.
{"title":"Optimal Lead Angle Calculation for Brushless DC Motor","authors":"B. Gu, Joon-Sung Park, Jun-Hyuk Choi, S. Rhyu, I. Jung","doi":"10.1109/IPEC.2010.5544494","DOIUrl":"https://doi.org/10.1109/IPEC.2010.5544494","url":null,"abstract":"Recently, the brushless dc (BLDC) motor is receiving more interest due to the high reliability and low drive cost. The trend in the industry is to replace conventional DC motor with BLDC motor based on electric motor technology. However, BLDC motor needs more complicated motor drive technology comparing with DC motor drive. One of the complicated points is current lagging problem in high speed since the inductive reactance of the windings results in a significant time constant at high frequency. To solve the problem, lead angle injection has been utilized. But, there is no common rule in lead angle decision. In this paper, a lead angle adjustment method for BLDC motor is presented. The method is based on the results of current dynamics analysis during current commutation interval. Experimental results are shown to validate the proposed method.","PeriodicalId":353540,"journal":{"name":"The 2010 International Power Electronics Conference - ECCE ASIA -","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116619754","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
扫码关注我们
求助内容：
应助结果提醒方式：