格值命题逻辑系统中广义文字的正规性

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。     

用于重叠峰分辨的卡尔曼滤波法

导数法广泛应用于重叠峰分辨,但信噪比会随着导数阶数的增加而降低。提出一种基于卡尔曼滤波的导数方法,可以显著提高高阶导数谱的信噪比,提高重叠峰分辨力。另外,该方法不需要建立数学模型,计算简便,能满足手持式仪器实时性要求。用仿真数据研究了该法在重叠峰分辨中对信噪比的影响,以离子迁移率谱图分辨为例说明了该法的实际应用。     

基于一体化建模技术的液压舵机动力学仿真分析

为了研究液压舵机本体结构的动力学响应对导弹液压舵机系统工作稳定性的影响,以液压舵机系统的工作原理为基础,建立了基于多平台的液压舵机系统机电液一体化模型,分析了包括活塞、连杆、曲柄结构的舵机动力学模型,计算了正常工作状态下液压舵机部件的承载力;并运用有限元法得到了液压舵机本体结构的振动特性。结果表明,一体化建模技术能比较准确的描述舵机本体结构的动力学响应特性,在产品研制过程中有较大的工程应用价值。     

微米和纳米Al2O3对水泥基材料力学与耐久性的影响

为了明确微米和纳米Al₂O₃对水泥基材料力学性能与耐久性的改性作用,采用细度分别为1 μm和10 nm的Al₂O₃替代水泥,制备低水胶比水泥基材料。通过宏观和微观测试手段,分析微米和纳米Al₂O₃对水泥基材料力学性能与耐久性的影响规律,并探析其作用机理。试验表明:掺量为0.5%~4.0%的微米Al₂O₃和纳米Al₂O₃能增强水泥基材料的力学性能,降低其干燥收缩;0.5%~2.0%微米Al₂O₃和0.5%~4.0%纳米Al₂O₃能降低水泥基材料的渗透系数,但4.0%微米Al₂O₃会增大水泥基材料的渗透系数。相对而言,纳米Al₂O₃对水泥基材料的改性作用优于微米Al₂O₃。电镜扫描和文献研究结果发现,纳米Al₂O₃和微米Al₂O₃在水泥基材料水化、硬化过程中发挥尺寸效应、填充效应和表面活性效应,进而达到增强水泥基材料的力学性能和耐久性的目的。研究成果为水泥基材料的改性提供试验基础。     

计算流场尺寸对风压系数影响的研究

计算流体动力学（CFD）技术已成为研究建筑结构风压系数的有效手段之一,但合理的风场构筑理论和构筑方法是准确模拟建筑结构风场的基础,对此研究成果不多。基于CFD软件,建立了单体方形建筑有限元分析模型,通过改变三维流场特征尺寸,研究了单体建筑物在不同流场断面高度、宽度,来流、尾流长度等尺寸效用下结构表面风压特征及风压系数变化规律。结果表明：流场高度主要影响迎风面的风压系数,流场宽度的变化主要影响结构迎风面以及结构两侧的风压系数分布,流场长度的影响集中在迎风面和背风面。研究结果可为此类建筑物合理使用数值风洞提供参考。     

四值非链格值命题逻辑系统L4P(X)的语义归结方法*

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

模糊神经网络与SARIMA结合的时间序列预测模型

模糊神经网络和SARIMA模型分别对非线性和线性时间序列有很好的预测能力,但在实际应用中大多数序列并非稳定、单纯线性或非线性的.为了提高预测精度,提出了一种基于T-S模糊神经网络与SARIMA结合的时间序列预测模型.针对悉尼航班乘客收入数据给出了三种混合模型,并与模糊神经网络、支持向量机、SARIMA和BP神经网络四种单独模型进行比较.实验结果表明,从预测精度和参数选择方面来看,所给模型是有效的.     

人力资源管理系统的研发

人力资源管理系统项目主要为国内大中型企业提供功能全面、实用的人力资源管理软件,包括传统的人力资源管理和财务管理。首先对人力资源管理进行详细的需求分析,确定系统的功能结构;然后进行数据库设计,建立系统动态模型,对系统安全模块进行了详细设计,最后完成系统的实现。