Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:ba...Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:backtracking and branch and bound,introduce the process to find the optimal solution by both methods,propose the concept of logical node and physical node.Through some experiments for different process sets,we have made comparisons between the two algorithms in branch nodes,comparing time,topology of the search tree,memory size needed,etc.展开更多
The transition boundaries of period doubling on the physical parameter plane of a Duffing system are obtained by the general Newton′s method, and the motion on different areas divided by transition boundaries is stu...The transition boundaries of period doubling on the physical parameter plane of a Duffing system are obtained by the general Newton′s method, and the motion on different areas divided by transition boundaries is studied in this paper. When the physical parameters transpass the boundaries, the solutions of period T =2π/ω will lose their stability, and the solutions of period T =2π/ω take place. Continuous period doubling bifurcations lead to chaos.展开更多
A controlled model of thermal shield of ablation with trapspiration cooling is develoed. The existence and uniqueness of the classical solution can be obtained by Friedman and Jiang's methods. The positivity of th...A controlled model of thermal shield of ablation with trapspiration cooling is develoed. The existence and uniqueness of the classical solution can be obtained by Friedman and Jiang's methods. The positivity of the solution is proved and the conditions for the coolant flux under which the abladtion process will complete in finite time are also determined. Finally, we show the existence of critical coolant flux beyond which the ablation material begin melting.展开更多
The parabolized stability equation (PSE) was derived to study the linear stability of particle-laden flow in growing Blasius boundary layer. The stability characteristics for various Stokes numbers and particle concen...The parabolized stability equation (PSE) was derived to study the linear stability of particle-laden flow in growing Blasius boundary layer. The stability characteristics for various Stokes numbers and particle concentrations were analyzed after solving the equation numerically using the perturbation method and finite difference. The inclusion of the nonparallel terms produces a reduction in the values of the critical Reynolds number compared with the parallel flow. There is a critical value for the effect of Stokes number, and the critical Stokes number being about unit, and the most efficient instability suppression takes place when Stokes number is of order 10. But the presence of the nonparallel terms does not affect the role of the particles in gas. That is, the addition of fine particles (Stokes number is much smaller than 1) reduces the critical Reynolds number while the addition of coarse particles (Stokes number is much larger than 1) enhances it. Qualitatively the effect of nonparallel mean flow is the same as that for the case of plane parallel flows.展开更多
In this paper, author obtain sufficient condition for the boundedness of solutions of the second order nonlinear differential systemdxdt=y-φ(x), dydt=-yf(x)-g(x).(E)The result can be applied to the Liénard-type ...In this paper, author obtain sufficient condition for the boundedness of solutions of the second order nonlinear differential systemdxdt=y-φ(x), dydt=-yf(x)-g(x).(E)The result can be applied to the Liénard-type system, which substantially extends and imporves some important results associated with the same problems in the literatures [1—10] et al..展开更多
Demarcating distribution area of goods is often guided by the rule of thumb by business proprietors. However, this method seems to be unsuitable when the demand points increase to a certain large extent. The present w...Demarcating distribution area of goods is often guided by the rule of thumb by business proprietors. However, this method seems to be unsuitable when the demand points increase to a certain large extent. The present work attempted to convert the problem of distribution area demarcation into a localized problem of warehouseing and networking, and tried to establish district-based planning mode based on location based heuristic (LBH). Two methods were used in this study: 1) the manual method to construct the mathematical model and conduct simulation; 2) the automatic method using TransCAD software of geographical information system (GIS) for simulation. By comparing the effects of the two methods, the research provides theoretical support for business proprietors to demarcate the distribution area rationally with the application of GIS system. The results show that GIS has very good graphics construction function to replace complex text, and the automatic demarcating mode with human-machine interaction provides a good business decision-making support.展开更多
Silica fume, fly ash and nano-fiber mineral materials (NR powder) are employed to incorporate into cement-based materials. According to the grain grading mathematical model of cement-based materials, two packing syste...Silica fume, fly ash and nano-fiber mineral materials (NR powder) are employed to incorporate into cement-based materials. According to the grain grading mathematical model of cement-based materials, two packing systems, namely, spherical grading system and nano-fiber reinforced system were designed. Properties and interfacial microstructure of the two systems were studied according to secondary interface theory. It was shown that nano-fiber mineral materials can improve the grain grading of the admixture, increase the density of the system, improve the microstructure of the interface and the hardened paste, and enhance the uniformity of cement-based materials mixed with composite micro-grains and greatly increase their wearable rigidity and flexure strength. In this paper, two kinds of interface models, including spherical grain model and nano-fiber reinforced interface model of the cement-based materials mixed with composite micro-grains, were brought forward.展开更多
Non-linear dynamics,fractals,periodic oscillations,bifurcations,chaos,and other terminologies have been used to describe human biological systems in the literature for a few decades.The eight manuscripts included in t...Non-linear dynamics,fractals,periodic oscillations,bifurcations,chaos,and other terminologies have been used to describe human biological systems in the literature for a few decades.The eight manuscripts included in this special issue discussed the historical background,展开更多
Alarm systems play important roles for the safe and efficient operation of modern industrial plants. Critical alarms are configured with a higher priority and are safety related among many other alarms. If critical al...Alarm systems play important roles for the safe and efficient operation of modern industrial plants. Critical alarms are configured with a higher priority and are safety related among many other alarms. If critical alarms can be predicted in advance, the operator will have more time to prevent them from happening. In this paper,we present a dynamic alarm prediction algorithm, which is a probabilistic model that utilizes alarm data from distributed control system, to calculate the occurrence probability of critical alarms. It accounts for the local interdependences among the alarms using the n-gram model, which occur because of the nonlinear relationships between variables. Finally, the dynamic alarm prediction algorithm is applied to an industrial case study.展开更多
The primary goal of this work is to characterize the impact of weighting selection strategy and multistatic geometry on the multistatic radar performance. With the relationship between the multistatic ambiguity functi...The primary goal of this work is to characterize the impact of weighting selection strategy and multistatic geometry on the multistatic radar performance. With the relationship between the multistatic ambiguity function (AF) and the multistatie Cram6r-Rao lower bound (CRLB), the problem of calculating the multistatic AF and the multistatic CRLB as a performance metric for multistatic radar system is studied. Exactly, based on the proper selection of the system parameters, the multistatic radar performance can be significantly improved. The simulation results illustrate that the multistatic AF and the multistatic CRLB can serve as guidelines for future multistatic fusion rule development and multistatic radars deployment.展开更多
The emergence and development of constructal theory,which has been a new discipline branch to research sorts of structures in nature and engineering,are reviewed.The core of the constructal theory is that various shap...The emergence and development of constructal theory,which has been a new discipline branch to research sorts of structures in nature and engineering,are reviewed.The core of the constructal theory is that various shapes and structures of the matters in nature are generated from the tendency to obtain optimal performance.Constructal theory and its application are summarized,from disciplines such as heat,mechanism,fluid flow,electricity,magnetism and chemistry,to life and non-life systems in nature.展开更多
In this paper, the authors investigate the joint distribution of end points of excursion awayfrom a closed set straddling on a fixed time and use this result to compute the Levy systemand the Dirichlet form of the bou...In this paper, the authors investigate the joint distribution of end points of excursion awayfrom a closed set straddling on a fixed time and use this result to compute the Levy systemand the Dirichlet form of the boundary process.展开更多
Here thermal dependence conductivity and nonlinear convection features in third-grade liquid flow bounded by moving surface having varying thickness are formulated. Stagnation point flow is considered. Revised Fourier...Here thermal dependence conductivity and nonlinear convection features in third-grade liquid flow bounded by moving surface having varying thickness are formulated. Stagnation point flow is considered. Revised FourierFick relations and double stratification phenomena are utilized for modeling energy and concentration expressions.Mathematical model of considered physical problem is achieved by implementing the idea of boundary layer theory. The acquired partial differential system is transformed into ordinary ones by employing relevant variables. The homotopic scheme yield convergent solutions of governing nonlinear expressions. Graphs are constructed for distinct values of physical constraints to elaborate the heat/mass transportation mechanisms.展开更多
Technically, when dealing with a perfect crystal, methods (PBC) in conjunction with plane-wave basis sets are widely in k-(reciprocal) space that impose periodic boundary conditions used. Chemists, however, tend t...Technically, when dealing with a perfect crystal, methods (PBC) in conjunction with plane-wave basis sets are widely in k-(reciprocal) space that impose periodic boundary conditions used. Chemists, however, tend to think of a solid as a giant mole- cule, which offers a molecular way to describe a solid by using a finite cluster model (FCM). However, FCM may fail to sim- ulate a perfect crystal due to its inevitable boundary effects. We propose an RRS-PBC method that extracts the k-space infor- mation of a perfect crystalline solid out of a reduced real space (RRS) of an FCM. We show that the inevitable boundary effects in an FCM are eliminated naturally to achieve converged high-quality band structures.展开更多
The author surveys a few examples of boundary layers for which the Prandtl boundary layer theory can be rigorously validated.All of them are associated with the incompressible Navier-Stokes equations for Newtonian flu...The author surveys a few examples of boundary layers for which the Prandtl boundary layer theory can be rigorously validated.All of them are associated with the incompressible Navier-Stokes equations for Newtonian fluids equipped with various Dirichlet boundary conditions(specified velocity).These examples include a family of(nonlinear 3D) plane parallel flows,a family of(nonlinear) parallel pipe flows,as well as flows with uniform injection and suction at the boundary.We also identify a key ingredient in establishing the validity of the Prandtl type theory,i.e.,a spectral constraint on the approximate solution to the Navier-Stokes system constructed by combining the inviscid solution and the solution to the Prandtl type system.This is an additional difficulty besides the wellknown issue related to the well-posedness of the Prandtl type system.It seems that the main obstruction to the verification of the spectral constraint condition is the possible separation of boundary layers.A common theme of these examples is the inhibition of separation of boundary layers either via suppressing the velocity normal to the boundary or by injection and suction at the boundary so that the spectral constraint can be verified.A meta theorem is then presented which covers all the cases considered here.展开更多
In this survey paper, the synchronization will be initially studied for infinite dimensional dynamical systems of partial differential equations instead of finite dimensional systems of ordinary differential equations...In this survey paper, the synchronization will be initially studied for infinite dimensional dynamical systems of partial differential equations instead of finite dimensional systems of ordinary differential equations,and will be connected with the control theory via boundary controls in a finite time interval. More precisely,various kinds of exact boundary synchronization and approximate boundary synchronization will be introduced and realized by means of fewer boundary controls for a coupled system of wave equations with Dirichlet boundary controls. Moreover, as necessary conditions for various kinds of approximate boundary synchronization, criteria of Kalman's type are obtained. Finally, some prospects will be given.展开更多
This paper investigates the nonlinear dynamics of network-based dynamical systems where network communication channels of finite data rates are inserted into the closed loops of the control systems. The authors analyz...This paper investigates the nonlinear dynamics of network-based dynamical systems where network communication channels of finite data rates are inserted into the closed loops of the control systems. The authors analyze the bifurcation and chaotic behavior of the non-smooth dynamical systems. The authors first prove that for almost all system parameters there are no periodic orbits. This result distinguishes this type of non-smooth dynamical systems from many others exhibiting border-collision bifurcations. Next, the authors show analytically that the chaotic sets are separated from the region containing the line segment of all fixed points with a finite distance. Finally, the authors employ a simple model to highlight that both the number of clients sharing a common network channel and fluctuations in the available network bandwidth have significant influence on the performance of such dynamical systems.展开更多
The authors show the regularity of weak solutions for some typical quasi-linear elliptic systems governed by two p-Laplacian operators. The weak solutions of the following problem with lack of compactness are proved t...The authors show the regularity of weak solutions for some typical quasi-linear elliptic systems governed by two p-Laplacian operators. The weak solutions of the following problem with lack of compactness are proved to be regular when α(x) and α,β,p, q satisfy some conditions: where Ω (?) RN (N≥3) is a smooth bounded domain.展开更多
文摘Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:backtracking and branch and bound,introduce the process to find the optimal solution by both methods,propose the concept of logical node and physical node.Through some experiments for different process sets,we have made comparisons between the two algorithms in branch nodes,comparing time,topology of the search tree,memory size needed,etc.
文摘The transition boundaries of period doubling on the physical parameter plane of a Duffing system are obtained by the general Newton′s method, and the motion on different areas divided by transition boundaries is studied in this paper. When the physical parameters transpass the boundaries, the solutions of period T =2π/ω will lose their stability, and the solutions of period T =2π/ω take place. Continuous period doubling bifurcations lead to chaos.
文摘A controlled model of thermal shield of ablation with trapspiration cooling is develoed. The existence and uniqueness of the classical solution can be obtained by Friedman and Jiang's methods. The positivity of the solution is proved and the conditions for the coolant flux under which the abladtion process will complete in finite time are also determined. Finally, we show the existence of critical coolant flux beyond which the ablation material begin melting.
基金Project supported by the National Natural Science Foundation ofChina (No. 10372090) and the Doctoral Program of Higher Educationof China (No. 20030335001)
文摘The parabolized stability equation (PSE) was derived to study the linear stability of particle-laden flow in growing Blasius boundary layer. The stability characteristics for various Stokes numbers and particle concentrations were analyzed after solving the equation numerically using the perturbation method and finite difference. The inclusion of the nonparallel terms produces a reduction in the values of the critical Reynolds number compared with the parallel flow. There is a critical value for the effect of Stokes number, and the critical Stokes number being about unit, and the most efficient instability suppression takes place when Stokes number is of order 10. But the presence of the nonparallel terms does not affect the role of the particles in gas. That is, the addition of fine particles (Stokes number is much smaller than 1) reduces the critical Reynolds number while the addition of coarse particles (Stokes number is much larger than 1) enhances it. Qualitatively the effect of nonparallel mean flow is the same as that for the case of plane parallel flows.
文摘In this paper, author obtain sufficient condition for the boundedness of solutions of the second order nonlinear differential systemdxdt=y-φ(x), dydt=-yf(x)-g(x).(E)The result can be applied to the Liénard-type system, which substantially extends and imporves some important results associated with the same problems in the literatures [1—10] et al..
基金Funded by Natural Science Foundation of Zhejiang Province of China (No. Y6090417)Social Sciences Foundation of the Ministry of Education of China (No. 09YJA630143)
文摘Demarcating distribution area of goods is often guided by the rule of thumb by business proprietors. However, this method seems to be unsuitable when the demand points increase to a certain large extent. The present work attempted to convert the problem of distribution area demarcation into a localized problem of warehouseing and networking, and tried to establish district-based planning mode based on location based heuristic (LBH). Two methods were used in this study: 1) the manual method to construct the mathematical model and conduct simulation; 2) the automatic method using TransCAD software of geographical information system (GIS) for simulation. By comparing the effects of the two methods, the research provides theoretical support for business proprietors to demarcate the distribution area rationally with the application of GIS system. The results show that GIS has very good graphics construction function to replace complex text, and the automatic demarcating mode with human-machine interaction provides a good business decision-making support.
文摘Silica fume, fly ash and nano-fiber mineral materials (NR powder) are employed to incorporate into cement-based materials. According to the grain grading mathematical model of cement-based materials, two packing systems, namely, spherical grading system and nano-fiber reinforced system were designed. Properties and interfacial microstructure of the two systems were studied according to secondary interface theory. It was shown that nano-fiber mineral materials can improve the grain grading of the admixture, increase the density of the system, improve the microstructure of the interface and the hardened paste, and enhance the uniformity of cement-based materials mixed with composite micro-grains and greatly increase their wearable rigidity and flexure strength. In this paper, two kinds of interface models, including spherical grain model and nano-fiber reinforced interface model of the cement-based materials mixed with composite micro-grains, were brought forward.
文摘Non-linear dynamics,fractals,periodic oscillations,bifurcations,chaos,and other terminologies have been used to describe human biological systems in the literature for a few decades.The eight manuscripts included in this special issue discussed the historical background,
基金Supported by the National High Technology Research and Development Program of China(2013AA040701)
文摘Alarm systems play important roles for the safe and efficient operation of modern industrial plants. Critical alarms are configured with a higher priority and are safety related among many other alarms. If critical alarms can be predicted in advance, the operator will have more time to prevent them from happening. In this paper,we present a dynamic alarm prediction algorithm, which is a probabilistic model that utilizes alarm data from distributed control system, to calculate the occurrence probability of critical alarms. It accounts for the local interdependences among the alarms using the n-gram model, which occur because of the nonlinear relationships between variables. Finally, the dynamic alarm prediction algorithm is applied to an industrial case study.
基金Project(61271441)supported by the National Natural Science Foundation of ChinaProject(NCET-10-0895)supported by the Program for New Century Excellent Talents in Universities of China
文摘The primary goal of this work is to characterize the impact of weighting selection strategy and multistatic geometry on the multistatic radar performance. With the relationship between the multistatic ambiguity function (AF) and the multistatie Cram6r-Rao lower bound (CRLB), the problem of calculating the multistatic AF and the multistatic CRLB as a performance metric for multistatic radar system is studied. Exactly, based on the proper selection of the system parameters, the multistatic radar performance can be significantly improved. The simulation results illustrate that the multistatic AF and the multistatic CRLB can serve as guidelines for future multistatic fusion rule development and multistatic radars deployment.
基金supported by the National Natural Science Foundation of China (Grant No. 51176203)the Natural Science Foundation of Naval University of Engineering (Grant No. HGDYDJJ10011)
文摘The emergence and development of constructal theory,which has been a new discipline branch to research sorts of structures in nature and engineering,are reviewed.The core of the constructal theory is that various shapes and structures of the matters in nature are generated from the tendency to obtain optimal performance.Constructal theory and its application are summarized,from disciplines such as heat,mechanism,fluid flow,electricity,magnetism and chemistry,to life and non-life systems in nature.
基金the National Natural Science Foundation of China(No.10271109).
文摘In this paper, the authors investigate the joint distribution of end points of excursion awayfrom a closed set straddling on a fixed time and use this result to compute the Levy systemand the Dirichlet form of the boundary process.
文摘Here thermal dependence conductivity and nonlinear convection features in third-grade liquid flow bounded by moving surface having varying thickness are formulated. Stagnation point flow is considered. Revised FourierFick relations and double stratification phenomena are utilized for modeling energy and concentration expressions.Mathematical model of considered physical problem is achieved by implementing the idea of boundary layer theory. The acquired partial differential system is transformed into ordinary ones by employing relevant variables. The homotopic scheme yield convergent solutions of governing nonlinear expressions. Graphs are constructed for distinct values of physical constraints to elaborate the heat/mass transportation mechanisms.
基金sponsored by the National Natural Science Foundation of China(21133004,91027044)the National Basic Research Program of China(2013CB834606,2011CB808505)the Swedish Research Council,and the Swedish National Infrastructure for Computing
文摘Technically, when dealing with a perfect crystal, methods (PBC) in conjunction with plane-wave basis sets are widely in k-(reciprocal) space that impose periodic boundary conditions used. Chemists, however, tend to think of a solid as a giant mole- cule, which offers a molecular way to describe a solid by using a finite cluster model (FCM). However, FCM may fail to sim- ulate a perfect crystal due to its inevitable boundary effects. We propose an RRS-PBC method that extracts the k-space infor- mation of a perfect crystalline solid out of a reduced real space (RRS) of an FCM. We show that the inevitable boundary effects in an FCM are eliminated naturally to achieve converged high-quality band structures.
基金Project supported by the National Science Foundation,the 111 Project from the Ministry of Education of China at Fudan University and the COFRS award from Florida State University
文摘The author surveys a few examples of boundary layers for which the Prandtl boundary layer theory can be rigorously validated.All of them are associated with the incompressible Navier-Stokes equations for Newtonian fluids equipped with various Dirichlet boundary conditions(specified velocity).These examples include a family of(nonlinear 3D) plane parallel flows,a family of(nonlinear) parallel pipe flows,as well as flows with uniform injection and suction at the boundary.We also identify a key ingredient in establishing the validity of the Prandtl type theory,i.e.,a spectral constraint on the approximate solution to the Navier-Stokes system constructed by combining the inviscid solution and the solution to the Prandtl type system.This is an additional difficulty besides the wellknown issue related to the well-posedness of the Prandtl type system.It seems that the main obstruction to the verification of the spectral constraint condition is the possible separation of boundary layers.A common theme of these examples is the inhibition of separation of boundary layers either via suppressing the velocity normal to the boundary or by injection and suction at the boundary so that the spectral constraint can be verified.A meta theorem is then presented which covers all the cases considered here.
基金supported by National Basic Research Program of China(Grant No.2013CB834100)National Natural Science Foundation of China(Grant No.111211101)
文摘In this survey paper, the synchronization will be initially studied for infinite dimensional dynamical systems of partial differential equations instead of finite dimensional systems of ordinary differential equations,and will be connected with the control theory via boundary controls in a finite time interval. More precisely,various kinds of exact boundary synchronization and approximate boundary synchronization will be introduced and realized by means of fewer boundary controls for a coupled system of wave equations with Dirichlet boundary controls. Moreover, as necessary conditions for various kinds of approximate boundary synchronization, criteria of Kalman's type are obtained. Finally, some prospects will be given.
基金supported by an the National Natural Science Foundation of China under Grant No.60804015,and an NSERC grant to the third author
文摘This paper investigates the nonlinear dynamics of network-based dynamical systems where network communication channels of finite data rates are inserted into the closed loops of the control systems. The authors analyze the bifurcation and chaotic behavior of the non-smooth dynamical systems. The authors first prove that for almost all system parameters there are no periodic orbits. This result distinguishes this type of non-smooth dynamical systems from many others exhibiting border-collision bifurcations. Next, the authors show analytically that the chaotic sets are separated from the region containing the line segment of all fixed points with a finite distance. Finally, the authors employ a simple model to highlight that both the number of clients sharing a common network channel and fluctuations in the available network bandwidth have significant influence on the performance of such dynamical systems.
基金Project supported by the National Natural Science Foundation of China (No.10271077).
文摘The authors show the regularity of weak solutions for some typical quasi-linear elliptic systems governed by two p-Laplacian operators. The weak solutions of the following problem with lack of compactness are proved to be regular when α(x) and α,β,p, q satisfy some conditions: where Ω (?) RN (N≥3) is a smooth bounded domain.