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

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

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

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

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

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

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

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

新疆卫生服务调查研究中的抽样与质量控制方法

为了制定新疆维吾尔自治区卫生资源配置标准，我们进行了新疆维吾尔自治区卫生服务调查。采取多阶段分层、整群抽样的方法，对38474人进行家庭人户健康询问调查。玛叶指数为11．95，无人口堆积现象，年龄、性别与民族的构成与总体构成差异均无显著性。本次调查数据代表性较好，可信度高。     

三角模糊数方程的简便求解

在引入模糊数概念的基础上，给出了三角模糊数方程的简便求解方法。     

过渡金属表面反应能量学计算系统的开发

利用VB6．0和Access7．0开发了过渡金属表面反应能量学的计算系统．该软件基于UBI-QEP的理论方法．采用模块化设计．其功能模块有3个：(1)数据库模块．利用该模块可以实现气相解离能以及小吸附基团在各种过渡金属表面吸附热的查询、添加与修改；(2)化学吸附热计算模块，利用该模块可以调用数据库中的数据对吸附基团在不同吸附方式的吸附热进行计算；(3)基元反应的活化能垒计算模块．利用该模块可以对基元反应的活化内能进行计算，进而分析其反应的难易与历程．该系统实现了UBI-QEP的理论方法计算的程序化，可用于多相催化反应的催化剂优选和机理探讨．     

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

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

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

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

齐次线性微分方程解取小函数的点的收敛指数

主要讨论了高阶齐次线性微分方程解取小函数的点的收敛指数。