The estimation of the amount of reactive impurities in a loop reactor is of strategic importance to the propylene polymerization industry. It is essential to investigate the level of impurities in order to develop rel...The estimation of the amount of reactive impurities in a loop reactor is of strategic importance to the propylene polymerization industry. It is essential to investigate the level of impurities in order to develop reliable monitoring and control strategies. This paper described one approach based on generation function technique with the following two steps. First, a new mechanism for propylene polymerization was proposed by considering the effects of the reactive impurities in the material on the propylene polymerization. Second, a series of equations of population balance for the propylene polymerization in loop reactors were established based on the proposed mechanism. Accordingly, the equations were transformed into the mathematic matrix through the generation function technique to investigate the effects of the reactive impurities on the propylene polymerization. Significant effects of the reactive impurities were analyzed through computational simulation. The results show that the concentration of active centre on catalysts and the polymerization conversion both decrease with the increase of the initial concentration of any reactive impurity; hydrogen concentration decreases with the increase of the initial concentration of ethylene or butylenes, whereas, it increases with the increase of the initial concentration of propadiene; the simulated weight average molecular weight and the molecular weight distribution index of polymer resins both increase with the increase of the initial concentration of ethylene or butylenes. They decrease with the increase of the initial concentration of propadiene.展开更多
Ross’ epidemic model describing the transmission of malaria uses two classes of infection, one for humans and one for mosquitoes. This paper presents a stochastic extension of a deterministic vector-borne epidemic mo...Ross’ epidemic model describing the transmission of malaria uses two classes of infection, one for humans and one for mosquitoes. This paper presents a stochastic extension of a deterministic vector-borne epidemic model based only on the class of human infectious. The consistency of the model is established by proving that the stochastic delay differential equation describing the model has a unique positive global solution. The extinction of the disease is studied through the analysis of the stability of the disease-free equilibrium state and the persistence of the model. Finally, we introduce some numerical simulations to illustrate the obtained results.展开更多
Breast cancer is the most common malignant tumor that threatens women’s health. Breast magnetic resonance imaging (MRI) is a commonly used method recommended for the diagnosis of breast cancer. Diffusion weighted ima...Breast cancer is the most common malignant tumor that threatens women’s health. Breast magnetic resonance imaging (MRI) is a commonly used method recommended for the diagnosis of breast cancer. Diffusion weighted imaging (DWI) and dynamic enhanced magnetic resonance imaging (DCE-MRI) are now widely used. At present, with the continuous advancement of magnetic resonance technology, Magnetic resonance spectroscopy (MRS), Perfusion weighted imaging (PWI), Positron emission tomography-magnetic resonance imaging (PET-MRI) and so on are gradually being used in clinical practice. Mammography imaging and imaging genomics are hot topics. This article will briefly introduce several functional magnetic resonance techniques and their latest applications.展开更多
In this paper, the effects of a quay or a solid jetty on hydrodynamic coefficients and vertical wave excitation forces on a ship with or without forward speed are discussed. A modified simple Green function technique ...In this paper, the effects of a quay or a solid jetty on hydrodynamic coefficients and vertical wave excitation forces on a ship with or without forward speed are discussed. A modified simple Green function technique is used to calculate the 2D coefficients while the strip theory is used to calculate the 3D coefficients. Wave excitation forces are also calculated with the strip theory. Numerical results are provided for hydrodynamic coefficients and vertical wave excitation forces on a 200 000 DWT tanker ship. It is found that the quay has a considerable effect on the hydrodynamic coefficients and wave excitation forces for a ship.展开更多
Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are deri...Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.展开更多
Anti-plane electroelastic problems are studied by the Trefftz boundary element method (BEM) in this paper. The Trefftz BEM is based on a weighted residual formulation and indirect boundary approach. In particular th...Anti-plane electroelastic problems are studied by the Trefftz boundary element method (BEM) in this paper. The Trefftz BEM is based on a weighted residual formulation and indirect boundary approach. In particular the point-collocation and Galerkin techniques, in which the basic unknowns are the retained expansion coefficients in the system of complete equations, are considered. Furthermore, special Trefftz functions and auxiliary functions which satisfy exactly the specified boundary conditions along the slit boundaries are also used to derive a special purpose element with local defects. The path-independent integral is evaluated at the tip of a crack to determine the energy release rate for a mode Ⅲ fracture problem. In final, the accuracy and efficiency of the Trefftz boundary element method are illustrated by an example and the comparison is made with other methods.展开更多
An inversion method was applied to crustal earthquakes dataset to find S-wave attenuation characteristics beneath the Eastern Tohoku region of Japan. Accelerograms from 85 shallow crustal earthquakes up to 25 km depth...An inversion method was applied to crustal earthquakes dataset to find S-wave attenuation characteristics beneath the Eastern Tohoku region of Japan. Accelerograms from 85 shallow crustal earthquakes up to 25 km depth and magnitude range between 3.5 and 5.5 were analyzed to estimate the seismic quality factor Qs. A homogeneous attenuation model Qs for the wave propagation path was evaluated from spectral amplitudes, at 24 different frequencies between 0.5 and 20 Hz by using generalized inversion technique. To do this, non-parametric attenuation functions were calculated to observe spectral amplitude decay with hypocentral distance. Then, these functions were parameterized to estimate Qs. It was found that in Eastern Tohoku region, the Qs frequency dependence can be approximated with the function 33 f 1.22 within a frequency range between 0.5 and 20 Hz. However, the frequency dependence of Qs in the frequency range between 0.5 and 6 Hz is best approximated by Qs (f) = 36 f 0.94 showing relatively weaker frequency dependence as compared to the relation Qs (f) = 6 f^ 2.09 for the frequency range between 6 and 15 Hz. These results could be used to estimate source and site parameters for seismic hazard assessment in the region.展开更多
There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keepi...There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model.展开更多
The aim of this paper is to the discussion of the exponential stability of a class of impulsive neutral stochastic functional differential equations with Markovian switching.Under the influence of impulsive disturbanc...The aim of this paper is to the discussion of the exponential stability of a class of impulsive neutral stochastic functional differential equations with Markovian switching.Under the influence of impulsive disturbance,the solution for the system is discontinuous.By using the Razumikhin technique and stochastic analysis approaches,as well as combining the idea of mathematical induction and classification discussion,some sufficient conditions for the pth moment exponential stability and almost exponential stability of the systems are obtained.The stability conclusion is full time-delay.The results show that impulse,the point distance of impulse and Markovain switching affect the stability for the system.Finally,two examples are provided to illustrate the effectiveness of the results proposed.展开更多
This paper presents a nonlinear family of stochastic SEIRS models for diseases such as malaria in a highly random environment with noises from the disease transmission and natural death rates,and also from the random ...This paper presents a nonlinear family of stochastic SEIRS models for diseases such as malaria in a highly random environment with noises from the disease transmission and natural death rates,and also from the random delays of the incubation and immunity periods.Improved analytical methods and local martingale characterizations are applied to find conditions for the disease to persist near an endemic steady state,and also for the disease to remain permanently in the system over time.Moreover,the ergodic stationary distribution for the stochastic process describing the disease dynamics is defined,and the statistical characteristics of the distribution are given mumerically.The results of this study show that the disease will persist and become permanent in the system,regardless of(1)whether the noises are from the discase transmission rate and/or from the natural death rates or(2)whether the delays in the system are constant or random for individuals in the system.Furthermore,it is shown that"weak"noise is associated with the existence of an endemic stationary distribution for the disease,while"strong"noise is associated with extinction of the population over time.Numerical simulation examples for Plasnodiurr vitar malaria are given.展开更多
Function performance specification (FPS) is one of the value management (VM) techniques developed for the explicit statement of optimum product definition. This technique is widely used in software engineering and man...Function performance specification (FPS) is one of the value management (VM) techniques developed for the explicit statement of optimum product definition. This technique is widely used in software engineering and manufacturing industry, and proved to be successful to perform product defining tasks. This paper describes an FPS-oriented approach for construction briefing, which is critical to the successful delivery of construction projects. Three techniques, i.e., function analysis system technique, shared space, and computer-aided toolkit, are incorporated into the proposed approach. A computer-aided toolkit is developed to facilitate the implementation of FPS in the briefing processes. This approach can facilitate systematic, efficient identification, clarification, and representation of client requirements in trail running. The limitations of the approach and future research work are also discussed at the end of the paper.展开更多
基金This work was financially supported by the National Natural Science Foundation of China (No. 20406016)Fujian Petrochemical Company of SINOPEC (No. MS/FJ-08-JS-15-2005-01)
文摘The estimation of the amount of reactive impurities in a loop reactor is of strategic importance to the propylene polymerization industry. It is essential to investigate the level of impurities in order to develop reliable monitoring and control strategies. This paper described one approach based on generation function technique with the following two steps. First, a new mechanism for propylene polymerization was proposed by considering the effects of the reactive impurities in the material on the propylene polymerization. Second, a series of equations of population balance for the propylene polymerization in loop reactors were established based on the proposed mechanism. Accordingly, the equations were transformed into the mathematic matrix through the generation function technique to investigate the effects of the reactive impurities on the propylene polymerization. Significant effects of the reactive impurities were analyzed through computational simulation. The results show that the concentration of active centre on catalysts and the polymerization conversion both decrease with the increase of the initial concentration of any reactive impurity; hydrogen concentration decreases with the increase of the initial concentration of ethylene or butylenes, whereas, it increases with the increase of the initial concentration of propadiene; the simulated weight average molecular weight and the molecular weight distribution index of polymer resins both increase with the increase of the initial concentration of ethylene or butylenes. They decrease with the increase of the initial concentration of propadiene.
文摘Ross’ epidemic model describing the transmission of malaria uses two classes of infection, one for humans and one for mosquitoes. This paper presents a stochastic extension of a deterministic vector-borne epidemic model based only on the class of human infectious. The consistency of the model is established by proving that the stochastic delay differential equation describing the model has a unique positive global solution. The extinction of the disease is studied through the analysis of the stability of the disease-free equilibrium state and the persistence of the model. Finally, we introduce some numerical simulations to illustrate the obtained results.
文摘Breast cancer is the most common malignant tumor that threatens women’s health. Breast magnetic resonance imaging (MRI) is a commonly used method recommended for the diagnosis of breast cancer. Diffusion weighted imaging (DWI) and dynamic enhanced magnetic resonance imaging (DCE-MRI) are now widely used. At present, with the continuous advancement of magnetic resonance technology, Magnetic resonance spectroscopy (MRS), Perfusion weighted imaging (PWI), Positron emission tomography-magnetic resonance imaging (PET-MRI) and so on are gradually being used in clinical practice. Mammography imaging and imaging genomics are hot topics. This article will briefly introduce several functional magnetic resonance techniques and their latest applications.
文摘In this paper, the effects of a quay or a solid jetty on hydrodynamic coefficients and vertical wave excitation forces on a ship with or without forward speed are discussed. A modified simple Green function technique is used to calculate the 2D coefficients while the strip theory is used to calculate the 3D coefficients. Wave excitation forces are also calculated with the strip theory. Numerical results are provided for hydrodynamic coefficients and vertical wave excitation forces on a 200 000 DWT tanker ship. It is found that the quay has a considerable effect on the hydrodynamic coefficients and wave excitation forces for a ship.
文摘Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.
基金Project supported by the National Natural Science Foundation of China (No. 10472086).
文摘Anti-plane electroelastic problems are studied by the Trefftz boundary element method (BEM) in this paper. The Trefftz BEM is based on a weighted residual formulation and indirect boundary approach. In particular the point-collocation and Galerkin techniques, in which the basic unknowns are the retained expansion coefficients in the system of complete equations, are considered. Furthermore, special Trefftz functions and auxiliary functions which satisfy exactly the specified boundary conditions along the slit boundaries are also used to derive a special purpose element with local defects. The path-independent integral is evaluated at the tip of a crack to determine the energy release rate for a mode Ⅲ fracture problem. In final, the accuracy and efficiency of the Trefftz boundary element method are illustrated by an example and the comparison is made with other methods.
基金a part of author’s M.Sc Research under the project:‘‘Strengthening of Earthquake Engineering Center’’,funded by Higher Education Commission,Government of Pakistan
文摘An inversion method was applied to crustal earthquakes dataset to find S-wave attenuation characteristics beneath the Eastern Tohoku region of Japan. Accelerograms from 85 shallow crustal earthquakes up to 25 km depth and magnitude range between 3.5 and 5.5 were analyzed to estimate the seismic quality factor Qs. A homogeneous attenuation model Qs for the wave propagation path was evaluated from spectral amplitudes, at 24 different frequencies between 0.5 and 20 Hz by using generalized inversion technique. To do this, non-parametric attenuation functions were calculated to observe spectral amplitude decay with hypocentral distance. Then, these functions were parameterized to estimate Qs. It was found that in Eastern Tohoku region, the Qs frequency dependence can be approximated with the function 33 f 1.22 within a frequency range between 0.5 and 20 Hz. However, the frequency dependence of Qs in the frequency range between 0.5 and 6 Hz is best approximated by Qs (f) = 36 f 0.94 showing relatively weaker frequency dependence as compared to the relation Qs (f) = 6 f^ 2.09 for the frequency range between 6 and 15 Hz. These results could be used to estimate source and site parameters for seismic hazard assessment in the region.
文摘There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model.
基金This research was supported by the National Nature Science Foundation of China under Grant No.11571245Young Crop Project of Sichuan University under Grant No.2020SCUNL111.
文摘The aim of this paper is to the discussion of the exponential stability of a class of impulsive neutral stochastic functional differential equations with Markovian switching.Under the influence of impulsive disturbance,the solution for the system is discontinuous.By using the Razumikhin technique and stochastic analysis approaches,as well as combining the idea of mathematical induction and classification discussion,some sufficient conditions for the pth moment exponential stability and almost exponential stability of the systems are obtained.The stability conclusion is full time-delay.The results show that impulse,the point distance of impulse and Markovain switching affect the stability for the system.Finally,two examples are provided to illustrate the effectiveness of the results proposed.
文摘This paper presents a nonlinear family of stochastic SEIRS models for diseases such as malaria in a highly random environment with noises from the disease transmission and natural death rates,and also from the random delays of the incubation and immunity periods.Improved analytical methods and local martingale characterizations are applied to find conditions for the disease to persist near an endemic steady state,and also for the disease to remain permanently in the system over time.Moreover,the ergodic stationary distribution for the stochastic process describing the disease dynamics is defined,and the statistical characteristics of the distribution are given mumerically.The results of this study show that the disease will persist and become permanent in the system,regardless of(1)whether the noises are from the discase transmission rate and/or from the natural death rates or(2)whether the delays in the system are constant or random for individuals in the system.Furthermore,it is shown that"weak"noise is associated with the existence of an endemic stationary distribution for the disease,while"strong"noise is associated with extinction of the population over time.Numerical simulation examples for Plasnodiurr vitar malaria are given.
文摘Function performance specification (FPS) is one of the value management (VM) techniques developed for the explicit statement of optimum product definition. This technique is widely used in software engineering and manufacturing industry, and proved to be successful to perform product defining tasks. This paper describes an FPS-oriented approach for construction briefing, which is critical to the successful delivery of construction projects. Three techniques, i.e., function analysis system technique, shared space, and computer-aided toolkit, are incorporated into the proposed approach. A computer-aided toolkit is developed to facilitate the implementation of FPS in the briefing processes. This approach can facilitate systematic, efficient identification, clarification, and representation of client requirements in trail running. The limitations of the approach and future research work are also discussed at the end of the paper.