吳曉東
摘 要:在這個(gè)飛速運(yùn)轉(zhuǎn)的社會(huì),科技時(shí)代已經(jīng)在社會(huì)中占領(lǐng)了一席之地,那么現(xiàn)代社會(huì)中,網(wǎng)絡(luò)時(shí)代是突飛猛進(jìn)的,計(jì)算器機(jī)中的合理運(yùn)用已經(jīng)在社會(huì)中的各個(gè)領(lǐng)域滲透,相對(duì)而言,計(jì)算機(jī)現(xiàn)在與邏輯學(xué)有著緊密的聯(lián)系,就目前的情況來說,科學(xué)快速的發(fā)展離不開學(xué)科之間合理的聯(lián)系,本文就是對(duì)計(jì)算機(jī)軟件工程技術(shù)中的邏輯應(yīng)用的闡述,計(jì)算機(jī)的軟件應(yīng)用的相當(dāng)廣泛,本文就是對(duì)計(jì)算機(jī)軟件如何在生活中應(yīng)用。
關(guān)鍵詞:計(jì)算機(jī)軟件工程 工程技術(shù) 邏輯應(yīng)用
引言
計(jì)算機(jī)軟件中部分軟件是有生命周期的,它是從初始階段到衰退階段,每一個(gè)軟件的開發(fā)和應(yīng)用是一項(xiàng)重大的工程,但是如何合理的把這些軟件安裝到計(jì)算機(jī)上我,這也是我們需要探索的問題。
一、計(jì)算機(jī)軟件的周期
對(duì)于軟件開發(fā)商而言,如何是軟件的壽命達(dá)到最長(zhǎng)以及提高軟件在工作中的效率,是他們所要考慮的問題,那么從工程、方法、以及探索方面來看,我們大體可以分為三個(gè)步驟來看,這時(shí)候我們就可以結(jié)合邏輯學(xué)的思維來推理,我們當(dāng)然可以把軟件工程的各個(gè)生命周期看作是人的生命,就比如人來說,人剛是從嬰兒到幼兒,那么軟件也一樣,剛開始是從定義開始的,它一開始只不過是一個(gè)可行性的分析,這是為以后的開發(fā)做一個(gè)良好的開端,倘若開端就是沒有思路和定義,那么何談以后呢。其次,人經(jīng)歷了兒童-少年-中年,就這個(gè)階段是軟件開發(fā)的頂峰,它是軟件開發(fā)的最主要的步驟,那么依然可以把它看成軟件的需求的分析,從整體概念的分析,隨后是詳細(xì)的分析,以及代碼的設(shè)計(jì),然后進(jìn)行應(yīng)用性的測(cè)試,最后到開發(fā),不難看出,無論做什么,都需要從它的問題的確定以及范圍的角度入手,那么我們就應(yīng)該首先了解它的市場(chǎng)需求,那么軟件的經(jīng)濟(jì)性和有效性也是我們應(yīng)該考慮的問題,那么這個(gè)時(shí)候我們就應(yīng)該選擇一些比較容易的方案進(jìn)行合理的運(yùn)用,那么由此可見,對(duì)于軟件的開發(fā)商而言,軟件的合理利用是十分重要的,他們必須明白,計(jì)算機(jī)的部分軟件哪些可以做哪些不可以做,是他們必須必須要考慮的問題,這樣就可以給他們一個(gè)明確的目標(biāo)和設(shè)計(jì),而不是一味的只知道功能的實(shí)現(xiàn)與運(yùn)用,不考慮功能的有效性和必要性。
綜上所述,我們也可以把邏輯學(xué)的有效性和一致性運(yùn)用到合理的需求分析中,如果我們把每一個(gè)步驟都做的十分的精確,并且達(dá)到了客戶的要求,那么我們認(rèn)為這種設(shè)計(jì)是合理的。反之,我們只顧著自己的利益,為了自身的利益,而不顧顧客的滿意程度,那么很顯然,這種做法大錯(cuò)特錯(cuò),,當(dāng)然,我們?cè)谧龅臅r(shí)候,倘若發(fā)現(xiàn)有一個(gè)情況是不滿足的,我們不需要摒棄所有,我們可以加以修正,達(dá)到最佳的效果。
在軟件的定義開發(fā)中,我們必須要充分了解市場(chǎng)對(duì)此的需求程度。我們可以運(yùn)用簡(jiǎn)單而又有效的方案進(jìn)行調(diào)整。那么就必須要軟件開發(fā)人員對(duì)于這一階段的軟件的可行性和不可行性進(jìn)行十分明確的鑒定。這樣就的目的就十分的明確,可以避開一些不必要的盲區(qū)。當(dāng)然我認(rèn)為在領(lǐng)域建模的時(shí)候,我們可以充分的復(fù)合一些東西,例如單詞與漢語直接的必要聯(lián)系,還有一些定義領(lǐng)域類,它和邏輯學(xué)有著相似的作用,這些有時(shí)候就會(huì)進(jìn)行有效的外伸。在對(duì)比和應(yīng)用的過程中,盡可能的將軟件的定義進(jìn)行完善。
二、計(jì)算機(jī)軟件與邏輯學(xué)的合理應(yīng)用
計(jì)算機(jī)軟件的開發(fā)不僅僅需要代碼,還需要那些能夠讓軟件運(yùn)行起計(jì)算機(jī)算法的實(shí)現(xiàn)不僅依靠硬件,還必須依靠那些能夠讓硬件運(yùn)行起來的各種編制的程序軟件。因此,計(jì)算機(jī)的軟件設(shè)計(jì)也離不開邏輯學(xué)的應(yīng)用。計(jì)算機(jī)的硬件是由很多邏輯電路所組成的,而邏輯電路是建立在布爾代數(shù)的命題邏輯基礎(chǔ)上的,命題邏輯運(yùn)算就可以變成布爾代數(shù)的演算。可見,計(jì)算機(jī)硬件與邏輯之間的這種相互關(guān)聯(lián)直接導(dǎo)致計(jì)算機(jī)軟件和邏輯之間所存在的密不可分的聯(lián)系。編程的過程也是算法形成的過程,算法是在計(jì)算機(jī)功能基礎(chǔ)上完成的?,F(xiàn)實(shí)中,電腦的操作是在基本的邏輯運(yùn)算的基礎(chǔ)上生成算法,并最終用這些基本的運(yùn)算元來代替一般的計(jì)算完成的。計(jì)算機(jī)程序要想更加直觀、易懂就必須產(chǎn)生與日常表達(dá)方式近似的程序,這就是匯編程序與編譯程序。它們的產(chǎn)生使計(jì)算機(jī)邏輯演算的步驟得以實(shí)現(xiàn)。如果將具有邏輯性的演算轉(zhuǎn)變成行駛系統(tǒng)的語法和語義,不同的程序設(shè)計(jì)語言就產(chǎn)生了,隨之而來的編程技術(shù)和方法也越來越多,也就產(chǎn)生了各種程序設(shè)計(jì)的技巧和方法,也就形成了各種復(fù)雜的程序和具有多種功能的軟件。計(jì)算機(jī)科字發(fā)展到今天,人工智能一直以來就是人類的夢(mèng)想,從圖靈機(jī)的產(chǎn)生到現(xiàn)在,計(jì)算機(jī)科學(xué)家們和邏輯學(xué)家們就一直對(duì)人工智能進(jìn)行著堅(jiān)持不懈的追求和探索。研究過程中產(chǎn)生了很多重要的成果,目前已經(jīng)有兩種主要研究人工智能的語言工具來的的各種編制的程序。所以,計(jì)算機(jī)軟件開發(fā)的設(shè)計(jì)也段然離不開邏輯學(xué)的應(yīng)用。在計(jì)算機(jī)硬件當(dāng)中,它是由許多的邏輯電路所構(gòu)成,然而有些邏輯電路是建立在一些布爾代數(shù)的命題邏輯基礎(chǔ)上的。由此可見,計(jì)算機(jī)中的硬件是與邏輯之間存在這緊密的聯(lián)系。在編程的同時(shí),它也是算法形成的必要性,這些算法是在計(jì)算機(jī)的功能上實(shí)現(xiàn)的。在當(dāng)代社會(huì),電腦的運(yùn)用是在邏輯運(yùn)算的基礎(chǔ)上形成的一種算法,并且最終可以用這種最基礎(chǔ)的運(yùn)算代替一些堵在的計(jì)算。想要計(jì)算機(jī)的一些程序更加的靈活、直接、簡(jiǎn)單就必須要與日常的表達(dá)方式想接近,,這種程序我們叫做編碼程序和編譯程序。通過這方面的實(shí)現(xiàn),使得計(jì)算機(jī)邏輯演算得步驟更加的方便。倘若將具有這種邏輯性的運(yùn)用演變成行駛中的語法和語義,就會(huì)產(chǎn)生形形色色的設(shè)計(jì)語言,就會(huì)導(dǎo)致很多的編程技術(shù)和方法也會(huì)越來越多,就會(huì)有很多的程序設(shè)計(jì)和方法,也會(huì)有很復(fù)雜的程序和各種各樣的功能就會(huì)隨之而來。。計(jì)算機(jī)從以前發(fā)展到現(xiàn)在,人工智能是我們夢(mèng)寐以求的終點(diǎn),從最開始的圖靈機(jī)的產(chǎn)生到現(xiàn)在,很多計(jì)算機(jī)的科學(xué)家一直探索著人工智能。在研究的過程中,發(fā)現(xiàn)了很多的重要線索,通過科學(xué)家的探索,目前已經(jīng)發(fā)現(xiàn)了倆種人工智能的工具。
結(jié)束語
通過上面我所總結(jié)的,我們不難發(fā)現(xiàn)在當(dāng)今社會(huì),計(jì)算機(jī)已經(jīng)占領(lǐng)了整個(gè)市場(chǎng),我們?cè)谏町?dāng)中離不開計(jì)算機(jī)網(wǎng)絡(luò)的應(yīng)用,很顯然,計(jì)算機(jī)軟件的開發(fā)和邏輯學(xué)又存在著必然的聯(lián)系,這就導(dǎo)致我們必須了解這方面的應(yīng)用,我們也可以對(duì)邏輯學(xué)進(jìn)行有效的利用和進(jìn)行,在開發(fā)邏輯學(xué)的過程,我們也開拓了邏輯學(xué)的作用。
參考文獻(xiàn)
[1]黃武雙,李進(jìn)付.再評(píng)北京精雕訴上海奈凱計(jì)算機(jī)軟件侵權(quán)案——兼論軟件技術(shù)保護(hù)措施與反向工程的合理緯度[J].電子知識(shí)產(chǎn)權(quán),2017(10):58-62.
[2]于繼武.高職院校經(jīng)濟(jì)類專業(yè)計(jì)算機(jī)技術(shù)基礎(chǔ)課程教育的研究——以武漢軟件工程職業(yè)學(xué)院電子商務(wù)專業(yè)為例[J].吉林省教育學(xué)院學(xué)報(bào)(上旬),2013(12):91-93.
[3]孫國(guó)菊.計(jì)算機(jī)專業(yè)課考試模式改革的探討與實(shí)踐——以遼寧信息職業(yè)技術(shù)學(xué)院軟件工程系部分專業(yè)課程考核為例[J].遼寧高職學(xué)報(bào),2012(11):43-44.
[4]“節(jié)能環(huán)保型循環(huán)水養(yǎng)殖工程裝備與關(guān)鍵技術(shù)研究集成系統(tǒng)V1.0”獲國(guó)家版權(quán)局計(jì)算機(jī)軟件著作權(quán)[J].中國(guó)水產(chǎn),2015(12):46.