Based on the energy equation of gas-liquid flow in pipeline,the explicit temperature drop formula for gas-liquid steady state calculation was derived.This formula took into consideration the Joule-Thomson effect,impac...Based on the energy equation of gas-liquid flow in pipeline,the explicit temperature drop formula for gas-liquid steady state calculation was derived.This formula took into consideration the Joule-Thomson effect,impact of terrain undulation and heat transfer with the surroundings along the line.Elimination of temperature iteration loop and integration of the explicit temperature equation,instead of enthalpy energy equation,into the conjugated hydraulic and thermal computation have been found to improve the efficiency of algorithm.Then,the inner wall temperature of gas-liquid flow was calculated by using explicit temperature equation and inner wall convective heat transfer coefficient of mixed flow which can be obtained by liquid convective heat transfer coefficient and gas convective heat transfer coefficient on the basis of liquid holdup.The temperature results of gas-liquid flow and inner wall in the case example presented both agree well with those in professional multiphase computational software OLGA.展开更多
In this paper, we present a comprehensive numerical simulation of a point wave absorber in deep water. Analyses are performed in both the frequency and time domains. The converter is a two-body floating-point absorber...In this paper, we present a comprehensive numerical simulation of a point wave absorber in deep water. Analyses are performed in both the frequency and time domains. The converter is a two-body floating-point absorber （FPA） with one degree of freedom in the heave direction. Its two parts are connected by a linear mass-spring-damper system. The commercial ANSYS-AQWA software used in this study performs well in considering validations. The velocity potential is obtained by assuming incompressible and irrotational flow. As such, we investigated the effects of wave characteristics on energy conversion and device efficiency, including wave height and wave period, as well as the device diameter, draft, geometry, and damping coefficient. To validate the model, we compared our numerical results with those from similar experiments. Our study results can clearly help to maximize the converter＇s efficiency when considering specific conditions.展开更多
Modem and efficient methods focus on signal analysis and have drawn researchers＇ attention to it in recent years. These methods mainly include Continuous Wavelet and Wavelet Packet transforms. The main advantage of t...Modem and efficient methods focus on signal analysis and have drawn researchers＇ attention to it in recent years. These methods mainly include Continuous Wavelet and Wavelet Packet transforms. The main advantage of the application of these Wavelets is their capacity to analyze the signal position in different occasions and places. However, in sites with high frequencies its resolution becomes much more difficult. Wavelet packet transform is a more advanced form of continuous wavelets and can make a perfect level by level resolution for each signal. Although very few studies have been done in the field. In order to do this, in the present study, f^st there was an attempt to do a modal analysis on the structure by the ANSYS finite elements software, then using MATLAB, the wavelet was investigated through a continuous wavelet analysis. Finally the results were displayed in 2-D location-coefficient figures. In the second form, transient-dynamic analysis was done on the structure to find out the characteristics of the damage and the wavelet packet energy rate index was suggested. The results indicate that suggested index in the second form is both practical and applicable, and also this index is sensitive to the intensity of the damage.展开更多
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an ind...Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper.展开更多
A dual S shaped micro strip antenna with a realistic feed is proposed for generation of tilted beam radiation pattern pertaining for beam steering applications. To achieve this, four feeding points are located at a di...A dual S shaped micro strip antenna with a realistic feed is proposed for generation of tilted beam radiation pattern pertaining for beam steering applications. To achieve this, four feeding points are located at a distance of 5.6 mm from the antenna centre. These feeding points when excited one by one generate four tilted beams in four different space quadrants, thus yielding a beam steerable antenna, Importantly, since the proposed antenna is symmetrical in the structure, all the four tilted beams have the same radiation pattern characteristics. A further enhancement of the antenna bandwidth is also achieved using 100-μn capacitive coupling between the feed and the antenna strip.展开更多
Variable speed pumped storage machines are used extensively in wind power plant and pumped storage power plant. This paper presents direct torque and flux control(DTFC) of a variable speed pumped storage power plant(V...Variable speed pumped storage machines are used extensively in wind power plant and pumped storage power plant. This paper presents direct torque and flux control(DTFC) of a variable speed pumped storage power plant(VSPSP). By this method both torque and flux have been applied to control the VSPSP. The comparison between VSPSP's control strategies is studied. At the first, a wind turbine with the capacity 2.2 k W and DTFC control strategies simulated then a 250 MW VSPSP is simulated with all of its parts(including electrical, mechanical, hydraulic and its control system) by MATLAB software. In all of simulations, both converters including two-level voltage source converter(2LVSC) and three-level voltage source converter(3LVSC) are applied. The results of applying 2LVSC and 3LVSC are the rapid dynamic responses with better efficiency, reducing the total harmonic distortion(THD) and ripple of rotor torque and flux.展开更多
基金Project(2011ZX05000-026-004) supported by the National Science & Technology Specific Program of ChinaProject(2010D-5006-0604) supported by the China National Petroleum Corporation (CNPC) Innovation FoundationProject(51004167) supported by the National Natural Science Foundation of China
文摘Based on the energy equation of gas-liquid flow in pipeline,the explicit temperature drop formula for gas-liquid steady state calculation was derived.This formula took into consideration the Joule-Thomson effect,impact of terrain undulation and heat transfer with the surroundings along the line.Elimination of temperature iteration loop and integration of the explicit temperature equation,instead of enthalpy energy equation,into the conjugated hydraulic and thermal computation have been found to improve the efficiency of algorithm.Then,the inner wall temperature of gas-liquid flow was calculated by using explicit temperature equation and inner wall convective heat transfer coefficient of mixed flow which can be obtained by liquid convective heat transfer coefficient and gas convective heat transfer coefficient on the basis of liquid holdup.The temperature results of gas-liquid flow and inner wall in the case example presented both agree well with those in professional multiphase computational software OLGA.
文摘In this paper, we present a comprehensive numerical simulation of a point wave absorber in deep water. Analyses are performed in both the frequency and time domains. The converter is a two-body floating-point absorber （FPA） with one degree of freedom in the heave direction. Its two parts are connected by a linear mass-spring-damper system. The commercial ANSYS-AQWA software used in this study performs well in considering validations. The velocity potential is obtained by assuming incompressible and irrotational flow. As such, we investigated the effects of wave characteristics on energy conversion and device efficiency, including wave height and wave period, as well as the device diameter, draft, geometry, and damping coefficient. To validate the model, we compared our numerical results with those from similar experiments. Our study results can clearly help to maximize the converter＇s efficiency when considering specific conditions.
文摘Modem and efficient methods focus on signal analysis and have drawn researchers＇ attention to it in recent years. These methods mainly include Continuous Wavelet and Wavelet Packet transforms. The main advantage of the application of these Wavelets is their capacity to analyze the signal position in different occasions and places. However, in sites with high frequencies its resolution becomes much more difficult. Wavelet packet transform is a more advanced form of continuous wavelets and can make a perfect level by level resolution for each signal. Although very few studies have been done in the field. In order to do this, in the present study, f^st there was an attempt to do a modal analysis on the structure by the ANSYS finite elements software, then using MATLAB, the wavelet was investigated through a continuous wavelet analysis. Finally the results were displayed in 2-D location-coefficient figures. In the second form, transient-dynamic analysis was done on the structure to find out the characteristics of the damage and the wavelet packet energy rate index was suggested. The results indicate that suggested index in the second form is both practical and applicable, and also this index is sensitive to the intensity of the damage.
文摘Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper.
基金the European Union through the Welsh As-sembly Government
文摘A dual S shaped micro strip antenna with a realistic feed is proposed for generation of tilted beam radiation pattern pertaining for beam steering applications. To achieve this, four feeding points are located at a distance of 5.6 mm from the antenna centre. These feeding points when excited one by one generate four tilted beams in four different space quadrants, thus yielding a beam steerable antenna, Importantly, since the proposed antenna is symmetrical in the structure, all the four tilted beams have the same radiation pattern characteristics. A further enhancement of the antenna bandwidth is also achieved using 100-μn capacitive coupling between the feed and the antenna strip.
基金the output of a research project (Title: Application of Doubly Fed Asynchronous machine in Pumped Storage Hydropower Plant in Generate Mode, supported by Islamic Azad University South Tehran Branch)
文摘Variable speed pumped storage machines are used extensively in wind power plant and pumped storage power plant. This paper presents direct torque and flux control(DTFC) of a variable speed pumped storage power plant(VSPSP). By this method both torque and flux have been applied to control the VSPSP. The comparison between VSPSP's control strategies is studied. At the first, a wind turbine with the capacity 2.2 k W and DTFC control strategies simulated then a 250 MW VSPSP is simulated with all of its parts(including electrical, mechanical, hydraulic and its control system) by MATLAB software. In all of simulations, both converters including two-level voltage source converter(2LVSC) and three-level voltage source converter(3LVSC) are applied. The results of applying 2LVSC and 3LVSC are the rapid dynamic responses with better efficiency, reducing the total harmonic distortion(THD) and ripple of rotor torque and flux.
