程序員鼻祖論文

1. 人類史上第一個程序員是誰她做了哪些改變世界的舉動

Richard Stallman，首先他是將程序運用到了電腦體內，所以能夠讓電腦有了WiFi。

2. 羅伯特·弗洛伊德的人物簡介

（1936－2001）Robert W．Floyd
歷屆圖靈獎得主基本上都有高學歷、高學位，絕大多數有博士頭銜。這是可以理解的，因為創新型人才需要有很好的文化素養，豐富的知識底蘊，因而必須接受良好的教育。但事情總有例外，1978年圖靈獎獲得者、斯坦福大學計算機科學系教授羅伯特·弗洛伊德就是一位「自學成才的計算機科學家」（a Self-Taught Computer Scientist）。
弗洛伊德1936年6月8日生於紐約。說他「自學成才」並不是說他沒有接受過高等教育，他是芝加哥大學的畢業生，但學的不是數學或電氣工程等與計算機密切相關的專業，而是文學，1953年獲得文學士學位。
20世紀50年代初期美國經濟不太景氣，找工作比較困難，因學習文學而沒有任何專門技能的弗洛伊德在就業上遇到很大麻煩，無奈之中到西屋電氣公司當了二年計算機操作員，在IBM650機房值夜班。我們知道，早期的計算機都是以批處理方式工作的，計算機操作員的任務就是把程序員編寫好的程序在卡片穿孔機（這是離線的輔助外部設備）上穿成卡片，然後把卡片疊放在讀卡機上輸入計算機，以便運行程序。因此，操作員的工作比較簡單，同打字員類似，不需要懂計算機，也不需要懂程序設計。但弗洛伊德畢竟是一個受過高等教育的人，又是一個有心人，幹了一段時間的操作員，很快對計算機產生了興趣，決心弄懂它，掌握它，於是他借了有關書籍資料在值班空閑時間刻苦學習鑽研，有問題就虛心向程序員請教。白天不值班，他又回母校去聽講有關課程。這樣，他不但在1958年又獲得了理科學士學位，而且逐漸從計算機的門外漢變成計算機的行家裡手。
1956年他離開西屋電氣公司，到芝加哥的裝甲研究基金會（Armour Research Foundation），開始還是當操作員，後來就當了程序員。1962年他被馬薩諸塞州的Computer Associates公司聘為分析員。此時與Warsall合作發布Floyd-Warshall演算法。1965年他應聘成為卡內基—梅隆大學的副教授，3年後轉至斯坦福大學。1970年被聘任為教授。
之所以能這樣快地步步高升，關鍵就在於弗洛伊德通過勤奮學習和深入研究，在計算機科學的諸多領域：演算法，程序設計語言的邏輯和語義，自動程序綜合，自動程序驗證，編譯器的理論和實現等方面都作出創造性的貢獻。其中包括：1962年，弗洛伊德完成了Algol 60編譯器的開發，成功投入使用，這是世界上最早的Algol 60編譯器之一，而且弗洛伊德在這個編譯器的開發中率先融入了優化的思想，使編譯所生成的目標代碼佔用空間少，運行時間短。弗洛伊德優化編譯的思想對編譯器技術的發展產生了深刻的影響。隨後，他又對語法分析進行了系統研究，優先文法（precedence grammar），限界上下文文法（bounded context grammar）等都是弗洛伊德在首先提出來的。優先文法解決了自底向上的語法分析中的首要任務：如何找到「句柄」，也就是當前需要進行歸約的符號串。弗洛伊德通過對不同的符號定義不同的優先順序，解決了這個問題。限界上下文文法則通過對上下文無關文法G中的兩個推導：
*
S→βArβαγ
+
S→δαε
進行比較以確定α是否是δαε的句柄，以及產生方式A→α是否是唯一可進行歸約的產生式。弗洛伊德經過研究，給出其充分必要條件為：β和δ的最後m個符號相同，丁和o/的最初n個終結符相同。這樣一個上下文無關文法G就稱為（m，n）限界上下文文法。
在演算法方面，弗洛伊德和威廉姆斯（J．Williams）在1964年共同發明了著名的堆排序演算法HEAPSORT，這是與英國學者霍爾 (C.A.R.Hoare，1980年圖靈獎獲得者）發明的QUICKSORT齊名的高效排序演算法之一。此外還有直接以弗洛伊德命名的求最短路的演算法，這是弗洛伊德利用動態規劃（dynamic programming）的原理設計的一個高效演算法。
在程序設計方面，計算機科學家非常關心的一個重要問題是如何表達和描述程序的邏輯，如何驗證程序的正確性。1967年，在美國數學會AMS舉行的應用數學討論會上，弗洛伊德發表了那篇引起轟動並產生了深遠影響的論文，即「如何確定程序的意義」（Assigning Meanings to Programs）。這篇論文在程序邏輯研究的歷史上，是繼麥卡錫（J．McCarthy，1971年圖靈獎獲得者）在1963年提出用遞歸函數作為程序的模型這一方法以後最重大的一個進展。
麥卡錫倡導的方法對於一般程序，包括大型軟體確實是行之有效的，但它有一個不足，即對於許多以命令方式編寫的軟體，其中包括賦值語句，條件語句，用While實現循環的語句……對這樣的程序用遞歸定義的函數去證明其正確性就很不方便了。正是為了解決這個問題，弗洛伊德在上述論文中提出了一種基於流程圖的表達程序邏輯的方法。這個方法的主要特點就是在流程圖的每一弧線上放置一個「標記」（tag），也就是一個邏輯斷言，並且保證只要當控制經過這個弧線時該斷言一定成立。弗洛伊德的主要貢獻在於解決了基於這種標記的形式系統的細節，證明了這種系統的完備性，解決了如何證明程序終結的問題。弗洛伊德還引入了驗證條件的概念，包括流程圖的一個組成部分（方框、圓框等）及其人口和出口處的標記。為了證明帶標記的流程圖的正確性，只要證明其中每一組成部分的驗證條件成立就行了。弗洛伊德提出的方法被叫做「歸納斷言法」（inctive assertion method），或前後斷言法（pre·and post-assertion method）。在框圖每個斷點i上所加的邏輯斷言即標記就叫i點的歸納斷言，說明程序執行經過此點時在各輸入變數x和各程序變數丁之間應存在的關系，以謂詞Pi(x,y）的形式表示。若程序從斷點i經過路段。到下一斷點j的驗證條件以Ra(x，y）表示，丁的值在。上的變化以ha(x，y）表示，則只要能證明下式恆真：
（∨x）（∨y）[pi(x,y）∧Ra(x,y) Pj(x,ha(x,y))]
程序從i到j的部分正確性也就證明了。
雖然用歸納斷言法不能證明程序的完全正確性，因為它必須以程序能夠終結為前提，但由於弗洛伊德在論文中同時也考慮了如何證明程序終結的問題，因此弗洛伊德的歸納斷言法也就有了普遍的意義。

3. 世界上第一個程序員是誰

世界上第一位程序員,也是第一個女程序員,她在計算機還沒出現的時候,就已經開始了程序的設計 。
19世紀詩人拜倫的女兒，數學家。穿孔機程序創始人，建立了循環和子程序概念。為計算程序擬定「演算法」，寫作的第一份「程序設計流程圖」，被珍視為「第一件計算機程序。

Ada Byron Lovelace
The First Computer Programmer
1815 - 1852
阿達·奧古斯塔，1815年生於倫敦，她是英國著名詩人拜倫(L.Byron)的女兒。因父母婚姻破裂，出生5星期後就一直跟隨母親生活。母親安娜·密爾班克（A.Millbanke）是位業余數學愛好者，阿達沒有繼承父親詩一般的浪漫熱情，卻繼承了母親的數學才能。
阿達19歲嫁給了威廉·洛甫雷斯伯爵，因此，史書也稱她為洛甫雷斯伯爵夫人（Lady Lovelace）。由於巴貝奇晚年因喉疾幾乎不能說話，介紹分析機的文字主要由阿達替他完成。阿達的生命是短暫的，她對計算機的預見超前了整整一個世紀。阿達早逝，年僅36歲，與她父親拜倫相似。根據她的遺願，她被葬於諾丁漢郡其父親身邊。
阿達設計了巴貝奇分析機上解伯努利方程的一個程序，並證明當時的19世紀計算機狂人巴貝奇的分析器可以用於許多問題的求解。她甚至還建立了循環和子程序的概念。由於她在程序設計上的開創性工作，Ada Lovelace被稱為世界上第一位程序員。當時的阿達甚至不顧自己已是三個孩子的母親，堅定地投身於分析機研究，成為巴貝奇的合作夥伴。在1843年發表的一篇論文里，阿達認為機器今後有可能被用來創作復雜的音樂、制圖和在科學研究中運用，這在當時確是十分大膽的預見。以現在的觀點看，阿達首先為計算擬定了「演算法」，然後寫作了一份「程序設計流程圖」。這份珍貴的規劃，被人們視為「第一件計算機程序」。
美國國防部據說花了10年的時間，把所需軟體的全部功能混合在一種計算機語言中，希望它能成為軍方數千種電腦的標准。1981年，這種語言被正式命名為ADA（阿達）語言，以紀念這位「世界上第一位軟體工程師」。

4. 電腦程序是誰發明的拜託了各位 謝謝

這個很難界定，看看下面資料吧 1.西元1801年法國人約瑟夫�6�4傑誇德(JosephJacquard)發明使用打孔卡片(Punched carboard card)控制的自動化織布機。對未來電腦的發展引進兩個重要的觀念：一、資訊可以在打孔卡片上編碼(Coded)二、資訊可以儲存在卡片上，而且當這些卡片成串的組合在一起，就可以做為一連串的指令 - 實際上也就是程式。 2.西元1833年英國數學家劍橋大學的查理�6�4巴貝基(Charles Babbage)完成一部差分機(Difference engine)，爾後並完成一部功能更強的機器，稱為分析機(Analytical engine)，這一部機器在觀念上與現代電腦極為相似，對計算機貢獻良多，因尊稱為「電腦之父」。至於分析機的有些構思是來自其密友兼同事 - 蘿蕾斯伯爵夫人(Countess of Lovelace)，即詩人拜侖(Byron)的女兒艾達�6�4奧古斯塔(Ada Augusta)的驚人見解。她被公認為"程式設計的鼻祖"(The first programmer)，她所研究就是一種用來送入分析機，並能使這部機器執行工作的指令。 3. 西元1890年，美國政府授命赫勒里斯製造一部機器，來協助執行1890年美國人口普查工作。這部機器是以打孔片儲存資料，而且是由電力帶動的。由於這部機器的協助，人口普查的統計結果只花了三年的時間就完成了(如1880年度的人口普查資料花了七年的時間才統計完成，而且官員們還擔心著是否會遺漏了其中某些的細節)。 這些發明只是用來輔助計算的工具，它們都沒有記憶與儲存資料的功能， 因此不能稱為 『 電腦 』。 二.發展史：世界上第一部『 電腦 』是由 美國人毛琪雷與愛克特在 1946 年發明。隨著電腦科技之進步，『 電腦 』已由龐然大物演變到現在的微型電腦，也就是我們所稱的 個人電腦 ( Personal Computer ) 簡稱 PC。 三. 電腦的特性： 1.速度快 2.儲存容量大 3.准確性高

5. android論文參考文獻「」

android論文參考文獻「範文」

Android是一種基於Linux的自由及開放源代碼的操作系統，主要使用於移動設備，如智能手機和平板電腦，由Google公司和開放手機聯盟領導及開發。以下是關於android論文參考文獻，希望對大家有幫助!

android論文參考文獻一：

[1] 李鳳銀. 電子公文中多人簽名的設計與實現[J]. 計算機應用研究. 2005(06)

[2] 倪紅軍. 基於Android系統的數據存儲訪問機制研究[J]. 計算機技術與發展. 2013(06)

[3] 聖偉. 加入Android陣營--記首屆亞太地區Android技術大會[J]. 程序員. 2009(06)

[4] 金晨輝，孫瑩. AES密碼演算法S盒的線性冗餘研究[J]. 電子學報. 2004(04)

[5] 尹京花，王華軍. 基於Android開發的數據存儲[J]. 數字通信. 2012(06)

[6] 葉曉靜，黃俊偉. 基於Android系統的多媒體播放器解決方案[J]. 現代電子技術. 2011(24)

[7] 秦凱. Android開源社區應用項目開發的效率研究[D]. 華南理工大學 2012

[8] 李鈺. 基於Android系統的行人檢測設計[D]. 天津大學 2012

[9] 黃鑫. 基於Android的大學生個人課程助理系統的設計與實現[D]. 廈門大學 2014

[10] 祝忠方. 基於Android的移動互聯終端的設計和實現[D]. 北方工業大學 2014

[11] 房鑫鑫. Android惡意軟體實現及檢測研究[D]. 南京郵電大學 2013

[12] 張嘉賓. Android應用的安全性研究[D]. 北京郵電大學 2013

[13] 黃瑩. 基於Android平台智能手機多方通話軟體測試系統的研究與實現[D]. 華中師范大學 2013

[14] 趙朋飛. 智能手機操作系統Google Android分析[J]. 科技視界. 2011(02)

[15] 劉仙艷. 移動終端開放平台-Android[J]. 信息通信技術. 2011(04)

[16] 姚昱旻，劉衛國. Android的架構與應用開發研究[J]. 計算機系統應用. 2008(11)

[17] 陳昱，江蘭帆. 基於Google Android平台的移動開發研究[J]. 福建電腦. 2008(11)

[18] 梁雪梅，盛紅岩，周熙. RSA演算法體制研究[J]. 計算機安全. 2006(12)

[19] 易紅軍，佘名高. MD5演算法與數字簽名[J]. 計算機與數字工程. 2006(05)

[20] 王尚平，王育民，張亞玲. 基於DSA及RSA的證實數字簽名方案[J]. 軟體學報. 2003(03)

[21] 王雯娟，黃振傑，郝艷華. 一個高效的基於證書數字簽名方案[J]. 計算機工程與應用. 2011(06)

[22] 程桂花，齊學梅，羅永龍. AES演算法中的多項式模運算及其性能分析[J]. 計算機技術與發展. 2010(09)

[23] 葉炳發，孟小華. Android圖形系統的分析與移植[J]. 電信科學. 2010(02)

[24] 呂興鳳，姜譽. 計算機密碼學中的加密技術研究進展[J]. 信息網路安全. 2009(04)

android論文參考文獻二：

[1] 蘇祥. 基於耦合鋸齒時空混沌的虛擬光學加密系統[D]. 南京郵電大學 2014

[2] 高繼明. 數字圖書館中的.用戶管理問題研究[D]. 西北師范大學 2006

[3] 賈蕤銘. 基於Android系統的動態密鑰管理方案的研究及實現[D]. 西北師范大學 2014

[4] 鄭亞紅. 無線感測器網路中的密鑰管理方案研究[D]. 西北師范大學 2014

[5] 慕瑩瑩. 無線感測器網路密鑰管理方案[D]. 西北師范大學 2013

[6] 蔡維. 基於RSA的可截取簽名方案的研究[D]. 西北師范大學 2013

[7] 陳志強. 基於質心漂移聚類演算法的LBS隱私保護研究[D]. 南京郵電大學 2014

[8] 陳凱. 融入隱私保護的特徵選擇演算法研究[D]. 南京郵電大學 2014

[9] 王筱娟. Ad-hoc網路密鑰管理方案的相關研究[D]. 西北師范大學 2011

[10] 於曉君. 基於MSC Pool的VLR備份技術的研究與實現[D]. 南京郵電大學 2014

[11] 周靜嵐. 雲存儲數據隱私保護機制的研究[D]. 南京郵電大學 2014

[12] 秦樹東. 音頻數字水印演算法的研究[D]. 南京郵電大學 2014

[13] 孫佳男. 即開型電子彩票發行方案的相關研究[D]. 西北師范大學 2011

[14] 孫龍. 可否認加密與可否認協議[D]. 西北師范大學 2011

[15] 樊睿. 門限代理簽名方案的研究[D]. 西北師范大學 2008

[16] 易瑋. 可搜索加密研究[D]. 西北師范大學 2009

[17] 俞惠芳. 基於自認證的簽密體制的研究[D]. 西北師范大學 2009

[18] 王會歌. 基於無證書公鑰密碼體制的若干簽名方案的研究[D]. 西北師范大學 2009

[19] 賈續涵. PKI中證書撤銷機制和具有前向安全性的數字簽名研究[D]. 西北師范大學 2007

[20] 宋福英. 電子政務系統若干安全問題的研究[D]. 西北師范大學 2007

[21] 龐雅麗. 基於統計的中文新聞網頁分類技術研究[D]. 西北師范大學 2007

[22] 劉軍龍. 可截取簽名體制研究[D]. 西北師范大學 2007

[23] 於成尊. 代理簽名與多銀行電子現金系統研究[D]. 西北師范大學 2007

[24] 藍才會. 具有特殊性質的簽密相關研究[D]. 西北師范大學 2008

[25] 左為平. 指定驗證人代理簽名體制研究[D]. 西北師范大學 2008