查询词典 scalar valued function

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

Effect was valued by HAMA, HAMD, CGI and safety was valued by TESS at 2,4,6 weekend of after treating and before treating. RESULTS: Decrease rate of HAMD in moclobemide group was 69.3% and in imipramine group was 83.6%.

15对双盲和30例开放的临床研究，采用疗前和疗后第1，2 ，4，6周末进行HAMD，HAMA，TESS及CGI的评定。

From then on,logicians developed many ideas of many-valued logic based on different needs.This paper will recall the history process from the early thought of many-valued logic to its later development.

从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想，本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾。

Where is a partial loss of goods, merchandise, or other moveables, the measure of indemnity, subject to any express provision in the policy, is as follows:（1）Where part of the goods, merchandise or other moveables insured by a valued policy is totally lost, the measure of indemnity is such proportion of the sum fixed by the policy as the insurable value of the part lost bears to the insurable value of the whole, ascertained as in the case of an unvalued policy:(2) Where part of the goods, merchandise, or other moveables insured by an unvalued policy is totally lost, the measure of indemnity is the insurable value of the part lost, ascertained as in case of total loss:(3) Where the whole or any part of the goods or merchandise insured has been delivered damaged at its destination, the measure of indemnity is such proportion of the sum fixed by the policy in the case of the valued policy, or of the insurable value in the case of an unvalued policy, as the difference between the gross sound and damaged values at the place of arrival bears to the gross sound value:(4)"Gross value" means the wholesale price, or, if there be no such price, the estimated value, with, in either case, freight, landing charges, and duty paid beforehand; provided that, in the case of goods or merchandise customarily sold in bond, the bonded price is deemed to be the gross value.

货物、商品或者其他动产发生部分损失的，除保险单另有明文规定外，赔偿范围如下：(1)如果定值保险单承保的货物、商品或者其他动产的一部分发生全损，赔偿范围为保险单确定的保险金额中的比例部分，该比例为灭失部分的可保价值占全部可保价值的比例部分。可保价值的确定与不定值保险相同；(3)若不定值保险单承保的货物、商品或者其他动产的一部分发生全损，赔偿范围为损失部分的可保价值，可保价值的确定与全损时相同；(4)如果被保险货物或商品的全部或者一部分以受损状态运抵目的地，赔偿范围以完好毛值与受损价值的差额占完好毛值的比例计算，在定值保险单情况下，是保险单确定的金额的该比例部分，或者，在不定值保险单情况下，是可保价值的该比例部分；(5)&毛值&是指货物的批发价格，如果没有这种价格，则是货物的估计价值，不论哪一种情况，再加上已预先付讫的运费、卸货费和关税之后的价值；但是，如果货物或商品按惯例在关仓出售，那么关仓价格就视为毛值。

In the last two chapters, this thesis first develops two quaternion-based color image filtering methods that are based on the quaternion rotation theory and quaternion unit transform, respectively, then analyzes the fulfillment algorithm of the QSVD (Quaternion Singular Value Decomposition) and its applications to color image processing, and expands the real number-valued PCA to quaternion-valued PCA.

在论文的最后二章，通过利用四元数旋转和色调抵消机制以及四元数单位变换来表达二个彩色像素的色调差异，提出了二个基于四元数理论的彩色图像滤波的新方法；并分析了四元数奇异值分解QSVD (Quaternion Singular Value Decomposition)的实现算法及其在彩色图像处理中的应用；同时将实数域上的主成份分析扩展到四元数域，形成了四元数版本的主成份分析QPCA (Quaternion Principal Component Analysis)。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

In this paper, we introduce a scalar potential function in the nonconducting region,and prove the existence of an auxiliary function which is important to the problem.

本文在非涡流区引入标量位函数，证明了在推导过程中起重要作用的辅助函数的存在性。

In Part 5, the stability of linear large-scale singular dynamic system is investigated by using the method of vector generalized Lyapunov function and the sum type of scalar generalized Lyapunov function, respectively.

首先研究线性广义系统二次型李雅普诺夫函数的存在性；然后建立按线性近似系统决定非线性广义系统稳定性的准则；进而改进广义李雅普诺夫函数法以研究广义系统的稳定性；最后提出利用非线性函数的偏导数矩阵判别非线性微分-代数系统稳定性的若干简便判据。

Based on the speciality of the spectral function, we provide the sufficient conditions such that the spectral function are K—increasing (strictly K—increasing) in Euclidean Jordan algebra, and establish the relationship between the spectral scalar solution set and the K— efficient solution set of the Euclidean Jordan algebra vector optimization problem.

基于谱函数的特殊性，刻画了谱标量函数满足K-增性的充分条件，继而建立了谱标量解集与欧几里德若当代数向量优化问题K-弱有效解集和K-有效解集的包含关系。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。