随着 Web 应用软件的快速发展,作为保证 Web 质量和可靠性的重要手段,Web 应用软件测试受到了人们越来越多的重视。本文对现有的一些典型 Web 测试思想、技术和工具进行了一定的研究,首先描述了 Web 应用软件的特点,然后分析和比较了几...随着 Web 应用软件的快速发展,作为保证 Web 质量和可靠性的重要手段,Web 应用软件测试受到了人们越来越多的重视。本文对现有的一些典型 Web 测试思想、技术和工具进行了一定的研究,首先描述了 Web 应用软件的特点,然后分析和比较了几种测试模型、策略和方法,最后提出了一种基于 petri 网的 Web 链接模型。展开更多
提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在...提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。展开更多
In order to obtain a new-type short cylindrical cup-shaped flexspline that can be applied to space mechanisms,the APDL language of ANSYS software was employed to develop a parameterized equivalent contact model betwee...In order to obtain a new-type short cylindrical cup-shaped flexspline that can be applied to space mechanisms,the APDL language of ANSYS software was employed to develop a parameterized equivalent contact model between a flexspline and a wave generator. The validity of the parameterized equivalent contact model was verified by comparing the results of the analytic value of the contact model and the value calculated by the theoretical formula. The curvilinear trend of stress was obtained by changing the structural parameter of the flexspline. Based on the curvilinear trend of stress,multi-objective optimizations of key structural parameters were achieved. Flexspline,wave generator,and circular spline of a new 32-type short cylindrical cup-shaped harmonic reducer were designed and manufactured. A performance test bench to carry out tests on the harmonic reducer was designed. Contrast experiments were implemented to determine the efficiency of the new 32-type short cylindrical cup-shaped harmonic reducer and the conventional 32-type harmonic reducer under different conditions. The experimental results reveal that there is approximately equality in terms of efficiency between the new 32-type short cylindrical cup-shaped harmonic reducer and the conventional 32-type harmonic reducer. The volume of the flexspline of the new 32-type short cylindrical cup-shaped harmonic reducer is reduced by approximately 30% through multi-objective optimization. When the new 32-type short cylindrical cup-shaped harmonic reducer is used on the wheel of a rover prototype,the mass of the wheel hub is decreased by 0.42 kg. Test analysis of wheel motion verifies that the new 32-type short cylindrical cup-shaped harmonic reducer can meet the requirements regarding bearing capacity and efficiency.展开更多
文摘随着 Web 应用软件的快速发展,作为保证 Web 质量和可靠性的重要手段,Web 应用软件测试受到了人们越来越多的重视。本文对现有的一些典型 Web 测试思想、技术和工具进行了一定的研究,首先描述了 Web 应用软件的特点,然后分析和比较了几种测试模型、策略和方法,最后提出了一种基于 petri 网的 Web 链接模型。
文摘提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。
基金Project(2010DFR70270) supported by the International Science and Technology Cooperation Project with RussiaProjects(50975059,61005080) supported by the National Natural Science Foundation of China+2 种基金Project(B07018) supported by "111" Program of ChinaProject(SKLRS200801A02) supported by the Foundation of State Key Laboratory of Robotics and System (Harbin Institute of Technology),ChinaProject(HIT2009061) supported by the Key Subject Laboratory Open Fund of China
文摘In order to obtain a new-type short cylindrical cup-shaped flexspline that can be applied to space mechanisms,the APDL language of ANSYS software was employed to develop a parameterized equivalent contact model between a flexspline and a wave generator. The validity of the parameterized equivalent contact model was verified by comparing the results of the analytic value of the contact model and the value calculated by the theoretical formula. The curvilinear trend of stress was obtained by changing the structural parameter of the flexspline. Based on the curvilinear trend of stress,multi-objective optimizations of key structural parameters were achieved. Flexspline,wave generator,and circular spline of a new 32-type short cylindrical cup-shaped harmonic reducer were designed and manufactured. A performance test bench to carry out tests on the harmonic reducer was designed. Contrast experiments were implemented to determine the efficiency of the new 32-type short cylindrical cup-shaped harmonic reducer and the conventional 32-type harmonic reducer under different conditions. The experimental results reveal that there is approximately equality in terms of efficiency between the new 32-type short cylindrical cup-shaped harmonic reducer and the conventional 32-type harmonic reducer. The volume of the flexspline of the new 32-type short cylindrical cup-shaped harmonic reducer is reduced by approximately 30% through multi-objective optimization. When the new 32-type short cylindrical cup-shaped harmonic reducer is used on the wheel of a rover prototype,the mass of the wheel hub is decreased by 0.42 kg. Test analysis of wheel motion verifies that the new 32-type short cylindrical cup-shaped harmonic reducer can meet the requirements regarding bearing capacity and efficiency.
