Facial expression recognition consists of determining what kind of emotional content is presented in a human face. The problem presents a complex area for exploration, since it encompasses face acquisition, facial fea...Facial expression recognition consists of determining what kind of emotional content is presented in a human face. The problem presents a complex area for exploration, since it encompasses face acquisition, facial feature tracking, facial ex- pression classification. Facial feature tracking is of the most interest. Active Appearance Model (AAM) enables accurate tracking of facial features in real-time, but lacks occlusions and self-occlusions. In this paper we propose a solution to improve the accuracy of fitting technique. The idea is to include occluded images into AAM training data. We demonstrate the results by running ex- periments using gradient descent algorithm for fitting the AAM. Our experiments show that using fitting algorithm with occluded training data improves the fitting quality of the algorithm.展开更多
Tests of 4 simply supported unbonded prestressed truss concrete composite beams encased with circular steel tube were carried out. It is found that the ratio of the stress increment of the unbonded tendon to that of t...Tests of 4 simply supported unbonded prestressed truss concrete composite beams encased with circular steel tube were carried out. It is found that the ratio of the stress increment of the unbonded tendon to that of the tensile steel tube is 0.252 during the using stage,and the average crack space of beams depends on the ratio of the sum of the bottom chord steel tube's outside diameter and the secondary bottom chord steel tube's section area to the effective tensile concrete area. The coefficient of uneven crack distribution is 1.68 and the formula for the calculation of crack width is established. Test results indicate that the ultimate stress increment of unbonded tendon in the beams decreases in linearity with the increase of the composite reinforcement index β0. The pure bending region of beams accords with the plane section assumption from loading to failure. The calculation formula of ultimate stress increment of the unbonded tendon and the method to calculate the bearing capacity of normal section of beams have been presented. Besides,the method to calculate the stiffness of this sort of beams is brought forward as well.展开更多
If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） ...If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） are blocked. In these standard accounts （Godel＇s own paper and the exposition in Boolos＇ Computability and Logic are treated as exemplars）, it is assumed that certain formulas （notably so called ＂Godel sentences＂） containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term ＂provable＂ （and indeed ＂unprovable＂） favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems.展开更多
Factors contributing to ventilation quantity of the vehicle are ventilation modes, cabin characteristics and vehicle speeds. CO2 levels were investigated under different speeds and ventilation modes. Four modes were s...Factors contributing to ventilation quantity of the vehicle are ventilation modes, cabin characteristics and vehicle speeds. CO2 levels were investigated under different speeds and ventilation modes. Four modes were selected： A： vent closed and fan shut, B： vent closed and fan started, C： vent opened and fan shut, D： vent opened and fan started. In vent closed modes, CO2 levels reached several thousands of ppm in few minutes at any speeds. For mode C, CO2 levels exceeded the guideline at low speeds 50 km/h, while it reduced below one at higher speeds 80 km/h. Fan has no significant impact on ventilation during vent closed. The ventilation efficiency in each mode increased with the speed raising. To determine the ventilation rate of running vehicle, the experiment was implemented by using CO2 emitted from driver and passengers as tracer gas. Ventilation rate for the different modes and speeds were calculated.展开更多
An accurate closed form solution is proposed to estimate camera pose by several mirrored reference object images acquired via a planar mirror under different unknown poses. Compared with state-of-the-art methods, our ...An accurate closed form solution is proposed to estimate camera pose by several mirrored reference object images acquired via a planar mirror under different unknown poses. Compared with state-of-the-art methods, our method is more accurate when there are more than three images and has explicit geometric meanings. This method also properly handles cases in which some of the mirror poses are parallel. The central idea is to minimize an error metric based on all reflections of rotation, which enables the camera rotation to be estimated directly by SVD of sum of mirrored camera rotations. After that, the camera translation is computed by solving a large system of linear equations to minimize object space collinearity error. Both synthesized data and real data experiments show the advantages of our approach.展开更多
The fire extinguishment time is a major factor to evaluate the efficiency of fire extinguishment with water mist. In this paper the fire extinguishment time with water mist in an enclosed room is calculated. Before ad...The fire extinguishment time is a major factor to evaluate the efficiency of fire extinguishment with water mist. In this paper the fire extinguishment time with water mist in an enclosed room is calculated. Before adding water mist, the chemical kinetics plays the role in combustion, where a dimensionless math model is established by us-ing the Semenov theory. After adding water mist, the diffusion plays the role instead. Then another math model containing water mist and dominated by oxygen concentration is established. The fire temperature is integrated from Tm to extinguishment temperature TB and the extinguishment time can be obtained. The calculated values are compared with the experimental data under different conditions. The results show that this model can predict the fire extinguishment time accurately. Besides, this model also can be used to determine the critical water mist flux and evaluate which fire extinguishment mechanisms dominate the extinguishment.展开更多
文摘Facial expression recognition consists of determining what kind of emotional content is presented in a human face. The problem presents a complex area for exploration, since it encompasses face acquisition, facial feature tracking, facial ex- pression classification. Facial feature tracking is of the most interest. Active Appearance Model (AAM) enables accurate tracking of facial features in real-time, but lacks occlusions and self-occlusions. In this paper we propose a solution to improve the accuracy of fitting technique. The idea is to include occluded images into AAM training data. We demonstrate the results by running ex- periments using gradient descent algorithm for fitting the AAM. Our experiments show that using fitting algorithm with occluded training data improves the fitting quality of the algorithm.
文摘Tests of 4 simply supported unbonded prestressed truss concrete composite beams encased with circular steel tube were carried out. It is found that the ratio of the stress increment of the unbonded tendon to that of the tensile steel tube is 0.252 during the using stage,and the average crack space of beams depends on the ratio of the sum of the bottom chord steel tube's outside diameter and the secondary bottom chord steel tube's section area to the effective tensile concrete area. The coefficient of uneven crack distribution is 1.68 and the formula for the calculation of crack width is established. Test results indicate that the ultimate stress increment of unbonded tendon in the beams decreases in linearity with the increase of the composite reinforcement index β0. The pure bending region of beams accords with the plane section assumption from loading to failure. The calculation formula of ultimate stress increment of the unbonded tendon and the method to calculate the bearing capacity of normal section of beams have been presented. Besides,the method to calculate the stiffness of this sort of beams is brought forward as well.
文摘If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） are blocked. In these standard accounts （Godel＇s own paper and the exposition in Boolos＇ Computability and Logic are treated as exemplars）, it is assumed that certain formulas （notably so called ＂Godel sentences＂） containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term ＂provable＂ （and indeed ＂unprovable＂） favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems.
文摘Factors contributing to ventilation quantity of the vehicle are ventilation modes, cabin characteristics and vehicle speeds. CO2 levels were investigated under different speeds and ventilation modes. Four modes were selected： A： vent closed and fan shut, B： vent closed and fan started, C： vent opened and fan shut, D： vent opened and fan started. In vent closed modes, CO2 levels reached several thousands of ppm in few minutes at any speeds. For mode C, CO2 levels exceeded the guideline at low speeds 50 km/h, while it reduced below one at higher speeds 80 km/h. Fan has no significant impact on ventilation during vent closed. The ventilation efficiency in each mode increased with the speed raising. To determine the ventilation rate of running vehicle, the experiment was implemented by using CO2 emitted from driver and passengers as tracer gas. Ventilation rate for the different modes and speeds were calculated.
基金supported by the National Natural Science Foundation of China(Grant No.11072263)
文摘An accurate closed form solution is proposed to estimate camera pose by several mirrored reference object images acquired via a planar mirror under different unknown poses. Compared with state-of-the-art methods, our method is more accurate when there are more than three images and has explicit geometric meanings. This method also properly handles cases in which some of the mirror poses are parallel. The central idea is to minimize an error metric based on all reflections of rotation, which enables the camera rotation to be estimated directly by SVD of sum of mirrored camera rotations. After that, the camera translation is computed by solving a large system of linear equations to minimize object space collinearity error. Both synthesized data and real data experiments show the advantages of our approach.
文摘The fire extinguishment time is a major factor to evaluate the efficiency of fire extinguishment with water mist. In this paper the fire extinguishment time with water mist in an enclosed room is calculated. Before adding water mist, the chemical kinetics plays the role in combustion, where a dimensionless math model is established by us-ing the Semenov theory. After adding water mist, the diffusion plays the role instead. Then another math model containing water mist and dominated by oxygen concentration is established. The fire temperature is integrated from Tm to extinguishment temperature TB and the extinguishment time can be obtained. The calculated values are compared with the experimental data under different conditions. The results show that this model can predict the fire extinguishment time accurately. Besides, this model also can be used to determine the critical water mist flux and evaluate which fire extinguishment mechanisms dominate the extinguishment.
