地图数据图层级批量综合功能的设计与研制

目前,已有地图综合系统使用过程中需要专业人员深度参与,耗时耗力、自动化程度较低。针对这一问题,从软件工程的角度探讨了图层级批量综合功能的研制。以1∶5万居民地图层数据的综合处理为例,分别从建筑物目标的剖分、特征参量定义与计算、综合操作决策与实施、综合控制规则建立与表达4个方面进行分析,尝试构建"特征诊断→行为决策→操作执行"的完整技术链条。结合样例数据对提出的技术设想进行可行性验证,并对后续工作进行展望。     

Orchestrating transnational environmental governance in maritime shipping

Maritime shipping is the transmission belt of the global economy. It is also a major contributor to global environmental change through its under-regulated air, water and land impacts. It is puzzling that shipping is a lagging sector as it has a well-established global regulatory body—the International Maritime Organization. Drawing on original empirical evidence and archival data, we introduce a four-factor framework to investigate two main questions: why is shipping lagging in its environmental governance; and what is the potential for the International Maritime Organization to orchestrate emerging private ‘green shipping’ initiatives to achieve better ecological outcomes? Contributing to transnational governance theory, we find that conditions stalling regulatory progress include low environmental issue visibility, poor interest alignment, a broadening scope of environmental issues, and growing regulatory fragmentation and uncertainty. The paper concludes with pragmatic recommendations for the International Maritime Organization to acknowledge the regulatory difficulties and seize the opportunity to orchestrate environmental progress.     

The Lateral Trigger Probability function for the Ultra-High Energy Cosmic Ray showers detected by the Pierre Auger Observatory

In this paper we introduce the concept of Lateral Trigger Probability (LTP) function, i.e., the probability for an Extensive Air Shower (EAS) to trigger an individual detector of a ground based array as a function of distance to the shower axis, taking into account energy, mass and direction of the primary cosmic ray. We apply this concept to the surface array of the Pierre Auger Observatory consisting of a 1.5 km spaced grid of about 1600 water Cherenkov stations. Using Monte Carlo simulations of ultra-high energy showers the LTP functions are derived for energies in the range between 10¹⁷ and 10¹⁹ eV and zenith angles up to 65°. A parametrization combining a step function with an exponential is found to reproduce them very well in the considered range of energies and zenith angles. The LTP functions can also be obtained from data using events simultaneously observed by the fluorescence and the surface detector of the Pierre Auger Observatory (hybrid events). We validate the Monte Carlo results showing how LTP functions from data are in good agreement with simulations.     

带有小数补偿的低频数控振荡器及其基于FPGA的实现

在分析数控振荡器（NCO）工作原理的基础上,以低频信号为例,研究了影响NCO性能的几个因素。结合杂散特性,着重讨论了频率控制字误差对输出频率带来的影响,提出在相位累加器中加入小数部分补偿,以使降低信号频率门限值和提高输出的准确性。最后采用FPGA（现场可编程门阵列）实现了带有小数补偿的NCO,在兼顾硬件资源的同时优化了系统性能,另外通过仿真验证了这种方法的可行性。     

FAST望远镜40米模型天文观测软件的开发

针对FAST的天文观测要求,对其天文观测软件进行了设计与开发。首先介绍了FAST天文观测的原理,对天文观测软件进行了需求分析。而后提出了馈源天文运动轨迹规划算法,并进行了仿真。针对其轨迹要求给出了控制方法,对天文观测控制软件进行了设计与实现。最后通过现场实地实验,验证了本文所提的算法与软件的可行性。     

卫星激光测距的电控系统设计与实现

给出的卫星激光测距的二轴系统实现了通过软件控制望远镜coude光路调整、接收系统SPAD和APD的自动切换、视场光阑大小的自动调节、以及发射光束指向的精确控制。该系统是基于MPC07运动控制卡,通过人机交互界面进行实时控制,旨在实现不同功能的调节,提高卫星激光测距的自动化程度。详细介绍了该系统的硬件组成、技术指标及软件工作方式。     

Further birth records of elephant seals Mirounga leonina in New Zealand (note)

The second and third recorded births of southern elephant seals Mirounga leonina on the mainland of New Zealand occurred at Kaikoura in mid‐October 1976. One female pup died within 14 d of birth and the other (sex unknown) disappeared from the region with its mother on 19 November 1976.     

Simulation of the Askervein flow. Part 2: Large-eddy simulations

Large-eddy simulations of the neutrally stratified flow over the Askervein Hill were performed, to improve the knowledge of the flow obtained from field measurements and numerical simulations with Reynolds averaged Navier-Stokes (RANS) methods. A Lagrangian dynamic subgrid model was used but, to avoid the underdissipative character near the ground, it was merged with a damped Smagorinsky model. Simulations of a flat boundary-layer flow with this subgrid model showed that the turbulent vertical motions and shear stress were better resolved using grids with a stream to spanwise aspect ratio Δx / Δy = 2 than with an aspect ratio Δx / Δy = 1. Regarding the flow over the Askervein Hill, it was found that large-eddy simulations provide an acceptable solution for the mean-velocity field and better predictions of the turbulent kinetic energy in the upstream side of the hill than the model. However, as with the model, grid convergence was not achieved in the lee side and the size of the zone with reversed flow increased with the grid refinement. Nevertheless, the existence of the intermittent separation predicted with unsteady RANS in part one of this work seems unquestionable, due to the deceleration of the flow. In our opinion, a better modelling of the decelerating boundary layer in the lee side is required to improve the results obtained using equilibrium assumptions and achieve grid convergence.     

天然气水合物开发安全检测技术应用研究

中国近年来先后在南海北部和祁连山南缘青海省天峻县永久冻土带中发现天然气水合物,这是一种新能源,它将对中国能源结构的调整和能源紧张的缓解起到非常重要的作用。但是,天然气水合物开采安全是个大问题,已经引起了国际上专家们的极大关注。俄罗斯南方国立技术大学地球物理、探矿工程和石油钻采教研室开发出来的天然气水合物开发安全检测技术和方法,可以准确确定出射孔部位的位置、检查射孔部位是否阻塞和如何解阻等关键技术,对天然气水合物开采安全提供了技术支撑,对此应该进行研究。     

河南省西峡县高庄金矿床地质特征及找矿前景

朱阳关-夏关断裂是一条长大于400km,深达上地幔的超壳断裂,沿断裂出露有较多的燕山期花岗岩（脉）体及一系列Cu、Au、Ag、Pb、Zn异常,有色金属、贵金属成矿作用明显。高庄金矿床赋存在朱阳关-夏关断裂次级断裂带中,为海底火山喷流-岩浆-构造热液叠加改造形成的含金石英脉-蚀变构造岩型金矿。本文分析了高庄金矿床特征,找矿标志。提出了在朱阳关-夏关断裂带中寻找金多金属矿床潜力较大。随着深部地质找矿的进一步开展,本区可成为我国重要的金多金属矿产基地。