您要查找的是不是：
- 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. 安全性和活性是并发系统最为关注和需要保证的两个主要性质。
- CAD and Simulation Concurrent System of Hydraumatic 基于协作的液压CAD及仿真系统设计与开发
- Three theorems for safety and liveness verification of concurrent systems are proved，and the relevant effective verification algorithms are derived. 论证、分析了三个并发系统安全性和活性验证定理，据此导出了并发系统的安全性与活性验证的有效算法。
- 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名主要死于中枢神经系统黑素瘤，此报道表示。
- 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)代替传统的从公理出发的形式推导,将并发系统描述转换为系统状态模型,然后应用模型实现对系统时序特性的自动验证。
- The PN Behavior Theories and Its Applications of Concurrent System Synthesis 并发系统综合的PN行为理论及其应用
- Model Checking and Testing of Concurrent Systems 并发系统的模型检测与测试
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- The experimental results show that the extracted dynamic information is correct, effective and can reflect the structure of the multi-host concurrence system in detail at the process level. 结果表明，逆向抽取的动态信息能够正确、有效地反映多机并发系统设计时进程级别的关系。
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗？
- Public opinion was against the old feudal system. 公众舆论反对旧的封建制度。
- The system works on the principle that heat rises. 该项装置是按照热力上升的原理运转的。
- The drainage system has been aged. 排水系统已经老化了。
- They called for a radical reform of our tax system. 他们要求对税收制度进行根本改革。
- Specification-Based Testing of Non-deterministic Concurrent Systems 非确定并发系统的基于说明的测试推导
- This is a highly efficient new heating system. 这是个高效的新取暖系统。
- Design and Implementation of Operation Wizard of Concurrent System 并发验证系统中操作向导的设计与实现
- He's mute on the subject of social system. 他对社会制度的问题保持沉默。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
