兰州地区晚新生代沉积的岩石磁学记录及其古环境意义

位于黄土高原和西北干旱区过渡带的兰州地区,在晚新生代发育了一套风成红黏土和冲积—河湖相沉积.这套地层详细的岩石磁学研究结果表明,磁化率等一些磁学参数在细节上可能反映成壤作用强弱,但在大的趋势上大致反映干旱化,在长尺度研究中可作为干旱化的指标.S-300mT等另一些磁学参数主要反映赤铁矿质量分数,与红度值明显相关,因此同红度一样可作为温度的指标.底部冲积一河湖相沉积中黏土的主要载磁矿物是磁铁矿和赤铁矿;中下部红黏土沉积的主要载磁矿物是磁赤铁矿和赤铁矿,可能含针铁矿;中上部红黏土主要的载磁矿物是磁赤铁矿、磁铁矿和赤铁矿,可能含针铁矿.利用岩石磁学恢复的古环境表明,兰州地区在8.35～7.2 Ma是一个较为温暖的以冲洪积和河湖相为主的沉积环境;7.2～3.5 Ma主要为干陆地环境,同主体黄土高原一样接受粉尘沉积;6.3 Ma风尘沉积在沉积物中开始占主导地位;5.2 Ma兰州及其周边地区发生了急剧干旱化,可能伴随着快速降温;3.5 Ma开始的青藏高原运动A幕使兰州盆地瓦解,并于1.4 Ma开始接受黄土沉积,成为了黄土高原的西缘部分.     

利用全天超新星数据限制能量条件

用全天的超新星数据对能量条件进行了限制,比较了不同天空方向上的异同,并尝试将空间按距离分层分别进行能量条件的限制.通过对全天近2000颗超新星样本的分区域研究,我们发现在大尺度上超新星数据显示了较好的各向同性,但是非均匀性比较明显;超新星本动可能是导致能量条件遭到违反的重要原因.     

三解析函数的一般复合边值问题

研究开口弧段Γ上三解析函数的Riemann边值问题与封闭的Liapunov曲线L上三解析函数的Hilbert边值问题复合而成的一般复合边值问题,利用消去法将问题转化为Hilbert边值问题加以求解,并给出可解性条件和解的具体表达式.     

利用非对称双面金属光栅电极提高OLED光导出率的模拟研究

提出利用非对称双面金属光栅电极提高有机电致发光器件(OLED)的光导出效率,采用时域有限差分(FDTD)电磁场模拟仿真软件详细研究了OLED中表面等离子体激元的激发和耦合传输的物理规律和物理机制,计算和分析了非对称双面光栅电极的周期、槽宽、入射光的入射角等与OLED光导出率之间的关系,通过设计优化非对称金属光栅电极结构...     

基于ASD光谱仪的悬浮泥沙光学衰减系数研究

 设计了基于ASD光谱仪的玻璃水槽实验,测量人工光源穿透不同水深、不同质量浓度含沙水体的辐亮度,以纯水为参照,得出了某一粒径组成下不同质量浓度悬浮泥沙在350~920 nm波段范围内的光学衰减系数。实验泥沙样本的光学衰减系数光谱特征单一,随着波长的增大逐渐减小,表现为一条略倾的曲线,且正比于泥沙质量浓度。在0~0.15 m深度范围内的,相同质量浓度的泥沙光学衰减系数随水深的变化可以忽略不计。从350~920 nm,实验泥沙样本的单位质量浓度光学衰减系数从0.084缓慢减小至0.069 m²/g。     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。     

汽车状态感知系统的Android客户端

随着汽车数量的日益增多,为了合理调度车辆、为车辆选择最佳行车路线、对车辆故障提前预警,如何更加方便、可靠地获取汽车的实时状态信息,已成为迫切需要解决的问题。该文针对以上问题设计了运行在Android手机操作系统上的汽车状态感知系统的客户端,通过手机蓝牙对汽车状态数据进行采集,同时获取GPS位置信息,通过3G网络实时的将这些数据上传服务器,实现了状态实时显示、历史旅程查看等功能。该系统可以替代昂贵的车载终端,有效地降低汽车状态感知的成本;通过手机作为通信终端使其具有良好的可扩展性和灵活性,使用3G网络具有高带宽、低延迟、可靠性高等特点。通过实际的运行测试该系统可以实时地获取汽车状态信息,可以使监控中心对车辆的故障进行预警,还可以优化车辆的调度。     

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。     

管道机器人弯管运动转体原因分析

为避免管道机器人弯管内运行时发生转体现象而影响管内任务的执行,对机器人转体的原因进行了深入研究.以建立的管道机器人弯管运行的位姿模型为基础,对机器人的受力状况进行了分析,建立了机器人过弯时的转体力矩模型.通过对转体力矩的分析,揭示了管道机器人弯管运行时发生转体的根本原因,并指出了管道机器人弯管运行的最佳姿态角.理论计算表明:当机器人以最佳姿态角运行时,机器人转体力矩几乎为0,不发生转体;当机器人以其他姿态角运行时,将出现一个不为0的转体力矩,该力矩使机器人向平衡姿态角方向转体,直至机器人姿态稳定为止.在实际应用时,使机器人在平衡姿态角运行为最佳.仿真结果与理论计算基本一致,该研究为人弯管内的姿态稳定运行提供了一定的理论依据.     

城市交通微循环网络设计优化模型

定义了交通微循环概念.建立了交通微循环网络设计双层优化模型,上层问题为在满足路段饱和度约束及最大改造能力约束的条件下使得交通微循环对环境影响最小、交通效率最高及投资最省;下层问题采用用户均衡交通分配来描述驾驶员的路径选择行为.运用功效系数法构造了多目标规划的评价函数,并通过遗传算法建立了模型的求解算法.算例表明,通过求解双层规划模型可同时确定交通微循环网络构成及各条道路改造后的通行能力.