Vigorous particle collisions and mechanical processes occurring during high-velocity pneumatic con- veying often lead to particle degradation. The resulting particle size reduction and particle number increase will im...Vigorous particle collisions and mechanical processes occurring during high-velocity pneumatic con- veying often lead to particle degradation. The resulting particle size reduction and particle number increase will impact on the flow characteristics, and subsequently affect the electrostatic type of flow measurements. This study investigates this phenomenon using both experimental and numerical meth- ods. Particle degradation was induced experimentally by recursively conveying the fillite material within a pneumatic pipeline. The associated particle size reduction was monitored. Three electrostatic sensors were embedded along the pipeline to monitor the flow. The results indicated a decreasing trend in the electrostatic sensor outputs with decreasing particle size, which suggested the attenuation of the flow velocity fluctuation. This trend was more apparent at higher conveying velocities, which suggested that more severe particle degradation occurred under these conditions. Coupled computational fluid dynamics and discrete element methods （CFD-DEM） analysis was used to qualitatively validate these experimental results. The numerical results suggested that smaller particles exhibited lower flow velocity fluctua- tions, which was consistent with the observed experimental results. These findings provide important information for the accurate aoolication of electrostatic measurement devices in oneumatic conveyors.展开更多
A two-dimensional discrete element model （DEM） simulation of cohesive polygonal particles has been developed to assess the benefit of point source vibration to induce flow in wedge-shaped hoppers. The particle-parti...A two-dimensional discrete element model （DEM） simulation of cohesive polygonal particles has been developed to assess the benefit of point source vibration to induce flow in wedge-shaped hoppers. The particle-particle interaction model used is based on a multi-contact principle. The first part of the study investigated particle discharge under gravity without vibration to determine the critical orifice size （Bc） to just sustain flow as a function of particle shape. It is shown that polygonal-shaped particles need a larger orifice than circular particles. It is also shown that Bc decreases as the number of particle vertices increases. Addition of circular particles promotes flow of polygons in a linear manner. The second part of the study showed that vibration could enhance flow, effectively reducing Bc. The model demonstrated the importance of vibrator location （height）, consistent with previous continuum model results, and vibration amplitude in enhancing flow.展开更多
Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, ...Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.展开更多
文摘Vigorous particle collisions and mechanical processes occurring during high-velocity pneumatic con- veying often lead to particle degradation. The resulting particle size reduction and particle number increase will impact on the flow characteristics, and subsequently affect the electrostatic type of flow measurements. This study investigates this phenomenon using both experimental and numerical meth- ods. Particle degradation was induced experimentally by recursively conveying the fillite material within a pneumatic pipeline. The associated particle size reduction was monitored. Three electrostatic sensors were embedded along the pipeline to monitor the flow. The results indicated a decreasing trend in the electrostatic sensor outputs with decreasing particle size, which suggested the attenuation of the flow velocity fluctuation. This trend was more apparent at higher conveying velocities, which suggested that more severe particle degradation occurred under these conditions. Coupled computational fluid dynamics and discrete element methods （CFD-DEM） analysis was used to qualitatively validate these experimental results. The numerical results suggested that smaller particles exhibited lower flow velocity fluctua- tions, which was consistent with the observed experimental results. These findings provide important information for the accurate aoolication of electrostatic measurement devices in oneumatic conveyors.
文摘A two-dimensional discrete element model （DEM） simulation of cohesive polygonal particles has been developed to assess the benefit of point source vibration to induce flow in wedge-shaped hoppers. The particle-particle interaction model used is based on a multi-contact principle. The first part of the study investigated particle discharge under gravity without vibration to determine the critical orifice size （Bc） to just sustain flow as a function of particle shape. It is shown that polygonal-shaped particles need a larger orifice than circular particles. It is also shown that Bc decreases as the number of particle vertices increases. Addition of circular particles promotes flow of polygons in a linear manner. The second part of the study showed that vibration could enhance flow, effectively reducing Bc. The model demonstrated the importance of vibrator location （height）, consistent with previous continuum model results, and vibration amplitude in enhancing flow.
文摘Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.
