formal synthesis

formal synthesis 基本解释

中继合成

化学

重点词汇

• formala. 正式的, 形式的, 礼仪的, 拘于礼节的, 拘谨的 n. 正式的社交活动
• synthesisn. 综合, 组织, 综合体 [化] 合成

formal synthesis 双语例句

1. 1、 formal synthesis of(±)-mesembrine
   （±）-Mesembrine的形式合成
2. 2、 A Formal Approach to Hardware Synthesis of Parallel Programs
   并行程序的一种形式化硬件综合方法
3. 3、 Their behavior relation formulas have been obtained by two transformations to these operations. Furthermore, we formally prove that these three connection operations satisfy the behavior invariance. These results support a formal tool for dynamic analysis
   本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系，获得他们的语言关系公式，这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具。
4. 4、 Based on CSP and the formal representation of the process plans in a manufacturing system, a new method of Petri net synthesis for automated manufacturing systems is presented. It provides the rigid foundation for the development of design theory for Petr
   根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Petri网的一种综合方法，为研究复杂系统Petri网的设计理论提供了很好的基础。
5. 5、 Formal program synthesis approach and synthesizer neat
   形式化的程序综合方法及综合器NEAT
6. 6、 This dissertation mainly aims at the design and development of some strategies in the synthetic studies of morphine. Focusing on this issue, the target-oriented methodology was investigated, providing the alternative way to the formal synthesis of morphin
   本论文主要围绕吗啡生物碱的合成研究，通过若干合成策略的设计，对一些新颖的合成方法进行了目标导向的合成应用探讨，为此类生物碱的形式合成研究提供了不同的途径。