In this paper, the problem of initial boundary value for nonlinear coupled reaction-diffusion systems arising in biochemistry, engineering and combustion_theory is considered.
Cooperative safety driving systems using vehicle-to-vehicle and vehicle-to infrastructure communication are developed. Sensor data of vehicles and infrastructures are communicated in the cooperative safety driving sys...Cooperative safety driving systems using vehicle-to-vehicle and vehicle-to infrastructure communication are developed. Sensor data of vehicles and infrastructures are communicated in the cooperative safety driving system. LDM (Local Dynamic Map) is standardized by ETSI (European Telecommunications Standards Institute) to manage the vehicle sensor data and the map data. Implementations of LDM are reported on documents of ETSI, but there are no numerical results. The implementations of LDM are deployed the database management system. We think that the response time of the database becomes higher as the number of vehicles grows. In this paper, we have implemented and evaluated the LDM with the collision detection application.展开更多
In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth...In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth regenerating(MBR) codes, are mainly to repair one single or several failed nodes, unable to meet the repair need of distributed cloud storage systems. In this paper, we present locally minimum storage regenerating(LMSR) codes to recover multiple failed nodes at the same time. Specifically, the nodes in distributed cloud storage systems are divided into multiple local groups, and in each local group(4, 2) or(5, 3) MSR codes are constructed. Moreover, the grouping method of storage nodes and the repairing process of failed nodes in local groups are studied. Theoretical analysis shows that LMSR codes can achieve the same storage overhead as MSR codes. Furthermore, we verify by means of simulation that, compared with MSR codes, LMSR codes can reduce the repair bandwidth and disk I/O overhead effectively.展开更多
This paper is concerned with the existence of traveling wave solutions in a reaction-diffusion predator-prey system with Beddington-DeAngelis functional response and a discrete time delay. By introducing a partial qua...This paper is concerned with the existence of traveling wave solutions in a reaction-diffusion predator-prey system with Beddington-DeAngelis functional response and a discrete time delay. By introducing a partial quasi-monotonicity condition and constructing a pair of upper-lower solutions, we establish the existence of traveling wave solutions. Moreover, a numerical simulation is carried out to illustrate the theoretical results.展开更多
In this paper,we study the existence of localized nodal solutions for Schrodinger-Poisson systems with critical growth{−ε^(2)Δv+V(x)v+λψv=v^(5)+μ|v|^(q−2)v,in R^(3),−ε^(2)Δψ=v^(2),in R^(3);v(x)→0,ψ(x)→0as|x...In this paper,we study the existence of localized nodal solutions for Schrodinger-Poisson systems with critical growth{−ε^(2)Δv+V(x)v+λψv=v^(5)+μ|v|^(q−2)v,in R^(3),−ε^(2)Δψ=v^(2),in R^(3);v(x)→0,ψ(x)→0as|x|→∞.We establish,for smallε,the existence of a sequence of localized nodal solutions concentrating near a given local minimum point of the potential function via the perturbation method,and employ some new analytical skills to overcome the obstacles caused by the nonlocal term φu(x)=1/4π∫R^(3)u^(2)(y)/|x−y|dy.Our results improve and extend related ones in the literature.展开更多
The human brain is a fascinatingly complex organ with specialized structures associated with distinct functions. Classical and recent studies on brain localization propose that Broca’s area underpin expressive langua...The human brain is a fascinatingly complex organ with specialized structures associated with distinct functions. Classical and recent studies on brain localization propose that Broca’s area underpin expressive language and this has been generalized to explain brain functional organization. However, recent neuroimaging studies have shown that the Broca’s area is an extended network that not only participate in its primary function-expressive language processing but in secondary functions-processing non-linguistic/nonverbal tasks as well. Also, there is hierarchical connectivity and interaction of Broca’s region and different brain areas in underlying related primary functions. For this review, I start with revisiting the classical description of brain localization. I then discuss the neuroanatomy of language production and the role of Broca’s region in language processing. I then highlight the participation of the Broca’s area in non-linguistic tasks and non-primary linguistic tasks. Ultimately, I propose a novel hypothesis called integrated systems hypothesis. The integrated systems hypothesis is useful for guiding research on the multimodal role of specific localized integrated systems of the brain especially the role of the Broca’s region in integrating linguistic and non-linguistic processing and how this facilitate language production.展开更多
The objective of this study was to evaluate the production system and productivity indices of local swine raised in subsistence production system in East Timor.About 1,096 respondents were interviewed in fitting villa...The objective of this study was to evaluate the production system and productivity indices of local swine raised in subsistence production system in East Timor.About 1,096 respondents were interviewed in fitting villages in eight municipalities.In each village,10%of breeders were interviewed as respondents,using simple random method and the interviews based on established questionnaires.It was observed that about 80%-90%of total respondents still used subsistence production system.The result of descriptive statistical analysis showed that the average of piglets per litter was 4-6 and weight of piglets at birth was 0.97±0.22 kg.The age of weaning of piglets and the weaning weight was 3.94±0.72 months and 5.56±0.88 kg,respectively.The age of the first breeding gilts was 8-10 months;calving interval was 6-12 months.Productive period of females was 3-12 years,and the number of mortality rate of piglets was 0.17%to 1%per production period.Thus it was concluded that the subsistence production system could affect the productivity level of local pigs.展开更多
Under some local superquadratic conditions on <em>W</em> (<em>t</em>, <em>u</em>) with respect to <em>u</em>, the existence of infinitely many solutions is obtained for ...Under some local superquadratic conditions on <em>W</em> (<em>t</em>, <em>u</em>) with respect to <em>u</em>, the existence of infinitely many solutions is obtained for the nonperiodic fractional Hamiltonian systems<img src="Edit_b2a2ac0a-6dde-474f-8c75-e9f5fc7b9918.bmp" alt="" />, where <em>L</em> (<em>t</em>) is unnecessarily coercive.展开更多
In this paper, we define the ({A,E},B)-invariant subspace pair contained in Ker C for singular systems, rigorously justifying the name and demonstrating the existence of the supremal ({A,E},B)-invariant;subspace pair ...In this paper, we define the ({A,E},B)-invariant subspace pair contained in Ker C for singular systems, rigorously justifying the name and demonstrating the existence of the supremal ({A,E},B)-invariant;subspace pair contained in Ker C, we show how the supremal ({A,E},B)-invariant subspace pair contained in Ker C can be computed via some subspace recursions, We provide necessary and sufficient condition for the existence of a state feedback that achieves disturbance localization in a linear time-invariant singular system.展开更多
This paper presents the measurement study of locality-aware Peer-to-Peer solutions on Internet Autonomous System (AS) topology by reducing AS hop count and increase nearby source nodes in P2P applications. We evaluate...This paper presents the measurement study of locality-aware Peer-to-Peer solutions on Internet Autonomous System (AS) topology by reducing AS hop count and increase nearby source nodes in P2P applications. We evaluate the performance of topology-aware BT system called TopBT with BitTorrent (BT) by constructing AS graph and measure the hops between nodes to observe the impact of quality of service in P2P applications.展开更多
Local featured program in Indonesia cannot be separated entirely from commodity strategic bases. Until in 2006, agricultural development formulation showed indicative targets for featured crops commodity production. T...Local featured program in Indonesia cannot be separated entirely from commodity strategic bases. Until in 2006, agricultural development formulation showed indicative targets for featured crops commodity production. The problem of food security is forming of farmer’s independence to protect local resources in efficiently and optimally, so these resources can be more utilized. It can be achieved by assist of information technologies and communication in forming of Geographic Information System (GIS) to support consistency of food security in Indonesia. This research designs prototype geographic information system in order to conduct the accurate mapping and to know the local featured crops production in Indonesia. This level is conducted for documentation and mapping of agricultural products which is the local featured production. This documentation requires the usage of potential physical, economic, social and cultural environment by the utilization of information technology and communication, which have the ability of relevancy and accessibility of reliable information.展开更多
Investigating local dynamics of equilibrium points of nonlinear systems plays an important role in studying the behavior of dynamical systems. There are many different definitions for stable and unstable solutions in ...Investigating local dynamics of equilibrium points of nonlinear systems plays an important role in studying the behavior of dynamical systems. There are many different definitions for stable and unstable solutions in the literature. The main goal to develop stability definitions is exploring the responses or output of a system to perturbation as time approaches infinity. Due to the wide range of application of local dynamical system theory in physics, biology, economics and social science, it still attracts many researchers to play with its definitions to find out the answers for their questions. In this paper, we start with a brief review over continuous time dynamical systems modeling and then we bring useful examples to the playground. We study the local dynamics of some interesting systems and we show the local stable behavior of the system around its critical points. Moreover, we look at local dynamical behavior of famous dynamical systems, Hénon-Heiles system, Duffing oscillator and Van der Pol equation and analyze them. Finally, we discuss about the chaotic behavior of Hamiltonian systems using two different and new examples.展开更多
In this paper, we introduce some new systems of generalized vector quasi-variational inclusion problems and system of generalized vector ideal (resp., proper, Pareto, weak) quasi-optimization problems in locally FC-...In this paper, we introduce some new systems of generalized vector quasi-variational inclusion problems and system of generalized vector ideal (resp., proper, Pareto, weak) quasi-optimization problems in locally FC-uniform spaces without convexity structure. By using the KKM type theorem and Himmelberg type fixed point theorem proposed by the author, some new existence theorems of solutions for the systems of generalized vector quasi-variational inclusion problems are proved. As to its applications, we obtain some existence results of solutions for systems of generalized vector quasi-optimization problems.展开更多
We consider first order quasilinear hyperbolic systems with vertical characteristics. It was shown in [4] that such systems can be exactly controllable with the help of internal controls applied to the equations corr...We consider first order quasilinear hyperbolic systems with vertical characteristics. It was shown in [4] that such systems can be exactly controllable with the help of internal controls applied to the equations corresponding to zero eigenvalues. However, it is possible that, for physical or engineering reasons, we can not put any control on the equations corresponding to zero eigenvalues. In this paper, we will establish the exact controllability only by means of physically meaningfnl internal controls applied to the equations corresponding to non-zero eigenvalues. We also show the exact controllability for a very simplified model by means of switching controls.展开更多
In this paper,we present a smoothing Newton-like method for solving nonlinear systems of equalities and inequalities.By using the so-called max function,we transfer the inequalities into a system of semismooth equalit...In this paper,we present a smoothing Newton-like method for solving nonlinear systems of equalities and inequalities.By using the so-called max function,we transfer the inequalities into a system of semismooth equalities.Then a smoothing Newton-like method is proposed for solving the reformulated system,which only needs to solve one system of linear equations and to perform one line search at each iteration. The global and local quadratic convergence are studied under appropriate assumptions. Numerical examples show that the new approach is effective.展开更多
Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the ...Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the minimal Roesser model realization problem for a class of 2D systems which does not belong to the clarified categories. As one of the main results, a constructive realization procedure is first proposed. Based on the proposed procedure, sufficient conditions and explicit construction for minimal realizations of the considered 2D systems are shown. In addition, possible variations and applications of the obtained results are discussed and illustrative examples are presented.展开更多
From the actual perspective of working principle of localizer beacon subsystem of Instrument Landing System (ILS), consideration of the distance information from localizer antenna to field monitor antenna and wide ape...From the actual perspective of working principle of localizer beacon subsystem of Instrument Landing System (ILS), consideration of the distance information from localizer antenna to field monitor antenna and wide aperture effect of localizer antenna, broke through the limitation of signals synthesized only far-field (FF), established the near-field (NF) model. The three-dimensional mathematical model of localizer beacon was designed, and the signals at both near-field and far-field were analyzed qualitatively. At the environment of Antenna Fault as well as Antenna Distribution Unit (ADU) phase shifter simulation, the characteristics of near-field and far-field were also compared. The simulation results showed that the model met the requirement of theory of localizer beacon, and the gap between two models was so evident, which resulted from the broken geometric symmetry in NF area. The model could provide valuable theoretical basis for performance evaluation and maintenance of the ILS, and meanwhile, provide reference for the further analysis of localizer beacon.展开更多
By using a mapping approach and a linear variable separation approach, a new family of solitary wave solutions with arbitrary functions for the (2+1)-dimensional modified dispersive water-wave system (MDWW) is de...By using a mapping approach and a linear variable separation approach, a new family of solitary wave solutions with arbitrary functions for the (2+1)-dimensional modified dispersive water-wave system (MDWW) is derived. Based on the derived solutions and using some multi-valued functions, we obtain some novel folded localized excitations of the system.展开更多
文摘In this paper, the problem of initial boundary value for nonlinear coupled reaction-diffusion systems arising in biochemistry, engineering and combustion_theory is considered.
文摘Cooperative safety driving systems using vehicle-to-vehicle and vehicle-to infrastructure communication are developed. Sensor data of vehicles and infrastructures are communicated in the cooperative safety driving system. LDM (Local Dynamic Map) is standardized by ETSI (European Telecommunications Standards Institute) to manage the vehicle sensor data and the map data. Implementations of LDM are reported on documents of ETSI, but there are no numerical results. The implementations of LDM are deployed the database management system. We think that the response time of the database becomes higher as the number of vehicles grows. In this paper, we have implemented and evaluated the LDM with the collision detection application.
基金supported in part by the National Natural Science Foundation of China (61640006, 61572188)the Natural Science Foundation of Shaanxi Province, China (2015JM6307, 2016JQ6011)the project of science and technology of Xi’an City (2017088CG/RC051(CADX002))
文摘In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth regenerating(MBR) codes, are mainly to repair one single or several failed nodes, unable to meet the repair need of distributed cloud storage systems. In this paper, we present locally minimum storage regenerating(LMSR) codes to recover multiple failed nodes at the same time. Specifically, the nodes in distributed cloud storage systems are divided into multiple local groups, and in each local group(4, 2) or(5, 3) MSR codes are constructed. Moreover, the grouping method of storage nodes and the repairing process of failed nodes in local groups are studied. Theoretical analysis shows that LMSR codes can achieve the same storage overhead as MSR codes. Furthermore, we verify by means of simulation that, compared with MSR codes, LMSR codes can reduce the repair bandwidth and disk I/O overhead effectively.
文摘This paper is concerned with the existence of traveling wave solutions in a reaction-diffusion predator-prey system with Beddington-DeAngelis functional response and a discrete time delay. By introducing a partial quasi-monotonicity condition and constructing a pair of upper-lower solutions, we establish the existence of traveling wave solutions. Moreover, a numerical simulation is carried out to illustrate the theoretical results.
文摘In this paper,we study the existence of localized nodal solutions for Schrodinger-Poisson systems with critical growth{−ε^(2)Δv+V(x)v+λψv=v^(5)+μ|v|^(q−2)v,in R^(3),−ε^(2)Δψ=v^(2),in R^(3);v(x)→0,ψ(x)→0as|x|→∞.We establish,for smallε,the existence of a sequence of localized nodal solutions concentrating near a given local minimum point of the potential function via the perturbation method,and employ some new analytical skills to overcome the obstacles caused by the nonlocal term φu(x)=1/4π∫R^(3)u^(2)(y)/|x−y|dy.Our results improve and extend related ones in the literature.
文摘The human brain is a fascinatingly complex organ with specialized structures associated with distinct functions. Classical and recent studies on brain localization propose that Broca’s area underpin expressive language and this has been generalized to explain brain functional organization. However, recent neuroimaging studies have shown that the Broca’s area is an extended network that not only participate in its primary function-expressive language processing but in secondary functions-processing non-linguistic/nonverbal tasks as well. Also, there is hierarchical connectivity and interaction of Broca’s region and different brain areas in underlying related primary functions. For this review, I start with revisiting the classical description of brain localization. I then discuss the neuroanatomy of language production and the role of Broca’s region in language processing. I then highlight the participation of the Broca’s area in non-linguistic tasks and non-primary linguistic tasks. Ultimately, I propose a novel hypothesis called integrated systems hypothesis. The integrated systems hypothesis is useful for guiding research on the multimodal role of specific localized integrated systems of the brain especially the role of the Broca’s region in integrating linguistic and non-linguistic processing and how this facilitate language production.
文摘The objective of this study was to evaluate the production system and productivity indices of local swine raised in subsistence production system in East Timor.About 1,096 respondents were interviewed in fitting villages in eight municipalities.In each village,10%of breeders were interviewed as respondents,using simple random method and the interviews based on established questionnaires.It was observed that about 80%-90%of total respondents still used subsistence production system.The result of descriptive statistical analysis showed that the average of piglets per litter was 4-6 and weight of piglets at birth was 0.97±0.22 kg.The age of weaning of piglets and the weaning weight was 3.94±0.72 months and 5.56±0.88 kg,respectively.The age of the first breeding gilts was 8-10 months;calving interval was 6-12 months.Productive period of females was 3-12 years,and the number of mortality rate of piglets was 0.17%to 1%per production period.Thus it was concluded that the subsistence production system could affect the productivity level of local pigs.
文摘Under some local superquadratic conditions on <em>W</em> (<em>t</em>, <em>u</em>) with respect to <em>u</em>, the existence of infinitely many solutions is obtained for the nonperiodic fractional Hamiltonian systems<img src="Edit_b2a2ac0a-6dde-474f-8c75-e9f5fc7b9918.bmp" alt="" />, where <em>L</em> (<em>t</em>) is unnecessarily coercive.
文摘In this paper, we define the ({A,E},B)-invariant subspace pair contained in Ker C for singular systems, rigorously justifying the name and demonstrating the existence of the supremal ({A,E},B)-invariant;subspace pair contained in Ker C, we show how the supremal ({A,E},B)-invariant subspace pair contained in Ker C can be computed via some subspace recursions, We provide necessary and sufficient condition for the existence of a state feedback that achieves disturbance localization in a linear time-invariant singular system.
文摘This paper presents the measurement study of locality-aware Peer-to-Peer solutions on Internet Autonomous System (AS) topology by reducing AS hop count and increase nearby source nodes in P2P applications. We evaluate the performance of topology-aware BT system called TopBT with BitTorrent (BT) by constructing AS graph and measure the hops between nodes to observe the impact of quality of service in P2P applications.
文摘Local featured program in Indonesia cannot be separated entirely from commodity strategic bases. Until in 2006, agricultural development formulation showed indicative targets for featured crops commodity production. The problem of food security is forming of farmer’s independence to protect local resources in efficiently and optimally, so these resources can be more utilized. It can be achieved by assist of information technologies and communication in forming of Geographic Information System (GIS) to support consistency of food security in Indonesia. This research designs prototype geographic information system in order to conduct the accurate mapping and to know the local featured crops production in Indonesia. This level is conducted for documentation and mapping of agricultural products which is the local featured production. This documentation requires the usage of potential physical, economic, social and cultural environment by the utilization of information technology and communication, which have the ability of relevancy and accessibility of reliable information.
文摘Investigating local dynamics of equilibrium points of nonlinear systems plays an important role in studying the behavior of dynamical systems. There are many different definitions for stable and unstable solutions in the literature. The main goal to develop stability definitions is exploring the responses or output of a system to perturbation as time approaches infinity. Due to the wide range of application of local dynamical system theory in physics, biology, economics and social science, it still attracts many researchers to play with its definitions to find out the answers for their questions. In this paper, we start with a brief review over continuous time dynamical systems modeling and then we bring useful examples to the playground. We study the local dynamics of some interesting systems and we show the local stable behavior of the system around its critical points. Moreover, we look at local dynamical behavior of famous dynamical systems, Hénon-Heiles system, Duffing oscillator and Van der Pol equation and analyze them. Finally, we discuss about the chaotic behavior of Hamiltonian systems using two different and new examples.
基金supported by the Natural Science Foundation of Sichuan Education Department of China(No. 07ZA092)the Sichuan Province Leading Academic Discipline Project (No. SZD0406)
文摘In this paper, we introduce some new systems of generalized vector quasi-variational inclusion problems and system of generalized vector ideal (resp., proper, Pareto, weak) quasi-optimization problems in locally FC-uniform spaces without convexity structure. By using the KKM type theorem and Himmelberg type fixed point theorem proposed by the author, some new existence theorems of solutions for the systems of generalized vector quasi-variational inclusion problems are proved. As to its applications, we obtain some existence results of solutions for systems of generalized vector quasi-optimization problems.
文摘We consider first order quasilinear hyperbolic systems with vertical characteristics. It was shown in [4] that such systems can be exactly controllable with the help of internal controls applied to the equations corresponding to zero eigenvalues. However, it is possible that, for physical or engineering reasons, we can not put any control on the equations corresponding to zero eigenvalues. In this paper, we will establish the exact controllability only by means of physically meaningfnl internal controls applied to the equations corresponding to non-zero eigenvalues. We also show the exact controllability for a very simplified model by means of switching controls.
基金supported by Guangdong Provincial Zhujiang Scholar Award Project,National Science Foundation of China(10671163,10871031)the National Basic Research Program under the Grant 2005CB321703Scientific Research Fund of Hunan Provincial Education Department(06A069,06C824)
文摘In this paper,we present a smoothing Newton-like method for solving nonlinear systems of equalities and inequalities.By using the so-called max function,we transfer the inequalities into a system of semismooth equalities.Then a smoothing Newton-like method is proposed for solving the reformulated system,which only needs to solve one system of linear equations and to perform one line search at each iteration. The global and local quadratic convergence are studied under appropriate assumptions. Numerical examples show that the new approach is effective.
基金supported by the National Natural Science Foundation of China (No.60604001)Grant-in-Aid for Scientific Research from the Japan Society for the Promotion of Science (JSPS.KAKENHI 19560448)
文摘Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the minimal Roesser model realization problem for a class of 2D systems which does not belong to the clarified categories. As one of the main results, a constructive realization procedure is first proposed. Based on the proposed procedure, sufficient conditions and explicit construction for minimal realizations of the considered 2D systems are shown. In addition, possible variations and applications of the obtained results are discussed and illustrative examples are presented.
文摘From the actual perspective of working principle of localizer beacon subsystem of Instrument Landing System (ILS), consideration of the distance information from localizer antenna to field monitor antenna and wide aperture effect of localizer antenna, broke through the limitation of signals synthesized only far-field (FF), established the near-field (NF) model. The three-dimensional mathematical model of localizer beacon was designed, and the signals at both near-field and far-field were analyzed qualitatively. At the environment of Antenna Fault as well as Antenna Distribution Unit (ADU) phase shifter simulation, the characteristics of near-field and far-field were also compared. The simulation results showed that the model met the requirement of theory of localizer beacon, and the gap between two models was so evident, which resulted from the broken geometric symmetry in NF area. The model could provide valuable theoretical basis for performance evaluation and maintenance of the ILS, and meanwhile, provide reference for the further analysis of localizer beacon.
基金Project supported by the Natural Science Foundation of Zhejiang Province, China (Grant Nos. Y6100257 and Y6110140)
文摘By using a mapping approach and a linear variable separation approach, a new family of solitary wave solutions with arbitrary functions for the (2+1)-dimensional modified dispersive water-wave system (MDWW) is derived. Based on the derived solutions and using some multi-valued functions, we obtain some novel folded localized excitations of the system.