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

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

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

对于面向传值进程的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模拟软件，采用速率模型作为基本方程，对亲和层析的实验现象进行了数值模拟分析，与实验结果进行对比发现，速率模型可以较准确地描述固定床中的亲和层析过程。     

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

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

企业绩效考核的新方法3P模型

在当前我国企业人力资源管理实践中,绩效考核可能是最令人关注且问题最多的领域。调查发现,很多企业在实际工作中,往往把绩效考核作为一项独立的技术性工作,缺乏与其他工作的融合,这是导致企业绩效考核失效的重要原因之一。 3P模型(如图1)是由绩效考核(PerformanceEvaluation)为中心,把岗位分析(Position Analysis)和薪酬设计(Payment Design)结合起来,共同构成一个全方位、交叉融合的企业绩效考核体系。在一个健康的3P模型里,岗位分析为绩效考核提供了考核的内容和方法;绩效考核的结果决定了员工的工作绩效工资;而薪酬作为一种重要的反馈机制能够支持绩效考核的持久和高效。     

基于神经网络的冲击地压危险性预测预报

文章分析了影响冲击地压危险性的主要因素，首次利用神经网络模型模拟各个因素之间的复杂的非线性关系，消除了传统预测方法中的人为确定冲击危险指标的影响。检验结果表明：模型可靠，预测精度高。为冲击地压与人工智能等高新技术的进一步结合奠定了基础，进一步拓宽了神经网络技术的研究领域。