命題函數 的英文怎麼說

中文拼音 [mìnghánshǔ]
命題函數 英文
propositional function
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • : 名詞1. [書面語] (匣; 封套) case; envelope 2. (信件) letter 3. (姓氏) a surname
  • : 數副詞(屢次) frequently; repeatedly
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  • 函數 : [數學] function函數計算機 function computer; 函數計算器 function calculator; 函數運算 functional operation
  1. Two propositions and applications about dualistic function ' s extremum

    二元極值問的兩個相關聯及其應用
  2. On the other hand, the conformal deformation ' s problem is to find a metric on h2 ( - 1 ), conformal to g, with the given function k as its gaussian curvature, that is, it is important for us to study the solvability of the conformal gauss curvature equation in geometry analysis. the problem that the conformal gauss curvature equation may have a solution for every nonegative holder continuous function k ( x ) is also an open problem

    ) = e ~ ( 2u ) g使k是( ? )的高斯曲率,即共形高斯曲率方程的可解性研究是幾何分析中的一個重要問。當預定的k取正值時,共形高斯曲率方程解的存在性作為一個猜測至今未得到解決。
  3. Then the application of cauchy - inequality is illustrated by proving a proposition or an inequation, solving a triangle, and finding a solution to an equation or the maximum value & minimum value of a function

    然後給出了柯西不等式在證明、不等式證明、求解三角形問最值、解方程等方面的應用。
  4. According to order relations defined between interval numbers, a fuzzy evaluation function is introduced into a multiobjective programming problem, this method results in the conversion of the complex multiobjective programming into the single objective programming

    摘要對系為區間的多目標線性規劃規劃問,在區間序關系下提出了序關系評價概念,並給出了一個,用此方法可將復雜的多目標線性規劃為簡單的單目標規劃。
  5. This brief note presents an easily conceivable inequality for analytic functions. as an application, a function - theoretic proposition involving the fundamental theorem of algebra ( fta ) is deduced immediately

    摘要本文關于解析給出了一個可作幾何理解的不等式,由此易得出一個有關解析零點的,而代學基本定理成為它的直接推論。
  6. If the function is linearly homogeneous it is possible to derive several propositions of interest.

    是線性齊次的,可以推導出一些令人感興趣的
  7. Firstly, this article summarizes consideration modes appeared in share structure reform into 3 kinds, including share adjustment, cash payment, and warrants issuance, and proves that consideration modes of share adjustment are completely equivalent to each other, and that consideration modes of share adjustment are equivalent to cash payment and cash payment is equivalent to warrants issuance when we neglect some subordinate conditions. then it is concluded that when we neglect the subordinate conditions, all kinds of consideration modes can be unified as anyone of them, and comparison between different simple or even complex consideration modes can be made. thus all kinds of considerations can be converted to a discounted ratio of stock price decline to figure consideration price of any listed companies paid in share structure reform

    本文首先將股權分置改革中的對價方式歸納為股本調整類(非流通股股東向流通股股東送股、非流通股縮股、流通股擴股) 、現金對價和權證對價三大類,通過歸納兩類股東的對價水平評價指標,以及兩類股東的對價效用變量在一定條件下的相等,通過七個依次證明了股本調整類對價方式的完全等效性,以及在忽略一些次要變量的情況下股本調整與現金對價、現金對價與權證對價的等效性,由此得出在一定條件下可以將股權分置改革中的各種對價方式統一起來,以及不同類或者混合的對價方式之間可以比較對價水平的結論,並通過折算的股價降低率來表示上市公司股權分置改革的對價水平。
  8. A full mathematical model of optimal flow pattern design withengineering constraints was put forward, based on modern optimal control theory. an optimal flow pattern design was presented for optimizing meridional channel of axial flow turbine. according to integral optimization of turbine stages, a full physical model and mathematical expression were put forward for proposition of optimal flow pattern, including all performance parameters in turbine stages. this problem was further recast into a typical form control to maximize specific performance index such as work or efficiency of stage with given initial state, fixed terminal condition and constraints for part of state terminal variables. the program was also worked out according penalty function method and conjugate gradient method. the optimal distribution of c1ur1 ( r1 ) was obtained according to constraint conditions and maximized objective function

    把近代最優控制論方法引入軸流透平葉片的設計,在優化的軸流透平子午通道內,建立包括透平級內所有性能參量的最優流型的完整的物理模型及其學表達式,並歸化為一個在給定初始狀態、自變量終端固定、部分狀態變量終端受有約束的條件下,使級的某一性能指標(如級的功率)達到最優的最優控制問,應用「代價法」及「共軛梯度法」編制計算程序,計算得到符合給定約束條件、並使目標取極值的最優環量分佈,結果是令人滿意的。
  9. Light speaking of making up anxiliary function in advanced mathematics proposition

    中輔助的構造
  10. In the second chapter we study the properties of the weighted dirichlet - type spaces and composition operators on them. we not only characterize these spaces by taylor series, but also give sufficient and necessary conditions in terms of carleson measure for the boundedness and compactness of composition operator. moreover, we apply the comparability propositions which induced from above sufficient and necessary conditions to discuss the relationships between the compactness of composition operator cv and angular derivative or innerness of the inducing function, and so on

    本文討論了一類空間相互的包含關系,而對其中的加權dirichlet型空間,不但給出了空間的相互包含關系,並且對它進行了級刻畫;利用carleson測度,刻畫了加權dirichlet型空間上復合運算元的有界性及緊性,並利用由此得到的比較性討論了復合運算元的緊性與角導,內等的關系。
  11. The optimal reorder point and order quantity can be calculated with the model while making the decision of purchasing of spare parts

    本文從零件壽角度對此問進行了研究,給出了基於零件壽的慢速流動備件庫存控制模型。
  12. To alleviate this difficulty, we developed a hybrid approach that combines ga with simplex method in function optimization. in the same way, the hybrid simplex - genetic method is applied to solve the continuous minimax optimization

    力學優化演算法解決了增廣ragange法的子優化,最後給出了一種新的增廣lagrangc乘子演算法,它可有效地解決目標和約束條件可微的單目標優化
  13. Another equivalent proposition on convex function

    的又一等價
  14. Two constructive methods of auxiliary functions in the proof of differential intermediate value propositions

    微分介值性證明中輔助構造兩法
  15. For the uncertainty optimization with interval coefficients in the objective function, a robust optimization framework is proposed, in which the concept of " regret " is incorporated. this framework is inspired by the methodology of " wuli - shili - renli " [ 26 ] raised by j. gu. through this method an uncertainty optimization problem may be transferred i

    5 .對不確定系統中的一類問,即用區間作為參進行建模求解的區間規劃問,本文受顧基發研究員的「物理一事理一人理( wsr ) 」 26 ]的系統科學思想的啟發,創造性的提出了一個結合目標期望,不確定度和後悔度的三目標魯棒優化,本優化可作為原不確定系統優化的替代
  16. This paper further deepens the understanding of the concept of the mathematic analytic tool of " uniform continuity " and at the same time, it summarizes and introduces some theorems and propositions of uniform continuity relating to functions

    摘要本文將學分析中的「一致連續性」概念進行了進一步的認識,總結介紹有關一致連續的一些定理和
  17. In the first chapter, we introduce the concept and properties of the rational bernstein bases. furthermore, the definitions of the multirational blossom for analytic functions and divided difference are introduced, and some interrelated propositions are given

    第一章綜述已有的結果,介紹了負n次bernstein基的定義、基本性質及對偶泛性質,並且介紹了多元有理blossom及均差的概念和相關的
  18. This paper shows three aspects as follow : 1. an algorithm of attribute reduction based on discernibility matrix - - - - ardm is presented. through analyzing to the algorithm of attribute reduction based on discernibility matrix, the facts that affect time efficiency are found, and the absorptivity in the proposition calculation is used to the process of constructing the discernibility matrix, then the effectless repeated elements are deleted, accordingly the efficiency of attribute reduction is improved

    本文的主要研究成果有以下三個方面: 1 .提出了一種基於區分矩陣的屬性約簡演算法ardm通過對基於區分矩陣的屬性約簡演算法進行分析,找出影響時間效率的因素並將演算中的吸收率用於構造區分矩陣的過程中,從而去掉了在區分中不起作用的「重復」元素,提高了屬性約簡的效率。
  19. 3. a new unbundled interactive multi - objective optimization method used to solve the tri - multi - objective optimization is developed. in the new interactive multi - objective optimization, the functions are unbundled to three classes : the first is the set whose value should be improved ; the second is the set whose value are allowed to relax ( impair ) ( ) and the final is the set whose value are accepted ) ( such that { the set of all the objective function } ) ? t

    針對目標有參不確定的優化,本文具體描述了其三目標優化,綜合當前互動式多目標優化演算法的研究成果,並提出了一種基於目標分類的互動式優化演算法,把目標進行分類符合決策者在交互決策過程中的行為習慣,可實現友好人機交互。
  20. Based on the concept of order and regret, a new tri - multi - objective optimization model is developed which is alternative used to solve the uncertainty optimization system with interval model parameter ? in particular, the uncertainty optimization model exits in many fields, such as economic and industrial fields. the tri - multi - objective optimization model include three functions : the first function is used to express the mathematical expectation in the uncertainty environment, the second function is used to express the robust property through a uncertainty degree function, the final function is used to express the mind of the decision maker through a regret function 2

    針對模型參為區間的不確定系統優化,在總結前人工作的基礎上,本文基於序和後悔度的概念,受顧基發研究員的「物理?事理?人理( wsr ) 」 guj . , zhuz . , ( 1995 )的系統科學思想的啟發,創造性的提出了一個結合目標期望,不確定度和後悔度的三目標魯棒優化,本優化可作為原不確定系統優化的替代
分享友人