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

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	正规树文法的产生式相交判定期刊论文 OAI收割计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212 倪晓勇; 陈海明 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2012/11/12 XML type checking regular tree grammar production rules intersection checking regular expression automata
	采用了剪枝优化的子类型关系判定算法期刊论文 OAI收割软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1481-1490 戴晓君; 陈海明 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/05/23 XML 静态类型化语言类型检查子类型关系判定算法优化XML statically typed language type checking subtyping algorithm optimization
	Level 0 and level 1 data processing for a type of hyper-spectral imager (EI CONFERENCE) 会议论文 OAI收割 2009 International Conference on Optical Instruments and Technology, OIT 2009, October 19, 2009 - October 21, 2009, Shanghai, China Li X.; Yan C. 收藏 \| 浏览/下载：74/0 \| 提交时间：2013/03/25 Hyper-spectral imaging (HSI) is a kind of optical remote sensor that can simultaneously obtain spatial and spectral information of ground targets. We are now designing a data processing system for a type of space-borne push-broom HSI then it performs radiometric and spectral calibration based on the ground calibration results and onboard calibration collection. The detailed algorithms for bad pixel replacement which has 128 spectral channels covering the spectral range from 400nm to 2500nm. With its large amount of spectral channels radiometric and spectral calibration were presented. After processing the HSI collects large volume of spectral imaging data need to be efficiently and accurately processed and calibrated. In this paper the digital numbers downlinked from the spacecraft can be converted into at-sensor absolute spectral radiance of ground targets the detailed Level 0 and Level 1 data processing steps for the HSI were presented. The Level 0 processing refers to a set of tasks performed on the data downlinked from the spacecraft thus providing accurate quantified spectral imaging data for various applications. 2009 SPIE. including decoding to extract science data separating the science data into files corresponding to different tasks (e.g. ground imaging dark imaging and onboard calibration) checking data integrity and instrument settings data format conversion and Level 0 files creation. The Level 1 processing performs several steps on Level 0 data. Firstly it corrects the image artifacts (mostly the SWIR smear effect) subtracts the dark background and performs the bad pixel replacement according to the prelaunch measurement
	efficient type checking for a subclass of regular expression types 会议论文 OAI收割 9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21, Chen Lei; Chen Haiming \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/06/13 Type checking automata derivative label one-unambiguous regular expression
	practical type checking of functions defined on context-free languages 期刊论文 OAI收割 Journal of Computer Science and Technology, 2004, 卷号: 19, 期号: 6, 页码: 840-847 Chen Haiming; Yun-Mei Dong \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2010/07/22 type checking context-free language algorithm