大气气溶胶对用红外窗区通道遥感陆面温度的影响

分析了大气气溶胶对红外窗区通道辐射传输的影响,考察了在用红外窗区通道反演陆面温度中,大气温度和湿度廓线没有误差时,大气气溶胶的不确定性对反演精度的影响,以及大气温度、湿度和气溶胶同时有偏差对地面温度反演精度的影响。     

冲击脉冲雷达探雷

基于毫微秒电磁脉冲理论发展起来的探地雷达技术是一种浅层地下目标探测雷达。根据某型工程侦察车中配置的冲击脉冲探地雷达研制经验,对探地雷达探测地雷时所遇到的若干关键技术进行了研究,给出了工程设计方法。结合具体探测试验数据,对地雷目标识别问题进行了分析,对今后从事冲击脉冲雷达探雷研究工作具有一定参考价值。     

地理信息系统GIS支持下的城市地质环境评价

以 GIS为支撑工具 ,对城市地质环境空间数据库的建立方法、城市建设用地类型的初步划分及城市建设用地与地质环境的协调性评价模型作了分析 ,并选取典型实例进行剖析 ,结果表明 GIS是城市地质环境研究的有效工具。     

元数据在土地利用现状管理信息系统中的设计实现

元数据对于促进数据的管理、使用和共享均有重要的作用,在时土地利用现状数据元数据的描述和元数据构成要素厦其关系分析的基础上,设计并分析了土地利用现状数据元数据管理子系统的框架结构和系统设计流程,结合实例详细介绍了用XML组织土地利用现状数据元数据内容和用XSLT转换XML文档的具体实现方法,最后在开发的土地利用现状管理信息系统（LandEx）中进行集成,实现了有效管理土地利用现状数据元数据的目的．提出并设计实现的土地利用现状元数据管理子系统在实践中具有一定的代表性和通用性．     

An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover

The constraint bipartite vertex cover problem (CBVC for short) is as follows: given a bipartite graph G with n vertices and two positive integers k₁, k₂, is there a vertex cover taking at most k₁ vertices from one and at most k₂ vertices from the other vertex set of G? CBVC is NP-complete. It formalizes the spare allocation problem for reconfigurable arrays, an important problem from VLSI manufacturing. We provide a nontrivial so-called fixed parameter algorithm for CBVC, running in O(1.3999^{k₁ + k₂} + (k₁ + k₂)n) time. Our algorithm is efficient and practical for small values of k₁ and k₂, as occurring in applications. The analysis of the search tree is based on a novel bonus point system: after the processing of the search tree (which takes time exponential in k), a polynomial-time final analysis follows. Parts of the computation that would be normally done within the search-tree phase can be postponed; nevertheless, knowledge about the size of those parts can be used to reduce the length of the search paths (and hence the depth of the search tree as a whole) by a sort of bonus points.     

宁波市耕地动态及其驱动力的初步研究

利用宁波市55年长序列耕地统计数据,20余年相关社会经济资料,从宁渡市耕地的数量变化、利用程度的变化和变化的区域差异等方面,分析了宁波市耕地动态变化的趋势和规律．应用主成分分析,定量地诊断出耕地变化的驱动因子,揭示耕地变化的驱动机制．结果表明：耕地数量总体呈不断减少趋势,人口压力、经济发展动态是影响宁波市耕地动态变化的主要动因．在此基础上,运用多元回归分析建立耕地变化回归模型．该成果将为宁波市合理地利用和保护耕地提供理论指导．     

基于抛物方程的海陆环境信号时延与到达角估计

针对复杂海陆环境中的无线信号传播预测问题,研究了适用于抛物方程的信号时延与到达角估计方法。将自由空间中抛物方程轴向波前信号视为本地副本信号,然后利用信号的自相关特性,将接收信号与副本信号进行互相关运算,最后通过相关函数的峰值检索,得到脉冲信号在复杂环境中传播的附加时延。采用数值算例,验证了该方法的正确性和有效性。此外,采用多重信号分类算法,由抛物方程构建接收阵列的协方差矩阵,并对其进行特征值分解,然后利用信号子空间和噪声子空间的正交性,实现复杂环境中的信号到达角估计。仿真结果表明,相比于传统的平面波谱方法,该方法具有更高的多径分辨率。基于上述方法,并结合数字地图,在典型的海陆环境中进行了仿真实验,分析了蒸发波导对脉冲信号传播时延和到达角的影响。     

中国土地制度的宪法解释：问题、争议及权衡

近年来,中国土地制度引发诸多争论,集中体现为对宪法第十条的不同解释。许多学者试图“回到宪法”,通过对土地条款的规范宪法学解释来弥合分歧。然而,从基本权利理论出发的规范宪法学解释方案并未能消弭分歧。这一争论的实质是土地增值收益分配,不同学者在此问题上持有不同的利益关怀。土地增值收益分配与中国宪制紧密相联,现有土地制度对于处理国家与民众关系、不同利益群体之间关系、中央与地方关系具有重要意义。因此,要以慎言违宪的态度对待宪法确立的土地制度基本架构。对于决策层而言,需要注意土地制度的变动,特别是土地增值收益分配机制的调整与中国城市化所处阶段相匹适,审慎权衡此种变动所带来的一系列影响。     

宋代司法中的事实认知与法律推理

宋代司法判决重视“明辨是非”,兼具事实求真与价值向善的两种诉求,宋代司法名公在事实问题与法律问题之划分上表现出了高度的自觉,显示了中国本土法学方法的划时代进步。在事实与法律的衔接上,司法名公综合运用了内部证成与外部证成。当裁判规范相对确定的时候,他们在事实与规范的循环互动中实现法律规范对生活事实的涵摄,得出案件事实认定结果,在叠加使用演绎推理方法的基础上做出案件判决。在裁判规范出现查找和证立困境的时候,他们在“法”与“理”的二元互动中谋求妥善的法律解释及法律续造,以平衡法律与社会道德伦理、国家秩序原理的关系,由此显示出了“法理”之自觉。从思维方法与价值体系的角度来看,宋代司法对于事实求真与价值向善的兼顾、在“法”与“理”的二元互动中论证说理,与朱熹理学思想在司法名公中的传播和运用存在着密切关系。