具有两种否定的描述逻辑系统MALC

否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。     

Analysis and synthesis of speech using least <Emphasis Type="Italic">P</Emphasis>th norm filter design

In this paper we analyze the combination of speech and FIR filter design aspect to achieve good results in speech quality. A new approach in the time domain based on the least Pth norm is presented to extract maximum information that represents speech. The aim of this paper is to improve the perceived quality of speech through the introduction of least Pth norm algorithm that attenuates speech contaminated with noise. This approach relates to a filter bank structure and a method for filtering and separating an information signal into different bands, particularly for filtering and separation of speech signals. Then the desired signal is reconstructed from the independent components representing every band. This approach differs from the traditional approaches since no priori knowledge of the noise statistics is required, instead the noise signals are only assumed to have finite energy. Since the estimation criterion for the filter design is to minimize the worst possible amplification of the estimation error signal in terms of modeling errors and additive noise, this approach is highly robust and appropriate in practical speech analysis and synthesis. This paper presents a least Pth approach to the optimal design of FIR digital filter banks in the minimax sense for speech analysis and synthesis. The signal to noise ratio (SNR) of around 50–60 dB is achieved with various speech samples.     

高速公路裂缝边缘检测算法的研究

本文提出了一种有效的高速公路裂缝边缘快速检测算法。通过将对称指数滤波器（ISEF）算法与边过程算法有机结合的方法,对高速公路裂缝图像进行抑制强烈噪声和微分二值化运算,并利用追踪围线提取得到裂缝边缘。实验结果证明,该方法能稳定有效地提取图象中的连续裂缝边缘,并且运算复杂度是线性的,有利于高速实时的处理。     

沙漠路基施工技术

针对内蒙古省际通道经过的洪善达克沙漠的几个标段的施工 ,对沙漠路基施工中的难点进行了探讨 ,并根据当地的地质条件提出了施工方法 ,指出该施工技术可行     

工程量清单计价模式下的索赔管理

对比分析了工程量清单计价模式与定额计价模式,从索赔机会的识别和索赔解决的策略两方面深入探讨了工程量清单计价模式下的施工索赔,以做好索赔的各项准备工作,达到索赔的预期效果,从而使企业获得一定的经济效益。     

范数灰色理论在三峡库区危岩形成影响因子综合评价中的应用

危岩的形成是多因子异变耦合的结果。地形地貌、地质构造、地层岩性等是形成危岩的内因,而水体因素、风化作用、地震、植被和不合理的人类活动等是形成危岩外因。将范数灰色理论用于分析危岩形成的影响因子,即引进关联系数列的2个范数近距和远距,对危岩的影响因素进行量化分析,获取其影响因子关联度和权重系数,进而较直观地反映各影响因子对危岩形成的影响程度。以三峡库区万州太白岩危岩为例,进行范数灰关联度计算,结果显示,万州太白岩危岩形成的主控因子为危岩主控结构面,其次为地下水,而危岩体基座前缘斜坡倾向、危岩体临空面倾角、危岩体出露高度以及风化程度等也对危岩形成和失稳产生较大影响,研究成果对于正确认识三峡库区的危岩灾害具有一定的指导意义。     

有限元、组合条元与映射无穷元联合应用研究

提出了将有限元、组合条元与映射无穷元联合应用求解无限域问题的思想 .首先介绍 6种映射无穷元的位移模式和坐标映射关系 ;然后基于联合应用组合条元的要求 ,提出了一种新型单元—组合映射无穷元 ,并建立了相应的公式 ;编制了计算程序 ,经过算例分析证明了有限元、组合条元与映射无穷元联合应用方法的正确性和有效性     

沥青混凝土路面平整度的控制

介绍了下基层的质量要求,对如何控制好混合料的级配及含水量进行了阐述,并从摊铺基准、沥青混合热拌料、摊铺作业、碾压等方面对影响沥青混凝土路面平整度的因素进行了探讨,以保证沥青混凝土路面的平整度,从而提高了路面的施工及使用质量。     

智能技术在现代化小区的应用分析

从舒适性、环境负荷、安全性、方便性方面阐述了智能化系统是现代住宅不可缺少的功能需求，分析了智能化小区的形成和发展，指出了智能化系统是智能小区实现的必要条件，要从以人为本、标准规范、人才培养等方面提高小区智能化技术，以达到全面提升住宅水平的目的。     

计入岩土介质无限空间效应的地下结构自振特性计算公式

本文采用理论分析与数值计算相结合方法 ,建立了一套计入无限岩土介质刚度与质量效应的任意断面柱形地下结构自振频率的解析公式。文中理论分析应用具有分布附加质量与分布附加刚度的柱形弹性体的弯曲、轴向、扩展、环向、扭转振动解析解 ;数值计算采用半解析无限元法 ,用算得的自振特性结果确定分布附加质量与刚度。因此该公式具有既模拟无限岩土介质空间 ,又表达为可供工程直接应用简便显示的特点