No abstract

No abstract

No abstract

A mild, transition-metal-free and facile C3-alkenylated 2,3,4-trisubstituted pyrrole cyclization of methylene isocyanides with ene–yne–ketones in moderate to good yields was explored.

The structure of the embedded system gets much more complicated. Current basic Architecture Analysis and Design Language (AADL) reliability model cannot meet the requirements of software reliability being evaluated while being designed. For the present, reliability evaluated needs abundant fault analysis which can not be realized in the early of software development. The article has come up with a methodology based on system architecture using AADL to perform reliability evaluate at Early development With good understanding of rules and transformation from AADL based system architecture model to Petri Net, a oneto-one mapping rule was achieved between AADL elements and Petri Net elements. Using current mathematic model of Petri Net to evaluate the reliability of software architecture. At last, a flight control system of AADL model was given as an example to validate the availability of the given method.