基于邏輯語言的計算機軟件開發(fā)

曾愛林

（順德職業(yè)技術(shù)學(xué)院 電子與信息工程學(xué)院，廣東 順德 528300）

引 言

現(xiàn)在已經(jīng)進(jìn)入到了信息時代，計算機作為信息化的基礎(chǔ)，已經(jīng)成為一個國家信息水平的重要標(biāo)志，在這種背景下，每個國家都很重視自身計算機技術(shù)的發(fā)展，而軟件是計算機應(yīng)用的主要方式，計算機之所以能夠滿足不同領(lǐng)域的需求，就是因為可以開發(fā)具有相應(yīng)功能的軟件，我國受到特殊的歷史因素影響，經(jīng)濟(jì)和科技發(fā)展的起步較晚，因此目前計算機軟件技術(shù)，主要掌握在西方發(fā)達(dá)國家手中。而且在很長一段時間內(nèi)，西方國家對我國實行了技術(shù)封鎖，使得我國計算機相關(guān)技術(shù)的發(fā)展很慢，現(xiàn)在使用的計算機軟件，尤其是企業(yè)辦公軟件，幾乎都是外國公司開發(fā)的，雖然近年來隨著國家的重視，開始大力扶持本土的軟件公司，通過加強市場建設(shè)等方式，嚴(yán)格的控制盜版，在一定程度上提高了我國的計算機軟件開發(fā)的水平。

1 邏輯語言分析

1.1 邏輯語言的概念

邏輯最早是哲學(xué)中的詞匯，在古希臘時期，很多哲學(xué)家在辯論的過程中，為了可以說服對方，自己的思路必須清晰，符合人們正常的思維，逐漸的形成了邏輯語言的概念，隨著數(shù)學(xué)理論的發(fā)展，要想解決特定的問題，必須進(jìn)行相應(yīng)的推理和證明，而推理的過程中，就要使用邏輯語言，這樣推理才能夠符合人的思維。計算機的出現(xiàn)，對于科技的發(fā)展來說，是革命性的，很多人將計算機作為第三次科技革命的標(biāo)志，通過計算機的使用，不但改變了人們的生活習(xí)慣，同時也在很大程度上提高了工程的效率，而計算機是在數(shù)學(xué)模型的基礎(chǔ)上，因此控制計算機工作的軟件，也必須具有一定的邏輯性。在計算機出現(xiàn)的早期，受到計算機性能等影響，程序的編寫還采用二進(jìn)制的機器語言進(jìn)行，這種0和1組成的二進(jìn)制語言，在編寫的過程中，必須具有一定的邏輯性，計算機才能夠去運行，現(xiàn)在程序的編寫已經(jīng)采用高級語言，如JAVA和 C語言等，利用這些語言進(jìn)行程序的編寫時，邏輯關(guān)系的體現(xiàn)更加重要。

1.2 邏輯語言的特點

從語言學(xué)上來看，語言主要可以分成三種，分別是自然語言、帶符號的數(shù)學(xué)語言、以及形式化的邏輯語言，邏輯語言的出現(xiàn)，主要是因為邏輯學(xué)發(fā)展的需要，古時候受到知識水平的限制，人們在討論問題時，經(jīng)常會發(fā)生一些爭執(zhí)，為了解決這種爭執(zhí)，人們希望能夠建立像數(shù)學(xué)那樣完美，具有特定符號的語言，這就是邏輯語言。與其他的語言相比，邏輯語言具有很高的嚴(yán)謹(jǐn)性，這種語言將邏輯推理，轉(zhuǎn)化成為了數(shù)學(xué)語言，在遇到具體的問題時，就可以利用這種沒有歧義、嚴(yán)謹(jǐn)?shù)恼Z言，通過計算的方式，來解決這個問題，隨著邏輯語言自身的發(fā)展，在解決實際問題時，人們首先會建立一個數(shù)學(xué)模型，然后采用數(shù)學(xué)的方式進(jìn)行求解，極大的提高了解決問題的效率。由此可以看出，邏輯語言的特點是嚴(yán)謹(jǐn)性和普遍性，能夠用來描述所有的問題，而且在這個過程中，不會出現(xiàn)任何的歧義，現(xiàn)代計算機軟件的發(fā)展，很大程度上就是建立在邏輯語言的基礎(chǔ)上，通過實際的分析可以知道，每個程序都是一個數(shù)學(xué)模型，而描述這個模型的就是邏輯語言。

1.3 邏輯語言的發(fā)展

從語言的三種形式可以看出，其發(fā)展也可以分成三個階段，首先是自然語言，在人類文明的初期，受到科學(xué)技術(shù)上的限制，人們的思維還不是很嚴(yán)謹(jǐn)，因此表達(dá)比較隨便，采用自然語言進(jìn)行交流，現(xiàn)在的日常生活中，依然使用這種語言，隨著自然科學(xué)的發(fā)展，語言開始分為書面語和口語，在對科學(xué)進(jìn)行描述時，主要采用書面語進(jìn)行，這種表達(dá)方式具有一定的特殊性，尤其是在數(shù)學(xué)科學(xué)中，需要加入一些常用的符號，逐漸的形成了數(shù)學(xué)語言。邏輯語言的出現(xiàn)，是數(shù)學(xué)語言發(fā)展的結(jié)果，但是在邏輯語言剛出現(xiàn)時，主要建立在理論的基礎(chǔ)上，很難在現(xiàn)實中使用，計算機是邏輯語言實踐的結(jié)果，通過數(shù)學(xué)二進(jìn)制和實際電路的結(jié)合，就可以利用邏輯語言來解決實際問題，計算機程序的出現(xiàn)，使得邏輯語言發(fā)展到了一個新的高度，在程序設(shè)計中，考慮到計算機的嚴(yán)謹(jǐn)性，必須采用邏輯語言進(jìn)行。

2 計算機軟件開發(fā)的現(xiàn)狀

2.1 我國計算機軟件開發(fā)的現(xiàn)狀

通過實際的調(diào)查發(fā)現(xiàn)，目前我國計算機軟件開發(fā)能力較低，現(xiàn)在使用的軟件，很多都是國外軟件公司開發(fā)的，雖然近年來隨著國家的重視，加大了對軟件公司的鼓勵和扶持，在很大程度上促進(jìn)了我國軟件技術(shù)的發(fā)展，我國軟件產(chǎn)業(yè)出現(xiàn)了一個黃金期，但是受到盜版市場等影響，很多軟件公司的產(chǎn)品沒有市場，導(dǎo)致現(xiàn)在我國還沒有大型的軟件公司。印度是現(xiàn)在世界上軟件產(chǎn)業(yè)先進(jìn)的國家之一，其在發(fā)展的過程中，也遇到了和我國一樣的問題，但是在政府強硬的打壓下，盜版市場得到了控制，為軟件公司的發(fā)展，提供了一個良好的環(huán)境，我國與印度的國情相近，為了促進(jìn)我國軟件產(chǎn)業(yè)的發(fā)展，借鑒了其成功的經(jīng)驗，近幾年政府部門出臺了很多政策法規(guī)，對盜版進(jìn)行嚴(yán)格的控制，在一定程度上改善了我國軟件行業(yè)的環(huán)境。但是計算機軟件行業(yè)經(jīng)過了多年的發(fā)展，已經(jīng)形成了良好的產(chǎn)業(yè)鏈，核心的軟件技術(shù)都掌握在西方國家手中，我國要想發(fā)展自己的軟件產(chǎn)業(yè)，面臨的難度較大，而受到我國教育水平的影響，軟件開發(fā)人員的整體水平較低，在很大程度上限制了我國計算機軟件開發(fā)水平的提高。

2.2 影響計算機軟件開發(fā)的因素

在實際的計算機軟件開發(fā)中，首先要進(jìn)行需求分析，在計算機軟件出現(xiàn)的早期，受到計算機性能的限制，軟件都比較簡單，只是進(jìn)行一些簡單的數(shù)學(xué)計算，因此不需要進(jìn)行需求的分析，程序的編寫都具有一定的針對性，人們遇到實際問題時，編寫一個程序，來解決這個問題，由于計算機沒有存儲設(shè)備，程序無法進(jìn)行存儲，再遇到這個問題時，還要進(jìn)行程序的編寫。隨著軟件技術(shù)的發(fā)展，計算機語言得到了很大的進(jìn)步，在傳統(tǒng)的0和1二進(jìn)制語言中，軟件的編寫非常復(fù)雜，為了方便軟件的開發(fā)，人們對計算機語言進(jìn)行了改進(jìn)，把難理解的匯編語言等低級語言，變成了易懂的高級語言，同時軟件的應(yīng)用也有了很大的進(jìn)步，要想滿足不同領(lǐng)域的需求，軟件自身也變得越來越復(fù)雜。由此可以看出，影響計算機軟件開發(fā)的因素有很多，需求分析的效果、計算機語言等，都能夠?qū)浖拈_發(fā)造成很大的影響，尤其是計算機語言的使用，現(xiàn)在的軟件為了獲得一定的市場，都會增加自身的功能，導(dǎo)致其體積越來越大，根據(jù)軟件開發(fā)的實際情況，都會分成幾個模塊，要想讓軟件具有良好的可維護(hù)性、易讀性等，必須采用嚴(yán)謹(jǐn)?shù)倪壿嬚Z言。

3 基于邏輯語言的計算機軟件開發(fā)分析

3.1 邏輯語言的表現(xiàn)形式

邏輯語言作為一種理論性的語言，如何使用這門語言解決實際問題，一直都是人們研究的重點，受到技術(shù)條件的限制，這個想法沒有實現(xiàn)，隨著科學(xué)的進(jìn)步，物理學(xué)家們根據(jù)數(shù)學(xué)家的設(shè)想，制作出了現(xiàn)代電子計算機，從本質(zhì)上來說，計算機自身就是一個數(shù)學(xué)模型，而這種模型就采用邏輯語言來描述，通過電路的通和不通兩種狀態(tài)，將數(shù)學(xué)二進(jìn)制很好的聯(lián)系起來。這樣就可以利用邏輯語言來解決實際問題，計算機在應(yīng)用的過程中，根據(jù)不同領(lǐng)域的實際需要，針對性的開發(fā)了應(yīng)用軟件，因此計算機的應(yīng)用就是軟件的應(yīng)用，而在軟件的開發(fā)，就是將計算機語言，按照一定的邏輯關(guān)系進(jìn)行排列，然后計算機按照程序的指令，一步一步的去執(zhí)行。由此可以看出，軟件程序其實就是邏輯語言的表現(xiàn)形式，在計算機剛出現(xiàn)時，程序的編寫比較簡單，通常都是由幾個指令構(gòu)成，可以不考慮語句之間的邏輯關(guān)系，但是現(xiàn)在的程序非常復(fù)雜，很多軟件占用的空間達(dá)到了GB的級別，這樣復(fù)雜軟件的開發(fā)，要考慮維護(hù)性和易讀性等，因此必須具有清晰的邏輯關(guān)系。

3.2 邏輯語言的使用

現(xiàn)在的軟件開發(fā)中，主要采用 C語言等高級語言進(jìn)行編寫，由于軟件要實現(xiàn)不同的功能，因此在實際的設(shè)計中，人們根據(jù)具體的功能，將軟件分成了相應(yīng)的模塊，每個模塊實現(xiàn)軟件的一個功能，然后設(shè)立一個主程序，通過特定的掃描機制，在需要哪個功能時，就調(diào)用相應(yīng)的模塊，這樣程序可以很簡單的實現(xiàn)維護(hù)等操作。計算機是以數(shù)學(xué)為基礎(chǔ)，具有很高的嚴(yán)謹(jǐn)性，在程序編寫時，如果一個語句出現(xiàn)錯誤，就會導(dǎo)致整個軟件無法執(zhí)行，因此在實際的開發(fā)過程中，必須采用嚴(yán)謹(jǐn)?shù)倪壿嬚Z言進(jìn)行，只有這樣才能夠確保程序可以被執(zhí)行，通過實際的調(diào)查發(fā)現(xiàn)，現(xiàn)在的編程軟件功能非常完善，在程序編寫完成之后，可以進(jìn)行相應(yīng)的編譯和運行，如果程序存在問題，就無法完成編譯，編程軟件會提出出錯的位置，如果是命令的拼寫錯誤，很好進(jìn)行修改，如果是邏輯關(guān)系出現(xiàn)了錯誤，那么修改就比較困難，如果采用邏輯語言進(jìn)行編寫，就可以在很大程度上避免邏輯關(guān)系錯誤的問題。

結(jié) 語

現(xiàn)在計算機軟件開發(fā)是一個熱門的行業(yè)，但是受到我國技術(shù)水平的限制，目前我國計算機軟件開發(fā)的水平較差，雖然很多高校都開設(shè)了軟件開發(fā)這門課程，為社會提供了大量的人才，但是通過全文的分析可以知道，我國高校中培養(yǎng)的人才，綜合素質(zhì)較差，無法帶動我國軟件產(chǎn)業(yè)的發(fā)展，要想從根本上改善這種情況，必須借鑒印度等軟件產(chǎn)業(yè)發(fā)達(dá)國家的成功經(jīng)驗，結(jié)合我國軟件產(chǎn)業(yè)的實際情況，對邏輯語言等影響計算機軟件開發(fā)的因素進(jìn)行研究，只有這樣，才能夠提高我國軟件開發(fā)的水平。

[1]張德利,張文輝.扎哈·哈迪德與馬巖松——非線性邏輯語言淺析[J].華中建筑,2013,(8):5-8.

[2]趙瑩映,章韻.基于推理機制的邏輯語言在Web服務(wù)組合機制中的應(yīng)用[J].電信科學(xué),2012,(12):70-75.

[3]包義保,殷麗華,方濱興,郭莉.動態(tài)安全策略邏輯語言及安全屬性驗證問題的研究[J].計算機研究與發(fā)展,2010,(4):932-941.