混凝土路面厚度的超声波无损检测研究

利用模拟物理模型，并根据相似性原则建立起公路路面和路基的双层简化模型，提出了一种准确识别反射波，测量反射波速率及走时参量的实用方法。采用特殊的观测系统，由波速及走时反推路面厚度。实验结果表明，这种无损检测方法具有较高的精度，相对误差不超过3％，并可用于其它领域的质量检测中。     

带有预算费用约束的多地点报童模型

有针对性地研究了一种带有预算费用约束的多地点(连锁店)报童问题。在各地需求变量均服从正态分布的情况下,建立了数学模型,利用最优化方法进行了求解,并对模型的灵敏度进行了分析。     

Win 2000下USB数据采集系统驱动程序开发

为了将通用串行总线(USB)应用于数据采集系统中，提出了利用Windows2000设备驱动开发包(DDK)开发USB驱动程序的方法。该方法将USB驱动程序分为即插即用(PnP)、电源管理、USB初始化和USB设备I／O等功能模块，在这几个模块中，只有USB初始化和USB设备I／O模块跟具体的USB设备有关。该方法具有结构清晰、易移植、复用性好等优点，在USB驱动程序设计中具有良好的应用价值。     

微波放大器Rn-Gn噪声模型阻抗变换测量方法

为了使接收微波放大器在工作频段上具有较小的噪声，讨论了如何使用M-Lane方法，结合自行研制的精密阻抗变换器，得到微波放大器Rn-Gn噪声模型中包括最小噪声系数Fmin在内的4个参数，使设计的放大器工作在匹配状态，Fmin可达到2．32dB，测量时间也大大缩短，结果稳定，为进行微波放大器低噪声设计提供了一个快速准确的方法。     

半封闭圆管冲击射流湍流换热数值模拟

采用标准κ-ε模型、RNGκ—ε模型结合壁面函数以及低雷诺数κ—ε模型，对半封闭圆管冲击射流流场的平均速度、湍动能分布和Nu数分布进行了数值计算，并将此3种模型的计算结果与文献中的测量结果进行了比较．结果表明：3种湍流模型都未能完全准确地预测冲击射流场的流动特性与传热特性，其中标准κ—ε模型和低雷诺数κ—ε模型的结果很差，而RNGκ—ε模型的结果与其它两种模型相比更接近实验值。     

PEG/(NH4)2SO4双水相体系甘草酸盐分配系数测定和关联

利用双水相分配技术从甘草中提取甘草酸盐，测定了不同分子质量PEG／(NH4)2SO4双水相体系的分配系数，并利用改进Diamond—Hsu模型对此双水相体系的分配系数进行了数学关联。得到比较好的结果。     

积域上一类相关于块空间的参数型Marcinkiewicz积分的L2有界性

给出了乘积域上一类粗糙核参数型Marcinkiewicz积分μρ,σΩ,h的L2有界性,其中核函数Ω∈B0,1q(Sn-1×Sm-1) (q>1),h(r1,r2)∈l∞(Ls)(R+×R+)(1相似文献   

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

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

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

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

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

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