We present a systematic study on the formation of ultra-slow bright and dark optical solitons in highly resonant media. By investigating four life-time broadened atomic systems, i.e., three-state A-type and cascade-ty...We present a systematic study on the formation of ultra-slow bright and dark optical solitons in highly resonant media. By investigating four life-time broadened atomic systems, i.e., three-state A-type and cascade-type schemes, and four-state N-type and cascade-type schemes, we show that the formation of such ultra-slow solitons in cold atomic systems is a fairly universal phenomenon.展开更多
The supercritical antisolvent (SAS) process has been developed in recent years for the tormation of nanoand micro-particles. It is necessary to study the liquid phase volume expansion (LPVE) and find the relations...The supercritical antisolvent (SAS) process has been developed in recent years for the tormation of nanoand micro-particles. It is necessary to study the liquid phase volume expansion (LPVE) and find the relationships between the operating conditions and the LPVE in order to develop a practical method for determining the operation conditions and selecting an organic solvent for SAS process. The PR equation of state with vdW-1 mixing rule is used to calculate the LPVE for CO2/toluene, CO2/acetone and CO2/ethyl acetate systems, and the results show that the LPVE for each CO2/organic solvent system decreases as the temperature increases. The relationship between the LPVE and the solubility of CO2 in the liquid phase for CO2/organic solvent systems is investigated, and the results show that the LPVE is determined directly by the solubility of CO2 in the liquid phase, xCO2, and can be related to xCO2 independently. No matter what system of CO2/organic solvent is and how different the temperature is, the LPVEs have little difference as long as the solubility of CO2 in the liquid phase, xCO2, keeps constant. The lower temperature is always favorable to the SAS process. The higher the solubility of CO2 in an organic solvent under certain operation condition, the more suitable it is to the SAS process.展开更多
3D visualisations of the microstructure of flocculated particulates and sediments using optical confocal laser mi- croscopy and high resolution X-ray microtomography (XMT) methods are described. Data obtained from in-...3D visualisations of the microstructure of flocculated particulates and sediments using optical confocal laser mi- croscopy and high resolution X-ray microtomography (XMT) methods are described. Data obtained from in-situ measurements should enable direct computation of the properties of solids assembly (shape, size, contact area) and their permeability to fluids. A specific application relating to the formation of silica aggregates is described from which the behaviour of sediments containing these materials can be predicted on the basis of a bench-top test and the use of a Lattice Boltzman simulation. It is proposed that the method can potentially be used to predict trends such as the filtration behaviour of porous structures under different states of compression. This offers a significant benefit in assisting the formulation design of flocculated materials pertinent to a number of industrial sectors wishing to design optimal filtration or relevant operations.展开更多
This paper focuses on pioneer women's struggle through social restriction in O Pioneers? (1989) and My Antonia (1994) authored by Willa Cather, a famous American local color female writer. The purpose of the pap...This paper focuses on pioneer women's struggle through social restriction in O Pioneers? (1989) and My Antonia (1994) authored by Willa Cather, a famous American local color female writer. The purpose of the paper is to analyze the protagonists' struggle through social restrictions in 0 pioneers? and My Antonia, so as to analyze the situation pioneer women faced in American mid-west at that age. Women as cultural conservators and transmitters of civilization play integral parts in this respect. It is true that the morality system is set by the patriarchal society and restricts women's behavior. However, we must admit that when women stop functioning as civilization transmitters and cultural conservators, the world will go wrong seriously. In the two novels, hearty, generous women always create a nurturing and gracious atmosphere in their household. Practically, these women transmit the old civilization to the newly established homestead successfully展开更多
Body-scanning exploiting 3-D imaging has revolutionised diagnostics and treatment in medicine. Process engineers would like to be similarly able to image chemical process units in 3-D, but without the Lmulti-million p...Body-scanning exploiting 3-D imaging has revolutionised diagnostics and treatment in medicine. Process engineers would like to be similarly able to image chemical process units in 3-D, but without the Lmulti-million price tag. UMIST and Leeds University have together, through the Virtual Centre for Industrial Process Tomography (http://www.vcipt.org), pioneered several electrical process tomography techniques and used them in a variety of applications. Illustrations are presented to show how electrical resistance tomography (ERT) has been developed for typical stirred vessels widely encountered in batch process manufacturing. The technique is potentially fast and inexpensive and capable of imaging both dynamic and pseudo-stationary processes. Examples from UMIST's two-tonne vessel will be presented for miscible tracer mixing, as well as gas-liquid and solid-liquid mixing.展开更多
An improved scalar Costa scheme (SCS) was proposed by using improved Watson perceptual model to adaptively decide quantization step size and scaling factor. The improved scheme equals to embed hiding data based on an ...An improved scalar Costa scheme (SCS) was proposed by using improved Watson perceptual model to adaptively decide quantization step size and scaling factor. The improved scheme equals to embed hiding data based on an actual image. In order to withstand amplitude scaling attack, the Watson perceptual model was redefined, and the improved scheme using the new definition can insure quantization step size in decoder that is proportional to amplitude scaling attack factor. The performance of the improved scheme outperforms that of SCS with fixed quantization step size. The improved scheme combines information theory and visual model.展开更多
This paper proposes an object oriented model scheduling for parallel computing in media MultiProcessors System on Chip(MPSoC).Firstly,the Coarse Grain Data Flow Graph(CGDFG) parallel programming model is used in this ...This paper proposes an object oriented model scheduling for parallel computing in media MultiProcessors System on Chip(MPSoC).Firstly,the Coarse Grain Data Flow Graph(CGDFG) parallel programming model is used in this approach.Secondly,this approach has the feature of unified abstraction for software objects implementing in processor and hardware objects implementing in ASICs,easy for mapping CGDFG programming on MPSoC.This approach cuts down the kernel overhead and reduces the code size effectively.The principle of the oriented object model,the method of scheduling,and how to map a parallel programming through CGDFG to the MPSoC are analyzed in this approach.This approach also compares the code size and execution cycles with conventional control flow scheduling,and presents respective management overhead for one application in me-dia-SoC.展开更多
With the rapid development of information technology, adopting advanced distributed computing technology to construct robot control system is becoming an effective approach gradually. This paper proposes a distributed...With the rapid development of information technology, adopting advanced distributed computing technology to construct robot control system is becoming an effective approach gradually. This paper proposes a distributed loosely coupled software architecture based on Agent and CORBA to control multiple robots. This model provides the robot user with agent control units at the semantic level and CORBA provides function interfaces to agent at the syntax level, which shows a good adaptability, flexibility and transparence.展开更多
A feature-constrained stereo matching algorithm for lunar rover navigation is presented based on the analysis of the stereo vision system and working environments of lunar rover. In feature-matching phase, edge points...A feature-constrained stereo matching algorithm for lunar rover navigation is presented based on the analysis of the stereo vision system and working environments of lunar rover. In feature-matching phase, edge points are extracted with wavelet transform and are used as the primitives for matching. Then three criterions are utilized in turn to select the correct matching points with the pyramidal searching strategy. As a result,the algorithm finds corresponding points successfully for large numbers of edge points. Area-matching is accomplished under the constraint of edge-matching results,and the correlation is selected as the criterion.Experimental results with real images of natural terrain indicate that the algorithm provides dense disparity maps with fairly high accuracy.展开更多
HIP fracture is becoming a global public health issue due to increased longevity and the in-creased incidence of osteoporosis.1,2 Patients who underwent surgery experience high rates of mortality and disability, with...HIP fracture is becoming a global public health issue due to increased longevity and the in-creased incidence of osteoporosis.1,2 Patients who underwent surgery experience high rates of mortality and disability, with approximately 5% death rate before discharge and 10% death rate within 30 days after discharge.3,4 Intraoperative cardiac arrest (IOCA) complicates up to 43 per 100,000 surgeries.5 Even with resuscitation by eligible professionals in a well-equipped operating room, IOCA is still associated with 35% imme-diate mortality and 65.5% in-hospital mortality.6,7 The main causes may be related to patient conditions, preoperative complications, anesthesia or surgical procedures.7,8 Age- associated changes in cardiovascular and other systems especially increase the risk of IOCA, which may explains why geriatric patients are the majority who experience asystole during surgery.展开更多
On the analysis of Biel model and fruits from other scholars, conbining fast fashion clothing brands' characteristics and advantages/functions of ingredient co-branding, we built evaluation index system of ingredient...On the analysis of Biel model and fruits from other scholars, conbining fast fashion clothing brands' characteristics and advantages/functions of ingredient co-branding, we built evaluation index system of ingredient co-branding image from three aspects: product image, corporate image and marketing hype image. It will have important effects between ingredient enterprises and terminal companys when they implement co-branding strategy.展开更多
The purpose of this research is to explore the principle of the man-object relationship to identify the issues shown when handling packaging and emphasizing the usability aspect. For that, the theoretical reference of...The purpose of this research is to explore the principle of the man-object relationship to identify the issues shown when handling packaging and emphasizing the usability aspect. For that, the theoretical reference of the research involves the analysis of the parameters according to the aspects that involve the use interactions of packaging in agreement with the definition and scientific concepts of ergonomics, allied to the development of product projects, discussing forms, handling, load transportation and the support of the product. Therefore, improperly handling of the packaging may cause damages to the products and even potential accidents. Coding and decoding are significant to facilitate the use recognition within the individual's repertoire. The packaging, within the macro-ergonomics universe, may be the object of ergonomics, whose contribution to solve problems is related to labor activities, by dealing with packaging, transportation and load resulting from the man-object interaction. The incorrect identification of information may lead to problems of interpretation and misuse, from the handling to the disposal of packaging. For this reason, this research suggests the adjustment of the man-object interface which may lead users to make mistakes regarding use and important choices, through adequate handling actions.展开更多
The van der Waals force originates from the electromagnetic interaction between quantum fluctuationinduced charges. It is a ubiquitous but subtle force which plays an important role and has a wide range of application...The van der Waals force originates from the electromagnetic interaction between quantum fluctuationinduced charges. It is a ubiquitous but subtle force which plays an important role and has a wide range of applications in surface related phenomena like adhesion, friction,and colloidal stability. Calculating the van der Waals force between closely spaced metallic nanoparticles is very challenging due to the strong concentration of electromagnetic fields at the nanometric gap. Especially, at such a small length scale, the macroscopic description of the dielectric properties no longer suffices. The diffuse nonlocal nature of the induced surface electrons which are smeared out near the boundary has to be considered. Here,we review the recent progress on using three-dimensional transformation optics to study the van der Waals forces between closely spaced nanostructures. Through mapping a seemingly asymmetric system to a more symmetric counterpart, transformation optics enables us to look into the behavior of van der Waals forces at extreme length scales,where the effect of nonlocality is found to dramatically weaken the van der Waals interactions.展开更多
This paper studies a prey-predator singular bioeconomic system with time delay and diffusion, which is described by differential-algebraic equations. For this system without diffusion, there exist three bifurcation ph...This paper studies a prey-predator singular bioeconomic system with time delay and diffusion, which is described by differential-algebraic equations. For this system without diffusion, there exist three bifurcation phenomena: Transcritical bifurcation, singularity induced bifurcation, and Hopf bifurcation. Compared with other biological systems described by differential equations, singularity induced bifurcation only occurs in singular system and usually links with the expansion of population. When the diffusion is present, it is shown that the positive equilibrium point loses its stability at some critical values of diffusion rate and periodic oscillations occur due to the increase of time delay. Furthermore, numerical simulations illustrate the effectiveness of results and the related biological implications are discussed.展开更多
Automatic protocol mining is a promising approach for inferring accurate and complete API protocols. However, just as with any data-mining technique, this approach requires sufficient training data(object usage scena...Automatic protocol mining is a promising approach for inferring accurate and complete API protocols. However, just as with any data-mining technique, this approach requires sufficient training data(object usage scenarios). Existing approaches resolve the problem by analyzing more programs, which may cause significant runtime overhead. In this paper, we propose an inheritance-based oversampling approach for object usage scenarios(OUSs). Our technique is based on the inheritance relationship in object-oriented programs. Given an object-oriented program p, generally, the OUSs that can be collected from a run of p are not more than the objects used during the run. With our technique, a maximum of n times more OUSs can be achieved, where n is the average number of super-classes of all general OUSs. To investigate the effect of our technique, we implement it in our previous prototype tool, ISpec Miner, and use the tool to mine protocols from several real-world programs. Experimental results show that our technique can collect 1.95 times more OUSs than general approaches. Additionally, accurate and complete API protocols are more likely to be achieved. Furthermore, our technique can mine API protocols for classes never even used in programs, which are valuable for validating software architectures, program documentation, and understanding. Although our technique will introduce some runtime overhead, it is trivial and acceptable.展开更多
In recent years, hysteretic phenomena in fluid flow systems drew attention for their great variety of industrial and engineering applications. When the high-pressure gas is exhausted to atmosphere from the nozzle exit...In recent years, hysteretic phenomena in fluid flow systems drew attention for their great variety of industrial and engineering applications. When the high-pressure gas is exhausted to atmosphere from the nozzle exit, the expanded supersonic jet with the Mach disk is formed at a specific condition. In two-dimensional expanded supersonic jet, the hysteresis phenomenon for the reflection type of shock wave is occurred under the quasi-steady flow and the transitional pressure ratio between the regular reflection and Mach reflection is affected by this phe- nomenon. However, so far, there are very few researches for the hysteretic phenomenon of shock wave in a supersonic internal flow and the phenomenon has not been investigated satisfactorily. The present study was concemed with the experimental and numerical investigations of hysteretic phenomena of shock wave in a supersonic nozzle, and discussed the relationship between hysteresis phenomenon and rate of the change of pressure ratio with time.展开更多
In this paper,the reflection phenomenon of a vapor shock front(both sides of the front are in the vapor phase)in a van der Waals fluid is considered.Both the1-dimensional case and the multidimensional case are investi...In this paper,the reflection phenomenon of a vapor shock front(both sides of the front are in the vapor phase)in a van der Waals fluid is considered.Both the1-dimensional case and the multidimensional case are investigated.The authors find that under certain conditions,the reflected wave can be a single shock,or a single subsonic phase boundary,or one weak shock together with one subsonic phase boundary,which depends on the strength of the incident shock.This is different from the known result for the reflection of shock fronts in a gas dynamical system due to Chen in 1989.展开更多
A mathematical model is presented in order to describe the dynamics of polygamous populations, bearing in mind single individuals of both sexes and the development of reproductive groups. In this context, the descript...A mathematical model is presented in order to describe the dynamics of polygamous populations, bearing in mind single individuals of both sexes and the development of reproductive groups. In this context, the description leads us to consider positive homogeneous dynamical systems, establishing conditions for the stationary state existence and its local stability. A fourth pre-reproductive stage was considered, i.e. males and females spend part of their lives before being in condition to reproduce, as a first step to consider more general models. Finally, we parametrized the proposed model using southern elephant seal data, to analyze the direct applicability to a real population.展开更多
基金The project supported by National Natural Science Foundation of China under Grant Nos. 60478029, 90503010, 10575040 and 10125419 and the National Fundamental Research Program of China under Grant Nos. 2005CB724508 and 2001CB309310
文摘We present a systematic study on the formation of ultra-slow bright and dark optical solitons in highly resonant media. By investigating four life-time broadened atomic systems, i.e., three-state A-type and cascade-type schemes, and four-state N-type and cascade-type schemes, we show that the formation of such ultra-slow solitons in cold atomic systems is a fairly universal phenomenon.
基金Supported by the National Nature Science Foundation of China (No. 20176003)
文摘The supercritical antisolvent (SAS) process has been developed in recent years for the tormation of nanoand micro-particles. It is necessary to study the liquid phase volume expansion (LPVE) and find the relationships between the operating conditions and the LPVE in order to develop a practical method for determining the operation conditions and selecting an organic solvent for SAS process. The PR equation of state with vdW-1 mixing rule is used to calculate the LPVE for CO2/toluene, CO2/acetone and CO2/ethyl acetate systems, and the results show that the LPVE for each CO2/organic solvent system decreases as the temperature increases. The relationship between the LPVE and the solubility of CO2 in the liquid phase for CO2/organic solvent systems is investigated, and the results show that the LPVE is determined directly by the solubility of CO2 in the liquid phase, xCO2, and can be related to xCO2 independently. No matter what system of CO2/organic solvent is and how different the temperature is, the LPVEs have little difference as long as the solubility of CO2 in the liquid phase, xCO2, keeps constant. The lower temperature is always favorable to the SAS process. The higher the solubility of CO2 in an organic solvent under certain operation condition, the more suitable it is to the SAS process.
文摘3D visualisations of the microstructure of flocculated particulates and sediments using optical confocal laser mi- croscopy and high resolution X-ray microtomography (XMT) methods are described. Data obtained from in-situ measurements should enable direct computation of the properties of solids assembly (shape, size, contact area) and their permeability to fluids. A specific application relating to the formation of silica aggregates is described from which the behaviour of sediments containing these materials can be predicted on the basis of a bench-top test and the use of a Lattice Boltzman simulation. It is proposed that the method can potentially be used to predict trends such as the filtration behaviour of porous structures under different states of compression. This offers a significant benefit in assisting the formulation design of flocculated materials pertinent to a number of industrial sectors wishing to design optimal filtration or relevant operations.
文摘This paper focuses on pioneer women's struggle through social restriction in O Pioneers? (1989) and My Antonia (1994) authored by Willa Cather, a famous American local color female writer. The purpose of the paper is to analyze the protagonists' struggle through social restrictions in 0 pioneers? and My Antonia, so as to analyze the situation pioneer women faced in American mid-west at that age. Women as cultural conservators and transmitters of civilization play integral parts in this respect. It is true that the morality system is set by the patriarchal society and restricts women's behavior. However, we must admit that when women stop functioning as civilization transmitters and cultural conservators, the world will go wrong seriously. In the two novels, hearty, generous women always create a nurturing and gracious atmosphere in their household. Practically, these women transmit the old civilization to the newly established homestead successfully
文摘Body-scanning exploiting 3-D imaging has revolutionised diagnostics and treatment in medicine. Process engineers would like to be similarly able to image chemical process units in 3-D, but without the Lmulti-million price tag. UMIST and Leeds University have together, through the Virtual Centre for Industrial Process Tomography (http://www.vcipt.org), pioneered several electrical process tomography techniques and used them in a variety of applications. Illustrations are presented to show how electrical resistance tomography (ERT) has been developed for typical stirred vessels widely encountered in batch process manufacturing. The technique is potentially fast and inexpensive and capable of imaging both dynamic and pseudo-stationary processes. Examples from UMIST's two-tonne vessel will be presented for miscible tracer mixing, as well as gas-liquid and solid-liquid mixing.
基金The National Basic Research Program (973) of China (No. 2005CB321804)
文摘An improved scalar Costa scheme (SCS) was proposed by using improved Watson perceptual model to adaptively decide quantization step size and scaling factor. The improved scheme equals to embed hiding data based on an actual image. In order to withstand amplitude scaling attack, the Watson perceptual model was redefined, and the improved scheme using the new definition can insure quantization step size in decoder that is proportional to amplitude scaling attack factor. The performance of the improved scheme outperforms that of SCS with fixed quantization step size. The improved scheme combines information theory and visual model.
基金Supported by National Natural Science Foundation ofChina (No.60873112)
文摘This paper proposes an object oriented model scheduling for parallel computing in media MultiProcessors System on Chip(MPSoC).Firstly,the Coarse Grain Data Flow Graph(CGDFG) parallel programming model is used in this approach.Secondly,this approach has the feature of unified abstraction for software objects implementing in processor and hardware objects implementing in ASICs,easy for mapping CGDFG programming on MPSoC.This approach cuts down the kernel overhead and reduces the code size effectively.The principle of the oriented object model,the method of scheduling,and how to map a parallel programming through CGDFG to the MPSoC are analyzed in this approach.This approach also compares the code size and execution cycles with conventional control flow scheduling,and presents respective management overhead for one application in me-dia-SoC.
文摘With the rapid development of information technology, adopting advanced distributed computing technology to construct robot control system is becoming an effective approach gradually. This paper proposes a distributed loosely coupled software architecture based on Agent and CORBA to control multiple robots. This model provides the robot user with agent control units at the semantic level and CORBA provides function interfaces to agent at the syntax level, which shows a good adaptability, flexibility and transparence.
文摘A feature-constrained stereo matching algorithm for lunar rover navigation is presented based on the analysis of the stereo vision system and working environments of lunar rover. In feature-matching phase, edge points are extracted with wavelet transform and are used as the primitives for matching. Then three criterions are utilized in turn to select the correct matching points with the pyramidal searching strategy. As a result,the algorithm finds corresponding points successfully for large numbers of edge points. Area-matching is accomplished under the constraint of edge-matching results,and the correlation is selected as the criterion.Experimental results with real images of natural terrain indicate that the algorithm provides dense disparity maps with fairly high accuracy.
文摘HIP fracture is becoming a global public health issue due to increased longevity and the in-creased incidence of osteoporosis.1,2 Patients who underwent surgery experience high rates of mortality and disability, with approximately 5% death rate before discharge and 10% death rate within 30 days after discharge.3,4 Intraoperative cardiac arrest (IOCA) complicates up to 43 per 100,000 surgeries.5 Even with resuscitation by eligible professionals in a well-equipped operating room, IOCA is still associated with 35% imme-diate mortality and 65.5% in-hospital mortality.6,7 The main causes may be related to patient conditions, preoperative complications, anesthesia or surgical procedures.7,8 Age- associated changes in cardiovascular and other systems especially increase the risk of IOCA, which may explains why geriatric patients are the majority who experience asystole during surgery.
文摘On the analysis of Biel model and fruits from other scholars, conbining fast fashion clothing brands' characteristics and advantages/functions of ingredient co-branding, we built evaluation index system of ingredient co-branding image from three aspects: product image, corporate image and marketing hype image. It will have important effects between ingredient enterprises and terminal companys when they implement co-branding strategy.
文摘The purpose of this research is to explore the principle of the man-object relationship to identify the issues shown when handling packaging and emphasizing the usability aspect. For that, the theoretical reference of the research involves the analysis of the parameters according to the aspects that involve the use interactions of packaging in agreement with the definition and scientific concepts of ergonomics, allied to the development of product projects, discussing forms, handling, load transportation and the support of the product. Therefore, improperly handling of the packaging may cause damages to the products and even potential accidents. Coding and decoding are significant to facilitate the use recognition within the individual's repertoire. The packaging, within the macro-ergonomics universe, may be the object of ergonomics, whose contribution to solve problems is related to labor activities, by dealing with packaging, transportation and load resulting from the man-object interaction. The incorrect identification of information may lead to problems of interpretation and misuse, from the handling to the disposal of packaging. For this reason, this research suggests the adjustment of the man-object interface which may lead users to make mistakes regarding use and important choices, through adequate handling actions.
基金partially supported by the Gordon and Betty Moore Foundation (J. B. P.)the Royal Commission for the Exhibition of 1851 (R. Z.)+2 种基金the Leverhulme Trust (Y. L. and J. B. P.)the MOE Ac RF Tier 2 (Y. L.)the Program Grant (11235150003) from NTU-A*STAR Silicon Technologies Centre of Excellence (Y. L.)
文摘The van der Waals force originates from the electromagnetic interaction between quantum fluctuationinduced charges. It is a ubiquitous but subtle force which plays an important role and has a wide range of applications in surface related phenomena like adhesion, friction,and colloidal stability. Calculating the van der Waals force between closely spaced metallic nanoparticles is very challenging due to the strong concentration of electromagnetic fields at the nanometric gap. Especially, at such a small length scale, the macroscopic description of the dielectric properties no longer suffices. The diffuse nonlocal nature of the induced surface electrons which are smeared out near the boundary has to be considered. Here,we review the recent progress on using three-dimensional transformation optics to study the van der Waals forces between closely spaced nanostructures. Through mapping a seemingly asymmetric system to a more symmetric counterpart, transformation optics enables us to look into the behavior of van der Waals forces at extreme length scales,where the effect of nonlocality is found to dramatically weaken the van der Waals interactions.
基金This work was supported by the National Science Foundation of China under Grant No. 60974004 and Natural Science Foundation of China under Grant No. 60904009.
文摘This paper studies a prey-predator singular bioeconomic system with time delay and diffusion, which is described by differential-algebraic equations. For this system without diffusion, there exist three bifurcation phenomena: Transcritical bifurcation, singularity induced bifurcation, and Hopf bifurcation. Compared with other biological systems described by differential equations, singularity induced bifurcation only occurs in singular system and usually links with the expansion of population. When the diffusion is present, it is shown that the positive equilibrium point loses its stability at some critical values of diffusion rate and periodic oscillations occur due to the increase of time delay. Furthermore, numerical simulations illustrate the effectiveness of results and the related biological implications are discussed.
基金supported by the Scientific Research Project of the Education Department of Hubei Province,China(No.Q20181508)the Youths Science Foundation of Wuhan Institute of Technology(No.k201622)+5 种基金the Surveying and Mapping Geographic Information Public Welfare Scientific Research Special Industry(No.201412014)the Educational Commission of Hubei Province,China(No.Q20151504)the National Natural Science Foundation of China(Nos.41501505,61502355,61502355,and 61502354)the China Postdoctoral Science Foundation(No.2015M581887)the Key Program of Higher Education Institutions of Henan Province,China(No.17A520040)and the Natural Science Foundation of Henan Province,China(No.162300410177)
文摘Automatic protocol mining is a promising approach for inferring accurate and complete API protocols. However, just as with any data-mining technique, this approach requires sufficient training data(object usage scenarios). Existing approaches resolve the problem by analyzing more programs, which may cause significant runtime overhead. In this paper, we propose an inheritance-based oversampling approach for object usage scenarios(OUSs). Our technique is based on the inheritance relationship in object-oriented programs. Given an object-oriented program p, generally, the OUSs that can be collected from a run of p are not more than the objects used during the run. With our technique, a maximum of n times more OUSs can be achieved, where n is the average number of super-classes of all general OUSs. To investigate the effect of our technique, we implement it in our previous prototype tool, ISpec Miner, and use the tool to mine protocols from several real-world programs. Experimental results show that our technique can collect 1.95 times more OUSs than general approaches. Additionally, accurate and complete API protocols are more likely to be achieved. Furthermore, our technique can mine API protocols for classes never even used in programs, which are valuable for validating software architectures, program documentation, and understanding. Although our technique will introduce some runtime overhead, it is trivial and acceptable.
文摘In recent years, hysteretic phenomena in fluid flow systems drew attention for their great variety of industrial and engineering applications. When the high-pressure gas is exhausted to atmosphere from the nozzle exit, the expanded supersonic jet with the Mach disk is formed at a specific condition. In two-dimensional expanded supersonic jet, the hysteresis phenomenon for the reflection type of shock wave is occurred under the quasi-steady flow and the transitional pressure ratio between the regular reflection and Mach reflection is affected by this phe- nomenon. However, so far, there are very few researches for the hysteretic phenomenon of shock wave in a supersonic internal flow and the phenomenon has not been investigated satisfactorily. The present study was concemed with the experimental and numerical investigations of hysteretic phenomena of shock wave in a supersonic nozzle, and discussed the relationship between hysteresis phenomenon and rate of the change of pressure ratio with time.
基金supported by the National Natural Science Foundation of China(No.10901107)the Innovation Program of Shanghai Municipal Education Commission(No.213ZZ136)
文摘In this paper,the reflection phenomenon of a vapor shock front(both sides of the front are in the vapor phase)in a van der Waals fluid is considered.Both the1-dimensional case and the multidimensional case are investigated.The authors find that under certain conditions,the reflected wave can be a single shock,or a single subsonic phase boundary,or one weak shock together with one subsonic phase boundary,which depends on the strength of the incident shock.This is different from the known result for the reflection of shock fronts in a gas dynamical system due to Chen in 1989.
文摘A mathematical model is presented in order to describe the dynamics of polygamous populations, bearing in mind single individuals of both sexes and the development of reproductive groups. In this context, the description leads us to consider positive homogeneous dynamical systems, establishing conditions for the stationary state existence and its local stability. A fourth pre-reproductive stage was considered, i.e. males and females spend part of their lives before being in condition to reproduce, as a first step to consider more general models. Finally, we parametrized the proposed model using southern elephant seal data, to analyze the direct applicability to a real population.