排序方式: 共有22条查询结果,搜索用时 0 毫秒
1.
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。 相似文献
2.
3.
4.
为了明确微米和纳米Al2O3对水泥基材料力学性能与耐久性的改性作用,采用细度分别为1 μm和10 nm的Al2O3替代水泥,制备低水胶比水泥基材料。通过宏观和微观测试手段,分析微米和纳米Al2O3对水泥基材料力学性能与耐久性的影响规律,并探析其作用机理。试验表明:掺量为0.5%~4.0%的微米Al2O3和纳米Al2O3能增强水泥基材料的力学性能,降低其干燥收缩;0.5%~2.0%微米Al2O3和0.5%~4.0%纳米Al2O3能降低水泥基材料的渗透系数,但4.0%微米Al2O3会增大水泥基材料的渗透系数。相对而言,纳米Al2O3对水泥基材料的改性作用优于微米Al2O3。电镜扫描和文献研究结果发现,纳米Al2O3和微米Al2O3在水泥基材料水化、硬化过程中发挥尺寸效应、填充效应和表面活性效应,进而达到增强水泥基材料的力学性能和耐久性的目的。研究成果为水泥基材料的改性提供试验基础。 相似文献
5.
6.
人力资源管理系统项目主要为国内大中型企业提供功能全面、实用的人力资源管理软件,包括传统的人力资源管理和财务管理。首先对人力资源管理进行详细的需求分析,确定系统的功能结构;然后进行数据库设计,建立系统动态模型,对系统安全模块进行了详细设计,最后完成系统的实现。 相似文献
7.
8.
计算流体动力学(CFD)技术已成为研究建筑结构风压系数的有效手段之一,但合理的风场构筑理论和构筑方法是准确模拟建筑结构风场的基础,对此研究成果不多。基于CFD软件,建立了单体方形建筑有限元分析模型,通过改变三维流场特征尺寸,研究了单体建筑物在不同流场断面高度、宽度,来流、尾流长度等尺寸效用下结构表面风压特征及风压系数变化规律。结果表明:流场高度主要影响迎风面的风压系数,流场宽度的变化主要影响结构迎风面以及结构两侧的风压系数分布,流场长度的影响集中在迎风面和背风面。研究结果可为此类建筑物合理使用数值风洞提供参考。 相似文献
10.
序列模式发现是最重要的数据挖掘任务之一,并有着广阔的应用前景。针对静态数据库,序列模式挖掘已经被深入地研究,但针对基于数据流的序列模式挖掘的研究还不是十分深入。数据流有着无限性的特性,因此往往不能保存数据流中全部的数据,同时很多时候只对最近的时间段的序列模式感兴趣,提出一个有效的结合滑动窗口技术的挖掘序列模式的算法FPM-SW,算法利用到3个数据结构(PatternTable,CountTable和Ta-tree)来处理基于数据流的序列模式挖掘的复杂性问题。算法通过CountTable结构来保存以往的潜在频繁序列,考虑到在某些情况下CountTable占用内存过多,算法还结合了一种压缩CountTable技术来减少内存占用。FPM-SW的优点是可以最大限度地降低负正例的产生,实验表明FPM-SW具有较高的准确率。 相似文献