有穷客体域中一阶谓词公式的一种自动化判定法

本文给出了一个在自然数的有穷客体域Dk={1,2,…,k}(k≥0) 内一阶谓词逻辑公式的k普遍有效性的判定算法。对于只包含一元谓词的公式以及对于带有前束量词 (m≥0,n≥0)且内部无自由变元的前束范式,该判定算法可判定这些公式的永真性,从而使该判定算法突破了有穷客体域以及k普遍有效性的局限。     

GPRS业务中IP QoS模型及其改进

描述了用OPNET实现的简化的GPRS模型。在仿真中给出了两种不同QoS参数的用户,仿真结果可以证明,GPRS可以实现数据上下文激活、数据传输过程,并能根据不同的数据上下文激活保证提供不同的QoS。接着,给出了在原来的信令过程基础上的改进,通过对时延敏感的用户的数据提供资源预留,保证了该类数据在骨干网不会发生拥塞,仿真结果证明该方法是行之有效的。     

高阶滑模微分器的分析与改进

首先采用Terminal吸引子函数代替原不连续函数,以避免滑模微分器的抖振;然后针对现有文献中高阶滑模微分器设计参数选取苛刻这一问题,放宽了设计参数选择范围,并分不同情况证明了高阶滑模微分器的稳定性．在此基础上,给出了高阶滑模微分器估计误差的上界与设计参数和滑模微分器阶次的关系式;通过对设计参数的选取和系统整体结构的分析,提出了高阶滑模微分器减小估计误差且更适于工程应用的设计方法,并给出所需条件．仿真结果表明了所得结论的正确性和有效性．     

浅谈建筑外墙渗漏的起因及解决措施

对建筑外墙因设计、结构形式、材料等方面引起渗漏现象的原因进行了论述。从设计角度、现场施工、材料应用上提出了独到见解，从根本上保证了建筑物外墙不发生渗漏，从而达到了建筑物对外墙防渗漏的质量和技术要求，提出了施工完毕采用的具体检验外墙质量是否达到设计、施工规范要求的办法。     

堆载预压法在某工程中的应用及效果评价

通过现场监测，对应用堆载预压法处理和深圳湾填海造地过程中软基处理工程的加固效果进行了评价。该法在软基处理方面有重要的工程价值和推广意义。     

用平衡树实现集合运算的研究之五

研究了两棵平衡树之间的操作,通过两棵平衡树的同时操作,完成两个集合之间的各种运算,如测试集合包含关系(ISSUBSET)、求集合的并(UNION)、求集合的交(INTERSECT)、求集合的差(DEDUCT)、按关键字序列的连接(CONCATENATE)、拆分(SPLIT)、空间压缩(COMPACT)等算法.重要算法给出了时间复杂度证明.这些算法的实现和良好的时间复杂度,说明BT很好地解决了集合的存储和运算工作,解决了"2-3"树完成集合运算的空间利用率低和个别集合操作不相容问题.     

探头式超声乳化催化脂肪酶TLIM水解茶叶籽油工艺优化

在单因素试验基础上,选取脂肪酶TLIM浓度、酶解温度、搅拌转速为试验因子,水解率为响应值,运用BoxBenhnken试验设计对探头式超声波乳化催化脂肪酶TLIM水解茶叶籽油工艺进行优化,建立数学回归模型。结果表明,茶叶籽油酶解优化工艺为:超声波功率320 W,搅拌转速840r/min,酶解温度50.5℃,脂肪酶TLIM浓度3.0%(油重),缓冲液初始pH 8.5,酶解时间8h。该条件下,茶叶籽油水解率达73%,说明该法酶解效率高。     

NUMERICAL SIMULATION BY COMPUTATIONAL FLUID DYNAMICS AND EXPERIMENTAL STUDY ON STIRRED BIOREACTOR WITH PUNCHED IMPELLER

Instantaneous flow field and temperature field of the two-phase fluid are measured by particle image velocimetry (PIV) and steady state method during the state of onflow. A turbulent two-phase fluid model of stirred bioreactor with punched impeller is established by the computational fluid dynamics (CFD), using a rotating coordinate system and sliding mesh to describe the relative motion between impeller and baffles. The simulation and experiment results of flow and temperature field prove their warps are less than 10% and the mathematic model can well simulate the fields, which will also provide the study on optimized-design and scale-up of bioreactors with reference value.     

智能验布机张力控制系统的分析

系统地论述了智能验布设备张力控制系统的组成和一般分类;分析了设计过程中要考虑的张力系统的驱动形式以及张力的测量和加载方式,对执行元件的选取做出比较,最后提出了实时、外变张力系统几种实用方案.     

简化守恒标量法在铸造充型模拟中的应用

在铸造模拟中，目前流动前沿的难题处理上，用得较多的有两种方法：VOF法和守恒标量法。笔者针对守恒标量法的某些缺点．在遵守物理守恒定律的前提下，对其进行简化。在此基础上，用VC＋＋语言进行编程，将计算后的实例与实际的试验对比验证，结果表明：对守恒标量法所作的简化基本可行，与原来的守恒标量法比较．简化后的编程简单．计算时间缩短。