期刊文献+
共找到236,044篇文章
< 1 2 250 >
每页显示 20 50 100
ICON/MIGHTI与TIMED/SABER探测温度数据的对比
1
作者 牟宵 闫召爱 +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
基于Thermal Time模型预测高加索三叶草花序生长和花期发展
2
作者 张慧敏 王明玖 +3 位作者 提忠慧 刘嘉伟 曹克璠 马一鸣 《草地学报》 北大核心 2025年第3期850-858,共9页
Thermal time模型认为植物需要高于基准温度(Base temperature,Tb)累积固定量的热效应(Thermal time,Tt)来完成特定的发育阶段,低于Tb或未达到固定量的Tt,不发生发育阶段的转化。本文在中国青藏高原、内蒙古高原、东北平原和新西兰坎特... Thermal time模型认为植物需要高于基准温度(Base temperature,Tb)累积固定量的热效应(Thermal time,Tt)来完成特定的发育阶段,低于Tb或未达到固定量的Tt,不发生发育阶段的转化。本文在中国青藏高原、内蒙古高原、东北平原和新西兰坎特伯雷平原设置5个试验区,以高加索三叶草(Trifolium ambiguum Bieb.)为研究对象,观测单个花序发育速率和种群开花进展速率。基于试验区温度,运用Thermal time模型预测花序生长和花期进展,旨在量化花序开放和花期推进所需的热量条件,以此指导高加索三叶草饲草利用和种子生产。结果表明,高加索三叶草从现蕾发育到最大花序尺寸约需在2℃以上累积25℃·d;从始花期到盛花期需在7.5℃以上累积635℃·d;从盛花期到结实期存在地形差异,高原地区需在8.7℃以上累积1813℃·d,平原地区需在3℃以上累积1290℃·d。在高原地区高加索三叶草更适合饲草利用,在平原地区有种子生产利用的潜质。 展开更多
关键词 高加索三叶草 温度 基温 花期 热效应
在线阅读 下载PDF
基于波形比对TestBench的Verilog在线自动测试系统设计
3
作者 黄继业 金清嵩 +1 位作者 李平 刘鑫 《实验室研究与探索》 北大核心 2025年第2期91-94,109,共5页
为解决Verilog编程练习需求大和现有在线测评系统无法较好地支持Verilog在线评测的问题,设计了基于波形比对TestBench的Verilog在线自动测试系统。系统将标准答案源码和学生提交代码分别仿真,得到两种输出波形并转换为txt文本加以比对,... 为解决Verilog编程练习需求大和现有在线测评系统无法较好地支持Verilog在线评测的问题,设计了基于波形比对TestBench的Verilog在线自动测试系统。系统将标准答案源码和学生提交代码分别仿真,得到两种输出波形并转换为txt文本加以比对,根据比对结果在线自动评分。根据代码正确率给出具体分数,并将代码错误信息以文本形式反馈给学生,帮助学生全面评估自身水平并快速定位纠错。该系统已部署至程序设计类实验辅助教学平台,经过教学实践,能有效提升学生的Verilog编程能力,在教学中取得了显著成效。 展开更多
关键词 Verilog在线自动测试 OJ系统 测试基准 波形比对
在线阅读 下载PDF
Unbiased test of the hyperon CP violation in terms of detector resolution at STCF
4
作者 Ming Xu Liang Liu +2 位作者 Yupeng Pei Xiaorong Zhou Yingchun Zhu 《中国科学技术大学学报》 北大核心 2025年第4期41-47,40,I0002,共9页
The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled h... The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled hyperonantihyperon pairs to be produced at Super Tau-Charm Facility(STCF),the CP asymmetry of hyperon is expected to be tested with a statistical sensitivity of 10^(−4) or even better.To cope with the statistical precision,the systematic effects from various aspects are critical and need to be studied in detail.In this paper,the sensitivity effects on the CP violation parameters associated with the detector resolution,including those of the position and momentum,are studied and discussed in detail.The results provide valuable guidance for the design of STCF detector. 展开更多
关键词 BESIII experiment STCF hyperon CP violation detector resolution unbiased test
在线阅读 下载PDF
Cyclic behavior of root-loess composites under direct simple shear test conditions and insights from discrete element method modeling
5
作者 SUN Yuan LI Hui CHENG Zhifeng 《水利水电技术(中英文)》 北大核心 2025年第S1期665-680,共16页
Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various f... Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various factors affect roots reinforcement during seismic loading have rarely been studied.The objective is to conduct a series of cyclic direct simple shear tests and DEM numerical simulation to investigate the cyclic behaviour of rooted loess.The effects of initial static shear stress and loading frequency on the cyclic resistance of root-soil composites were first investigated.After that,cyclic direct simple shear simulations at constant volume were carried out based on the discrete element method(PFC^(3D))to investigate the effects of root geome-try,mechanical traits and root-soil bond strength on the cyclic strength of rooted loess.It was discovered that the roots could effectively improve the cyclic resistance of loess.The cyclic resistance of the root-soil composite decreases with the increase of the initial shear stress,then increases,and improves with the increase of the frequency.The simulation result show that increases in root elastic modulus and root-soil interfacial bond strength can all enhance the cyclic resistance of root-soil composites,and the maximum cyclic resistance of the root-soil composite was obtained when the initial inclination angle of the root system was 90°. 展开更多
关键词 root-soil composite cyclic direct simple shear tests PFC^(3D)
在线阅读 下载PDF
Multi-objective optimization of top-level arrangement for flight test
6
作者 WANG Yunong BI Wenhao +2 位作者 FAN Qiucen XU Shuangfei ZHANG An 《Journal of Systems Engineering and Electronics》 2025年第3期714-724,共11页
The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flig... The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flight test duration and cost are established to set up the framework of flight test process.The top-level arrangement for flight test is optimized by multi-objective algorithm to reduce the duration and cost of flight test.In order to verify the necessity and validity of the mathematical models and the optimization algorithm of top-level arrangement,real flight test data is used to make an example calculation.Results show that the multi-objective optimization results of the top-level flight arrangement are better than the initial arrangement data,which can shorten the duration,reduce the cost,and improve the efficiency of flight test. 展开更多
关键词 flight test top-level arrangement flight test optimization multi-objective optimization
在线阅读 下载PDF
Research on equation of state parameters for high-energy solid propellants based on improved cylinder test and particle swarm optimization
7
作者 Songlin Pang Xiong Chen +2 位作者 Jinsheng Xu Zongtao Guo Xinyu Cao 《Defence Technology(防务技术)》 2025年第5期152-163,共12页
With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and... With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and using them in contemporary warfare.An electric probe-type cylinder test measured the displacement-time behavior of NEPE high-energy solid propellant,and the parameters of the Jones-Wilkins-Lee(JWL)equation of state(EOS)were derived using particle swarm optimization(PSO)with the Gurney energy model.Further,the parameters of JWL-Miller EOS,determined through AUTODYN simulations,were validated by comparing airburst process simulations with experimental overpressure data.The study established a method for determining EOS parameters of high-energy propellants,achieving a high degree of accuracy.The derived parameters ensure precise modeling of propellant behavior,offering a reliable foundation for future applications in solid rocket motor performance optimization and safety assessment. 展开更多
关键词 Improved cylinder test High-energy solid propellant PSO JWL-Miller EOS
在线阅读 下载PDF
Design and testing of a liftable chassis for rice harvester
8
作者 YANG Ke LI Ju +3 位作者 CHEN Yu LI Hao AO Yu LEI Xiaolong 《智能化农业装备学报(中英文)》 2025年第1期59-70,共12页
During the operation of the rice combine harvester,the fuselage tilts due to the tilt and unevenness of the ground affect its maneuverability and operational reliability.Aiming at the problem of leveling due to the ti... During the operation of the rice combine harvester,the fuselage tilts due to the tilt and unevenness of the ground affect its maneuverability and operational reliability.Aiming at the problem of leveling due to the tilt of the field surface,this research developed an innovative dual-parallelogram chassis lifting mechanism for rice harvesters designed a hydraulic system to adjust the chassis height by extending the cylinder.Using Adams simulation software,a detailed model of the lifting chassis was constructed to analyze its performance,revealing a direct correlation between the hydraulic cylinder extension and chassis elevation.Notably,the mechanism could achieve leveling on slopes with inclination angles of up to 7.5°.Comprehensive evaluations of the liftable chassis system were conducted under both static and dynamic conditions.In the static tests,the system exhibited the capacity for comprehensive or unilateral auto-leveling contingent upon the tilt,with leveling times and angular variations confined to 3.6 s and±0.4°,respectively.In dynamic tests conducted on sloped fields and paddy soils,the system reduced post-leveling mean tilt angles and standard deviations remained below 1.2°and 0.6°,respectively.These results demonstrated a substantial improvement in the stability and reliability of the chassis during operations.This research provides valuable insights into the design and optimization of automatic leveling mechanisms and structural innovations for harvester chassis. 展开更多
关键词 rice combine harvester chassis lifting mechanism hydraulic leveling leveling time
在线阅读 下载PDF
基于TimeGAN-Stacking的风电机组变桨系统故障诊断方法 被引量:2
9
作者 潘美琪 贺兴 《太阳能学报》 北大核心 2025年第1期192-200,共9页
风电机组变桨系统的少量不均衡故障样本难以训练基于数据驱动的故障诊断模型,导致监测系统常常漏报或误报故障。针对上述问题,提出一种基于TimeGAN-Stacking的风电机组变桨系统故障诊断方法。在数据层面,由于原始样本类别不平衡,基于时... 风电机组变桨系统的少量不均衡故障样本难以训练基于数据驱动的故障诊断模型,导致监测系统常常漏报或误报故障。针对上述问题,提出一种基于TimeGAN-Stacking的风电机组变桨系统故障诊断方法。在数据层面,由于原始样本类别不平衡,基于时序生成对抗网络(TimeGAN)跟踪风电机组运行数据逐步概率分布的动态变化特征,同时优化生成样本的全局分布与局部分布,有效平衡且扩容风电机组多种故障综合样本集;在模型层面,建立Stacking集成模型,融合多个故障诊断器的优势,进一步提高故障诊断能力。最后,基于实际风场数据对所提方法进行测试,结果表明,所提出的TimeGAN-Stacking故障识别方法可有效诊断4种变桨故障。 展开更多
关键词 风电机组 数据挖掘 故障分析 深度学习 时序生成对抗网络 样本增强
在线阅读 下载PDF
Impact time control guidance for moving-target considering velocity variation and field-of-view constraint
10
作者 YANG Hao ZHANG Shifeng +1 位作者 BAI Xibin YANG Chengye 《Journal of Systems Engineering and Electronics》 2025年第2期552-568,共17页
In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-... In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-view (FOV) constraints based on biased proportional navigation guidance (PNG) is developed in this paper. The remaining flight time (time-to-go) estimation method is derived considering aerodynamic force and gravity. The number of differential equations is reduced and the integration step is increased by changing the integral variable, which makes it possible to obtain time-to-go through integration. An impact time controller with FOV constraints is proposed by analyzing the influence of the biased term on time-to-go and FOV constraint. Then, numerical simulations are performed to verify the correctness and superiority of the method. 展开更多
关键词 moving target time-varying velocity time-to-go esti-mation field-of-view(FOV)constraint flight time control.
在线阅读 下载PDF
基于TL-TimeGAN的多维时间序列数据增强及其应用分析
11
作者 智路平 汪万敏 《运筹与管理》 北大核心 2025年第5期177-184,I0060-I0064,共13页
针对部分场景下标签较少、样本不均衡的时序数据,为了更好的捕捉序列之间的逐步依赖关系,本文一方面使用具有因果关系属性的时域卷积网络构建生成对抗网络,另一方面使用长短期记忆网络构建嵌入网络和复现网络,以实现模型同时处理短期依... 针对部分场景下标签较少、样本不均衡的时序数据,为了更好的捕捉序列之间的逐步依赖关系,本文一方面使用具有因果关系属性的时域卷积网络构建生成对抗网络,另一方面使用长短期记忆网络构建嵌入网络和复现网络,以实现模型同时处理短期依存项和长期依存项,从而提出一种基于时域卷积网络和长短期记忆网络的时间序列生成对抗网络(A Time-series Generative Adversarial Network based on Temporal convolutional network and Long-short term memory network, TL-TimeGAN)。采用覆盖性、有用性和相似度检验的综合分析方法作为合成数据质量的评价指标,进一步全面地评价合成数据的覆盖性、预测程度和相似性。最终,基于以太坊欺诈检测数据集,使用Tabnet网络对扩增数据进行异常检测并获得局部特征重要性以及全局特征重要性,以增强扩增数据应用于实际工作的实践指导价值。 展开更多
关键词 时域卷积网络 长短期记忆网络 时间序列生成对抗网络 时序数据增强 多维时间序列
在线阅读 下载PDF
COSMIC大气掩星与SABER/TIMED探测温度数据比较 被引量:17
12
作者 宫晓艳 胡雄 +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
基于拓展Volume-Time理论的串联空气间隙非同期击穿过程分析
13
作者 姚晓飞 常晓雪 +5 位作者 丁健刚 陈佳莉 刘学 王建华 刘志远 耿英三 《高压电器》 北大核心 2025年第3期119-127,159,共10页
为了认识串联空气间隙的击穿过程,以球—球间隙为研究对象,设计了“非对称组合间隙”,即总间隙距离不变的条件下分别单独调整两个间隙的距离使上下间隙距离不一致。采用拓展Volume-Time理论计算了串联双间隙的U50%,并解释了雷电冲击电... 为了认识串联空气间隙的击穿过程,以球—球间隙为研究对象,设计了“非对称组合间隙”,即总间隙距离不变的条件下分别单独调整两个间隙的距离使上下间隙距离不一致。采用拓展Volume-Time理论计算了串联双间隙的U50%,并解释了雷电冲击电压下非对称组合空气间隙的非同期击穿物理过程。实验结果表明,上下间隙距离分布不均匀程度对串联空气间隙击穿电压和击穿延时的影响;不均匀程度较大时,较低电压下存在单个间隙放电、总体不击穿的现象,较高电压下两间隙将出现非同期击穿;不均匀程度较小时,两间隙同期击穿。为了解释这种现象,文中采用拓展Volume-Time理论,通过确定临界体积、临界面积等关键参数来计算串联双间隙的击穿电压。并把串联双空气间隙击穿的原因解释为,空气间隙电场的有效体积与有效面积超过临界值。因此,双间隙非同期击穿的产生是由于当一个间隙达到了击穿起始条件,而另一个间隙还未达到击穿起始条件。 展开更多
关键词 双断口开关 串联空气间隙 雷电冲击电压 非同期击穿特性 Volume-time理论
在线阅读 下载PDF
基于时间序列大模型TimeGPT光伏功率预测方法研究
14
作者 史文瑜 张珍翼 杨德昌 《电力科学与技术学报》 北大核心 2025年第4期150-160,共11页
目前,各种统计和机器模型已经广泛的应用到光伏功率预测中,但在光伏历史数据稀缺的情况下,这些方法普遍存在预测准确性较低的情况。为此,将时间序列大模型(time generative pre-trained transformer,TimeGPT)引入到光伏功率短期预测中... 目前,各种统计和机器模型已经广泛的应用到光伏功率预测中,但在光伏历史数据稀缺的情况下,这些方法普遍存在预测准确性较低的情况。为此,将时间序列大模型(time generative pre-trained transformer,TimeGPT)引入到光伏功率短期预测中。先基于1000亿数据点的大规模和多样化的时间序列数据集(如金融、交通、银行、网络流量、天气、能源、医疗等)构建时间序列大模型;再利用少量光伏功率历史数据对TimeGPT进行微调,以适应与光伏发电功率预测相关的数据分布和特征;然后,在具有用户隐私的光伏数据集中进行仿真,并与现有统计和机器模型进行对比。以案例1为例,当预测步长为1 h时,TimeGPT的平均绝对误差(mean absolute error,MAE)较对比模型的均有所降低;最后,总结了TimeGPT应用条件和改进方向。该文可为TimeGPT在新型电力系统中的应用提供借鉴。 展开更多
关键词 机器学习 光伏功率预测 时间序列大模型 新型电力系统
在线阅读 下载PDF
基于One-test-at-a-time策略的可变力度组合测试用例生成方法 被引量:13
15
作者 王子元 钱巨 +1 位作者 陈林 徐宝文 《计算机学报》 EI CSCD 北大核心 2012年第12期2541-2552,共12页
组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题... 组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型. 展开更多
关键词 软件测试 可变力度组合测试 测试用例生成 交互关系
在线阅读 下载PDF
Timed CSP在硬件高层设计中的应用
16
作者 崔小欣 于敦山 +1 位作者 崔小乐 盛世敏 《计算机工程》 EI CAS CSCD 北大核心 2006年第7期14-16,共3页
介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进... 介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进一步丰富了硬件系统规格的内容,为复杂的硬件系统设计提供了一种可执行的规格说明方法。 展开更多
关键词 timed CSP HDL 高层次系统描述 SEC
在线阅读 下载PDF
Timed SEFM:面向嵌入式实时控制系统的编程模型 被引量:1
17
作者 刘杰 陈香兰 +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
18
作者 范红 冯登国 《计算机学报》 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
19
作者 丁春平 陈永刚 《铁道标准设计》 北大核心 2015年第8期164-169,共6页
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转... 高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。 展开更多
关键词 高速铁路 timed RAISE CTCS 等级转换场景 实时性 场景交互一致性
在线阅读 下载PDF
Aura/MLS与TIMED/SABER观测全球重力波特性 被引量:2
20
作者 杨文凯 杨钧烽 +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
上一页 1 2 250 下一页 到第
使用帮助 返回顶部