LAMOST观测星表覆盖算法模型

介绍了几种针对LAMOST巡天战略的覆盖算法，在理论上分析这些算法的优劣，并通过模拟的手段证明了分析的结果是正确的。     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

多源遥感数据融合在城市发展研究中的应用

多源遥感数据融合是一种通过高级影像处理技术来复合多源遥感影像的技术,其目的是将单一传感器的多波段信息或不同类别传感器所提供的信息加以综合,提高获取信息的有效性和准确性,解释的可靠性,以形成对目标的完整一致的信息描述,把不同传感器的遥感数据和非遥感数据融合在一起应用,是遥感技术应用向纵深发展的必然趋势。本文利用上海地区不同时期、不同卫星的遥感数据及没时期上海城区发展的地图数据,制作了上海市城市发展态势图,并对结果进行了分析研究。     

太阳系大行星发现之旅

在浩瀚的宇宙中,太阳系是一个行星大家庭.迄今所知的9颗大行星好像9个"乖孩子",一齐围在"太阳母亲"的身边有序地旋转.人类发现它们的历程,是宇宙探索史中最动人心弦的乐章之一.然而每当发现新的行星时,人们总是会问:太阳"妈妈"只有这几个"儿女"吗?正是这种对未知世界不断探索的精神,引导人类发现了一颗又一颗新的行星.     

中国大陆现今地壳运动速度场的最新观测结果

“中国地壳运动观测网络”是国家“九五”期间投资建设的一项重大科学工程,其中GPS观测由27个连续观测的基准站、55个年复测的基本站和近1000个不定期复测的区域站组成[1,2].自1998年该网络开始观测以来,基准站一直连续观测,基本站已观测7期,区域站于1999,2001和2004年观测了3期.中国大陆地域广阔,地质构造复杂,地震活动强烈,故GPS观测点密度越高越能准确地反映中国大陆现今地壳运动的总貌和细部特征,因此,目前区域站的观测数据是刻画现今地壳运动速度场之关键所在.据1999和2001年两期GPS观测,前人已给出过中国大陆速度场的初步结果[3~5…     

双层协同对地观测卫星星座设计

针对日益增长的卫星对地观测需求,提出了一种双层卫星星座设计方案.首先,分析了我国目前对地观测卫星的覆盖性能,以时间分辨率和空间分辨率作为对地观测星座的评价指标;然后,通过优化卫星轨道高度,得到满足任务要求的最优轨道;最后,通过设置轨道相位使得整个星座构成全连通链路,单个地面站与卫星相连便可以与整个星座相连,从而摆脱了对中继卫星的依赖.该方案充分结合了中轨星座时间分辨率高、低轨星座空间分辨率高的优点,相对于传统的单层卫星组网方案,双层星座能够以高空间分辨率和时间分辨率对全球任意目标1 d观测多次,并实现遥测指令与观测数据的实时传输.     

金星人哪里去了？（下）

夏日的午后,云淡风轻,宝石蓝般的天空闪烁着晶莹的珠光色。山梁上的浅绿与山沟中的深绿, 如一张柔和的毯子,温暖地覆盖着大地。而沿着山梁走势,一段段古代的城墙与城墙间镶嵌的碉堡形建筑,如同毯子上零散的灰色花朵。真是一个美好的午后。林珊想,收拾好饭桌,把垃圾袋放在车轮旁,她坐下来伸开双腿,在阳光里伸了个懒腰。太阳刺痛了眼睛, 她转了一个方向,看到旅游者开始购买售货亭中的简易观测镜。有些人对着天空张望,金星凌日的消息也传到这里了。     

论事实与法律的关系

将事实的本质问题划分为客观的事实、陈述的事实和裁判的事实三个层次的概念有助于对于事实与法律问题关系的认识。裁判的事实是该关系问题的核心，对于裁判事实的规范体现了法律与事实之间的联系，由此而促进了证据制度的发展和完善。对于裁判事实的规范体现在证据的相关性规则、可采性规则和自由心证制度等方面。     

森林冠层多角度高光谱观测系统的实现与分析

为了进一步理解遥感观测中地表目标物二向性反射特性产生的影响,增强定量反演植被结构和生理参数的能力, 以江西千烟洲通量站为基地建立了多角度高光谱观测系统。此系统主要由UniSpec-DC双通道光谱仪、Pan-Tilt Unit 可水平垂直旋转的云台、电脑、电力供应系统、软件控制系统,以及数据转换器等配件组成。获得的光谱数据经白板校正、暗电流校正、超量程数据插补、异常数据删除、缺失角度插补等预处理后可用于冠层反射率和植被指数的计算与定量分析。多角度高光谱观测系统观测的辐照度与通量观测的光合有效辐射(PAR)具有较好的一致性(R² = 0.961 4, P<0.001)。利用2013年7月观测得到的光谱和通量数据计算得到光化学反射指数(PRI)与光能利用率(LUE),二者表现出明显的对数关系(R² = 0.514 2, P<0.001)。分析认为,多角度高光谱遥感是定量研究森林生态系统的重要手段,也是进一步理解航空航天遥感与样地观测尺度问题的有效方法。     

银川一次冰雹云的观测和天气分析

利用常规气象观测资料、多普勒雷达探测资料,以2005年5月30日银川观象台观测的一次降雹过程为例,对冰雹形成过程中浓积云演变为积雨云并降冰雹的过程进行了深入的分析,对这次降冰雹过程前后云的演变、天气背景、影响系统、大气层结稳定度、雷达回波等特征进行了综合分析.结果表明,该冰雹云系是一个中小尺度系统、强度很强的对流风暴单体;影响系统为蒙古低涡;"高干冷、低暖湿"的高低层配置为强对流天气、冰雹的形成提供了有利条件.应用反射率因子、径向速度、风廓线等多谱勒雷达产品资料,有效地揭示了冰雹天气系统的结构特征,为观测人员准确判断、记录冰雹云具有一定的指导意义.