相关实验视频
Updated: Jul 11, 2025
![Solid-phase Synthesis of [4.4] Spirocyclic Oximes](/_next/image?url=https%3A%2F%2Fcloudfront.jove.com%2FCDNSource%2Fteasers%2F58508.jpg&w=3840&q=50)
05:15
Solid-phase Synthesis of [4.4] Spirocyclic Oximes
Published on: February 6, 2019
6.9K
用于活性合成的分解规范
Bernd Finkbeiner1, Gideon Geier2, Noemi Passing1
1CISPA Helmholtz Center for Information Security, Saarbrücken, Germany.
概括
本研究介绍了用于反应系统的模块化合成算法. 它将复杂的规范分解为较小的独立任务,大大减少了合成时间,并提高了经过验证的软件和硬件开发的实用性.
科学领域:
- 计算机科学 计算机科学
- 正式方法 正式方法
- 软件工程 软件工程 软件工程
背景情况:
- 反应合成自动化了从规范中创建正确的实现.
- 目前的反应合成方法与大型复杂系统作斗争.
- 开发经过验证的程序和硬件需要高效的合成技术.
研究的目的:
- 为了呈现一个健全和完整的模块化合成算法.
- 为了解决现有的反应合成方法的可扩展性限制.
- 为了使复杂的指定的系统的实际合成.
主要方法:
- 一个新的算法,将规范分解成更小,独立的子规范.
- 在这些子规范上执行独立的合成任务.
- 由此产生的实现的组合保证满足原始规范.
主要成果:
- 显著降低了单个合成任务的复杂性.
- 证明了子规范的独立性,允许并行合成.
- 模块化合成方法导致基准的运行时间大幅减少.
- 该算法作为一种与现有合成工具兼容的预处理技术.
结论:
- 模块化合成算法增强了复杂系统的反应合成的实用性.
- 这种方法为经过验证的程序和硬件开发提供了一个可扩展的解决方案.
- 模块化合成是最先进的合成工具的可行预处理技术.
相关概念视频
Synthesis and Decomposition Reactions
32.9K
Synthesis and decomposition are two types of redox reactions. Synthesis means to make something, whereas decomposition means to break something. The reactions are accompanied by chemical and energy changes.
32.9K
Radical Reactivity: Overview
2.1K
Radicals, the highly reactive species, gain stability by undergoing three different reactions. The first reaction involves a radical-radical coupling, in which a radical combines with another radical, forming a spin‐paired molecule. The second reaction is between a radical and a spin‐paired molecule, generating a new radical and a new spin‐paired molecule. The third reaction is radical decomposition in a unimolecular reaction, forming a new radical and a spin‐paired...
2.1K
Multi-Step Reactions
7.3K
Chemical reactions often occur in a stepwise fashion involving two or more distinct reactions taking place in a sequence. A balanced equation indicates the reacting species and the product species, but it reveals no details about how the reaction occurs at the molecular level. The reaction mechanism (or reaction path) provides details regarding the precise, step-by-step process by which a reaction occurs. Each of the steps in a reaction mechanism is called an elementary reaction. These...
7.3K
Radical Reactivity: Nucleophilic Radicals
2.1K
Radicals adjacent to electron-donating groups are called nucleophilic radicals. These radicals readily react with electrophilic alkenes. The SOMO–LUMO interactions are the driving force for the reaction, where the high-energy SOMO of the electron-rich, nucleophilic radicals interacts with the low-energy LUMO of the electron-deficient, electrophilic alkenes. Such SOMO–LUMO interactions are the basis of reactive radical traps, affecting the selectivity in radical reactions. For...
2.1K
Pericyclic Reactions: Introduction
8.3K
Pericyclic reactions are organic reactions that occur via a concerted mechanism without generating any intermediates. The reactions proceed through the movement of electrons in a closed loop to form a cyclic transition state, where rearrangement of the σ and π bonds yields specific products.
Pericyclic reactions can be classified into three categories: electrocyclic reactions, cycloaddition reactions, and sigmatropic rearrangements. Electrocyclic reactions and sigmatropic...
Pericyclic reactions can be classified into three categories: electrocyclic reactions, cycloaddition reactions, and sigmatropic rearrangements. Electrocyclic reactions and sigmatropic...
8.3K
Polymer Classification: Stereospecificity
2.4K
Polymerization generates chiral centers along the entire backbone of a polymer chain. Accordingly, the stereochemistry of the substituent group has a significant effect on polymer properties. Polymers formed from monosubstituted alkene monomers feature chiral carbons at every alternate position in the polymer backbone. Relative to the predominant orientation of substituents at the adjacent chiral carbons, the polymer can exist in three different configurations: isotactic, syndiotactic, and...
2.4K

