带反射变量微分方程的极限周期解

本文利用给定的周期序列,定义了极限周期函数的一个子集,并讨论了该子集的一些性质。然后,借助Banach压缩映像原理证明了带反射变量的一阶微分方程■的极限周期解的存在性及唯一性,其中函数F关于t是一致极限周期的,且F关于后两个变量满足Lipschitz条件。     

分层土-隧道相互作用体系地震响应分析

为研究地震作用下非均质场地各个土层放大效应以及分层土-隧道的地震响应,以大连某实际工程为背景,基于地震作用下隧道结构动力响应的理论,采用收敛约束法,通过ABAQUS构建分层土-隧道三维有限元模型,并结合振动台试验,验证模拟的准确性;将自由场与有隧道场地进行对比,并结合加速度和傅里叶曲线对模拟数据进行分析。结果表明：(1)土体性质和激励大小对地震波的传递有影响,随着场地由浅到深逐渐增加,峰值加速度逐渐放大,不同分层介质的主要频率和频谱形状发生明显变化;(2)隧道会放大远场的加速度响应,略微降低近场的动力响应;(3)软弱夹层的存在对地震动的放大作用也有明显影响,不同分层介质的不同特性导致土层刚度不同,从而影响地震作用下层状土-隧道的动力相互作用。     

令人"耳目一新"的山地研究专著--评<山地地理系统综论>

近几年来 ,因为教学和科研工作需要 ,我查阅了国内外不少有关山地研究方面的著述。在众多的著述中 ,对我启迪最大的是徐樵利、谭传凤主编的《山地地理系统综论》( 1994年华中师范大学出版社出版 )。正如中国科学院院士、国内外著名地理学家陈述彭教授在该书序中指出的那样“……这部专著使人‘耳目一新’”。该专著之所以令人耳目一新 ,是因为它与最近二、三十年来国内外出版的其他山地著述相比 ,有许多独特的优点 :第一 ,这部专著把山地作为人类与自然相互作用的复杂的开放的巨系统进行研究 ,是迄今为止国内外罕见的综合研究山地的论著。近…     

LN-GDXT-1型多功能电源的研制

引言我国地震系统数字化台网改造工作正在全面展开 ,不仅需要高质量的数字化地震观测仪器 ,提高观测质量 ;同样也需要一种适合遥测台工作特点的供电系统 ,提高遥测台地震观测仪器的连续运行率。在遥测台网的监测工作中 ,由于原有的电源不尽完善 ,不能完全适应遥测台的工作环境 ,造成地震信号断记的现象时有发生。一直是困扰遥测台网监测工作质量的一个难题。为此 ,我们研制了 LN-GDXT-1型多功能电源。LN-GDXT-1型多功能电源具有性能稳定 ,输入交流电压范围宽 ,停电时持续供电时间长 ,免维护等特点 ,是一种较为理想的遥测台供电系统。1…     

既有线路曲线要素的测量与计算

铁路建设及其运输在中国经济社会发展中具有极为重要的地位和作用。改建既有线路以提高铁路运输能力,是投资少、见效快的一项重大措施,也是我国铁路建设的一项长期任务。既有铁路主要是在曲线上进行改建。既有铁路由于运行多年,曲线上的五大桩已不存在,即使存在,其位置也已不准确。针对这种现状,本文提出既有线路控制网建网方式,然后就如何得到既有线曲线要素,推导出计算公式,并加以实例论证。     

结构-地基体系的非比例阻尼影响及随机地震响应分析

针对结构-地基体系随机地震响应分析中存在的非比例阻尼耦合问题，采用不同非比例阻尼判断准则研究了结构-地基体系在不同刚度比，不同阻尼比下结构与地基间的阻尼耦合及体系不同振型间的阻尼耦合问题，推导了用于结构-地基非比例阻尼系统随机分析的小参数随机摄动分析公式，并用于地下大型有衬砌洞室的随机地震响应分析中。     

时空对象组成结构建模方法研究

针对传统空间信息系统建模方法无法对时空对象之间的整体/部分关系进行有效表达的问题,该文提出了一种面向时空对象的组成结构建模方法。从关系角度和相互作用角度对时空对象的组成结构进行形式化描述;以具有典型组成结构语义描述信息的行政区划实体为例,基于其基本特征设计了顾及组成结构层级信息表达和相互作用传递的逻辑数据模型和数据联动策略。以河南省及其所辖地市和县区为实例,分别构建了省级对象、地市级对象和县区级对象及其之间的组成结构,对行政区划统计属性更新和隶属关系变更等场景进行了模拟实验。基于行政区划的实验结果表明：提出的组成结构建模方法能够支持父子对象间相互作用的传导和对象数据联动更新等功能,为空间信息系统中行政区划更为有效的组织管理和辅助决策提供理论和技术支持。     

基于星心坐标系的视位置计算

在天文计算中所用到的观测瞬间的恒星坐标,一般是从某一历元的恒星位置表中的平坐标通过视位置计算得到.但这是针对测站设在地球上进行的,对于以导航卫星为测站的恒星位置计算还没有进行具体的推导.文中通过对基于星心坐标系视位置计算原理的详细分析,给出了基于星心坐标系恒星和卫星的视位置计算方法、公式和步骤,并通过编程试算,对测站设在地面上和测站设在卫星上的视位置改正的大小进行了初步比较,验证了程序的正确性.