1.
Hybrid System Verification Using Reachable Set over Approximations;
基于可达集过近似的混合系统验证方法
2.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
3.
C/E-PLC Automata-Formal Verification of Hybrid Systems and Its Application on Chemical Process Control;
混合系统C/E-PLC自动机形式验证及其应用
4.
A Hybrid Dynamic Simulation Validation Strategy Based on Time-varied Impedance
基于变阻抗方法的电力系统混合仿真验证策略
5.
Data Base Management System of Asphalt Mixture Experiment;
沥青混合料试验微机管理系统的研究
6.
Design and Experimental Research on Mixture Dynamic System of HAPF-SVC
HAPF-SVC混合型动态系统设计与实验研究
7.
Control and Formal Verification of Hybrid System Using MLD Model
基于MLD模型的混杂系统控制及其形式验证研究
8.
Dynamic-Language Based System Description, Verification, and Synthesis
基于动态语言的系统描述、验证和综合
9.
The Design and Implementation of a Hybrid Personal Identity Authentication System;
一种混合型个人身份认证系统设计与实现
10.
Study of Union Authentication System Based on the Vein Verification;
基于静脉纹络认证的联合身份验证系统的研究
11.
Theoretical and Experimental Study on Capacity-Controllable Heat Pump System with Mixed Refrigerants;
混合工质变容量热泵系统的理论与实验研究
12.
The Study and Experiment on the Hybrid High-Temperature Superconducting Magnetic Bearing System～2;
高温超导混合磁悬浮轴承系统的研究与实验
13.
Tests of Hybrid Coach and Researches on Nickle-Hydrogen Battery Manage System;
混合动力客车试验及镍氢电池管理系统研究
14.
An Experimental Study on Refrigeration System for Ultra-Low Temperature Freezer Using Mixed Refrigerant;
混合工质低温保存箱制冷系统的实验研究
15.
Experiment Study on Subway Waste Heat-Ground Source Hybrid Heat Pump;
地铁废热—土壤源混合式热泵系统实验研究
16.
Realization of University Laboratory Housing Management System Based on Hybrid Model;
混合模式下高校实验用房管理信息系统的实现
17.
Experimental investigation of the control system of a diesel-hybrid powertrain
柴油串联式混合动力控制系统试验研究
18.
The Simulation and Experiment of Management System of Power Battery of HEV
混合动力汽车动力电池管理系统仿真实验