基于自适应信息遗传算法的路面模量反算研究

近年来,根据FWD实测弯沉盆来反算各层路面结构模量的技术在路面结构的质量评价中广为应用。如何利用FWD反算路面模量也相应成为各方研究的热点。在本文中,作者针对于模量反算中,目标函数在最优值附近表现为大片狭长平坦区域的特点,提出了一类反算新算法——自适应信息遗传算法,提出了根据信息量大小来决定算法是否进行自适应细分模量解空间的机制,以缩小算法后期反算中的搜索空间。此外,本文还改进了实数交叉算子,使用了新的探险策略,从而加强了新算法后期的局部搜索能力。随后的工程实例表明,这新机制、新策略的引入,能够在保持较高反算精度的前提条件下,大大提高模量反算的求解效率,从而更加有利于模量反算的工程实际应用。     

Subalgebra and LI-Ideal of Lattice Implication Algebras

First,We reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal.Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra.Finally,the relation between lattice implication subalgebra and LI-ideal is presented.It is proved that no LI-ideals are non-trivial lattice implication subalgebras.     

科技项目后评价方法及指标体系研究

针对科技项目的特点,基于后评价视角,构建了基于AHP-fuzzy方法的科技项目评价模型以及科技项目科技绩效评价指标体系,并针对目前的研究提出了科技项目绩效评价的改进意见。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

拟范数性质（二）

讨论了赋次范空间中线性算子的Banach逆算子定理，闭图象定理，共鸣定理及推论。     

艰险山区铁路技术接口质量管理绩效评价研究

为提高艰险山区铁路工程技术接口的质量管理水平,满足质量管理的目标要求,提出适合于艰险山区铁路工程技术接口质量管理绩效评价的研究方法。基于艰险山区地质复杂、环境恶劣的自然环境特征,以及铁路工程技术接口质量管理的重要作用,通过对艰险山区铁路工程技术接口质量管理活动在人员、材料、机械设备、技术、环境、管理、参与方以及质量结果方面的影响因素分析,从质量目标、质量制度、质量意识、质量技术、质量过程、质量结果以及质量环境7个方面构建艰险山区铁路技术接口质量管理绩效评价指标体系。利用乘法合成法将C-OWA算子法和CRITIC-熵权法组合赋权,确定各评价指标的综合权重。运用云模型对艰险山区铁路工程技术接口质量管理绩效水平进行综合评价,采用MATLAB绘制出相应的评价云图,并与标准云图进行对比,确定最终的技术接口质量管理绩效评价结果。以拉林铁路DK263+844.62～DK303+105标段进行实证研究,结果表明：该标段技术接口质量管理绩效评价水平处于“优秀”和“良好”之间,且偏向于“良好”。该实例研究验证了该模型的适用性与有效性,为艰险山区铁路工程技术接口质量管理水平的优劣提供了评判依据,也促进了我国...     

基于改进蚁群算法的医药冷链物流运输路径优化

为解决大多数模型中制冷成本未考虑预冷参数而导致总成本求解精度不佳的问题,在制冷成本中加入预冷参数,得到新的总成本模型。基于遗传算法与IACO算法,提出了IGACO算法,此算法改进了传统蚁群算法的启发式因子与信息素更新方式,在此基础上加入交叉操作和变异因子,扩大算法搜索范围,进一步避免陷入局部最优的情况。经过试验对比分析,验证了IGACO算法所得出的最优路线、总成本、运行时间、收敛速度在一定程度上都优于其他算法。     

采用小波SAR算法的船舶监测系统设计

根据小波变换和Teagar算子的优良特性,设计出一种基于SAR图像的船舶检测算法,并且基于该算法设计出了一套监测系统。该系统能够准确、高品质的实时对船舶进行跟踪监控。此监控系统的核心是这一套新的算法,该算法对SAR图像进行小波变换,然后针对小波变换的低频分量采用Teagar算子进行增强和去噪处理,再将低频分量和高频分量利用逆小波变换获得高品质的SAR图像。并通过实验验证本系统的适用性和优越性。     

集值uO-凹(凸)算子不动点的若干性质

本文是文[2]的继续,先给出集值u0-增算子的概念,然后在序条件下讨论了u0-凹(凸)算子不动点的若干性质,得出[1,3]中在集值情形下的相应结果.     

格蕴涵代数的模型论性质

讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论Ｔ保子模型,保模型链之并、保模型同态、理论Ｔ不是完备的,也不是模型完备的,因此不存在内在Ｓｋｏｌｅｍ函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。