A new type of a heat pump driven three-stage lithium bromide liquid desiccant deep dehumidification processor is presented,which can dehumidify the outdoor humid air to a rather dry state,even when there is no availab...A new type of a heat pump driven three-stage lithium bromide liquid desiccant deep dehumidification processor is presented,which can dehumidify the outdoor humid air to a rather dry state,even when there is no available indoor exhaust air.The test results show that with an outdoor air temperature of 28 to 31 ℃ and an outdoor air humidity ratio of 11 to 14 g/kg,the supply air temperature and the supply air humidity ratio are 1.6 to 2.6 ℃ and 2.6 to 3.0 g/kg,respectively,and the coefficient of performance(COP)of the processor is 1.8.During the test,a liquid pipeline link problem leading to mixture losses of hot and cold liquid desiccants is found.These pipelines are modified.Then,the performance of the modified processor is investigated.And the experimental results show that with an outdoor air temperature of 25 to 32 ℃ and an outdoor air humidity ratio of 18 to 21 g/kg,the supply air temperature and the supply air humidity ratio are 3.2 to 4.0 ℃ and 3.4 to 3.6 g/kg,respectively,and the COP is 2.8.Finally,a mathematical model of the processor is established.The comparison of the simulation results and the test results of the processor exhibits that the pipeline modification improves the performance by about 20%.展开更多
Much research has been done mainly in testcase generation and its effect for com-binatorial design approach for testing. This letter presents an algorithm for fault diagnosis basedon the approach. It can conclude that...Much research has been done mainly in testcase generation and its effect for com-binatorial design approach for testing. This letter presents an algorithm for fault diagnosis basedon the approach. It can conclude that the factors, which cause errors, must be in a very smallrange through analyzing the test cases after testing, and retesting with some complementary testcases. The algorithm can provide a very efficient and valuable guidance for the debugging andtesting of software.展开更多
The effects of heat input on the microstructures and mechanical properties of tungsten inert gas (TIG) butt-welded AZ31/MB3 dissimilar Mg alloys joint were investigated by microstructural observations, microhardness...The effects of heat input on the microstructures and mechanical properties of tungsten inert gas (TIG) butt-welded AZ31/MB3 dissimilar Mg alloys joint were investigated by microstructural observations, microhardness testing and tensile testing. The results reveal that with the increase of heat input, the width of welding seam increases obviously and the grains both in the fusion zone and the heat affected zone coarsen during TIG welding process. The tensile strength of butt-welded joint increases with the increase of heat input and the maximum joining strength of 242 MPa is obtained with wedding current of 90 A. However, lots of welding pores occur with the further increase of heat input, which results in the decrease of joining strength. It is experimentally demonstrated that robust joint can be obtained by TIG welding process.展开更多
Although there exist a few good schemes to protect the kernel hooks of operating systems, attackers are still able to circumvent existing defense mechanisms with spurious context infonmtion. To address this challenge,...Although there exist a few good schemes to protect the kernel hooks of operating systems, attackers are still able to circumvent existing defense mechanisms with spurious context infonmtion. To address this challenge, this paper proposes a framework, called HooklMA, to detect compromised kernel hooks by using hardware debugging features. The key contribution of the work is that context information is captured from hardware instead of from relatively vulnerable kernel data. Using commodity hardware, a proof-of-concept pro- totype system of HooklMA has been developed. This prototype handles 3 082 dynamic control-flow transfers with related hooks in the kernel space. Experiments show that HooklMA is capable of detecting compomised kernel hooks caused by kernel rootkits. Performance evaluations with UnixBench indicate that runtirre overhead introduced by HooklMA is about 21.5%.展开更多
A Genetic Algorithm-Ant Colony Algorithm(GA-ACA),which can be used to optimize multi-Unit Under Test(UUT)parallel test tasks sequences and resources configuration quickly and accurately,is proposed in the paper.With t...A Genetic Algorithm-Ant Colony Algorithm(GA-ACA),which can be used to optimize multi-Unit Under Test(UUT)parallel test tasks sequences and resources configuration quickly and accurately,is proposed in the paper.With the establishment of the mathematic model of multi-UUT parallel test tasks and resources,the condition of multi-UUT resources mergence is analyzed to obtain minimum resource requirement under minimum test time.The definition of cost efficiency is put forward,followed by the design of gene coding and path selection project,which can satisfy multi-UUT parallel test tasks scheduling.At the threshold of the algorithm,GA is adopted to provide initial pheromone for ACA,and then dual-convergence pheromone feedback mode is applied in ACA to avoid local optimization and parameters dependence.The practical application proves that the algorithm has a remarkable effect on solving the problems of multi-UUT parallel test tasks scheduling and resources configuration.展开更多
Depending on the numerical test approach on a computer, the relationships among relevant parameters, eg branch number, node number, mesh number, computation accuracy, preliminary value of airflow rate, iteration numbe...Depending on the numerical test approach on a computer, the relationships among relevant parameters, eg branch number, node number, mesh number, computation accuracy, preliminary value of airflow rate, iteration number, computation time and convergence in a mine ventilation network analysis, were investigated based on 5 mine ventilation systems. The results show that a higher computation accuracy greatly influences the iteration number. When the accuracy reaches 10-6m3·s-1 for solving a complicated mine ventilation network, the running time is too long though a high-speed computer is used. The preliminary value of airflow rate in the range of 1100m3·s-1 has little effects the iteration number. The structure of network also has some effect on the iteration number.展开更多
With the popularity of the automatic precipitation gauges in national weather stations,testing their performance and adjusting their measurements are top priorities. Additionally,because different climatic conditions ...With the popularity of the automatic precipitation gauges in national weather stations,testing their performance and adjusting their measurements are top priorities. Additionally,because different climatic conditions may have different effects on the performance of the precipitation gauges, it is also necessary to test the gauges in different areas. This study mainly analyzed precipitation measurements from the single-Altershielded TRwS204 automatic weighing gauge(TRwS_(SA)) relative to the adjusted manual measurements(reference precipitation) from the Chinese standard precipitation gauge in a doublefence wind shield(CSPG_(DF)) in the Hulu watershed in the Qilian Mountains, China. The measurements were compared over the period from August 2014 to July2017, and the transfer function derived from the work by Kochendorfer et al.(2017 a) for correcting windinduced losses was applied to the TRwS_(SA) measurements. The results show that the average loss of TRwS_(SA) measurements relative to the reference precipitation decreased from 0.55 mm(10.7%) to 0.51 mm(9.9%) for rainfall events, from 0.35 mm(8.5%)to 0.22 mm(5.3%) for sleet events, and from 0.49 mm(18.9%) to 0.33 mm(12.7%) for snowfall events after adjustment. The uncorrected large biases of TRwS_(SA) measurements are considered to be mainly caused by specific errors of TRwS_(SA), different gauge orifice area and random errors. These types of errors must be considered when comparing precipitation measurements for different gauge types, especially in the mountains.展开更多
Thirteen specimens were tested out of which nine were for creep of sealed concrete and four for shrinkage test,for a period of 700 d under controlled temperature condition.The experimental results for creep and shrink...Thirteen specimens were tested out of which nine were for creep of sealed concrete and four for shrinkage test,for a period of 700 d under controlled temperature condition.The experimental results for creep and shrinkage were compared with creep and shrinkage computation model B3 and distinct discrepancies between observed and calculated creep and shrinkage strains were observed.Based on regression analysis,modification on B3 model has been formulated which will be applicable at least for concrete of characteristics strength of C40 and C50 with additives.Besides,on the basis of observation on identical specimens with varied stress strength ratio,a function is generated which accounts effect of stress strength ratio on creep.Finally,Civil Engineering community is suggested not to follow the creep prediction models without correction at least for modern concrete,as they do not account the effect of additives on its compliance function.展开更多
Attitude adjustment is a key link in the installation process of underwater facilities in deep water.To solve this problem,an omnidirectional spirit level for deep water was developed.The sealing principle of the spir...Attitude adjustment is a key link in the installation process of underwater facilities in deep water.To solve this problem,an omnidirectional spirit level for deep water was developed.The sealing principle of the spirit level and the principle of deep-water pressure resistance are analyzed,and the threaded connection strength is checked.The mechanical simulation verifies that the spirit level can withstand the pressure of 2000 m water depth,and the water pressure test is carried out for 30 min in a 20 MPa hyperbaric chamber.After the experiment is completed,the appearance of the spirit level is intact and there is no leakage.The experiment results show that the deep-water omnidirectional spirit level can be used in the deep sea within 2000 m.展开更多
All currently avalable concrete creep predicting models cannot describe well the creep of a concrete structure because they all leave the effects of additives out of consideration. The purpose of this work was to modi...All currently avalable concrete creep predicting models cannot describe well the creep of a concrete structure because they all leave the effects of additives out of consideration. The purpose of this work was to modify model B3 for overcoming this deficiency. We tested thirteen specimens of C40 and C50 concrete with additives, out of which nine were for creep and four for shrinkage tests over a 700 d period under controlled temperature. We compared the experimental results for creep and shrinkage with those obtained by using model B3, and derived modification terms through regression analysis. Based on the experimental results of identical specimens under varied stress levels, we also derived a function considering the effect of stress level on creep. It is suggested that the creep prediction models without adjustment should not be used for modem concrete with a variety of additives.展开更多
This study aims to investigate teaching programming concepts to K-12 teachers with Scratch. A total of 10 K-12 teachers enrolled in one graduate course participated in this study. They received lectures, took practice...This study aims to investigate teaching programming concepts to K-12 teachers with Scratch. A total of 10 K-12 teachers enrolled in one graduate course participated in this study. They received lectures, took practices and exercises of Scratch programming and were then asked to design and implement their projects before the semester. It was found that teaching programming concepts to K-12 teachers with Scratch is feasible. K-12 teachers with less computer background can learned basic programming concepts and applied them in their project code implementation. Although no significant difference was found between participants' pre-test and post-test on programming self-efficacy, positive attitudes toward learning Scratch programming was revealed in the questionnaire survey and results of interviews. This study paves a way for referring to the teaching of programming concepts for K- 12 teachers.展开更多
基金The National Natural Science Foundation of China(No.50778094)
文摘A new type of a heat pump driven three-stage lithium bromide liquid desiccant deep dehumidification processor is presented,which can dehumidify the outdoor humid air to a rather dry state,even when there is no available indoor exhaust air.The test results show that with an outdoor air temperature of 28 to 31 ℃ and an outdoor air humidity ratio of 11 to 14 g/kg,the supply air temperature and the supply air humidity ratio are 1.6 to 2.6 ℃ and 2.6 to 3.0 g/kg,respectively,and the coefficient of performance(COP)of the processor is 1.8.During the test,a liquid pipeline link problem leading to mixture losses of hot and cold liquid desiccants is found.These pipelines are modified.Then,the performance of the modified processor is investigated.And the experimental results show that with an outdoor air temperature of 25 to 32 ℃ and an outdoor air humidity ratio of 18 to 21 g/kg,the supply air temperature and the supply air humidity ratio are 3.2 to 4.0 ℃ and 3.4 to 3.6 g/kg,respectively,and the COP is 2.8.Finally,a mathematical model of the processor is established.The comparison of the simulation results and the test results of the processor exhibits that the pipeline modification improves the performance by about 20%.
基金Supported in part by the National Natural Science Foundation of China(60073012),Natural Science Foundation of Jiangsu Province.China(BK2001004),Opening Foundation of State Key Laboratory of Software Engineering In Wuhan University,Opening Foundation of J
文摘Much research has been done mainly in testcase generation and its effect for com-binatorial design approach for testing. This letter presents an algorithm for fault diagnosis basedon the approach. It can conclude that the factors, which cause errors, must be in a very smallrange through analyzing the test cases after testing, and retesting with some complementary testcases. The algorithm can provide a very efficient and valuable guidance for the debugging andtesting of software.
基金Project(51575067) supported by the National Natural Science Foundation of China Project(2012ZX04010-081) supported by the Major and Special Project of Ministry of Science and Technology, China
文摘The effects of heat input on the microstructures and mechanical properties of tungsten inert gas (TIG) butt-welded AZ31/MB3 dissimilar Mg alloys joint were investigated by microstructural observations, microhardness testing and tensile testing. The results reveal that with the increase of heat input, the width of welding seam increases obviously and the grains both in the fusion zone and the heat affected zone coarsen during TIG welding process. The tensile strength of butt-welded joint increases with the increase of heat input and the maximum joining strength of 242 MPa is obtained with wedding current of 90 A. However, lots of welding pores occur with the further increase of heat input, which results in the decrease of joining strength. It is experimentally demonstrated that robust joint can be obtained by TIG welding process.
基金The authors would like to thank the anonymous reviewers for their insightful corrnlents that have helped improve the presentation of this paper. The work was supported partially by the National Natural Science Foundation of China under Grants No. 61070192, No.91018008, No. 61170240 the National High-Tech Research Development Program of China under Grant No. 2007AA01ZA14 the Natural Science Foundation of Beijing un- der Grant No. 4122041.
文摘Although there exist a few good schemes to protect the kernel hooks of operating systems, attackers are still able to circumvent existing defense mechanisms with spurious context infonmtion. To address this challenge, this paper proposes a framework, called HooklMA, to detect compromised kernel hooks by using hardware debugging features. The key contribution of the work is that context information is captured from hardware instead of from relatively vulnerable kernel data. Using commodity hardware, a proof-of-concept pro- totype system of HooklMA has been developed. This prototype handles 3 082 dynamic control-flow transfers with related hooks in the kernel space. Experiments show that HooklMA is capable of detecting compomised kernel hooks caused by kernel rootkits. Performance evaluations with UnixBench indicate that runtirre overhead introduced by HooklMA is about 21.5%.
基金supported by“11th Five-year Projects”pre-research projects fund of the National Arming Department
文摘A Genetic Algorithm-Ant Colony Algorithm(GA-ACA),which can be used to optimize multi-Unit Under Test(UUT)parallel test tasks sequences and resources configuration quickly and accurately,is proposed in the paper.With the establishment of the mathematic model of multi-UUT parallel test tasks and resources,the condition of multi-UUT resources mergence is analyzed to obtain minimum resource requirement under minimum test time.The definition of cost efficiency is put forward,followed by the design of gene coding and path selection project,which can satisfy multi-UUT parallel test tasks scheduling.At the threshold of the algorithm,GA is adopted to provide initial pheromone for ACA,and then dual-convergence pheromone feedback mode is applied in ACA to avoid local optimization and parameters dependence.The practical application proves that the algorithm has a remarkable effect on solving the problems of multi-UUT parallel test tasks scheduling and resources configuration.
基金Project (50474050) supported by the National Natural Science Foundation of China
文摘Depending on the numerical test approach on a computer, the relationships among relevant parameters, eg branch number, node number, mesh number, computation accuracy, preliminary value of airflow rate, iteration number, computation time and convergence in a mine ventilation network analysis, were investigated based on 5 mine ventilation systems. The results show that a higher computation accuracy greatly influences the iteration number. When the accuracy reaches 10-6m3·s-1 for solving a complicated mine ventilation network, the running time is too long though a high-speed computer is used. The preliminary value of airflow rate in the range of 1100m3·s-1 has little effects the iteration number. The structure of network also has some effect on the iteration number.
基金supported primarily by the National Basic Research Program of China (2013CBA01806)the National Natural Sciences Foundation of China (41671029, 41690141, 41401040 and 41501040)
文摘With the popularity of the automatic precipitation gauges in national weather stations,testing their performance and adjusting their measurements are top priorities. Additionally,because different climatic conditions may have different effects on the performance of the precipitation gauges, it is also necessary to test the gauges in different areas. This study mainly analyzed precipitation measurements from the single-Altershielded TRwS204 automatic weighing gauge(TRwS_(SA)) relative to the adjusted manual measurements(reference precipitation) from the Chinese standard precipitation gauge in a doublefence wind shield(CSPG_(DF)) in the Hulu watershed in the Qilian Mountains, China. The measurements were compared over the period from August 2014 to July2017, and the transfer function derived from the work by Kochendorfer et al.(2017 a) for correcting windinduced losses was applied to the TRwS_(SA) measurements. The results show that the average loss of TRwS_(SA) measurements relative to the reference precipitation decreased from 0.55 mm(10.7%) to 0.51 mm(9.9%) for rainfall events, from 0.35 mm(8.5%)to 0.22 mm(5.3%) for sleet events, and from 0.49 mm(18.9%) to 0.33 mm(12.7%) for snowfall events after adjustment. The uncorrected large biases of TRwS_(SA) measurements are considered to be mainly caused by specific errors of TRwS_(SA), different gauge orifice area and random errors. These types of errors must be considered when comparing precipitation measurements for different gauge types, especially in the mountains.
文摘Thirteen specimens were tested out of which nine were for creep of sealed concrete and four for shrinkage test,for a period of 700 d under controlled temperature condition.The experimental results for creep and shrinkage were compared with creep and shrinkage computation model B3 and distinct discrepancies between observed and calculated creep and shrinkage strains were observed.Based on regression analysis,modification on B3 model has been formulated which will be applicable at least for concrete of characteristics strength of C40 and C50 with additives.Besides,on the basis of observation on identical specimens with varied stress strength ratio,a function is generated which accounts effect of stress strength ratio on creep.Finally,Civil Engineering community is suggested not to follow the creep prediction models without correction at least for modern concrete,as they do not account the effect of additives on its compliance function.
基金National key R&D Program of China(No.2017YFF0108104)Tianjin key R&D Program(No.20YFZCGX00550)。
文摘Attitude adjustment is a key link in the installation process of underwater facilities in deep water.To solve this problem,an omnidirectional spirit level for deep water was developed.The sealing principle of the spirit level and the principle of deep-water pressure resistance are analyzed,and the threaded connection strength is checked.The mechanical simulation verifies that the spirit level can withstand the pressure of 2000 m water depth,and the water pressure test is carried out for 30 min in a 20 MPa hyperbaric chamber.After the experiment is completed,the appearance of the spirit level is intact and there is no leakage.The experiment results show that the deep-water omnidirectional spirit level can be used in the deep sea within 2000 m.
文摘All currently avalable concrete creep predicting models cannot describe well the creep of a concrete structure because they all leave the effects of additives out of consideration. The purpose of this work was to modify model B3 for overcoming this deficiency. We tested thirteen specimens of C40 and C50 concrete with additives, out of which nine were for creep and four for shrinkage tests over a 700 d period under controlled temperature. We compared the experimental results for creep and shrinkage with those obtained by using model B3, and derived modification terms through regression analysis. Based on the experimental results of identical specimens under varied stress levels, we also derived a function considering the effect of stress level on creep. It is suggested that the creep prediction models without adjustment should not be used for modem concrete with a variety of additives.
文摘This study aims to investigate teaching programming concepts to K-12 teachers with Scratch. A total of 10 K-12 teachers enrolled in one graduate course participated in this study. They received lectures, took practices and exercises of Scratch programming and were then asked to design and implement their projects before the semester. It was found that teaching programming concepts to K-12 teachers with Scratch is feasible. K-12 teachers with less computer background can learned basic programming concepts and applied them in their project code implementation. Although no significant difference was found between participants' pre-test and post-test on programming self-efficacy, positive attitudes toward learning Scratch programming was revealed in the questionnaire survey and results of interviews. This study paves a way for referring to the teaching of programming concepts for K- 12 teachers.