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.展开更多
Peer-to-Peer (P2P) botnet has emerged as one of the most serious threats to lnternet security. To effectively elimi- nate P2P botnet, a delayed SEIR model is proposed,which can portray the formation process of P2P b...Peer-to-Peer (P2P) botnet has emerged as one of the most serious threats to lnternet security. To effectively elimi- nate P2P botnet, a delayed SEIR model is proposed,which can portray the formation process of P2P botnet. Then, the local stability at equilibria is carefully analyzed by considering the eigenvalues' distributed ranges of characteristic equations. Both mathematical analysis and numerical simulations show that the dynamical features of the proposed model rely on the basic re- production number and time delay r. The results can help us to better understand the propagation behaviors of P2P botnet and design effective counter-botnet methods.展开更多
Asian options are the popular second generation derivative products and embedded in many structured notes to enhance upside performance.The embedded options,as a result,usually have a long duration.The movement of int...Asian options are the popular second generation derivative products and embedded in many structured notes to enhance upside performance.The embedded options,as a result,usually have a long duration.The movement of interest rates becomes more important in pricing such long-dated options.In this paper,the pricing of Asian options under stochastic interest rates is studied.Assuming Hull and White model for the interest rates,a closed-form formula for geometric-average options is derived.As a by-product,pricing formula is also given for plan-vanilla options under stochastic interest rates.展开更多
Small signal instability may cause severe accidents for power system if it can not be dear correctly and timely. How to maintain power system stable under small signal disturbance is a big challenge for power system o...Small signal instability may cause severe accidents for power system if it can not be dear correctly and timely. How to maintain power system stable under small signal disturbance is a big challenge for power system operators and dispatchers. Time delay existing in signal transmission process makes the problem more complex. Conventional eigenvalue analysis method neglects time delay influence and can not precisely describe power system dynamic behaviors. In this work, a modified small signal stability model considering time varying delay influence was constructed and a new time delay controller was proposed to stabilize power system under disturbance. By Lyapunov-Krasovskii function, the control law in the form of nonlinear matrix inequality (NLMI) was derived. Considering synthesis method limitation for time delay controller at present, both parameter adjustment method by using linear matrix inequality (LMI) solver and iteration searching method by solving nonlinear minimization problem were suggested to design the controller. Simulation tests were carried out on synchronous-machine infinite-bus power system. Satisfactory test results verify the correctness of the proposed model and the feasibility of the stabilization approach.展开更多
In order to analyze power system stability in environment of WAMS(wide area measurement system),a new steady state stability model with time-varying delay was proposed for power system.The factors of exciter and power...In order to analyze power system stability in environment of WAMS(wide area measurement system),a new steady state stability model with time-varying delay was proposed for power system.The factors of exciter and power system stabilizer with delay were introduced into analytical model.To decrease conservativeness of stability analysis,an improved Lyapunov-Krasovskii functional was constructed,and then a new delay-dependent steady state stability criterion for power system,which overcomes the disadvantages of eigenvalue computation method,was derived.The proposed model and criterion were tested on synchronous-machine infinite-bus power system.The test results demonstrate that Lyapunov-Krasovskii functional based power system stability analysis method is applicable and effective in the analysis of time delay power system stability.展开更多
The aims of the present paper are twofold. At first, we further study the Multiple-Relaxation-Time (MRT) Lattice Boltzmann (LB) model proposed in [Europhys. Lett. 90 (2010) 54003]. We discuss the reason why the ...The aims of the present paper are twofold. At first, we further study the Multiple-Relaxation-Time (MRT) Lattice Boltzmann (LB) model proposed in [Europhys. Lett. 90 (2010) 54003]. We discuss the reason why the Gram Schmidt orthogonalization procedure is not needed in the construction of transformation matrix M; point out a reason why the Kataoka-Tsutahara model [Phys. Rev. E 69 (2004) 035701(R)] is only valid in subsonic flows. The yon Neumann stability analysis is performed. Secondly, we carry out a preliminary quantitative study on the Richtmyer- Meshkov instability using the proposed MRT LB model. When a shock wave travels from a light medium to a heavy one, the simulated growth rate is in qualitative agreement with the perturbation model by Zhang-Sohn. It is about half of the predicted value by the impulsive model and is closer to the experimental result. When the shock wave travels from a heavy medium to a light one, our simulation results are also consistent with physical analysis.展开更多
The maximum relative error between continuous-time American option pricing model and binomial tree model is very small. In order to improve the European and American options in trade course, the thesis tried to build ...The maximum relative error between continuous-time American option pricing model and binomial tree model is very small. In order to improve the European and American options in trade course, the thesis tried to build early exercise European option and early termination American option pricing models. Firstly, the authors reviewed the characteristics of American option and European option, then there was compares between them. Base on continuous-time American option pricing model, this research analyzed the value of these options.展开更多
AIM: To evaluate the clinical outcomes of patients undergoing hepatectomy with hemihepatic vascular occlusion (HHO) compared with total hepatic inflow occlusion (THO). METHODS: Randomized controlled trials (RCT...AIM: To evaluate the clinical outcomes of patients undergoing hepatectomy with hemihepatic vascular occlusion (HHO) compared with total hepatic inflow occlusion (THO). METHODS: Randomized controlled trials (RCTs) co- mparing hemihepatic vascular occlusion and total he- patic inflow occlusion were included by a systematic literature search. Two authors independently assessed the trials for inclusion and extracted the data. A meta- analysis was conducted to estimate blood loss, transfu- sion requirement, and liver injury based on the levels of aspartate aminotransferase (AST) and alanine arni- notransferase (ALT). Either the fixed effects model or random effects model was used. RESULTS- Four RCTs including 338 patients met the predefined inclusion criteria. A total of 167 patients were treated with THO and 171 with HHO. Metaanalysis of AST levels on postoperative day 1 indicated higher levels in the THO group with weighted mean dif- ference (WMD) 342.27; 95% confidence intervals (CI) 217.28-467.26; P = 0.00001; I2 = 16%. Meta-analysis showed no significant difference between THO group and HHO group on blood loss, transfusion requirement, mortality, morbidity, operating time, ischemic duration, hospital stay, ALT levels on postoperative day 1, 3 and 7 and AST levels on postoperative day 3 and 7. CONCLUSION: Hemihepatic vascular occlusion does not offer satisfying benefit to the patients undergoing hepatic resection. However, they have less liver injury after liver resections.展开更多
The comparative study between unsteady flow models in alluvial streams shows a chaotic residue as for the choices of a forecasting model. The difficulty resides in the choice of the expressions of friction resistance ...The comparative study between unsteady flow models in alluvial streams shows a chaotic residue as for the choices of a forecasting model. The difficulty resides in the choice of the expressions of friction resistance and sediment transport. Three types of mathematical models were selected. Models of type one and two are fairly general, but require a considerable number of boundary conditions, which related to each size range of sediments. It can be a handicap during rivers studies which are not very well followed in terms of experimental measurements. Also, the use of complex models is not always founded. But then, the model of type three requires a limited number of boundary conditions and solves only a system of three equations at each time step. It allows a considerable saving in calculating times.展开更多
To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic (PLTL) model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata (NA...To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic (PLTL) model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata (NA) in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms (NFs), next constructs Normal Form Graphs (NFGs) for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.展开更多
The perceived usefulness of Fair Trade influences both its effectiveness and farmers' long-term participation. The aim of this paper is to measure the perceived economic, social and environmental impact of Fair Trade...The perceived usefulness of Fair Trade influences both its effectiveness and farmers' long-term participation. The aim of this paper is to measure the perceived economic, social and environmental impact of Fair Trade by farmers in Costa Rica. One hundred farmers were interviewed, and their perceived change in living and working conditions due to Fair Trade participation was measured through a t-test analysis. The sample characters' influence on the perceived change was also measured, adopting a regression model and a t-test. The results showed a positive perception of the impact of Fair Trade, with a particularly strong perceived improvement in the farmers' technical, economic and managerial skills. There was relatively less perceived change in the environmental, educational and sanitary conditions. The results showed the need for Fair Trade to better adjust its strategy to the expectations of the farmers' communities.展开更多
基金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.
基金National Natural Science Foundation of China(No.61379125)Program for Basic Research of Shanxi Province(No.2012011015-3)Higher School of Science and Technology Innovation Project of Shanxi Province(No.2013148)
文摘Peer-to-Peer (P2P) botnet has emerged as one of the most serious threats to lnternet security. To effectively elimi- nate P2P botnet, a delayed SEIR model is proposed,which can portray the formation process of P2P botnet. Then, the local stability at equilibria is carefully analyzed by considering the eigenvalues' distributed ranges of characteristic equations. Both mathematical analysis and numerical simulations show that the dynamical features of the proposed model rely on the basic re- production number and time delay r. The results can help us to better understand the propagation behaviors of P2P botnet and design effective counter-botnet methods.
文摘Asian options are the popular second generation derivative products and embedded in many structured notes to enhance upside performance.The embedded options,as a result,usually have a long duration.The movement of interest rates becomes more important in pricing such long-dated options.In this paper,the pricing of Asian options under stochastic interest rates is studied.Assuming Hull and White model for the interest rates,a closed-form formula for geometric-average options is derived.As a by-product,pricing formula is also given for plan-vanilla options under stochastic interest rates.
基金Project(51007042)supported by the National Natural Science Foundation of China
文摘Small signal instability may cause severe accidents for power system if it can not be dear correctly and timely. How to maintain power system stable under small signal disturbance is a big challenge for power system operators and dispatchers. Time delay existing in signal transmission process makes the problem more complex. Conventional eigenvalue analysis method neglects time delay influence and can not precisely describe power system dynamic behaviors. In this work, a modified small signal stability model considering time varying delay influence was constructed and a new time delay controller was proposed to stabilize power system under disturbance. By Lyapunov-Krasovskii function, the control law in the form of nonlinear matrix inequality (NLMI) was derived. Considering synthesis method limitation for time delay controller at present, both parameter adjustment method by using linear matrix inequality (LMI) solver and iteration searching method by solving nonlinear minimization problem were suggested to design the controller. Simulation tests were carried out on synchronous-machine infinite-bus power system. Satisfactory test results verify the correctness of the proposed model and the feasibility of the stabilization approach.
基金Projects(60425310,60974026) supported by the National Natural Science Foundation of ChinaProject(200805330004) supported by the Doctor Subject Foundation of China+1 种基金Projects(NCET-06-0679) supported by Program for New Century Excellent Talents in UniversityProject(08JJ1010) supported by the Natural Science Foundation of Hunan Province,China
文摘In order to analyze power system stability in environment of WAMS(wide area measurement system),a new steady state stability model with time-varying delay was proposed for power system.The factors of exciter and power system stabilizer with delay were introduced into analytical model.To decrease conservativeness of stability analysis,an improved Lyapunov-Krasovskii functional was constructed,and then a new delay-dependent steady state stability criterion for power system,which overcomes the disadvantages of eigenvalue computation method,was derived.The proposed model and criterion were tested on synchronous-machine infinite-bus power system.The test results demonstrate that Lyapunov-Krasovskii functional based power system stability analysis method is applicable and effective in the analysis of time delay power system stability.
基金Support by the Science Foundations of Laboratory of Computational Physics,Science Foundation of China Academy of Engineering Physics under Grant Nos.2009A0102005,2009B0101012National Basic Research Program of China under Grant No.2007CB815105National Natural Science Foundation of China under Grant Nos.11074300,11075021,and 11071024
文摘The aims of the present paper are twofold. At first, we further study the Multiple-Relaxation-Time (MRT) Lattice Boltzmann (LB) model proposed in [Europhys. Lett. 90 (2010) 54003]. We discuss the reason why the Gram Schmidt orthogonalization procedure is not needed in the construction of transformation matrix M; point out a reason why the Kataoka-Tsutahara model [Phys. Rev. E 69 (2004) 035701(R)] is only valid in subsonic flows. The yon Neumann stability analysis is performed. Secondly, we carry out a preliminary quantitative study on the Richtmyer- Meshkov instability using the proposed MRT LB model. When a shock wave travels from a light medium to a heavy one, the simulated growth rate is in qualitative agreement with the perturbation model by Zhang-Sohn. It is about half of the predicted value by the impulsive model and is closer to the experimental result. When the shock wave travels from a heavy medium to a light one, our simulation results are also consistent with physical analysis.
文摘The maximum relative error between continuous-time American option pricing model and binomial tree model is very small. In order to improve the European and American options in trade course, the thesis tried to build early exercise European option and early termination American option pricing models. Firstly, the authors reviewed the characteristics of American option and European option, then there was compares between them. Base on continuous-time American option pricing model, this research analyzed the value of these options.
文摘AIM: To evaluate the clinical outcomes of patients undergoing hepatectomy with hemihepatic vascular occlusion (HHO) compared with total hepatic inflow occlusion (THO). METHODS: Randomized controlled trials (RCTs) co- mparing hemihepatic vascular occlusion and total he- patic inflow occlusion were included by a systematic literature search. Two authors independently assessed the trials for inclusion and extracted the data. A meta- analysis was conducted to estimate blood loss, transfu- sion requirement, and liver injury based on the levels of aspartate aminotransferase (AST) and alanine arni- notransferase (ALT). Either the fixed effects model or random effects model was used. RESULTS- Four RCTs including 338 patients met the predefined inclusion criteria. A total of 167 patients were treated with THO and 171 with HHO. Metaanalysis of AST levels on postoperative day 1 indicated higher levels in the THO group with weighted mean dif- ference (WMD) 342.27; 95% confidence intervals (CI) 217.28-467.26; P = 0.00001; I2 = 16%. Meta-analysis showed no significant difference between THO group and HHO group on blood loss, transfusion requirement, mortality, morbidity, operating time, ischemic duration, hospital stay, ALT levels on postoperative day 1, 3 and 7 and AST levels on postoperative day 3 and 7. CONCLUSION: Hemihepatic vascular occlusion does not offer satisfying benefit to the patients undergoing hepatic resection. However, they have less liver injury after liver resections.
文摘The comparative study between unsteady flow models in alluvial streams shows a chaotic residue as for the choices of a forecasting model. The difficulty resides in the choice of the expressions of friction resistance and sediment transport. Three types of mathematical models were selected. Models of type one and two are fairly general, but require a considerable number of boundary conditions, which related to each size range of sediments. It can be a handicap during rivers studies which are not very well followed in terms of experimental measurements. Also, the use of complex models is not always founded. But then, the model of type three requires a limited number of boundary conditions and solves only a system of three equations at each time step. It allows a considerable saving in calculating times.
基金The first author of this paper would like to thank the follow- ing scholars, Prof. Joseph Sifakis, 2007 Turing Award Winner, for his invaluable help with my research and Dr. Kevin Lu at Brunel University, UK for his excellent suggestions on this paper. This work was supported by the National Natural Sci- ence Foundation of China under Grant No.61003079 the Chi- na Postdoctoral Science Foundation under Grant No. 2012M511588.
文摘To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic (PLTL) model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata (NA) in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms (NFs), next constructs Normal Form Graphs (NFGs) for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.
文摘The perceived usefulness of Fair Trade influences both its effectiveness and farmers' long-term participation. The aim of this paper is to measure the perceived economic, social and environmental impact of Fair Trade by farmers in Costa Rica. One hundred farmers were interviewed, and their perceived change in living and working conditions due to Fair Trade participation was measured through a t-test analysis. The sample characters' influence on the perceived change was also measured, adopting a regression model and a t-test. The results showed a positive perception of the impact of Fair Trade, with a particularly strong perceived improvement in the farmers' technical, economic and managerial skills. There was relatively less perceived change in the environmental, educational and sanitary conditions. The results showed the need for Fair Trade to better adjust its strategy to the expectations of the farmers' communities.