An algorithm to compute maximal contractions for Horn clauses

In the theory of belief revision, the computation of all maximal subsets (maximal contractions) of a formula set with respect to a set of facts is one of the key problems. In this paper, we try to solve this problem by studying the algorithm to compute all maximal contractions for Horn clauses. First, we point out and prove the conversion relationship between minimal inconsistent subsets of union of the formula set and the set of facts and maximal contractions of the formula set with respect to th...     

Besov空间的阈值收缩和边缘补偿的图像去噪

提出一种新的图像去噪方法,它是Besov空间的变分模型,在负实数次Sobolev空间上定义了数据项,用Besov半范数定义了正则项。并详细推导了变分模型在Besov空间的阈值求解公式,先做一个Contourlet变换域的小阈值收缩,然后再利用该模型去噪。去除噪声的同时也损失了部分边缘信息,把边缘分为四种情况,针对不同情况确定相应的边缘补偿方法。实验表明该模型具有良好的去噪效果。     

高阶各向异性扩散小波收缩图像降噪算法

证明一种高阶各向异性扩散与小波收缩的等价性,并根据等价性利用高阶各向异性扩散与小波收缩的优势,提出高阶各向异性扩散小波收缩降噪算法。该算法在低频部分采用经典的非线性扩散方法进行扩散,在高频部分采用高阶各向异性扩散方法进行小波收缩。实验结果表明,高阶各向异性扩散小波收缩算法的计算复杂性介于高阶各向异性扩散与小波收缩算法之间,降噪能力高于这2种方法。     

基于收缩理论的一类非线性系统自适应动态面控制

针对一类不确定非线性参数严反馈系统,提出基于收缩理论的自适应动态面控制方法.动态面控制器设计保证了各子系统关于状态误差部分收缩;对不确定参数构造收缩自适应律,并利用收缩下的奇异摄动分析降阶处理子系统,确保降阶前后状态误差间的偏差及滤波误差有界;通过分层子系统的收缩鲁棒性分析,证明了原闭环系统状态半全局收敛到以期望轨迹为中心的球域内,保证了跟踪误差及自适应估计有界.刚性机械臂系统仿真验证了所提出方法的有效性.     

基于PCNN改进算法的手写体识别研究

脉冲神经网络(PCNN)被广泛应用于图像处理、模式识别等领域。提出了一种基于PCNN的凹点检测改进算法。首先改进神经元激励函数,并利用小波收缩法去噪,保持图像的层次性,然后通过凹点检测识别手写体。实验结果表明,提出的方法能有效提高手写字母的识别率,尤其是在噪声环境下,识别率得到大幅提升。     

MAX197在皮革收缩温度测定仪中的应用

本文介绍了由Maxim公司推出的8通道、多量程、12位的高速数据采集芯片的主要性能和特点,并结合在MSW-YD4数字式皮革收缩温度检测仪中的应用介绍了MAX197与AT89S52单片机的接口电路、信号采集电路、及基于单片机C语言的编程.     

国内外高性能水泥浆体自收缩研究近况

综述了高性能水泥浆体自收缩机理、影响因素及减少自收缩的途径,略述了目前国内外研究现状。     

高收缩共聚酯合成性能与成纤性能研究

通过共聚酯PEIT(间苯二甲酸、对苯二甲酸、乙二醇共聚物)的合成及其全拉伸丝(FDY)纺丝的成功实验,研究了高收缩PEIT共聚物合成工艺中共聚组分间苯二甲酸(IPA)的摩尔百分数对共聚酯PEIT的玻璃化温度、熔点的影响,探讨了该PEIT共聚物的结晶性能及其纺丝工艺条件对高收缩纤维性能的影响。     

风化细砂改良膨胀土胀缩特性室内试验研究

针对目前膨胀土化学改良方法存在的缺陷,提出了一种采用风化细砂对膨胀土胀缩特性进行物理改良的方法．通过在膨胀土中掺入不同比例的风化细砂,并进行膨胀试验和收缩试验,研究不同掺砂比例对膨胀土的膨胀和收缩指标的影响．通过对不同比例掺砂膨胀土的胀缩特性数据分析发现,随着掺砂比例的增加,膨胀和收缩指标减小．当掺入风化细砂的比例达到10％时,对胀缩指标影响最显著,且胀缩总率为0．67％,自由膨胀率为31％,达到路基填料的标准．综合经济性和实用性考虑,最佳掺风化砂比例为10％．