The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

La2分子结构与基态分子势能函数

用相对论有效原子实势，在密度泛函理论(DFT)和组态相关理论(QCISD)水平上优化计算了La2分子的结构．根据原子分子反应静力学原理，导出La2分子可能的电子状态和离解极限，用DFT中的B3LYP方法计算了基态X1∑g^ 势能曲线，拟合得到Murrell-Sorbie解析势能函数，并首次计算得到基态X1∑g^ 的谐振频率、热力学性质、力学与光谱数据。     

化工测量中的干扰分析及抗干扰方法

分析了化工测量中的干扰问题，并结合多年来的工作实践，提出了一些抗干扰的方法。     

Real time estimation of CO2 laser weld quality for automotive industry

Laser welding is one of the most precise welding processes in joining sheet metals. In laser welding, performing real time evaluation of the welding quality is very important to enhance the efficiency of the welding process. In this study, the plasma and spatter, which are generated during laser welding, are measured using UV and IR photodiodes. The factors that influence weld quality are classified into five categories; optimal heat input, slightly low heat input, low heat input, partial joining due to gap mismatch, and nozzle deviation. The data number deviated from reference signals and their standard deviations were also considered to evaluate the qualities. A system was also formulated to perform real time evaluations of the weld quality using a fuzzy multi-feature pattern recognition with the measured signals.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。     

新的模糊似然函数

模糊似然函数是刻画两个模糊集之间相似程度的重要工具，众多学者给出了多种形式的计算方法，但由于实际问题的复杂性，有些方法在某些情况下会产生违反直觉的结论．首先就闫德勤在2001年建议的方法进行讨论，然后证明了一个引理，提出一种新的模糊似然函数，其本质是由模糊集合间l^p距离导出的贴近度．与相关公式比较，发现它们能导出相同的模糊熵，最后给出一个它在模式识别中的应用实例．     

基于模糊集相容性的模糊控制规则优化方法

在简要介绍模糊模型的完备性和相容性的基础上 ,根据模糊集贴近度 ,提出模糊集相容性的概念 ;通过对模糊控制规则表特征的分析 ,进一步完善规则相容性概念及其定量评价方法 ;最后给出模糊控制规则模型自寻优优化方法。仿真结果表明 ,该方法可以大大提高控制系统的控制性能。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

一种高信噪比的双光束激光光声光谱仪原理及应用

作为一种新兴的检测手段 ,激光光声光谱技术与其他检测技术相比具有很多优点。本文设计的光声光谱仪用激光做光源 ,有两个光声池 ,分别用来放置参考样品和待测样品 ,输出结果为二者光声信号的比值。利用这一比值 ,可以由参考样品的性能参数方便地求出待测样品的相关性能参数。该光声光谱仪有效地减小了本底吸收噪声的影响 ,提高了信噪比 ,扩大了固体光声理论的应用范围。本文还阐述了该光声光谱仪在定性定量分析中的一些应用