您要查找的是不是：
- concurrent system model 并行系统模型
- Next the system model is simulated and the simulation result sh... 最后对制粒湿度控制系统进行了硬件和软件设计。
- Their feasibility is preyed by the low rank system model. 然后由低阶系统模型验证了该方法的可行性；
- A simple three-zone VAV system model is built in EnergyPlus (E+). 一个简单的三区域VAV系统模型在E+中建立。
- Concurrent system of CAD、CAPP and CAM is that the reasonableness and manufacturability of a design can be evaluatedn whenever necessary. CAPP和CAM并行设计就是在设计过程中随时对设计的中间结果给出设计合理性及加工可行性评价。
- In concurrent system，safety and liveness are the two main characteristics which should be most concerned and ensured in its application. 安全性和活性是并发系统最为关注和需要保证的两个主要性质。
- Here you can pull out the whole digestive system model to its full length. 这里,你可把整个消化系统的模型拉至全长。
- The Diurnal Cycle and Its Depiction in the Community Climate System Model. 公共气候系统的日循环和描述。
- Instead of the traditional verification technique using axioms and inference rules, the model checker for asynchronous concurrent systems (AMC) is designed to mechanically determine if a. AMC(Model Checker for Asynchronous concurrent systems)代替传统的从公理出发的形式推导,将并发系统描述转换为系统状态模型,然后应用模型实现对系统时序特性的自动验证。
- Based on concurrent engineering theory,decor mold development process is reorganized, system models function andinformation are built and general structure is made up. 根据并行工程的哲理与方法，对内装饰成型模具开发过程进行了重构，建立了系统功能模型、信息模型、信息流程及整体框架。
- Three theorems for safety and liveness verification of concurrent systems are proved，and the relevant effective verification algorithms are derived. 论证、分析了三个并发系统安全性和活性验证定理，据此导出了并发系统的安全性与活性验证的有效算法。
- Hands-on experience in ASIC design and system modeling. 有ASIC设计和系统建模的经验。
- Model Checking and Testing of Concurrent Systems 并发系统的模型检测与测试
- The first step to system modeling and control is input selection. 系统建模与控制的第一步是输入变量选择。
- Extrospection by an Aristotelian viewpoint: system modeling. 亚里士多德式外省：系统建模。
- CAD and Simulation Concurrent System of Hydraumatic 基于协作的液压CAD及仿真系统设计与开发
- Practical Management Method and Network System Model for Modem Manufacturing Suppositional Enterprises. 现代虚拟企业的实用管理方法与网络系统模型。
- The introduction of intrusion detection includes its system model, classification, detection technologies. 分类分析技术在入侵检测中的应用。
- Of the 38 patients who died during follow-up, 6 died of systemic disease progression with controlled CNS metastases, 11 died with concurrent systemic and CNS progression, and 21 died predominantly of CNS melanoma, the report indicates. 随访中死亡的38名患者中，6名死于发展到中枢神经系统转移的全身疾病，11名死于并发的系统和中枢神经系统进展病变，21名主要死于中枢神经系统黑素瘤，此报道表示。
- The initial packaging value system model was established, which set a foundation of dynamic study on packaging value. 建立了包装价值系统初始模型，为下一步对包装价值的动态研究打下基础。
