基于语料库的西藏白皮书内的专名翻译研究

西藏白皮书的编写与发布在外宣工作中占据着重要位置,而其中西藏专名翻译规范性的重要性也较为突出。本文使用语料库的技术,对西藏白皮书内的专名翻译进行了分析。在专名的翻译过程中,存在着一名同译、一名多译、增译与省译并存、音译与意译并存等多种翻译现象与翻译方法。有鉴于此,文内提出应规范转写方案,审定西藏专名,统一翻译方法。     

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

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

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

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

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

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

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

证实原则的认知逻辑分析

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