BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

依托课外科技文化活动,培养大学生的创新能力——本科教学《评估方案》中两观测点之实证研究

通过解读《普通高等学校本科教学工作水平评估方案（试行）》中的两个观测点——“课外科技文化活动”和“学生的创新精神与实践能力”，探讨了重庆文理学院近年来在这些观测点所做的努力．以此证明，开展课外科技文化活动是培养大学生创新能力的重要途径．     

Why-问题与科学解释

从亨佩尔开始，人们就把解释和Why一问题紧密的联系起来，其实解释不能简单地看成对Why—问题的回答，Why—问题也需要进一步的阐释。我们尝试对Why—问题的两种不同的分析方法——命题理论和对照理论进行阐释和评论。揭示两种方法的同并之处。基于学术界普遍认为对照理论优于命题理论的状况，本文着力反驳了对照理论，得出了对照理论未必优于命题理论的结论。     

薄膜材料的非线性折射率和非线性吸收系数研究

介绍了用单光束纵向扫描技术(Z扫描)测量薄膜材料的三阶非线性光学效应方法,研究了薄膜材料的非线性吸收效应对其非线性折射率测量的影响.当非线性吸收和非线性折射共存时,非线性吸收效应使Z扫描闭孔的测量曲线峰谷不对称,当耦合因子ξ=β     

超塑性板材气压成形模具的设计与计算

介绍了金属的“超塑性”概念及其特点,阐述了超塑性材料Zn-22%Al板材气压成形的原理,着重解释了其板材气压成形模具的设计与计算,对生产实际与理论探讨具有现实意义。     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．     

Time‐simultaneous prediction band for a time series

I propose principles and methods for the construction of a time‐simultaneous prediction band for a univariate time series. The methods are entirely based on a learning sample of time trajectories, and make no parametric assumption about its distribution. Hence, the methods are general and widely applicable. The expected coverage probability of a band can be estimated by a bootstrap procedure. The estimate is likely to be less than the nominal level. Expected lack of coverage can be compensated for by increasing the coverage in the learning sample. Applications to simulated and empirical data illustrate the methods. Copyright © 2007 John Wiley & Sons, Ltd.     

The concentration quenching characteristics of ~5D_3-~7F_J and ~5D_4-~7F_J (J=0―6) transitions of Tb~(3 ) in YBO_3:Tb~(3 ) phosphor

The photoluminescence quenching behaviors of 5D3-7FJ and 5D4-7FJ (J = 0―6) transitions of Tb3 in YBO3:Tb under 130―290 nm excitation were systematically investigated. The results revealed that the quenching concentrations of both 5D3-7FJ and 5D4-7FJ transitions of Tb3 in YBO3:Tb were mainly de-pendent on excitation wavelength. Particularly,the quenching concentrations of 5D4-7FJ transitions of Tb3 under 130―290 nm excitation were correlated with excitation bands of YBO3:Tb. The quenching concentrations of 5D3-7FJ transitions remained at low concentration (2%) under 186―290 nm excitation and then increased gradually with energy of incoming excitation photon when excited at 130―186 nm. This dependence should be involved in their excitation mechanisms and quenching pathway in particular excitation region.     

论社会主义与人的自由和全面发展

人的自由和全面发展是马克思一贯倡导并始终坚持的主导价值取向,是马克思主义学说的灵魂.中国共产党继承和发展了马克思主义关于人的自由和全面发展的思想,同时,立足于中国社会主义初级阶段的实际,积极创造条件,稳妥地推进人的自由和全面发展.     

线束中四直线交比定义的讨论

对梅向明等编《高等几何》关于线束中四直线交比的内容作重新编排，既保证其内容的完整性，又弥补原书理论上的不足．