期刊文献+
共找到171篇文章
< 1 2 9 >
每页显示 20 50 100
基于余弦相似度和TSO-BP的短期光伏预测方法
1
作者 陆毅 薛枫 +3 位作者 唐小波 杨坤 李益 马刚 《浙江电力》 2024年第6期22-30,共9页
对光伏出力的精准预测在配电网安全稳定运行中起着至关重要的作用。因此,提出了一种基于余弦相似度和TSO-BP(金枪鱼群优化-反向传播)神经网络的短期光伏预测方法。首先,利用余弦相似度算法筛选出与预测日具有强相似度的历史数据作为训... 对光伏出力的精准预测在配电网安全稳定运行中起着至关重要的作用。因此,提出了一种基于余弦相似度和TSO-BP(金枪鱼群优化-反向传播)神经网络的短期光伏预测方法。首先,利用余弦相似度算法筛选出与预测日具有强相似度的历史数据作为训练样本;然后,采用TSO算法寻找BP神经网络的最优初始权值与阈值,训练TSO-BP短期光伏预测模型;最后,利用TSO-BP模型分别预测平缓天气与波动天气下的光伏出力。仿真结果表明:在平稳和波动两种不同天气情况下,该方法相较于传统预测方法精度更高。 展开更多
关键词 光伏预测 皮尔逊相关系数 余弦相似度 金枪鱼群优化算法 反向传播神经网络
下载PDF
基于HOG和TSO-SVM的水电机组轴心轨迹智能识别
2
作者 李浩博 李辉 +1 位作者 李华 袁江锋 《大电机技术》 2024年第2期81-87,共7页
水电机组的轴心轨迹能够反映机组不同的运行状态,为了提高轴心轨迹的识别率,准确判断机组运行状态,本文提出方向梯度直方图(Histogram of Oriented Gradient, HOG)结合由瞬态搜索优化(Transient Search Optimization, TSO)算法优化的支... 水电机组的轴心轨迹能够反映机组不同的运行状态,为了提高轴心轨迹的识别率,准确判断机组运行状态,本文提出方向梯度直方图(Histogram of Oriented Gradient, HOG)结合由瞬态搜索优化(Transient Search Optimization, TSO)算法优化的支持向量机(Support Vector Machine, SVM)的方法。将轴心轨迹信号经改进小波阈值方法去噪后,生成轴心轨迹图像,之后提取图像HOG特征,经主成分分析(Principal Components Analysis, PCA)降维处理后,利用TSO-SVM对降维后的特征进行分类识别。结果表明所提方法能够很好地识别不同状态的轴心轨迹,具有识别准确率高和识别速度快的特点。 展开更多
关键词 水电机组 轴心轨迹 小波阈值去噪 HOG特征 支持向量机 瞬态搜索优化算法
下载PDF
融合SBAS-InSAR技术与TSO-LSTM模型的矿区地表沉降预测方法 被引量:3
3
作者 肖海平 夏益强 +1 位作者 刘小生 陈兰兰 《金属矿山》 CAS 北大核心 2023年第1期126-133,共8页
矿区由于重工业器械的使用和采矿活动频繁,其岩层和地表容易发生沉陷和变形,快速、准确地分析、预测地表沉降是实现高效防灾减灾、推进绿色矿山建设的重要手段。针对现有预测模型监测点过少、多源数据难以获取以及网络模型超参数难以确... 矿区由于重工业器械的使用和采矿活动频繁,其岩层和地表容易发生沉陷和变形,快速、准确地分析、预测地表沉降是实现高效防灾减灾、推进绿色矿山建设的重要手段。针对现有预测模型监测点过少、多源数据难以获取以及网络模型超参数难以确定等问题,提出了一种基于金枪鱼群(Tuna Swarm Optimization,TSO)优化长短时间记忆(Long Short-Term Memory,LSTM)网络模型超参数的深度学习预测方法,利用多个高相干性点的沉降时序实现矿区的精准预测。利用SBAS-InSAR技术处理50景覆盖德兴铜矿区的Sentinel-1 A升轨SAR影像,获取了该区域25465个高相干性点的沉降时间序列。利用TSO算法优化LSTM网络模型超参数,寻找出最适合该矿区沉降时序预测的LSTM网络模型,并使用优化后的LSTM网络模型分区域对沉降区开展沉降时序预测并计算预测精度。研究表明:使用TSO算法优化LSTM网络模型超参数是有效的,优化后的模型均方根误差至少降低了20%,平均绝对值误差至少降低了35%,预测均方根误差不超过2 mm,预测平均绝对误差不超过3 mm,模型平均预测精度超过95%。所提方法为确保安矿区全安全生产,实现科学防灾、减灾提供了技术支持。 展开更多
关键词 开采沉陷 深度学习 金枪鱼群优化 长短时间记忆 沉降预测 SBAS-InSAR tso-LSTM
下载PDF
基于TSO优化SVM的滚动轴承故障诊断
4
作者 张叶凯 胡亮 +2 位作者 丰亚辉 何雨鑫 张帅辉 《煤矿机械》 2023年第12期168-172,共5页
介绍了一种基于金枪鱼群优化(TSO)算法优化支持向量机(SVM)模型的滚动轴承故障诊断方法。该方法将SVM模型的超参数作为优化问题的变量,将SVM模型的性能指标作为优化问题的目标函数,并使用TSO算法来搜索最优解,以优化SVM模型的分类性能... 介绍了一种基于金枪鱼群优化(TSO)算法优化支持向量机(SVM)模型的滚动轴承故障诊断方法。该方法将SVM模型的超参数作为优化问题的变量,将SVM模型的性能指标作为优化问题的目标函数,并使用TSO算法来搜索最优解,以优化SVM模型的分类性能。实验结果表明,相比传统的SVM方法,TSO-SVM模型在滚动轴承故障诊断中具有更高的分类准确率和诊断精度,证明了该方法的有效性和优越性。 展开更多
关键词 tso SVM 滚动轴承 故障诊断
下载PDF
基于TSO-Elman模型的财务困境预警
5
作者 康亮河 赵正强 +2 位作者 万君 王剑恩 王博 《现代信息科技》 2023年第9期162-165,共4页
针对Elman神经网络在财务困境中预测精度低的问题,文章提出了结合金枪鱼TSO算法与Elman神经网络的财务困境预警模型。针对2021年A股上市公司的财务数据,首先采用Z分数及多重插补法对异常值及缺失值进行了处理,并利用PCA算法筛选出贡献度... 针对Elman神经网络在财务困境中预测精度低的问题,文章提出了结合金枪鱼TSO算法与Elman神经网络的财务困境预警模型。针对2021年A股上市公司的财务数据,首先采用Z分数及多重插补法对异常值及缺失值进行了处理,并利用PCA算法筛选出贡献度为90%的重要属性;其次,利用TSO算法对Elman神经网络参数寻优,构建财务困境预测模型。实验结果表明:TSO-Elman模型在对上市公司财务困境预测中具有较高的预测精度及稳定性,相比RBF、BP、SVM及Elman模型,其分类准确率分别提高了18.89%、14.13%、12.54%及4.61%。 展开更多
关键词 tso算法 ELMAN神经网络 PCA算法 财务困境
下载PDF
基于TSO-VMD算法的电压暂降特征提取研究
6
作者 杨发宇 何觅 +1 位作者 代剑波 郭成 《电工技术》 2023年第21期23-27,共5页
针对电压暂降特征量提取精度低的问题,提出了一种金枪鱼算法(TSO)与变分模态分解(VMD)相结合的暂降特征提取方法。首先,初始化金枪鱼群位置向量[k,α](模态个数K和惩罚因子α),选取包络熵作为适应度函数,计算每条金枪鱼适应度并根据金... 针对电压暂降特征量提取精度低的问题,提出了一种金枪鱼算法(TSO)与变分模态分解(VMD)相结合的暂降特征提取方法。首先,初始化金枪鱼群位置向量[k,α](模态个数K和惩罚因子α),选取包络熵作为适应度函数,计算每条金枪鱼适应度并根据金枪鱼觅食方式更新最佳个体位置,若满足迭代终止条件,则终止迭代并输出结果[k,α],反之则重新计算适应度并开展下一轮迭代;其次,根据TSO算法优化的模态个数K和惩罚因子α对原始数据进行变分模态分解,获取模态分量;最终,计算模态分量IMF的均方根值,从而获取暂降幅值与持续时间。通过仿真分析验证了该算法提取暂降特征量的准确性、有效性以及TSO算法的优越性。 展开更多
关键词 tso-VMD算法 模态分量 均方根值 暂降幅值 持续时间
下载PDF
国外跨境电子商务税收冲击的经济效应:基于TSO-DSGE模型的研究 被引量:6
7
作者 苏为华 王玉颖 张崇辉 《统计研究》 CSSCI 北大核心 2020年第1期17-32,共16页
基于跨境电子商务的特点,本文构建了一个包含异质性贸易品生产商的三部门开放经济动态随机一般均衡模型,并在模型中引入了跨境电子商务出口贸易中介部门,定量分析了国外跨境电子商务税收冲击的经济效应。结果发现:①国外跨境电子商务税... 基于跨境电子商务的特点,本文构建了一个包含异质性贸易品生产商的三部门开放经济动态随机一般均衡模型,并在模型中引入了跨境电子商务出口贸易中介部门,定量分析了国外跨境电子商务税收冲击的经济效应。结果发现:①国外跨境电子商务税收冲击对我国产出的影响较为显著,抑制强度达71.3%,持续时间大致为10季;②对于厂商而言,税收冲击会提高产品价格,抑制国外居民消费,引发国内产出下降;为追求利润最大化,国内资本和劳动会转向传统贸易品和非贸易品;③提高跨境电子商务在出口贸易中的占比虽会导致收敛周期变长,但能更有效应对税收冲击;④跨境电子商务产品替代弹性越小,税收冲击的负面影响越小;且减少替代弹性能使税收冲击响应强度按64.22%的速度衰减,同时使产出波动周期平均缩短4.75季。据此,提出培育品牌卖家、增强消费者的品牌认同感,细化目标消费者、提高消费价格粘性,出台临时性出口补贴应对机制、落实解决出口退税难等对策。 展开更多
关键词 跨境电子商务 税收冲击 tso-DSGE模型 经济效应
下载PDF
纳米茶籽油微囊对低脂猪肉糜制品品质影响
8
作者 余康 邹俊 +2 位作者 袁梦 季秋雅 梅林 《食品工业科技》 CAS 北大核心 2024年第4期61-69,共9页
高脂产品低脂化符合消费者对健康的追求,是未来肉制品发展方向之一。本文以无茶籽油脂肪替代肉糜为对照组,考察了两种形式的茶籽油(Tea seed oil,TSO)及纳米微囊化茶籽油(Nano tea seed oil microcapsules,NTM)代替猪背膘对猪肉糜制品... 高脂产品低脂化符合消费者对健康的追求,是未来肉制品发展方向之一。本文以无茶籽油脂肪替代肉糜为对照组,考察了两种形式的茶籽油(Tea seed oil,TSO)及纳米微囊化茶籽油(Nano tea seed oil microcapsules,NTM)代替猪背膘对猪肉糜制品理化性质的影响,对不同脂肪替代肉糜制品保水性、蒸煮得率、水分分布、质构、微观结构、脂肪氧化水平等指标进行了研究。结果表明,添加50%、70%NTM可以改善添加TSO造成的肉糜制品保水能力的下降;NTM替代组的T_(21)弛豫时间、占比与无替代对照组组差异不显著(P>0.05),而TSO替代组不易流动水占比显著下降(P<0.05);NTM替代组,其L^(*)、b^(*)值较于无茶籽油替代组有所增强,a^(*)降低,且具有明显的脂肪氧化抑制效果,有效延长贮藏期;微观结构结果表明,NTM替代组油脂分布较TSO添加组更均匀,与蛋白质结合更紧密;质构特性结果表明,TSO替代会造成质构的劣化,而NTM可以改善劣化情况,其中添加70%NTM的肉糜弹性和粘度优于50%和70%NTM替代组。综上,添加70%NTM可以均匀分布于猪肉糜中,并与蛋白质之间形成更多的氢键,从而达到稳定低脂猪肉糜保水力,硬度,弹性等理化性质的目的。因此添加70%NTM的低脂肉糜品质最优。 展开更多
关键词 纳米茶籽油微囊(NTM) 茶籽油(tso) 脂肪替代 低脂肉 理化性质
下载PDF
基于KPCA-ITSO-ELM-Adaboost的变压器故障诊断方法 被引量:3
9
作者 傅晓锦 杨成 《国外电子测量技术》 北大核心 2022年第11期160-169,共10页
针对传统变压器故障诊断方法诊断精度低,单一智能诊断方法在实际模型中不能准确分类的问题,建立了一种改进金枪鱼算法(ITSO)优化加权极限学习机(ELM)的变压器故障诊断模型。首先,使用核主成分分析算法(KPCA)对变压器故障数据进行降维处... 针对传统变压器故障诊断方法诊断精度低,单一智能诊断方法在实际模型中不能准确分类的问题,建立了一种改进金枪鱼算法(ITSO)优化加权极限学习机(ELM)的变压器故障诊断模型。首先,使用核主成分分析算法(KPCA)对变压器故障数据进行降维处理,去除数据中的无用信息,提高模型的识别效率,然后,利用ITSO算法对ELM进行优化,建立ITSO-ELM变压器故障诊断模型,最后,使用Adaboost算法对ITSO-ELM模型进行增强。仿真实例表明,所提方法相比于与ELM-Adaboost、TSO-ELM、ITSO-ELM模型分别提高了11.6%、7.2%、4%,验证了所提模型的有效性。 展开更多
关键词 核主成分分析 金枪鱼算法 极限学习机 自适应增强算法 变压器 故障诊断
下载PDF
基于民航标准CTSO-C71电气性能试验台的研制
10
作者 张超 徐红专 +1 位作者 陈乾宏 汪洋一龙 《计算机测量与控制》 CSCD 北大核心 2012年第9期2463-2466,共4页
为了保证某型航空低压电源变换器在复杂的航空供电环境下能安全运行,该变换器必须按照相应的供电标准进行电气性能测试;按照中国民用航空技术标准CTSO-C71,为该型电源变换器研制一台专用的自动测试试验台;试验台不仅提供直流及过压供电... 为了保证某型航空低压电源变换器在复杂的航空供电环境下能安全运行,该变换器必须按照相应的供电标准进行电气性能测试;按照中国民用航空技术标准CTSO-C71,为该型电源变换器研制一台专用的自动测试试验台;试验台不仅提供直流及过压供电及输入注入谐波测试,还提供负载调节、输出短路以及13路驱动电流能力测试等功能;采用宽输出半桥变换器提供直流供电、全桥逆变器提供谐波注入及电子负载提供负载调节和输出短路功能;触摸屏提供友好的人机界面,并结合PLC实现定时和过程控制,完成自动测试;着重分析谐波模块基准的设计,指出谐波注入变压器的特殊工作状态并给出设计流程,介绍了宽输出半桥变换器及电子负载的设计点;试验台运行稳定,界面友好,可以完成所有电气性能测试。 展开更多
关键词 变换器 试验台 Ctso-C71 PLC
下载PDF
汉语名词谓语句的三域一体研究
11
作者 魏宏泽 《长春大学学报》 2024年第5期67-74,共8页
作为名词非典型用法的名词谓语句是学界历来讨论的焦点话题之一。认知语法理论的名词概念涉及最大辖域、直接辖域和焦点,以此为基础搭建的三域一体分析框架(TSO),解析了名词谓语句双名词(NP1 NP2)主谓结构的三域关系,阐释了该类句式概... 作为名词非典型用法的名词谓语句是学界历来讨论的焦点话题之一。认知语法理论的名词概念涉及最大辖域、直接辖域和焦点,以此为基础搭建的三域一体分析框架(TSO),解析了名词谓语句双名词(NP1 NP2)主谓结构的三域关系,阐释了该类句式概念化过程的认知特征。研究发现,名词谓语句的主谓语表现为多种语义关系,在认知层面统一于辖域蕴含关系。限定性成分是谓语名词的关键参数,对焦点域范围的有无和大小起调变作用。 展开更多
关键词 名词谓语句 三域一体 有界性 有定性
下载PDF
猪带绦虫TSOL18基因重组乳球菌疫苗的稳定性分析
12
作者 周必英 孙俊超 《中国人兽共患病学报》 CAS CSCD 北大核心 2018年第11期1016-1020,共5页
目的研究猪带绦虫TSOL18基因重组乳球菌(Lactococcus lactis,L.lactis)疫苗的人工传代稳定性。方法将重组质粒pMG36e-TSOL18、pMG36e-SP-TSOL18电转入L.lactis,经PCR鉴定阳性菌株pMG36e-TSOL18/L.lactis、pMG36e-SP-TSOL18/L.lactis,在... 目的研究猪带绦虫TSOL18基因重组乳球菌(Lactococcus lactis,L.lactis)疫苗的人工传代稳定性。方法将重组质粒pMG36e-TSOL18、pMG36e-SP-TSOL18电转入L.lactis,经PCR鉴定阳性菌株pMG36e-TSOL18/L.lactis、pMG36e-SP-TSOL18/L.lactis,在无红霉素抗性和含红霉素抗性条件下,连续人工传代20次,通过测定质粒遗传稳定率和双酶切鉴定,分析质粒pMG36e-TSOL18、pMG36e-SP-TSOL18在L.lactis中的稳定性情况。结果质粒pMG36e-TSOL18、pMG36e-SP-TSOL18在L.lactis中连续传代20代后,在无红霉素抗性条件下,质粒稳定率均为100%,在含红霉素抗性条件下,质粒稳定率均为99%。将各代次的质粒采用限制性内切酶SacI/HindIII进行双酶切鉴定,琼脂糖凝胶电泳显示大小正确,连续传至20代时,与原代质粒相符。结论提示质粒pMG36e-TSOL18、pMG36e-SP-TSOL18在L.lactis中连续传代20代时,均有较好的遗传稳定性,为猪带绦虫TSOL18基因重组乳球菌疫苗的进一步研究奠定了基础。 展开更多
关键词 猪带绦虫 tso L18基因 重组乳球菌疫苗 稳定性
下载PDF
超声波TSO仪测量技术的在线应用 被引量:1
13
作者 韩丽丽 王海毅 《造纸科学与技术》 2008年第5期32-34,共3页
超声波实时在线测量技术作为优化造纸过程、改善纸品质量使之更符合消费者要求的一种测量方法,已经得到了广泛的认同,并迅速的发展起来。本文主要描述了纸机生产过程中测量纸产品强度和弹性性能的新方法超声波TSO测量仪,及其在线实时测... 超声波实时在线测量技术作为优化造纸过程、改善纸品质量使之更符合消费者要求的一种测量方法,已经得到了广泛的认同,并迅速的发展起来。本文主要描述了纸机生产过程中测量纸产品强度和弹性性能的新方法超声波TSO测量仪,及其在线实时测量的信号处理技术、设备组成以及在工厂的实践应用等。 展开更多
关键词 超声波 tso 弹性性能 在线测量
下载PDF
Tectonic Evolution of the Meso-Tethys in the Western Segment of Bangonghu-Nujiang Suture Zone: Insights from Geochemistry and Geochronology of the Lagkor Tso Ophiolite 被引量:18
14
作者 YUAN Yajuan YIN Zhengxin +6 位作者 LIU Weiliang HUANG Qiangtai LI Jianfeng LIU Hongfei WAN Zhifeng CAI Zhourong XIA Bin 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2015年第2期369-388,共20页
The subduction of the Bangonghu-Nujiang Meso-Tethys and the collision between the Lhasa and Qiangtang blocks were important events in the growth of the Tibetan crust. However, the timing of collision initiation and cl... The subduction of the Bangonghu-Nujiang Meso-Tethys and the collision between the Lhasa and Qiangtang blocks were important events in the growth of the Tibetan crust. However, the timing of collision initiation and closure timing, as well as nature and structure of the Bangonghu ocean basin, are still poorly constrained. The Lagkor Tso ophiolite, located in the south of Gerze County, Tibet, is one of the most completed ophiolites preserved in the southern side of the Bangonghu- Nujiang suture zone. This study discussed the tectonic evolution of the Bangonghu-Nujiang suture zone as revealed by the Lagkor Tso ophiolite investigated by field investigations, petrology, geochemistry, geochronology and tectonic analysis methods. We present new LA-ICP-MS zircon U-Pb and 39Ar/4~Ar ages for the Lagkor Tso ophiolite, in addition to geochemical and platinum-group element (PGE) data presented for the Lagkor Tso ophiolite in Tibet. It is suggested that the ancient Lagkor Tso oceanic basin split in Middle Jurassic (161.2 ± 2.7 Ma - 165.4 ± 3.5 Ma), and experienced a second tectonic emplacement during the Early Cretaceous (137.90 ± 6.39 Ma). The Lagkor Tso ophiolite likely developed in an independent suture zone. The Bangonghu-Nujiang ocean subducted southwards, and the dehydration of the subducting oceanic crust materials caused partial melting of the continental mantle wedge, which formed the second-order expanding center of the obduction dish. This led to inter-arc expansion, followed by the formation of inter-arc and back-arc basins with island arc features, which are represented by ophiolites around the Shiquanhe-Lagkor Tso -Yongzhu region. The tectonic environment presently can be considered to be similar to that of the current Western Pacific, in which a large number of island arc-ocean basin systems are developed. 展开更多
关键词 OPHIOLITE GEOCHEMISTRY GEOCHRONOLOGY inter-arc basin Lagkor tso Bangonghu-Nujiangsuture zone
下载PDF
DIFFUSION MODELLING IN GARNET FROM TSO MORARI ECLOGITE AND IMPLICATIONS FOR EXHUMATION MODELS 被引量:4
15
作者 Patrick J.,O’Brien 1,Himanshu K. Sachan 2 (1 Bayerisches Geoinstitut, Universitt Bayreuth, D\|95440 Bayreuth, Germany,E\|mail:Patrick. Obrien@uni\|bayreuth.de 2 Wadia Institute of Himalayan Geology, Dehra Dun\|248001, India,E\|mail:wihg@giasdl01. 《地学前缘》 EI CAS CSCD 2000年第S1期25-27,共3页
The results of recent geothermobarometric and geochronological investigations of scarce eclogites of the NW Himalaya (Tso Morari (Ladakh), India and Kaghan Valley, Pakistan) have caused a major rethink of tectonometam... The results of recent geothermobarometric and geochronological investigations of scarce eclogites of the NW Himalaya (Tso Morari (Ladakh), India and Kaghan Valley, Pakistan) have caused a major rethink of tectonometamorphic models for India\|Asia collision. Numerous petrologic studies have been undertaken on the age and origin of metamorphism in the Higher Himalayan Crystallines (HHC) and Lesser Himalaya formations (LH) and their relationship to granite magmatism and movements along the Main Central Thrust (MCT) and South Tibetan Detachment Fault (STDF). However, all of these events are essentially Miocene (or younger) in age and can clearly be distinguished from subduction and exhumation processes undergone by the eclogites which are of Eocene age (Tonarini et al. 1993; Spencer & Gebauer; 1996; de Sigoyer et al. 1999) and relate to the very early stages of the collision. Eclogites of eastern Ladakh are mafic lenses found in granitic gneisses (Ordovician intrusive age: Girard & Bussy 1999) and their surrounding late Pre\|Cambrian to early Cambrian sedimentary units in the Tso Morari dome (see Steck et al. 1998). Detailed petrological and geochronological studies (Guillot et al. 1997; de Sigoyer et al. 1997, 1999) have identified an eclogite facies stage (2000±300)MPa, (580±60)℃ followed by isothermal decompression associated with glaucophane growth at around (1100±200)MPa. Dating of different phases by different methods yielded ages around 55Ma for this stage ((55±17) Ma, U\|Pb, Aln; (55±12) Ma, Lu\|Hf, Grt\|Cpx\|Rt; (55±7) Ma, Sm\|Nd, Grt\|Gln\|Rt). A subsequent amphibolite facies overprint at slightly higher temperature (610±70)℃ was dated at 45~48Ma (metabasite: (47±11) Ma, Sm\|Nd, Grt\|Hbl; metapelite: (45±4) Ma, Rb\|Sr, Mu\|Ap\|WR and (48±2) Ma, Ar\|Ar, Phe). By (30±1) Ma (Ar\|Ar, Bt\|Mu) retrogression into the greenschist facies had occurred (de Sigoyer et al. 1999). These data indicate a two stage history with early exhumation being much faster (>4mm/a) than the later evolution (1~2mm/a). 展开更多
关键词 ECLOGITE tso Morari DIFFUSION modelling GARNET temperature\|time\|path
下载PDF
TSO内存模型下限界可线性化的可判定性研究
16
作者 王超 吕毅 +1 位作者 吴鹏 贾巧雯 《软件学报》 EI CSCD 北大核心 2022年第8期2896-2917,共22页
TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TS... TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TSO可线性化的验证问题.它们分别是这3种可线性化的限界版本,都使用k-扩展历史,这样的扩展历史对应的执行有着限界数目(不超过k个)的函数调用、函数返回、调用刷出和返回刷出动作.k-扩展历史对应执行中的写动作数目是不限界的,进而执行中使用的存储缓冲区的大小也是不限界的,对应的操作语义是无穷状态迁移系统,所以3个限界版本可线性化的验证问题是不平凡的.将定义在并发数据结构与顺序规约之间的k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TSO可线性化的验证问题归约到k-扩展历史集合之间的TSO-to-TSO可线性化问题,从而以统一的方式验证了TSO内存模型下可线性化的3个限界版本.验证方法的关键步骤是判定一个并发数据结构是否有一个特定的k-扩展历史.证明了这个问题是可判定的,证明方法是将这一问题归约为已知可判定的易失通道机器的控制状态可达问题.本质上,这一归约将每一个函数调用或函数返回动作转化为写、刷出或cas(compare-and-swap)动作.在TSO-to-TSO可线性化的定义中,一个函数调用或函数返回动作会同时影响存储缓冲区和控制状态.为了模拟函数调用或函数返回动作对存储缓冲区的影响,在每个函数调用或函数返回动作之后立刻执行一个特定的写动作.这个写动作及其对应的刷出动作模拟了函数调用或函数返回动作对存储缓冲区的影响.引入观察者进程,为每个函数调用或函数返回动作“绑定”一个观察者进程的cas动作,以这种方式模拟了函数调用或函数返回动作对控制状态的影响.因此证明了TSO内存模型下可线性化的这3个限界版本都是可判定的,进而证明了在TSO内存模型下判定可线性化的这3个限界版本的复杂度都在递归函数的Fast-Growing层级■中.通过证明已知对应复杂度的单通道简单通道机器的可达问题和TSO内存模型下可线性化的3个限界版本可以互相归约得到这个结论. 展开更多
关键词 并发数据结构 可线性化 tso内存模型 可判定性 易失通道机器
下载PDF
Geochronology of the Dong Tso Ophiolite and the Tectonic Environment 被引量:2
17
作者 LI Jianfeng XIA Bin +4 位作者 XIA Lianze XU Lifeng LIU Weiliang CAI Zhourong YANG Zhiqing 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2013年第6期1604-1616,共13页
The wedge shaped Dong Tso ophiolitic block is distributed near the transition point from the western to the middle sub-belt of the Bangong-Nujiang suture zone.The ophiolite is characterized by well-developed cumulate ... The wedge shaped Dong Tso ophiolitic block is distributed near the transition point from the western to the middle sub-belt of the Bangong-Nujiang suture zone.The ophiolite is characterized by well-developed cumulate rocks that are mainly composed of cumulate and massive gabbros.In the cumulate gabbros,the adcumulate amphiboles are distributed extensively around the plagioclase and residual pyroxene grains; hence,the rocks are named adcumulate amphibole-gabbro.In this study,the formation age of the ophiolite has been estimated to be 166 ± 4 million years (Ma) by the sensitive high-resolution ion microprobe (SHRIMP) Ⅱ U-Pb isotopic analysis of the zircons from the adcumulate amphibole-gabbro; the 40Ar/39Ar plateau age was estimated to be 148.19 ± 1.53 Ma,which should represent the emplacement time of the ophiolite,by isotopic dating of the pure amphibole mineral from the amphibole-schist.Two different suits of volcanic lavas have been recognized in this work.The purple colored pillow basalts have high TiO2 and P2O5 contents,and are rich in light rare earth elements (LREEs),large-ion lithospheric elements (LILEs) and high-field-strength elements (HFSEs),the characteristics that are the typical of the oceanic island basalt (OIB).On the other hand,other massive basaltic andesites of celadon color are poor in MgO; rich in Fe2O3,LREEs,LILEs,and HFSEs; and especially characterized by negative Nb and Ta anomalies,the properties that establish the andesites as continental arc volcanic rocks.It is concluded that hotspots had developed in the old Dong Tso basin,the oceanic basin that had been developing from middle Jurassic (166 Ma) or even before and emplaced northward in late Jurassic (about 148 Ma). 展开更多
关键词 OPHIOLITE SHRIMP U-Pb age 40Ar/39Ar age Tectonic evolution Dong tso
下载PDF
浅析TSOA取证过程 被引量:1
18
作者 秦飞 《民用飞机设计与研究》 2016年第4期98-101,共4页
技术标准规定(TSO)设备制造商需取得技术标准规定项目批准书(TSOA)证,来获得FAA的批准,允许其按照相应的TSO标准设计和制造产品。为了保证TSO设备制造商顺利取得TSOA证,有必要对TSOA的取证过程进行研究。以航空器审定办公室(ACO)为主线... 技术标准规定(TSO)设备制造商需取得技术标准规定项目批准书(TSOA)证,来获得FAA的批准,允许其按照相应的TSO标准设计和制造产品。为了保证TSO设备制造商顺利取得TSOA证,有必要对TSOA的取证过程进行研究。以航空器审定办公室(ACO)为主线,通过分析ACO的职责,展示了TSOA的取证过程,明确了局方对TSO设备制造商的要求,为制造商取TSOA证提供指导。 展开更多
关键词 制造商 批准 tsoA取证过程 tso
下载PDF
Monitoring of Power Transmission as Constraint Management in TSOs' Operations 被引量:1
19
作者 Jean Constantinescu Nicholas Harkiolakis Daniela Bolborici 《通讯和计算机(中英文版)》 2012年第3期335-339,共5页
关键词 约束管理 电力系统调度 输电 监测 传输系统 安全性分析 自动调度 电力市场
下载PDF
Geochemistry of eclogites of the Tso Morari complex, Ladakh, NW Himalayas:Insights into trace element behavior during subduction and exhumation
20
作者 Mallika K.Jonnalagadda Nitin R.Karmalkar Raymond A.Duraiswami 《Geoscience Frontiers》 SCIE CAS CSCD 2019年第3期811-826,共16页
Whole rock major and trace element compositions of seven eclogites from the Tso Morari ultra-high pressure(UHP) complex, Ladakh were determined with the aim of constraining the protolith origins of the subducted crust... Whole rock major and trace element compositions of seven eclogites from the Tso Morari ultra-high pressure(UHP) complex, Ladakh were determined with the aim of constraining the protolith origins of the subducted crust. The eclogites have major element compositions corresponding to sub-alkaline basalts. Trace element characteristics of the samples show enrichment in LILE's over HFSEs(Rb, Th, K except Ba) with LREE enrichments((La/Lu)n = 1.28-5.96). Absence of Eu anomaly on the Primitive Mantle normalized diagram suggests the absence of plagioclase fractionation. Positive correlation between Mg# with Ni and Cr suggests olivine fractionation of mantle melts. Narrow range of(La/Yb)n(2.1-9.4) and Ce/Yb(6.2-16.2) along with Ti/Y(435-735) ratios calculated for the Tso Morari samples is consistent with generation of melts by partial melting of a garnet free mantle source within the spinel peridotite field. Ternary diagrams(viz. Ti-Zr-Y and Nb-Zr-Y) using immobile and incompatible elements show that the samples range from depleted to enriched and span from within plate basalts(WPB)to enriched MORB(E-MORB) indicating that the eclogite protoliths originated from basaltic magmas.Primitive Mantle normalized multi element plots showing significant Th and LREE enrichment marked by negative Nb anomalies are characteristic of continental flood basalts. Positive Pb, negative Nb, high Th/Ta, a narrow range of Nb/La and the observed wide variation for Ti/Y indicate that the Tso Morari samples have undergone some level of crustal contamination. Observed geochemical characteristics of the Tso Morari samples indicate tholeiitic compositions originated from enriched MORB(E-MORB) type magmas which underwent a limited magmatic evolution through the process of fractional crystallization and probably more by crustal contamination. Observed geochemical similarities(viz. Zr, Nb, La/Yb, La/Gd,La/Nb, Th/Ta ratios and REE) between Tso Morari eclogites and the Group I Panjal Traps make the trap basalt the most likely protoliths for the Tso Morari eclogites. 展开更多
关键词 Trace elements UHP METAMORPHISM PROTOLITH ECLOGITES tso Morari LADAKH
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部