With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related...With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related to the development of manufacturing enterprises.In this paper,a graphical model based on Petri Net is established for the first full load time of the assembly line.The accessibility of the P/T system and the production rhythm of the assembly line are calculated by computer simulation.Finally,according to the simulation model,an experimental platform is built to verify the rationality of the model.Experimental results show that the model can accurately express the equipment allocation process of assembly line.展开更多
During geomagnetic disturbances, electric fields induced in the Earth and in power systems, pipelines and submarine cables can interfere with the operation of these systems. Calculations for submarine cables are compl...During geomagnetic disturbances, electric fields induced in the Earth and in power systems, pipelines and submarine cables can interfere with the operation of these systems. Calculations for submarine cables are complicated by the need to consider not just the induction directly into the cable but also the earth potentials produced at the coast at each end of the cable. To determine the coast potentials, we present a new model of the ocean and earth conductivity structure that spans the whole length of a cable from one coast to another. Calculations are based on the generalised thin sheet approach introduced by Ranganayaki and Madden but converted to a transmission line model that can be solved using standard circuit theory techniques. It is shown how the transmission line model can be used to calculate the earth potential profile from one side of an ocean or sea to the other. Example calculations are presented for a shallow sea, a shallow ocean, and a deep ocean that are simplified approximations to the North Sea, Tasman Sea and Pacific Ocean and show that the peak potentials occur at the coast. An examination is also made of how the width of a shallow sea and the width of the continental shelf affect these coast potentials. The modelling technique and example results provide a guide for more detailed modelling of geomagnetic induction along the routes of specific submarine cables.展开更多
Objective:To evaluate the cytotoxicity and genotoxicity activity of Euphorbia hirta(E.hirta)in MCF-7 cell line model using comet assay.Methods:The cytotoxicity of E.hirta extract was investigated by employing brine sh...Objective:To evaluate the cytotoxicity and genotoxicity activity of Euphorbia hirta(E.hirta)in MCF-7 cell line model using comet assay.Methods:The cytotoxicity of E.hirta extract was investigated by employing brine shrimp lethality assay and the genotoxicity of E.hirta was assessed by using Comet assay.Results:Both toxicity tests exhibited significant toxicity result.In the comet assay,the E.hirta extract exhibited genotoxicity effects against MCF-7 DNA in a time-dependent manner by increasing mean percentage of DNA damage.The extract of E.hirta showed significant toxicity against brine shrimp with an LC_(50)value of 620.382μg/mL(24 h).Comparison with positive control potassium dichroniate signifies that cytotoxicity exhibited by the methanol extract might have moderate activity.Conclusion:The present work confirmed the cytotoxicity and genotoxicity of E.hirta.However,the observed toxicity of E.hta extracts needs to be confirmed in additional studies.展开更多
In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its s...In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.展开更多
The Actuator Line/Navier-Stokes model is validated against wind tunnel measurements for flows past the yawed MEXICO rotor and past the yawed NREL Phase VI rotor. The MEXICO rotor is operated at a rotational speed of 4...The Actuator Line/Navier-Stokes model is validated against wind tunnel measurements for flows past the yawed MEXICO rotor and past the yawed NREL Phase VI rotor. The MEXICO rotor is operated at a rotational speed of 424 rpm, a pitch angle of ?2.3。, wind speeds of 10, 15, 24 m/s and yaw angles of 15。, 30。 and 45。. The computed loads as well as the velocity field behind the yawed MEXICO rotor are compared to the detailed pressure and PIV measurements which were carried out in the EU funded MEXICO project. For the NREL Phase VI rotor, computations were carried out at a rotational speed of 90.2 rpm, a pitch angle of 3。, a wind speed of 5 m/s and yaw angles of 10。and 30。. The computed loads are compared to the loads measured from pressure measurement.展开更多
A method used for determining the number of equivalent π sections oftransmission line model according to the frequency range of interest and the model accura-cy defined herein is proposed.Factors influencing the disc...A method used for determining the number of equivalent π sections oftransmission line model according to the frequency range of interest and the model accura-cy defined herein is proposed.Factors influencing the discrepancies between continuous ordistributed parameter and multiple π or lumped parameter models are discussed.Generalconclusions concerning the π section lengths of line models used in transient stability,faulttransient and switching over-voltage studies are drawn.Time-domain simulation resultsconfirm the effectiveness of this method.展开更多
Arising from the proposed Transmission Line(TL) model for ERR and wire structure, a TL model for a metamaterial absorber is proposed. The S-parameters obtained by this TL model demonstrate the same shapes as the simul...Arising from the proposed Transmission Line(TL) model for ERR and wire structure, a TL model for a metamaterial absorber is proposed. The S-parameters obtained by this TL model demonstrate the same shapes as the simulation. An investigation of the TL model and average absorption power densities shows that the metamaterial absorber does not simply convert the electromagnetic wave into thermal energy, but concentrate the electromagnetic wave into a small space where it is finally absorbed. This suggests that the metamaterial absorber can be applied to solar cells for the purpose of light trapping.展开更多
Electric towers of high voltage transmission lines are more exposed to natural lightning phenomena thanks to their high heights. These lines are crossed by powerful current sources to dissipate in the ground, which ca...Electric towers of high voltage transmission lines are more exposed to natural lightning phenomena thanks to their high heights. These lines are crossed by powerful current sources to dissipate in the ground, which can, at one time or another, create disturbances or other phenomena can be generated. This is why we have set ourselves the objective of studying the FDTD modeling of the influence of direct lightning strikes on the power transmitted by a High-Voltage power line. To do this, we have implemented Kirchhoff’s laws to model the power transmitted by a High-Voltage power line in a steady state. Calculating the electromagnetic field generated by lightning requires the lightning current along the channel and its spatiotemporal distribution, the bi-exponential models and that of engineers were chosen and used to reproduce the physical phenomena best. Several works have been published in the literature and various mathematical models are proposed, to study the filamentous nature of power lines which has led to a more flexible modelling, based on the transmission line model, associated with the field theory developed from Maxwell’s equations, which explain the interaction between a lightning wave and a power transmission line. The resolution of the line equations in the lightning shock regime was the subject of the FDTD method to obtain the results in the spatio-temporal domain. Through this research, we are interested in the study of the spatiotemporal distribution of the lightning current wave to model the radiated electromagnetic field and to examine the influence of the overvoltage induced by the atmospheric discharge on the transportable power of a High Voltage AC Transmission line, for good selective protection to illuminate the parasites. 2D simulations based on proposed models were developed as well as the verification of the consistency of the different models, by comparing the fractal dimensions of the results of our program with those of the figures obtained experimentally. The aspects developed in this article could have direct implications in practical applications in the engineering and design of high-voltage transmission systems.展开更多
In this paper, an optimized transmission line model （OTL） for modeling transient behavior of grounding electrodes under lightning currents is presented. The soil ionization effect is considered in OTL, and all elect...In this paper, an optimized transmission line model （OTL） for modeling transient behavior of grounding electrodes under lightning currents is presented. The soil ionization effect is considered in OTL, and all electromagnetic couplings between dif- ferent parts of grounding electrode are also considered by selecting the size of segment conductor properly and calculating the mutual coupling parameters between segment conductors accurately. Comparing with the traditional transmission line model, the optimized model can be used to accurately predict the effective length and transient potential rise （TPR） of grounding elec- trodes. Transient behaviors of grounding electrodes are simulated by OTL and the results are in good agreement with those of the electromagnetic model proposed by Grcev, and experiment results performed by Electricit6 de France and Geri. Further- more, non-uniform discharging phenomenon of grounding electrode under lightning current is discussed, and the effective lengths of horizontal grounding electrode under lightning currents are presented.展开更多
Low-voltage(LV) distribution networks are unbalanced and present loads with nonlinear behavior, which introduce harmonics in the networks. The predictable increase in photovoltaic microgeneration(PV μG) accentuates t...Low-voltage(LV) distribution networks are unbalanced and present loads with nonlinear behavior, which introduce harmonics in the networks. The predictable increase in photovoltaic microgeneration(PV μG) accentuates this unbalanced characteristic, as well as poses new technical problems,namely voltage rise and reverse power flow. To accurately account for the distributed PV and loads in the LV network, unbalanced three-phase power flow algorithms should be utilized,where different approaches may be used to represent lines with various degrees of accuracy. The more accurate algorithm considers the electromagnetic coupling between the line conductors,whereas the simpler algorithm represents each conductor of the line as a single-phase line with pure resistive behavior. This paper aims to analyze the influence of the line model on the load flow in a highly unbalanced LV network with a high penetration of PV production, and considers the impact of the harmonics produced by nonlinear loads. Based on the results obtained,it is possible to identify the most suitable model to be used, depending on the study to be performed. Different scenarios of PV generation and loads are addressed in this paper.展开更多
A transmission line（TL）model of a carbon nanotube（CNT）is analyzed through the Boltzmann transport equation（BTE）.With the help of a numerical solution of the BTE,we study the kinetic inductance（L_K）, quantum ca...A transmission line（TL）model of a carbon nanotube（CNT）is analyzed through the Boltzmann transport equation（BTE）.With the help of a numerical solution of the BTE,we study the kinetic inductance（L_K）, quantum capacitance（C_Q）and resistivity（R_S）of a CNT under a high frequency electric field.Values of L_K and C_Q obtained from BTE accord with the theoretical values,and the TL model is verified by transport theory for the first time.Moreover,our results show that the AC resistivity of CNTs deviates from DC,increasing along with shorter electric field wave length.This shows that changes in R_S in the high frequency condition must be considered in the TL model.展开更多
In numerical simulations of tidal current farms,large-scale computational fluid dynamic(CFD)simulations with a high-resolution grid are required to calculate the interactions between tidal turbines.In this study,we de...In numerical simulations of tidal current farms,large-scale computational fluid dynamic(CFD)simulations with a high-resolution grid are required to calculate the interactions between tidal turbines.In this study,we develop a numerical simulation method for tidal current turbines using the lattice Boltzmann method(LBM),which is suitable for large-scale CFD simulations.Tidal turbines are modeled by using the actuator line(ACL)model,which represents each blade as a group of actuator points in a line.In order to validate our LBM-ACL model,we perform simulations for two interacting tidal turbines,and results of turbine performance are compared with a water tank experiment.The proposed model successfully reproduces the variation of the torque due to wave effects and mean turbine performance.We have demonstrated a large-scale simulation for ten tidal turbines using 8.55×10^(8) grid points and 16 GPUs of Tesla P100 and the simulation has been completed within 9 hours with the LBM performance of 392 MLUPS per GPU.展开更多
In this study, the transmission capacity of VANETs in a highway scenario is analysed on the basis of a 1D line model and the carrier sense multiple access with collision avoidance(CSMA/CA) protocol. We describe the CS...In this study, the transmission capacity of VANETs in a highway scenario is analysed on the basis of a 1D line model and the carrier sense multiple access with collision avoidance(CSMA/CA) protocol. We describe the CSMA/CA protocol used in IEEE802.11 p from the perspective of the geometric relationship amongst simultaneous transmitters. The desired channel and interfering channels are assumed to experience the same amount of path-loss and Rayleigh fading. On the basis of the proposed model, we analyse the attempted transmission probability of each road segment and the maximum intensity of active transmitters, including their theoretical values. Then, we employ the physical model to obtain the outage probability and derive the upper bound of the transmission capacity of a VANET, which is defined as the average spatial density of successful transmissions in the network. Simulation results indicate that the theoretical value offers a good bound on network capacity.展开更多
Software product line （SPL） engineering is increasingly being adopted in safety-critical systems. It is highly desirable to rigorously show that these systems are designed correctly. However, formal analysis for SPL...Software product line （SPL） engineering is increasingly being adopted in safety-critical systems. It is highly desirable to rigorously show that these systems are designed correctly. However, formal analysis for SPLs is more difficult than for single systems because an SPL may contain a large number of individual systems. In this paper, we propose an efficient model-checking technique for SPLs using induction and a SAT （Boolean satisfiability problem） solver. We show how an induction-based verification method can be adapted to the SPLs, with the help of a SAT solver. To combat the state space explosion problem, a novel technique that exploits the distinguishing characteristics of SPLs, called feature cube enlargement, is proposed to reduce the verification efforts. The incremental SAT mechanism is applied to further improve the efficiency. The correctness of our technique is proved. Experimental results show dramatic improvement of our technique over the existing binary decision diagram （BDD）-based techniques.展开更多
The IAP (Institute of Atmospheric Physics) land-surface model (IAP94) is described. This model is a comprehensive one with detailed description for the processes of vegetation, snow and soil. Particular attention has ...The IAP (Institute of Atmospheric Physics) land-surface model (IAP94) is described. This model is a comprehensive one with detailed description for the processes of vegetation, snow and soil. Particular attention has been paid to the cases with three water phases in the surface media. On the basis of the mixture theory and the theory of fluid dynamics of porous media, the system of universal conservational equations for water and heat of soil, snow and vegetation canopy has been constructed. On this background, all important factors that may affect the water and heat balance in media can be considered naturally, and each factor and term possess distinct physical meaning. In the computation of water content and temperature, the water phase change and the heat transportation by water flow are taken into account. Moreover, particular attention has been given to the water vapor diffusion in soil for arid or semi-arid cases, and snow compaction. In the treatment of surface turbulent fluxes, the difference between aerodynamic and thermal roughness is taken into account. The aerodynamic roughness of vegetation is calculated as a function of canopy density, height and zero-plane displacement. An extrapolation of log linear and exponential relationship is used when calculating the wind profile within canopy. The model has been validated against field measurements in off-line simulations. The desirable model′s performance leads to the conclusion that the IAP94 is able to reproduce the main physical mechanisms governing the energy and water balances in the global land surface. Part II of the present study will concern the validation in a 3-D experiment coupled with the IAP Two-Level AGCM.展开更多
A reformed numerical model based on the 'one-line theory' for beach deformation is presented. In this model, the change of beach slope during coastline procession is considered.A wave numerical model combined ...A reformed numerical model based on the 'one-line theory' for beach deformation is presented. In this model, the change of beach slope during coastline procession is considered.A wave numerical model combined with wave refraction, diffraction and reflection is used to simulate wave climate to increase numerical accuracy.The results show that the numerical model has a good precision based on the adequate field data. The results can be applied to practical engineering.展开更多
The paper presents some problems of lightning overvoltage modeling in transmission lines with nonlinear elements.The presented results were obtained mostly for fast front transients of subsequent lightning return stro...The paper presents some problems of lightning overvoltage modeling in transmission lines with nonlinear elements.The presented results were obtained mostly for fast front transients of subsequent lightning return stroke currents.The effectiveness of numerical algorithms of nonlinear models and possibilities of their development for such transients are analyzed.Computer simulations carried out by application of EMTP show that nonlinear models of back-flashover and ZnO arresters work properly,while the implemented corona model can not be used for relatively large peak values of subsequent lightning return-stroke currents.展开更多
This paper shows the development of transmission line model, based on lumped element circuit that provides answers directly in the time and phase domain. This model is valid to represent the ideally transposed line, t...This paper shows the development of transmission line model, based on lumped element circuit that provides answers directly in the time and phase domain. This model is valid to represent the ideally transposed line, the phases of each of the small line segments are separated in their modes of propagation and the voltage and current are calculated at the modal domain. However, the conversion phase-mode-phase is inserted in the state equations which describe the currents and voltages along the line of which there is no need to know the user of the model representation of the theory in the line modal domain.展开更多
Software development is a complex and difficult task that requires the investment of sufficient resources and carries major risk of failure. Model Driven Engineering (MDE) focuses on creating software models and autom...Software development is a complex and difficult task that requires the investment of sufficient resources and carries major risk of failure. Model Driven Engineering (MDE) focuses on creating software models and automating code generation from the models. Model Driven Software Development (MDSD) offers significantly more effective approaches. These approaches improve the way of building software. Model driven approaches partially increase developer productivity, decrease the cost of software construction, improve software reusability, and make software more maintainable. This paper investigates the methods where Model Driven Software Development is integrated with Software Product Line (SPL). This SLR has been conducted to identify 71 research works published since 2014. We have collected 18 tools, 14 techniques and 17 languages used for MDSD for SPL. We analyze which technique is suitable for SPL. We compare the techniques on the basis of features provided by these tools to understand the better-quality results.展开更多
An atmosphere-ocean coupled mesoscale modeling system is developed and used to investigate the interactions between a squall line and the upper ocean observed over the western Paci?c warm pool during the Tropical Oc...An atmosphere-ocean coupled mesoscale modeling system is developed and used to investigate the interactions between a squall line and the upper ocean observed over the western Paci?c warm pool during the Tropical Ocean/Global Atmosphere Coupled Ocean and Atmosphere Response Experiment (TOGA-COARE). The modeling system is developed by coupling the Advanced Regional Prediction Sys- tem (ARPS) to the Princeton Ocean Model (POM) through precipitation and two-way exchanges of mo- mentum, heat, and moisture across the air-sea interface. The results indicate that the interaction between the squall-line and the upper ocean produced noticeable di?erences in the sensible and latent heat ?uxes, as compared to the uncoupled cases. Precipitation, which is often ignored in air-sea heat ?ux estimates, played a major role in the coupling between the mesoscale convective system and the ocean. Precipitation a?ected the air-sea interaction through both freshwater ?ux and sensible heat ?ux. The former led to the formation of a thin stable ocean layer underneath and behind the precipitating atmospheric convection. The presence of this stable layer resulted in a more signi?cant convection-induced sea surface temperature (SST) change in and behind the precipitation zone. However, convection-induced SST changes do not seem to play an important role in the intsensi?cation of the existing convective system that resulted in the SST change, as the convection quickly moved away from the region of original SST response.展开更多
文摘With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related to the development of manufacturing enterprises.In this paper,a graphical model based on Petri Net is established for the first full load time of the assembly line.The accessibility of the P/T system and the production rhythm of the assembly line are calculated by computer simulation.Finally,according to the simulation model,an experimental platform is built to verify the rationality of the model.Experimental results show that the model can accurately express the equipment allocation process of assembly line.
文摘During geomagnetic disturbances, electric fields induced in the Earth and in power systems, pipelines and submarine cables can interfere with the operation of these systems. Calculations for submarine cables are complicated by the need to consider not just the induction directly into the cable but also the earth potentials produced at the coast at each end of the cable. To determine the coast potentials, we present a new model of the ocean and earth conductivity structure that spans the whole length of a cable from one coast to another. Calculations are based on the generalised thin sheet approach introduced by Ranganayaki and Madden but converted to a transmission line model that can be solved using standard circuit theory techniques. It is shown how the transmission line model can be used to calculate the earth potential profile from one side of an ocean or sea to the other. Example calculations are presented for a shallow sea, a shallow ocean, and a deep ocean that are simplified approximations to the North Sea, Tasman Sea and Pacific Ocean and show that the peak potentials occur at the coast. An examination is also made of how the width of a shallow sea and the width of the continental shelf affect these coast potentials. The modelling technique and example results provide a guide for more detailed modelling of geomagnetic induction along the routes of specific submarine cables.
基金supported by USM Short Term Grant(304/CIPPM/6312034)from Universiti Sains Malaysia
文摘Objective:To evaluate the cytotoxicity and genotoxicity activity of Euphorbia hirta(E.hirta)in MCF-7 cell line model using comet assay.Methods:The cytotoxicity of E.hirta extract was investigated by employing brine shrimp lethality assay and the genotoxicity of E.hirta was assessed by using Comet assay.Results:Both toxicity tests exhibited significant toxicity result.In the comet assay,the E.hirta extract exhibited genotoxicity effects against MCF-7 DNA in a time-dependent manner by increasing mean percentage of DNA damage.The extract of E.hirta showed significant toxicity against brine shrimp with an LC_(50)value of 620.382μg/mL(24 h).Comparison with positive control potassium dichroniate signifies that cytotoxicity exhibited by the methanol extract might have moderate activity.Conclusion:The present work confirmed the cytotoxicity and genotoxicity of E.hirta.However,the observed toxicity of E.hta extracts needs to be confirmed in additional studies.
基金This project is supported by Key Science-Technology Project of Shanghai City Tenth Five-Year-Plan, China (No.031111002)Specialized Research Fund for the Doctoral Program of Higher Education, China (No.20040247033)Municipal Key Basic Research Program of Shanghai, China (No.05JC14060)
文摘In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.
文摘The Actuator Line/Navier-Stokes model is validated against wind tunnel measurements for flows past the yawed MEXICO rotor and past the yawed NREL Phase VI rotor. The MEXICO rotor is operated at a rotational speed of 424 rpm, a pitch angle of ?2.3。, wind speeds of 10, 15, 24 m/s and yaw angles of 15。, 30。 and 45。. The computed loads as well as the velocity field behind the yawed MEXICO rotor are compared to the detailed pressure and PIV measurements which were carried out in the EU funded MEXICO project. For the NREL Phase VI rotor, computations were carried out at a rotational speed of 90.2 rpm, a pitch angle of 3。, a wind speed of 5 m/s and yaw angles of 10。and 30。. The computed loads are compared to the loads measured from pressure measurement.
文摘A method used for determining the number of equivalent π sections oftransmission line model according to the frequency range of interest and the model accura-cy defined herein is proposed.Factors influencing the discrepancies between continuous ordistributed parameter and multiple π or lumped parameter models are discussed.Generalconclusions concerning the π section lengths of line models used in transient stability,faulttransient and switching over-voltage studies are drawn.Time-domain simulation resultsconfirm the effectiveness of this method.
基金supported by Major State Basic Research Development Program of China （973 Program ） （No. 2007CB310407） the National Natural Science Foundation of China （No. 60721001 and No. 60801023 ）.
文摘Arising from the proposed Transmission Line(TL) model for ERR and wire structure, a TL model for a metamaterial absorber is proposed. The S-parameters obtained by this TL model demonstrate the same shapes as the simulation. An investigation of the TL model and average absorption power densities shows that the metamaterial absorber does not simply convert the electromagnetic wave into thermal energy, but concentrate the electromagnetic wave into a small space where it is finally absorbed. This suggests that the metamaterial absorber can be applied to solar cells for the purpose of light trapping.
文摘Electric towers of high voltage transmission lines are more exposed to natural lightning phenomena thanks to their high heights. These lines are crossed by powerful current sources to dissipate in the ground, which can, at one time or another, create disturbances or other phenomena can be generated. This is why we have set ourselves the objective of studying the FDTD modeling of the influence of direct lightning strikes on the power transmitted by a High-Voltage power line. To do this, we have implemented Kirchhoff’s laws to model the power transmitted by a High-Voltage power line in a steady state. Calculating the electromagnetic field generated by lightning requires the lightning current along the channel and its spatiotemporal distribution, the bi-exponential models and that of engineers were chosen and used to reproduce the physical phenomena best. Several works have been published in the literature and various mathematical models are proposed, to study the filamentous nature of power lines which has led to a more flexible modelling, based on the transmission line model, associated with the field theory developed from Maxwell’s equations, which explain the interaction between a lightning wave and a power transmission line. The resolution of the line equations in the lightning shock regime was the subject of the FDTD method to obtain the results in the spatio-temporal domain. Through this research, we are interested in the study of the spatiotemporal distribution of the lightning current wave to model the radiated electromagnetic field and to examine the influence of the overvoltage induced by the atmospheric discharge on the transportable power of a High Voltage AC Transmission line, for good selective protection to illuminate the parasites. 2D simulations based on proposed models were developed as well as the verification of the consistency of the different models, by comparing the fractal dimensions of the results of our program with those of the figures obtained experimentally. The aspects developed in this article could have direct implications in practical applications in the engineering and design of high-voltage transmission systems.
文摘In this paper, an optimized transmission line model （OTL） for modeling transient behavior of grounding electrodes under lightning currents is presented. The soil ionization effect is considered in OTL, and all electromagnetic couplings between dif- ferent parts of grounding electrode are also considered by selecting the size of segment conductor properly and calculating the mutual coupling parameters between segment conductors accurately. Comparing with the traditional transmission line model, the optimized model can be used to accurately predict the effective length and transient potential rise （TPR） of grounding elec- trodes. Transient behaviors of grounding electrodes are simulated by OTL and the results are in good agreement with those of the electromagnetic model proposed by Grcev, and experiment results performed by Electricit6 de France and Geri. Further- more, non-uniform discharging phenomenon of grounding electrode under lightning current is discussed, and the effective lengths of horizontal grounding electrode under lightning currents are presented.
基金supported by national funds through Funda??o para a Ciência e a Tecnologia (FCT)(No. UIDB/50021/2020)。
文摘Low-voltage(LV) distribution networks are unbalanced and present loads with nonlinear behavior, which introduce harmonics in the networks. The predictable increase in photovoltaic microgeneration(PV μG) accentuates this unbalanced characteristic, as well as poses new technical problems,namely voltage rise and reverse power flow. To accurately account for the distributed PV and loads in the LV network, unbalanced three-phase power flow algorithms should be utilized,where different approaches may be used to represent lines with various degrees of accuracy. The more accurate algorithm considers the electromagnetic coupling between the line conductors,whereas the simpler algorithm represents each conductor of the line as a single-phase line with pure resistive behavior. This paper aims to analyze the influence of the line model on the load flow in a highly unbalanced LV network with a high penetration of PV production, and considers the impact of the harmonics produced by nonlinear loads. Based on the results obtained,it is possible to identify the most suitable model to be used, depending on the study to be performed. Different scenarios of PV generation and loads are addressed in this paper.
文摘A transmission line（TL）model of a carbon nanotube（CNT）is analyzed through the Boltzmann transport equation（BTE）.With the help of a numerical solution of the BTE,we study the kinetic inductance（L_K）, quantum capacitance（C_Q）and resistivity（R_S）of a CNT under a high frequency electric field.Values of L_K and C_Q obtained from BTE accord with the theoretical values,and the TL model is verified by transport theory for the first time.Moreover,our results show that the AC resistivity of CNTs deviates from DC,increasing along with shorter electric field wave length.This shows that changes in R_S in the high frequency condition must be considered in the TL model.
基金This work was supported by the JSPS KAKENHI(Grant No.JP19H02363).The computation was carried out using the computer resource offered under the category of General Projects by Research Institute for Information Technology,Kyushu University.
文摘In numerical simulations of tidal current farms,large-scale computational fluid dynamic(CFD)simulations with a high-resolution grid are required to calculate the interactions between tidal turbines.In this study,we develop a numerical simulation method for tidal current turbines using the lattice Boltzmann method(LBM),which is suitable for large-scale CFD simulations.Tidal turbines are modeled by using the actuator line(ACL)model,which represents each blade as a group of actuator points in a line.In order to validate our LBM-ACL model,we perform simulations for two interacting tidal turbines,and results of turbine performance are compared with a water tank experiment.The proposed model successfully reproduces the variation of the torque due to wave effects and mean turbine performance.We have demonstrated a large-scale simulation for ten tidal turbines using 8.55×10^(8) grid points and 16 GPUs of Tesla P100 and the simulation has been completed within 9 hours with the LBM performance of 392 MLUPS per GPU.
基金supported in part by the National Natural Science Foundation of China under Grant No.61271184 and 61571065
文摘In this study, the transmission capacity of VANETs in a highway scenario is analysed on the basis of a 1D line model and the carrier sense multiple access with collision avoidance(CSMA/CA) protocol. We describe the CSMA/CA protocol used in IEEE802.11 p from the perspective of the geometric relationship amongst simultaneous transmitters. The desired channel and interfering channels are assumed to experience the same amount of path-loss and Rayleigh fading. On the basis of the proposed model, we analyse the attempted transmission probability of each road segment and the maximum intensity of active transmitters, including their theoretical values. Then, we employ the physical model to obtain the outage probability and derive the upper bound of the transmission capacity of a VANET, which is defined as the average spatial density of successful transmissions in the network. Simulation results indicate that the theoretical value offers a good bound on network capacity.
基金Acknowledgements This work was supported in part by the National Basic Research Program of China （973 Program） （2010CB328003）, the National Natural Science Foundation of China （Grant Nos. 61672310, 61272001, 60903030, 91218302）, and the Chinese National Key Technology R＆D Program （SQ2012BAJY4052）.
文摘Software product line （SPL） engineering is increasingly being adopted in safety-critical systems. It is highly desirable to rigorously show that these systems are designed correctly. However, formal analysis for SPLs is more difficult than for single systems because an SPL may contain a large number of individual systems. In this paper, we propose an efficient model-checking technique for SPLs using induction and a SAT （Boolean satisfiability problem） solver. We show how an induction-based verification method can be adapted to the SPLs, with the help of a SAT solver. To combat the state space explosion problem, a novel technique that exploits the distinguishing characteristics of SPLs, called feature cube enlargement, is proposed to reduce the verification efforts. The incremental SAT mechanism is applied to further improve the efficiency. The correctness of our technique is proved. Experimental results show dramatic improvement of our technique over the existing binary decision diagram （BDD）-based techniques.
文摘The IAP (Institute of Atmospheric Physics) land-surface model (IAP94) is described. This model is a comprehensive one with detailed description for the processes of vegetation, snow and soil. Particular attention has been paid to the cases with three water phases in the surface media. On the basis of the mixture theory and the theory of fluid dynamics of porous media, the system of universal conservational equations for water and heat of soil, snow and vegetation canopy has been constructed. On this background, all important factors that may affect the water and heat balance in media can be considered naturally, and each factor and term possess distinct physical meaning. In the computation of water content and temperature, the water phase change and the heat transportation by water flow are taken into account. Moreover, particular attention has been given to the water vapor diffusion in soil for arid or semi-arid cases, and snow compaction. In the treatment of surface turbulent fluxes, the difference between aerodynamic and thermal roughness is taken into account. The aerodynamic roughness of vegetation is calculated as a function of canopy density, height and zero-plane displacement. An extrapolation of log linear and exponential relationship is used when calculating the wind profile within canopy. The model has been validated against field measurements in off-line simulations. The desirable model′s performance leads to the conclusion that the IAP94 is able to reproduce the main physical mechanisms governing the energy and water balances in the global land surface. Part II of the present study will concern the validation in a 3-D experiment coupled with the IAP Two-Level AGCM.
文摘A reformed numerical model based on the 'one-line theory' for beach deformation is presented. In this model, the change of beach slope during coastline procession is considered.A wave numerical model combined with wave refraction, diffraction and reflection is used to simulate wave climate to increase numerical accuracy.The results show that the numerical model has a good precision based on the adequate field data. The results can be applied to practical engineering.
文摘The paper presents some problems of lightning overvoltage modeling in transmission lines with nonlinear elements.The presented results were obtained mostly for fast front transients of subsequent lightning return stroke currents.The effectiveness of numerical algorithms of nonlinear models and possibilities of their development for such transients are analyzed.Computer simulations carried out by application of EMTP show that nonlinear models of back-flashover and ZnO arresters work properly,while the implemented corona model can not be used for relatively large peak values of subsequent lightning return-stroke currents.
文摘This paper shows the development of transmission line model, based on lumped element circuit that provides answers directly in the time and phase domain. This model is valid to represent the ideally transposed line, the phases of each of the small line segments are separated in their modes of propagation and the voltage and current are calculated at the modal domain. However, the conversion phase-mode-phase is inserted in the state equations which describe the currents and voltages along the line of which there is no need to know the user of the model representation of the theory in the line modal domain.
文摘Software development is a complex and difficult task that requires the investment of sufficient resources and carries major risk of failure. Model Driven Engineering (MDE) focuses on creating software models and automating code generation from the models. Model Driven Software Development (MDSD) offers significantly more effective approaches. These approaches improve the way of building software. Model driven approaches partially increase developer productivity, decrease the cost of software construction, improve software reusability, and make software more maintainable. This paper investigates the methods where Model Driven Software Development is integrated with Software Product Line (SPL). This SLR has been conducted to identify 71 research works published since 2014. We have collected 18 tools, 14 techniques and 17 languages used for MDSD for SPL. We analyze which technique is suitable for SPL. We compare the techniques on the basis of features provided by these tools to understand the better-quality results.
基金the Division of Atmospheric Sciences, National Science Foundation under Grant Nos. ATM-9632390 , ATM-0080088 the National Oceanic and Atmospheric Administration under Grant No.NA03-NES-4400015.
文摘An atmosphere-ocean coupled mesoscale modeling system is developed and used to investigate the interactions between a squall line and the upper ocean observed over the western Paci?c warm pool during the Tropical Ocean/Global Atmosphere Coupled Ocean and Atmosphere Response Experiment (TOGA-COARE). The modeling system is developed by coupling the Advanced Regional Prediction Sys- tem (ARPS) to the Princeton Ocean Model (POM) through precipitation and two-way exchanges of mo- mentum, heat, and moisture across the air-sea interface. The results indicate that the interaction between the squall-line and the upper ocean produced noticeable di?erences in the sensible and latent heat ?uxes, as compared to the uncoupled cases. Precipitation, which is often ignored in air-sea heat ?ux estimates, played a major role in the coupling between the mesoscale convective system and the ocean. Precipitation a?ected the air-sea interaction through both freshwater ?ux and sensible heat ?ux. The former led to the formation of a thin stable ocean layer underneath and behind the precipitating atmospheric convection. The presence of this stable layer resulted in a more signi?cant convection-induced sea surface temperature (SST) change in and behind the precipitation zone. However, convection-induced SST changes do not seem to play an important role in the intsensi?cation of the existing convective system that resulted in the SST change, as the convection quickly moved away from the region of original SST response.
