ATAM计算效率提高程度的评估方法

针对先验误差评估时间自适应方法ATAM(Apriori Time Adaptive Method)计算效率提高程度的评估问题,根据文献[1]提出的评估方法,本文选用具有解析解的Bernoulli-Euler梁算例对多个节点的情况进行了验证.结果证实该评估方法对多个节点的情况同样准确有效,从而解决了实际工程数值模拟计算中需要同时对多节点变量评估计算效率提高程度的问题.     

基于图像分割和融合的图像去雾算法研究

为了解决传统的暗通道先验去雾方法产生的细节丢失和亮度偏低等问题,本研究提出了一种基于图像分割和融合的去雾算法。首先对输入图像使用亮度反转的MSRCR预处理来进行色彩保真;其次用阈值分割法提取图像的特征信息并获得掩膜,根据特征信息设计自适应的Gamma校正方法,提升对比度和亮度,并使用暗通道先验方法保持去雾后的细节;最后将处理后的图像进行掩膜融合。在真实世界的数据集上仿真结果表明,本研究所提算法在去雾后能保留更多的细节且提高亮度。与几种经典的算法相比,本研究所提算法在去雾后的图像有较好的色彩保真度,保留了更多的细节,去雾效果好且亮度更自然。     

过站航班地面保障流程效能评估

为了感知过站航班地面保障流程运行状况和优化机场协同决策信息系统,研究了单航班条件下的保障流程效能评估问题。通过系统分析地面保障流程,得到各场景的效能评估指标。结合评估指标的大小、重要性及聚散状态3个维度,构建了流程效能评估指标体系。设计了一种基于雷达图周长-面积的过站航班地面保障流程动态效能评估方法,并结合实际运行数据开展仿真验证。研究表明,流程效能评估结果整体上直观描述了保障流程效能的动态变化。通过客观性对比和敏感性分析可知,结果一定程度反映了过站航班离港属性,为航班推出控制提供依据。     

半线性椭圆问题的非精确自适应有限元方法

考虑一类半线性椭圆问题的非精确自适应有限元方法.该算法在初始网格需要精确求解,而在其余网格只需要对上一步的近似解进行一次牛顿更新.利用有限元方法的精确解和非精确解之间的超逼近性质,给出该方法的先验和后验误差估计,最后通过具体算例来验证该理论的正确性和该方法的有效性.     

威廉姆森对先验-后验之分的两个挑战

自康德以来,先验-后验之分就在哲学中扮演着重要的角色。但是,威廉姆森在最近的著作中对其认识论价值提出挑战。他的论证可以区分成两个不同的挑战:一是某些基于想象的知识案例并不能恰当的归类为先验或后验;二是此类反例可以扩展到先验或后验的范例,前者包括逻辑和数学知识,后者包括科学知识。尽管他的第一个挑战可以得到合理的辩护,第二个挑战却面临难以克服的困难。即使威廉姆森成功地给出了不能适当地归类为先验或后验的例子,他将其反例推广到先验和后验之范例的尝试也并未成功。因此,那些试图坚持认为先验-后验之分具有重要价值的人仍然可以通过接受第三类知识来避免威廉姆森的一般性批评。     

自然主义、先验论证与怀疑主义——论斯特劳森的自然主义转向

后期斯特劳森追随休谟和维特根斯坦的道路而转向了自然主义,他认为任何企图通过论证来支持或反驳怀疑主义挑战的做法都是无根据的,因为人类的某些基本概念如物质物体、他心等概念是人类理性的自然倾向,是人类思维不可逃避的认知模式的体现。不过,自然主义需要联合先验论证来阐明这些信念的基础地位,否则就会流于口号。总而言之,自然主义是一种探究真理的第三条路径,它试图约束人类理性的过分自负,从而展示真理的自然属性。     

公共理性的“困境”及其解决——剖析康德与罗尔斯的论证

人们经常使用＂公共理性＂这个词,但对其含义或许并未深究。康德和罗尔斯分别对＂理性的公共运用＂和＂公共理性＂做了界定和说明,前者肯定理性的公共运用对于启蒙的重要意义,并对这种公用坚信不疑;后者则认为表面上存在公共理性的＂悖谬＂。前者以意志自由为逻辑起点,巧妙地消解公共理性的悖谬;后者为了达到同样的目的假设了秩序良好的公民社会。相对而言,康德的论证更具先验论证的色彩,而罗尔斯的论证却营造了实用主义的背景。借助他山之石,我们或将吸取其思想,对中国现实问题之思考具有借鉴意义。     

双随机动态模型(DM)及预测

本文研究了一类比比动态线性模型(DLM)适用性更广的动态非线性模型(简称DM),给出了它的一步预测分布,通过二元泰勒展式,得到了DM的一类逼近模型,较完整地给出了参数的概率表达式及作为概率分布得到的预测。     

海岸淤积问题解的存在性唯一性和单调性

本文对于海岸淤积问题,不仅考虑新岸线与波峰线夹角的变化,而且考虑波峰线与原岸线夹角也是时空为自变量的函数,讨论淤沙厚度满足的拟线性抛物型方程的第一边值问题和半无穷带形区域问题,这些问题的特点主要是要讨论是否为退化的抛物型方程的问题,我们用解的先验估计和Leray—Schauder 不动点定理证明了所考查的问题并不退化,解是随x 单调递减的函数,且存在足够光滑的唯一的古典解。