基于GPU的大规模多阶段任务系统可靠性并行计算方法

针对大规模多阶段任务系统(phased-mission system, PMS)的可靠性求解,引入并行计算思想,通过分析传统的一致化方法(uniformization method, UM),基于Nvidia提出的CUDA(compute unified device architecture)架构,实现了基于图形处理器(graphics processing unit, GPU)的UM并行算法(GPU-UM),并采用合并访问和共享内存技术,提高了GPU中数据负载的利用率;PMS中不同阶段参与任务的设备及其数量通常会发生变化,导致阶段间依赖性处理困难。通过对新设备加入、已有设备暂时退出任务或完全退出任务等3种基本情况的分析,提出了阶段间状态映射机制,实际中的阶段变化情况更加复杂,可综合上述3种基本情况进行处理。通过算例对比了GPU-UM、CUDA-UM、传统UM和Krylov子空间等4种算法的计算时间和可靠性结果,分析表明GPU-UM算法的计算耗时优于其他方法,且结果精度也能满足可靠性计算需求;同时,通过对比分析UM算法和Krylov子空间算法与仿真方法的结果误差,表明提出的阶段间映射机制能够正确处理PMS中阶段间的复杂依赖关系。     

基于高效液相色谱法的帕瑞昔布钠位置异构体测定

建立以高效液相色谱法(HPLC)测定帕瑞昔布钠位置异构体的方法.以硅烷键合硅胶为填充剂(Agela Technologies silica 4.6×250 mm,5μm);以正己烷—异丙醇(85∶15)为流动相,流速,1.0 m L/min,柱温,30℃,检测波长,215 nm.实验表明,帕瑞昔布钠与位置异构体分离度为1.86,理论塔板数分别为8 041和8 929;在0.04μg/m L~0.64μg/m L范围内,帕瑞昔布钠异构体线性关系良好(A=70.647c-1.401,r=0.9998);重复性良好(RSD为0.12%);平均回收率为94.47%(RSD为3.03%,n=9).采用HPLC法测定帕瑞昔布钠中的位置异构体,操作简单,准确度高且灵敏度好,可为控制帕瑞昔布钠质量提供依据.     

西秦岭中生代花岗岩锆石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之间。岩石成因分析表明, 这些印支期花岗岩体的母岩浆主要来源于新元古代地壳物质的部分熔融。结合岩体形成时代、岩石成因和区域岩浆作用, 认为这些岩体形成于南秦岭与华南板块沿勉略缝合带相碰撞的造山动力学背景, 可能与华南板块的俯冲板片断离有关。     

异地配置的雷达与电子支援措施异步航迹关联

针对异步条件下雷达与电子支援措施(electronic support measurements, ESM)航迹关联问题, 通过分析方位角异步测量值对交叉定位原理的影响, 提出一种无需时域配准的航迹关联算法。根据传感器存在时延以及采样率的不同, 给出不等长航迹序列的等长区间变换以及异步航迹交叉定位的区间化方法, 通过计算区间序列离散度实现异类传感器航迹关联。通过仿真验证, 区间序列离散度不受噪声分布的影响, 且对数据集整体特征的求解避免了传统算法中的逐点运算, 有效提高了算法运算率。与传统算法相比, 可在多种测量误差场景下对异步航迹直接进行准确关联。     

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

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

模拟增温对松嫩草地羊草有性生殖策略影响的研究

通过连续3年的模拟增温实验,探讨了东北松嫩草甸草原单优种羊草的有性生殖策略对大气温度增加的响应.结果表明:增温使羊草物候期从抽穗期开始比对照提前,尤其是从第一花粉囊外露之后到果实成熟期,物候期均比对照明显提前5～7d.增温降低了单位面积的生殖枝数量,但使生殖枝单株重量、每穗小花数、结实粒数、籽粒重量都显著增加.种群水平上,用于有性生殖的总能量减少,但单株水平上,用于籽粒发育的能量增加.羊草这一多年生根茎型禾草在大气温度升高的条件下会采取减少生殖枝数量而增加生殖枝结实能力的繁殖策略,说明类似于羊草的多年生根茎型禾草在温度变化的条件下生殖策略会发生较大改变,多年的持续增温可能导致种子产量的持续降低.     

某通用小型汽油机箱体有限元分析及结构优化

该文运用有限元法对某通用小型汽油机箱体进行了结构强度与刚度分析，结果表明右箱体主轴承位置最大变形量过大，刚度较差。为此对右箱体主轴承区域进行拓扑优化。优化方式为：增加右箱体主轴承处加强筋数量、增加壁面厚度以及在壁面上添加加强条。通过计算表明，该优化方式能使箱体的最大应力与应变大大下降，使其强度刚度有了较大提升，箱体的结构更趋合理。     

高职院校图书馆开展企业服务的意义及对策

阐述了高职院校图书馆开展企业服务的意义,分析了高职院校图书馆企业服务过程中存在的障碍因素,提出了高职院校图书馆为地方企业服务的对策。     

证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。