Abstract Template

نویسندگان

  • Florence Pennetreau
  • Olivier Riant
  • Sophie Hermans
  • D. Marquardt
  • F. Beckert
  • F. Pennetreau
  • F. Tölle
  • R. Mülhaupt
  • O. Riant
  • S. Hermans
  • J. Barthel
  • C. Janiak
چکیده

Carbon nanotubes and graphene have emerged as promising nanocarbon (nC) materials in various fields. However in order to benefit from their full potential, a functionalization step is usually required. For this reason, different covalent and non-covalent derivatization methods have been developed in the last few years. In this context, we have found a new functionalization method that consists in the grafting of xanthates at nanocarbon surfaces. This covalent grafting strategy implies the use of a peroxide as radical initiator and leads to the formation of new C-C and C-S bonds (Figure 1) [1,2] . The presence of xanthates at carbon nanotubes and reduced graphene oxide (rGO) surfaces has been highlighted by X-ray photoelectron spectroscopy, bulk elemental analysis and secondary ion mass spectrometry. The covalent nature of the bond between the nanocarbon sp 2 skeleton and the organic fragments has been shown by Raman spectroscopy and thermogravimetric analysis. After covalent anchoring, grafted fragments have been post-functionalized. Sulphured fragments were reduced in thiols as nucleation sites for gold or platinum species to prepare nanocarbon-supported nanoparticles [3] . Moreover, different R 1 fragments such as activated esters and phtalimides have been grafted and post-functionalized to create amide bonds with diverse organic ligands to immobilize homogeneous catalysts. Finally, experiments implying heteroatom-containing peroxides have been performed. These have highlighted the grafting of the peroxide at the nC surface along with the xanthate. The method proposed here is therefore an easy way to obtain doubly functionalized nC in one single step.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Polynomial Template Generation using Sum-of-Squares Programming

Template abstract domains allow to express more interesting properties than classical abstract domains. However, template generation is a challenging problem when one uses template abstract domains for program analysis. In this paper, we relate template generation with the program properties that we want to prove. We focus on one-loop programs with nested conditional branches. We formally defin...

متن کامل

Using Template Haskell for Abstract Interpretation

Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Haskell ...

متن کامل

Towards a Text Generation Template Language for Modelica

The uses, needs, and requirements of a text generation template language for Modelica are discussed. A template language may allow more concise and readable programming of the generation of textual models, program code, or documents, from a structured model representation such as abstract syntax trees (AST). Applications can be found in generating simulation code in other programming languages ...

متن کامل

Template-Based Unbounded Time Verification of Affine Hybrid Automata

Computing over-approximations of all possible time trajectories is an important task in the analysis of hybrid systems. Sankaranarayanan et al. [20] suggested to approximate the set of reachable states using template polyhedra. In the present paper, we use a max-strategy improvement algorithm for computing an abstract semantics for affine hybrid automata that is based on template polyhedra and ...

متن کامل

Generation Mechanisms in Graphical Template Language

Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a rule are generated in abstract syntax and then visualized, which is not very efficient for complicated languages. The paper discusses a case of template based generation of graphical models in a concrete syntax. We apply this approach to generation of pr...

متن کامل

Towards Automatic Generation of a Coherent TTCN-3 Template Framework

The template framework is a subset of TTCN-3 template declarations, which determines the entire template hierarchy within an abstract test suite. This paper introduces a deterministic method fortest suite. This paper introduces a deterministic method for generating such a template framework from type definitions.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014