命题逻辑系统SMTL中公式的积分真度理论

首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.

折板型竖井结构设计参数优化

折板型竖井是城市深隧排水系统中一种消能效果明显的水工结构,竖井的结构参数对其泄流量和消能率有重要影响。通过开展物理模型试验和基于Realizable k-ε湍流模型和VOF法的数值模拟,分析不同折板间距和折板倾角的竖井水流流型、最大泄流量、出口流速及消能率。研究结果表明:折板型竖井中基本水流流型有3种,分别为撞壁受限流、临界流和自由跌流;一定范围内增大折板倾角有利于水流流型从撞壁受限流向自由跌流转变,因此,在折板竖井设计中应使折板有适当的角度;竖井的最大泄流量随着折板间距和折板倾角的增大而增大,消能率随泄流量的增大而减小;从竖井的泄流能力和消能效果两方面考虑,当竖井直径为10 m时,折板间距4.85 m,折板倾角为9°-11°的竖井体型为最优。研究成果可为深隧排水系统的设计提供技术支撑。

一种多源导航信息融合定位方法

针对强电磁对抗环境下,多种无线电导航系统均可能受到干扰,其相应导航传感器无法获取本系统完整的测量信息而进行独立定位,从而导致单一导航设备无法有效定位的问题。本文提出一种多源导航信息融合定位方法,利用获取的多种导航源的不完整的测量信息,通过对多导航系统的时差、伪距不一致的修正,实现了不同导航系统测量信息在时间和空间上的统一,然后采用最小二乘方法进行多源伪距联合定位。最后,通过仿真试验,表明该方法提高了多源组合导航设备定位可用性和可靠性。

深隧排水折板型竖井泄流消能的试验研究

针对深隧排水系统竖井泄流过程中高速气-水两相流动特性进行了水力模型试验研究,观测竖井内水流下泄过程中的型态,分析最大泄流量与折板间距的关系,计算不同工况下的竖井消能率,并揭示折板型竖井在泄流过程中的消能机理.试验结果表明:竖井在泄流过程中存在3种水流型态:撞壁受限流、临界流和自由跌水流;泄流过程中水跃是水流在折板上消能的主要原因,水流流至井底与反向流体互相撞击破碎使竖井达到最终消能的目的;当竖井直径D=0.4 m、折板间距d介于16.02~24.56 cm时,竖井最大泄流量介于(8.7~14.7)×10−3 m3/s,且d与最大泄流量Qm存在线性关系;根据能量守恒定律推导出消能率公式,得到d=19.4 cm、倾角θ=10°时的竖井消能率为最优;竖井盖板开孔直径Ф对竖井顶部压强的影响较大,当Ф≥4 cm时,竖井顶部相对压强基本为0,并且具有一定倾角的折板有利于加速竖井的泄流过程;上、中、下折板冲击力(Fu、Fm、Fd)呈现Fu>Fm>Fd的分布规律,上、中、下折板最大面荷载分别为42.8、30.7、22.8 kN/m2.深隧排水折板型竖井最佳泄流量和最优消能率的试验研究成果对深隧竖井工程的设计与运行提供了一定参考价值.

生物滞留带构造对其渗蓄效果的影响

为了研究生物滞留带构造参数及组合方式对其渗蓄效果的影响,提出了判定生物滞留带渗蓄效果的评价指标,并对16组不同构造的生物滞留带开展模拟降雨径流正交试验,研究了种植土和填料层成分及含量、透水土工布位置、砂层颗粒级配和构造厚度对生物滞留带渗蓄效果的影响.研究结果表明:影响生物滞留带渗蓄效应程度大小的排序为:砂层级配>填料层成分和含量>结构层厚度>土工布位置>种植土成分和含量;生物滞留带最佳组合形式从上至下依次为:20 cm厚种植土,35 cm厚填料层(其中珍珠岩、蛭石、土壤和砂的体积占比为10%、5%、10%和75%),10 cm厚砂层(其中砂层颗粒级配为0~0.5 mm占15%、0.5~0.7 mm占40%、0.7~1.0 mm占30%、1.0~2.0 mm占15%),20 cm厚砾石层以及不设置透水土工布.

含软弱夹层场地中埋地管道的地震反应特性研究

为了研究含软弱夹层场地中埋地管道的地震反应特性,基于管土接触模型,运用ADINA软件,采用非线性分析,研究埋深、厚度和倾角等因素对含软弱夹层场地中埋地管道地震反应的影响规律。结果表明:软弱夹层各因素对埋地管道地震动力响应产生影响不同,一定厚度和埋深条件下,软弱夹层具有隔震作用,当软弱夹层的存在增大其场地不均匀程度,则会对埋地管道地震动响应具有非常不利的影响;管道有效应力和位移随着软弱夹层厚度的增大而减小,当厚度达到一定值时,软弱夹层起到一定的缓冲作用;管道有效应力和位移随着软弱夹层埋深的增大而减小,但影响程度小于夹层厚度所产生的;软弱夹层因倾角变大增大了场地不均匀程度,导致管道有效应力和位移变大。

中国人工智能产业创新主体识别与特征分析

当前,人工智能已经成为国家新基建的重要领域,为促进经济数字化转型起到重要作用。人工智能创新系统的主体主要分为两类:企业、高校/科研机构。本文针对两类主体,进行创新主体识别,调研人工智能主体企业和高校/科研机构主力,并进行大量的数据收集与分析,对两类主体的地域分布、行业分布等主体特点进行特征分析,把握我国人工智能行业整体特点。

在不同风速下沥青路面热再生加热系统功率选择

风速对红外辐射现场加热的效果有较大的影响。不同风速下,红外辐射加热系统功率的适当调整对热再生效果具有重要意义。通过Fluent软件对沥青路面红外辐射现场热再生温度场在不同风速下的变化规律进行分析,结果表明随着风速的提高,加热效果有数量关系的下降,为加热系统功率的选择提供了合理的依据。

山地河流穿越管道冲坑扩展规律的试验研究

合理预测山地河流穿越管道的未来埋深和悬空长度对其安全运营至关重要。本文以北干线输气管道穿越工程为研究对象开展了水槽模型试验,观测分析河流穿越管道附近河床演变趋势,研究流量、水深和管径等因素对冲坑扩展规律的影响。结果表明:河床演变主要由推移质泥沙输移引起,而随着管径的增大,在管底形成冲坑点的次数逐渐减少;管底形成冲刷之时冲坑竖向扩展速率很大,随着管涌的发生,冲刷速率逐渐减小,冲刷深度逐渐增大;管底冲坑竖向扩展过程满足一级动力学反应方程,归一化处理后得到了冲刷深度与冲刷时间之间关系式;水动力条件、管径和沙粒特性共同影响管底极限冲刷深度,采用Gauss-Seidel迭代法得到无量纲冲刷深度与相对泥沙粒径和弗劳德数Fr参数的关系式;当Fr>0.6时,冲坑横向扩展仅为初级扩展一个阶段,当Fr<0.6时,冲坑横向扩展过程包含初级扩展和次级扩展两阶段;最后,结合试验数据和冲坑竖向扩展经验模型,推导出冲坑横向扩展速率计算公式,且模型预测结果较好。研究结果可为探究山地河流穿越管道冲坑扩展规律及管道后期安全运营维护提供重要参考价值。

加快农业机械化发展的调查与思考——以江苏省启东市为例

加快发展农业机械化既是实现农业基本现代化的重要内容,也是解决农村劳动力不足、提高单位土地产出效益的迫切需要。我市农机化发展基础差、底子薄,客观制约因素多,短期内发展突破的难度大。各级政府和部门必须进一步提高思想认识,突出问题导向,加大工作力度,加快发展农机社会化服务组织,着力调优农机装备结构,大力拓展农机化应用领域,努力寻求适合启动农业机械化发展的道路。

基于在线ZMP校正的下肢外骨骼上楼梯步态规划

为提高下肢外骨骼机器人上楼梯的稳定性,合理的步态规划与误差校正是至关重要的两个方面,为此,提出一种上楼梯过程中零力矩点(ZMP)的在线校正方法。首先,建立下肢上楼梯的运动模型,并进行运动学分析,利用5次B样条曲线进行下肢关节轨迹规划。其次,针对由穿戴过程中人不稳定扰动作用造成的实际与规划ZMP轨迹之间的较大误差,采用在线ZMP校正进行调节。最后,通过仿真和实际实验证明,这种在线校正能够明显减小机器人的ZMP误差,提高机器人ZMP的稳定裕度,保证下肢机器人系统的整体稳定性。

基于非线性干扰观测器的下肢外骨骼上楼梯滑模控制

针对下肢外骨骼在轨迹跟踪时对内部参数扰动和外界干扰较为敏感的特性,设计一种基于非线性干扰观测器的下肢外骨骼机器人滑模控制策略。首先建立下肢外骨骼上楼梯的动力学模型,分析其动力学特性;其次设计非线性干扰观测器,对下肢系统的不确定性和外部干扰进行观测;在此基础上,为保证系统轨迹跟踪误差的收敛性和减弱抖振,设计了低通滤波的滑模控制器,根据李雅普诺夫稳定性理论证明了下肢系统的稳定性;最后通过仿真与实验验证,该控制策略能够有效克服多种因素引起的干扰,改善系统的控制性能,提高系统的稳定性。

红色文化在农村中小学数学教学中传承实践研究

在当前新课程改革不断深化的背景下,农村中小学数学教学所面临的形势日新月异,对红色文化资源的价值产生强烈需求。基于此,本文首先介绍了红色文化在农村中小学数学教学中传承的重要性,分析了庆阳红色文化对中小学数学教学的意义,并结合相关教学经验,分别从开展信息化教学,让学生了解红色文化等多个角度与方面,探讨了红色文化在农村中小学数学教学中的传承方法,阐述了个人对此的几点浅见,望对相关教学工作起到参考作用。

基于MATLAB的曲柄滑块机构的动态静力分析

对于高速运动的曲柄滑块机构,由于构件的惯性力不能被忽略。因此根据达朗贝尔原理,将惯性力计入静力平衡方程,从而求出为平衡静载荷和动载荷需在原动构件上施加力或力矩,以及各运动副中的反作用力。根据力平衡及力矩平衡方程,求出平衡力矩。采用matlab编程,求出摆动力、摆动力矩及平衡力矩。

基于分布式存储架构的大数据商务智能分析与应用

在国家大数据战略驱动下,大数据技术得到了快速的发展。在企业商务智能决策中,大数据呈现出巨大的企业创新价值。针对企业数据分析需求,设计并实现了基于分布式存储架构的大数据商务智能分析平台。利用Hadoop/Spark大数据平台,支持分布式计算和存储任务,为企业提供高效的智能商务决策。

加热距离与风速对协同加热沥青路面的影响

为了提高沥青路面就地热再生时的加热均匀性与效率,提出一种红外辐射与热风循环协同加热方法,建立协同加热沥青路面的物理模型与数学模型.借助计算流体动力学(CFD)仿真软件进行仿真分析,寻找协同加热沥青路面时加热距离与风速对沥青路面加热均匀性与效率的影响规律和最佳加热方案.结果表明:采用协同加热法具有热风循环与红外辐射单独加热不具备的优点,既能避免红外辐射加热时路面表层过热老化,又比热风加热有更高的加热效率,从而获得更高的加热均匀性与效率;有利于路面深层的加热和降低路面表层温度的上升,解决了在就地热再生施工中由于路表起火而导致的路面再生质量下降;加热板加热距离增大和热风风速增加都不利于路面对热能的吸收,风速对沥青路面加热效率的影响会随着加热距离的增加而减弱;加热距离对加热效率起主导作用,加热均匀性与效率同风速与加热板的距离匹配密切相关.

河南纺织服装业高质量发展研究

河南纺织服装产业经过近70年的快速发展,已经从粗放式发展模式逐步向高质量、新科技、集约型发展方式转变;同时河南纺织服装业仍然存在企业质量管理制度不完善、产品综合创新能力不足、产能效益下降等关键问题;应当针对质量管理制度建设、完善质量社会服务机制、完善企业管理机制、提高企业核心竞争力等方面开展产品质量提升工作。