In order to minimize the delays and stops caused by the early started coordinated green phase of the vehicle- actuated signal systems, a stochastic offsets calculation method based on the new types of advanced traffic...In order to minimize the delays and stops caused by the early started coordinated green phase of the vehicle- actuated signal systems, a stochastic offsets calculation method based on the new types of advanced traffic management system (ATMS) data is proposed. As the mainline green starts randomly in vehicle-actuated signal systems, the random theory is applied to obtain the distribution of the unused green time at side streets based on the green gap-out mechanism. Then, the green start time of the mainline can be selected at the point with maximum probability to minimize the delays or stops caused by the randomly started mainline green. A case study in Maine, USA, whose traffic conditions are similar to those of the middle-size Chinese cities, proves that the proposed method can significantly reduce the travel time and delays.展开更多
Springback of sheet metal induced by elastic recovery is one of major defects in sheet metal forming processed. Springback is influenced by many factors including properties of the sheet material and processing condit...Springback of sheet metal induced by elastic recovery is one of major defects in sheet metal forming processed. Springback is influenced by many factors including properties of the sheet material and processing conditions. In this paper, a springback simulation was conducted and comparisons between the results based on different processing variables were illustrated. The discovery of knowledge of the effects of geometry and process parameters on springback from FEM results becomes increasingly important, as the number of numerical simulation has grown exponentially. Data mining is an effective tool to realize knowledge discovery in simulation results. A data-mining algorithm, rough sets theory (RST), was applied to analyze the effects of process parameters on springback in U-bending.展开更多
The pyrolysis of isopsoralen was studied by synchrotron vacuum ultraviolet photoionization mass spectrometry at low pressure. The pyrolysis products were detected at different photon energies, the ratios of products t...The pyrolysis of isopsoralen was studied by synchrotron vacuum ultraviolet photoionization mass spectrometry at low pressure. The pyrolysis products were detected at different photon energies, the ratios of products to precursor were measured at various pyrolysis temperatures. The experimental results demonstrate that the main pyrolysis products are primary CO and sequential CO elimination products (C10H602 and C9H60). The decomposition channels of isopsoralen were also studied by the density functional theory, then rate constants for competing pathways were calculated by the transition state theory. The dominant decom- position channels of isopsoralen and the molecular structures for corresponding products were identified by combined experimental and theoretical studies.展开更多
We make comments on the conclusions of the paper:'Compare Quantum Operation Sensitivity for DifferentDistance Measures' [Commun.Theor.Phys.53 (2010)635],and give a physical example to describe the non-equivale...We make comments on the conclusions of the paper:'Compare Quantum Operation Sensitivity for DifferentDistance Measures' [Commun.Theor.Phys.53 (2010)635],and give a physical example to describe the non-equivalenceof the fidelity and the trace distance.We prove that the fidelity is not more sensitive to a quantum operation than thetrace distance.展开更多
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct ...This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.展开更多
The feasibility study of the AlCl(g) generated by Al_2O-AlCl_2-C system under vacuum was carried out by thermodynamic analysis and CASTEP package of the Material Studio program which was based on density functional th...The feasibility study of the AlCl(g) generated by Al_2O-AlCl_2-C system under vacuum was carried out by thermodynamic analysis and CASTEP package of the Material Studio program which was based on density functional theory(DFT) formalism. Thermodynamic calculations indicate that Al Cl and CO molecules can be formed under conditions of temperature 1760 K and the pressure of 60 Pa. The interaction of Al_2O and AlCl_2 with C shows that the chemical adsorption of Al_2O and AlCl_2 does take place on C(001) crystal plane, and at the same time, new chemical bond is formed between Al atom in Al_2O and Cl atoms from one of the Al—Cl bonds in AlCl_2. The results, after 1.25 ps dynamics simulation, indicate that adsorbed Al Cl molecules are generated and CO molecule will be formed in this system, and they will escape from C(001) surface after a longer period of dynamic simulation time. It means that the reaction of Al_2O and AlCl_2 with C can be carried out under given constraint condition.展开更多
Adorno suggests that art is an essentially expressive language since it is the imitation of natural language. Adorno's language thought is derived from Benjamin's extensive language theory in which Benjamin claims t...Adorno suggests that art is an essentially expressive language since it is the imitation of natural language. Adorno's language thought is derived from Benjamin's extensive language theory in which Benjamin claims that all things including human being have languages. The telos of art's expression is expressing what the repressed things and human long for speaking. The authentic art preserves the trace of primordial human's instinct: mimesis. Through the subject miming the object in the expression of art, the real cognition is realized. According to this model, we can ascertain that artist is the real epistemological subject, the "collective subject" is factually the speaker of the expression and the epistemological objet which is primary in the production of art. Since art is a language, the standard of art is truth-false, and therefore, the truth content is the criterion of authentic art. Negativity is the core character of truth content.展开更多
A new hydraulic system of a novel automatic transmission (AT) was designed. The dimension and structure of valves and cylinders were designed by theoretical calculation. The dynamic simulation model of hydraulic syste...A new hydraulic system of a novel automatic transmission (AT) was designed. The dimension and structure of valves and cylinders were designed by theoretical calculation. The dynamic simulation model of hydraulic system of AT was established by ITI-SimulationX. Simulation results and theoretical design results were compared to confirm the simulation model. Based on the confirmed simulation model, the simulation results of pressure and flow of the hydraulic system were analyzed. The dynamic simulation method is very helpful for designing and analyzing the performance of hydraulic system and further optimization design. The theoretical design method and dynamic simulation model are feasible for the real industrial applications. The research results can be used in hydraulic system design and optimization.展开更多
In this paper, we deduce growth and covering theorem for f(x) by the other means,where f(x) is strongly spirallike mapping of type β with order α defined on Unit Ball B of complex Banach space, and still give gr...In this paper, we deduce growth and covering theorem for f(x) by the other means,where f(x) is strongly spirallike mapping of type β with order α defined on Unit Ball B of complex Banach space, and still give growth upper bound and distortion upper bound for subordinate mapping.展开更多
An analytical tuning method was proposed for fuzzy PID controller used in Smith predictor in order to extend its application and improve its robustness. The fuzzy PID controller was expressed as a sliding mode control...An analytical tuning method was proposed for fuzzy PID controller used in Smith predictor in order to extend its application and improve its robustness. The fuzzy PID controller was expressed as a sliding mode control. Based on Lyapunov theory, Smith predictor was analyzed in time domain. The parameters of the fuzzy PID controller can be obtained using traditional linear control theory and sliding mode control theory. The simulation experiments were implemented. The simulation results show that the control performance, robustness and stability of the fuzzy PID controller are better than those of the PID controller in Smith predictor.展开更多
The purpose of this paper is to design a neuron adaptive PID controller based on the theory of intelligent control of the extens- ive research on the characteristics of neuronss, neurons and PID controller. Artificial...The purpose of this paper is to design a neuron adaptive PID controller based on the theory of intelligent control of the extens- ive research on the characteristics of neuronss, neurons and PID controller. Artificial neurons have the adaptive, parallel processing, selflearning learning, and mare fault-tolerant characteristics. When the artificial neurons are used to control the process, the syste^n will enabled to en-sure that the accused has strong anti-interference capability and ro. bustness.展开更多
By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the c...By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).展开更多
Density functional theory has been confirmed as a reliable approach in the descriptions of inhomogeneous fluids.By integrating the density functional theory into the revised local average density model, a theoretical ...Density functional theory has been confirmed as a reliable approach in the descriptions of inhomogeneous fluids.By integrating the density functional theory into the revised local average density model, a theoretical approach is constructed to investigate the local shear viscosity in the confined conditions. In the density functional theory,the weighted density approximation for attractive part and the modified fundamental measure theory for repulsion contribution are adopted to accurately describe the inhomogeneous systems. By comparing with simulation data, the theoretical model is tested. In this work, the shear viscosities of methane are calculated in different external fields(on a hard wall, a solvophobic wall and in slit pores with different widths). In addition, the effects of temperature on the local density and viscosity are also considered. It shows that the effect of temperature on the shear viscosity is more obvious on solid surfaces. The calculation provides an approach to determine the viscosity under confined conditions, which is extremely significant in real industrial applications.展开更多
In this research article, we research on the contemporary career evaluation and the career planning theory based on tactical evaluations and simulation. As a result of the college expansion, the university students' ...In this research article, we research on the contemporary career evaluation and the career planning theory based on tactical evaluations and simulation. As a result of the college expansion, the university students' employment situation is very grim. There are many reasons for college student employment difficulty, one of which is not comprehensive, system of colleges and universities as the implementation of college students' career planning education effectively. In this from the meaning of career planning and the significance of implementing college students' career planning education in colleges and universities, describes the cross arm in the implementation of college career education and through the analysis of necessity of the implementation of the college students' career planning education in colleges and universities the problems existing in the combined tactical evaluations model gives a reasonable solution. As the conclusion, we propose the novel methodology with the potential applications and the prospect with more optimization orientation.展开更多
The explicit transformations of the 1→ 3 optimal universal quantum cloning and the optimal phase-covariant quantum cloning in d-dimensions are presented, and the dimensionalities of their ancillary systems are both d...The explicit transformations of the 1→ 3 optimal universal quantum cloning and the optimal phase-covariant quantum cloning in d-dimensions are presented, and the dimensionalities of their ancillary systems are both d-dimensions. As d→∞ , their clone fidelities move toward 1/3, showing a classical limit for the fidelity of quantum cloning. Based on the reduction of the unitary transformation of quantum cloning, the transformation of the 1→M=d+1 optimal economical phase-covariant quantum cloning in d-dimensions is derived, and the clone fidelity is covered by the theoretical value.展开更多
基金The National Natural Science Foundation of China(No. 50422283 )China Postdoctoral Science Foundation (No.20110491333)
文摘In order to minimize the delays and stops caused by the early started coordinated green phase of the vehicle- actuated signal systems, a stochastic offsets calculation method based on the new types of advanced traffic management system (ATMS) data is proposed. As the mainline green starts randomly in vehicle-actuated signal systems, the random theory is applied to obtain the distribution of the unused green time at side streets based on the green gap-out mechanism. Then, the green start time of the mainline can be selected at the point with maximum probability to minimize the delays or stops caused by the randomly started mainline green. A case study in Maine, USA, whose traffic conditions are similar to those of the middle-size Chinese cities, proves that the proposed method can significantly reduce the travel time and delays.
基金the Shanghai Post-Phosphor Plan ( No.0 1QMH14 11)
文摘Springback of sheet metal induced by elastic recovery is one of major defects in sheet metal forming processed. Springback is influenced by many factors including properties of the sheet material and processing conditions. In this paper, a springback simulation was conducted and comparisons between the results based on different processing variables were illustrated. The discovery of knowledge of the effects of geometry and process parameters on springback from FEM results becomes increasingly important, as the number of numerical simulation has grown exponentially. Data mining is an effective tool to realize knowledge discovery in simulation results. A data-mining algorithm, rough sets theory (RST), was applied to analyze the effects of process parameters on springback in U-bending.
文摘The pyrolysis of isopsoralen was studied by synchrotron vacuum ultraviolet photoionization mass spectrometry at low pressure. The pyrolysis products were detected at different photon energies, the ratios of products to precursor were measured at various pyrolysis temperatures. The experimental results demonstrate that the main pyrolysis products are primary CO and sequential CO elimination products (C10H602 and C9H60). The decomposition channels of isopsoralen were also studied by the density functional theory, then rate constants for competing pathways were calculated by the transition state theory. The dominant decom- position channels of isopsoralen and the molecular structures for corresponding products were identified by combined experimental and theoretical studies.
基金Supported by the Natural Science Foundation of Shandong Province under Grant No. ZR2009AM019
文摘We make comments on the conclusions of the paper:'Compare Quantum Operation Sensitivity for DifferentDistance Measures' [Commun.Theor.Phys.53 (2010)635],and give a physical example to describe the non-equivalenceof the fidelity and the trace distance.We prove that the fidelity is not more sensitive to a quantum operation than thetrace distance.
文摘This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.
基金Projects(51104078,51264023)supported by the National Natural Science Foundation of ChinaProject(2010CD022)supported by Yunnan Province Applied Basic Research Fund,China+2 种基金Project(IRT1250)supported by the Program for Innovative Research Team in University of Ministry of Education of ChinaProject(U1202271)supported by the National Natural Science Foundation of China-Yunnan United FundProject(KKZ3201252020)supported by Kunming University of Science and Technology for Talent Training,China
文摘The feasibility study of the AlCl(g) generated by Al_2O-AlCl_2-C system under vacuum was carried out by thermodynamic analysis and CASTEP package of the Material Studio program which was based on density functional theory(DFT) formalism. Thermodynamic calculations indicate that Al Cl and CO molecules can be formed under conditions of temperature 1760 K and the pressure of 60 Pa. The interaction of Al_2O and AlCl_2 with C shows that the chemical adsorption of Al_2O and AlCl_2 does take place on C(001) crystal plane, and at the same time, new chemical bond is formed between Al atom in Al_2O and Cl atoms from one of the Al—Cl bonds in AlCl_2. The results, after 1.25 ps dynamics simulation, indicate that adsorbed Al Cl molecules are generated and CO molecule will be formed in this system, and they will escape from C(001) surface after a longer period of dynamic simulation time. It means that the reaction of Al_2O and AlCl_2 with C can be carried out under given constraint condition.
文摘Adorno suggests that art is an essentially expressive language since it is the imitation of natural language. Adorno's language thought is derived from Benjamin's extensive language theory in which Benjamin claims that all things including human being have languages. The telos of art's expression is expressing what the repressed things and human long for speaking. The authentic art preserves the trace of primordial human's instinct: mimesis. Through the subject miming the object in the expression of art, the real cognition is realized. According to this model, we can ascertain that artist is the real epistemological subject, the "collective subject" is factually the speaker of the expression and the epistemological objet which is primary in the production of art. Since art is a language, the standard of art is truth-false, and therefore, the truth content is the criterion of authentic art. Negativity is the core character of truth content.
基金Project(911901204) supported by Youth Innovation Foundation of Beijing University of Aeronautics and Astronautics
文摘A new hydraulic system of a novel automatic transmission (AT) was designed. The dimension and structure of valves and cylinders were designed by theoretical calculation. The dynamic simulation model of hydraulic system of AT was established by ITI-SimulationX. Simulation results and theoretical design results were compared to confirm the simulation model. Based on the confirmed simulation model, the simulation results of pressure and flow of the hydraulic system were analyzed. The dynamic simulation method is very helpful for designing and analyzing the performance of hydraulic system and further optimization design. The theoretical design method and dynamic simulation model are feasible for the real industrial applications. The research results can be used in hydraulic system design and optimization.
文摘In this paper, we deduce growth and covering theorem for f(x) by the other means,where f(x) is strongly spirallike mapping of type β with order α defined on Unit Ball B of complex Banach space, and still give growth upper bound and distortion upper bound for subordinate mapping.
基金Project(70473068) supported by the National Natural Science Foundation of ChinaProject(05JZD00024) supported by the Major Subject of Ministry of Education, China
文摘An analytical tuning method was proposed for fuzzy PID controller used in Smith predictor in order to extend its application and improve its robustness. The fuzzy PID controller was expressed as a sliding mode control. Based on Lyapunov theory, Smith predictor was analyzed in time domain. The parameters of the fuzzy PID controller can be obtained using traditional linear control theory and sliding mode control theory. The simulation experiments were implemented. The simulation results show that the control performance, robustness and stability of the fuzzy PID controller are better than those of the PID controller in Smith predictor.
文摘The purpose of this paper is to design a neuron adaptive PID controller based on the theory of intelligent control of the extens- ive research on the characteristics of neuronss, neurons and PID controller. Artificial neurons have the adaptive, parallel processing, selflearning learning, and mare fault-tolerant characteristics. When the artificial neurons are used to control the process, the syste^n will enabled to en-sure that the accused has strong anti-interference capability and ro. bustness.
文摘By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).
基金Supported by the National Natural Science Foundation of China(21506114,21276141)the Excellent Middle-Aged and Young Scientist Award Foundation of Shandong(BS2014CL034)Scientific Research Foundation of Qufu Normal University(BSQD20130116)
文摘Density functional theory has been confirmed as a reliable approach in the descriptions of inhomogeneous fluids.By integrating the density functional theory into the revised local average density model, a theoretical approach is constructed to investigate the local shear viscosity in the confined conditions. In the density functional theory,the weighted density approximation for attractive part and the modified fundamental measure theory for repulsion contribution are adopted to accurately describe the inhomogeneous systems. By comparing with simulation data, the theoretical model is tested. In this work, the shear viscosities of methane are calculated in different external fields(on a hard wall, a solvophobic wall and in slit pores with different widths). In addition, the effects of temperature on the local density and viscosity are also considered. It shows that the effect of temperature on the shear viscosity is more obvious on solid surfaces. The calculation provides an approach to determine the viscosity under confined conditions, which is extremely significant in real industrial applications.
文摘In this research article, we research on the contemporary career evaluation and the career planning theory based on tactical evaluations and simulation. As a result of the college expansion, the university students' employment situation is very grim. There are many reasons for college student employment difficulty, one of which is not comprehensive, system of colleges and universities as the implementation of college students' career planning education effectively. In this from the meaning of career planning and the significance of implementing college students' career planning education in colleges and universities, describes the cross arm in the implementation of college career education and through the analysis of necessity of the implementation of the college students' career planning education in colleges and universities the problems existing in the combined tactical evaluations model gives a reasonable solution. As the conclusion, we propose the novel methodology with the potential applications and the prospect with more optimization orientation.
基金supported by the National Natural Science Foundation of China (Grant No.10704001)the Natural Science Foundation of the Education Department of Anhui Province of China (Grant Nos.KJ2010ZD08 and KJ2010B204)the Doctor Research Start-Up Program of Huainan Normal University
文摘The explicit transformations of the 1→ 3 optimal universal quantum cloning and the optimal phase-covariant quantum cloning in d-dimensions are presented, and the dimensionalities of their ancillary systems are both d-dimensions. As d→∞ , their clone fidelities move toward 1/3, showing a classical limit for the fidelity of quantum cloning. Based on the reduction of the unitary transformation of quantum cloning, the transformation of the 1→M=d+1 optimal economical phase-covariant quantum cloning in d-dimensions is derived, and the clone fidelity is covered by the theoretical value.