期刊文献+
共找到835篇文章
< 1 2 42 >
每页显示 20 50 100
A New Multidimensional Time Series Forecasting Method Based on the EOF Iteration Scheme 被引量:3
1
作者 张邦林 刘洁 孙照渤 《Advances in Atmospheric Sciences》 SCIE CAS CSCD 1993年第2期243-247,共5页
In this paper a new .mnultidimensional time series forecasting scheme based on the empirical orthogonal function (EOF) stepwise iteration process is introduced. The scheme is tested in a series of forecast experiments... In this paper a new .mnultidimensional time series forecasting scheme based on the empirical orthogonal function (EOF) stepwise iteration process is introduced. The scheme is tested in a series of forecast experiments of Nino3 SST anomalies and Tahiti-Darwin SO index. The results show that the scheme is feasible and ENSO predictable. 展开更多
关键词 SST A New Multidimensional time Series Forecasting Method Based on the EOF Iteration scheme Nino EOF
在线阅读 下载PDF
ENTROPY CONSISTENCY OF LARGE TIME STEP SCHEMES FOR ISENTROPIC EQUATIONS OF GAS DYNAMICS
2
作者 姜光山 王靖华 《Acta Mathematica Scientia》 SCIE CSCD 1993年第4期361-383,共23页
In this paper, We show for isentropic equations of gas dynamics with adiabatic exponent gamma=3 that approximations of weak solutions generated by large time step Godunov's scheme or Glimm's scheme give entrop... In this paper, We show for isentropic equations of gas dynamics with adiabatic exponent gamma=3 that approximations of weak solutions generated by large time step Godunov's scheme or Glimm's scheme give entropy solution in the limit if Courant number is less than or equal to 1. 展开更多
关键词 ENTROPY CONSISTENCY OF LARGE time STEP schemeS FOR ISENTROPIC EQUATIONS OF GAS DYNAMICS STEP
在线阅读 下载PDF
Design and Analysis of Test Schemes of Static Postponing Time on Shrapnels Used to Riot Control
3
作者 单永海 闵碧波 孙国基 《Defence Technology(防务技术)》 SCIE EI CAS 2006年第2期102-105,共4页
The test scheme of static postponing time given in our actual national military test standard on shrapnels used to control riot is a nine-point test scheme on the combined action of three kinds of temperatures and thr... The test scheme of static postponing time given in our actual national military test standard on shrapnels used to control riot is a nine-point test scheme on the combined action of three kinds of temperatures and three kinds of pressures, the consumed ammunitions are more excessive. Statistic analysis and tentative checkout about a lot of test data are done, feasibility gists are put forward for optimizing of the test design scheme. The optimizing design and data analysis of test scheme of the item are done by managing uniformity design theory, two scientific and reasonable six-point test schemes are confirmed. The feasibility and reliability of the optimizing design schemes put forward above are proved ulteriorly by test validating. The gained schemes not only have good design uniformity and little ammunition wastage and meet the test demand, but also have better forecast ability for the result data of other points using the mathematic models from the actual test points. 展开更多
关键词 防暴动榴弹 延时 测试计划 静态定位
在线阅读 下载PDF
RETROSPECTIVE TIME INTEGRAL SCHEME AND ITS APPLICATIONS TO THE ADVECTION EQUATION 被引量:2
4
作者 封国林 董文杰 +2 位作者 杨培才 曹鸿兴 丑纪范 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2002年第1期53-65,共13页
To put more information into a difference scheme of a differential equation for making an accurate prediction, a new kind of time integration scheme, known as the retrospective (RT) scheme, is proposed on the basis of... To put more information into a difference scheme of a differential equation for making an accurate prediction, a new kind of time integration scheme, known as the retrospective (RT) scheme, is proposed on the basis of the memorial dynamics. Stability criteria of the scheme for an advection equation in certain conditions are derived mathematically. The computations for the advection equation have been conducted with its RT scheme. It is shown that the accuracy of the scheme is much higher than that of the leapfrog (LF) difference scheme. 展开更多
关键词 time integration memorization numerical weather prediction difference scheme advection equation
在线阅读 下载PDF
Splitting Based Scheme for Three-dimensional MHD with Dual Time Stepping 被引量:1
5
作者 FU Huazheng FENG Xueshang 《空间科学学报》 CAS CSCD 北大核心 2015年第1期9-17,共9页
A new hybrid numerical scheme of combining an E-CUSP(Energy-Convective Upwind and Split Pressure) method for the fluid part and the Constrained Transport(CT) for the magnetic induction part is proposed.In order to avo... A new hybrid numerical scheme of combining an E-CUSP(Energy-Convective Upwind and Split Pressure) method for the fluid part and the Constrained Transport(CT) for the magnetic induction part is proposed.In order to avoid the occurrence of negative pressure in the reconstructed profiles and its updated value,a positivity preserving method is provided.Furthermore,the MHD equations are solved at each physical time step by advancing in pseudo time.The use of dual time stepping is beneficial in the computation since the use of dual time stepping allows the physical time step not to be limited by the corresponding values in the smallest cell and to be selected based on the numerical accuracy criterion.This newly established hybrid scheme combined with positivity preserving method and dual time technique has demonstrated the accurateness and robustness through numerical experiments of benchmark problems such as the 2D Orszag-Tang vortex problem and the3 D shock-cloud interaction problem. 展开更多
关键词 SPLITTING BASED scheme THREE-DIMENSIONAL MHD Dual time STEPPING
在线阅读 下载PDF
Constructions and Applied Examinations of a Kind of Square-Conservative Schemes in High Precision in the Time Direction 被引量:1
6
作者 季仲贞 王斌 《Advances in Atmospheric Sciences》 SCIE CAS CSCD 1993年第3期315-324,共10页
In order to meet the needs of work in numerical weather forecast and in numerical simulations for climate change and ocean current, a kind of difference scheme in high precision in the time direction developed from th... In order to meet the needs of work in numerical weather forecast and in numerical simulations for climate change and ocean current, a kind of difference scheme in high precision in the time direction developed from the completely square-conservative difference scheme in explicit way is built by means of the Taylor expansion. A numerical test with 4-wave Rossby-Haurwitz waves on them and an application of them on the monthly mean current the of South China Sea are carried out, from which, it is found that not only do the new schemes have high harmony and approximate precision but also can the time step of the schemes be lengthened and can much computational time be saved. Therefore, they are worth generalizing and applying. 展开更多
关键词 Completely square-conservative Explicit scheme High precision in the time direction Harmonious dissipative operator
在线阅读 下载PDF
LARGE TIME STEP GENERALIZATION OF RANDOM CHOICE FINITE DIFFERENCE SCHEME FOR HYPERBOLIC CONSERVATION LAWS
7
作者 Wang Jinghua Inst. of Syst. Sci., Academia Sinica, Beijing, China 《Acta Mathematica Scientia》 SCIE CSCD 1989年第1期33-42,共10页
A natural generalization of random choice finite difference scheme of Harten and Lax for Courant number larger than 1 is obtained. We handle interactions between neighboring Riemann solvers by linear superposition of ... A natural generalization of random choice finite difference scheme of Harten and Lax for Courant number larger than 1 is obtained. We handle interactions between neighboring Riemann solvers by linear superposition of their conserved quantities. We show consistency of the scheme for arbitrarily large Courant numbers. For scalar problems the scheme is total variation diminishing.A brief discussion is given for entropy condition. 展开更多
关键词 LARGE time STEP GENERALIZATION OF RANDOM CHOICE FINITE DIFFERENCE scheme FOR HYPERBOLIC CONSERVATION LAWS STEP
在线阅读 下载PDF
Analysis of an Implicit Finite Difference Scheme for Time Fractional Diffusion Equation 被引量:1
8
作者 MA Yan 《Chinese Quarterly Journal of Mathematics》 2016年第1期69-81,共13页
Time fractional diffusion equation is usually used to describe the problems involving non-Markovian random walks. This kind of equation is obtained from the standard diffusion equation by replacing the first-order tim... Time fractional diffusion equation is usually used to describe the problems involving non-Markovian random walks. This kind of equation is obtained from the standard diffusion equation by replacing the first-order time derivative with a fractional derivative of order α∈(0, 1). In this paper, an implicit finite difference scheme for solving the time fractional diffusion equation with source term is presented and analyzed, where the fractional derivative is described in the Caputo sense. Stability and convergence of this scheme are rigorously established by a Fourier analysis. And using numerical experiments illustrates the accuracy and effectiveness of the scheme mentioned in this paper. 展开更多
关键词 time fractional diffusion equation finite difference approximation implicit scheme STABILITY CONVERGENCE EFFECTIVENESS
在线阅读 下载PDF
CMA-MESO 3 km模式中自适应时间步长方案试验 被引量:2
9
作者 邓莲堂 朱立娟 +1 位作者 张进 于翡 《气象科技》 2025年第1期10-21,共12页
时间步长是数值天气模式稳定运行的关键参数。为实现业务模式稳定运行并保证运行效率,根据CMA-MESO 3 km模式时间积分方案特点,设计了自适应时间步长方案。以模式最大库朗数为依据,提出瞄准法和削顶法两种方法。根据CMA-MESO模式动力框... 时间步长是数值天气模式稳定运行的关键参数。为实现业务模式稳定运行并保证运行效率,根据CMA-MESO 3 km模式时间积分方案特点,设计了自适应时间步长方案。以模式最大库朗数为依据,提出瞄准法和削顶法两种方法。根据CMA-MESO模式动力框架特点,研发了相应时间控制技术并在CMA-MESO 3 km系统中程序实现了自适应时间步长方案。个例和批量试验结果显示,采用瞄准法,模式中最大库朗数会在目标值附近变化,使模式更加稳定。采用削顶法,会调整模式中最大库朗数超出目标值的部分,保证模式稳定积分的同时,又尽量少地干预模式。总之,两种方法的自适应时间步长方案能够有效避免模式积分溢出情况,显著地提高模式的稳定性。对于3 km分辨率的模式来说,当库朗数目标值取1.2左右时,削顶法比瞄准法更适合业务运行。目前,自适应时间步长方案已投入业务应用。 展开更多
关键词 CMA-MESO 自适应时间步长 瞄准法 削顶法
在线阅读 下载PDF
基于爆破振动与松动圈分析的水封洞库爆破方案比选 被引量:1
10
作者 叶海旺 张鹏辉 +6 位作者 蒙云琪 张兆龙 傅家亮 白金鑫 刘磊 余梦豪 Doumbouya Sekou 《爆破》 北大核心 2025年第1期44-55,共12页
合理的爆破施工方式是保证水封洞库稳定性和水封性的关键,在某水封洞库进行爆破地震波检测、声波探测,并结合HHT信号分析方法,通过EMD、EEMD分解方法对比、识别并弱化信号模态混叠效应以提高信号分析准确性,最后利用边际谱、瞬时能量谱... 合理的爆破施工方式是保证水封洞库稳定性和水封性的关键,在某水封洞库进行爆破地震波检测、声波探测,并结合HHT信号分析方法,通过EMD、EEMD分解方法对比、识别并弱化信号模态混叠效应以提高信号分析准确性,最后利用边际谱、瞬时能量谱、三维能量谱、围岩松动圈等评价不同爆破方案对水封洞库开挖爆破的影响。结果表明:EEMD-Hilbert分析方法可以一定程度上改善传统EMD分解带来的模态混叠问题,通过EEMD分解重构后的振速时程曲线更加平滑、可靠性更高;通过信号重构后的边际谱分析,发现双侧壁导坑法频带分布在200~380 Hz范围,单侧壁导坑法的频段范围更窄,集中在110~250 Hz之间,两组方案的低频能量均占比较少;双侧壁导坑法瞬时能量合值高于单侧壁导坑法,两组方案瞬时能量均主要集中在首段掏槽孔上,分别占总瞬时能量的41.67%和23.73%,单侧壁导坑法瞬时能量分布更为平均且较双侧壁导坑法更低;通过声波探测分析:双侧壁导坑法两侧拱腰松动圈范围约1.0~1.2 m,单侧壁导坑法扩挖面、导洞面松动圈范围分别为0.8 m、1.0~1.2 m。通过EEMD-Hilbert与声波探测联合分析可知,单侧壁导坑法相对更适合该洞库爆破施工。 展开更多
关键词 水封洞库 爆破方案 EEMD-HHT 时频能量 松动圈
在线阅读 下载PDF
基于CTN的航班保障时间资源协同规划
11
作者 黄邦菊 杨正媛 +1 位作者 林子怡 杨敏 《航空计算技术》 2025年第2期6-11,共6页
为提高机场地面保障资源的合理高效利用,缓解天气原因下的航班延误带来的时间资源冲突,建立了基于选择时间网络(Conditional Temporal Net,CTN)的多航班地面保障模型,该模型较简单时间网络可以根据不同的条件进行选择。通过冲突检测与... 为提高机场地面保障资源的合理高效利用,缓解天气原因下的航班延误带来的时间资源冲突,建立了基于选择时间网络(Conditional Temporal Net,CTN)的多航班地面保障模型,该模型较简单时间网络可以根据不同的条件进行选择。通过冲突检测与消解以及时间解耦算法得到时间规划方案。实例仿真结果表明:基于CTN的多航班保障模型求解得到的时间规划方案能减少航班延误导致的时间资源冲突,同时其时间规划满足要求,且相关保障服务的规划总时间得到了有效地缩短。 展开更多
关键词 航班保障 航班延误 时间网络 时间资源协同规划 时间规划方案
在线阅读 下载PDF
自动驾驶通勤行为建模与阶梯收费效率评价
12
作者 李志纯 吴苏萍 《管理科学学报》 北大核心 2025年第1期1-16,共16页
自动驾驶汽车的出现将解放驾驶员双手,从而为车内出行者自由开展车内活动提供方便.在阐述自动驾驶汽车通勤者车内活动效用的基础上,使用基于活动的分析方法,建立了普通驾驶汽车与自动驾驶汽车混行的多方式时变活动效用瓶颈模型,分析了... 自动驾驶汽车的出现将解放驾驶员双手,从而为车内出行者自由开展车内活动提供方便.在阐述自动驾驶汽车通勤者车内活动效用的基础上,使用基于活动的分析方法,建立了普通驾驶汽车与自动驾驶汽车混行的多方式时变活动效用瓶颈模型,分析了该模型的性质.确定了多方式瓶颈系统消除排队的连续动态拥挤收费方案,设计了最优阶梯收费方案来近似连续动态收费方案,评价了最优阶梯收费方案消除排队的效果.结果表明在线性时变边际活动效用下,不考虑自动驾驶汽车车内活动效用会导致对高峰期出行时间窗的偏差估计;普通驾驶汽车通勤者与自动驾驶汽车通勤者依次序出行,存在最优的自动驾驶汽车市场占有率使得社会总成本最低;与不收费情形相比较,最优阶梯收费导致的排队延误消除率大于√3/3. 展开更多
关键词 瓶颈模型 基于活动的方法 车内活动效用 动态收费 阶梯收费
在线阅读 下载PDF
Perfect plane-wave source for a high-order symplectic finite-difference time-domain scheme
13
作者 王辉 黄志祥 +1 位作者 吴先良 任信钢 《Chinese Physics B》 SCIE EI CAS CSCD 2011年第11期365-370,共6页
The method of splitting a plane-wave finite-difference time-domain (SP-FDTD) algorithm is presented for the initiation of plane-wave source in the total-field / scattered-field (TF/SF) formulation of high-order sy... The method of splitting a plane-wave finite-difference time-domain (SP-FDTD) algorithm is presented for the initiation of plane-wave source in the total-field / scattered-field (TF/SF) formulation of high-order symplectic finite- difference time-domain (SFDTD) scheme for the first time. By splitting the fields on one-dimensional grid and using the nature of numerical plane-wave in finite-difference time-domain (FDTD), the identical dispersion relation can be obtained and proved between the one-dimensional and three-dimensional grids. An efficient plane-wave source is simulated on one-dimensional grid and a perfect match can be achieved for a plane-wave propagating at any angle forming an integer grid cell ratio. Numerical simulations show that the method is valid for SFDTD and the residual field in SF region is shrinked down to -300 dB. 展开更多
关键词 splitting plane-wave finite-difference time-domain high-order symplectic finite-differencetime-domain scheme plane-wave source
原文传递
带恶化效应的极小化总加权延误工件个数的单机双代理调度问题
14
作者 谢谢 杨新茹 《沈阳大学学报(自然科学版)》 2025年第1期34-43,共10页
针对钢铁企业的热轧实际生产流程,提出一类随工件加工位置呈一般线性恶化且工件正常加工时长为单位时间的单机双代理调度问题。在该问题中,热轧阶段进入冷轧厂进行冷轧的工件看作A代理商,直接销售给顾客的工件看作B代理商。A代理商的目... 针对钢铁企业的热轧实际生产流程,提出一类随工件加工位置呈一般线性恶化且工件正常加工时长为单位时间的单机双代理调度问题。在该问题中,热轧阶段进入冷轧厂进行冷轧的工件看作A代理商,直接销售给顾客的工件看作B代理商。A代理商的目标值为极小化最大完工时间,B代理商的目标值是极小化总加权延误工件个数,研究了在A代理商目标值不大于给定上界约束的条件下,寻找使B代理商的目标值最优的调度方案,设计了一个动态规划算法和两个时间复杂性不同的算法来求解代理商最优目标值的上下界,提出完全多项式时间近似方案,使所提的调度问题在多项式时间内可解。 展开更多
关键词 双代理调度 最大完工时间 延误 工件 恶化效应 完全多项式时间近似方案
在线阅读 下载PDF
关于“构建联级Z型异质结定向电荷转移的能量平台:无助催化剂的CO_(2)光还原”文章的评论(Angewandte Chemie-International Edition, 2021)
15
作者 曲阳 边辑 +1 位作者 白林鹭 井立强 《黑龙江大学自然科学学报》 2025年第1期1-4,共4页
太阳能驱动的光催化反应在未来构建低碳可持续社会方面具有广阔的应用前景,合理设计和合成高效Z型异质结光催化材料并有效促进光生电荷分离是提高光催化性能的关键。常规Z型异质结体系中往往存在Ⅱ型异质结电荷转移路径,不利于光催化性... 太阳能驱动的光催化反应在未来构建低碳可持续社会方面具有广阔的应用前景,合理设计和合成高效Z型异质结光催化材料并有效促进光生电荷分离是提高光催化性能的关键。常规Z型异质结体系中往往存在Ⅱ型异质结电荷转移路径,不利于光催化性能的提高。因此,有效抑制Ⅱ型异质结电荷转移、提高电荷分离效率对于发展高效Z型光催化体系至关重要。黑龙江大学井立强和伦敦大学学院唐军旺等在Angewandte Chemie-International Edition上发表的成果,成功地发展了引入宽带隙氧化物半导体作为能量平台的普适性策略,有效地抑制了与Z型电荷转移路径相竞争的II型异质结电荷转移,形成了高效的联级Z型体系,并利用时间分辨荧光光谱等手段深入地揭示了异质结材料的光生电荷转移与分离机制,对设计高活性纳米异质结光催化材料具有重要的意义。 展开更多
关键词 光催化 电荷分离 Z型异质结 时间分辨荧光光谱
在线阅读 下载PDF
Computational uncertainty and optimal grid size and time step of the Lax-Friedrichs scheme for the 1D advection equation
16
作者 Jing Cao Jianping Li Yanjie Li 《Atmospheric and Oceanic Science Letters》 CSCD 2023年第3期46-51,共6页
本文对于应用Lax-Friedrichs格式数值求解一维平流方程,研究数值求解过程中产生的截断误差与舍入误差,以及两种误差逐层向高时间层传播的累积,得到新的数值解总误差上界的理论近似公式,以及最优格距和最优时间步长的理论公式.通过数值... 本文对于应用Lax-Friedrichs格式数值求解一维平流方程,研究数值求解过程中产生的截断误差与舍入误差,以及两种误差逐层向高时间层传播的累积,得到新的数值解总误差上界的理论近似公式,以及最优格距和最优时间步长的理论公式.通过数值算例验证了所得公式的可靠性。然后,发现了两种不同机器精度下最优时间步长之比满足的一个仅与机器精度有关的普适关系.最后,理论验证了在网格比固定的情况下,此问题满足数值计算的不确定性原理,以及在机器有限精度下最优时间步长的必然存在。 展开更多
关键词 Lax-Friedrichs格式 数值计算的不确定性原理 最优格距 最优时间步长 普适关系
在线阅读 下载PDF
An efficient locally one-dimensional finite-difference time-domain method based on the conformal scheme
17
作者 魏晓琨 邵维 +2 位作者 石胜兵 张勇 王秉中 《Chinese Physics B》 SCIE EI CAS CSCD 2015年第7期74-82,共9页
An efficient conformal locally one-dimensional finite-difference time-domain(LOD-CFDTD) method is presented for solving two-dimensional(2D) electromagnetic(EM) scattering problems. The formulation for the 2D tra... An efficient conformal locally one-dimensional finite-difference time-domain(LOD-CFDTD) method is presented for solving two-dimensional(2D) electromagnetic(EM) scattering problems. The formulation for the 2D transverse-electric(TE) case is presented and its stability property and numerical dispersion relationship are theoretically investigated. It is shown that the introduction of irregular grids will not damage the numerical stability. Instead of the staircasing approximation, the conformal scheme is only employed to model the curve boundaries, whereas the standard Yee grids are used for the remaining regions. As the irregular grids account for a very small percentage of the total space grids, the conformal scheme has little effect on the numerical dispersion. Moreover, the proposed method, which requires fewer arithmetic operations than the alternating-direction-implicit(ADI) CFDTD method, leads to a further reduction of the CPU time. With the total-field/scattered-field(TF/SF) boundary and the perfectly matched layer(PML), the radar cross section(RCS) of two2 D structures is calculated. The numerical examples verify the accuracy and efficiency of the proposed method. 展开更多
关键词 conformal scheme locally one-dimensional(LOD) finite-difference time-domain(FDTD) method numerical dispersion unconditional stab
原文传递
A Compact Finite Volume Scheme for the Multi-Term Time Fractional Sub-Diffusion Equation
18
作者 Baojin Su Yanan Wang +1 位作者 Jingwen Qi Yousen Li 《Journal of Applied Mathematics and Physics》 2022年第10期3156-3174,共19页
In this paper, we introduce high-order finite volume methods for the multi-term time fractional sub-diffusion equation. The time fractional derivatives are described in Caputo’s sense. By using some operators, we obt... In this paper, we introduce high-order finite volume methods for the multi-term time fractional sub-diffusion equation. The time fractional derivatives are described in Caputo’s sense. By using some operators, we obtain the compact finite volume scheme have high order accuracy. We use a compact operator to deal with spatial direction;then we can get the compact finite volume scheme. It is proved that the finite volume scheme is unconditionally stable and convergent in L<sub>∞</sub>-norm. The convergence order is O(τ<sup>2-α</sup> + h<sup>4</sup>). Finally, two numerical examples are given to confirm the theoretical results. Some tables listed also can explain the stability and convergence of the scheme. 展开更多
关键词 Multi-Term time Fractional Sub-Diffusion Equation High-Order Compact Finite Volume scheme Stable CONVERGENT
在线阅读 下载PDF
基于客货争能的中老铁路货物列车开行方案研究 被引量:2
19
作者 廖宇霞 赵雁峰 +1 位作者 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第2期143-151,共9页
在中老铁路既有技术运输条件下,以保证客运服务能力为前提,为提高中老铁路货物运输收益,研究提出考虑中老双方作业时间不匹配的货物列车开行方案,以确定货物列车开行的始发终到站、开行数量、编组内容、编组辆数和开行时段等内容。基于... 在中老铁路既有技术运输条件下,以保证客运服务能力为前提,为提高中老铁路货物运输收益,研究提出考虑中老双方作业时间不匹配的货物列车开行方案,以确定货物列车开行的始发终到站、开行数量、编组内容、编组辆数和开行时段等内容。基于中老铁路通道运输作业特点和市场需求特征,以通道货物运输收益最大化为目标,考虑车流选择径路唯一、区段通过能力、列车编组辆数及运到时间等约束,构建中老铁路通道货物列车开行方案优化模型,并采用遗传模拟退火算法求解。以中老铁路跨境通道下行方向相关数据进行算例求解分析,结果显示研究中的优化模型能够在满足运输需求的同时提高货物运输收益,并合理分配列车开行时段,验证了模型及算法的有效性。 展开更多
关键词 中老铁路通道 作业时间 货物列车 开行方案 遗传模拟退火算法
在线阅读 下载PDF
Time Petri网在实时软件测试中的应用 被引量:4
20
作者 范洪达 叶文 《计算机应用与软件》 CSCD 北大核心 2003年第12期23-25,共3页
针对实时软件传统测试方法的不足 ,提出了用TimePetri网来生成测试方案的方法。该方法很好地处理了与时间有关的不确定性问题 ,具体例子说明了其在实时软件测试中的应用。
关键词 实时软件测试 软件开发 软件设计 timePetri网 逻辑操作
在线阅读 下载PDF
上一页 1 2 42 下一页 到第
使用帮助 返回顶部