基于学习进程的学习评估在大学化学教学中的实践

高等教育质量提升的关键在于课程教学质量的不断完善。作为高等教育的重要环节,化学课程教学在非化学化工专业人才的知识体系构建、能力培养、素质养成方面有着不可或缺的作用。大学化学课程的教学实践表明,基于学习进程的评估有利于激发学生的学习积极性,显著提高教学班的整体成绩并实现课程教学质量的提升。     

Triphenylphosphonium (TPP)-Based Antioxidants: A New Perspective on Antioxidant Design

Mitochondrial oxidative damage and dysfunction contribute to a wide range of human diseases. Considering the limitation of conventional antioxidants and that mitochondria are the main source of reactive oxygen species (ROS) which induce oxidative damage, mitochondria-targeted antioxidants which can selectively block mitochondrial oxidative damage and prevent various types of cell death have been widely developed. As a lipophilic cation, triphenylphosphonium (TPP) has been commonly used in designing mitochondria-targeted antioxidants. Conjugated with the TPP moiety, antioxidants can achieve more than 1000-fold higher mitochondrial concentration depending on cell membrane potentials and mitochondrial membrane potentials. Herein we discuss the deficiencies of conventional antioxidants and the advantages of mitochondrial targeting, and review various types of TPP-based mitochondria-targeted antioxidants. These provide theoretical and background support for the design of new anti-oxidant.     

超高性能混凝土国内外研究与应用进展*

介绍了超高性能混凝土（UHPC）的制备原理和性能特点，对UHPC国内外研究和应用情况进行了综述，指出了我国UHPC研究和应用中存在的问题。结果表明：UHPC是一种具有优异的力学性能、耐久性能和环保效益的新型水泥基复合材料。国外在UHPC理论研究和应用研究方面都取得了大量成果，在实际工程中已经获得了广泛的应用；近年来我国在理论研究和应用方面也得到了快速发展；如何简化UHPC制备工艺、降低生产成本、补偿自收缩是今后的主要研究方向，完善相关规范标准以更好地指导UHPC现浇工程应用是目前首要解决的问题。随着环保和可持续发展理念的日益重视，UHPC这种低碳环保材料将有广阔的发展前景。     

A Reduced Reachability Tree for a Class of Unbounded Petri Nets

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size.