1.
Construction and Application of Java Concurrent Model Framework;
Java并发模型框架的构建及应用
2.
Model Extraction and Model Checking Research for Java Concurrent Programs
Java并发程序的模型提取与模型检测技术研究
3.
Research on Power Control Mode for Grid-connected Doubly Fed Generator
并网型双馈发电机功率控制模式研究
4.
Research on Asynchronous Concurrency System Based on Petri Net Model
基于Petri网模型的异步并发性
5.
ON WEB SEVICES LIFECYCLE MODEL AND ITS CONCURRENCY CONTROL
Web Services的生命期模型及其并发控制研究
6.
Web Service Choreography Model Based on Concurrent Transaction Logic
Web服务编排的并发事务逻辑模型
7.
Overloaded Model of Concurrent Inquiry System Based on Queuing Theory
基于排队论的并发查询系统超载模型
8.
Buffered Asynchronous Processing Model in High Concurrence Environment
大量并发环境下的缓冲异步处理模型
9.
Extending a Model-Checking Tool with Non-trivial Data Structures;
并发传值进程模型检测工具的数据类型扩展
10.
Steady-state power flow analyses of large-scale grid-connected photovoltaic generation system
大型并网光伏发电系统稳态模型与潮流分析
11.
Finally, experimental results are explained by quantum confinement model and luminescence center model.
并用量子限制模型和发光中心模型对实验结果进行解释。
12.
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术.
13.
Design and Implementation of an Advanced Concurrent Interceptor Model in CORBA
一种新的并发截获器模型的设计与实现
14.
There are no changes in the model which require the update database process.
请求数据库更新的模型并未发生任何变化。
15.
Study on the Steady-state Model and Grid-connected Problems of Wind Turbine with Synchronous Generator;
同步风力发电机的稳态模型及其并网问题研究
16.
Research on Model Checking of Concurrent System Based on Partial-order Reduction;
基于偏序简化的并发系统模型检测技术的研究
17.
Research on Component-Based Software Observation Model Based on Concurrent Automaton Theory;
基于并发自动机的构件化软件观测模型研究
18.
Research of Concurrency Control and Recovery in a Client/Server DBMS;
Client/Server数据库模型下并发控制和恢复技术研究