在計(jì)算復(fù)雜度理論中,一個(gè)復(fù)雜度類(lèi)指的是一群復(fù)雜度類(lèi)似的問(wèn)題的集合。一個(gè)典型的復(fù)雜度類(lèi)的定義有以下形式:
可以被同一個(gè)抽象機(jī)器M使用O(f(n))的資源R所解決的問(wèn)題的集合(n是輸入數(shù)據(jù)的大小)。
例如NP類(lèi)別就是一群可以被一非確定型圖靈機(jī)以多項(xiàng)式時(shí)間解決的決定型問(wèn)題。而P類(lèi)別則是一群可以被確定型圖靈機(jī)以多項(xiàng)式時(shí)間解決的決定型問(wèn)題。某些復(fù)雜度類(lèi)是一群函數(shù)問(wèn)題的集合,例如FP。
許多復(fù)雜度類(lèi)可被描述它的數(shù)學(xué)邏輯特征化,請(qǐng)見(jiàn)可描述的復(fù)雜度。
而B(niǎo)lum公理用于不需實(shí)際計(jì)算模型就可定義復(fù)雜度類(lèi)的情況。 2100433B
計(jì)算復(fù)雜性理論(Computational complexity theory)是理論計(jì)算機(jī)科學(xué)和數(shù)學(xué)的一個(gè)分支,它致力于將可計(jì)算問(wèn)題根據(jù)它們本身的復(fù)雜性分類(lèi),以及將這些類(lèi)別聯(lián)系起來(lái)。一個(gè)可計(jì)算問(wèn)題被認(rèn)為是一個(gè)原則上可以用計(jì)算機(jī)解決的問(wèn)題,亦即這個(gè)問(wèn)題可以用一系列機(jī)械的數(shù)學(xué)步驟解決,例如算法。
如果一個(gè)問(wèn)題的求解需要相當(dāng)多的資源(無(wú)論用什么算法),則被認(rèn)為是難解的。計(jì)算復(fù)雜性理論通過(guò)引入數(shù)學(xué)計(jì)算模型來(lái)研究這些問(wèn)題以及定量計(jì)算解決問(wèn)題所需的資源(時(shí)間和空間),從而將資源的確定方法正式化了。其他復(fù)雜性測(cè)度同樣被運(yùn)用,比如通信量(應(yīng)用于通信復(fù)雜性),電路中門(mén)的數(shù)量(應(yīng)用于電路復(fù)雜性)以及中央處理器的數(shù)量(應(yīng)用于并行計(jì)算)。計(jì)算復(fù)雜性理論的一個(gè)作用就是確定一個(gè)能或不能被計(jì)算機(jī)求解的問(wèn)題的所具有的實(shí)際限制。
在理論計(jì)算機(jī)科學(xué)領(lǐng)域,與此相關(guān)的概念有算法分析和可計(jì)算性理論。兩者之間一個(gè)關(guān)鍵的區(qū)別是前者致力于分析用一個(gè)確定的算法來(lái)求解一個(gè)問(wèn)題所需的資源量,而后者則是在更廣泛意義上研究用所有可能的算法來(lái)解決相同問(wèn)題。更精確地說(shuō),它嘗試將問(wèn)題分成能或不能在現(xiàn)有的適當(dāng)受限的資源條件下解決這兩類(lèi)。相應(yīng)地,在現(xiàn)有資源條件下的限制正是區(qū)分計(jì)算復(fù)雜性理論和可計(jì)算性理論的一個(gè)重要指標(biāo):后者關(guān)心的是何種問(wèn)題原則上可以用算法解決。
這理論的出現(xiàn),是在解決這類(lèi)問(wèn)題中第一個(gè),也仍是最重要的一個(gè)問(wèn)題:P/NP問(wèn)題時(shí),不斷失敗的一個(gè)結(jié)果。許多這方面的研究都基于 P!= NP這個(gè)假設(shè),以及一個(gè)更深遠(yuǎn)的推測(cè):多項(xiàng)式時(shí)間譜系內(nèi)的復(fù)雜度類(lèi)個(gè)數(shù)是無(wú)限的。
這個(gè)領(lǐng)域的一些主要研究方向有:
各種未解的問(wèn)題,對(duì)復(fù)雜度類(lèi)之間關(guān)系所產(chǎn)生的影響。
各種限制資源的歸約方式以及相對(duì)應(yīng)的完全語(yǔ)言。
各種對(duì)于讀取跟儲(chǔ)存資料的限制以及使用方法,會(huì)對(duì)復(fù)雜度類(lèi)產(chǎn)生的影響。
什么意思您想要咨詢的是什么內(nèi)容呢?
你好:自定義線來(lái)處理
是否和上下樓層同一位置的墻體標(biāo)高重疊
格式:pdf
大?。?span id="pbdvdtn" class="single-tag-height">848KB
頁(yè)數(shù): 10頁(yè)
評(píng)分: 4.6
為研究\"人—機(jī)—操作\"大規(guī)模定制生產(chǎn)模式下的工時(shí)定額,綜合分析生產(chǎn)過(guò)程中零件自身特征、作業(yè)要素使用和操作執(zhí)行過(guò)程,提出一種基于\"零件特征—作業(yè)要素—操作者認(rèn)知\"多層次復(fù)雜度的工時(shí)定額計(jì)算方法。針對(duì)零件特征層,利用拓?fù)浣Y(jié)構(gòu)、精度等級(jí)和切削量等參數(shù)衡量零件的拓?fù)浣Y(jié)構(gòu)復(fù)雜度和工藝屬性復(fù)雜度;針對(duì)作業(yè)要素層和操作者認(rèn)知層,分析了不同工藝類(lèi)型下的設(shè)備、場(chǎng)地等作業(yè)要素和人員操作認(rèn)知過(guò)程,引入信息熵評(píng)價(jià)生產(chǎn)要素復(fù)雜度和操作認(rèn)知復(fù)雜度。在此基礎(chǔ)上綜合考慮加工批量的影響,通過(guò)多層次復(fù)雜度計(jì)算,借助多元非線性回歸分析研究了工時(shí)定額預(yù)測(cè)模型。針對(duì)某生產(chǎn)企業(yè)開(kāi)展案例分析,并與模特法進(jìn)行對(duì)比實(shí)驗(yàn),驗(yàn)證了所提方法的可行性和有效性。
【特征表理論】是概念結(jié)構(gòu)理論之一,是有波納等人提出的。特征表理論把概念的語(yǔ)義特征分解為定義性特征和特異性特征。定義性特征是定義一個(gè)概念所必須具備的,它相當(dāng)于概念的本質(zhì)特征。特異性特征是具有描述功能的特征,它相當(dāng)于概念的非本質(zhì)特征。
特征表理論認(rèn)為,概念的結(jié)構(gòu)由概念的定義性特征和整合這些特征的規(guī)則構(gòu)成。這些規(guī)則也稱(chēng)概念規(guī)則,它包括肯定、否定、析取、條件等。概念的定義性特征和概念規(guī)則相互結(jié)合就形成了各種各樣的概念。
例如:“鳥(niǎo)“的定義性特征為有羽毛、無(wú)齒有喙的動(dòng)物,兩個(gè)定義性特征的合取就構(gòu)成了鳥(niǎo)的概念。
【評(píng)述】特征表理論重視概念規(guī)則在概念結(jié)構(gòu)中的作用,其優(yōu)點(diǎn)是可以很好的解釋人工概念的研究,但還難以解釋某些自然概念,因?yàn)橛行┳匀桓拍畹亩x特征是非常難以確定的,因此這種概念的結(jié)構(gòu)是難以用特征表理論來(lái)解釋的。2100433B
結(jié)構(gòu)斷裂和疲勞理論是研究因工程結(jié)構(gòu)內(nèi)部不可避免地存在裂紋,裂紋會(huì)在外載荷作用下擴(kuò)展而引起斷裂破壞,也會(huì)在幅值較小的交變載荷作用下擴(kuò)展而引起疲勞破壞的學(xué)科。
結(jié)構(gòu)斷裂和疲勞理論是研究因工程結(jié)構(gòu)內(nèi)部不可避免地存在裂紋,裂紋會(huì)在外載荷作用下擴(kuò)展而引起斷裂破壞,也會(huì)在幅值較小的交變載荷作用下擴(kuò)展而引起疲勞破壞的學(xué)科?,F(xiàn)在我們對(duì)斷裂和疲勞的研究歷史還不長(zhǎng),還不完善,但斷裂和疲勞理論目前得發(fā)展很快。 在結(jié)構(gòu)力學(xué)對(duì)于各種工程結(jié)構(gòu)的理論和實(shí)驗(yàn)研究中,針對(duì)研究對(duì)象還形成了一些研究領(lǐng)域,這方面主要有桿系結(jié)構(gòu)理論、薄壁結(jié)構(gòu)理論和整體結(jié)構(gòu)理論三大類(lèi)。整體結(jié)構(gòu)是用整體原材料,經(jīng)機(jī)械銑切或經(jīng)化學(xué)腐蝕加工而成的結(jié)構(gòu),它對(duì)某些邊界條件問(wèn)題特別適用,常用作變厚度結(jié)構(gòu)。隨著科學(xué)技術(shù)的不斷進(jìn)展,又涌現(xiàn)出許多新型結(jié)構(gòu),比如20世紀(jì)中期出現(xiàn)的夾層結(jié)構(gòu)和復(fù)合材料結(jié)構(gòu)。2100433B
《結(jié)構(gòu)化課程理論》是一部致力于課程與教學(xué)理論建設(shè)的專(zhuān)著,以吉登斯的結(jié)構(gòu)化理論為方法論,以“課程結(jié)構(gòu)與課程行動(dòng)之間關(guān)系”為問(wèn)題域,以構(gòu)建結(jié)構(gòu)化課程理論為目的。《結(jié)構(gòu)化課程理論》共分三編:第一編,導(dǎo)論,主要對(duì)結(jié)構(gòu)化課程研究的問(wèn)題、方法和基本結(jié)論做一簡(jiǎn)要介紹。第二編,結(jié)構(gòu)化課程原理。第三編,結(jié)構(gòu)化課程原理的應(yīng)用,具體分析了“師定課程向經(jīng)驗(yàn)課程的轉(zhuǎn)化過(guò)程”和“教師專(zhuān)業(yè)發(fā)展的實(shí)踐模式”。
楊道宇,男,漢族,1978年生,河南商丘人,現(xiàn)為渤海大學(xué)講師,碩士生導(dǎo)師,教育學(xué)博士,主要研究方向?yàn)檎n程哲學(xué)。2004—2010年在哈爾濱師范大學(xué)課程與教學(xué)論專(zhuān)業(yè)攻讀碩士、博士。2010年進(jìn)入北京師范大學(xué)教育學(xué)博士后流動(dòng)站工作。近三年來(lái),在《比較教育研究》、《中國(guó)教育學(xué)刊》、《教育與經(jīng)濟(jì)》、《教育研究與實(shí)驗(yàn)》等國(guó)家核心期刊上發(fā)表論文20余篇,出版專(zhuān)著2部,主持省部級(jí)課題3項(xiàng)。