1. 簡單離散數學!
0元謂詞,無個體變元,也就是命題。
1。他不是工人,而是田徑運動員
p = 他是工人
q = 他是田徑運動員
命題公式是¬p∧q
2.小白非常聰明和美麗。
p = 小白非常聰明
q = 小白非常美麗
命題公式是 p∧q
3.小王比小李高,小李比小白高,故小王比小白高。
p = 小王比小李高
q = 小李比小白高
r = 小王比小白高
命題公式是 p∧q → r
二。將下列命題用謂詞表示出來
1 所有老師和有些學生總是准時到達教室。
F(x)表示「總是准時到達教室」
M(x)表示「x是老師」
N(x)表示「x是學生」
(∀xM(x)→F(x)) ∧(∃xN(x)→F(x))
2 除非所有人都病倒了,這個會還是要開的。
F(x)表示「這個會要開」
M(x)表示「x是人」
N(x)表示「x病倒了」
¬∀x(M(x)∧N(x)) → F(x)
3 其中有些書是世界名著
F(x)表示「x是名著」
M(x)表示「x是書」
∃x(F(x)∧M(x))
4.任何正數不是合數就是質數
F(x)表示「x是正數」
M(x)表示「x是合數」
N(x)表示「x是質數」
∀x(F(x)→(M(x)∨N(x)))
2. 離散式生產和流程式生產的區別
1、行業的需求差異
流程生產行業,主要是通過對原材料進行混合,分離,粉碎,加熱等物理或化學方法,使原材料增值.通常,他們以批量或連續的方式進行生產.而離散工業主要是通過對原材料物理形狀的改變,組裝,成為產品,使其增值.在MES需求,應用環境等諸多方面,兩者都有較大的差異.
2、產品結構
離散製造企業的產品結構,可以用"樹"的概念進行描述——其最終產品一定是由固定個數的零件或部件組成,這些關系非常明確並且固定.流程企業的產品結構,則有較大的不同,它們往往不是很固定—上級物料和下級物料之間的數量關系,可能隨溫度,壓力,濕度,季節,人員技術水平,工藝條件不同而不同.
在流程生產行業MES中,一般採用配方的概念來描述這種動態的產品結構關系.其次,在流程生產行業每個工藝過程中,伴隨產出的不只是產品或中間產品,還可能細分為主產品,副產品,協產品,迴流物和廢物.MES在描述這種產品結構的配方的時候,還應具有批量,有效期等方面的要求.
3、質量管理
無論離散行業還是流程生產行業的質量檢驗和管理都相當重要,但在MES中對質量檢驗和管理的方式有所區別.離散行業中,對單件小批生產,一般需要檢驗每個零件,每道工序的加工質量;對批量生產,一般採用首檢,抽檢,SPC分析相結合.流程生產行業中,一般採用對生產批號產品進行各工序上的抽樣檢驗.
當然,在每個行業的不同生產方式和生產類型中(例如離散行業的單件小批或大批大量生產,在醫葯,化工,鋼鐵等不同流程生產行業),MES的應用還存在一些差別,仍然需要根據各自特點進行綜合分析.
4、庫房物料管理
離散行業中,一般對半成品庫也設有相應的庫房,各工序根據生產作業計劃以及配套清單分別進行領料.流程生產行業中,對連續生產方式,一般不設中間半成品庫房,配方原料的庫位一般設置在工序旁邊.配方領料不是根據工序分別領料,而是根據生產計劃一次領料放在工序庫位中.
5、反沖處理
流程生產行業的生產完工上報,廣泛採用反沖處理.一般在工藝流程的最後設置完工上報點,而對前面工序流程實行反沖處理,如人工工時反沖,設備工時反沖,物料反沖,從而對在製品和成本進行跟蹤.離散製造中的完工上報,一般對每道工序都要進行上報,或在關鍵工序設置反沖點,對前面工序進行反沖處理.
6、作業計劃調度
離散企業的生產作業計劃調度,需要根據優先順序,工作中心能力,設備能力,均衡生產等方面對工序級,設備級的作業計劃進行調度.這種調度,是基於有限能力的調度並通過考慮生產中的交錯,重疊和並行操作來准確地計算工序的開工時間,完工時間,准備時間,排隊時間以及移動時間.通過良好的作業順序,可以明顯地提高生產效率.
流程企業的產品,是以流水生產線方式組織,連續的生產方式,只存在連續的工藝流程,不存在與離散企業對應的嚴格的工藝路線.因此,在作業計劃調度方面,不需要也無法精確到工序級別,而是以整個流水生產線為單元進行調度.從作業計劃的作用和實現上,比離散企業相對簡單.
7、數據採集
MES的數據採集功能,可以實現對生產現場各種數據的收集,整理工作,是進行物料跟蹤,生產計劃,產品歷史記錄維護以及其它生產管理的基礎.
離散企業的數據採集,以手工上報為主,並可以結合條形碼採集等半自動信息採集技術進行工時,設備,物料,質量等信息的採集.這種數據採集方式,時間間隔較大,容易受到人為因素的影響,要特別注意保障數據的准確性.
流程生產行業的自動化程度較高,設備控制級大量採用DCS,PLC.在檢測驅動方面,各種智能儀表,數字感測器已普遍應用;過程式控制制則廣泛採用以小型機為主的自動控制系統.傳統的"計,電,儀"分工界限已不再明顯,計算機技術的應用已深入各個領域.這些自動化設備,能自動准確記錄各種生產現場信息.對於MES而言,重點在於系統構建的時候與這些自動化設備做好數據介面.
7、作業指令的下達
在離散行業的MES中,將作業計劃調度結果下達給操作人員的方式一般採用派工單,施工單等書面方式進行通知,或採用電子看板方式讓操作人員及時掌握相關工序的生產任務.作業計劃的內容,包括該工序的開工,完工時間,生產數據等方面.
流程生產行業的MES中,不僅要下達作業指令以及PDI(Panel Data Interface,面板數據介面)數據,而且要將作業指令轉化為各個機組及設備的操作指令和各種基礎自動化設備的控制參數(例如PID控制參數——Proportional Integral Derivative,比例積分微分控制),並下達給相應的PCS系統(Proction Control System,生產控制系統).
(2)離散式單元教學擴展閱讀:
離散式生產的特點是:它的產品是由許多零部件構成的,各零件的加工裝配過程彼此是獨立的,所以整個產品的生產工藝是離散的,製成的零件通過部件裝配和總裝配,最後成為成品。
流程式生產/製造是通過一條生產線將原料製成成品,比如集成電路、葯品及食品、飲料製造、採掘業、冶煉業等。這個行業關心的是如何在與分銷商和零售商打交道的過程中降低成本,並籠絡住他們。
參考資料:流程式生產-網路離散式生產-網路
3. 離散數學命題公式接法的不解
化繁為簡。用P'表示非P.
下式=[p'q'(r+r')]+[(p'r'(q+q')]+pqr
=p'q'+p'r'+pqr=上式。
4. 離散數學解一次同餘式103x≡57(mod211)的詳細過程
解,x==57/103==(-57*2)/5==(57*2*210)/5==57*2*42==4788==146。
用了我的本質系統理論解法,甘肅數學陸春(網路可查)18298699902
5. 離散單元法
離散單元法(DEM)[5]是由Cundall於1971年提出的,也像有限單元法一樣將分析域劃分成單元,即塊體單元,但單元由於受結構面等不連續面的控制,在以後的運動中,單元之間可以相互接觸也可以相互分離,在單元之間的約束下應用牛頓第二定律描述各單元的運動。它用顯式解法,不用求解大型方程組,用中點有限差分方程近似地對運動方程進行積分計算,並假設塊體在運動時動能轉化為熱能而耗散掉。計算中引入人工粘性阻尼系統達到平衡、運動趨於穩定。
1.1.2.1 離散單元法的基本原理
解決連續介質力學問題時,除了滿足邊界條件外,還必須滿足3個方程,即平衡方程、變形協調方程、物理方程。對於離散單元法而言,一開始就假定各單元之間是不連續的,因此單元之間沒有變形協調的約束,但平衡方程必須滿足。
對於某個塊體B(圖1.2),其上有鄰接塊體通過邊角作用於它的一組力。如果考慮自重,則還要加上重力。
圖1.2 作用於塊體上的力
1~5為相鄰塊體
這一組力對塊體的重心會產生合力F和合力矩M。如果合力和合力矩不等於零,則不平衡力和不平衡力矩使塊體按照牛頓第二定律運動,塊體的運動不是自由的,會受到鄰近塊體的阻力。這種位移和力的關系相當於物理方程,它可以是線性的也可以是非線性的。計算按照時步迭代,遍歷每一個塊體,直到每一個塊體都不出現不平衡力和不平衡力矩為止。
1.1.2.2 離散單元法的基本方程
假如塊體之間的法向力Fn正比於它們之間的疊合un,則:
Fn=knun (1.10)
式中kn為法向剛度系數。
塊體運動中不僅要受到法向力還要受到剪切力(圖1.3),由於剪切力於與塊體運動和載入歷史及載入路徑有關,因此用增量ΔFs來表示,即:
圖1.3 塊體間的法向力與剪切力
ΔFs=ksus (1.11)
式中ks為切向剛度系數。
根據塊體的幾何形狀與周圍鄰近塊體的關系,可利用上述計算原理計算出作用在某一塊體上的一組力,進而計算出合力與合力矩,並可根據牛頓第二定律計算出塊體質心的加速度與角加速度,以確定在時步Δt內的速度、加速度及位移、轉動量。
例如,在x方向,有加速度:
非連續變形分析方法及其在地下工程中的應用
式中:Fx為x方向的合力;m為塊體的質量。
對式(1.12)用向前差分格式進行數值計算,可以得到x方向的速度與位移:
̇ux(t1)=̇ux(t0)+üx(Δt)ux(t1)=ux(t0)+̇ux(Δt)(1.13)
式中:t0為起始時間;Δt為時步,且t1=t0+Δt。
在y方向的計算,與x方向的類似。
離散單元法的優點是比較簡單,不需要集成大型矩陣,但存在一些不確定因素,缺乏理論的嚴密性,計算中力系不能完全平衡,精度較差[6]。
另外,剛性元法[7]最初由Kawai提出,也是以塊體作為分析單元,塊體之間採用界面上的法向和切向彈簧連接,以塊體形心位移為基本變數,不考慮塊體本身的變形,用分片的剛體位移模式逼近實際整體位移場,以塊體之間的彈簧反映結構內部的彈性,並用界面應力表徵結構內部的應力。該方法大大減少了問題的自由度,提高了計算效率,計算結果精度較高,能估算出體系的極限荷載。但其無法模擬塊體失穩後的運動過程,而且忽視了塊體本身的變形。
6. 以下哪個是可以使用離散式單元教法的技能目標
以下哪個是可以使用離散式單元教法的技能目標
為了行車和人的安全,使各個方向的車輛人流回安全有秩序答的通過路口,也用來緩解主要線路的交通壓力。
信號燈的出現,使交通得以有效管制,對於疏導交通流量、提高道路通行能力,減少交通事故有明顯效果。1968年,聯合國《道路交通和道路標志信號協定》對各種信號燈的含義作了規定。綠燈是通行信號,面對綠燈的車輛可以直行,左轉彎和右轉彎,除非另一種標志禁止某一種轉向。左右轉彎車輛都必須讓合法地正在路口內行駛的車輛和過人行橫道的行人優先通行。紅燈是禁行信號,面對紅燈的車輛必須在交叉路口的停車線後停車。黃燈是警告信號,面對黃燈的車輛不能越過停車線,但車輛已十分接近停車線而不能安全停車時可以進入交叉路口。此後,這一規定在全世界開始通用。
7. 離散式教學和密集行為干預的區別
為了行車和人的安全,使各個方向的車輛人流安全有秩序的通過路口,也用來緩解主內要線路的交通壓力容。
信號燈的出現,使交通得以有效管制,對於疏導交通流量、提高道路通行能力,減少交通事故有明顯效果。1968年,聯合國《道路交通和道路標志信號協定》對各種信號燈的含義作了規定。綠燈是通行信號,面對綠燈的車輛可以直行,左轉彎和右轉彎,除非另一種標志禁止某一種轉向。左右轉彎車輛都必須讓合法地正在路口內行駛的車輛和過人行橫道的行人優先通行。紅燈是禁行信號,面對紅燈的車輛必須在交叉路口的停車線後停車。黃燈是警告信號,面對黃燈的車輛不能越過停車線,但車輛已十分接近停車線而不能安全停車時可以進入交叉路口。此後,這一規定在全世界開始通用。
8. 離散數學 等值式講解
這個事情你只要把合取看成是高中學的集合就好理解一點了,合取是求交集,析取是求並集。這樣想就會容易很多了。你多做一下題目記好工式就會好了。
9. 教學式演算法可以解決離散問題嗎
KeilC51的安抄裝和使用說襲明1) Keil C51軟體的安裝
系統要求:
安裝Keil C51集成開發軟體,必須滿足一定的硬體和軟體要求,才能確保編譯器以及其他程序功能正常,必須具有:
Pentium、Pentium-II或兼容處理器的PC;
Windows95、Windows98、WindowsNT4.0、 Windows2000、Windowsxp;
至少16MRAM;
至少20MB硬碟。
2) 軟體的安裝
下面以Keil C51 V7.10版為例,介紹如何安裝Keil uVision3集成開發環境。
2.1拿出隨機贈送的系統光碟放入光碟機中(假設E盤),進入E:\單片機開發工具\Keil3_Full\setup目錄,這時你會看到Setup.EXE文件,雙擊該文件即可安裝。
2.2 這時會出現如圖2.1所示的安裝初始畫面,稍後彈出一個安裝向導對話框如圖2.2所示,詢問用戶是安裝評估版(Eval Version)還是完全版(Full Version),可以選Full Version。