西秦岭中生代花岗岩锆石U-Pb-Lu-Hf同位素特征及地质意义

对西秦岭地区中川岩体、柏家庄岩体和教场坝花岗岩体进行LA-ICP-MS锆石U-Pb同位素年代学分析, 获得其岩浆侵位年龄分别为220±1, 216±6和222±3 Ma, 表明3个岩体均形成于中?晚三叠世。样品的全岩地球化学分析结果表明, 3个岩体具有相似的稀土及微量元素特征, 均表现为显著亏损高场强元素Nb, Ti和P等, 具有明显的右倾式球粒陨石标准化稀土元素配分模式。锆石Lu-Hf同位素分析结果表明, 3个岩体锆石测年样品的ε_Hf(t)值介于?3.31~+1.68之间, 二阶段模式年龄介于1151~1456 Ma之间。岩石成因分析表明, 这些印支期花岗岩体的母岩浆主要来源于新元古代地壳物质的部分熔融。结合岩体形成时代、岩石成因和区域岩浆作用, 认为这些岩体形成于南秦岭与华南板块沿勉略缝合带相碰撞的造山动力学背景, 可能与华南板块的俯冲板片断离有关。     

基于鲸鱼优化算法的类图重构研究

为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构,研究结果表明:基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法,可有效提高重构质量.     

天波雷达对空探测任务下积累时间自适应优化设置研究

针对人工设置天波雷达相干积累时间存在盲目性, 不能充分发挥雷达探测性能的问题, 以空中目标探测为研究对象, 提出了自适应积累时间设置优化方法。首先, 分析了积累时间对天波超视距雷达探测性能的影响。其次, 计算了影响相干积累时间的信号时宽和积累点数的最优值。然后, 提出了自适应设置积累点数的方法。最后, 通过实验证明了本文方法比人工方法更能提高天波雷达探测性能。     

Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α，β）-适度混合集值映像与条件I^*的概念，提出了用于寻求（α，β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中，利用条件I^*与半紧性质，建立了所提（α，β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

可逆计算原理与实验进展

计算能耗高和散热问题使传统计算芯片的集成度和运算能力的提升遇到瓶颈.大规模量子计算探索的关键是比特的相干叠加性和可逆性.因此,可逆计算既作为一种可能从根本上解决计算耗能高和散热问题的方案,又作为一种兼容量子计算的方案,近年来在理论上和实验上得到了深入的研究.本文介绍了可逆计算的基本原理,总结了目前基于微机械、传统微电子和超导领域的可逆计算实验研究进展,分析了超导器件实现可逆计算的独特优势,并着重对其中两种器件的工作原理进行了论述.     

分数阶中立型时滞微分方程解的存在性及指数估计

近年来,随着分数阶微分方程在众多领域的广泛应用,其理论研究也引起了国内外学者的关注.论文研究分数阶中立型时滞微分方程在解存在的前提下其解的指数估计.首先,由分步法讨论分数阶中立型时滞微分方程的解的存在唯一的条件;然后,在解存在的前提下,利用Gronwall不等式,给出分数阶中立型时滞微分方程解的指数估计.     

网关控制器BootLoader系统设计

为实现某款车用网关控制器的实车应用程序更新功能、方便实车调试,设计了基于CAN总线的BootLoader系统.介绍了BootLoader系统实现的基本思路及具体实现方式,详细分析了以飞思卡尔控制器XET256为平台的存储空间分配、地址表示方式、存储空间擦除与写入方法.基于以CAN标准协议为基础的简单自定义命令和S19文件协议,实现了BootLoader与上位机之间信息的交互.试验结果表明,该BootLoader系统能够正确实现应用程序的更新及引导应用程序的执行,提高了网关控制器实车调试效率.     

飞行器健康监控的概念及其发展

飞行器健康监控技术是当前国内外的一个研究热点，其应用对于提高飞行器的可靠性、安全性和经济性具有重要的意义。文章从健康监控技术的概念、发展及相关技术三个方面进行了介绍。     

试论高校图书馆的教育支持服务体系

从有利于高校教育发展与支持教学工作的角度出发,分析了高校图书馆现有管理体系中存在的问题,并以支持教育教学发展为目的,提出了教育支持服务管理体系,以期能为高校图书馆管理者提供一些帮助。