CAPP系统的一种知识表达与决策模型

提出一种新的适用于CAPP专家系统的机械加工工艺知识表达和决策方法。以产生式规则为基本形式,加工方法为单元,用适用度函数描述其加工能力,通过加工状态空间建立单元间联系的知识综合表达,并据此建立创成工艺路线的推理决策。     

自嵌套波形的特征层次树表达及波形分类系统

基于波峰、波谷的支配与从属关系,对具有自嵌套结构的波形提出了一种特征层次树描述方法,并建立了相应的波形分类系统.给出了作为树结点的主导峰(谷)的概念及识别算法,和波形特征层次树的生成算法及树结点的表达方式,分析了特征层次树的表达特点,还讨论了波形分类系统中基于这种表达方法的两种分类算法.     

l~n中逐块光滑拟凸域上具有局部全纯核的Leray－Norguet公式

利用修正的Ｏｎｏ局部化方法和Ｈｅｎｋｉｎ方法，讨论￣ｎ中具有逐块光滑边界的拟凸域上可微分函数和全纯函数的具有局部全纯核积分表示，作为应用获得了－方程局部解的Ｌｅｒａｙ－Ｎｏｒｇｕｅｔ积分公式并证明在含参数局部意义下存在一致估计。     

一族可积发展方程的Lax表示

本文利用孤子方程的换位表示方法，给出一族与谱问题相关联的非线性发展方程的Ｌａｘ表示．     

求解大型稀疏线性方程组的一类并行算法

主要讨论了国际上近年发展起来的一类新型稳定算法-ABS算法。首先简要介绍ABS算法的过程，然后针对求解大型稀疏线性方程组问题讨论了投影阵的稀疏结构以及方程组次序的重排方法。为了在并行机上实现该算法，讨论了算法的并行化问题，最后，给出了数值计算的例子及运算时间。     

棉纺故障诊断专家系统

在专家系统的研制与开发过程中,对于知识表示及获取方法的研究占有重要地位。本文提出一种新的知识表示方法一扩展模糊Petri网.运用该表示方法能较确切地处理棉纺领域中一些具有模糊性质的专家知识.我们在EFPN的基础上建立了相应的模糊推理规则并给出了推理算法,构造了一个棉纺故障诊断条干不匀专家系统.     

Signal overcomplete representation and sparse decomposition based on redundant dictionaries

In many signal processing applications, overcomplete representations, with their benefits of small decomposition coefficient and high flexibility, have lent an impetus to signal processing theory. Traditional methods based on orthogonal linear transforms are not suitable for the multi- ple components present in natural data. For example, it is hopeless to analyze a mixture of impulses and sinusoids with such a method, because each phenomenon needs its own appropriate basis. This would be simil…     

群的自由积的高可迁表示

可数无限秩的自由格序群是同构于有理数集上的格序置换群A(Q)的2-可迁子群，THEOREM6．7)．McCleary证明了有限秩的自由格序群有一个Q上的2-可迁表示．McCleary给出自由格序群Fη(1＜η＜^s\τ )在Q上有一个o-2-可迁作用，这一想法被推广到格序群的自由积．若G是一个L-群，F是基数至少是|F|的无限生成子上的自由群，则自由积G∪H在一个基数|F|的秩域上有一个o-2-可迁表示，G1ass和Gurevich则证明了两个可数L-群在Q上有一个o-2-可迁表示。证明若G和H是在有理数集Q上有忠实表示的非平凡可数群，则它们的自由积G∪H在Q上有高可迁忠实表示；若G和H是非平凡有限和可数群，且H有一个无限阶元素，则自由积G∪H在自然数集上有高可迁忠实表示。