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

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

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

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

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

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

长尾理论视角下基于DCA 的网络自助出版推荐系统

随着自助出版系统文本规模的迅速增长,选用合理的推荐技术有利于＂长尾＂文本的发掘和价值实现。针对自助出版文本,设计了基于有向图的聚类算法DCA（Directed Graph Clustering Algorithm）,将聚类看成是确定对象的过程,根据词间信息传递量的大小选定特征词集对文本进行聚类。为改善＂长尾＂文本聚类的有效性,文中所述系统设置了浮动相似度阙值及推荐公共池。实验结果表明,较之K-Means算法,该算法有较强的自适应性和通用性,能有效地运用到自助出版文本的个性化推荐系统领域。     

基于对称物体的3维重构技术研究

3维重构理论与技术是计算机视觉领域最重要的热点问题之一,而基于单幅图像的3维重构由于缺乏足够的几何信息而难以达到预期效果,已成为世纪性难题。针对大部分物体具有对称性特征,或可分解为有限个对称物体元的客观事实,提出基于透视逆变换原理,首先建立包含摇角、倾角、摆角等三元的透视变换矩阵T;再由链码表示的物体轮廓提取特征直线,根据平行线束投影角相近性特点求解主灭点信息,进而确定视点位置、物体对称平面;根据对称性特征,利用物体假想对称平面,通过人工交互指定3对已知对称点的图像坐标及其对应点的空间坐标确定透视变换矩阵T,继而反求物体表面其他特征点的空间位置,最后利用OpenGL软件包实现物体3维模型的重建。     

基于差分直方图的LSB图像隐藏信息盲检测技术的研究

提出了一种基于差分直方图的LSB图像隐藏信息盲检测技术.该算法的基本思想是在分析和提取图像差分直方图统计特征的基础上,采用随机假设检验方法检测隐藏信息嵌入概率,从而实现图像隐藏信息的盲检测.仿真实验结果表明,该算法在提高检测速度的同时,能有效降低盲检测的虚警率和误报率.     

探头式超声乳化催化脂肪酶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.     

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

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