单晶硅中离子注入及快速热退火后浓度分布模型

在考虑B，P，As离子注入单晶硅中的浓度分布模型的基础上，讨论了快速热退火对3种注入离子浓度分布的影响，提出了3种离子在快速热退火后浓度分布的修正模型，由修正后的模型得到的多次离子注入模拟结果与实验结果符合很好。     

我国大学学科课程结构体系的非均衡演进

以中国社会经济转型为研究背景，从非均衡演进和实证分析的角度考察中国大学学科课程结构体系的改革与发展，回顾了中国高等教育课程结构体系的发展、改革、扩张和整合的历程，集中探讨了大学的课程结构体系在我国社会经济转型期的发展路径，并粗略设计了大学学科课程体系的非均衡态的演进模型。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

基于GIS的泥石流拦砂坝优化设计模型

利用地理信息系统(GIS)手段, 通过对拦砂坝坝高和库容确定、断面设计、荷载分析、结构计算、稳定性分析和计算, 建立了基于GIS的拦砂坝优化设计模型. 该模型以坝体的结构稳定性为约束条件, 把拦砂坝的优化设计视为一个非线性规划问题, 能较准确地计算拦砂坝的体积和库容, 以达到投资库容比最小为目标, 初步实现了拦砂坝重要参数, 如拦砂坝体积(工程投资)、坝体稳定性、库容(拦砂量)的优化设计, 为泥石流防治工程的优化设计提供了新的解决途径.     

一种DSM模型下飞行障碍物尺度的研究

在一种数字表面模型(DSM)建模方法的基础上,对威胁飞行器低空飞行安全的独立障碍物的尺度与DSM纵横断面采样间距的关系进行了分析,给出了独立障碍物的定义、分类和确定独立障碍物的方法。通过对7.2km2一典型城市地域的仿真试验表明,DSM纵横断面间距在3～25m之间,威胁飞行器地形跟踪制导安全的孤立障碍物较少,同时装订并实时处理的DSM模型数据量也较小,并在纵横断面间距12.5m处达到两者最优。     

复杂应力状态下的饱和体本构模型及内力变化

水的力学作用和化学物理作用的交错影响,使得坝基软岩软化和受力更为复杂,也使一般固体线弹性本构模型不再适用。该文介绍了饱和体抗拉试验,对试验结果进行拟合,用试验验证了本构曲线受拉区的合理性。构建了复杂应力状态下饱和体本构模型,实现了复杂应力饱和体计算的有限元算法,并验证了算法的可行性和收敛性。根据新构建的本构模型和算法,给出了相应的三维有限元计算程序,其计算算例的结果验证了本构模型的合理性和算法的正确性。     

CDMA通信系统接收信号的统一表达式

针对同步与异步CDMA通信系统以及不同的信道模型,给出了连续接收信号的统一表达式。若对接收信号进行采样,也可得到离散接收信号的统一表达式。通过给出信道模型的统一表达式,可以很方便地利用此表达式来进行CDMA无线通信系统的各种复杂信道的参数辩识以及盲均衡设计。     

尿激酶亲和层析分离中吸附和洗脱过程的速率模型模拟

采用非平衡层析速率模型，对尿激酶的亲和层析过程进行了模拟计算。利用亲和层析，可以将粗品原料净化为高纯度尿激酶产品；层析所用的亲和载体是采用对氨基苯甲脒作为配基，将琼脂糖凝胶进行活化制得的。通过问歇实验，测定了吸附等温线并进行吸附动力学研究。借助于VERSE—LC模拟软件，采用速率模型作为基本方程，对亲和层析的实验现象进行了数值模拟分析，与实验结果进行对比发现，速率模型可以较准确地描述固定床中的亲和层析过程。     

分析转移矩阵方法确定多层平板光波导TM模的色散方程

分析转移矩阵方法(ATMM)能精确地确定平板光波导的模式特性。本文利用ATMM，导出了非对称多层平板光波导和对称多层平板光波导的TM模的精确色散方程。     

一个智能型试题库管理系统的设计与分析

介绍智能型试题库管理系统的设计思想、系统特征与结构，并给出了系统的质量指标体系，重点论述了运用学生模型库和教师模型库实施组卷的关键技术。