In this paper, oscillatory properties of solutions of certain nonlinear hyperbolic partial differential equations are investigated and a series of sufficient conditions for oscillations of the equations are establishe...In this paper, oscillatory properties of solutions of certain nonlinear hyperbolic partial differential equations are investigated and a series of sufficient conditions for oscillations of the equations are established. The results fully indicate that the oscillations are caused by delay.展开更多
The threat of malware in wireless sensor network has stimulated some activities to model and analyze the malware prevalence.To understand the dynamics of malware propagation in wireless sensor network,we propose a nov...The threat of malware in wireless sensor network has stimulated some activities to model and analyze the malware prevalence.To understand the dynamics of malware propagation in wireless sensor network,we propose a novel epidemic model named as e-SEIR(susceptible-exposed-infectious-recovered)model,which is a set of delayed differential equations,in this paper.The model has taken into account the following two factors:1 Multi-state antivirus measures;2 Temporary immune period.Then,the stability and Hopf bifurcation at the equilibria of linearized model are carefully analyzed by considering the distribution of eigenvalues of characteristic equations.Both mathematical analysis and numerical simulations show that the dynamical features of the proposed model rely on the basic reproduction number R0 and time delayτ.This novel model can help us to better understand and predict the propagation behaviors of malware in wireless sensor networks.展开更多
For performance optimization such as placement,interconnect synthesis,and routing, an efficient and accurate interconnect delay metric is critical,even in design tools development like design for yield （DFY） and des...For performance optimization such as placement,interconnect synthesis,and routing, an efficient and accurate interconnect delay metric is critical,even in design tools development like design for yield （DFY） and design for manufacture （DFM）. In the nanometer regime, the recently proposed delay models for RLC interconnects based on statistical probability density function （PDF）interpretation such as PRIMO,H-gamma,WED and RLD bridge the gap between accuracy and efficiency. However, these models always require table look-up when operating. In this paper, a novel delay model based on the Birnbaum-Saunders distribution （BSD） is presented. BSD can accomplish interconnect delay estimation fast and accurately without table look-up operations. Furthermore, it only needs the first two moments to match. Experimental results in 90nm technology show that BSD is robust, easy to implement,efficient,and accurate.展开更多
The residence-time distribution （RTD） and the compartment model were applied to characterizing the flow regions in red mud separation thickener’s feedwells. Combined with the experimental work, validated mathematic...The residence-time distribution （RTD） and the compartment model were applied to characterizing the flow regions in red mud separation thickener’s feedwells. Combined with the experimental work, validated mathematical model as well as three-dimensional computational fluid dynamics （CFD） model was established to analyze the flow regions of feedwells on an industrial scale. The concept of RTD, although a well-known method for the characterization of mixing behavior in conventional mixers and reactors, is still a novel measure for the characterization of mixing in feedwells. Numerical simulation results show that the inlet feed rate and the aspect ratio of feedwells are the most critical parameters which affect the RTD of feedwell. Further simulation experiments were then carried out. Under the optimal operation conditions, the volume fraction of dead zone can reduce by10.8% and an increasement of mixing flow volume fraction by 6.5% is also observed. There is an optimum feed inlet rate depending on the feedwell design. The CFD model in conjunction with the RTD analysis then can be used as an effective tool in the design, evaluation and optimization of thickener feedwell in the red mud separation.展开更多
The temperature-humidity models of wood drying were developed based on Time-delay neural network and the identification structures of Time-delay neural network were given. The controlling model and the schedule model,...The temperature-humidity models of wood drying were developed based on Time-delay neural network and the identification structures of Time-delay neural network were given. The controlling model and the schedule model, which revealed the relation between controlling signal and temperature-humidity and the relation between wood moisture content and temperature-humidity of wood drying, were separately presented. The models were simulated by using the measured data of the experimental drying kiln. The numerical simulation results showed that the modeling method was feasible, and the models were effective.展开更多
A fine-grain sleep transistor insertion technique based on our simplified leakage current and delay models is proposed to reduce leakage current. The key idea is to model the leakage current reduction problem as a mix...A fine-grain sleep transistor insertion technique based on our simplified leakage current and delay models is proposed to reduce leakage current. The key idea is to model the leakage current reduction problem as a mixed-integer linear programming （MLP） problem in order to simultaneously place and size the sleep transistors optimally. Because of better circuit slack utilization, our experimental results show that the MLP model can save leakage by 79.75%, 93.56%, and 94.99% when the circuit slowdown is 0%, 3%, and 5%, respectively. The MLP model also achieves on average 74.79% less area penalty compared to the conventional fixed slowdown method when the circuit slowdown is 7%.展开更多
The research conducted prediction on changes of atmosphere pollution during July 9, 2014-July 22, 2014 with SPSS based on monitored data of O3 in 13 successive weeks from 6 sites in Baoding City and demonstrated predi...The research conducted prediction on changes of atmosphere pollution during July 9, 2014-July 22, 2014 with SPSS based on monitored data of O3 in 13 successive weeks from 6 sites in Baoding City and demonstrated prediction effect of ARIMA model is good by Ljung-Box Q-test and R2, and the model can be used for prediction on future atmosphere pollutant changes.展开更多
In order to enhance the utilization of single-ann cluster tools and optimize the scheduling problems of dynamic reaching wafers with residency time and continuous reentrancy constraints, a structural heuristic schedul...In order to enhance the utilization of single-ann cluster tools and optimize the scheduling problems of dynamic reaching wafers with residency time and continuous reentrancy constraints, a structural heuristic scheduling algorithm is presented. A nonlinear programming scheduling model is built on the basis of bounding the scheduling problem domain. A feasible path search scheduling method of single-arm robotic operations is put forward with the objective of minimal makespan. Finally, simulation experiments are designed to analyze the scheduling algorithms. Results indicate that the proposed algorithm is feasible and valid to solve the scheduling problems of multiple wafer types and single-ann clusters with the conflicts and deadlocks generated by residency time and continuous reentrancy constraints.展开更多
Existence criteria is established for the periodic solution of the nonlinear neutral delay differential equation x′(t)=f(t,x(t),x(t-τ 1(t)),x′(t-τ 2(t)))+p(t) by means of an abstract continuous theorem of k-set ...Existence criteria is established for the periodic solution of the nonlinear neutral delay differential equation x′(t)=f(t,x(t),x(t-τ 1(t)),x′(t-τ 2(t)))+p(t) by means of an abstract continuous theorem of k-set contractive operator and some analysis technique.展开更多
To make service matchmaking more adaptive to various service requests and diverse web services, an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking. The approach is base...To make service matchmaking more adaptive to various service requests and diverse web services, an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking. The approach is based on the proposed abstract service model, ASM-TL, which addresses some important constraints for identifying capabilities of web services, such as service inner constraints and invocation constraints, and also has a virtual process model for describing service behavioral properties. By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. Therefore, ASMA makes service matchmaking more accurate and more adaptive to the variety of service requests and the diversity of web services. The approach has been applied to the problem solving environment （PSE） for bioinformatics research. Applications show that the approach is suitable for dynamic environments.展开更多
This paper presents an efficient algorithm for reducing RLC power/ground network complexities by exploitation of the regularities in the power/ground networks. The new method first builds the equivalent models for man...This paper presents an efficient algorithm for reducing RLC power/ground network complexities by exploitation of the regularities in the power/ground networks. The new method first builds the equivalent models for many series RLC-current chains based on their Norton＇s form companion models in the original networks,and then the precondition conjugate gradient based iterative method is used to solve the reduced networks,which are symmetric positive definite. The solutions of the original networks are then back solved from those of the reduced networks.Experimental results show that the complexities of reduced networks are typically significantly smaller than those of the original circuits, which makes the new algorithm extremely fast. For instance, power/ground networks with more than one million branches can be solved in a few minutes on modern Sun workstations.展开更多
[Objective] This study aimed to establish a method for quantitative detection of mRNA transcriptional level of SS2 adhesive related-factors of Streptococcus suis serotype 2 （SS2） by fluorescent quantitative PCR. []V...[Objective] This study aimed to establish a method for quantitative detection of mRNA transcriptional level of SS2 adhesive related-factors of Streptococcus suis serotype 2 （SS2） by fluorescent quantitative PCR. []Vlethod] The gene fragments en- coding SS2 adhesive related-factors MRP, FBPS and CPS2J and a housekeeping gene aroA were amplified by reverse transcription PCR from the total RNA of SS2, cloned, and sequenced. The recombinant plasmids containing the target genes were constructed, and used as templates in Real-time PCR. [Result] Dynamic curves, stan- dard curves and melting curves of the adhesive related-factors and aroA were ob- tained by the optimized Real-time PCR system. The standard curves showed a good linear relationship between template copy number and circulation number, and the correlation coefficients （FF） of the standard curves were over 0.995. Also, these as- says were highly specific a^d there was single specific melting peak for every gene. Moreover, the assays were highly sensitive and had a detection limit of 1.0×102 copies in 1 μl of initial templates. Finally, it was highly repeatable and had a coeffi- cient of variation less than 2% for intra-assay. [Conclusion] This study will provide a way to reveal the adhesion mechanism of SS2 to different host cells at molecular level.展开更多
A new electron impact storage ion source has been designed for time of flight mass spectrometers with a high mass resolving power and high sensitivity. Because of the storage and compressing focus of the source, the o...A new electron impact storage ion source has been designed for time of flight mass spectrometers with a high mass resolving power and high sensitivity. Because of the storage and compressing focus of the source, the overall performance of the instrument has been improved greatly with a mass resolving power up to 3 500. The conditions of the second order of the focus are given and the storage ability is proved. The competer simulations and experiment results are given, too.展开更多
Time series analysis plays an important role in hydrologic forecasting,while the key to this analysis is to establish a proper model.This paper presents a time series neural network model with back propagation proced...Time series analysis plays an important role in hydrologic forecasting,while the key to this analysis is to establish a proper model.This paper presents a time series neural network model with back propagation procedure for hydrologic forecasting.Free from the disadvantages of previous models,the model can be parallel to operate information flexibly and rapidly.It excels in the ability of nonlinear mapping and can learn and adjust by itself,which gives the model a possibility to describe the complex nonlinear hydrologic process.By using directly a training process based on a set of previous data, the model can forecast the time series of stream flow.Moreover,two practical examples were used to test the performance of the time series neural network model.Results confirm that the model is efficient and feasible.展开更多
Aim To obtain new criteria for asymptotic behavior and nonexistence of positive solutions of nonlinear neutral delay difference equations. Methods By means of Hlder inequality and a method of direct analysis, some i...Aim To obtain new criteria for asymptotic behavior and nonexistence of positive solutions of nonlinear neutral delay difference equations. Methods By means of Hlder inequality and a method of direct analysis, some interesting Lemmas were offered. Results and Conclusion New criteria for asymptotic behavior and nonexistence of positive solutions of nonlinear neutral delay difference equations are established, which extend and improve the results obtained in the literature. Some interesting examples illustrating the importance of our results are also included.展开更多
The on-body path loss and time delay of radio propagation in 2. 4/5.2/5.7 GHz wearable body sensor networks （W-BSN） are studied using Remcom XFDTD, a simulation tool based on the finite-difference time- domain metho...The on-body path loss and time delay of radio propagation in 2. 4/5.2/5.7 GHz wearable body sensor networks （W-BSN） are studied using Remcom XFDTD, a simulation tool based on the finite-difference time- domain method. The simulation is performed in the environment of free space with a simplified three- dimensional human body model. Results show that the path loss at a higher radio frequency is significantly smaller. Given that the transmitter and the receiver are located on the body trunk, the path loss relevant to the proposed minimum equivalent surface distance follows a log-fitting parametric model, and the path loss exponents are 4. 7, 4. 1 and 4. 0 at frequencies of 2. 4, 5.2, 5.7 GHz, respectively. On the other hand, the first- arrival delays are less than 2 ns at all receivers, and the maximum time delay spread is about 10 ns. As suggested by the maximum time delay spread, transmission rates of W-BSN must be less than 10^8 symbol/s to avoid intersymbol interference from multiple-path delay.展开更多
Consider two dependent renewal risk models with constant interest rate. By using some methods in the risk theory, uniform asymptotics for finite-time ruin probability is derived in a non-compound risk model, where cla...Consider two dependent renewal risk models with constant interest rate. By using some methods in the risk theory, uniform asymptotics for finite-time ruin probability is derived in a non-compound risk model, where claim sizes are upper tail asymptotically independent random variables with dominatedly varying tails, claim inter-arrival times follow the widely lower orthant dependent structure, and the total amount of premiums is a nonnegative stochastic process. Based on the obtained result, using the method of analysis for the tail probability of random sums, a similar result in a more complex and reasonable compound risk model is also obtained, where individual claim sizes are specialized to be extended negatively dependent and accident inter-arrival times are still widely lower orthant dependent, and both the claim sizes and the claim number have dominatedly varying tails.展开更多
文摘In this paper, oscillatory properties of solutions of certain nonlinear hyperbolic partial differential equations are investigated and a series of sufficient conditions for oscillations of the equations are established. The results fully indicate that the oscillations are caused by delay.
基金National Natural Science Foundation of China(No.61379125)
文摘The threat of malware in wireless sensor network has stimulated some activities to model and analyze the malware prevalence.To understand the dynamics of malware propagation in wireless sensor network,we propose a novel epidemic model named as e-SEIR(susceptible-exposed-infectious-recovered)model,which is a set of delayed differential equations,in this paper.The model has taken into account the following two factors:1 Multi-state antivirus measures;2 Temporary immune period.Then,the stability and Hopf bifurcation at the equilibria of linearized model are carefully analyzed by considering the distribution of eigenvalues of characteristic equations.Both mathematical analysis and numerical simulations show that the dynamical features of the proposed model rely on the basic reproduction number R0 and time delayτ.This novel model can help us to better understand and predict the propagation behaviors of malware in wireless sensor networks.
文摘For performance optimization such as placement,interconnect synthesis,and routing, an efficient and accurate interconnect delay metric is critical,even in design tools development like design for yield （DFY） and design for manufacture （DFM）. In the nanometer regime, the recently proposed delay models for RLC interconnects based on statistical probability density function （PDF）interpretation such as PRIMO,H-gamma,WED and RLD bridge the gap between accuracy and efficiency. However, these models always require table look-up when operating. In this paper, a novel delay model based on the Birnbaum-Saunders distribution （BSD） is presented. BSD can accomplish interconnect delay estimation fast and accurately without table look-up operations. Furthermore, it only needs the first two moments to match. Experimental results in 90nm technology show that BSD is robust, easy to implement,efficient,and accurate.
基金Project (50876116) supported by the National Natural Science Foundation of China
文摘The residence-time distribution （RTD） and the compartment model were applied to characterizing the flow regions in red mud separation thickener’s feedwells. Combined with the experimental work, validated mathematical model as well as three-dimensional computational fluid dynamics （CFD） model was established to analyze the flow regions of feedwells on an industrial scale. The concept of RTD, although a well-known method for the characterization of mixing behavior in conventional mixers and reactors, is still a novel measure for the characterization of mixing in feedwells. Numerical simulation results show that the inlet feed rate and the aspect ratio of feedwells are the most critical parameters which affect the RTD of feedwell. Further simulation experiments were then carried out. Under the optimal operation conditions, the volume fraction of dead zone can reduce by10.8% and an increasement of mixing flow volume fraction by 6.5% is also observed. There is an optimum feed inlet rate depending on the feedwell design. The CFD model in conjunction with the RTD analysis then can be used as an effective tool in the design, evaluation and optimization of thickener feedwell in the red mud separation.
基金This study was supported by the Key Program of Ministry of Education of China (01066)
文摘The temperature-humidity models of wood drying were developed based on Time-delay neural network and the identification structures of Time-delay neural network were given. The controlling model and the schedule model, which revealed the relation between controlling signal and temperature-humidity and the relation between wood moisture content and temperature-humidity of wood drying, were separately presented. The models were simulated by using the measured data of the experimental drying kiln. The numerical simulation results showed that the modeling method was feasible, and the models were effective.
文摘A fine-grain sleep transistor insertion technique based on our simplified leakage current and delay models is proposed to reduce leakage current. The key idea is to model the leakage current reduction problem as a mixed-integer linear programming （MLP） problem in order to simultaneously place and size the sleep transistors optimally. Because of better circuit slack utilization, our experimental results show that the MLP model can save leakage by 79.75%, 93.56%, and 94.99% when the circuit slowdown is 0%, 3%, and 5%, respectively. The MLP model also achieves on average 74.79% less area penalty compared to the conventional fixed slowdown method when the circuit slowdown is 7%.
基金Supported by Student Research Fund of Agricultural University of Hebei(cxzr2014023)Technology Fund of Agricultural University of Hebei(ZD201406)~~
文摘The research conducted prediction on changes of atmosphere pollution during July 9, 2014-July 22, 2014 with SPSS based on monitored data of O3 in 13 successive weeks from 6 sites in Baoding City and demonstrated prediction effect of ARIMA model is good by Ljung-Box Q-test and R2, and the model can be used for prediction on future atmosphere pollutant changes.
基金The National Natural Science Foundation of China(No.71071115,61273035)
文摘In order to enhance the utilization of single-ann cluster tools and optimize the scheduling problems of dynamic reaching wafers with residency time and continuous reentrancy constraints, a structural heuristic scheduling algorithm is presented. A nonlinear programming scheduling model is built on the basis of bounding the scheduling problem domain. A feasible path search scheduling method of single-arm robotic operations is put forward with the objective of minimal makespan. Finally, simulation experiments are designed to analyze the scheduling algorithms. Results indicate that the proposed algorithm is feasible and valid to solve the scheduling problems of multiple wafer types and single-ann clusters with the conflicts and deadlocks generated by residency time and continuous reentrancy constraints.
文摘Existence criteria is established for the periodic solution of the nonlinear neutral delay differential equation x′(t)=f(t,x(t),x(t-τ 1(t)),x′(t-τ 2(t)))+p(t) by means of an abstract continuous theorem of k-set contractive operator and some analysis technique.
基金The National High Technology Research and Devel-opment Program of China (863Program) (No2006AA12Z202)the National Natural Science Foundation of China (No90412010)
文摘To make service matchmaking more adaptive to various service requests and diverse web services, an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking. The approach is based on the proposed abstract service model, ASM-TL, which addresses some important constraints for identifying capabilities of web services, such as service inner constraints and invocation constraints, and also has a virtual process model for describing service behavioral properties. By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. Therefore, ASMA makes service matchmaking more accurate and more adaptive to the variety of service requests and the diversity of web services. The approach has been applied to the problem solving environment （PSE） for bioinformatics research. Applications show that the approach is suitable for dynamic environments.
文摘This paper presents an efficient algorithm for reducing RLC power/ground network complexities by exploitation of the regularities in the power/ground networks. The new method first builds the equivalent models for many series RLC-current chains based on their Norton＇s form companion models in the original networks,and then the precondition conjugate gradient based iterative method is used to solve the reduced networks,which are symmetric positive definite. The solutions of the original networks are then back solved from those of the reduced networks.Experimental results show that the complexities of reduced networks are typically significantly smaller than those of the original circuits, which makes the new algorithm extremely fast. For instance, power/ground networks with more than one million branches can be solved in a few minutes on modern Sun workstations.
基金Supported by National Natural Science Foundation of China(31072155)Natural Science Foundation of Jiangsu Province(BK2010068)+1 种基金Fund for Independent Innovation of Agricultural Science in Jiangsu Province[CX(11)2060]Special Fund for Agroscientific Research in the Public Interest(201303041)~~
文摘[Objective] This study aimed to establish a method for quantitative detection of mRNA transcriptional level of SS2 adhesive related-factors of Streptococcus suis serotype 2 （SS2） by fluorescent quantitative PCR. []Vlethod] The gene fragments en- coding SS2 adhesive related-factors MRP, FBPS and CPS2J and a housekeeping gene aroA were amplified by reverse transcription PCR from the total RNA of SS2, cloned, and sequenced. The recombinant plasmids containing the target genes were constructed, and used as templates in Real-time PCR. [Result] Dynamic curves, stan- dard curves and melting curves of the adhesive related-factors and aroA were ob- tained by the optimized Real-time PCR system. The standard curves showed a good linear relationship between template copy number and circulation number, and the correlation coefficients （FF） of the standard curves were over 0.995. Also, these as- says were highly specific a^d there was single specific melting peak for every gene. Moreover, the assays were highly sensitive and had a detection limit of 1.0×102 copies in 1 μl of initial templates. Finally, it was highly repeatable and had a coeffi- cient of variation less than 2% for intra-assay. [Conclusion] This study will provide a way to reveal the adhesion mechanism of SS2 to different host cells at molecular level.
文摘A new electron impact storage ion source has been designed for time of flight mass spectrometers with a high mass resolving power and high sensitivity. Because of the storage and compressing focus of the source, the overall performance of the instrument has been improved greatly with a mass resolving power up to 3 500. The conditions of the second order of the focus are given and the storage ability is proved. The competer simulations and experiment results are given, too.
文摘Time series analysis plays an important role in hydrologic forecasting,while the key to this analysis is to establish a proper model.This paper presents a time series neural network model with back propagation procedure for hydrologic forecasting.Free from the disadvantages of previous models,the model can be parallel to operate information flexibly and rapidly.It excels in the ability of nonlinear mapping and can learn and adjust by itself,which gives the model a possibility to describe the complex nonlinear hydrologic process.By using directly a training process based on a set of previous data, the model can forecast the time series of stream flow.Moreover,two practical examples were used to test the performance of the time series neural network model.Results confirm that the model is efficient and feasible.
文摘Aim To obtain new criteria for asymptotic behavior and nonexistence of positive solutions of nonlinear neutral delay difference equations. Methods By means of Hlder inequality and a method of direct analysis, some interesting Lemmas were offered. Results and Conclusion New criteria for asymptotic behavior and nonexistence of positive solutions of nonlinear neutral delay difference equations are established, which extend and improve the results obtained in the literature. Some interesting examples illustrating the importance of our results are also included.
基金The High Technology Research and Development Program of Jiangsu Province (NoBG2005001)the Hong Kong Inno-vation and Technology Fund (NoITS/99/02)
文摘The on-body path loss and time delay of radio propagation in 2. 4/5.2/5.7 GHz wearable body sensor networks （W-BSN） are studied using Remcom XFDTD, a simulation tool based on the finite-difference time- domain method. The simulation is performed in the environment of free space with a simplified three- dimensional human body model. Results show that the path loss at a higher radio frequency is significantly smaller. Given that the transmitter and the receiver are located on the body trunk, the path loss relevant to the proposed minimum equivalent surface distance follows a log-fitting parametric model, and the path loss exponents are 4. 7, 4. 1 and 4. 0 at frequencies of 2. 4, 5.2, 5.7 GHz, respectively. On the other hand, the first- arrival delays are less than 2 ns at all receivers, and the maximum time delay spread is about 10 ns. As suggested by the maximum time delay spread, transmission rates of W-BSN must be less than 10^8 symbol/s to avoid intersymbol interference from multiple-path delay.
基金The National Natural Science Foundation of China(No.11001052,11171065,71171046)China Postdoctoral Science Foundation(No.2012M520964)+1 种基金the Natural Science Foundation of Jiangsu Province(No.BK20131339)the Qing Lan Project of Jiangsu Province
文摘Consider two dependent renewal risk models with constant interest rate. By using some methods in the risk theory, uniform asymptotics for finite-time ruin probability is derived in a non-compound risk model, where claim sizes are upper tail asymptotically independent random variables with dominatedly varying tails, claim inter-arrival times follow the widely lower orthant dependent structure, and the total amount of premiums is a nonnegative stochastic process. Based on the obtained result, using the method of analysis for the tail probability of random sums, a similar result in a more complex and reasonable compound risk model is also obtained, where individual claim sizes are specialized to be extended negatively dependent and accident inter-arrival times are still widely lower orthant dependent, and both the claim sizes and the claim number have dominatedly varying tails.
