期刊文献+
共找到319,554篇文章
< 1 2 250 >
每页显示 20 50 100
Aura/MLS与TIMED/SABER观测全球重力波特性 被引量:2
1
作者 杨文凯 杨钧烽 +5 位作者 郭文杰 杨晓华 夏仲飞 张炳炎 程旋 胡雄 《空间科学学报》 CAS CSCD 北大核心 2022年第5期919-926,共8页
大气重力波是临近空间环境主要大气波动之一,对全球环流具有重要影响。卫星上搭载的临边探测器能够探测临近空间大气温度,可用于临近空间大气重力波研究。利用2012-2014年Aura的微波临边探测器(MLS)和TIMED的红外临边探测器(SABER)的探... 大气重力波是临近空间环境主要大气波动之一,对全球环流具有重要影响。卫星上搭载的临边探测器能够探测临近空间大气温度,可用于临近空间大气重力波研究。利用2012-2014年Aura的微波临边探测器(MLS)和TIMED的红外临边探测器(SABER)的探测数据,对20~50 km高度的大气重力波扰动分布特征开展了分析研究,两种观测重力波活动基本一致,重力波随季节、纬度及高度的变化显著。冬季半球高纬度重力波扰动较强,赤道和夏季半球近赤道地区上空也存在明显重力波活动区域,夏季半球高纬度重力波扰动最弱。重力波扰动强度随高度增加。TIMED/SABER重力波扰动强度数值比Aura/MLS略强。 展开更多
关键词 卫星数据 Aura/MLS timed/saber 重力波
在线阅读 下载PDF
ICON/MIGHTI与TIMED/SABER探测温度数据的对比
2
作者 牟宵 闫召爱 +4 位作者 程旋 陈志芳 杨钧烽 胡雄 潘蔚琳 《空间科学学报》 CAS CSCD 北大核心 2024年第5期794-805,共12页
ICON卫星为临近空间环境特性研究、建模和预报提供了新数据.通过对ICON/MIGHTI与TIMED/SABER在90~105 km高度探测温度数据的比较,计算两者的年平均温度偏差和均方根误差,同时分析月平均温度偏差在不同月份中随高度和纬度的分布情况,为MI... ICON卫星为临近空间环境特性研究、建模和预报提供了新数据.通过对ICON/MIGHTI与TIMED/SABER在90~105 km高度探测温度数据的比较,计算两者的年平均温度偏差和均方根误差,同时分析月平均温度偏差在不同月份中随高度和纬度的分布情况,为MIGHTI和SABER温度探测数据在临近空间大气建模和预报应用提供参考依据.结果表明,MIGHTI和SABER的温度垂直廓线变化趋势基本吻合,数值上有所差异.在12°S-42°N范围内,MIGHTI探测温度与SABER相比,在90~93 km时偏低,偏差最大值约2.5 K,在93~105 km偏高,偏差的绝对值最大约10 K.在不同季节,白天的温度偏差通常高于夜晚.SABER和MIGHTI的月平均温度偏差随季节和纬度的变化显著,夏季时的月平均温度偏差最大,且温度的均方根误差最大. 展开更多
关键词 大气温度 临近空间 数据比较 ICON/MIGHTI timed/saber
在线阅读 下载PDF
TIMED/SABER与AURA/MLS临近空间探测温度数据比较 被引量:5
3
作者 谢衍新 肖存英 +2 位作者 胡雄 吴小成 杨钧烽 《空间科学学报》 CAS CSCD 北大核心 2018年第3期361-367,共7页
利用AURA/MLS数据(V4.2)和TIMED/SABER数据(V2.0)对20~92 km高度的大气温度进行比较分析,计算AURA/MLS数据与TIMED/SABER数据的温度绝对偏差,并分析平均温度偏差在不同季节中随经度、纬度和高度的变化特征.结果表明:20~80 km高度的平... 利用AURA/MLS数据(V4.2)和TIMED/SABER数据(V2.0)对20~92 km高度的大气温度进行比较分析,计算AURA/MLS数据与TIMED/SABER数据的温度绝对偏差,并分析平均温度偏差在不同季节中随经度、纬度和高度的变化特征.结果表明:20~80 km高度的平均温度偏差在±6 K以内,相对偏差在3%以内;80~90 km高度平均温度偏差减小至-10 K以下,相对偏差在9%以内.中低纬度地区平均温度偏差廓线的变化趋势一致,从20 km高度的-3 K左右的负偏差逐渐增加,在45~50 km高度的平流层顶处有较明显的3 K左右的正偏差峰值.平均温度偏差随纬度变化明显,随经度变化很小.研究结果可为卫星数据的应用提供参考依据. 展开更多
关键词 卫星数据 AURA/MLS timed/saber 温度
在线阅读 下载PDF
Wavenumber-4 spectral component extracted from TIMED/SABER observations 被引量:2
4
作者 Xing Li WeiXing Wan +1 位作者 JinBin Cao ZhiPeng Ren 《Earth and Planetary Physics》 CSCD 2020年第5期436-448,共13页
The wavenumber spectral components WN4 at the mesosphere and low thermosphere(MLT)altitudes(70–10 km)and in the latitude range between±45°are obtained from temperature data(T)observed by the Sounding of the... The wavenumber spectral components WN4 at the mesosphere and low thermosphere(MLT)altitudes(70–10 km)and in the latitude range between±45°are obtained from temperature data(T)observed by the Sounding of the Atmosphere using Broadband Emission Radiometry(SABER)instruments on board the National Aeronautics and Space Administration(NASA)’s Thermosphere–Ionosphere–Mesosphere Energetics and Dynamics(TIMED)spacecraft during the 11-year solar period from 2002 to 2012.We analyze in detail these spectral components WNk and obtain the main properties of their vertical profiles and global structures.We report that all of the wavenumber spectral components WNk occur mainly around 100 km altitude,and that the most prominent component is the wavenumber spectral component WN4 structure.Comparing these long duration temperature data with results of previous investigations,we have found that the yearly variation of spectral component WN4 is similar to that of the eastward propagating non-migrating diurnal tide with zonal wavenumber 3(DE3)at the low latitudes,and to that of the semi-diurnal tide with zonal wavenumber 2(SE2)at the mid-latitudes:the amplitudes of the A4 are larger during boreal summer and autumn at the low-latitudes;at the mid-latitudes the amplitudes have a weak peak in March.In addition,the amplitudes of component WN4 undergo a remarkable short period variation:significant day-to-day variation of the spectral amplitudes A4 occurs primarily in July and September at the low-latitudes.In summary,we conclude that the non-migrating tides DE3 and SE2 are likely to be the origins,at the low-latitudes and the mid-latitudes in the MLT region,respectively,of the observed wavenumber spectral component WN4. 展开更多
关键词 timed observations wavenumber spectral components non-migrating tides short period variation
在线阅读 下载PDF
COSMIC大气掩星与SABER/TIMED探测温度数据比较 被引量:17
5
作者 宫晓艳 胡雄 +1 位作者 吴小成 肖存英 《地球物理学报》 SCIE EI CAS CSCD 北大核心 2013年第7期2152-2162,共11页
本文利用2009年1月—2011年12月共3年的COSMIC大气掩星观测数据与SABER/TIMED探测数据开展15~60km大气温度数据的比较分析研究,计算COSMIC与SABER/TIMED探测温度的绝对偏差(TSABER-TCOSMIC),并统计其平均温度偏差和标准偏差,分析温度... 本文利用2009年1月—2011年12月共3年的COSMIC大气掩星观测数据与SABER/TIMED探测数据开展15~60km大气温度数据的比较分析研究,计算COSMIC与SABER/TIMED探测温度的绝对偏差(TSABER-TCOSMIC),并统计其平均温度偏差和标准偏差,分析温度偏差随高度、纬度和季节的分布特征,为COSMIC大气掩星与SABER/TIMED探测数据的应用提供更多的参考依据.结果表明:COSMIC与SABER/TIMED数据所反映的温度随高度的变化特征是一致的,数据的大体趋势吻合较好.全球范围的平均温度偏差在38km左右接近于0K,在38km以上,平均温度偏差表现为负的系统性偏差,且随着高度逐渐增大,在38km以下,平均温度偏差表现为正的系统性偏差,在23km左右存在极大值,约为2.7K.COSMIC与SABER/TIMED温度偏差的分布存在着随纬度和季节的变化特征,35km以下,平均温度偏差在高纬地区和冬季较小,低纬地区和夏季较大,35km以上,平均温度偏差在高纬地区和冬季较大,低纬地区和夏季较小.温度偏差的标准偏差在低纬地区和夏季较小,高纬地区和冬季较大.纬圈平均的温度偏差在南北半球的分布基本呈对称结构. 展开更多
关键词 COSMIC 大气掩星 saber timed 温度 比较
在线阅读 下载PDF
基于TIMED/SABER卫星温度数据对大气经验模型的评估 被引量:6
6
作者 程旋 肖存英 +1 位作者 胡雄 杨钧烽 《中国科学:物理学、力学、天文学》 CSCD 北大核心 2018年第10期75-89,共15页
以TIMED/SABER观测的2002–2016年共计15年的全球温度数据为标准,与USSA-76及NRLMSISE-00模式温度数据对比分析.通过计算大气模式与卫星观测的温度偏差、温度偏差的标准差及均方根误差,分析两种大气模型的适用性.通过设置模式与卫星观... 以TIMED/SABER观测的2002–2016年共计15年的全球温度数据为标准,与USSA-76及NRLMSISE-00模式温度数据对比分析.通过计算大气模式与卫星观测的温度偏差、温度偏差的标准差及均方根误差,分析两种大气模型的适用性.通过设置模式与卫星观测温度偏差,计算不同纬度地区温度偏差要求下模式的置信度.结果表明:(1)两个大气模型计算的温度数据与卫星观测的温度数据随高度的变化具有较好的一致性;(2) NRLMSISE-00模式的日平均和月平均精度高于USSA-76模式;(3)两个大气模式在冬夏季高纬地区及中纬地区UMLT高度表征真实大气的能力有待提高, NRLMSISE-00模式表征真实大气的能力整体优于USSA-76模式;(4)同一模式在相同纬度地区和温度偏差要求下,置信度随着高度的升高而降低;相同的高度和温度偏差要求下,置信度随着纬度的升高而降低.通过分析USSA-76和NRLMSISE-00模式与卫星观测数据之间的差异,对大气模式在工程中的应用提供参考,为大气模式的后续修正提供依据. 展开更多
关键词 大气模型 温度 timed/saber NRLMSISE-00 USSA-76 评估
原文传递
2003—2011年平流层顶抬升事件的SABER/TIMED观测 被引量:3
7
作者 帅晶 黄春明 +4 位作者 张绍东 易帆 黄开明 甘泉 龚韵 《地球物理学报》 SCIE EI CAS CSCD 北大核心 2014年第8期2465-2472,共8页
利用2003-2011年的SABER/TIME)温度数据观测发现,在2006年、2009年和2010年北半球高纬(70°N)的冬季(1-3月)发生了"平流层顶抬升".在这3次事件中,1月末-2月初的-50 km和-80 km高度处分别出现了温度的极大值-260 K和-230 K,... 利用2003-2011年的SABER/TIME)温度数据观测发现,在2006年、2009年和2010年北半球高纬(70°N)的冬季(1-3月)发生了"平流层顶抬升".在这3次事件中,1月末-2月初的-50 km和-80 km高度处分别出现了温度的极大值-260 K和-230 K,即平流层顶的高度突然由原来的50 km左右上升至80 km左右,这就是平流层顶抬升事件;随着时间的推移,抬升的平流层顶的高度逐渐下降直至恢复到原有位置,与此同时其温度由-230 K上升至-260 K.值得注意的是,虽然在极区的每年冬天都发生平流层突然增温事件,但是只在伴随着极涡分裂的平流层突然增温事件后出现平流层顶抬升.此外,在发生平流层顶抬升事件的冬季里,高纬的重力波活动在1月末-2月初的-80 km高度处突然增强,对应着平流层顶的抬升时间和高度;在2月份之后,重力波活动在75 km以下逐渐增强、在75 km以上逐渐减弱,同时抬升的平流层顶也不断下降.通过重力波活动与平流层顶抬升事件的相关性分析,表明重力波活动可能对平流层顶的抬升有重要影响. 展开更多
关键词 抬升的平流层顶 平流层突然增温 重力波 saber
在线阅读 下载PDF
基于SABER/TIMED温度数据的全球平流层顶与重力波活动的气候学特征的观测研究 被引量:1
8
作者 帅晶 黄开明 +1 位作者 孙宝林 宋莺 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2024年第4期507-514,共8页
利用2002年1月25日—2012年12月31日的SABER/TIMED温度数据,统计分析了平流层顶的变化特征及其与平流层顶区域重力波和背景纬向风场的相关性。在南、北半球0°~30°的低纬区域,平流层顶高度呈现冬夏季较高的半年变化,此时重力... 利用2002年1月25日—2012年12月31日的SABER/TIMED温度数据,统计分析了平流层顶的变化特征及其与平流层顶区域重力波和背景纬向风场的相关性。在南、北半球0°~30°的低纬区域,平流层顶高度呈现冬夏季较高的半年变化,此时重力波活动较强,而平流层顶温度呈现春秋较大的半年变化;在南北半球40°~50°的中纬区域,平流层顶的高度、温度与重力波活动都呈现年变化,其中平流层顶高度与重力波活动的极大值出现在冬季,而平流层顶温度的极大值出现在夏季。相关性分析显示,平流层顶高度与重力波活动强度主要呈正相关,而平流层顶温度与重力波活动强度主要呈反相关;低纬的背景纬向风在春分秋分较大,与平流层顶温度呈正相关,而中纬的背景纬向风则在冬季较强,与平流层顶温度呈反相关;平流层顶的高度、温度与重力波活动强度、纬向风间相关系数都具有南北半球不对称性。并且,平流层顶高度和温度的峰值都随纬度增大,同时,重力波活动和背景风场也随纬度增强,表明平流层顶与重力波活动和背景风场间的相互影响。 展开更多
关键词 平流层顶 重力波 纬向风 saber/timed
原文传递
1例坏疽性脓皮病病人基于“TIME”原则的创面护理实践
9
作者 郭青 赵茜 +1 位作者 冯晓琳 栾红 《全科护理》 2026年第2期386-389,共4页
总结1例坏疽性脓皮病病人应用“TIME”原则的创面护理经验,基于“TIME”原则结合系统药物治疗及多维度护理干预,实施分阶段创面护理。经过50 d系统治疗及针对性护理,病人溃疡面积显著缩小,疼痛数字评分(NRS)由8分降至2分,创面基底肉芽... 总结1例坏疽性脓皮病病人应用“TIME”原则的创面护理经验,基于“TIME”原则结合系统药物治疗及多维度护理干预,实施分阶段创面护理。经过50 d系统治疗及针对性护理,病人溃疡面积显著缩小,疼痛数字评分(NRS)由8分降至2分,创面基底肉芽组织增生良好,出院33 d后随访病情稳定,伤口愈合良好。 展开更多
关键词 坏疽性脓皮病 time”原则 创面护理 伤口感染
暂未订购
Calculation method for cut blasting millisecond-delay time in a viscoelastic rock mass
10
作者 Zhao Fengze Chen Ming +3 位作者 Li Kanggui Lu Wenbo Wang Yang Ye Zhiwei 《Earthquake Engineering and Engineering Vibration》 2026年第1期123-139,共17页
This research is focused on the calculation of a reasonable detonator delay time for realizing cut blast vibration control.First,the viscoelastic rock mass parameters corresponding to the engineering rock mass quality... This research is focused on the calculation of a reasonable detonator delay time for realizing cut blast vibration control.First,the viscoelastic rock mass parameters corresponding to the engineering rock mass quality classification were determined based on wave theory of Kelvin medium.Then,a calculation model was obtained for the millisecond-delay cut blast vibration in Kelvin media using the Starfield charge superposition principle.Further,the influence of the delay time on the cut blast vibration was quantitatively analyzed and a method for calculating the reasonable cut blasting millisecond delay time is proposed according to the principle of dimensional analysis.Finally,field tests were used to verify the applicability of the method.The results show that 5 ms to 20 ms is a better detonator delay time range and cut blasting vibration can be effectively controlled using the delay time calculated by the calculation model described in this paper. 展开更多
关键词 cut blasting VISCOELASTIC vibration control millisecond-delay time
在线阅读 下载PDF
Deciphering the genetic regulation of flowering time in rapeseed for early-maturation breeding
11
作者 Minghao Zhang Wei Chang +16 位作者 Ruicheng Hu Yuxuan Ruan Xiaodong Li Yonghai Fan Boyu Meng Shengting Li Mingchao Qian Yuling Chen Yuanyi Mao Daifei Song Haikun Yang Luxiang Niu Guangyuan Cao Zhixia Deng Zhixuan Qin Hui Wang Kun Lu 《Journal of Genetics and Genomics》 2026年第1期16-27,共12页
Flowering time is a critical agronomic trait with a profound effect on the productivity and adaptabillity of rapeseed(Brassica napus L.).Strategically advancing flowering time can reduce the risk of yield losses due t... Flowering time is a critical agronomic trait with a profound effect on the productivity and adaptabillity of rapeseed(Brassica napus L.).Strategically advancing flowering time can reduce the risk of yield losses due to extreme climatic conditions and facilitate the cultivation of subsequent crops on the same land,thereby enhancing overall agricultural efficiency.In this review,we synthesize current information on flowering time regulation in rapeseed through an integrated analysis of its genetic,hormonal,and environmental dimensions,emphasizing their crosstalk and implications for yield.We consolidate multi-omics evidence from population genetics,functional genomics,and systems biology to create a haplotype-based framework that overcomes the trade-off between flowering time and yield,providing support for the precision breeding of early-maturing cultivars.The insights presented here could inform future research on flowering time regulation and guide strategies for increasing rapeseed productivity. 展开更多
关键词 Brassica napus Early maturation Flowering time Genetic regulation YIELD
原文传递
LinguTimeX a Framework for Multilingual CTC Detection Using Explainable AI and Natural Language Processing
12
作者 Omar Darwish Shorouq Al-Eidi +4 位作者 Abdallah Al-Shorman Majdi Maabreh Anas Alsobeh Plamen Zahariev Yahya Tashtoush 《Computers, Materials & Continua》 2026年第1期2231-2251,共21页
Covert timing channels(CTC)exploit network resources to establish hidden communication pathways,posing signi cant risks to data security and policy compliance.erefore,detecting such hidden and dangerous threats remain... Covert timing channels(CTC)exploit network resources to establish hidden communication pathways,posing signi cant risks to data security and policy compliance.erefore,detecting such hidden and dangerous threats remains one of the security challenges. is paper proposes LinguTimeX,a new framework that combines natural language processing with arti cial intelligence,along with explainable Arti cial Intelligence(AI)not only to detect CTC but also to provide insights into the decision process.LinguTimeX performs multidimensional feature extraction by fusing linguistic attributes with temporal network patterns to identify covert channels precisely.LinguTimeX demonstrates strong e ectiveness in detecting CTC across multiple languages;namely English,Arabic,and Chinese.Speci cally,the LSTM and RNN models achieved F1 scores of 90%on the English dataset,89%on the Arabic dataset,and 88%on the Chinese dataset,showcasing their superior performance and ability to generalize across multiple languages. is highlights their robustness in detecting CTCs within security systems,regardless of the language or cultural context of the data.In contrast,the DeepForest model produced F1-scores ranging from 86%to 87%across the same datasets,further con rming its e ectiveness in CTC detection.Although other algorithms also showed reasonable accuracy,the LSTM and RNN models consistently outperformed them in multilingual settings,suggesting that deep learning models might be better suited for this particular problem. 展开更多
关键词 Arabic language Chinese language covert timing channel CYBERSECURITY deep learning English language language processing machine learning
在线阅读 下载PDF
基于TimeVAE的1DCNN-S-Mamba组合模型光伏功率短期预测
13
作者 许可证 文中 王秋杰 《热力发电》 北大核心 2026年第1期122-133,共12页
针对极端天气下光伏功率预测存在的气象响应失准、突变特征捕捉困难及数据稀缺等问题,提出一种基于模糊C均值(fuzzy C-means,FCM)、最大信息系数(maximum information coefficient,MIC)、时序变分自编码器(time variational auto-encode... 针对极端天气下光伏功率预测存在的气象响应失准、突变特征捕捉困难及数据稀缺等问题,提出一种基于模糊C均值(fuzzy C-means,FCM)、最大信息系数(maximum information coefficient,MIC)、时序变分自编码器(time variational auto-encoders,TimeVAE)、一维卷积神经网络(1D convolutional neural network,1DCNN)和simple-Mamba(S-Mamba)的组合功率预测模型。首先,通过气象特征结合FCM聚类将天气划分为晴天、多云、降雪和降雨4类;然后,结合MIC筛选出最佳气象特征子集,同时针对极端天气样本匮乏问题,采用Time VAE进行数据生成,利用其分解式重构机制生成仿真数据;最后,使用1DCNN-S-Mamba组合模型通过局部卷积捕获短时突变特征,结合双向状态空间建模实现长程依赖解析进行预测。实验结果表明,该模型提升了复杂天气下光伏功率预测的时效性与准确性。相较于S-Mamba,所提模型平均绝对误差和均方根误差在降雪天气下分别降低了3.65%和5.10%。 展开更多
关键词 模糊聚类 时序变分自编码器 数据增强 一维卷积神经网络 S-Mamba
在线阅读 下载PDF
Timed CSP在硬件高层设计中的应用
14
作者 崔小欣 于敦山 +1 位作者 崔小乐 盛世敏 《计算机工程》 EI CAS CSCD 北大核心 2006年第7期14-16,共3页
介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进... 介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进一步丰富了硬件系统规格的内容,为复杂的硬件系统设计提供了一种可执行的规格说明方法。 展开更多
关键词 timed CSP HDL 高层次系统描述 SEC
在线阅读 下载PDF
品管圈在提高拔牙术前Time-out程序正确执行率的应用
15
作者 游迪迪 叶芳平 +1 位作者 武丹 谷丽萍 《现代医院》 2026年第1期47-51,共5页
目的探讨品管圈活动在提高口腔门诊拔牙术前Time-out程序正确执行率的应用效果。方法成立品管圈小组,调查科室现状,采用5/3/1评分法选定“提高拔牙术前Time-out程序正确执行率”为活动主题,收集2023年6月1日—6月8日南方医科大学口腔医... 目的探讨品管圈活动在提高口腔门诊拔牙术前Time-out程序正确执行率的应用效果。方法成立品管圈小组,调查科室现状,采用5/3/1评分法选定“提高拔牙术前Time-out程序正确执行率”为活动主题,收集2023年6月1日—6月8日南方医科大学口腔医院海珠广场院区口腔颌面外科拔牙术前Time-out程序正确执行情况,2023年10月12日至10月19日分析未正确执行的原因,设定改善目标,制定并实施对策。结果品管圈活动实施后,拔牙术前Time-out程序正确执行率由35.89%提升至80.81%,目标达成率和进步率分别为107.26%和125.16%。圈员的综合能力较活动前明显提升。结论品管圈活动能有效提高口腔门诊拔牙术前Time-out程序正确执行率,降低医疗风险,保障患者安全,同时增加科室成员的责任心与严谨性,促进医护协作,体现品管圈管理工具在解决临床问题中的实用价值。 展开更多
关键词 品管圈 拔牙术前的核对 time-out程序
暂未订购
Timed SEFM:面向嵌入式实时控制系统的编程模型 被引量:1
16
作者 刘杰 陈香兰 +1 位作者 李晓飞 李曦 《计算机工程与应用》 CSCD 北大核心 2016年第10期19-26,共8页
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时... 实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。 展开更多
关键词 硬实时 控制系统 编程模型 时间可预测性 逻辑执行时间 服务体/执行流
在线阅读 下载PDF
一种分析Timed-Release公钥协议的扩展逻辑 被引量:5
17
作者 范红 冯登国 《计算机学报》 EI CSCD 北大核心 2003年第7期831-836,共6页
在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例... 在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例进行了有效的形式化分析 . 展开更多
关键词 timed-Release公钥协议 扩展逻辑 密钥 密码协议 形式化分析
在线阅读 下载PDF
Timed RAISE方法在列控系统等级转换场景中的应用研究 被引量:1
18
作者 丁春平 陈永刚 《铁道标准设计》 北大核心 2015年第8期164-169,共6页
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转... 高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。 展开更多
关键词 高速铁路 timed RAISE CTCS 等级转换场景 实时性 场景交互一致性
在线阅读 下载PDF
基于Timed-PageRank的聚焦爬虫优化研究 被引量:2
19
作者 李东 王虎强 《四川兵工学报》 CAS 2015年第1期141-144,共4页
传统的基于PageRank算法的网络爬虫在抓取网页时由于只考虑了网页的超链接,势必会使爬虫结果覆盖面广、冗余度高,聚焦爬虫由于其可以有效地过滤与主题无关的链接,只保留有用的链接并将其加入到待抓取的URL队列,因此能够有效地降低爬虫冗... 传统的基于PageRank算法的网络爬虫在抓取网页时由于只考虑了网页的超链接,势必会使爬虫结果覆盖面广、冗余度高,聚焦爬虫由于其可以有效地过滤与主题无关的链接,只保留有用的链接并将其加入到待抓取的URL队列,因此能够有效地降低爬虫冗余;在分析PageRank算法的基础上,将网页的时间维数和页面的内容相关度融于其中,提出了基于Timed-PageRank的改进算法,并将该算法应用于聚焦爬虫过程中,实践证明该算法能够有效地提高爬虫页面相关度及检索结果的查全率和查准率。 展开更多
关键词 传统网络爬虫 PAGERANK算法 聚焦爬虫 timed-PageRank改进算法
在线阅读 下载PDF
美国空间天气探测卫星——TIMED 被引量:1
20
作者 姚好海 蔡夕方 +1 位作者 王睿 郝志娟 《科技传播》 2012年第21期102-104,共3页
对外层空间大气的研究对人类冲出地球走向太空具有非常重要的意义。MLTI区域是地球环境和外层空间的一个通道,容易受到来自太阳和低层大气的影响。由于受探测技术的限制,过去人们从来没有对全球的MLTI区域进行过全面的研究。为了深入研... 对外层空间大气的研究对人类冲出地球走向太空具有非常重要的意义。MLTI区域是地球环境和外层空间的一个通道,容易受到来自太阳和低层大气的影响。由于受探测技术的限制,过去人们从来没有对全球的MLTI区域进行过全面的研究。为了深入研究MLTI区域,美国约翰斯霍普金斯大学成功地研制了散逸层和低热成层/电离层大气探测卫星——TIMED。本文主要介绍了TIMED卫星的地面系统和卫星系统是如何紧密协调工作的;详细介绍了卫星携带的仪器设备的工作原理和主要技术性能。 展开更多
关键词 MLTI timed 天气探测卫星
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部