BAN逻辑与串空间的比较

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

信用风险优化模型及其智能计算

采用模糊规划的方法,对模糊不确定环境下的信用风险度量和投资优化问题进行了模型的构建与仿真研究。基于具有自对偶性的可信性测度,提出了模糊条件在险价值作为信用风险度量,并构建了带有投资和收益等约束条件限制的信用风险最小化模型。其中,所考虑市场信用资产预期收益的可能性分布,用指数型模糊变量来刻画。最后,对该信用资产优化模型设计了智能算法,并进行了仿真分析。仿真结果表明,优化后的信用风险明显优于原始的信用风险。     

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

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

Why-问题与科学解释

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

分布控制型供应链的多层规划模型研究

研究分布控制型供应链的生产、配送与库存决策问题,通过分析成员的独立决策行为,针对供应链系统上下层之间所具有的Stackelberg博弈特征,建立多层规划模型,最后利用交互式多层模糊算法进行求解.     

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

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

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

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

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

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.     

基于遗传算法的车辆ABS在线整定PID控制及仿真

分析了ABS(防抱制动系统)PID控制方法的原理。提出了基于遗传算法的在线ABS PID控制方法。为了使控制器具有更高的搜索效率以满足ABS的实时性要求,改进了遗传算法的遗传算子,使复制与交叉操作并列存在,使用具有选择性的交叉操作,并改变变异操作的随机性,使其成为受控的随机操作。使系统能根据车辆的运行条件实时整定PID控制参数。仿真结果表明,基于遗传算法的在线ABSPID控制方法能有效抑制超调,控制ABS跟踪路面条件变化。