This paper considers the following boundary value problems for functional differential equations: x' (t) = f(t, xt) (0<t<b) ,x0 = x1, and x'(t) = f(t,xt, x' (t)) (0<t<b) , x0 = , x(b) = B. By u...This paper considers the following boundary value problems for functional differential equations: x' (t) = f(t, xt) (0<t<b) ,x0 = x1, and x'(t) = f(t,xt, x' (t)) (0<t<b) , x0 = , x(b) = B. By using certain fixed point theorem based on degree theory,some sufficient conditions for solvability of the above problems are given.展开更多
To improve the mainlainability design efficiency and quality, a layout optimization method for maintainability of multi-component systems was proposed. The impact of the component layout design on system maintainabili...To improve the mainlainability design efficiency and quality, a layout optimization method for maintainability of multi-component systems was proposed. The impact of the component layout design on system maintainability was analyzed, and the layout problem for maintainability was presented. It was formulated as an optimization problem, where maintainability, layout space and distance requirement were formulated as objective functions. A multi-objective particle swarm optimization algorithm, in which the constrained-domination relationship and the update strategy of the global best were simply modified, was then used to obtain Pareto optimal solutions for the maintainability layout design problem. Finally, application in oxygen generation system of a spacecraft was studied in detail to illustrate the effectiveness and usefulness of the proposed method. The results show that the concurrent maintainability design can be carried out during the layout design process by solving the layout optimization problem for maintainability.展开更多
The paper uses the proportion of zero-return days model to analyze stock market synchronous behaviors for 11 sample counties. It is found that the zero-return measure of stock synchronicity is higher for some emerging...The paper uses the proportion of zero-return days model to analyze stock market synchronous behaviors for 11 sample counties. It is found that the zero-return measure of stock synchronicity is higher for some emerging economies than the developed economies though the result is not statistically significant. In addition, panel data analysis indicates somewhat positive and negative correlation between the zero-return measures with the explanatory variables. The findings raise question about the reliability of the proportion of zero-return days measure and its capability to capture stock market synchronous behavior.展开更多
Urban ecological risk analysis is a relatively new study field.Rapid industrial modernization and urbanization have significantly improved the living standards of the city.However,as environmental,safety and health is...Urban ecological risk analysis is a relatively new study field.Rapid industrial modernization and urbanization have significantly improved the living standards of the city.However,as environmental,safety and health issues are causing widespread concern,these problems have potential serious threat on ecosystems and human health.So how to solve many problems arising from city has become a key to sustainable development of human civilization.The present article analyzed the major problems that the city confronts and pointed out the main measures from the aspects of urban environment,safety and health.展开更多
This paper introduces the idea that if theories of history generate different taxonomies of history they too are incommensurable. I argue this is unavoidable for Kuhn given what he says about incommensurability and 1 ...This paper introduces the idea that if theories of history generate different taxonomies of history they too are incommensurable. I argue this is unavoidable for Kuhn given what he says about incommensurability and 1 investigate the consequences in relation to reflexivity, justification, and paradox for Kuhn＇s account of science. I want to do this on two levels, firstly looking at different possibilities for characterising individual paradigms. I will look at some examples from ancient and early modem astronomy as here it is clearest that paradigms can be characterised in different ways and that this has important consequences. I will argue in particular that Kuhn＇s characterisation of the paradigm for astronomy which emerges from antiquity （geocentrism） is favourable to his general account of the history of science, but that there is a very plausible and extremely damaging alternative. I argue that these differing characterisations generate differing, incommensurable taxonomies of the history of astronomy, with attendant ＂local holism,＂ untranslatability of key terms and issues of theory choice. If so, Kuhn then has problems with generating an adequate decision making protocol for choosing between the two paradigm characterisations. That is problematic in itself, but I also argue this problem is systemic and affects the evidence needed for Kuhn to justify his general account of the history of science. I also want to investigate the implications of differing taxonomies of the history of science at a more abstract level. Kuhn＇s general theory of the history of science generates a taxonomy of the history of science, as do other theories such as those of Popper and of gradualism. If so, the incommensurability involved here, again with attendant ＂local holism,＂ untranslatability of key terms and issues of theory choice, leads to issues of paradox and justification for Kuhn＇s general account of the history of science. With this broader understanding of taxonomic issues, some important Kuhn statements about scientific theories become self-referential, again generating problems of paradox and justification.展开更多
That is a global issue to preserve and increase the value of pension funds, also has caused widespread concern of the governments around the world. China＇s basic pension funds are also facing the severe problem. In t...That is a global issue to preserve and increase the value of pension funds, also has caused widespread concern of the governments around the world. China＇s basic pension funds are also facing the severe problem. In this background, The State Council issued ＂the Measures for the Administration of Investment in Basic Pension Insurance Funds＂, Basic Pension Funds into Capital Markers finally＂ have laws to go by ＂. To explore the basic pension funds into the market has a realistic social significance. Based on the SWOT analysis method, make a detailed analysis of the pension market from four aspects, put forward some views and hope that these opinions can provide reference for the sustainable development of China＇s basic pension fund system.展开更多
In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. ...In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. Two results under weaker conditions are presented. The methods rely on a fixed point theorem for contraction multi-valued maps due to Covitz and Nadler and Schaefer＇s fixed point theorem combined with lower semi-continuous multi-valued operators with decomposable values.展开更多
The problem of maximizing system reliability through component reliability choices and component redundancy is called tell-ability-redundancy allocation problem （RAP）, and it is a difficult but realistic nonlinear m...The problem of maximizing system reliability through component reliability choices and component redundancy is called tell-ability-redundancy allocation problem （RAP）, and it is a difficult but realistic nonlinear mixed-integer optimization prob- lem. For the RAP. we pay attention to an improved particle swarm optimization （IPSO）, and introduce four hybrid approaches for combining the IPSO with other conventional search techniques, such as harmony search （HS） and LXPM （a real coded GA）. The basic structure of the hybrid approaches includes two phases. After devising an initial solution by the HS or LXPM technique in the first phase, the IPSO performs an optimal search in the next phase. In addition, a new procedure by using golden search, named GS, is developed for further improving the solutions obtained by IPSO. Consequently, four ISPO-based hybrid approaches are proposed including HS-IPSO, LXPM-IPSO, HS-IPSO-GS, and LXPM-IPSO-GS. In order to validate the per-formance of proposed approaches, five nonlinear mixed-integer RAPs are investigated where both the number of re- dundancy components and the corresponding component reliability in each subsystem are to be decided simultaneously. As shown, the proposed approaches are all superior in terms of both optimal solutions and robustness to those by IPSO. Especially the pro-posed LXPM-IPSO-GS has shown more excellent performance than other typical approaches in the literature.展开更多
An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals...An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.展开更多
This paper presents sensitivity analysis for parameterized variational inequality problems (VIP). Under appropriate assumption, it is shown that the perturbed solution to parameterized VIP is existent, unique, continu...This paper presents sensitivity analysis for parameterized variational inequality problems (VIP). Under appropriate assumption, it is shown that the perturbed solution to parameterized VIP is existent, unique, continuous and differentiable with respect to perturbation parameter. In the case of differentiability, we derive the equations for calculating the derivative of solution variables with respect to the perturbation parameters.展开更多
As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluatio...As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluation based on analytical models is a precise method for dependability analysis before and after designing the fault-tolerant systems. In this paper, we accurately formulate the inherent reliability and vulnerability of some popular NoC architectures against permanent faults, also depending on the employed routing algorithm and traffic model. Based on this analysis, effects of failures in the links, switches and network interfaces on the packet delivery of NoCs are determined. Besides, some extensions to evaluate a fault-tolerant method and some routing algorithms are described. The analyses are validated through appropriate simulations. The results thus obtained are exactly the same as or very close to the analytical ones.展开更多
文摘多学科设计优化(Multidisciplinary design optimization,MDO)方法能够有效解决大规模复杂工程系统的设计问题,为了更好地处理经常遇到的准可分MDO问题,提出了一种基于罚函数的两级交替优化方法(Two-level alternating optimization method based on penaltyfunction,PAO)。PAO基于分解协调策略,首先将准可分MDO问题分解为一个系统级问题和多个子系统级问题,然后通过交替求解达到子系统间的一致性。首次使用PAO方法对整车抗撞性进行设计优化,计算结果验证了该方法的有效。
文摘This paper considers the following boundary value problems for functional differential equations: x' (t) = f(t, xt) (0<t<b) ,x0 = x1, and x'(t) = f(t,xt, x' (t)) (0<t<b) , x0 = , x(b) = B. By using certain fixed point theorem based on degree theory,some sufficient conditions for solvability of the above problems are given.
基金Project(51005238)supported by the National Natural Science Foundation of China
文摘To improve the mainlainability design efficiency and quality, a layout optimization method for maintainability of multi-component systems was proposed. The impact of the component layout design on system maintainability was analyzed, and the layout problem for maintainability was presented. It was formulated as an optimization problem, where maintainability, layout space and distance requirement were formulated as objective functions. A multi-objective particle swarm optimization algorithm, in which the constrained-domination relationship and the update strategy of the global best were simply modified, was then used to obtain Pareto optimal solutions for the maintainability layout design problem. Finally, application in oxygen generation system of a spacecraft was studied in detail to illustrate the effectiveness and usefulness of the proposed method. The results show that the concurrent maintainability design can be carried out during the layout design process by solving the layout optimization problem for maintainability.
文摘The paper uses the proportion of zero-return days model to analyze stock market synchronous behaviors for 11 sample counties. It is found that the zero-return measure of stock synchronicity is higher for some emerging economies than the developed economies though the result is not statistically significant. In addition, panel data analysis indicates somewhat positive and negative correlation between the zero-return measures with the explanatory variables. The findings raise question about the reliability of the proportion of zero-return days measure and its capability to capture stock market synchronous behavior.
文摘Urban ecological risk analysis is a relatively new study field.Rapid industrial modernization and urbanization have significantly improved the living standards of the city.However,as environmental,safety and health issues are causing widespread concern,these problems have potential serious threat on ecosystems and human health.So how to solve many problems arising from city has become a key to sustainable development of human civilization.The present article analyzed the major problems that the city confronts and pointed out the main measures from the aspects of urban environment,safety and health.
文摘This paper introduces the idea that if theories of history generate different taxonomies of history they too are incommensurable. I argue this is unavoidable for Kuhn given what he says about incommensurability and 1 investigate the consequences in relation to reflexivity, justification, and paradox for Kuhn＇s account of science. I want to do this on two levels, firstly looking at different possibilities for characterising individual paradigms. I will look at some examples from ancient and early modem astronomy as here it is clearest that paradigms can be characterised in different ways and that this has important consequences. I will argue in particular that Kuhn＇s characterisation of the paradigm for astronomy which emerges from antiquity （geocentrism） is favourable to his general account of the history of science, but that there is a very plausible and extremely damaging alternative. I argue that these differing characterisations generate differing, incommensurable taxonomies of the history of astronomy, with attendant ＂local holism,＂ untranslatability of key terms and issues of theory choice. If so, Kuhn then has problems with generating an adequate decision making protocol for choosing between the two paradigm characterisations. That is problematic in itself, but I also argue this problem is systemic and affects the evidence needed for Kuhn to justify his general account of the history of science. I also want to investigate the implications of differing taxonomies of the history of science at a more abstract level. Kuhn＇s general theory of the history of science generates a taxonomy of the history of science, as do other theories such as those of Popper and of gradualism. If so, the incommensurability involved here, again with attendant ＂local holism,＂ untranslatability of key terms and issues of theory choice, leads to issues of paradox and justification for Kuhn＇s general account of the history of science. With this broader understanding of taxonomic issues, some important Kuhn statements about scientific theories become self-referential, again generating problems of paradox and justification.
文摘That is a global issue to preserve and increase the value of pension funds, also has caused widespread concern of the governments around the world. China＇s basic pension funds are also facing the severe problem. In this background, The State Council issued ＂the Measures for the Administration of Investment in Basic Pension Insurance Funds＂, Basic Pension Funds into Capital Markers finally＂ have laws to go by ＂. To explore the basic pension funds into the market has a realistic social significance. Based on the SWOT analysis method, make a detailed analysis of the pension market from four aspects, put forward some views and hope that these opinions can provide reference for the sustainable development of China＇s basic pension fund system.
文摘In this paper, the authors investigate the existence of solutions of impulsive boundary value problems for Sturm-Liouville type differential inclusions which admit non-convex-valued multifunctions on right hand side. Two results under weaker conditions are presented. The methods rely on a fixed point theorem for contraction multi-valued maps due to Covitz and Nadler and Schaefer＇s fixed point theorem combined with lower semi-continuous multi-valued operators with decomposable values.
基金supported by the National Defense Basic Technology Research Program of China(Grant No.Z312012B001)the National Program on Key Basic Research Project of China("973" Program)(Grant No.2013CB035405)the Combining Production and Research Program of Guangdong Province,China(Grant No.2010A090200009)
文摘The problem of maximizing system reliability through component reliability choices and component redundancy is called tell-ability-redundancy allocation problem （RAP）, and it is a difficult but realistic nonlinear mixed-integer optimization prob- lem. For the RAP. we pay attention to an improved particle swarm optimization （IPSO）, and introduce four hybrid approaches for combining the IPSO with other conventional search techniques, such as harmony search （HS） and LXPM （a real coded GA）. The basic structure of the hybrid approaches includes two phases. After devising an initial solution by the HS or LXPM technique in the first phase, the IPSO performs an optimal search in the next phase. In addition, a new procedure by using golden search, named GS, is developed for further improving the solutions obtained by IPSO. Consequently, four ISPO-based hybrid approaches are proposed including HS-IPSO, LXPM-IPSO, HS-IPSO-GS, and LXPM-IPSO-GS. In order to validate the per-formance of proposed approaches, five nonlinear mixed-integer RAPs are investigated where both the number of re- dundancy components and the corresponding component reliability in each subsystem are to be decided simultaneously. As shown, the proposed approaches are all superior in terms of both optimal solutions and robustness to those by IPSO. Especially the pro-posed LXPM-IPSO-GS has shown more excellent performance than other typical approaches in the literature.
文摘An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.
基金This research is partially supported by Key Laboratory of Management, Decision and Information Systems,CAS and National Science Foundations of China.
文摘This paper presents sensitivity analysis for parameterized variational inequality problems (VIP). Under appropriate assumption, it is shown that the perturbed solution to parameterized VIP is existent, unique, continuous and differentiable with respect to perturbation parameter. In the case of differentiability, we derive the equations for calculating the derivative of solution variables with respect to the perturbation parameters.
文摘As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluation based on analytical models is a precise method for dependability analysis before and after designing the fault-tolerant systems. In this paper, we accurately formulate the inherent reliability and vulnerability of some popular NoC architectures against permanent faults, also depending on the employed routing algorithm and traffic model. Based on this analysis, effects of failures in the links, switches and network interfaces on the packet delivery of NoCs are determined. Besides, some extensions to evaluate a fault-tolerant method and some routing algorithms are described. The analyses are validated through appropriate simulations. The results thus obtained are exactly the same as or very close to the analytical ones.
