Since the research on verification to passive design strategies in sustainable building is at the initial stage,and its test method and verification conclusion are not scientific enough to validate,this paper proposes...Since the research on verification to passive design strategies in sustainable building is at the initial stage,and its test method and verification conclusion are not scientific enough to validate,this paper proposes the necessity of building physical environmental monitoring to quantitative optimization of passive strategies efficiency from the perspective of architecture design and building environment. Adopting comparative research method,this research chooses six types of atrium space in cold climate in China as a prototype,focusing on building physical environmental performance difference in and between atrium and building main space. Spatial parameters of the atrium space will be divided into four factors: spatial geometry,interfacial properties,internal and external related categories. With subdividing these four factors into sub-factors,this paper makes crosscomparison among the sub-factors to clarify passive strategies effectiveness in atrium. Data comparison analysis shows that Winter atrium passive strategy in cold regions from traditional view is not obvious in practical application,and test data need to be stratified refined in atrium design in case of optimizing passive strategy from building prototype perspective.展开更多
Based on the operating principle and the electric property design of the passive hydrogen maser, the technology and test results of its space adaptability are carried out under the special launch conditions and space ...Based on the operating principle and the electric property design of the passive hydrogen maser, the technology and test results of its space adaptability are carried out under the special launch conditions and space environment. The various perturbations affecting the output frequency of such a standard used for the navigation satellite system are specified, such as magnetic field change, vibration, thermal vacuum and radiation. Through the adaptability technology in the aspects above, the security and reliability of the space passive hydrogen maser sufficiently fulfill the requirements of space operation. At present, the space passive hydrogen maser is working normally on board, indicating that the space adaptability satisfies the design requirement.展开更多
Rationale: Patients with cancer commonly experience dyspnea originating from ventilatory, circulatory and musculoskeletal sources, and dyspnea is best determined by cardiopulmonary exercise testing (CPET). Objectives:...Rationale: Patients with cancer commonly experience dyspnea originating from ventilatory, circulatory and musculoskeletal sources, and dyspnea is best determined by cardiopulmonary exercise testing (CPET). Objectives: In this retrospective pilot study, we evaluated patients with hematologic and solid malignancies by CPET to determine the primary source of their dyspnea. Methods: Subjects were exercised on a cycle ergometer with increasing workloads. Minute ventilation, heart rate, breathing reserve, oxygen uptake (V’O<sub>2</sub>), O<sub>2</sub>-pulse, ventilatory equivalents for carbon dioxide and oxygen (V’<sub>E</sub>/V’CO<sub>2</sub> and V’<sub>E</sub>/V’O<sub>2</sub>, respectively) were measured at baseline and peak exercise. The slope and intercept for V’<sub>E</sub>/V’CO<sub>2</sub> was computed for all subjects. Peak V’O<sub>2</sub> 4% predicted indicated a circulatory or ventilatory limitation. Results: Complete clinical and physiological data were available for 36 patients (M/F 20/16);32 (89%) exhibited ventilatory or circulatory limitation as shown by a reduced peak V’O<sub>2</sub> and 10 subjects with normal physiologic data. The largest cohort comprised the pulmonary vascular group (n = 18) whose mean ± SD peak V’O<sub>2</sub> was 61% ± 17% predicted. There were close associations between V’O<sub>2</sub> and spirometric values. Peak V’<sub>E</sub>/V’O<sub>2</sub> and V’<sub>E</sub>/V’CO<sub>2</sub> were highest in the circulatory and ventilatory cohorts, consistent with increase in dead space breathing. The intercept of the V’<sub>E</sub>-V’CO<sub>2</sub> relationship was lowest in patients with cardiovascular impairment. Conclusion: Dyspneic patients with malignancies exhibit dead space breathing, many exhibiting a circulatory source for exercise limitation with a prominent pulmonary vascular component. Potential factors include effects of chemo- and radiation therapy on cardiac function and pulmonary vascular endothelium.展开更多
大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能...大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能够发现之前难以捕捉的复杂缺陷。航天器软件以其独特性、专业性、复杂性、高可靠性、高安全性的特点,需要通过专业的方法训练专业的大模型来满足航天嵌入式软件测试的需要。研究表明,大模型结合有效的测试方法形成的完备思维链(Chain of Thought, Cot)可以有效提高软件缺陷检出率。将测试专家的思维和大模型相结合,用专家思维链引导大模型查找软件缺陷,在提示词中增加测试专家的思维链可以有效提升软件缺陷检出效率,保证软件质量,显著提升测试团队的整体专业水平。展开更多
Building buffer zone space is not only one of essential approaches for better mental quality of interior building space, but also an important factor that may influence interior thermal comfort and energy consumption....Building buffer zone space is not only one of essential approaches for better mental quality of interior building space, but also an important factor that may influence interior thermal comfort and energy consumption. This study aims to analyze regulative advantages of buffer zone to the surrounding functional spaces. Based on a fieldwork test in a typical office building in cold climate zone in Beijing,China,the monitor data show interior physical performance in the Winter. The research selects two types of different buffer zones in the same building. One is a south-faced greenhouse which has large dimension with plenty of vegetation,and the other is a simple atrium in the middle of five floor building with mount of skylights. The factors and their influence to surrounding functional spaces and the whole building are found out from the comparisons of collected data by floor to floor monitor test on both buffer zones at the same time. The comparisons of two types of buffer zones conclude that the greenhouse is more effective to air quality regulation but not so clearly wellperformed to thermal buffering as expected due to the dominate active central heating in the Winter. This fieldwork test results for building performance can be helpful for both architects and engineers in the early phase of sustainable design.展开更多
By using MTS815 rock mechanics test system,a series of acoustic emission(AE) location experiments were performed under unloading confining pressure,increasing the axial stress.The AE space-time evolution regularities ...By using MTS815 rock mechanics test system,a series of acoustic emission(AE) location experiments were performed under unloading confining pressure,increasing the axial stress.The AE space-time evolution regularities and energy releasing characteristics during deformation and failure process of coal of different loading rates are compared,the influence mechanism of loading rates on the microscopic crack evolution were studied,combining the AE characteristics and the macroscopic failure modes of the specimens,and the precursory characteristics of coal failure were also analyzed quantitatively.The results indicate that as the loading rate is higher,the AE activity and the main fracture will begin earlier.The destruction of coal body is mainly the function of shear strain at lower loading rate and tension strain at higher rate,and will transform from brittleness to ductility at critical velocities.When the deformation of the coal is mainly plasticity,the amplitude of the AE ringing counting rate increases largely and the AE energy curves appear an obvious ''step'',which can be defined as the first failure precursor point.Statics of AE information shows that the strongest AE activity begins when the axial stress level was 92-98%,which can be defined as the other failure precursor point.As the loading rate is smaller,the coal more easily reaches the latter precursor point after the first one,so attention should be aroused to prevent dynamic disaster in coal mining when the AE activity reaches the first precursor point.展开更多
Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test dat...Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.展开更多
Recent developments in micro- and nano-satellites have attracted the interest of the research community worldwide. Many colleges and corporations have launched their satellites in space. Meanwhile, the space flexible ...Recent developments in micro- and nano-satellites have attracted the interest of the research community worldwide. Many colleges and corporations have launched their satellites in space. Meanwhile, the space flexible probe-cone docking system for micro- and nano-satellites has become an attractive topic. In this paper, a dynamic model of a space flexible probe-cone dock- ing system, in which the flexible beam technology is applied, is built based on the Kane method. The curves of impact force versus time are obtained by the Lagrange model, the Kane model, and the experimental method. The Lagrange model was presented in the reference and verified by both finite element simulation and experiment. The results of the three methods show good agreements on the condition that the beam flexibility and the initial relative velocity change. It is worth mentioning that the introduction of vectorial mechanics and analytical mechanics in the Kane method leads to a large reduction of differential operations and makes the modeling process much easier than that of the Lagrange method. Moreover, the influences of the beam flexibility and the initial relative velocity are discussed. It is concluded that the initial relative velocity of space docking operation should be controlled to a certain value in order to protect the docking system.展开更多
Since 2009,the Mine Safety and Health Administration(MSHA)has required mines to install refuge alternatives(RAs)in underground coal mines.One of the biggest concerns with occupied RAs is the possible severity of the r...Since 2009,the Mine Safety and Health Administration(MSHA)has required mines to install refuge alternatives(RAs)in underground coal mines.One of the biggest concerns with occupied RAs is the possible severity of the resulting thermal environment.In 30 CFR 7.504,the maximum allowable apparent temperature(AT)for an occupied RA is specified as 35℃(95°F).Manufacturers must conduct heat/humidity tests to demonstrate that their RAs meet the 35℃(95°F)AT limit.For these tests,heat input devices are used to input the metabolic heat of actual miners.A wide variety of test methods,sensors,and heat input devices could be used when conducting such tests.Since 2012,the National Institute for Occupational Safety and Health(NIOSH)has conducted over thirty 96-hour heat/humidity tests on four different RAs.This paper discusses the test equipment and procedures used during these investigations.This information is useful for RA manufacturers conducting RA heat/humidity tests,for other researchers investigating RA heat/humidity buildup,and for those who need to assess the thermal environment of any confined space where people may be trapped or are seeking refuge.展开更多
基金Sponsored by the Key Project of National Natural Science Foundation of China (Grant No.51138004)the National Science and Technology Support Program (Grant No.2012BAJ10B02)
文摘Since the research on verification to passive design strategies in sustainable building is at the initial stage,and its test method and verification conclusion are not scientific enough to validate,this paper proposes the necessity of building physical environmental monitoring to quantitative optimization of passive strategies efficiency from the perspective of architecture design and building environment. Adopting comparative research method,this research chooses six types of atrium space in cold climate in China as a prototype,focusing on building physical environmental performance difference in and between atrium and building main space. Spatial parameters of the atrium space will be divided into four factors: spatial geometry,interfacial properties,internal and external related categories. With subdividing these four factors into sub-factors,this paper makes crosscomparison among the sub-factors to clarify passive strategies effectiveness in atrium. Data comparison analysis shows that Winter atrium passive strategy in cold regions from traditional view is not obvious in practical application,and test data need to be stratified refined in atrium design in case of optimizing passive strategy from building prototype perspective.
基金supported by the Next Generation of Beidou Navigation Satellite(the Space Passive Hydrogen Maser Technology,GFZX0301020104)
文摘Based on the operating principle and the electric property design of the passive hydrogen maser, the technology and test results of its space adaptability are carried out under the special launch conditions and space environment. The various perturbations affecting the output frequency of such a standard used for the navigation satellite system are specified, such as magnetic field change, vibration, thermal vacuum and radiation. Through the adaptability technology in the aspects above, the security and reliability of the space passive hydrogen maser sufficiently fulfill the requirements of space operation. At present, the space passive hydrogen maser is working normally on board, indicating that the space adaptability satisfies the design requirement.
文摘Rationale: Patients with cancer commonly experience dyspnea originating from ventilatory, circulatory and musculoskeletal sources, and dyspnea is best determined by cardiopulmonary exercise testing (CPET). Objectives: In this retrospective pilot study, we evaluated patients with hematologic and solid malignancies by CPET to determine the primary source of their dyspnea. Methods: Subjects were exercised on a cycle ergometer with increasing workloads. Minute ventilation, heart rate, breathing reserve, oxygen uptake (V’O<sub>2</sub>), O<sub>2</sub>-pulse, ventilatory equivalents for carbon dioxide and oxygen (V’<sub>E</sub>/V’CO<sub>2</sub> and V’<sub>E</sub>/V’O<sub>2</sub>, respectively) were measured at baseline and peak exercise. The slope and intercept for V’<sub>E</sub>/V’CO<sub>2</sub> was computed for all subjects. Peak V’O<sub>2</sub> 4% predicted indicated a circulatory or ventilatory limitation. Results: Complete clinical and physiological data were available for 36 patients (M/F 20/16);32 (89%) exhibited ventilatory or circulatory limitation as shown by a reduced peak V’O<sub>2</sub> and 10 subjects with normal physiologic data. The largest cohort comprised the pulmonary vascular group (n = 18) whose mean ± SD peak V’O<sub>2</sub> was 61% ± 17% predicted. There were close associations between V’O<sub>2</sub> and spirometric values. Peak V’<sub>E</sub>/V’O<sub>2</sub> and V’<sub>E</sub>/V’CO<sub>2</sub> were highest in the circulatory and ventilatory cohorts, consistent with increase in dead space breathing. The intercept of the V’<sub>E</sub>-V’CO<sub>2</sub> relationship was lowest in patients with cardiovascular impairment. Conclusion: Dyspneic patients with malignancies exhibit dead space breathing, many exhibiting a circulatory source for exercise limitation with a prominent pulmonary vascular component. Potential factors include effects of chemo- and radiation therapy on cardiac function and pulmonary vascular endothelium.
文摘大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能够发现之前难以捕捉的复杂缺陷。航天器软件以其独特性、专业性、复杂性、高可靠性、高安全性的特点,需要通过专业的方法训练专业的大模型来满足航天嵌入式软件测试的需要。研究表明,大模型结合有效的测试方法形成的完备思维链(Chain of Thought, Cot)可以有效提高软件缺陷检出率。将测试专家的思维和大模型相结合,用专家思维链引导大模型查找软件缺陷,在提示词中增加测试专家的思维链可以有效提升软件缺陷检出效率,保证软件质量,显著提升测试团队的整体专业水平。
基金Sponsored by the Key Project of National Natural Science Foundation of China(Grant No.51138004)the National Science and Technology Support Program(Grant No.2012BAJ10B02)
文摘Building buffer zone space is not only one of essential approaches for better mental quality of interior building space, but also an important factor that may influence interior thermal comfort and energy consumption. This study aims to analyze regulative advantages of buffer zone to the surrounding functional spaces. Based on a fieldwork test in a typical office building in cold climate zone in Beijing,China,the monitor data show interior physical performance in the Winter. The research selects two types of different buffer zones in the same building. One is a south-faced greenhouse which has large dimension with plenty of vegetation,and the other is a simple atrium in the middle of five floor building with mount of skylights. The factors and their influence to surrounding functional spaces and the whole building are found out from the comparisons of collected data by floor to floor monitor test on both buffer zones at the same time. The comparisons of two types of buffer zones conclude that the greenhouse is more effective to air quality regulation but not so clearly wellperformed to thermal buffering as expected due to the dominate active central heating in the Winter. This fieldwork test results for building performance can be helpful for both architects and engineers in the early phase of sustainable design.
文摘By using MTS815 rock mechanics test system,a series of acoustic emission(AE) location experiments were performed under unloading confining pressure,increasing the axial stress.The AE space-time evolution regularities and energy releasing characteristics during deformation and failure process of coal of different loading rates are compared,the influence mechanism of loading rates on the microscopic crack evolution were studied,combining the AE characteristics and the macroscopic failure modes of the specimens,and the precursory characteristics of coal failure were also analyzed quantitatively.The results indicate that as the loading rate is higher,the AE activity and the main fracture will begin earlier.The destruction of coal body is mainly the function of shear strain at lower loading rate and tension strain at higher rate,and will transform from brittleness to ductility at critical velocities.When the deformation of the coal is mainly plasticity,the amplitude of the AE ringing counting rate increases largely and the AE energy curves appear an obvious ''step'',which can be defined as the first failure precursor point.Statics of AE information shows that the strongest AE activity begins when the axial stress level was 92-98%,which can be defined as the other failure precursor point.As the loading rate is smaller,the coal more easily reaches the latter precursor point after the first one,so attention should be aroused to prevent dynamic disaster in coal mining when the AE activity reaches the first precursor point.
文摘Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.
基金supported in part by the National Natural Science Foundation of China (Nos. 91216201, 51205403)
文摘Recent developments in micro- and nano-satellites have attracted the interest of the research community worldwide. Many colleges and corporations have launched their satellites in space. Meanwhile, the space flexible probe-cone docking system for micro- and nano-satellites has become an attractive topic. In this paper, a dynamic model of a space flexible probe-cone dock- ing system, in which the flexible beam technology is applied, is built based on the Kane method. The curves of impact force versus time are obtained by the Lagrange model, the Kane model, and the experimental method. The Lagrange model was presented in the reference and verified by both finite element simulation and experiment. The results of the three methods show good agreements on the condition that the beam flexibility and the initial relative velocity change. It is worth mentioning that the introduction of vectorial mechanics and analytical mechanics in the Kane method leads to a large reduction of differential operations and makes the modeling process much easier than that of the Lagrange method. Moreover, the influences of the beam flexibility and the initial relative velocity are discussed. It is concluded that the initial relative velocity of space docking operation should be controlled to a certain value in order to protect the docking system.
文摘Since 2009,the Mine Safety and Health Administration(MSHA)has required mines to install refuge alternatives(RAs)in underground coal mines.One of the biggest concerns with occupied RAs is the possible severity of the resulting thermal environment.In 30 CFR 7.504,the maximum allowable apparent temperature(AT)for an occupied RA is specified as 35℃(95°F).Manufacturers must conduct heat/humidity tests to demonstrate that their RAs meet the 35℃(95°F)AT limit.For these tests,heat input devices are used to input the metabolic heat of actual miners.A wide variety of test methods,sensors,and heat input devices could be used when conducting such tests.Since 2012,the National Institute for Occupational Safety and Health(NIOSH)has conducted over thirty 96-hour heat/humidity tests on four different RAs.This paper discusses the test equipment and procedures used during these investigations.This information is useful for RA manufacturers conducting RA heat/humidity tests,for other researchers investigating RA heat/humidity buildup,and for those who need to assess the thermal environment of any confined space where people may be trapped or are seeking refuge.
