Dedicated to Professor Dawei Ma on the occasion of his 60 th birthday.

A carboxylic acid-directed regioselective hydroarylation reaction of unactivated alkenes with aryl boronic acids was reported. This transformation was enabled by homogeneous manganese catalyst MnBr(CO) 5 in the presence of KOH and H 2 O in the m-xylene reaction medium. Both internal and terminal alkenes worked well in this transformation, and a series of functional groups were tolerated. This reaction not only provided an expeditious method to prepare γ-aryl carboxylic acids from simple starting materials but also would inspire further studies in employing homogeneous manganese catalysis in organic synthesis.Letter pubs.acs.org/OrgLett

Dedicated to Professor Dawei Ma on the occasion of his 60 th birthday.

Abstract. A CTCS-3 train control system is the key equipment for guaranteeing the safety, reliability and efficiency of high speed railway. Test sequence is the important document to guide the testing for train control system. Manual preparation of test sequence is characteristic of low efficiency and high demand for professional expertise, so it is difficult to guarantee the rationality of test sequence. This paper proposes a simulation based approach for rationality verification of test sequence. Firstly through analyzing the generation process of test sequence, the rationality criteria are obtained; secondly a rule base is built to store the rules used to verifying the rationality of test sequence; finally a train operation simulation environment is established for verifying the rationality of test sequence. Several key issues such as rationality criteria, rationality rules, rules base, and verification strategy are addressed.