In order to accurately describe the transverse relaxation characteristic and stress relaxation modulus of HTPB coating during pre-strain thermal aging process,a one month thermal aging test was carried out at70C with ...In order to accurately describe the transverse relaxation characteristic and stress relaxation modulus of HTPB coating during pre-strain thermal aging process,a one month thermal aging test was carried out at70C with pre-strain of 0%,3%,6%and 9%,respectively.The low-field1 H NMR and stress relaxation modulus tests were carried out for HTPB coating at different aging stages.The stress relaxation model considering the molecular chains was proposed according to the changes of crosslinking chain and dangling chain of HTPB coating during pre-strain aging.The results showed that with the increase of aging time,the decay rate of transverse relaxation curve became faster,the transverse relaxation time decreased,the value of combined parameter q Mrl increased,the proportion of crosslinking chain decreased,while the proportion of dangling chain increased.Moreover,the stress relaxation modulus increased,the crosslinking network structure of HTPB coating became denser and the degree of crosslinking increased.At the initial aging stage,the pre-strain will destroy the crosslinking network structure of HTPB coating to a certain extent.With the increase of aging time,the effect of pre-strain will gradually weaken and the influence of aging on materials will gradually increase.The correlations between the stress relaxation model considering the molecular chains and the test results were more than 0.9950,which can accurately describe the stress relaxation modulus of HTPB coating during the pre-strain thermal aging process.展开更多
Based on atomic force microscopy technique, we found that the chon- drocytes exhibits stress relaxation behavior. We explored the mechanism of this stress relaxation behavior and concluded that the intracellular fluid...Based on atomic force microscopy technique, we found that the chon- drocytes exhibits stress relaxation behavior. We explored the mechanism of this stress relaxation behavior and concluded that the intracellular fluid exuding out from the cells during deformation plays the most important role in the stress relax- ation. We applied the inverse finite element analysis technique to determine nec- essary material parameters for porohyperelastic (PHE) model to simulate stress relaxation behavior as this model is proven capable of capturing the non-linear behavior and the fluid-solid interaction during the stress relaxation of the single chondrocytes. It is observed that PHE model can precisely capture the stress re- laxation behavior of single chondrocytes and would be a suitable model for cell biomechanics.展开更多
The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical ...The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical comparison between the BGK and direct simulation Monte Carlo(DSMC) results for three specifically designed relaxation problems. In these problems, one or half component of the velocity distribution is characterized by another Maxwellian distribution with a different temperature. It is analyzed that the relaxation time in the BGK model is unequal to the molecular mean collision time. Relaxation of component distribution fails to involve enough contribution from other component distributions, which makes the BGK model unable to capture details of velocity distribution, especially when discontinuity exists in distribution. The BGK model,however, predicts satisfactory results including fluxes during relaxation when the temperature difference is small. Particularly, the model-induced error in the BGK model increases with the temperature difference, thus the model is more reliable for low-speed rarefied flows than for hypersonic flows.展开更多
A new simple thixotropy model was proposed in the present paper to characterize the thixotropy-loop experiments and the start-up experiment of an LDPE (PE-FSB23D0221Q200) melt. The thixotropy model is a combination ...A new simple thixotropy model was proposed in the present paper to characterize the thixotropy-loop experiments and the start-up experiment of an LDPE (PE-FSB23D0221Q200) melt. The thixotropy model is a combination of a viscoelastic-component and a postulated kinetics process of structure change, which is constituted in terms of the indirect microstructural approach usually adopted in the characterization of thixotropy. The descriptions of the thixotropy model on both the thixotropy-loop tests and the startup test show good agreement with the experimental values, indicating the good capability of the model in characterizing the time-dependent nonlinear viscoelastic. The stress overshoot phenomenon and the stress relaxation after cessation of the thixotropy loop test can be described well by the model, whereas both of the typical viscoelastic phenomena could not be described in our previous work with a variant Huang model.展开更多
A linear semi-continuum model with discrete atomic layers in the thickness direction was developed to investigate the bending behaviors of ultra-thin beams with nanoscale thickness.The theoretical results show that th...A linear semi-continuum model with discrete atomic layers in the thickness direction was developed to investigate the bending behaviors of ultra-thin beams with nanoscale thickness.The theoretical results show that the deflection of an ultra-thin beam may be enhanced or reduced due to different relaxation coefficients.If the relaxation coefficient is greater/less than one,the deflection of micro/nano-scale structures is enhanced/reduced in comparison with macro-scale structures.So,two opposite types of size-dependent behaviors are observed and they are mainly caused by the relaxation coefficients.Comparisons with the classical continuum model,exact nonlocal stress model and finite element model (FEM) verify the validity of the present semi-continuum model.In particular,an explanation is proposed in the debate whether the bending stiffness of a micro/nano-scale beam should be greater or weaker as compared with the macro-scale structures.The characteristics of bending stiffness are proved to be associated with the relaxation coefficients.展开更多
Blind signature has a wide range of applications in the fields of E-commerce and block-chain because it can effectively prevent the blind signer from getting the original message with its blindness.Owing to the potent...Blind signature has a wide range of applications in the fields of E-commerce and block-chain because it can effectively prevent the blind signer from getting the original message with its blindness.Owing to the potential unconditional security,quantum blind signature(QBS)is more advantageous than the classical ones.In this paper,an efficient and practical quantum blind signature scheme relaxed security model is presented,where quantum superposition,decoy qubits and hash function are used for the purpose of blindness.Compared with previous QBS scheme,the presented scheme is more efficient and practical with a relaxed security model,in which the signer’s dishonest behavior can be detected other than being prevented as in other QBS schemes.展开更多
The polyurethane, which was the subject of the constitutive research presented in the paper, was based on oligocarbonate diols Desmophen C2100 produced by Bayer?. The constitutive modelling was performed with a view ...The polyurethane, which was the subject of the constitutive research presented in the paper, was based on oligocarbonate diols Desmophen C2100 produced by Bayer?. The constitutive modelling was performed with a view to applying the material as the inlay of intervertebral disc prostheses. The polyurethane was assumed to be non-linearly viscohyperelastic, isotropic and incompressible. The constitutive equation was derived from the postulated strain energy function. The elastic and rheological constants were identified on the basis of experimental tests, i.e. relaxation tests and monotonic uniaxial tests at two different strain rates, i.e. λ= 0.1 min-1 and λ= 1.0 min-1. The stiffness tensor was derived and introduced to Abaqus?finite element(FE) software in order to numerically validate the constitutive model. The results of the constants identification and numerical implementation show that the derived constitutive equation is fully adequate to model stress-strain behavior of the polyurethane material.展开更多
This paper presents a numerical study of the sensitivity of a fluid model known as time relaxation model with respect to variations of the time relaxation coefficient c.The sensitivity analysis of this model is utiliz...This paper presents a numerical study of the sensitivity of a fluid model known as time relaxation model with respect to variations of the time relaxation coefficient c.The sensitivity analysis of this model is utilized by the sensitivity equation method and uses the finite element method along with Crank Nicolson method in the fully discretization of the partial differential equations.We present a test case in support of the sensitivity convergence and also provide a numerical comparison between two different strategies of computing the sensitivity,sensitivity equation method and forward finite differences.展开更多
Because of stability constraints,most numerical schemes applied to hyperbolic systems of equations turn out to be costly when the flux term is multiplied by some very large scalar.This problem emerges with the M_(1)sy...Because of stability constraints,most numerical schemes applied to hyperbolic systems of equations turn out to be costly when the flux term is multiplied by some very large scalar.This problem emerges with the M_(1)system of equations in the field of radiotherapy when considering heterogeneous media with very disparate densities.Additionally,the flux term of the M_(1)system is non-linear,and in order for the model to be well-posed the numerical solution needs to fulfill conditions called realizability.In this paper,we propose a numerical method that overcomes the stability constraint and preserves the realizability property.For this purpose,we relax the M_(1)system to obtain a linear flux term.Then we extend the stencil of the difference quotient to obtain stability.The scheme is applied to a radiotherapy dose calculation example.展开更多
We device a relaxed lattice model (RLM) to study the mechanism of glass transition, which unifies the cage- effects from particle-particle interaction and entropy. By analyzing entropy in RLM with considering the in...We device a relaxed lattice model (RLM) to study the mechanism of glass transition, which unifies the cage- effects from particle-particle interaction and entropy. By analyzing entropy in RLM with considering the influence of interactions on equilibrium, we demonstrate that glass transition is a second-order phase transition. For a perfect one- dimensional linked particle system like linear polymer under normal pressure, the free volume at glass transition is rigorously deduced out to be 2.6%, which provides a theoretical basis for the iso-free volume of 2.5% given by Willian, Landel and Ferry (WLF) equation. Extending to system with dead particles linked with higher dimensions like branched or cross-linked chains under positive or negative pressure, free volume at glass transition is varied, based on which we construct a phase diagram of glass transition in the space of free volume-dead particle-pressure. This demonstrates that free volume is not the single parameter determining glass transition, while either dead particles like cross-linked points or external force fields like pressure can vary free volume at the glass transition.展开更多
The stability of shallow tunnels excavated in full face has been a major challenge to the scientific community for a long time. In recent years, new techniques based on the installation of a pre-reinforcement system a...The stability of shallow tunnels excavated in full face has been a major challenge to the scientific community for a long time. In recent years, new techniques based on the installation of a pre-reinforcement system ahead of the tunnel face were developed to control the deformations and surface settlements induced by the excavation and to ensure the sustainability of the tunnel in the long term. In this paper, a finite difference numerical simulation was conducted to study the behaviors and effects of two pre-reinforcement systems, i.e. the face bolting and the umbrella arch system installed in a section of southern Toulon tunnel in France. For this purpose, two approaches were taken and compared: a two-dimensional (2D) approach based on the convergence–confinement method, and a three-dimensional (3D) approach taking into account the complete modeling of the tunnel. A 2D numerical back-analysis was performed to identify the geomechanical parameters that offer satisfactory agreement with the measurement results. The limit of this method lies in the exact choice of the stress relaxation ratio λ. To overcome this uncertainty, a 3D model was developed, which permitted to study the influence of different pre-support systems on the reaction of ground mass. Both 2D and 3D numerical approaches have been fitted to measurements recorded in a section of the Toulon tunnel and the very satisfactory correspondence has allowed validating the simulations. The results show that the 3D numerical analysis with a full discretization of the inclusions seems unquestionably the most reliable approach.展开更多
In the previous paper, in order to express steadystate ratchetting, the present s extended the cyclic plasticity model proposed by Ohno and Wang (1993), and the validity of the extended model was discussed on the ba...In the previous paper, in order to express steadystate ratchetting, the present s extended the cyclic plasticity model proposed by Ohno and Wang (1993), and the validity of the extended model was discussed on the basis of uniaxial ratchetting experiments of 316FR steel at room temperature. In the present paper, the validity of the extended model is discussed further on the basis of nonproportional experiments of IN738LC at 850 such as multiaxial ratchetting, multiaxial cyclic stress relaxation, circular cyclic straining with strain hold, and so on. Predictions based on the OhnoWang model as well as the ArmstrongFrederick model are also given for the sake of comparison. It is shown that the extended model is capable of simulating the nonproportional experiments accurately, and especially that the extended model can predict much less steadystate ratchetting than the ArmstrongFrederick model. It is also shown that the extended model provides almost the same predictions as the OhnoWang and th展开更多
Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the causality loop, which causes absurd...Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the causality loop, which causes absurd out-of-thin-air reads that may break the type safety and se- curity guarantee of Java. The resulting JMM is complex and difficult to understand. It also has many anti-intuitive behav- iors, as demonstrated by the "ugly examples" by Aspinall and ~ev6~ [1]. Furthermore, HMM (and JMM) specifies only what execution traces are acceptable, but says nothing about how these traces are generated. This gap makes it difficult for static reasoning about programs. In this paper we present OHMM, an operational variation of HMM. The model is specified by giving an operational semantics to a language running on an abstract machine de- signed to simulate HMM. Thanks to its generative nature, the model naturally prevents out-of-thin-air reads. On the other hand, it uses a novel replay mechanism to allow instruc- tions to be executed multiple times, which can be used to model many useful speculations and optimization. The model is weaker than JMM for lockless programs, thus can accom- modate more optimization, such as the reordering of inde- pendent memory accesses that is not valid in JMM. Program behaviors are more natural in this model than in JMM, and many of the anti-intuitive examples in JMM are no longer valid here. We hope OHMM can serve as the basis for new memory models for Java-like languages.展开更多
In the sense of the nonlinear multisplitting and based on the principle of suffi-ciently using the delayed information, we propose models of asynchronous parallelaccelerated overrelaxation iteration methods for solvin...In the sense of the nonlinear multisplitting and based on the principle of suffi-ciently using the delayed information, we propose models of asynchronous parallelaccelerated overrelaxation iteration methods for solving large scale system of non-linear equations. Under proper conditions, we set up the local convergence theoriesof these new method models.展开更多
Natural convection in a square cavity at high Rayleigh numbers is simulated by multiple relaxation time(MRT)lattice Boltzmann method(LBM)with a separate distribution function to solve the temperature.The Rayleigh numb...Natural convection in a square cavity at high Rayleigh numbers is simulated by multiple relaxation time(MRT)lattice Boltzmann method(LBM)with a separate distribution function to solve the temperature.The Rayleigh numbers examined here range from Ra=103 to Ra=10^(8).For Rayleigh numbers below 10^(8),the flow remains stationary and transition occurs beyond Ra=2×10^(8).Unsteady results at higher Rayleigh numbers(Ra=10^(9) and Ra=10^(10))are also investigated.To the best of our knowledge,this is the first accurate study which involves the high Rayleigh numbers Ra=10^(9),10^(10).展开更多
The dispersion mechanism in Al0:27Ga0:73N/GaN heterostructure was investigated using frequencydependent capacitance and conductance measurements.It was found that the significant capacitance and conductance dispersi...The dispersion mechanism in Al0:27Ga0:73N/GaN heterostructure was investigated using frequencydependent capacitance and conductance measurements.It was found that the significant capacitance and conductance dispersion occurred primarily for measurement frequency beyond 100 kHz before the channel cutoff at the interface,suggesting that the vertical polarization electrical field under the gate metal should be closely related with the observed dispersive behavior.According to the Schottky-Read-Hall model,a traditional trapping mechanism cannot be used to explain our result.Instead,a piezoelectric polarization strain relaxation model was adopted to interpret the dispersion.By fitting the obtained capacitance data,the corresponding characteristic time and charge density were determined 10..8 s and 5.26 1012 cm..2 respectively,in good agreement with the conductance data and theoretical prediction.展开更多
基金supported by the National Defense Pre-Research Projects[grant number ZS2015070132A12002]。
文摘In order to accurately describe the transverse relaxation characteristic and stress relaxation modulus of HTPB coating during pre-strain thermal aging process,a one month thermal aging test was carried out at70C with pre-strain of 0%,3%,6%and 9%,respectively.The low-field1 H NMR and stress relaxation modulus tests were carried out for HTPB coating at different aging stages.The stress relaxation model considering the molecular chains was proposed according to the changes of crosslinking chain and dangling chain of HTPB coating during pre-strain aging.The results showed that with the increase of aging time,the decay rate of transverse relaxation curve became faster,the transverse relaxation time decreased,the value of combined parameter q Mrl increased,the proportion of crosslinking chain decreased,while the proportion of dangling chain increased.Moreover,the stress relaxation modulus increased,the crosslinking network structure of HTPB coating became denser and the degree of crosslinking increased.At the initial aging stage,the pre-strain will destroy the crosslinking network structure of HTPB coating to a certain extent.With the increase of aging time,the effect of pre-strain will gradually weaken and the influence of aging on materials will gradually increase.The correlations between the stress relaxation model considering the molecular chains and the test results were more than 0.9950,which can accurately describe the stress relaxation modulus of HTPB coating during the pre-strain thermal aging process.
基金supported by ARC Future Fellowship Project(FT100100172)QUT Postgraduate Research Scholarship
文摘Based on atomic force microscopy technique, we found that the chon- drocytes exhibits stress relaxation behavior. We explored the mechanism of this stress relaxation behavior and concluded that the intracellular fluid exuding out from the cells during deformation plays the most important role in the stress relax- ation. We applied the inverse finite element analysis technique to determine nec- essary material parameters for porohyperelastic (PHE) model to simulate stress relaxation behavior as this model is proven capable of capturing the non-linear behavior and the fluid-solid interaction during the stress relaxation of the single chondrocytes. It is observed that PHE model can precisely capture the stress re- laxation behavior of single chondrocytes and would be a suitable model for cell biomechanics.
基金supported by the National Natural Science Foundation of China(91116013,11372325,and 11111120080)
文摘The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical comparison between the BGK and direct simulation Monte Carlo(DSMC) results for three specifically designed relaxation problems. In these problems, one or half component of the velocity distribution is characterized by another Maxwellian distribution with a different temperature. It is analyzed that the relaxation time in the BGK model is unequal to the molecular mean collision time. Relaxation of component distribution fails to involve enough contribution from other component distributions, which makes the BGK model unable to capture details of velocity distribution, especially when discontinuity exists in distribution. The BGK model,however, predicts satisfactory results including fluxes during relaxation when the temperature difference is small. Particularly, the model-induced error in the BGK model increases with the temperature difference, thus the model is more reliable for low-speed rarefied flows than for hypersonic flows.
基金The project supported by the National Natural Science Foundation of China(10402024)the Experiment Foundation for Precise Instrument of Shanghai Jiao Tong University(200207)
文摘A new simple thixotropy model was proposed in the present paper to characterize the thixotropy-loop experiments and the start-up experiment of an LDPE (PE-FSB23D0221Q200) melt. The thixotropy model is a combination of a viscoelastic-component and a postulated kinetics process of structure change, which is constituted in terms of the indirect microstructural approach usually adopted in the characterization of thixotropy. The descriptions of the thixotropy model on both the thixotropy-loop tests and the startup test show good agreement with the experimental values, indicating the good capability of the model in characterizing the time-dependent nonlinear viscoelastic. The stress overshoot phenomenon and the stress relaxation after cessation of the thixotropy loop test can be described well by the model, whereas both of the typical viscoelastic phenomena could not be described in our previous work with a variant Huang model.
基金supported by a collaboration scheme from University of Science and Technology of China-City University of Hong Kong Joint Advanced Research Institute,City University of HongKong (7002472 (BC))the National Natural Science Founda-tion of China (10932011)
文摘A linear semi-continuum model with discrete atomic layers in the thickness direction was developed to investigate the bending behaviors of ultra-thin beams with nanoscale thickness.The theoretical results show that the deflection of an ultra-thin beam may be enhanced or reduced due to different relaxation coefficients.If the relaxation coefficient is greater/less than one,the deflection of micro/nano-scale structures is enhanced/reduced in comparison with macro-scale structures.So,two opposite types of size-dependent behaviors are observed and they are mainly caused by the relaxation coefficients.Comparisons with the classical continuum model,exact nonlocal stress model and finite element model (FEM) verify the validity of the present semi-continuum model.In particular,an explanation is proposed in the debate whether the bending stiffness of a micro/nano-scale beam should be greater or weaker as compared with the macro-scale structures.The characteristics of bending stiffness are proved to be associated with the relaxation coefficients.
基金This work was supported by 2018 Provincial Key Research and Development Program(Social Development)Project of Jiangsu Province(No.BF2018719)2018 Provincial Key Research and Development Program(Modern Agriculture)Project of Jiangsu Province(No.2018301).
文摘Blind signature has a wide range of applications in the fields of E-commerce and block-chain because it can effectively prevent the blind signer from getting the original message with its blindness.Owing to the potential unconditional security,quantum blind signature(QBS)is more advantageous than the classical ones.In this paper,an efficient and practical quantum blind signature scheme relaxed security model is presented,where quantum superposition,decoy qubits and hash function are used for the purpose of blindness.Compared with previous QBS scheme,the presented scheme is more efficient and practical with a relaxed security model,in which the signer’s dishonest behavior can be detected other than being prevented as in other QBS schemes.
基金financially supported by the National Centre for Research and Development through the Project No.15-0028-10/2010 entitled:"Flexible Materials for Use in the Constructions of the Implant of the Intervertebral Disc"
文摘The polyurethane, which was the subject of the constitutive research presented in the paper, was based on oligocarbonate diols Desmophen C2100 produced by Bayer?. The constitutive modelling was performed with a view to applying the material as the inlay of intervertebral disc prostheses. The polyurethane was assumed to be non-linearly viscohyperelastic, isotropic and incompressible. The constitutive equation was derived from the postulated strain energy function. The elastic and rheological constants were identified on the basis of experimental tests, i.e. relaxation tests and monotonic uniaxial tests at two different strain rates, i.e. λ= 0.1 min-1 and λ= 1.0 min-1. The stiffness tensor was derived and introduced to Abaqus?finite element(FE) software in order to numerically validate the constitutive model. The results of the constants identification and numerical implementation show that the derived constitutive equation is fully adequate to model stress-strain behavior of the polyurethane material.
文摘This paper presents a numerical study of the sensitivity of a fluid model known as time relaxation model with respect to variations of the time relaxation coefficient c.The sensitivity analysis of this model is utilized by the sensitivity equation method and uses the finite element method along with Crank Nicolson method in the fully discretization of the partial differential equations.We present a test case in support of the sensitivity convergence and also provide a numerical comparison between two different strategies of computing the sensitivity,sensitivity equation method and forward finite differences.
文摘Because of stability constraints,most numerical schemes applied to hyperbolic systems of equations turn out to be costly when the flux term is multiplied by some very large scalar.This problem emerges with the M_(1)system of equations in the field of radiotherapy when considering heterogeneous media with very disparate densities.Additionally,the flux term of the M_(1)system is non-linear,and in order for the model to be well-posed the numerical solution needs to fulfill conditions called realizability.In this paper,we propose a numerical method that overcomes the stability constraint and preserves the realizability property.For this purpose,we relax the M_(1)system to obtain a linear flux term.Then we extend the stencil of the difference quotient to obtain stability.The scheme is applied to a radiotherapy dose calculation example.
基金financially supported by the National Natural Science Foundation of China(Nos.51325301 and 51633009)
文摘We device a relaxed lattice model (RLM) to study the mechanism of glass transition, which unifies the cage- effects from particle-particle interaction and entropy. By analyzing entropy in RLM with considering the influence of interactions on equilibrium, we demonstrate that glass transition is a second-order phase transition. For a perfect one- dimensional linked particle system like linear polymer under normal pressure, the free volume at glass transition is rigorously deduced out to be 2.6%, which provides a theoretical basis for the iso-free volume of 2.5% given by Willian, Landel and Ferry (WLF) equation. Extending to system with dead particles linked with higher dimensions like branched or cross-linked chains under positive or negative pressure, free volume at glass transition is varied, based on which we construct a phase diagram of glass transition in the space of free volume-dead particle-pressure. This demonstrates that free volume is not the single parameter determining glass transition, while either dead particles like cross-linked points or external force fields like pressure can vary free volume at the glass transition.
文摘The stability of shallow tunnels excavated in full face has been a major challenge to the scientific community for a long time. In recent years, new techniques based on the installation of a pre-reinforcement system ahead of the tunnel face were developed to control the deformations and surface settlements induced by the excavation and to ensure the sustainability of the tunnel in the long term. In this paper, a finite difference numerical simulation was conducted to study the behaviors and effects of two pre-reinforcement systems, i.e. the face bolting and the umbrella arch system installed in a section of southern Toulon tunnel in France. For this purpose, two approaches were taken and compared: a two-dimensional (2D) approach based on the convergence–confinement method, and a three-dimensional (3D) approach taking into account the complete modeling of the tunnel. A 2D numerical back-analysis was performed to identify the geomechanical parameters that offer satisfactory agreement with the measurement results. The limit of this method lies in the exact choice of the stress relaxation ratio λ. To overcome this uncertainty, a 3D model was developed, which permitted to study the influence of different pre-support systems on the reaction of ground mass. Both 2D and 3D numerical approaches have been fitted to measurements recorded in a section of the Toulon tunnel and the very satisfactory correspondence has allowed validating the simulations. The results show that the 3D numerical analysis with a full discretization of the inclusions seems unquestionably the most reliable approach.
文摘In the previous paper, in order to express steadystate ratchetting, the present s extended the cyclic plasticity model proposed by Ohno and Wang (1993), and the validity of the extended model was discussed on the basis of uniaxial ratchetting experiments of 316FR steel at room temperature. In the present paper, the validity of the extended model is discussed further on the basis of nonproportional experiments of IN738LC at 850 such as multiaxial ratchetting, multiaxial cyclic stress relaxation, circular cyclic straining with strain hold, and so on. Predictions based on the OhnoWang model as well as the ArmstrongFrederick model are also given for the sake of comparison. It is shown that the extended model is capable of simulating the nonproportional experiments accurately, and especially that the extended model can predict much less steadystate ratchetting than the ArmstrongFrederick model. It is also shown that the extended model provides almost the same predictions as the OhnoWang and th
文摘Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the causality loop, which causes absurd out-of-thin-air reads that may break the type safety and se- curity guarantee of Java. The resulting JMM is complex and difficult to understand. It also has many anti-intuitive behav- iors, as demonstrated by the "ugly examples" by Aspinall and ~ev6~ [1]. Furthermore, HMM (and JMM) specifies only what execution traces are acceptable, but says nothing about how these traces are generated. This gap makes it difficult for static reasoning about programs. In this paper we present OHMM, an operational variation of HMM. The model is specified by giving an operational semantics to a language running on an abstract machine de- signed to simulate HMM. Thanks to its generative nature, the model naturally prevents out-of-thin-air reads. On the other hand, it uses a novel replay mechanism to allow instruc- tions to be executed multiple times, which can be used to model many useful speculations and optimization. The model is weaker than JMM for lockless programs, thus can accom- modate more optimization, such as the reordering of inde- pendent memory accesses that is not valid in JMM. Program behaviors are more natural in this model than in JMM, and many of the anti-intuitive examples in JMM are no longer valid here. We hope OHMM can serve as the basis for new memory models for Java-like languages.
文摘In the sense of the nonlinear multisplitting and based on the principle of suffi-ciently using the delayed information, we propose models of asynchronous parallelaccelerated overrelaxation iteration methods for solving large scale system of non-linear equations. Under proper conditions, we set up the local convergence theoriesof these new method models.
文摘Natural convection in a square cavity at high Rayleigh numbers is simulated by multiple relaxation time(MRT)lattice Boltzmann method(LBM)with a separate distribution function to solve the temperature.The Rayleigh numbers examined here range from Ra=103 to Ra=10^(8).For Rayleigh numbers below 10^(8),the flow remains stationary and transition occurs beyond Ra=2×10^(8).Unsteady results at higher Rayleigh numbers(Ra=10^(9) and Ra=10^(10))are also investigated.To the best of our knowledge,this is the first accurate study which involves the high Rayleigh numbers Ra=10^(9),10^(10).
基金Project supported by the Fundamental Research Funds for the Central Universities of China (Nos.JUSRP111A42,JUSRP211A37,JUSRP20914,JUSRP11230)the State Key Laboratory of ASIC & System,China (No.11KF003)the Natural Science Foundation of Jiangsu Province,China (No.BK2012110)
文摘The dispersion mechanism in Al0:27Ga0:73N/GaN heterostructure was investigated using frequencydependent capacitance and conductance measurements.It was found that the significant capacitance and conductance dispersion occurred primarily for measurement frequency beyond 100 kHz before the channel cutoff at the interface,suggesting that the vertical polarization electrical field under the gate metal should be closely related with the observed dispersive behavior.According to the Schottky-Read-Hall model,a traditional trapping mechanism cannot be used to explain our result.Instead,a piezoelectric polarization strain relaxation model was adopted to interpret the dispersion.By fitting the obtained capacitance data,the corresponding characteristic time and charge density were determined 10..8 s and 5.26 1012 cm..2 respectively,in good agreement with the conductance data and theoretical prediction.