Jove
Visualize
联系我们
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关概念视频

Synthesis and Decomposition Reactions02:17

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: Overview01:11

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 Reactions02:31

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 Radicals01:16

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: Introduction01:17

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...
8.3K
Polymer Classification: Stereospecificity01:26

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

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

Predicate abstraction for hyperliveness verification.

Formal methods in system design·2025
Same author

Compositional synthesis of modular systems.

Innovations in systems and software engineering·2022
Same author

Live synthesis.

Innovations in systems and software engineering·2022
Same author

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

IEEE transactions on visualization and computer graphics·2021
Same author

Synthesis from hyperproperties.

Acta informatica·2020
Same author

Monitoring hyperproperties.

Formal methods in system design·2019
Same journal

Guest Editorial: Intelligence for systems and software engineering.

Innovations in systems and software engineering·2023
Same journal

A systematic method for diagnosis of hepatitis disease using machine learning.

Innovations in systems and software engineering·2023
Same journal

Automated credit assessment framework using ETL process and machine learning.

Innovations in systems and software engineering·2023
Same journal

Mental health issues assessment using tools during COVID-19 pandemic.

Innovations in systems and software engineering·2022
Same journal

Opinion classification at subtopic level from COVID vaccination-related tweets.

Innovations in systems and software engineering·2022
Same journal

Forecasting adversities of COVID-19 waves in India using intelligent computing.

Innovations in systems and software engineering·2022
查看所有相关文章

相关实验视频

Updated: Jul 11, 2025

Solid-phase Synthesis of [4.4] Spirocyclic Oximes
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.

Innovations in systems and software engineering
|November 16, 2023
PubMed
概括
此摘要是机器生成的。

本研究介绍了用于反应系统的模块化合成算法. 它将复杂的规范分解为较小的独立任务,大大减少了合成时间,并提高了经过验证的软件和硬件开发的实用性.

关键词:
组成的合成合成.模块化合成 模块化合成在合成前进行预处理.反应合成的反应合成.规范分解分解的说明

更多相关视频

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly
09:34

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly

Published on: February 6, 2020

7.3K
Synthesis of a Water-soluble Metal–Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

9.9K

相关实验视频

Last Updated: Jul 11, 2025

Solid-phase Synthesis of [4.4] Spirocyclic Oximes
05:15

Solid-phase Synthesis of [4.4] Spirocyclic Oximes

Published on: February 6, 2019

6.9K
Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly
09:34

Synthesis of Information-bearing Peptoids and their Sequence-directed Dynamic Covalent Self-assembly

Published on: February 6, 2020

7.3K
Synthesis of a Water-soluble Metal–Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

9.9K

科学领域:

  • 计算机科学 计算机科学
  • 正式方法 正式方法
  • 软件工程 软件工程 软件工程

背景情况:

  • 反应合成自动化了从规范中创建正确的实现.
  • 目前的反应合成方法与大型复杂系统作斗争.
  • 开发经过验证的程序和硬件需要高效的合成技术.

研究的目的:

  • 为了呈现一个健全和完整的模块化合成算法.
  • 为了解决现有的反应合成方法的可扩展性限制.
  • 为了使复杂的指定的系统的实际合成.

主要方法:

  • 一个新的算法,将规范分解成更小,独立的子规范.
  • 在这些子规范上执行独立的合成任务.
  • 由此产生的实现的组合保证满足原始规范.

主要成果:

  • 显著降低了单个合成任务的复杂性.
  • 证明了子规范的独立性,允许并行合成.
  • 模块化合成方法导致基准的运行时间大幅减少.
  • 该算法作为一种与现有合成工具兼容的预处理技术.

结论:

  • 模块化合成算法增强了复杂系统的反应合成的实用性.
  • 这种方法为经过验证的程序和硬件开发提供了一个可扩展的解决方案.
  • 模块化合成是最先进的合成工具的可行预处理技术.