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

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

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

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

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

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

机场终端区流量分配及优化调度

针对日益增长的空中交通需求所带来的严重的航班延误,给出了一种空中交通流量管理(ATFM)终端区流量分配及优化调度的模型.它可以实现对终端区某一特定时段内现有容量更有效的利用,进一步优化流量分配方案从而减轻航班延误的影响.模型在考虑机场的到达和出发过程相关的条件下实现对机场流量的最优分配,还考虑了机场容量按时间动态分配的特性以及在交通需求和天气的动态特性下,达到和出发过程之间的流量协调.最后利用中国某国际机场的实际数据对模型进行了验证,取得了很好的效果.     

利用试验模态参数建立轮胎滚动模型

为发展整车试验场模拟计算(virtualprovingground)和深入理解弹性轮胎滚动运动学及动力学机理,利用轮胎的模态参数直接对轮胎在平面上的滚动建立了便于离散计算的时域仿真模型。该模型可模拟轮胎时域滚动的动态过程并可计算出不同工况下的滚动特性、有效滚动半径、垂直刚度以及印迹内变形和分布力。计算结果揭示了以往模型难以描述的微观现象,与以往文献的试验研究结果定性一致,充分显示了模型的合理性。可作为发展轮胎在不平路面上滚动时域模型的基础。     

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

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

基于VSM的中文文本分类系统的设计与实现

文本分类是指在给定分类体系下,根据文本的内容自动确定文本类别的过程。该文阐述了一个基于向量空间模型的中文文本分类系统的设计和实现。对文本分类系统的系统结构、预处理、特征提取、训练算法、分类算法等进行了详细介绍。引入标题权重系数改进词语权重,并提出了一种新的分类算法。实验测试结果表明查全率和准确率均达到90%左右,而且标题权重的引入和新分类算法的实施有效地改善了分类性能。     

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

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

具有扰动观测器的改进SMITH预估控制

为提高SMITH预估控制的鲁棒性,以适应控制对象模型不确定性,提出一种具有扰动观测器的改进控制方法,同时给出基于ITAE准则(即时间乘绝对误差积分准则)的PI(比例积分)控制器参数整定公式。把外扰和模型不确定性都看作外部扰动,通过扰动观测器进行估计,从而达到把纯滞后环节置于闭环之外的目的。仿真结果表明:在被控对象具有模型不确定性的情况下,该控制方法与SMITH预估控制相比,在设定值跟踪和扰动抑制方面均具有较好的控制性能,提高了系统的鲁棒性。     

巧用Visual FoxPro制作套表打印

从报表创建、报表布局及打印调试等方面介绍了利用Visual FoxPro的快速报表实现套表打印的具体操作步骤。在Visual FoxPro下制作报表简单、实用、方便，很好地解决了数据套表打印问题。