专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

71. 发明公开

EP2424159A1 Information transmission apparatus, information transmission method, and computer readable medium 审中-公开
标题翻译： Informationsübertragungsvorrichtung，Informationsübertragungsverfahrenund computerlesbares中等
公开(公告)号：EP2424159A1
公开(公告)日：2012-02-29
申请号：EP11164700.4
申请日：2011-05-04
申请人： Kabushiki Kaisha Toshiba
发明人： Ide, Kenichi
IPC分类号： H04L12/00 , H04M7/00 , H04L12/56
CPC分类号： H04L47/10 , H04L47/14 , H04L47/2416 , H04L47/283 , H04N21/43637 , H04N21/4392 , H04N21/44227 , H04N21/4621
摘要： According to one embodiment, an information transmission apparatus includes a generator (37), a transmitter (38), and a controller (36, 44). The generator (37) is configured to generate a packet carrying one or a plurality of frames of encoded data in units of frames. The transmitter (38) is configured to transmit the packet generated by the generator (37) to a transmission path. The controller (36, 44) is configured to control the number of frames carried in a packet generated by the generator (37), based on a detention time of a packet in the transmitter (38).
摘要翻译：根据一个实施例，信息传输装置包括发生器（37），发射器（38）和控制器（36,44）。发生器（37）被配置为以帧为单位生成携带一个或多个编码数据帧的分组。发射机（38）被配置为将由发生器（37）产生的分组发送到传输路径。控制器（36,44）被配置为基于发送器（38）中的分组的滞留时间来控制由发生器（37）生成的分组中承载的帧的数量。

72. 发明授权

EP2225901B1 TRANSPORT DE DONNEES PRIORITAIRES DANS UN RESEAU AD-HOC 有权
标题翻译：在自组织网络优先级DATA TRANSPORT
公开(公告)号：EP2225901B1
公开(公告)日：2012-02-01
申请号：EP08856968.6
申请日：2008-12-05
申请人： THALES
发明人： LEGUAY, Jérémie , CONAN, Vania
IPC分类号： H04W28/02
CPC分类号： H04L47/10 , H04L47/14 , H04L47/283 , H04W28/10
摘要： The invention relates to a device and a method for conveying data flows in a network that comprises a plurality of nodes in a given configuration and at a given moment. The device includes: a database (12) storing the message(s) to be transmitted; a congestion control module (20) connected to said database; a scheduler having as inputs the messages stored in the database, the route determined for a message by a routing table (13) and a neighbouring node table (14), and a piece of information from a receiving module (19); a module including an opportunist transport protocol (16) receiving information from the scheduler (15) and from a measuring module (17), said opportunist transport protocol being adapted to split a message to be transmitted into N packets Pi, and transmitting said packets to the network layer of said node; and a module (18) capable of deciding whether the current node is capable of accepting an incoming handover of a message.

73. 发明公开

EP2398194A1 Monitoring path characterisation information 审中-公开
标题翻译： Überwachungvon Pfad-Kennzeichnungsinformationen
公开(公告)号：EP2398194A1
公开(公告)日：2011-12-21
申请号：EP10251106.0
申请日：2010-06-17
申请人： British Telecommunications Public Limited Company
发明人： The designation of the inventor has not yet been filed
IPC分类号： H04L12/56 , H04L12/46
CPC分类号： H04W24/02 , H04L43/0864 , H04L43/087 , H04L47/10 , H04L47/24 , H04L47/26 , H04L47/283 , H04L47/286 , H04L47/32 , H04L47/326
摘要： Methods and an associated traffic management module and system are disclosed for monitoring, at a traffic management module (26) within a data network, path characterisation information indicative of at least one measure of a dynamic network characteristic at a remote node (23) outside said data network. The method involves a traffic management module (26) receiving at least one data unit from a remote node (23) outside said data network, and in the event that said at least one data unit is encapsulated in an outer header and that an inner header of said data unit includes path characterisation information, performing the following in respect of said data unit: (a) monitoring said path characterisation information in said inner header; and (b) forwarding said data unit according to a first treatment category. In the event that these conditions are not met, the data unit is instead subjected to an alternative treatment.
摘要翻译：公开了方法和相关联的业务管理模块和系统，用于在数据网络内的业务管理模块（26）处监视指示所述远程节点（23）外的所述远程节点（23）上的动态网络特性的至少一个度量的路径表征信息数据网络。该方法涉及业务管理模块（26），从所述数据网络之外的远程节点（23）接收至少一个数据单元，并且在所述至少一个数据单元被封装在外部报头中并且内部报头所述数据单元包括路径表征信息，对所述数据单元执行以下操作：（a）监视所述内部报头中的所述路径表征信息; 和（b）根据第一处理类别转发所述数据单元。在不满足这些条件的情况下，数据单元被替代地进行替代处理。

74. 发明授权

EP1667447B1 DATA CONVERSION SYSTEM 有权
标题翻译：据系统的执行
公开(公告)号：EP1667447B1
公开(公告)日：2011-11-23
申请号：EP03818716.7
申请日：2003-09-19
申请人： GVBB Holdings S.A.R.L
发明人： TABUCHI, Atsushi, c/o Canopus Co., Ltd.
IPC分类号： H04N5/91 , H04L12/40
CPC分类号： H04L51/28 , G01S1/026 , G01S5/021 , G01S5/06 , G06F1/1626 , G06F1/1639 , G06F3/0481 , G06F12/109 , G06F21/305 , G06F21/6209 , G06F21/74 , G06F21/88 , G06F2221/2105 , G06F2221/2115 , G11B20/10009 , G11B20/10425 , G11B20/22 , G11B27/034 , H03L7/091 , H04B1/707 , H04B7/18582 , H04B7/2628 , H04B7/2687 , H04B10/25754 , H04J3/0655 , H04J3/0658 , H04J13/0077 , H04J13/16 , H04L1/0002 , H04L1/0015 , H04L1/0066 , H04L1/0068 , H04L1/1685 , H04L1/1841 , H04L1/187 , H04L9/085 , H04L9/304 , H04L12/40117 , H04L12/417 , H04L12/462 , H04L12/4641 , H04L25/03038 , H04L25/4902 , H04L25/4904 , H04L25/497 , H04L27/156 , H04L29/06 , H04L29/06027 , H04L29/12471 , H04L41/06 , H04L41/5009 , H04L41/5035 , H04L41/5087 , H04L43/0829 , H04L43/50 , H04L45/04 , H04L45/22 , H04L45/24 , H04L47/10 , H04L47/11 , H04L47/12 , H04L47/14 , H04L47/15 , H04L47/193 , H04L47/2416 , H04L47/27 , H04L47/283 , H04L47/34 , H04L47/70 , H04L47/72 , H04L47/745 , H04L47/765 , H04L47/822 , H04L47/824 , H04L49/90 , H04L49/9094 , H04L51/04 , H04L51/38 , H04L61/2553 , H04L65/1006 , H04L65/1016 , H04L65/1043 , H04L65/4061 , H04L65/4092 , H04L65/605 , H04L65/607 , H04L67/1002 , H04L67/1034 , H04L69/14 , H04L69/16 , H04L69/161 , H04L69/163 , H04L69/166 , H04L69/18 , H04L69/40 , H04L2012/40215 , H04L2012/40273 , H04M1/723 , H04M1/72519 , H04M1/72533 , H04M3/007 , H04M3/16 , H04M3/42221 , H04M7/0057 , H04M7/1295 , H04M11/06 , H04N1/00957 , H04N1/031 , H04N1/0318 , H04N1/1934 , H04N1/1935 , H04N1/32106 , H04N1/40 , H04N5/04 , H04N5/073 , H04N5/126 , H04N5/2251 , H04N5/2257 , H04N5/23248 , H04N5/23254 , H04N5/23258 , H04N5/23267 , H04N5/2327 , H04N5/23277 , H04N5/38 , H04N5/4401 , H04N5/4448 , H04N5/445 , H04N5/45 , H04N5/46 , H04N5/64 , H04N5/642 , H04N5/66 , H04N5/76 , H04N5/775 , H04N5/85 , H04N5/907 , H04N7/0112 , H04N7/0122 , H04N7/163 , H04N7/17327 , H04N9/3129 , H04N9/641 , H04N9/642 , H04N9/7925 , H04N9/8042 , H04N19/109 , H04N19/139 , H04N19/51 , H04N19/517 , H04N19/527 , H04N19/625 , H04N19/70 , H04N19/91 , H04N21/234318 , H04N21/2368 , H04N21/2543 , H04N21/4143 , H04N21/4181 , H04N21/42653 , H04N21/4307 , H04N21/433 , H04N21/4341 , H04N21/43622 , H04N21/43632 , H04N21/440218 , H04N21/4621 , H04N21/4623 , H04N21/47211 , H04N21/6175 , H04N21/6187 , H04N21/6582 , H04N2201/0094 , H04N2201/02493 , H04N2201/03112 , H04N2201/03133 , H04N2201/03141 , H04N2201/03145 , H04N2201/03187 , H04N2201/3212 , H04N2201/3222 , H04N2201/3274 , H04Q3/0025 , H04Q3/60 , H04Q2213/1302 , H04Q2213/13039 , H04Q2213/1304 , H04Q2213/13076 , H04Q2213/13095 , H04Q2213/13109 , H04Q2213/13298 , H04Q2213/13349 , H04R1/028 , H04S7/301 , H04W4/10 , H04W4/12 , H04W4/14 , H04W8/245 , H04W8/26 , H04W8/265 , H04W24/00 , H04W28/00 , H04W28/18 , H04W28/26 , H04W36/02 , H04W40/00 , H04W40/02 , H04W48/08 , H04W52/0225 , H04W52/0248 , H04W52/0274 , H04W52/30 , H04W56/00 , H04W64/00 , H04W68/00 , H04W72/042 , H04W72/1252 , H04W72/1268 , H04W74/008 , H04W74/0816 , H04W74/0833 , H04W76/10 , H04W76/12 , H04W76/18 , H04W76/30 , H04W76/34 , H04W76/45 , H04W80/00 , H04W84/042 , H04W84/08 , H04W84/12 , H04W88/06 , H04W88/085 , H04W88/16 , H04W92/02 , H04W92/12 , Y02D70/1222 , Y02D70/30 , Y02D70/40 , Y02D70/446 , Y02D70/449 , Y02D70/46 , Y10S370/906 , Y10S370/907 , Y10S707/99943
摘要： A data conversion system for converting data output from an information processor into data in a different format in real time while preventing image defects such as dropped frames or repeated frames in moving image data by synchronizing data transfer with converted data output. One of first and second nodes on an IEEE1394 bus functions as a cycle master, and first data is transferred from the first node to the second node in synchronism with a cycle start packet outputted from the cycle master. Second data generated by converting the first data by the second node is outputted in synchronism with an external reference signal. The system includes an external synchronizing signal receiver for receiving an external reference signal provided on at least one of the first and second nodes, and a synchronization adjustment unit for synchronizing the frequency of the cycle start packet output from the cycle master with the frequency of the reference signal received by the external synchronizing signal receiver.

75. 发明公开

EP2380294A1 METHOD FOR CONTROLLING A FLOW IN A PACKET SWITCHING NETWORK 有权
标题翻译：方法用于控制分组交换网中的数据流
公开(公告)号：EP2380294A1
公开(公告)日：2011-10-26
申请号：EP10700009.3
申请日：2010-01-06
申请人： Thomson Licensing
发明人： SIEMENS, Eduard , EGGERT, Daniel
IPC分类号： H04J3/06 , H04L12/56 , H04L29/06 , H04N7/32
CPC分类号： H04L47/10 , H04L47/2416 , H04L47/283 , H04L47/30 , H04N21/2401
摘要： The invention is related to the field of flow control between two computing nodes over a packet switching network. Furthermore, the invention concerns a method for controlling data flow between a sending node SN and a receiving node RN over a packet switching network, data being sent with a current data rate SR onto a protocol-specific buffer BU of the receiving node RN, an application AP reading data stored in the buffer BU at a playback rate SPR, According to the invention, it involves the following steps: - Notifying by the sending node SN to the receiving node RN about its maximum sending rate SRMax; - Determining by the receiving node RN a desired sending rate DSR value for the sending node SN from playback rate SPR value; - when the desired sending rate DSR value is significantly different from the current data rate SR value, notifying the desired sending rate DSR value by the receiving node RN to the sending node SN.

76. 发明授权

EP1564935B1 Method of dynamic adaptation for jitter buffering in packet networks 有权
标题翻译：一种用于在分组网络的抖动缓冲器的动态适配方法
公开(公告)号：EP1564935B1
公开(公告)日：2011-10-26
申请号：EP04102763.2
申请日：2004-06-16
申请人： Mitel Networks Corporation
发明人： Schultz, Dieter , Dilkie, Lee
IPC分类号： H04L12/56
CPC分类号： H04L47/10 , H04L47/22 , H04L47/2416 , H04L47/283 , H04L47/29 , H04L47/30

77. 发明授权

EP1881648B1 Optimized scheduled method using ordered grants from a central controller 有权转让
标题翻译：使用中央控制器大小的拨款的优化操作过程的方法
公开(公告)号：EP1881648B1
公开(公告)日：2011-08-10
申请号：EP07004700.6
申请日：2007-03-07
申请人： Broadcom Corporation
发明人： Hou, Victor T.
IPC分类号： H04L12/28 , H04L12/56
CPC分类号： H04L12/2801 , H04L12/2861 , H04L47/10 , H04L47/283

78. 发明公开

EP2334066A1 Mixed-media telecommunication call set-up 审中-公开
标题翻译：混合媒体电信呼叫建立
公开(公告)号：EP2334066A1
公开(公告)日：2011-06-15
申请号：EP10181446.5
申请日：2001-10-16
申请人： FRANCE TELECOM
发明人： Stanmore, Michael
IPC分类号： H04N7/14
CPC分类号： H04L51/28 , G01S1/026 , G01S5/021 , G01S5/06 , G02B13/005 , G03G15/5062 , G03G15/5075 , G03G2215/00063 , G03G2215/00067 , G03G2215/00109 , G03G2215/0164 , G06F1/1626 , G06F1/1639 , G06F3/0481 , G06F9/465 , G06F9/5033 , G06F11/1425 , G06F11/1482 , G06F11/2007 , G06F12/109 , G06F21/305 , G06F21/6209 , G06F21/74 , G06F21/88 , G06F2209/5018 , G06F2221/2105 , G06F2221/2115 , G09G5/363 , G11B20/10009 , G11B20/10425 , G11B20/22 , G11B27/034 , H01L27/14625 , H03L7/091 , H04B1/707 , H04B7/18582 , H04B7/2628 , H04B7/2687 , H04B10/25754 , H04J3/0655 , H04J3/0658 , H04J13/0077 , H04J13/16 , H04L1/0002 , H04L1/0015 , H04L1/0041 , H04L1/0057 , H04L1/006 , H04L1/0066 , H04L1/0068 , H04L1/0071 , H04L1/1685 , H04L1/1841 , H04L1/187 , H04L5/1438 , H04L9/085 , H04L9/304 , H04L12/12 , H04L12/2898 , H04L12/40117 , H04L12/417 , H04L12/462 , H04L12/4641 , H04L25/03038 , H04L25/03343 , H04L25/03866 , H04L25/4902 , H04L25/4904 , H04L25/497 , H04L27/02 , H04L27/156 , H04L27/3416 , H04L29/06 , H04L29/06027 , H04L29/12339 , H04L29/12471 , H04L41/0206 , H04L41/0213 , H04L41/042 , H04L41/046 , H04L41/06 , H04L41/0604 , H04L41/0806 , H04L41/0843 , H04L41/0856 , H04L41/5009 , H04L41/5022 , H04L41/5035 , H04L41/5087 , H04L43/0829 , H04L43/50 , H04L45/04 , H04L45/22 , H04L45/24 , H04L47/10 , H04L47/11 , H04L47/12 , H04L47/14 , H04L47/15 , H04L47/193 , H04L47/2416 , H04L47/2433 , H04L47/27 , H04L47/283 , H04L47/34 , H04L47/70 , H04L47/72 , H04L47/745 , H04L47/765 , H04L47/822 , H04L47/824 , H04L49/90 , H04L49/9094 , H04L51/04 , H04L51/38 , H04L61/2503 , H04L61/2553 , H04L65/1006 , H04L65/1016 , H04L65/1043 , H04L65/1069 , H04L65/1089 , H04L65/1093 , H04L65/4061 , H04L65/4092 , H04L65/605 , H04L65/607 , H04L65/80 , H04L67/1002 , H04L67/1034 , H04L67/306 , H04L67/32 , H04L69/14 , H04L69/16 , H04L69/161 , H04L69/163 , H04L69/166 , H04L69/18 , H04L69/329 , H04L69/40 , H04L2001/0098 , H04L2012/40215 , H04L2012/40273 , H04M1/723 , H04M1/72519 , H04M1/72533 , H04M3/007 , H04M3/10 , H04M3/16 , H04M3/42221 , H04M3/4283 , H04M3/56 , H04M7/0057 , H04M7/1295 , H04M11/06 , H04M2203/2088 , H04M2203/5054 , H04N1/00344 , H04N1/00957 , H04N1/031 , H04N1/0318 , H04N1/1934 , H04N1/1935 , H04N1/32106 , H04N1/40 , H04N5/04 , H04N5/073 , H04N5/126 , H04N5/2251 , H04N5/2257 , H04N5/23248 , H04N5/23254 , H04N5/23258 , H04N5/23267 , H04N5/2327 , H04N5/23277 , H04N5/272 , H04N5/38 , H04N5/44 , H04N5/4401 , H04N5/4446 , H04N5/4448 , H04N5/445 , H04N5/45 , H04N5/455 , H04N5/46 , H04N5/64 , H04N5/642 , H04N5/66 , H04N5/76 , H04N5/775 , H04N5/85 , H04N5/907 , H04N7/0112 , H04N7/0122 , H04N7/147 , H04N7/148 , H04N7/163 , H04N7/17327 , H04N9/3129 , H04N9/641 , H04N9/642 , H04N9/7925 , H04N9/8042 , H04N19/109 , H04N19/115 , H04N19/139 , H04N19/152 , H04N19/174 , H04N19/19 , H04N19/194 , H04N19/51 , H04N19/517 , H04N19/527 , H04N19/61 , H04N19/625 , H04N19/70 , H04N19/91 , H04N21/234318 , H04N21/2368 , H04N21/2383 , H04N21/2543 , H04N21/2547 , H04N21/41415 , H04N21/4143 , H04N21/4181 , H04N21/42607 , H04N21/4263 , H04N21/42653 , H04N21/4307 , H04N21/4312 , H04N21/4314 , H04N21/4318 , H04N21/433 , H04N21/4341 , H04N21/43622 , H04N21/43632 , H04N21/4382 , H04N21/44012 , H04N21/440218 , H04N21/4532 , H04N21/458 , H04N21/4621 , H04N21/4623 , H04N21/47211 , H04N21/6175 , H04N21/6187 , H04N21/6582 , H04N21/812 , H04N21/84 , H04N21/854 , H04N2201/0091 , H04N2201/0094 , H04N2201/02493 , H04N2201/03112 , H04N2201/03133 , H04N2201/03141 , H04N2201/03145 , H04N2201/03187 , H04N2201/3212 , H04N2201/3222 , H04N2201/3274 , H04Q3/0025 , H04Q3/60 , H04Q2213/1302 , H04Q2213/13039 , H04Q2213/1304 , H04Q2213/13076 , H04Q2213/13095 , H04Q2213/13109 , H04Q2213/13298 , H04Q2213/13349 , H04R1/028 , H04S7/301 , H04W4/06 , H04W4/10 , H04W4/12 , H04W4/14 , H04W8/245 , H04W8/26 , H04W8/265 , H04W24/00 , H04W28/00 , H04W28/18 , H04W28/24 , H04W28/26 , H04W36/02 , H04W40/00 , H04W40/02 , H04W48/08 , H04W52/0216 , H04W52/0225 , H04W52/0248 , H04W52/0274 , H04W52/30 , H04W56/00 , H04W64/00 , H04W68/00 , H04W72/042 , H04W72/1252 , H04W72/1268 , H04W74/008 , H04W74/0816 , H04W74/0833 , H04W76/10 , H04W76/12 , H04W76/18 , H04W76/20 , H04W76/30 , H04W76/34 , H04W76/45 , H04W80/00 , H04W84/042 , H04W84/08 , H04W84/12 , H04W88/06 , H04W88/08 , H04W88/085 , H04W88/16 , H04W92/02 , H04W92/12 , Y02D70/1222 , Y02D70/30 , Y02D70/40 , Y02D70/446 , Y02D70/449 , Y02D70/46 , Y10S370/906 , Y10S370/907 , Y10S707/99943
摘要： A mobile station capable of operating in a videophone mode and for transferring between communication channels of differing bandwidth, comprising transmitter means for establishing a voice call, on a first channel having a first bandwidth, with a remote mobile station capable of operating in a videophone mode, processor means for receiving a trigger, generated during the voice call, to initiate a video call, the processor means further being adapted for, in response to the indication, establishing data communications to the remote mobile station on a second channel, the second channel having a second bandwidth. The mobile station has a dynamic and reconfigurable touch-screen user interface which is is configured, during the voice call, to receive touch-screen input whereby the trigger to initiate the video call is generated.
摘要翻译：一种能够以可视电话模式操作并用于在不同带宽的通信信道之间传送的移动台，该移动台包括用于在具有第一带宽的第一信道上建立语音呼叫的发送器装置与能够以可视电话模式操作的远程移动台处理器装置，用于接收在所述语音呼叫期间生成的触发以发起视频呼叫，所述处理器装置还适于响应于所述指示而在第二信道上建立到所述远程移动台的数据通信，所述第二信道具有第二带宽。移动台具有动态且可重新配置的触摸屏用户界面，其在语音通话期间被配置为接收触发屏幕输入，由此生成触发以启动视频通话。

79. 发明公开

EP1913744A4 INTEGRATED PACKET LATENCY AWARE QOS SCHEDULING USING PROPORTIONAL FAIRNESS AND WEIGHTED FAIR QUEUING FOR WIRELESS INTEGRATED MULTIMEDIA PACKET SERVICES 有权
标题翻译：集成封装DELAY支持QoS的日程计划使用比例公平加权公平排队无线综合多媒体包服务
公开(公告)号：EP1913744A4
公开(公告)日：2011-03-23
申请号：EP06785133
申请日：2006-06-20
申请人： CELLCO PARTNERSHIP DBA VERIZON
发明人： KAKADIA DEEPAK KUMAR
IPC分类号： G01R31/08 , G06F11/00 , G08C15/00 , H04J1/16 , H04J3/14 , H04L1/00 , H04L12/26 , H04L12/28
CPC分类号： H04L47/283 , H04L45/00 , H04L45/52 , H04L47/10 , H04L47/14 , H04L47/2458 , H04L47/50 , H04L47/56 , H04L47/623 , H04W28/14 , H04W40/02 , Y02D70/00 , Y02D70/164 , Y02D70/23 , Y02D70/30
摘要： Packet communication networks for transmission to wireless subscriber devices utilize both wireline and wireless packet routing components. The routing elements of these two different types often implement different packet scheduling algorithms, typically a form of Weighted Fair Queuing (WFQ) in the wireline portion of the network and Proportional Fairness (PF) queuing in the wireless domain. To improve resource allocation and thus end to end quality of service for time sensitive communications, such as integrated multimedia services, the present disclosure suggests adding the notion of slack time into either one or both of the packet scheduling algorithms. By modifying one or more of these algorithms, e.g. to reorder or shuffle packets based on slack times, global optimal resource allocations are possible, at least in certain cases.

80. 发明授权

EP1861958B1 MEASURING AND MONITORING QoS IN SERVICE DIFFERENTIATED WIRELESS NETWORKS 有权转让
标题翻译：测量和监测服务在服务质量差异化的无线网络
公开(公告)号：EP1861958B1
公开(公告)日：2011-01-26
申请号：EP06711098.1
申请日：2006-03-14
申请人： Koninklijke Philips Electronics N.V.
发明人： SOOMRO, Amjad , CAVALCANTI, Dave
IPC分类号： H04L12/28
CPC分类号： H04W28/18 , H04L43/022 , H04L43/0852 , H04L47/10 , H04L47/115 , H04L47/14 , H04L47/2416 , H04L47/25 , H04L47/283 , H04W24/00 , H04W28/14 , H04W28/24
摘要： A wireless network (100) includes a plurality of wireless stations (QSTAs) (102) and an access point (QAP)(101). The QAP, or one or more of the QSTAs, or both, measure delay data, or queue data, or both, per one or more traffic type. A network parameter of the QSTA or QAP can be adjusted based on the measured delay data, queue length, or both. A method of wireless communication is also described.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式