条件命题

Logic The conditional member of a hypothetical proposition.

前提，前提条件：假设命题中的条件

First, this paper, in the field of intrinsic geometry, studies the geometric problems on garment design, as well as applies the frame and semi-geodesic coordinates to prove the fundamental theorem of being a developable surface.

文中首先在内在几何学的层次上，研究了服装设计所涉及的几何学问题，应用标架与半测地坐标方法证明了曲面成为可展面的基本定理，研究了可展面的分类及其性质，考虑到服装三维几何造型的需要，证明了组合式可展面各组成片相切连接条件的命题，作为构造可展面的理论依据，证明了单参数平面族的包络面必为可展面的命题，在此基础上发展出服装几何造型的"刮大白"方法以及相关的三种构造可展面的解析方法。3D→2D的变换是三维服装CAD的重要内容之一，其几何学实质是曲面的定长映射，文中总结了定长映射即可展面在平面上展开的基本准则，在这一准则的指导下，结合服装设计与相关领域的要求，讨论了可展面在平面上展开的解析方法与数字方法，上述内容确立了服装设计几何学的基本框架。

Aiming at the two propositions (the theorem of three concurrent forces balance and the inertia moment of multimetric polygon), the paper represents and theoretically proves that the condition of three concurrent forces balance should be modified, i.

针对建筑力学中的三力平衡汇交定理和正n边形截面的惯性矩两个命题，提出了应该对三力平衡汇交定理的条件加以修正，即对三力平衡问题中的"三力平行"这种特殊情况不必设条件加以限制，并从理论上加以证明。

"Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional p q (read "if p then q") is true"

逻辑学家将蕴涵分成实质的和严格的两种主要类型。p命题实质蕴涵q命题，若且唯若实质条件pq为真

Thus a proposition may petrify into pseudo-scientific dogma or become genuine knowledge, depending on whether we are prepared to state observable conditions which would refute it.

因而，根据我们是否准备规定可以反驳一个命题的可观察条件，该命题或许僵化为伪科学的教条，或许变为真正的知识。

The piecewise-linear feedback control law is off-line computed by LMI optimization problems and the on-line control computation reduces to the simple evaluation of the defined piecewise linear function, which makes the online computational efficiency significantly improved.

针对预测控制滚动优化命题的在线计算任务大，作者提出了一种基于分段反馈的离线预测控制算法，通过离线求解线性矩阵不等式优化命题构造分段反馈控制律，在线运行时只需实施满足条件的反馈控制律，极大地提高了控制器在线计算效率。

Infinite condition",out of the question of "with or without any condition,"refers to exhausting all conditions but freeing from any of them,which is the infinitely universal,absolutely unified proposition,principle and idea,which is also"the final pursuitof the human reason in the sphere of know-ledge.

无条件"不是指"条件"的有无；而是穷尽一切条件而不受条件限制，是指具有无限普遍性、绝对完整统一性的命题、原理、理念，是理性在认识范围内的"终极追求。

Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows:①reviewed entirely the origin and evolvement of the concept "sustainable development", stated and commented the study status in queue on"sustainable development"around national and international range, thorough discussed the science connotation about the concept "sustainable development";②looked back and commented across-the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings;③expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory;④thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the MATLAB software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the B-J method and Morte-Carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources;⑤synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming, mathematical statistics, random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality;⑥analyzed the inside condition and outside condition to assure the sustainable and optimum exploitation of groundwater resources, the inside conditions are the follows: correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows: the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water-saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology;⑦scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy;⑧point out the more directions on groundwater resources.

它将为制定水资源的可持续发展目标和战略决策提供科学依据，为制定社会、经济可持续发展战略提供理论基础。基于以上考虑，论文主要从以下几方面对地下水资源可持续开发问题进行了比较深入的探讨：①全面回顾了&可持续发展&概念的由来与演变，对国内外&可持续发展&的研究现状进行了述评，并对&可持续发展&概念的科学内涵进行了深入探讨；②对涉及地下水资源的一些最基本的概念和命题进行了全面的回顾和评述，对目前仍然存在的一些错误观点和混乱认识提出了自己的见解；③全面阐述了地下水资源变值系统理论的内容和意义，并与传统的地下水资源计算评价方法进行了对比分析，结合实例具体说明了方法的应用；④深入分析了地下水资源预测预报工作的极端重要性和复杂性，对传统的地下水资源动态预测方法进行了全面的评述，指出了各类预测预报方法的特点及适用条件，对最近二十多年刚发展起来的小波分析技术的主要思想和方法及其应用范围，以及号称第五代计算机语言的MATLAB软件和附带的小波分析工具箱进行了介绍，并应用于地下水动态过程线的分析，采用时间序列中的B-J法，蒙特卡罗方法，与地下水资源变值系统理论相结合，探讨了地下水动态资料分析和地下水资源预测预报的新思路；⑤综合分析了现今各类地下水管理模型的特点及缺陷，将数学规划、数理统计、随机过程等与地下水变值系统理论相结合进行地表水地下水或多水源的联合优化调度，使模型更准确、更实用；⑥对保证地下水资源可持续开发的内部条件和外部条件进行了分析，内部条件主要是正确的资源观，科学的资源计算与评价方法，可靠的资源预测预报技术，可操作的资源管理措施，外部条件主要是高层发展思路、管理体制的变革、配套的政策法规、经济杠杆的调节、人文素质的提高、节水意识的增强及具体节水措施、人口增长的控制、水体污染的防治、生态的恢复和重建等；⑦从宇宙科学、地球系统科学及哲学的高度审视地下水资源的可持续开发；⑧指出了地下水资源可持续开发的进一步研究方向。

The Cognitive Meaning of Proposition means whether it's true or not. The standards about the cognitive meaning of propositions are five, such as conceivable principle?describable principle?truth principle?confirmed principle and verified principle.

命题的认知意义是指其有无真假可言；判断一个命题是否具有认知意义，有五个不同的标准：可想象性原则，描述性原则，真值条件原则，可证实性原则和印证原则。

Two complemented lattices L_1, L_2 are said to be of the same "type" if they have identical sets of tautologies.

一个具有最小元O及最大元I的格L，如果在其中又定义了一个单值的1元运算&′&能适合O′=I，I′'=O，则称L为一可补格，一个命题演算良构式A(设只含命题连接词A，V，～)，如果命它的变数在L中任意取值且将A，V，～分别解释为L中的运算∩，U，′时，A永远得到值I，则称A为L上的恒I式，当两个可补格L_1，L_2上的恒I式集相同时，称L_1，L_2为同型的，本文就是讨论可补格按同型关系分类的问题，所得结果如下：定理设有限可补格L_2适合条件：，存在一良构式A能使则任一可补格L_1与L_2同型的一个充分必要条件是：(A_1)。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失