子模

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

We compose a neural network in which the input signals are the frame substructure natural frequencies and mode shapes, and output signals are the submatrix scaling factor.

框架子结构在动载作用下的自振频率和模态作为网络的输入，子矩阵参与系数作为网络的输出，用Levenberg一Marquardi算法训练网络。

In this framework, image frame, audio and text are represented, which are the three modalities in video shots as data points by the 3rd-order tensor. Then a subspace embedding and dimension reduction method is proposed, which explicitly considers the manifold structure of the tensor space from temporal-sequenced associated co-occurring multimodal media data in video. It is called TensorShot approach. Transductive learning uses a large amount of unlabeled data together with the labeled data to build better classifiers. A transductive support tensor machines algorithm is proposed to train effective classifier. This algorithm preserves the intrinsic structure of the submanifold where tensorshots are sampled, and is also able to map out-of-sample data points directly. Moreover, the utilization of unlabeled data improves classification ability.

在此框架中，视频镜头首先被表示成由视频中所包含的文本、视觉和听觉等多模态数据构成的三阶张量；其次，基于此三阶张量表达及视频的时序关联共生特性设计了一种子空间嵌入降维方法，称为张量镜头；由于直推式学习从已知样本出发能对特定的未知样本进行学习和识别，最后在这个框架中提出了一种基于张量镜头的直推式支持张量机算法，它不仅保持了张量镜头所在的流形空间的本征结构，而且能够将训练集合外数据直接映射到流形子空间，同时充分利用未标记样本改善分类器的学习性能。

In accordance with the technological difficulties encountered in the process of insulation supervision based on the Dissolved Gases Analysis,several kinds of model and method are presented to improve the reliability and precision of fault diagnosis of the power transformer. Main research content includes:By deeply studying the common transformer faults diagnosing methods,such as three-ratio methods and improved electrical committee agreements,several shortcomings such as uncertainness judgment when the fault reasons,phenomenon and principles come out together while can not consistent to each other etc. For this reason,the old methods can not fully meet the need to engineering practical application.Considering fuzzy relationship matrix can fully represents the causality between fault symptoms and fault types,when diagnosing complex equipments with multiple symptoms and fault causes such as power transformer,a synthetic fuzzy diagnosing model is firstly proposed to diagnose transformers insulation faults based on DGA in this paper. Meanwhile,by further study the character of fuzzy factors,aimed at correcting the defects in classifying fuzzy sets of common fuzzy judgment,a method are put forward by unifying fuzzy synthetic diagnosis and fuzzy principle reasoning.

本文针对应用油中溶解气体分析方法进行变压器绝缘监督时所遇到的主要技术难点，提出了提高变压器故障诊断的准确性、可靠性的几种模诊断方法，主要研究内容有：通过对判断变压器故障常用的三比值法和改良电协研法的深入分析，其诊断准确率较高，但对故障原因、故障现象和故障机理间同时存在不确定性和模糊性的变压器等电气设备的故障诊断，难于满足工程应用的需要；在处理变压器等结构复杂设备的多症状、多原因故障诊断时，模糊关系矩阵可以全面反映这种症状与故障类型间的因果关系，进而提出了变压器故障诊断的模糊综合诊断模型；同时作者还深入分析了模糊算子的特性；针对常用的模糊评判结果的模糊集的集化方法的不足性，提出了将模糊综合诊断与模糊规则推理结合起来进行故障诊断的方法，能达到较好的效果。

Constructing a unitary matrix for transformation of coordinates by means of quadratic form theory,the Hamiltonian of the 3D coordinate-momentum coupling harmonic oscillator is transformed into diagonalmatrix,it not only offer a general mathematic method for solving this kind of problems,but also have an active effect upon upgrading students ability to solve physics problems by mathematical theory.

利用二次型理论构造一个幺正矩阵进行表象变换，将|x〉表象中的三模坐标-动量耦合量子谐振子体系的哈密顿量对角化，这不仅提供了一种解决该类问题的一般数学方法，同时对培养和提升学生运用数学工具解决复杂物理问题的能力也具有积极的指导作用。

In order to solve exactly the dynamic problems of the double coordinate coupling harmonic oscillators, the quantum unitary operator corresponding with classical canonical transformation is derived using the momentum eigenvector in Fock representation by constructing asymmetric integration.

为了精确求解双模坐标耦合谐振子体系的动力学问题，利用动量本征矢在Fock表象中的表示构造不对称积分，找到了与经典正则变换对应的量子么正算符。

This paper firstly proposed some clarity-evaluation-functions of out-of-focus blurred image,they are the sum of square of gray-level gradient vector module,the sum of Roberts-gradients,and the sum of Laplacian operator.

本文首次提出了用图像灰度梯度向量模方和、Roberts梯度和与拉普拉斯(8邻域微分)算子和作为由于离焦产生的模糊图像的评价函数。

This paper firstly proposed some clarity- evaluation- functions of out- of- focus blurred image,they are the sum of square of gray- level gradient vector module,the sum of Roberts- gradients,and the sum of L apla- cian operator.

本文首次提出了用图像灰度梯度向量模方和、Roberts梯度和与拉普拉斯(8邻域微分)算子和作为由于离焦产生的模糊图像的评价函数。

Analysis of power spectrum indicates that the characteristic frequency created by the Hopf bifurcation is equal to the generalized winding number of the critical transverse modes just before the bifurcation.

结果表明，耦合振子的同步混沌态可以发生一种Hopf分岔，在Hopf分岔后，系统的功率谱中出现了一个特征频率，其值恰好等于分岔前临界横模的广义旋转数。

In Chapter 3,(1)The effective rotational Hamiltonian of the local mode states wasrevisited and improved by taking into account the variation of the average vibrationalcoordinate of an anharmonic oscillator.

在第三章中，(1)考虑非谐振子平均振动坐标的变化，改进了局域模态的有效转动哈密顿量。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。