前言:中文期刊網精心挑選了邏輯學的功能范文供你參考和學習,希望我們的參考范文能激發你的文章創作靈感,歡迎閱讀。
邏輯學的功能范文1
[關鍵詞] 人工智能,常識推理,歸納邏輯,廣義內涵邏輯,認知邏輯,自然語言邏輯
現代邏輯創始于19世紀末葉和20世紀早期,其發展動力主要來自于數學中的公理化運動。當時的數學家們試圖即從少數公理根據明確給出的演繹規則推導出其他的數學定理,從而把整個數學構造成為一個嚴格的演繹大廈,然后用某種程序和方法一勞永逸地證明數學體系的可靠性。為此需要發明和鍛造嚴格、精確、適用的邏輯工具。這是現代邏輯誕生的主要動力。由此造成的后果就是20世紀邏輯研究的嚴重數學化,其表現在于:一是邏輯專注于在數學的形式化過程中提出的問題;二是邏輯采納了數學的方法論,從事邏輯研究就意味著象數學那樣用嚴格的形式證明去解決問題。由此發展出來的邏輯被恰當地稱為“數理邏輯”,它增強了邏輯研究的深度,使邏輯學的發展繼古希臘邏輯、歐洲中世紀邏輯之后進入第三個高峰期,并且對整個現代科學特別是數學、哲學、語言學和計算機科學產生了非常重要的影響。
本文所要探討的問題是:21世紀邏輯發展的主要動力將來自何處?大致說來將如何發展?我個人的看法是:計算機科學和人工智能將至少是21世紀早期邏輯學發展的主要動力源泉,并將由此決定21世紀邏輯學的另一幅面貌。由于人工智能要模擬人的智能,它的難點不在于人腦所進行的各種必然性推理(這一點在20世紀基本上已經做到了,如用計算機去進行高難度和高強度的數學證明,“深藍”通過高速、大量的計算去與世界冠軍下棋),而是最能體現人的智能特征的能動性、創造性思維,這種思維活動中包括學習、抉擇、嘗試、修正、推理諸因素,例如選擇性地搜集相關的經驗證據,在不充分信息的基礎上作出嘗試性的判斷或抉擇,不斷根據環境反饋調整、修正自己的行為,……由此達到實踐的成功。于是,邏輯學將不得不比較全面地研究人的思維活動,并著重研究人的思維中最能體現其能動性特征的各種不確定性推理,由此發展出的邏輯理論也將具有更強的可應用性。
實際上,在20世紀中后期,就已經開始了現代邏輯與人工智能(記為AI)之間的相互融合和滲透。例如,哲學邏輯所研究的許多課題在理論計算機和人工智能中具有重要的應用價值。AI從認知心理學、社會科學以及決策科學中獲得了許多資源,但邏輯(包括哲學邏輯)在AI中發揮了特別突出的作用。某些原因促使哲學邏輯家去發展關于非數學推理
的理論;基于幾乎同樣的理由,AI研究者也在進行類似的探索,這兩方面的研究正在相互接近、相互借鑒,甚至在逐漸融合在一起。例如,AI特別關心下述課題:
·效率和資源有限的推理;
·感知;
·做計劃和計劃再認;
·關于他人的知識和信念的推理;
·各認知主體之間相互的知識;
·自然語言理解;
·知識表示;
·常識的精確處理;
·對不確定性的處理,容錯推理;
·關于時間和因果性的推理;
·解釋或說明;
·對歸納概括以及概念的學習。[①]
21世紀的邏輯學也應該關注這些問題,并對之進行研究。為了做到這一點,邏輯學家們有必要熟悉AI的要求及其相關進展,使其研究成果在AI中具有可應用性。
我認為,至少是21世紀早期,邏輯學將會重點關注下述幾個領域,并且有可能在這些領域出現具有重大意義的成果:(1)如何在邏輯中處理常識推理中的弗協調、非單調和容錯性因素?(2)如何使機器人具有人的創造性智能,如從經驗證據中建立用于指導以后行動的歸納判斷?(3)如何進行知識表示和知識推理,特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理?(4)如何結合各種語境因素進行自然語言理解和推理,使智能機器人能夠用人的自然語言與人進行成功的交際?等等。
1.常識推理中的某些弗協調、非單調和容錯性因素
AI研究的一個目標就是用機器智能模擬人的智能,它選擇各種能反映人的智能特征的問題進行實踐,希望能做出各種具有智能特征的軟件系統。AI研究基于計算途徑,因此要建立具有可操作性的符號模型。一般而言,AI關于智能系統的符號模型可描述為:由一個知識載體(稱為知識庫KB)和一組加載在KB上的足以產生智能行為的過程(稱為問題求解器PS)構成。經過20世紀70年代包括專家系統的發展,AI研究者逐步取得共識,認識到知識在智能系統中力量,即一般的智能系統事實上是一種基于知識的系統,而知識包括專門性知識和常識性知識,前者亦可看做是某一領域內專家的常識。于是,常識問題就成為AI研究的一個核心問題,它包括兩個方面:常識表示和常識推理,即如何在人工智能中清晰地表示人類的常識,并運用這些常識去進行符合人類行為的推理。顯然,如此建立的常識知識庫可能包含矛盾,是不協調的,但這種矛盾或不協調應不至于影響到進行合理的推理行為;常識推理還是一種非單調推理,即人們基于不完全的信息推出某些結論,當人們得到更完全的信息后,可以改變甚至收回原來的結論;常識推理也是一種可能出錯的不精確的推理模式,是在容許有錯誤知識的情況下進行的推理,簡稱容錯推理。而經典邏輯拒斥任何矛盾,容許從矛盾推出一切命題;并且它是單調的,即承認如下的推理模式:如果p?r,則pùq?r;或者說,任一理論的定理屬于該理論之任一擴張的定理集。因此,在處理常識表示和常識推理時,經典邏輯應該受到限制和修正,并發展出某些非經典的邏輯,如次協調邏輯、非單調邏輯、容錯推理等。有人指出,常識推理的邏輯是次協調邏輯和非單調邏輯的某種結合物,而后者又可看做是對容錯推理的簡單且基本的情形的一種形式化。[②]
“次協調邏輯”(Paraconsistent Logic)是由普里斯特、達·科斯塔等人在對悖論的研究中發展出來的,其基本想法是:當在一個理論中發現難以克服的矛盾或悖論時,與其徒勞地想盡各種辦法去排除
或防范它們,不如干脆讓它們留在理論體系內,但把它們“圈禁”起來,不讓它們任意擴散,以免使我們所創立或研究的理論成為“不足道”的。于是,在次協調邏輯中,能夠容納有意義、有價值的“真矛盾”,但這些矛盾并不能使系統推出一切,導致自毀。因此,這一新邏輯具有一種次于經典邏輯但又遠遠高于完全不協調系統的協調性。次協調邏輯家們認為,如果在一理論T中,一語句A及其否定?A都是定理,則T是不協調的;否則,稱T是協調的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規則或推理,則不協調的T也是不足道的(trivial)。因此,通常以經典邏輯為基礎的理論,如果它是不協調的,那它一定也是不足道的。這一現象表明,經典邏輯雖可用于研究協調的理論,但不適用于研究不協調但又足道的理論。達·科斯塔在20世紀60年代構造了一系列次協調邏輯系統Cn(1≤n≤w),以用作不協調而又足道的理論的邏輯工具。對次協調邏輯系統Cn的特征性描述包括下述命題:(i)矛盾律?(Aù?A)不普遍有效;(ii)從兩個相互否定的公式A和?A推不出任意公式;即是說,矛盾不會在系統中任意擴散,矛盾不等于災難。(iii)應當容納與(i)和(ii)相容的大多數經典邏輯的推理模式和規則。這里,(i)和(ii)表明了對矛盾的一種相對寬容的態度,(iii)則表明次協調邏輯對于經典邏輯仍有一定的繼承性。
在任一次協調邏輯系統Cn(1≤n≤w)中,下述經典邏輯的定理或推理模式都不成立:
?(Aù?A)
Aù?AB
A(?AB)
(A??A)B
(A??A)?B
A??A
(?Aù(AúB))B
(AB)(?B?A)
若以C0為經典邏輯,則系列C0, C1, C2,… Cn,… Cw使得對任正整數i有Ci弱于Ci-1,Cw是這系列中最弱的演算。已經為Cn設計出了合適的語義學,并已經證明Cn相對于此種語義是可靠的和完全的,并且次協調命題邏輯系統Cn還是可判定的?,F在,已經有人把次協調邏輯擴展到模態邏輯、時態邏輯、道義邏輯、多值邏輯、集合論等領域的研究中,發展了這些領域內的次協調理論。顯然,次協調邏輯將會得到更進一步的發展。[③]
非單調邏輯是關于非單調推理的邏輯,它的研究開始于20世紀80年代。1980年,D·麥克多莫特和J·多伊爾初步嘗試著系統發展一種關于非單調推理的邏輯。他們在經典謂詞演算中引入一個算子M,表示某種“一致性”斷言,并將其看做是模態概念,通過一定程序把模態邏輯系統T、S4和S5翻譯成非單調邏輯。B·摩爾的論文《非單調邏輯的語義思考》(1983)據認為在非單調邏輯方面作出了令人注目的貢獻。他在“缺省推理”和“自動認知推理”之間做了區分,并把前者看作是在沒有任何相反信息和缺少證據的條件下進行推理的過程,這種推理的特征是試探性的:根據新信息,它們很可能會被撤消。自動認知推理則不是這種類型,它是與人們自身的信念或知識相關的推理,可用它模擬一個理想的具有信念的有理性的人的推理。對于在計算機和人工智能中獲得成功的應用而言,非單調邏輯尚需進一步發展。
2.歸納以及其他不確定性推理
人類智能的本質特征和最高表現是創造。在人類創造的過程中,具有必然性的演繹推理固然起重要作用,但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此,計算機要成功地模擬人的智能,真正體現出人的智能品質,就必須對各種具有不確定性的推理模式進行研究。
首先是對歸納推理和歸納邏輯的研究。這里所說的“歸納推理”是廣義的,指一切擴展性推理,它們的結論所斷定的超出了其前提所斷定的范圍,因而前提的真無法保證結論的真,整個推理因此缺乏必然性。具體說來,這種意義的“歸納”包括下述內容:簡單枚舉法;排除歸納法,指這樣一些操作:預先通過觀察或實驗列出被研究現象的可能的原因,然后有選擇地安排某些事例或實驗,根據某些標準排除不相干假設,最后得到比較可靠的結論;統計概括:從關于有窮數目樣本的構成的知識到關于未知總體分布構成的結論的推理;類比論證和假說演繹法,等等。盡管休謨提出著名的“歸納問題”,對歸納推理的合理性和歸納邏輯的可能性提出了深刻的質疑,但我認為,(1)歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認知策略,對于人類來說具有實踐的必然性。(2)人類有理由從經驗的重復中建立某種確實性和規律性,其依據就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的,而用純邏輯的理由去懷疑一個關于世界的事實性斷言則是不合理的,除非這個斷言是邏輯矛盾。(3)人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且,歸納邏輯的這種可能性正在計算機科學和人工智能的研究推動下慢慢地演變成現實。恩格斯早就指出,“社會一旦有技術上的需要,則這種需要比十所大學更能把科學推向前進?!盵④] 有人通過指責現有的歸納邏輯不成熟,得出“歸納邏輯不可能”的結論,他們的推理本身與歸納推理一樣,不具有演繹的必然性。(4)人類實踐的成功在一定程度上證明了相應的經驗知識的真理性,也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認,歸納邏輯目前還很不成熟。有的學者指出,為了在機器的智能模擬中克服對歸納模擬的困難而有所突破,應該將歸納邏輯等有關的基礎理論研究與機器學習、不確定推理和神經網絡學習模型與歸納學習中已有的成果結合起來。只有這樣,才能在已有的歸納學習成果上,在機器歸納和機器發現上取得新的突破和進展。[⑤] 這是一個極有價值且極富挑戰性的課題,無疑在21世紀將得到重視并取得進展。
再談模糊邏輯?,F實世界中充滿了模糊現象,這些現象反映到人的思維中形成了模糊概念和模糊命題,如“矮個子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對它的研究始于20世紀20年代,其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯(二值邏輯)解決不了的問題提供了解決的可能,它目前在醫療診斷、故障檢測、氣象預報、自動控制以及人工智能研究中獲得重要應用。顯然,它在21世紀將繼續得到更大的發展。
3.廣義內涵邏輯
經典邏輯只是對命題聯結詞、個體詞、謂詞、量詞和等詞進行了研究,但在自然語言中,除了這些語言成分之外,顯然還存在許多其他的語言成分,如各種各樣的副詞,包括模態詞“必然”、“可能”和“不可能”
、時態詞“過去”、“現在”和“未來”、道義詞“應該”、“允許”、“禁止”等等,以及各種認知動詞,如“思考”、“希望”、“相信”、“判斷”、“猜測”、“考慮”、“懷疑”,這些認知動詞在邏輯和哲學文獻中被叫做“命題態度詞”。對這些副詞以及命題態度詞的邏輯研究可以歸類為“廣義內涵邏輯”。
大多數副詞以及幾乎所有命題態度詞都是內涵性的,造成內涵語境,后者與外延語境構成對照。外延語境又叫透明語境,是經典邏輯的組合性原則、等值置換規則、同一性替換規則在其中適用的語境;內涵語境又稱晦暗語境,是上述規則在其中不適用的語境。相應于外延語境和內涵語境的區別,一切語言表達式(包括自然語言的名詞、動詞、形容詞直至語句)都可以區分為外延性的和內涵性的,前者是提供外延語境的表達式,后者是提供內涵性語境的表達式。例如,殺死、見到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達式,而知道、相信、認識、必然、可能、允許、禁止、過去、現在、未來等都是內涵性表達式。
在內涵語境中會出現一些復雜的情況。首先,對于個體詞項來說,關鍵性的東西是我們不僅必須考慮它們在現實世界中的外延,而且要考慮它們在其他可能世界中的外延。例如,由于“必然”是內涵性表達式,它提供內涵語境,因而下述推理是非有效的:
晨星必然是晨星,
晨星就是暮星,
所以,晨星必然是暮星。
這是因為:這個推理只考慮到“晨星”和“暮星”在現實世界中的外延,并沒有考慮到它們在每一個可能世界中的外延,我們完全可以設想一個可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我們就不能利用同一性替換規則,由該推理的前提得出它的結論:“晨星必然是暮星”。其次,在內涵語境中,語言表達式不再以通常是它們的外延的東西作為外延,而以通常是它們的內涵的東西作為外延。以“達爾文相信人是從猿猴進化而來的”這個語句為例。這里,達爾文所相信的是“人是從猿猴進化而來的”所表達的思想,而不是它所指稱的真值,于是在這種情況下,“人是從猿猴進化而來的”所表達的思想(命題)就構成它的外延。再次,在內涵語境中,雖然適用于外延的函項性原則不再成立,但并不是非要拋棄不可,可以把它改述為新的形式:一復合表達式的外延是它出現于外延語境中的部分表達式的外延加上出現于內涵語境中的部分表達式的內涵的函項。這個新的組合性或函項性原則在內涵邏輯中成立。
一般而言,一個好的內涵邏輯至少應滿足兩個條件:(i)它必須能夠處理外延邏輯所能處理的問題;(ii)它還必須能夠處理外延邏輯所不能處理的難題。這就是說,它既不能與外延邏輯相矛盾,又要克服外延邏輯的局限。這樣的內涵邏輯目前正在發展中,并且已有初步輪廓。從術語上說,內涵邏輯除需要真、假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術語之外,還需要同義、內涵的同一和差異、命題、屬性或概念這樣一些術語。廣而言之,可以把內涵邏輯看作是關于象“必然”、“可能”、“知道”、“相信”,“允許”、“禁止”等提供內涵語境的語句算子的一般邏輯。在這種廣義之下,模態邏輯、時態邏輯、道義邏輯、認知邏輯、問題邏輯等都是內涵邏輯。不過,還有一種狹義的內涵邏輯,它可以粗略定義如下:一個內涵邏輯是一個形式語言,其中包括(1)謂詞邏輯的算子、量詞和變元,這里的謂詞邏輯不必局限于一階謂詞邏輯,也可以是高階謂詞邏輯;(2)合式的λ—表達式,例如(λx)A,這里A是任一類型的表達式,x是任一類型的變元,(λx)A本身是一函項,它把變元x在其中取值的那種類型的對象映射到A所屬的那種類型上;(3)其他需要的模態的或內涵的算子,例如€,ù、ú。而一個內涵邏輯的解釋,則由下列要素組成:(1)一個可能世界的非空集W;(2)一個可能個體的非空集D;(3)一個賦值,它給系統內的表達式指派它們在每w∈W中的外延。對于任一的解釋Q和任一的世界w∈W,判定內涵邏輯系統中的任一表達式X相對于解釋Q在w∈W中的外延總是可能的。這樣的內涵邏輯系統有丘奇的LSD系統,R·蒙塔古的IL系統,以及E·N·扎爾塔的FIL系統等。[⑥]
在各種內涵邏輯中,認識論邏輯(epistemic logic)具有重要意義。它有廣義和狹義之分。廣義的認識論邏輯研究與感知(perception)、知道、相信、斷定、理解、懷疑、問題和回答等相關的邏輯問題,包括問題邏輯、知道邏輯、相信邏輯、斷定邏輯等;狹義的認識論邏輯僅指知道和相信的邏輯,簡稱“認知邏輯”。馮·賴特在1951年提出了對“認知模態”的邏輯分析,這對建立認知邏輯具有極大的啟發作用。J·麥金西首先給出了一個關于“知道”的模態邏輯。A·帕普于1957年建立了一個基于6條規則的相信邏輯系統。J·亨迪卡于60年代出版的《知識和信念》一書是認知邏輯史上的重要著作,其中提出了一些認知邏輯的系統,并為其建立了基于“模型集”的語義學,后者是可能世界語義學的先導之一。當今的認知邏輯紛繁復雜,既不成熟也面臨許多難題。由于認知邏輯涉及認識論、心理學、語言學、計算機科學和人工智能等諸多領域,并且認知邏輯的應用技術,又稱關于知識的推理技術,正在成為計算機科學和人工智能的重要分支之一,因此認知邏輯在20世紀中后期成為國際邏輯學界的一個熱門研究方向。這一狀況在21世紀將得到繼續并進一步強化,在這方面有可能出現突破性的重要結果。
4.對自然語言的邏輯研究
對自然語言的邏輯研究有來自幾個不同領域的推動力。首先是計算機和人工智能的研究,人機對話和通訊、計算機的自然語言理解、知識表示和知識推理等課題,都需要對自然語言進行精細的邏輯分析,并且這種分析不能僅停留在句法層面,而且要深入到語義層面。其次是哲學特別是語言哲學,在20世紀哲學家們對語言表達式的意義問題傾注了異乎尋常的精力,發展了各種各樣的意義理論,如觀念論、指稱論、使用論、言語行為理論、真值條件論等等,以致有人說,關注意義成了20世紀哲學家的職業病。再次是語言學自身發展的需要,例如在研究自然語言的意義問題時,不能僅僅停留在脫離語境的抽象研究上面,而要結合使用語言的特定環境去研究,這導致了語義學、語用學、新修辭學等等發展。各個方面發展的成果可以總稱為“自然語言邏輯”,它力圖綜合后期維特根斯坦提倡的使用論
,J·L·奧斯汀、J·L·塞爾等人發展的言語行為理論,以及P·格賴斯所創立的會話含義學說等成果,透過自然語言的指謂性和交際性去研究自然語言中的推理。
自然語言具有表達和交際兩種職能,其中交際職能是自然語言最重要的職能,是它的生命力之所在。而言語交際總是在一定的語言環境(簡稱語境)中進行的,語境有廣義和狹義之分。狹義的語境僅指一個語詞、一個句子出現的上下文。廣義的語境除了上下文之外,還包括該語詞或語句出現的整個社會歷史條件,如該語詞或語句出現的時間、地點、條件、講話的人(作者)、聽話的人(讀者)以及交際雙方所共同具有的背景知識,這里的背景知識包括交際雙方共同的信念和心理習慣,以及共同的知識和假定等等。這些語境因素對于自然語言的表達式(語詞、語句)的意義有著極其重要的影響,這具體表現在:(i)語境具有消除自然語言語詞的多義性、歧義性和模糊性的能力,具有嚴格規定語言表達式意義的能力。(ii)自然語言的句子常常包含指示代詞、人稱代詞、時間副詞等,要弄清楚這些句子的意義和內容,就要弄清楚這句話是誰說的、對誰說的、什么時候說的、什么地點說的、針對什么說的,等等,這只有在一定的語境中才能進行。依賴語境的其他類型的語句還有:包含著象“有些”和“每一個”這類量化表達式的句子的意義取決于依語境而定的論域,包含著象“大的”、“冷的”這類形容詞的句子的意義取決于依語境而定的相比較的對象類;模態語句和條件語句的意義取決于因語境而變化的語義決定因素,如此等等。(iii)語言表達式的意義在語境中會出現一些重要的變化,以至偏離它通常所具有的意義(抽象意義),而產生一種新的意義即語用涵義。有人認為,一個語言表達式在它的具體語境中的意義,才是它的完全的真正的意義,一旦脫離開語境,它就只具有抽象的意義。語言的抽象意義和它的具體意義的關系,正象解剖了的死人肢體與活人肢體的關系一樣。邏輯應該去研究、理解、把握自然語言的具體意義,當然不是去研究某一個(或一組)特定的語句在某個特定語境中唯一無二的意義,而是專門研究確定自然語言具體意義的普遍原則。[⑦]
美國語言學家保羅·格賴斯把語言表達式在一定的交際語境中產生的一種不同于字面意義的特殊涵義,叫做“語用涵義”、“會話涵義”或“隱涵”(implicature),并于1975年提出了一組“交際合作原則”,包括一個總則和四組準則??倓t的內容是:在你參與會話時,你要依據你所參與的談話交流的公認目的或方向,使你的會話貢獻符合這種需要。仿照康德把范疇區分為量、質、關系和方式四類,格賴斯提出了如下四組準則:
(1)數量準則:在交際過程中給出的信息量要適中。
a.給出所要求的信息量;
b.給出的信息量不要多于所要求的信息量。
(2)質量準則:力求講真話。
a.不說你認為假的東西,。
b.不說你缺少適當證據的東西。
(3)關聯準則:說話要與已定的交際目的相關聯。
(4)方式準則:說話要意思明確,表達清晰。
a.避免晦澀生僻的表達方式;
b.避免有歧義的表達方式;
c.說話要簡潔;
d.說話要有順序性。[⑧]
后來對這些原則提出了不少修正和補充,例如有人還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作原則之類的語用規則作為基本前提,這些原則就可以用來確定和把握自然語言的具體意義(語用涵義)。實際上,一個語句p的語用涵義,就是聽話人在具體語境中根據語用規則由p得到的那個或那些語句。更具體地說,從說話人S說的話語p推出語用涵義q的一般過程是:
(i)S說了p;
(ii)沒有理由認為S不遵守準則,或至少S會遵守總的合作原則;
(iii)S說了p而又要遵守準則或總的合作原則,S必定想表達q;
(iv)S必然知道,談話雙方都清楚:如果S是合作的,必須假設q;
(v)S無法阻止聽話人H考慮q;
(vi)因此,S意圖讓H考慮q,并在說p時意味著q。
試舉二例:
(1)a站在熄火的汽車旁,b向a走來。a說:“我沒有汽油了?!眀說:“前面拐角處有一個修車鋪?!边@里a與b談話的目的是:a想得到汽油。根據關系準則,b說這句話是與a想得到汽油相關的,由此可知:b說這句話時隱涵著:“前面的修車鋪還在營業并且賣汽油?!?/p>
邏輯學的功能范文2
[關鍵詞]工作過程 高職 計算機 職業能力 優化
[作者簡介]林喜輝(1973- ),男,廣西北海人,北海職業學院,講師,研究方向為計算機教學與應用。(廣西 北海 536000)
[課題項目]本文系2010年新世紀廣西高等教育教改工程項目“以工作過程為導向的高職計算機網絡專業課程體系的研究與實踐”的階段性研究成果。(課題編號:2010JGB208)
[中圖分類號]G712 [文獻標識碼]A [文章編號]1004-3985(2013)23-0121-02
當前隨著計算機技術和網絡通信技術的迅猛發展,社會各個領域都對計算機網絡技術專業的應用型人才有很大需求,計算機網絡技術專業的人才培養自然成為高職院校的一大熱點。但是,如何滿足愈加苛刻的市場需求,培養合格的計算機網絡技術專門人才,是每個高職院校都必須深入思考的問題。筆者認為,培養具有高職業能力的畢業生是高等職業教育的生命力所在,也只有這樣,高職院校才能在激烈的招生和就業競爭中立于不敗之地。而要提高學生的職業能力,就必須改革職業教育的一些弊端,用更加科學的方法重新審視課程體系與教學方法。本文主要探討以工作過程為導向構建高職院校計算機網絡專業的培養模式,根據專業的培養定位和目標,以具體職業崗位需求為依據,從工作過程中的典型工作任務出發,逐步確立專業課程,再經過教學模式的優化設計,讓學生在完整的工作過程中學習專業課程,以適應企業對計算機網絡人才的崗位和職業要求。
一、在職業教育中強調以工作過程為導向的必要性
雖然傳統雙元制的職業教育模式能拉近學校與生產企業的距離,但是這種模式在實施過程中也暴露出一些弊端,使得職業教育出現脫離生產實際的趨勢,引起很多生產企業的不滿。主要表現為:在教學內容上,難以協調在學校與實習企業兩個地點所進行的教學內容,學校教學主要指向專業理論,側重傳授自然科學知識和專業工程知識,而不能把企業的實際工作任務納入教學范疇;企業的教學內容雖然能指向實踐技能的訓練,但這種技能卻往往獨立于實際的工作過程,與典型工作任務相分離,學生也就難以理解所學的理論和技能與將來所要從事職業的關系。在學習地點上,學校的教學局限在教室和實驗室中,學生缺乏對真實的工作環境與工作任務的理解與熟悉;而企業的教學,特別是大中型企業的教學,主要是在培訓車間進行的,這些培訓車間獨立于企業生產過程之外,這樣學生在學習期間很難接觸到企業的真實情景。綜上所述,如果職業教育無法改變這種脫離實際工作過程的教學內容與教學方式,那么學生畢業時恐怕都不能完成他們所學職業的典型工作任務,更不用說培養高質量的應用型人才了。
筆者認為,職業教育模式不應是專業知識及應用的簡單組合,而應在了解整個職業勞動過程的基礎上,結合職業勞動過程,進行知識的組織和傳授。計算機網絡專業是一個講求實際應用能力,且競爭激烈的行業,如果培養的學生對技術的掌握與熟練應用程度低,對行業發展變化的適應能力不夠,自然就無法達到企業對職業技術層次人才的選擇標準。因此,筆者認為基于工作過程的計算機網絡專業課程體系的開發是值得借鑒的。
二、基于工作過程的職業能力優化思路
德國著名職業教育學者Rauner教授認為,“工作過程是在企業里,為完成一件工作任務并獲得工作成果而進行的一個完整的工作程序”“是一個綜合的,時刻處于運動狀態,但結構相對固定的系統”。由此可以看出,基于工作過程的課程方案是一種強調學生在實踐情境中通過自我構建知識而形成的行動體系,這與傳統的學科型課程方案――以結構邏輯為中心,由專業學科構成的學科體系全然不同。選擇授課內容和對知識點的合理排序是開發這種課程體系過程中首先要思考和解決的問題。傳統的課程體系注重實際存在的顯性理論知識,其重點是讓學生知道“是什么”和“為什么”,講究每門課程內容的理論性,其中內容排序上雖然能夠按照學生認知規律從簡單到復雜安排,但是往往與實踐有很大的割裂性,常常出現學生在進行相關實踐活動時便將所學過的理論知識遺忘的現象;而基于工作過程的課程則強調幫助學生解決“怎么做”和“怎樣做才更好”的問題,這就決定其在內容上必須按照認知規律,在一個大的工作過程中從易到難地選取一個個小的工作過程或者學習情境,且能通過實踐活動反映出來的知識點。
近年來,在校企合作、工學結合的實踐中,筆者對計算機網絡專業的課程體系以工作過程為導向重新進行了探索和設計?;舅悸窞椋阂怨ぷ魅蝿諡橹行?,整合理論與實踐教學,將傳統學科課程體系中以知識傳授為主的方式轉變為以工作任務為中心的方式,幫助學生在完成具體項目的過程中構建相關的理論知識和職業能力,訓練其相關職業技能。在主要技術課程內容方面,要狠抓學生職業能力的訓練,理論知識的選取也要以完成工作任務所必需的知識為基礎,課程內容要融合相關職業資格證書對知識、技術能力和技能的要求,每個項目的學習要以典型案例為載體。在教學過程中,要通過校企合作、校內外實訓基地建設等多種途徑,合理利用不同的教學模式,充分開發學習資源,給學生提供豐富的實踐機會。同時,確實還需把人才培養定好位,因材施教,充分保證以能力培養為核心,以技能訓練為重點,真正體現“以工作過程為導向”的原則。
三、以工作過程為導向的職業能力優化方案
1.確定典型工作任務、行動領域和學習領域。筆者通過市場調研,得出一般的計算機網絡專業面向的職業崗位主要有網絡產品售前、售后技術員、網絡布線技術員、網絡設備技術支持員、助理信息安全師、網頁設計師、網絡管理員等。然后依據目標崗位群的主要工作過程,總結出13個典型工作任務,并據此確定了8個相應的行動領域和學習領域,它們的對應關系詳見下表。
根據上表統計出的計算機網絡專業的學習領域,同時結合典型工作任務對專業技能學習的不同要求,我們概括出五大學習領域:計算機軟、硬件配置與管理,網絡規劃與設計,系統、設備配置與管理,網絡應用開發,網絡管理與維護。每個學習領域主要分為公共基礎學習領域、專業學習領域和拓展學習領域。按照職業崗位的核心能力進行由簡單到復雜的分層階梯的漸進式培養:計算機軟、硬件配置與管理―網絡規劃與設計―系統、設備配置與管理―網絡應用開發―網絡管理與維護。
2.設計以行動導向為目標的教學模式。一是任務驅動教學模式。將任務驅動教學思想貫徹到以工作過程為導向的課程體系中,是建立在建構主義教學理論基礎上的。建構主義學習理論強調學生的學習活動必須與任務或問題相結合,以探索問題來引導和維持學習者的學習興趣和動機。例如在計算機網絡綜合布線這一學習領域中,教師在講授綜合布線理論知識后,可假設一個正在建設中的學校信息樓案例,給學生講解如何設計網絡結構示意圖、信息點統計表、軟硬件清單、各布線子系統結構及功能等,并利用教學資源教會學生配備支持校園網日常運行的WEB服務器、郵件服務器、防火墻等。在這一系列的課程講解后,要求學生以小組形式提交一份設計報告,并以成果展示的形式點評優秀的設計。
二是基于網絡的主題協作教學模式。這里所說的主題協作學習并非簡單地讓幾個學生通過合作完成某一項學習任務的策略,而是強調在充分利用教學資源的前提下,學生以小組的形式,在共同的學習目標指引下,使個人和他人的學習成果最大化而互助合作的所有相關行為。例如在微機原理課程學習中,讓學生以小組的形式選擇近兩年開發出的新技術進行介紹,敘述它們的工作原理、功能或者將其性能與以往的同類技術作比較,以電子作品的形式提交成果,讓學生通過小組協作學習方式,在網絡環境下收集、整理網絡資源進行學習,以培養學生的自主學習能力、信息處理能力(收集、整理)、小組協作能力、交流合作能力、應用表達能力和評價能力。
三是游戲化教學模式。游戲以其帶有學習、競爭、娛樂的特征,為枯燥的學習過程帶來了趣味性,極大地促進了學生的學習熱情。同時在游戲中還能很好地模擬現實工作過程,對培養學生的實踐能力以及增強對工作過程的體驗性具有很好的促進作用。如教師在講授ASP動態網頁設計時,可以在學生中開展一場動態網頁設計大賽,展示學生自己設計制作的網頁成果,并評選出優勝者,給予一定的獎勵。同時教師要給予必要的引導與講解,讓學生更加清晰地了解網站建設從前期策劃到服務器配置優化再到網頁設計制作的整個工作流程,切實體現出以工作過程為導向的教學理念。
四是工學結合的教學模式。面向工作是職業教育的本質特征,因此通過工作來促進學習過程的優化也是必不可少的。我們構建了一個工學結合的實踐教學體系,該體系包含基本技能、單項能力和綜合能力三個部分,將理論教學和技能訓練融為一體,讓學生通過真實的工作現場感知、現場操作過程來學習專業知識,理解專業理論,培養專業操作技能。同時,在工學結合的學習過程中將相關專業知識結合在一起,使學生的專業知識學習和專業技能的掌握相輔相成、互相配合,從而提高學習效率。在平臺的選擇方面,學校要因地制宜地通過校園網及校信息網絡中心、校企合作的校外實訓基地和實際網絡工程設計與施工現場,給學生提供鍛煉網絡系統組建與維護能力的機會。在實訓教學過程中還可以讓部分能力較強的學生參與本校校園網工程建設和后期的維護更新工作。
3.打造高品質的教師隊伍。教師是教學的具體落實者,因此打造一支高水平的專業師資隊伍是實現所有教學思想的關鍵。目前,高職院校的教師主要來源于高校,且不乏碩士、博士,雖然一般都有扎實的理論基礎,但卻普遍缺乏實際工作經驗,特別是對企業一線的技術和開發流程較生疏,未必能夠很好地貫徹面向工作過程的教學思想。因此,為了達到以工作過程為導向的教學要求,就必須建設一支“雙師素質+雙師結構”型,既有扎實的教學理論基礎又具備豐富的項目工作開發經驗的師資隊伍。高職院??蓮木W絡產品開發企業或者提供網絡解決方案的公司中,聘請具有豐富工作經驗和一定教學能力的行業專家和技術人員為兼職教師,讓其參與專業核心課程的教學、實訓指導等工作,并負責培養、指導青年教師的教學工作。此外,鼓勵青年教師參加實際的生產實踐,開展教師“大練兵”工作。
4.建立側重工作過程的考核制度。當前很多傳統考核制度以是否完成知識的識記作為評價標準,考核形式多采用期末閉卷筆試的形式,學生在考試前只需把所學知識和典型題型背熟就可以應付考核,這種方式不但不能全面反映學生的學習效果,還會使職業教育脫離實踐而變成應試教育?;诠ぷ鲗虻目己?,必須強調的是在工作過程基礎上的考核。筆者在教學實踐中將學生的成績評定分為理論知識、工作過程、平時成績三個部分:第一,理論知識考核,占總成績的40%。以專業知識掌握和網絡解決方案設計為基礎,重點在知識點的考查,由于網絡專業內容廣,知識點多,在期末采用開卷筆試的辦法進行考核。第二,工作過程考核,占總成績的40%。從平時的工作任務完成情況和職業道德、團體協作能力等方面評估。同時開展小組間的學生互評,評定結果作為考核的參考依據??己艘灤└鱾€學習實踐任務,形成考評與學習相輔相成的教學模式,并且促進學生團結協作,樹立集體意識,提升溝通交流能力。第三,平時成績,占20%。主要根據平時作業的完成情況、考勤、課堂表現、學習態度等給出學生平時成績。
[參考文獻]
[1]吳建明.以工作過程為導向構建高職軟件技術專業課程體系[J].計算機教育,2010(11).
[2]蘭先芳.高職教育“工作過程導向”教學模式的構建[J].職大學報,2011(1).
[3]李圣良.高職院校計算機網絡技術專業教學體系改革的探索[J].職業教育研究,2006(6).
[4]張士萍,張振東.計算機網絡技術專業課程體系的研究與實踐[J].遼寧職業技術學院學報,2005(4).
邏輯學的功能范文3
論文關鍵詞:網絡學習平臺,混合式學習模式
網絡學習方式隨著信息技術的發展而不斷發展,從最早的單純網頁文本閱讀到在線音視頻學習,再到現在的綜合性互動網絡學習平臺的使用,使學習內容呈現方式更加豐富,學習方式不斷創新,學習者之間、學習者與教師之間的交流障礙減少,考核方式更加靈活等。但同時,網絡學習方式也并不完美,比如,網絡學習平臺為學習者帶來“爆炸般”的信息量的同時經常使學習者在“信息的海洋”中“迷航”,多種學習方式也使缺乏經驗的學習者難以選擇,對于缺乏主動性的學習者,缺乏有效的激勵手段等問題使人們發現網絡學習方式并不能完全替代課堂面授學習,原因在于其缺乏教師的深度參與,學習效果并不理想。教育界開始反思學習理論與技術的應用方式,在此背景下,產生了混合式學習(Blending Learning)的概念,它是指綜合運用不同的學習理論、不同的技術和手段以及不同的應用方式來實施教學的一種策略,它有機地整合面對面的課堂學習和網絡學習這兩種典型教學形式并將兩者的優勢結合起來。利用綜合性的互動式網絡教學平臺,更夠更好的和面授式課堂教學方式相互補融合,而良好的功能模塊搭建,對于互動式網絡學習平臺是至關重要的。筆者認為,一個成熟的互動網絡教學平臺,應至少具備以下幾個功能模塊:
一. 呈現方式豐富,內容充足,索引清晰的學習資源模塊。
信息時代的大部分學習者已具備基本的信息素養,他們能夠利用互聯網快速尋找到大量的信息,但是此類信息真假參半,編排方式不一。使用此類信息進行學習,能夠獲得學習成果,但學習者需要在整理信息內容,辨別信息真假中花費時間。為了幫助學習者更高效的進行學習,應對學習平臺的資源模塊進行合理設計。
具有高接受性的頁面設計。一個好的首頁,可以激發學習者的學習興趣,不同階段不同類型的學習者具有不同的審美偏好,無法逐一滿足??梢愿鶕W習平臺提供的學習內容,課程性質來預判學習者的年齡段和審美偏好,提供能夠符合大部分人審美的頁面設計。比如,為年幼學習者設計色彩豐富、具有卡通元素的頁面,而為成年學習者設計簡潔明快的頁面。
內容呈現方式應多樣化并且適應于學習內容。據研究,在網絡學習中學習者比在傳統學習方式中更容易被轉移注意力,而多樣化的內容呈現方式可以一定程度上吸引學習者注意力,比如,利用動畫與文字結合的方式呈現理論與實踐集合的學習內容、利用視頻演示的方式呈現操作性的學習內容等。
具備充足且來源明確,已驗證的學習資源。雖然學習者在學習過程可以通過正誤思辨來加強學習,鍛煉思維能力,但是思辨是需要在具備一定的學習經驗基礎上的,可以通過人為設置思辨過程來幫助學習者,但是在學習資源設置上,還是應盡量提供正確的學習內容,對于不確定的內容應告知學習者。
對學習資源進行合理索引,設置明確導航方式。對于初學者,可以按照固定步調來進行學習。對于具有一定經驗的學習者,則更多選擇自定步調來進行學習。學習平臺應具有廣泛適應性,也就是對學習資源提供明確目錄,并且能夠提供多種訪問方式和合理清晰的導航方式幫助學習者快速找到學習內容。
二. 能夠提供良好的交流互動方式的交流模塊。
交流模塊的合理設置,可以提供良好的交流互動方式幫助網絡學習者通過良好的師生,生生交流提高學習興趣、擴展思維維度、提高學習效率,一定程度上解決學習者缺乏深度交流的問題。筆者認為,一個良好的交流模塊應至少具備以下幾個功能:
1.具備實時交流方式。實時交流方式可以彌補學習者之間,學習者與教師之間的地域空間差異,讓學習者能夠獲得多個學習過程參與者,獲得不同程度、不同形式的參與經驗,進行更為有效的信息組織。
2.具備異步交流方式。異步交流方式作為實時交流方式的補充,彌補學習者與學習過程參與者之間的時間差異。異步交流方式可以以論壇,百科,問答,博客等形式進行,并對交流過程進行保存,供其他學習者進行查詢。
三.完善的評價機制模塊。
教師在網絡學習平臺中,不再是學習的中心,而是學習者的幫助者,幫助學習者獲得、解釋、組織和轉換大量的信息來促進學習。學習者的角色由被動的接受者變為主動的知識建構者。但是在網絡學習中,學習者容易被轉移注意力,打亂學習步調,所以需要對學習者成長的每個階段的不同時期的不同活動指定可行的評價標準,用以判斷學習者是否達到符合最終價值判斷的子目標。筆者認為,網絡學習平臺的評價機制應遵循以下幾項原則【2】:
在學習活動進行前提出評估標準。設計良好的評價方案會在學習者學習的整個過程中起到導航的作用,學習者將明確的知道教師、其他學習者或其他評價者如何評價他們所完成的學習任務,從而調節學習步調,最終達到預想的學習目標。
注意實施分層次的評估。教師應在學習者學習的過程設置好評價的錨點。將傳統的評價方法(如小測驗,測試,簡答等)和信息化評價工具(如量規,檔案袋,概念地圖等)相結合,幫助學習者在學習過程中形成高級思維能力,幫助學習者發展和提高學習能力,獲得新的學習經驗或達到更高的學習目標。
盡可能多的提供給學習者自評和互評的機會。鼓勵學習者進行自評或互評,并使他們對評價的過程和質量承擔責任。
爭取社會的參與性評估。處了學習者的自評互評以及教師評價外,還有一些社會性的評估,是學習者的學習成果有公開的機會,盡可能使關心學生的人參與到評價中來,提高學生的學習積極性,提高學習效果。
注意通過評價選擇和收集資源。制定相應的評價方案來篩選合適的資源,剔除不適宜的資源,幫助學習者和教師獲得良好的可循環使用的學習資源。
綜上所述,網絡學習平臺的模塊架構應始終以學習者為中心,適應學習者的學習需求,為學習者提供信息化幫助。并且,網絡學習平臺應隨著計算機技術和互聯網技術的不斷發展而進行技術更新,以適應于學習者需求。
【參考文獻】
[1] 祝智庭.論教育信息化與創新教育.全球華人計算機教育應用學報.2003.1。
[2] 閆寒冰.信息化教學評價—量規實用工具.教育科學出版社.2003.9。
[3] 顧小清.面向信息化的教師專業發展——行動學習的實踐視角[M].北京.教育科學出版社.2005
邏輯學的功能范文4
【關鍵詞】 糖尿病;血液流變學;血管內皮功能;中藥
【摘要】 目的 探討糖尿病大鼠血液流變學變化與血管內皮功能的相關性及益氣活血通絡方藥的干預作用。方法 鏈脲佐菌素復制糖尿病大鼠模型,隨機分為模型組、中藥高劑量組(7.44 g·kg-1·d-1)、中劑量組(3.72 g·kg-1·d-1)、低劑量組(1.86 g·kg-1·d-1),并設正常對照組。8 w檢測血液流變學指標、一氧化氮(no)、內皮素(et)的含量。結果 糖尿病大鼠血液流變學發生改變,血清no含量明顯降低,血漿et含量明顯升高。結論 糖尿病大鼠血液流變學變化與血管內皮功能改變具有相關性,益氣活血通絡方藥可以改善糖尿病大鼠血液流變學及血清no、血漿et,從而防治糖尿病及其并發癥。
【關鍵詞】 糖尿病;血液流變學;血管內皮功能;中藥
糖尿病患者的血液流變學改變導致其微血管病變發生,而一氧化氮(no)與內皮素(et)作為一對具有拮抗作用的血管活性物質,是協調血管張力的關鍵〔1〕。前期研究表明,益氣活血通絡方藥能夠提高糖尿病大鼠坐骨神經傳導速度、調節血清胰島素、c肽的分泌、降低坐骨神經糖基化終末產物(ages)含量〔2~5〕。在此基礎上,本文繼續探究糖尿病大鼠血液流變學與血管內皮功能的相關性,旨在揭示該方藥的作用機制。
1 材料與方法
1.1 試劑及藥品
鏈脲佐菌素(stz)(美國sigma公司)。益氣活血通終方藥由黃芪、桂枝、葛根、水蛭等藥物組成。no硝酸還原酶法試劑盒(南京建成生物工程研究所提供,批號:20091112),血漿t放免試劑盒(解放軍總醫院科技開發中心放免所,批號:091105)。
1.2 動物模型建立及分組
選用wistar大鼠,雄性,體重220~240 g,由吉林大學實驗中心提供。適應性喂養1 w,禁食12 h后,按60 mg/kg的劑量一次性腹腔注射stz(用ph4.5 0.1 mol/l枸櫞酸鈉緩沖液稀釋),72 h后由尾靜脈采血測定血糖,凡血糖>16.7 mmol/l者納入實驗。其余達不到標準者剔除。將入選的模型動物隨機為模型組、中藥高、中、低劑量組,并以體重、年齡、血糖正常大鼠作為對照組。
1.3 給藥方法
中藥組分別給予7.44、3.72、1.86 g·kg-1·d-1灌胃;模型組、正常對照組灌服相應容量的蒸餾水。給藥8 w。
1.4 指標檢測
大鼠麻醉后,腹主動脈取血,肝素抗凝,應用全自動血液流變快測儀fasco3010檢測(重慶大學維多生物工程研究所)。采用硝酸還原酶法檢測no。取血1.5 ml,3 000 r/min離心10 min,收集上清液,置-20℃冰箱。采用放射免疫法檢測et。取血2 ml,注入含10%乙二胺四乙酸(edta)二鈉30 μl和抑肽酶40 μl的試管中,用力搖勻,4℃,3 000 r/min離心10 min,分離血漿,嚴格按照試劑盒說明書進行操作。
1.5 統計學處理
應用spss13.0軟件,數據以x±s表示,組間樣本均數比較采用單因素方差分析,組間比較采用q檢驗。
2 結 果
2.1 各組大鼠血液流變學變化的比較
與正常對照組相比,模型組、中藥各劑量組大鼠全血黏度、紅細胞聚集指數及剛性指數明顯升高(p<0.05);與模型組相比,中藥高、中劑量組各項指標有顯著差異(p<0.05)。見表1。
2.2 各組大鼠no、et含量比較
與正常組相比,模型組、中藥各劑量組no含量降低、et含量明顯升高;與模型組相比,中藥高劑量組no、et含量有顯著差異(均p<0.05)。見表2。表1 各組大鼠血液流變學變化的比較表2 各組大鼠no、et含量的變化
3 討 論
糖尿病的血液流變學改變主要表現為高黏滯綜合征,包括血細胞和血漿兩個方面。血細胞的變化為紅細胞比積增加、聚集性增強、變形能力降低等。糖尿病患者長期處于高血糖狀態,使紅細胞膜血紅蛋白糖基化,攜氧能力下降,內皮細胞缺氧損傷,et生成增加,no生成降低,引起微血管持久收縮、痙攣,血管平滑肌增生,血管狹窄,加速糖尿病血管并發癥的發生發展。因此,et的升高在一定程度上反映了內皮細胞損傷的程度,而內皮細胞損傷是導致糖尿病血管病變的主要原因。
中醫認為,糖尿病主要病機為氣陰兩虛、瘀血阻絡。益氣活血通絡法方由黃芪、桂枝、元胡、水蛭、地龍、生地組成。具有養陰益氣、活血化瘀的功用。高血黏度導致低灌流狀態以及內皮功能損傷,從而導致循環障礙使血管并發癥發生,因此,改善血液流變學對糖尿病并發癥的防治、預后有深遠的影響〔6〕。以往研究證實,活血化瘀中藥能改善糖尿病大鼠血液流變學、降低血小板聚集、改善血流、增加周圍神經的供血和營養、抑制坐骨神經的纖維脫髓鞘和軸索萎縮、提高傳導速度〔7〕、改善不同切變率下血液表觀黏度、降低血漿黏度,使各級血管的血液流變性普遍趨于正常〔8〕。
實驗結果表明,糖尿病大鼠的血漿黏度、紅細胞聚集及剛性指數、no、et的含量均發生改變;益氣活血通絡方藥能改善血漿黏度、紅細胞聚集及剛性指數,提高血清no含量、降低血漿et含量,可以防治糖尿病及其并發癥。
【參考文獻】
1 衛重娟,程 焱.氧化應激與糖尿病周圍神經病變〔j〕.醫學綜述,2009;15(16):247881.
2 張文風,蘇 鑫,趙書鋒.益氣活血通絡法防治糖尿病周圍神經病變的實驗研究〔j〕.中醫藥信息,2008;25(6):734.
3 張文風.益氣活血通絡方對糖尿病大鼠血清胰島素、c肽的影響〔j〕.湖南中醫雜志,2008;24(5):989.
4 張文風,蘇 鑫,粟 栗.糖尿病大鼠坐骨神經ages的表達及益氣活血通絡方的干預研究〔j〕.上海中醫藥雜志,2010;3:568.
5 張文風,樸今哲,蘇 鑫,等.從血液流變學和神經傳導速度評價益氣活血通絡法對糖尿病周圍神經病變的干預作用〔j〕.時珍國醫國藥,2010;21(2):43940.
6 張一娜,璀 璨,張亞清,等.老年心腦血管疾病、糖尿病血液流變學改變〔j〕.中國微循環雜志,2002;6(3):1678.
邏輯學的功能范文5
【關鍵詞】急性冠脈綜合征;辛伐他汀;普羅布考;頸動脈內膜中層厚度;血管內皮功能
Effects ofprobucol combined with simvastatin on carotid intimamedia thickness andvascular endothelial function in patients with acute coronary syndrome
LIU Yong,ZHANG Huan,LI Huan-ming,et al.Department of Cardiovascular,Fourth Central Hospital of Tianjin,Tianjin 300140,China
【Abstract】 Objective To investigate the influences of probucol combined with simvastation on carotid intimamedia thickness(CIMT)and vascular endothelial function in patients with acute coronary(ACS).Methods A total of 60 ACS patients randomly received standard therapy plus simvastatin(A,simvastatin 40 mg/d,n=30)or standard therapy plus simvastatin combined with probucol(B,simvastatin 40 mg/d and probucol 0.5 g,2/d,n=30).The serum total cholesterol,low density lipoprotein cholesterol and ox-LDL level were measured.These variables were analyzed before and after the therapy 3 months.The changes of CIMT and the brachial arterial hyperemia-induced flow mediated dilation(FMD)and sublingual nitroglycerin(NTG)mediated vasodilatations were measured by high resolution ultrasound.Results The indexes were no difference between the two groups before the therapy but significant difference 3 month after the therapy.Conclusion Simvastatin combined with ntioxidant probucol therapy have a synergism in the decreases of blood fat,and CIMT,and improvement of vessel endothelium.
【Key words】Acute coronary syndrome;Simvastatin;Probucol;Carotid intimamedia thickness;Vascular endothelial function
作者單位:300140天津市第四中心醫院心內科
急性冠狀動脈綜合征(acute coronary syndrome,ACS)是由冠狀動脈內粥樣硬化斑塊的破裂繼發血栓,引起冠狀動脈不完全或完全阻塞所致,其確切發病機制尚未完全闡明。血管內皮功能損傷是動脈粥樣硬化(atherosclerosis,AS)的重要環節,而氧化型低密度脂蛋白(oxidized low densitylipoprotein,ox-LDL)是損傷內皮細胞導致AS形成的關鍵原因之一。他汀類調脂藥除了有效降低血膽固醇外還具有重要的非降脂作用,從而降低心血管死亡和主要心血管事件的發生。以普羅布考為代表的合成抗氧化劑具有一定的抗動脈粥樣硬化作用。本研究通過對ACS患者早期聯合應用普羅布考和辛伐他汀,研究其對急性冠狀動脈綜合征(ACS)患者頸動脈內膜中層厚度和血管內皮功能的影響,為ACS發病機制研究以及治療策略制定提供新的思路,以期讓急性冠脈綜合征患者能更大獲益,降低急性冠脈事件發生,改善其預后。
1 資料與方法
1.1 一般資料 選取2007年6月至2008年5月我院收治的ACS患者60例,將研究對象按照入院順序,隨機分為兩組:只服用辛伐他汀組(A組,30例)及辛伐他汀聯合普羅布考組(B組,30例),A組中急性心肌梗死(AMI)14例(男9例,女5例),年齡45~76歲,平均(59.5±4.5)歲,不穩定性心絞痛(UAP)16例(男10例,女6例),年齡44~77歲,平均(57.7±5.6)歲。B組中急性心肌梗死(AMI)17例(男12例,女5例),年齡44~75歲,平均(58.6±4.8)歲,不穩定性心絞痛(UAP)13例(男9例,女4例),年齡46~74歲,平均(59.2±5.4)歲。
1.2 方法 每例患者治療前檢查心、肝、腎功能正常,按照入院順序,隨機分為兩組:A組30例,B組30例。在常規予以腸溶阿司匹林、氯吡格雷、硝酸酯類、鈣離子拮抗劑、血管緊張素轉換酶抑制劑、β受體阻滯劑等治療基礎上,A組常規予以辛伐他汀40 mg,1次/晚,B組在和A組同樣治療的基礎上,加以普羅布考0.5 g,2次/d。用藥前及用藥后檢查各項指標。
1.3 觀察指標
1.3.1 血脂測定 采用酶學比色法,應用全自動生化儀測定空腹靜脈血TC、LDL-C、ox-LDL的檢測應用ELISA方法,試劑盒購自美國ADL公司。
1.3.2 頸動脈內膜中層厚度(CIMT)測定 采用Bots等[1]描述的方法并加以改良。使用ACUSON彩色超聲診斷儀,患者取臥位,頸部側伸45度,測定頸總動脈膨大近端1cm處IMT,測定最厚處及距此遠心1cm和近心1cm共3點,左右兩側共六點的平均值作為結果。
1.3.3 動脈內皮依賴血管舒張功能(FMD) 檢測設備同前。按照Celemajer等[2]的方法行超聲檢查,測定肱動脈內皮依賴血管舒張功能,此前需停用血管活性藥物12 h。測定由固定專人操作。
1.4 統計學方法 所有數據用SPSS 13.0軟件,計量資料數據以均數±標準差(x±s)表示,用藥前后配對資料用t檢驗,組間單因素用方差分析,計數資料用χ2檢驗,P
2 結果
2.1 兩組間患者基本臨床資料 兩組間患者基本臨床資料比較 兩組患者在年齡、性別構成、體質指數(BMI)及高血壓、糖尿病、高脂血癥患病率方面差異無統計學意義,見表1。
表1
兩組患者臨床資料比較
組別例數年齡(歲,x±s)性別(男/女)BMI(kg/m2,x±s)高血壓(例)2型糖尿病(例)高脂血癥(例)
A組3058.5±5.119/1126.1±2.6181216
B組3058.7±5.021/925.8±2.3191117
注:均P>0.05
2.2 兩組治療前后ACS患者外周血脂、hs-CRP、ox-LDL變化比較(見表2) A組治療后與治療前相比,TC、LDL-c、ox-LDL有所下降,治療前后具有統計學差異(P
表2
2組治療前后外周血脂、hs-CRP、ox-LDL比較(n=30,x±s)
指標
A組B組
治療前治療后治療前治療后
TC(mmol/dL)5.90±1.053.5±0.85*5.87±1.203.20±0.95*#
LDL-C(mmol/dL)3.82±0.571.92±0.35*3.76±0.621.73±0.41*#
ox-LDL(mg/L)605.7±87.2480.7±85.4*603.9±85.9402.4±86.7*#
注:*與治療前后相比 P
2.3 兩組治療前后ACS患者CIMT變化比較(見表3) A組治療后與治療前相比,CIMT水平有所下降,治療前后具有統計學差異(P
2.4 兩組治療前后肱動脈FMD變化的比較(見表4) A組治療后與治療前相比FMD有所升高(P
表3
兩組治療前后ACS患者CIMT變化
比較(n=30,x±s)
組別例數治療前治療后
A組301.05±0.330.97±0.26*
B組301.04±0.360.91±0.24#
注:A組治療前后比較,*P
表4
兩組治療前后ACS患者內皮依賴血管舒張功能變化的影響
項目
A組(n=30)B組(n=30)
治療前治療后治療前治療后
肱動脈基礎內徑(mm)3.98±0.634.06±0.654.00±0.564.10±0.60
反應性充血時內徑(mm)4.16±0.564.23±0.584.18±0.584.33±0.59
反應性充血內徑變化率(%)7.25±1.239.35±1.18*7.30±1.0212.85±1.18#
含硝甘后內徑(mm)4.45±0.534.56±0.544.50±0.594.52±0.57
含硝甘后內徑變化率(%)10.95±5.1011.21±4.5011.45±5.2311.29±5.00
注:A組治療前后比較,*P
2.5 不良反應 治療3月后復查SGPT、Cr、CK,與治療前相比,未發現明顯肝腎功能損害,復查心電圖,未發現QT間期延長等不良反應。
3 討論
動脈粥樣硬化主要的病理特征為血管內膜脂質沉積,并逐漸形成粥樣斑塊,導致血管狹窄,而ACS是由冠狀動脈內粥樣硬化斑塊的破裂、血小板聚集和血栓形成,引起冠狀動脈不完全或完全阻塞所致。國內外研究表明[3],頸動脈粥樣硬化斑塊的形成與冠狀動脈粥樣硬化的病變是平行的,頸動脈內膜中層厚度與冠心病的發生及嚴重程度呈正相關。頸動脈斑塊的出現和冠狀動脈硬化導致冠脈病變數目之間有相關性。另有研究表明[4],在解剖結構上,頸動脈與冠狀動脈有許多相似特點,兩者均為平滑肌動脈,且在動脈粥樣硬化的發病機制上一致,頸動脈斑塊的變化可作為防治冠心病的可靠標志。
本研究結果顯示,ACS患者經過辛伐他汀治療后,外周ox-LDL水平有所下降,頸動脈內膜中層厚度(CIMT)有所減少,肱動脈內皮依賴血管舒張功能有所改善,聯合應用普羅布考以后,外周ox-LDL水平進一步下降,頸動脈內膜中層厚度(CIMT)明顯減少,肱動脈內皮依賴血管舒張功能進一步改善,表明ACS患者早期聯合應用普羅布考和辛伐他汀可以明顯改善其內皮功能,降低CIMT及改善血管內皮功能。
近年來大量研究表明,他汀類調脂藥物不僅可以降低血TC、LDL-C 水平,還有明顯改善血管內皮功能的非調脂作用。他汀類藥物改善血管內皮功能的途徑有:促進一氧化氮合酶的表達,防止一氧化氮合酶的下調,增加一氧化氮合酶的活性和穩定性,增加血管內皮一氧化氮的合成,降低內皮素的合成等[5,6]。另外,抗氧化劑普羅布考除了具有降低膽固醇的作用外,尚能通過抗氧化的途徑,抑制基質金屬蛋白酶-2(MMP-2)的表達,從而起到穩定斑塊的作用[7,8]。
到目前為止,有關斑塊消退的機理尚未完全明了。斑塊進展減小或延緩的可能機制主要有: LDL-C的降低造成斑塊內外膽固醇的濃度梯度,有利于斑塊內脂質的清除,減少泡沫細胞的形成和 LDL-C對內皮細胞的毒性;HDL的分子質量小,能穿過動脈內膜,并在經過細胞膜時可做為游離膽固醇的合適接受體,將游離膽固醇攜帶出血管壁,返回肝臟降解;抗氧化作用,辛伐他汀和普羅布考可通過 HDL抑制金屬離子介導的LDL的氧化修飾,并具有攝取、貯存 、轉運及清除過氧化脂質的作用[9]。
本研究結果提示,普羅布考聯合辛伐他汀可以進一步降低血脂、降低CIMT及改善血管內皮功能。本研究為冠心病的臨床治療提供了新的思維。另外,高頻經體表超聲檢測頸動脈內膜中層厚度可以為臨床隨訪藥物干預效果提供一種有效、無創的手段。
參 考 文 獻
[1] Bots ML,Baldassarre D,Simon A,et al.Carotid intima-media thickness and coronary atherosclerosis:weak or strong relations.Eur Heart J,2007,28(4):398-406.
[2] Celermajer DS.Brachial artery FMD with 5-minute distal cuff occlusion--a useful pathophysiological test after all!J Appl Physiol,2005,99(4):1619.
[3] Holaj R,Spácil J,Petrásek J.Relation of the thickness of the intima and media of the common carotid artery,atherosclerotic plaque in the carotids and manifestations of atherosclerosis in the vessels of the lower extremity in comparison to coronary atherosclerosis.Cas Lek Cesk,1998,137(23):716-720.
[4] Spence JD.Ultrasound measurement of carotid plaque as a surrogate outcome for coronary artery disease.Am J Cardiol,2002,89(4A):10B-15B; discussion 15B-16B.
[5] Kaesemeyer WH,Caldwell RB,Huang JZ,et al.Pravastatin sodiumactivates endothelialnitric oxide synthase independent of its cholesterol loweringactions.J Am Coll Cardiol,1999,33(1):234-241.
[6] Rikitake Y,Liao JK.Rho GTPases,statins,and nitric oxide.Circ Res,2005,97(12):1232-1235.
[7] 孟曉萍,王超,孫健,等.急性冠脈綜合征患者血清基質金屬蛋白酶(MMP2 、MMP9)的表達.中國動脈硬化雜志,2006,14(4):339-342.
邏輯學的功能范文6
關鍵詞 計算機科學 邏輯應用研究
中圖分類號:TP331 文獻標識碼:A
1計算機電路設計中的邏輯應用
數理邏輯在計算機硬件設計中的應用很突出,數字邏輯是計算機科學中的重要理論,它在很大程度上起源于數理邏輯的命題與謂詞演算。用命題中關聯詞的運算規律把高低電平表示的信號之間的運算與二進制數之間的運算聯系起來,使我們能用數學的方法解決電路設計問題,這樣也會讓整個設計過程變得更加直觀、簡潔和系統化。數字部件的設計主要應用的是數字邏輯,數字邏輯以組合邏輯與時序邏輯為原理,以數理邏輯中的命題演算為基礎。在指令集的基礎上設計諸如寄存器、加法器、移位器和控制器等數字部件的邏輯功能。人們用組合邏輯和時序邏輯完成數字邏輯部件的設計工作后,還需要通過控制邏輯來設計數據通路,利用硬件描述語言實現指令系統的子集和計算機功能部件的對應工作,這樣才算完成了計算機硬件功能性的核心部分,并且要保證能在其上面運行簡單的匯編程序。
2 計算機語言中的邏輯應用
計算機必須是在硬件基礎上,和為了讓硬件運行編的程序軟件結合起來才能實現算法。所以計算機軟件和邏輯之間也有著直接或間接的關系。計算機是由邏輯電路組成的,而邏輯電路是以布爾代數為基礎的,命題邏輯系統又屬于布爾代數的一種,通過轉換符號后,命題邏輯運算可以變成布爾代數的演算。所以計算機硬件和邏輯的這種關聯也直接導致了計算機軟件和邏輯之間密不可分的聯系。編程最終形成算法,算法依賴于計算機功能,現實的電腦操作是在基本的邏輯運算的基礎上,生成算法,并最終用最基本的運算元代替一般的計算。
計算機語言系統是由符號組成的形式化語言體系,邏輯語言系統也是一種符號化的形式化語言體系,所以它們有一定的相似性。如形式系統中的命題演算和謂詞演算就是兩個很好的說明。在計算機語言中,如科學計算用的語言,數據管理用的語言,開發和設計系統和應用軟件用的 C 語言,還有可視化編程用的語言等都是一些符號的集合,它們能決定哪些符號序列有意義,有自己的形成規則;有規定了語句間關系的自定義的運算符;有自己的變形規則。計算機語言系統非常關心的問題就是系統的可靠和完全性,結構的相似性說明了計算機語言與邏輯語言是相通的,所以邏輯學研究取得的方法和成果可以用到計算機中,為計算機語言的發展鋪平道路。
3計算機程序中的邏輯應用
隨著各種不同計算機語言的出現,各種各樣的程序也應運而生,于是也就出現了各種各樣的軟件,從而實現讓計算機為我們服務的目的。計算機軟件是由計算機語言和程序組成的,計算機程序可以說是計算機的靈魂。在使用計算機時,必須先進行程序設計,將推理和計算的過程全部寫入程序,輸入計算機,然后機器運行。因此如何編寫出正確的程序,較快地減少和糾正程序中的錯誤就非常重要,而這些內容,從本質上來說就是邏輯學問題。
程序邏輯是 CPU 設計的前期工作,CPU 設計只是編制程序邏輯后的設計工作。在田志忠的“未來中國真正的電腦是啥樣?”一文中這樣寫過:“編寫中文數字式發散系統閉環程序邏輯代碼。因為,擁有了這個代碼,才會有中國的操作系統,也才有真正的中國心―CPU,沒有自己程序邏輯的 CPU,功能擴展必定緩慢,因為,CPU 的設計與制造,就是一個程序邏輯的編寫與印刷問題?!钡诙l散式系統閉環程序邏輯編寫成功后,計算機就會永遠告別病毒,因為,這個程序邏輯與現在世界上存在的程序邏輯完全不同,其程序運行的過程,同時也是一個自我驗證、自我糾錯的過程。第三,現在的操作系統,其程序雖然能夠做到同步互動,但是,一般而言卻缺少程序邏輯的反向運行能力,而中國將來的程序邏輯代碼,一定是既能同步互動,又能同步異動,同時,在同步互動或同步異動過程中,其程序邏輯具有反向運行的能力。這種程序邏輯,我們稱為混沌式發散系統閉環程序邏輯。也就是說,人工編寫的程序邏輯,具有人類的思維能力,同時可以與人類思維同步互動,比如說對話交流,共同思考一個問題。
4結語
綜上,計算機科學中邏輯應用問題的研究有很重要的現實意義和戰略意義。 第一,未來計算機的智能化革命中,硬件和軟件都需要更新,硬件和軟件的革新都需要邏輯學做基礎。第二,未來計算機智能化革命中有很多的瓶頸問題,都有賴于邏輯學研究的突破來解決。第三,同樣,計算機科學的發展也促進了邏輯學的發展,它們是相輔相成的。很多邏輯學的分支都是應計算機科學的需要而產生的,可以說計算機科學間接也直接促進了邏輯學的發展。所以研究邏輯學在計算機科學中的應用問題有重要的現實意義和戰略意義,有寶貴的應用價值和廣闊的應用前景。
參考文獻