凸f模(convex關module)一類特殊的f模.設HM是偏序環R上的f模,若M的每個子模都是凸L子模,則M稱為凸f模.若R是一個f.環,HR是凸f模,則k稱為左凸f環.f環中的每個理想是右凸Z子群,但未必是左凸的;同樣左凸f環也未必是右凸的.
基本介紹
- 中文名:凸f模
- 屬性:數學術語
凸f模(convex關module)一類特殊的f模.設HM是偏序環R上的f模,若M的每個子模都是凸L子模,則M稱為凸f模.若R是一個f.環,HR是凸f模,則k稱為左凸f環.f環中的每個理想是右凸Z子群,但未必是左凸的;同樣左凸f環也未必是右凸的.
凸透鏡之焦距是指焦點到透鏡中心的距離,通常以f表示。凸透鏡球面半徑越小,焦距越短。凸透鏡可用於放大鏡、老花眼及遠視的人戴的眼鏡、顯微鏡、望遠鏡的透鏡等。焦距越大,凸面鏡的表面越凸,聚光功能越好。兩側面均為球面或一側是球面另一側是平面的透明體,中間部分較薄,稱為凹透鏡。分為雙凹、平凹及凸凹透鏡...
有限值f模 有限值f模(finitely valued f-module)有限值格序群的概念在f模中的推廣.設M*是f模,且.BEM,若N是M中不包含二的凸L子模集中的極大元素,則稱N為二的R值.若N是二在M中的惟一的R值,則稱N是R特殊的.若M*的每個元素只有有限個R值,則稱M為有限值f模.
離散與組合幾何領域凸性理論研究的主要對象是凸集。本課題擬研究凸集概念的一類推廣,即刻畫給定集族F導出的所有F-凸集,並討論F-凸性下離散與組合幾何學三個基本定理的推廣,判定哪些集族為F-凸穩定等問題。這些問題均是嶄新的前沿問題,研究結果將有助於構建離散與組合幾何中凸性理論研究的基本框架。
一致凸賦范線性空間(uniformly convexnormed linear space)是滿足一致凸性的一類賦范線性空間。賦范線性空間(X,‖·‖)稱為是一致凸的,如果對任意的ε>0,存在δ>0,使得當‖x‖≤1,‖y‖≤1並且‖x-y‖≥ε時,必有‖x+y‖≥2-δ成立。 是一致凸的。一致凸的巴拿赫空間是自反的。一致凸空間是巴拿赫...
距離幾何是現代幾何學的一個分支,它的研究對象是定義了距離的幾何空間,其最初的任務是藉助於定義在某些空間上的距離對這些空間進行分類,後來的發展超出了這個框架。度量凸(metrically convex)是距離幾何的一個概念。它是半度量空間的一種類似於一般的凸性但稍弱些的性質。此概念是門傑(Menger,K.)引進的。概念 ...
凸透鏡之焦距是指焦點到透鏡中心的距離,通常以f表示。凸透鏡球面半徑越小,焦距越短。凸透鏡可用於放大鏡、老花眼及遠視的人戴的眼鏡、顯微鏡、望遠鏡的透鏡等。焦距越大,凸面鏡的表面越凸,聚光功能越好。兩側面均為球面或一側是球面另一側是平面的透明體,中間部分較薄,稱為凹透鏡。分為雙凹、平凹及凸凹透鏡...
次導數、次切線和次微分的概念出現在凸分析,也就是凸函式的研究中。設f:I→R是一個實變數凸函式,定義在實數軸上的開區間內。這種函式不一定是處處可導的,例如絕對值函式f(x)=|x|。但是,從概述圖可以看出(也可以嚴格地證明),對於定義域中的任何x₀,我們總可以作出一條直線,它通過點(x₀, f(x...
分為雙凹、平凹及凸凹透鏡三種。其兩面曲率中心之連線稱為主軸,其中央之點O稱為光心。通過光心的光線,無論來自何方均不折射。平行主軸之光束,照於負透鏡上折射後向四方發散,逆其發散方向的延長線,則均會於與光源同側之一點F,其折射光線恰如從F點發出,此點稱為虛焦點。在透鏡兩側各有一個。負透鏡又稱為...
凸性不等式(convexity inequality)是凸函式滿足的不等式,也常稱為延森不等式。簡介 凸性不等式是凸函式滿足的不等式。設f為實線性空間 X 的凸集 K 上的凸函式,即對於任何 和任何 λ>0,f滿足 逐次套用這一不等式,可以得到:對於任何 ,和任何 有 這個不等式即凸性不等式,也常稱為延森不等式。推廣 ...
5 擴張原理與F數 5.1 擴張原理 5.2 多元擴張原理 5.3 凸F集 5.4 F數 5.5 區問數 5.5.1 區間運算 5.5.2 區間數運算 習題5 6 F邏輯 6.1 值邏輯 6.2 F命題公式 6.3 F邏輯函式的概念 6.4 F邏輯函式的範式 6.4.1 析取範式的項 6.4.2 簡單析取式的互素項 6.5 F邏輯...
材質:碳鋼(Carbon Steel):ASTM A105,20#、Q235、16Mn、 ASTM A350 LF1,LF2 CL1/CL2,LF3 CL1/CL2、ASTM A694 F42,F46,F48,F50,F52,F56,F60,F65,F70。合金鋼(Alloy Steel):ASTM A182 F1、 F5a、 F9、 F11、 F12、 F22、 F91、A182F12、A182F11、16MnR、Cr5Mo、12Cr1MoV、15CrMo、12Cr2Mo1、A335...
曲線的凹或凸統稱為曲線的凸性。凸性含義 從切線角度講,下凸弧上過任一點的切線都在曲線弧之下,而上凸弧上過任一點的切線都在曲線弧之上。從割線角度講,如果連續曲線y=f(x)在區間(a,b)對應的曲線弧上任意兩點的割線線段都在該兩點間的曲線弧之上,則稱該段曲線弧是下凸的,並稱函式y=f(x)在區間(a...
這是一類特殊的非線性規劃。在前述非線性規劃數學模型中,若f是凸函式,諸gi都是凹函式,諸hj都是一次函式,則稱之為凸規劃。所謂f是凸函式,是指f有如下性質:它的定義域是凸集,且對於定義域中任意兩點x和y及任一小於1的正數α,下式都成立:f((1-α)x +αy)α≤(1-α)f(x)+αf(y)將上述...
4.3.2逆圖形編寫間隙補償量f凸=0.1的凸模程式 4.3.3逆圖形編寫間隙補償量f凹=0.06的凹模程式 4.3.4逆圖形編寫間隙補償量f固=0.11的固定板程式 4.3.5逆圖形編寫間隙補償量f卸=0.08的卸料板程式 4.4用CAXA線切割XP軟體編寫沖孔模具程式的實例 4.4.1繪圖 4.4.2編寫沖孔模具程式時加間隙補償量 4...
以凸透鏡為例,先來明確幾個概念:對於薄透鏡:(1)、凡是通過光心、不與主光軸重合而與入射光線平行的直線都可以稱之為“副光軸”;(2)、過焦點且與主光軸垂直的平面叫做“焦平面”;(3)、副光軸和焦平面的交點叫做“副焦點”(圖中的 F ’),而我們常說的透鏡的焦點可以稱為“主焦點”。對於薄透鏡和近軸...
這是一類特殊的非線性規劃。在前述非線性規劃數學模型中,若f是凸函式,諸gi都是凹函式,諸hj都是一次函式,則稱之為凸規劃。所謂f是凸函式,是指f有如下性質:它的定義域是凸集,且對於定義域中任意兩點x和y及任一小於1的正數α,下式都成立:f((1-α)x +αy)α≤(1-α)f(x)+αf(y)將上述不等式...
~‖函式的定義:設x和y是兩個變數,D是實數集的某個子集,若對於D中的每個值x,變數y按照一定的法則有一個確定的值y與之對應,稱變數y為變數x的函式,記作 y=f(x).數集D稱為函式的定義域,由函式對應法則或實際問題的要求來確定。相應的函式值的全體稱為函式的值域,對應法則和定義域是函式的兩個要素。
數學模型中的一種,在數學當中,凹函式是凸函式的相反。如果定義在某一區間上的一元實函式f(x)是連續函式,且對這一區間中的任何兩點X₁、X₂,當X₁<X₂時,有不等式f(q₁X₁ + q₂x₂) ≤q₁f ( x₁)+q₂(fx₂),(其中q₁、q₂為正數,q₁+q₂=1),這時,我們...
凸凹模是直接使坯料成形的工作零件,因此,它是模具上的關鍵零件。凸凹模不但精密而且複雜,它應滿足如下要求:(1)應有足夠的強度,不能在衝壓過程中斷裂或破壞;(2)對其材料及熱處理應有適當要求,防止硬度太高而脆裂。2.定位零件 定位零件是確定坯件安裝位置的零件,有定位銷(板)、擋料銷(板)、導正銷、導...
f = 1/2φd +δ+ △ + S式中,f為補償量(mm);δ為第一次切割時的放電間隙(mm);φd為電極絲直徑(mm);△為留給第二次切割的加工餘量(mm); S為精修餘量(mm)。在高峰值電流粗規準切割時,單邊放電間隙大約為 0.02mm;精修餘量甚微,一般只有0.003mm。而加工餘量△則取決於第一次切割後的加工表面...
中為凸函式(國外教材定義;若為凹函式,則國內教材定義)同時,值得注意的是,上凸、下凸、凹、凸的含義是不同的。涉及機率密度函式的形式 假設Ω是實線的可測子集,f(x)是一個非負函式 在機率語言中,f是機率密度函式。然後Jensen的不等式變成了關於凸積分的下面的陳述:如果g是任何實值可測函式且φ在g的...
嚴格擬凹函式(strictly quasiconcave function)是凹函式的推廣,保留了許多凹函式的性質。簡介 嚴格擬凸函式 設f是定義在實線性空間X的凸集K上的實值函式。如果對於任何x₁,x₂∈K和任何λ∈[0,1],總有 那么f就稱為K上的擬凸函式。如果上述不等式是嚴格的,那么f就稱為K上的嚴格擬凸函式。定義 如果-...
阿達馬三圓定理是一個關於全純函式性質的結論。即:設f(z)是環域 上的全純函式,M(r)是|f(z)|在圓周|z|=r上的最大值。那么,logM(r)是一個對數log(r)的凸函式。簡介 阿達馬三圓定理是關於圓環內解析函式在圓環的同心圓周上的最大模的增長性定理。定義 設 f(z) 是環域 上的全純函式, M(r) ...
如果複變函數f(z)在有界區域D內解析,在D及其邊界點上連續,並設在D內及邊界上|f(z)|的最大值是M,那么,在D的邊界F上存在一點z使|f(z₀)|=M,而對於D內的所有的z,滿足|f(z)| 複變函數論中有關函式值的模的一個重要定理.若f(z)是區域D內的非常數的解析函式,則|f(z)|在D內部取不到最...
2、日本某公司以圓棒材為坯料,採用“開式模鍛+反擠壓”方法,先成形大端及凸緣,後成形小端。該方法中的鍛模和反擠壓模凸模工作條件惡劣,易變形(不易保證小端管內外壁同軸度),易損壞。同時,凸模細長、需要設備滑塊行程長。還存在飛邊損耗。3、提出了用棒材坯料經4步擠壓成形的構想,也是先成形大端及凸緣,...
43.卡諾定理:通過△ABC的外接圓的一點P,引與△ABC的三邊BC、CA、AB分別成同向的等角的直線PD、PE、PF,與三邊的交點分別是D、E、F,則D、E、F三點共線。 44.奧倍爾定理:通過△ABC的三個頂點引互相平行的三條直線,設它們與△ABC的外接圓的交點分別是L、M、N,在△ABC的外接圓取一點P,則PL、PM、PN與△...
f = 1/2φd +δ+ △ + S式中,f為補償量(mm);δ為第一次切割時的放電間隙(mm);φd為電極絲直徑(mm);△為留給第二次切割的加工餘量(mm); S為精修餘量(mm)。 在高峰值電流粗規準切割時,單邊放電間隙大約為0.02mm;精修餘量甚微,一般只有0.003mm。而加工餘量△則取決於第一次切割後的加工表面...
上述四個凸輪本體F-48,螺旋壓料凸筋F-49和導向部F-50構成接料壓料凸輪F,其接料原理是當成品卸料工位D-37通過模把的壓氣和兩側氣槍把承印件K-109吹向四個接料壓料凸輪F的導向部F-50並滑進沒有螺旋壓料凸筋F-49的凸輪本體F-48,如果是直徑大於高度的承印件K-109吹落出現不平衡的現象時,凸筋即把杯...