固定支付利率的抵押贷款定价理论——限于在支付日提前支付或违约

建立限于在支付日提前支付或违约的固定支付利率抵押贷款的定价问题的数学模型,通过沿着利率特征线方向差分偏微分方程,建立模型的离散计算方法,同时根据一些计算实例所得的数字结果,分析和讨论它的风险特性与风险管理方法.     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

稀土金属有机氢化物的合成及其引发Claisen 重排反应的研究

用(C9H7)2LnCl@2THF与过量氢化钠在THF溶液中反应,得到相应的稀土有机氢化物[(C9H7)2LnH]2@4THF@NaCl,用制得的氢化物与不饱和羰基化合物苯乙酸烯丙酯反应,发生Claisen重排,同时选择性还原羰基.     

新生态δ-MnO2对废水中As(v)的吸附研究

利用新生态δ-MnO2对含As(v)的模拟废水进行了吸附实验，结果表明，δ-MnO2对As(v)有良好的吸附特性，有较好的去除率．吸附前MnO2悬浊液的PH值、MnO2的投放量、As(v)的初始浓度、吸附时间、温度等对吸附效果都有一定的影响．却除的最佳条件为：室温下，PH值为6．5，MnO2投放量为100mg，As(v)的初始浓度为10mg／L，吸附时间为2h，去除率可达96％以上。     

体育专业体操"目标-主体-发展"教学模式的实验研究

针对体育专业体操教学的现状及教学模式存在的问题，在体操教学中进行“目标—主体—发展”教学模式的实验研究，通过对辽宁师范大学体育学院2000级两班进行的教学实验，研究“目标—主体—发展”教学模式的活动流程、教学特点和理论依据。     

基于HLA和GIS的作战想定整合与态势演播

HLA是近几年发展起来的一种体系结构标准，介绍了将HLA/RTI和网络GIS的集成研究成果及其用于想定整合与态势演播取得的有益实验结果。     

基于"涨落放大机制"原理的高技术产业化系统研究

“通过涨落达到有序”是自组织理论的基本原理。运用“涨落放大机制”理论的原理和方法，探讨了高技术产业化系统的内在规律性，提出了高技术产业化系统是一个正负反馈交错的复杂的动态系统，阐明了研究开发（R＆D）与技术创新涨落因素是高技术产业化系统向有序方向演进的内部诱因的观点，从而尝试为我国高技术产业化过程提供理论依据和指导。     

不同卫星遥感数据镶嵌最优方法探讨——以ASTER和TM影像为例

以贵州省黔南州ASTER和TM影像为数据源,运用IMAGINE ERDAS V9.1软件为主要支撑,介绍不同影像的几何校正和拼接的基本原理和方法,使数据处理和应用达到优化,为影像收集困难地区开展遥感调查及应用提供新途径。     

矿用支护托梁复合材料π型带的结构设计与有限元分析

通过对W型钢带的结构和材料的改进,设计出复合材料π型带,并与W型钢带进行了有限元分析比较,得出了复合材料π型带优于w型钢带的结论.