1.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
2.
Supervisory Synthesis of DEDS Based on Temporal Petri Nets;
基于时序Petri网的DEDS控制器综合
3.
Futures Analysis and Forecasting Based on Time-Series Data Mining;
基于时序数据挖掘的期货分析与预测
4.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
5.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
6.
The Sequencing Optimal Decision with Divisible Activities;
基于机动时间的可分解平行工序顺序优化研究
7.
Analysis on the Characteristics of Biological Sequences Based on Time Series Theory Methods
基于时间序列理论方法的生物序列特征分析
8.
Research on TCP Sequence Number Prediction Based on Chaotic Time Series
基于混沌时间序列的TCP序列号预测方法研究
9.
Outlier subsequence detection algorithm for time series based on LLM
基于LLM的时间序列异常子序列检测算法
10.
Subsequences similarity research for time series based on shape
基于形态的时间序列子序列相似性研究
11.
The Optimal Program Execution Time with Rejuvenation
基于Rejuvenation的程序执行时间优化算法
12.
The Studies on Dynamic of Vegetation Based on NDVI Time Series;
基于NDVI时间序列的植被动态变化研究
13.
Research on Equipment Defect Prediction Based on the Time Series;
基于时间序列的设备缺陷预测的研究
14.
Study of Time Series Data Based on Rough Set Theory;
基于粗糙集的时序数据分析方法研究
15.
Financial Time Series Researching Based on Support Vector Machine;
基于支持向量机的金融时间序列研究
16.
The Research of Time Series Prediction Based on Support Vector Machine;
基于支持向量机的时间序列预测研究
17.
Time-series Data Mining Based on Rough Sets and Its Applications;
基于粗糙集的时序数据挖掘及其应用
18.
Research on Time Series Data Mining Algorithm Based on OLAM;
基于OLAM的时间序列数据挖掘算法研究