中国科学院机构知识库网格系统: 检索

Design of efficient and simple interface testing equipment for opto-electric tracking system 期刊论文 OAI收割
Proceedings of SPIE: 8th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Large Mirrors and Telescopes, 2016, 卷号: 9682, 页码: 968212
作者: Liu, Qiong; Deng, Chao; Tian, Jing; Mao, Yao

|

收藏 | 浏览/下载：31/0 | 提交时间：2018/06/14

Automatic Programming Codes (Symbols) Computer Software Selection And Evaluation Efficiency Electric Variables Measurement Equipment Hardware Manufacture Mirrors Optical Testing Program Processors Telescopes Tracking (Position)

Will This Bug-fixing Change Break Regression Testing? 会议论文 OAI收割
the International Symposium on Empirical Software Engineering and Measurement(ESEM), 中国北京友谊宾馆, 2015-10-25
Xinye Tang; Song Wang; Ke Mao

|

收藏 | 浏览/下载：26/0 | 提交时间：2016/06/04

source code change impact analysis regression testing static program analysis

fast verification of memory consistency for chip multi-processor 会议论文 OAI收割
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv; Chen Hao; Chen Feng; Yi Lv

|

收藏 | 浏览/下载：24/0 | 提交时间：2013/10/08

Algorithms Artificial intelligence Computational complexity Program processors Real time systems Software testing

Influence of spatial temperature distribution on high accuracy interferometric metrology (EI CONFERENCE) 会议论文 OAI收割
5th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Optical Test and Measurement Technology and Equipment, April 26, 2010 - April 29, 2010, Dalian, China
作者: Yang H.; Zhang J.; Zhang J.; Zhang J.; Yan F.

收藏 | 浏览/下载：26/0 | 提交时间：2013/03/25

We calculate the influence of temperature change on the refractive index of air establish a model of air temperature distribution and analyze the effect of different temperature distribution on the high accuracy interferometric metrology. First a revised Edlen formula is employed to acquire the relation between temperature and refractive index of air followed by introducing the fixed temperature gradient distribution among the spatial grid within the optical cavity between the reference flat and the test flat of the Fizeau interferometer accompanied by a temperature change random function within each grid. Finally all the rays through the air layer with different incident angles are traced by Matlab program in order to obtain the final output position angle and OPD for each ray. The influence of different temperature distribution and the length of the optical cavity in on the testing accuracy can be analyzed through the RMS value that results from repeatable rays tracing. As a result the horizontal distribution (vertical to optical axis) has a large effect on the testing accuracy. Thus to realize the high accuracy figure metrology the horizontal distribution of temperature must be rigorously controlled as well as to shorten the length of the optical cavity to a large extent. The results from our simulation are of great significant for the accuracy analysis of interferometric testing and the research of manufacturing a interferometer. 2010 Copyright SPIE - The International Society for Optical Engineering.

an automatic testing approach for compiler based on metamorphic testing technique 会议论文 OAI收割
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei

|

收藏 | 浏览/下载：17/0 | 提交时间：2011/03/31

Automation Errors Fault detection Program compilers Semantics Software design Testing

Optical system of large relative aperture and wide field using aspheric corrector for detecting (EI CONFERENCE) 会议论文 OAI收割
4th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Advanced Optical Manufacturing Technologies, November 19, 2008 - November 21, 2008, Chengdu, China
作者: Zhang J.; Zhang J.; Zhang J.; Wang J.

收藏 | 浏览/下载：21/0 | 提交时间：2013/03/25

The magnitude requirement of space target detecting determines that the image of detecting telescope should have several performances: small spots the wider field of view small 80% encircled energy diameter and good MTF(Modulation transfer function). So the aperture and field of view of optical system have some demands accordingly. The larger aperture the more extensive range which the telescope searches. Now most of ground telescopes whose apertures are from 500mm to 1000mm is on-axis optical system the more energy that telescope collects and higher magnitude the telescope detects so wide field of view becomes the most importance problem. To obtain large relative aperture and wide field of view the paper introduces a catadioptric telescope with small aperture aspheric refractive corrector whose conic surface will be used to remove the aberrations due to large relative aperture and wide field of view. As to the optical system there is only one aspheric refractive corrector and it is relatively easy for manufacturing because of its concave figure and normal material. The paper gives the example and optimizes this optical system with ZEMAX program. And then the paper provides a specific analysis program for testing the aspheric refractive corrector. The aperture of this optical system is 750mm and its relative aperture is 0.82 and the field of view is 3.6 diameter(diagonal). Its structure is simple and the image quality is also very good. 2009 SPIE.

a sentence generation algorithm for testing grammars 会议论文 OAI收割
IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24,
Zheng Lixiao; Wu Duanyi

|

收藏 | 浏览/下载：28/0 | 提交时间：2011/03/20

by-now folklore sentence generation algorithm complicated derivation structure context-free grammar testing error location grammar debugging length control mechanism user validation context-free grammars program debugging program testing program verification

testing wsdl_based web service automatically 会议论文 OAI收割
World Congress on Software Engineering, Xiamen, PEOPLES R CHINA, MAY 19-21,
Dong Wenli

|

收藏 | 浏览/下载：19/0 | 提交时间：2011/03/20

ATS ETS QoS WSDL software testing Web service description language Web service interface test group XML parser XML_based test scripting language abstract test suite executable test suite analysis interoperation test group message schema syntactic test group quality-of-service test case generation test data generation test flow tree-search algorithm Web services XML grammars program testing quality of service search problems specification languages trees (mathematics)

automated test program generation for an industrial optimizing compiler 会议论文 OAI收割
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui

|

收藏 | 浏览/下载：10/0 | 提交时间：2011/03/20

Chinese Academy of Sciences Institute of Software Matsushita Electric Industrial Co., Ltd automated test program generation industrial optimizing compiler script-driven test program generation process temporal-logic model automatic programming optimising compilers program testing temporal logic

Research on the airborne communication and navigation apparatus ATE system based on the virtual instrument (EI CONFERENCE) 会议论文 OAI收割
2008 Pacific-Asia Workshop on Computational Intelligence and Industrial Application, PACIIA 2008, December 19, 2008 - December 20, 2008, Wuhan, China
Zijing Z.; Zhongbao X.; Yanbin S.

收藏 | 浏览/下载：73/0 | 提交时间：2013/03/25

The airborne communication and navigation (CN) apparatus ATE system is the important apparatus for measure the working state and performance of the CN automatically and quickly. It has explained the composition of the ATE system based on the virtual instrument the bus structure and signal recuperated in this paper. The ATE System adopts platformization fault diagnosis thought the fault diagnose mechanism and logic are designed by the users which is an organic whole realized the fault diagnoses and the maintain means coordination. System is interchangeable and upgradeable on operating system special-purpose tester and the testing program is portable between the different ATE. Indicate by the practice the airborne CN apparatus ATE system have good military and economic benefits. 2008 IEEE.