查询词典 integer valued function

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

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.

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

It differs from the scalar-valued case that the existence of the atomic decompositions of Banach-space-valued martingales is closely connected with the geometrical properties of the Banach spaces.

与标量值不同的是，在向量值情形下，这些鞅空间的某些类型的原子分解的存在性和它们之间的相互关系都与值空间的几何性质有紧密联系。

Software Description: XICalc is an integer calculator program with the following features: multiple precision integers with millions of digits; uses Hartley Transform to speed-up long multiplies; separate input and outputnotation, base 2 to base 36; greatest common divisor function; Modulo arithmetic options; Bernoullinumbers, Euler Numbers; Boolean functions; random number generator; prime factor algorithm using theElliptic Curve Method; number theoretic functions phi, sigma and tau; prime testing and searching using the Adleman function; algebraic notation; if-then-else statement; go-to statement; can run XICalc code from files; hot help from F1 key; and it抯 written in Microsoft Visual C#.

XICalc 是一款带有如下功能的综合性计算器软件：带有百万数位的多精度整数；使用 Hartley Transform 加速长整型多样化计算；以2到36为基数分隔输入和输出符号；最大公约数函数；模数算法选项；Bernoulli 数字；Euler 数字；布尔函数；随机数字生成器；使用圆周曲线算法的主要因素运算法则；π，τ，Σ的数字理论函数；使用 Adleman 函数的最初测试和搜索功能；代数符号；if-then-else 语法结构声明；go-to 语法结构声明；来自于文件的XICalc 代码；F1键的热点帮助；并且该软件是采用适用于 Windows 操作系统的微软 Visual C#。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。