分析命题

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication,this situation obstructs the aim of logic norm and people's correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication ,this situation obstructs the aim of logic norm and people s correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

Is a A very common method of problem solving even in universities in some courses, such as advanced algebra, mathematical analysis and are often used to prove some mathematical induction proposition.

即使在大学中的一些课程中，如高等代数，数学分析等也常常用到数学归纳法来证明一些命题。

Reduced SQP based on orthonormal bases, orthogonal bases and coordinate bases are studied and compared. With the correction item introduced, the null-space move is adjusted and the reduced SQP based on coordinate bases decomposition is improved.●The key problem of steady-state data processing for RTOPT is studied. A new algorithm of simultaneous strategies for data reconciliation and gross error detection is proposed. Here the objective function that is constructed using maximum likelihood principle and joint distribution function is minimized. Efficient algorithm is developed which exploited the nonlinear lease-square structure of this objective function.

仿真结果表明了算法的有效性；●深入研究了在线优化中的一个关键问题——稳态数据处理问题，用基于组合概率分布的目标函数联立求解粗劣误差检测和数据调和问题；以精馏塔在线优化的数据处理和模型修正为例，提出一种根据模型方程对参数的依赖性进行过程模型分解的分层策略，可以将数据调和和参数估计统一在数据处理的大框架中，为进一步的过程性能分析、操作状况评价以及在线优化提供可靠的基准，具有非常重要的工程应用价值；●将优化命题的形式扩展到更通用的形式。

The following three parts are thinking and rethinking respectively over the three main aspects of Wordsworthian poetics: Nature, language and revisionary aesthetics.

文章的三、四、五部分分别分析了华兹华斯诗歌理论中的三个核心命题：诗歌中的自然，诗歌的语言以及诗歌的美学效果。

This article attempts to start with the systematicness of Zhang Jie's poetry esthetics thought, discusses his poetry esthetics thought thoroughly regarding the poetry esthetic creation stage, the poetry accepts the stage. And in this process, more thorough discusses him such as"expressing aspirations is oriented, chanting things is modified"and"the affection outbreaks in surge after it is superabound"as well as"cogency"and so on extremely theoretical value propositions.

本文试图从张戒诗歌美学思想的系统性入手，深入探讨他对于诗歌审美创造阶段、诗歌审美接受阶段以及诗歌审美风格形成阶段的诗歌美学思想，并在探讨其诗歌美学思想系统性的过程中，较为深入的分析他的诸如"言志为本，咏物为工"、"情意有余，汹涌而后发者也"、"中的"等极具理论价值的命题。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Based on analysis of generation algorithms of cutter－ contact point trace in NC machining of sculptured surfaces,in this paper,a property on continuity of cutter－ contact point trace is suggested and proved.

在分析国内外关于自由曲面数控加工中刀位点轨迹生成算法的基础上，提出了一个关于刀触点轨迹连续性的命题并加以证明。

First of all, household burglary rate of every township and district is explained by population transience and heterogeneity.

分析结果相当程度地印证了结构选择理论的命题，区域中的人口流动性与人口异质性是解释区域住宅窃盗被害率的重要因素。

In the base of regularity of fuzzy logic s, combining triangular norms and logic s, it has lead proposition universal logic .

在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。