值

Only two papers known to the author discussed the possible relationship between the estimates of Km and Vmax. Colquhoun (196 9) found a strong positive correlation between these estimates in a simulation study. Subsequently, Oliver (1970) examined this relationship by the asymptotic variance-covariance matrices. These simulation and mathematical analyses were based on the assumption that the substrate concentration is error-free, with the error confined to the reaction velocity. In addition, their work was confined to the several estimation methods.

就作者所知，在本研究发表之前仅有两篇文章讨论过估计值之间的相关性。1969年，Colquhoun通过计算机仿真，发现了估计值之间存在正相关关系，1970年，Oliver用渐近方差-协方差矩阵检验了这一点，但是他们的发现有很大的局限性，其一是限于仅反应速度的测量值有误差这一种情况，其二是限于某几种估计方法。

In order to find a stable approximate solution of linear compact operator equation, the article introduces general theories about ill-posed problems, it bases on spectral theory of self-adjiont compact operators and the singular value decomposition for compact operators, avails singular system to give expression of the solution, and explains ill-posedness of compact operator equation roots in the property that the singular values trends to zero. Thereout, it is provided with theoretic support of building up regularization method by inducting regularization filter to weaken or filtrate the influence that the nature of the singular value being very close to zero has on the solutions stability.

为了得到线性紧算子方程稳定的近似解，介绍了不适定问题正则化的一般理论，以自伴紧算子的谱分析与紧算子奇异值分解为理论基础，利用奇异系给出了解的表达式，说明了紧算子方程不适定性的根源在于紧算子的奇异值趋于零的性质，由此通过引入正则化滤子函数来减弱或滤掉奇异值趋于零的性质对解的稳定性的影响，构造正则算子，从而提供了建立正则化方法的理论依据。

Ge__. These methods can return any value, but if the comparison operator is used in a Boolean context, the return value should be interpretable as a Boolean value, else a TypeError will be raised.

ge__。这些方法可以返回任何值，但是如果比较运算符用于布尔上下文，返回值应该被解释成布尔值，否则将抛出TypeError异常，通常0表示假， 1用于表示真。

In this method, the value of every inserted pixel equals to that of its closest compeer in the original image, and the characteristic of frequency response in the diagonal direction is fine.

图像放大有多种方法，最近邻赋值是最简单的一种，每个内插样点值等于与它最近邻的原始图像的样点值。

The approach is efficient when the database is dynamically updated, the frequency value of each itemset is recorded; so the corresponding support and confidence value can be obtained without constructing the complete lattice, which generates the association rules.

该方法适应于数据库的动态数据递增或递减更新，通过记录项目集在数据库中出现的频率值，不需要构造完整的格即可求得项目集的支持度值和可信度值，以获取大项目集，进而求得关联规则。

Under the conditions of compatibility or sub-compatibility between a set-valued mapping and a single-valued mapping, the existence of cotnnlon fixed points for two set-valued mapping and a single-valued mapping in complete metric space is discussed.

在集值映象与单值映象相容或次相容的条件下，讨论了度量空间中两个集值映象和一个单位映象的公共不动点的存在性，改进和推广了一些相应结果。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

This paper proponed a correlation and risk assessment approach to solve these problems, which exploited constructed security correlation model to compote real-dine risk for every security event (such as alert, operating system log record, and so on), and gave out new alerts for high risk events while discard low risk ones so as to reduce false positive and false negative rate.

提出了一种利用关联和风险评估的方法，利用构建的安全关联模型，计算出每个安全事件（如告警事件、系统安全日志记录等）的实时风险值，对风险值较高的事件给出新的警告，并摈弃那些风险值较低的事件，从而降低漏报和误报率。

For the first time, we propose the Ternary production rule and Ternary rule matrix , then use MVL to decompose the compound rules, which both realize lossless decomposition of the 4〓 type of compound rule and avoid rule matrix's dimension increase for introducing new proposition to substitute the compound recondition.

首次提出并使用三值产生式规则及三值规则矩阵，创造性的将多值逻辑用于复合产生式规则分解，很好地实现了4类复合规则的无损分解，同时避免了该类复合规则的出现需引入新的命题而导致规则矩阵规模增大的问题。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。