具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

激光雷达测量数据的两种计算方法比较

利用轻便型扫描式的米散射激光雷达对香港地区的大气气溶胶分布进行了测量。该激光雷达可以在10min内,以120°倾角对大气进行扫描,扫描高度为1～4km。用2种计算方法对激光雷达测得的数据进行了分析,分别利用前向法和后向法计算了大气气溶胶的消光系数对高度的变化情况,并把计算结果与理想情况进行了比较,分析后认为后向法更为稳定。     

邛崃波尔山羊场牧业生态系统能流物流的研究

运用生态学的系统分析方法，以邓崃波尔山羊场牧业生态系统为研究对象，对其能流、物流以及能量和物质的转化效率和经济效益进行了研究．结果表明，该牧业生态系统以畜产品及畜体输出的能量和粗蛋白质分别占相应总输出的31．07％和31．77％，家畜能量和粗蛋白质的转化效率分别为16．560／o和17．81％，产值盈利率为36．42％，其中羊高达52．26％．该系统是一个值得推广的牧业生态系统．     

参数不确定广义系统的鲁棒H∞控制

研究了一类具参数不确定性广义系统的鲁棒H∞ 控制问题 .基于线性矩阵不等式 (LMI)方法 ,给出了控制输入为零时不确定广义系统具H∞ 范数界的稳定性分析 ;在此基础上 ,建立了鲁棒H∞ 状态反馈控制律的设计方法 .在一定条件下 ,该方法使不确定广义系统对所有容许的不确定参数 ,相应的闭环系统是正则、无脉冲且稳定的 ,并具H∞ 范数界 .数值例子验证了该设计方法的有效性     

钢管混凝土拱桥的地震响应分析方法

目前常用于钢管混凝土拱桥的地震响应分析方法有换算截面法和双单元法 .提出一种基于钢管混凝土统一理论 ,将钢管混凝土作为一种材料 ,根据其构件力学性能指标进行地震响应分析的方法 ,并运用这 3种方法对一钢管混凝土拱桥实例进行了分析 .比较分析其计算结果 ,认为基于统一理论的方法是一种分析方便易行的钢管混凝土拱桥地震响应分析方法     

基于性能的沥青路面全寿命设计方法--重交通沥青路设计方法之二

鉴于传统的路面结构设计不能很好地控制路面损坏状况 ,故对先前建立的路面结构行为方程进行了验证 ,分析了不同沥青材料对路面长期使用性能的影响 ,建立了旧路面的结构状况对罩面路面结构的影响关系 ,在此基础上对路面结构的全寿命使用性能进行了分析 .根据所建立的全寿命路面结构行为方程 ,提出了一套基于路面使用性能的新的路面设计方法 ,并试图根据路面在整个分析期内的使用性能来设计路面的结构组合 ,给出最优的、唯一的路面结构厚度组合 .为了保证按上述方法设计的路面结构具有期望的寿命 ,最后给出了路面材料选择的原则性建议     

轿车车头道路模拟试验加载谱研究

结合实际工作需要，通过远程参数控制技术在6通道多轴随机振动台上开发了轿车车头内零部件的室内道路模拟试验技术，正确、快速地模拟试件在试车场强化道路上的振动特性，缩短了试验周期，降低了试验费用，建立了制定试验标准的基本流程。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

发动机怠速稳定性控制方法的分析研究

从提高发动机经济性和降低有害排放物质的角度出发，讨论了发动机怠速控制方法，对用PID控制，模糊控制，模糊－PID控制方法进行深入分析研究，并给出3种控制方法的仿真结果，模糊控制完全可用于发动机ECU的怠速控制。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．