【摘要】：當前,免疫系統(tǒng)是生命科學研究領域的難點,也是熱點。免疫系統(tǒng)是我們生命個體的保護系統(tǒng),如果人體沒有它的存在,我們將飽受外來異物的困擾,甚至付出生命的代價。論文根據(jù)對免疫系統(tǒng)的需求分析,對其進行設計,系統(tǒng)主要包括以下參與者:抗原Ag(antigen)、T細胞(T Cell)和抗原呈遞細胞(APC)。它們是免疫系統(tǒng)中細胞免疫過程的重要工作細胞。仿照這些細胞的運作方式和過程,以元胞自動機和軟件工程方法構建模型。通過免疫系統(tǒng)模型可觀察不同免疫元素之間的相互作用,期望發(fā)現(xiàn)對生命科學有用的規(guī)律。UUML不僅從不同角度來考慮系統(tǒng),而且還從不同側面對系統(tǒng)進行了詳細的描述。它定義了用例圖、類圖、對象圖、狀態(tài)圖、活動圖、序列圖、協(xié)作圖、構件圖、部署圖等。本文從中選取了用例圖、狀態(tài)圖和類圖來描述免疫系統(tǒng)。從系統(tǒng)的各個角度描述,最后將各個角度描述的系統(tǒng)模型進行分析,并將其融合在一起,組成系統(tǒng)的UML模型。UML之所以能受到軟件研發(fā)領域相關人員的喜愛,是因為它具有圖形化描述的特性,與此同時,利用UML做到對項目需求進行完全規(guī)范性與標準性的分析與設計,還有一定困難,UML的發(fā)展也受制于此。論文結合UML和形式化B方法的優(yōu)勢,將免疫系統(tǒng)中的用例圖、狀態(tài)圖和類圖進行從UML到B方法的轉換,用B語言表達建模�？偟膩碚f,用B方法結合UML圖形描述,不但能夠確保項目需求分析與設計的準確性,而且在一定程度上可以避免了 UML本身存在的二義性、不完整性以及不一致性等缺點。通過ProB的自動模型檢測后,我們可以得到準確的規(guī)約,還能發(fā)現(xiàn)一些目前的工具無法發(fā)現(xiàn)或者無法輕易發(fā)現(xiàn)的漏洞。目前,硬件不能決定智能設備的未來。安卓具有開放性、跨平臺、并行運行模式、非壟斷性和趣味性等優(yōu)勢。利用安卓進行仿真工作十分簡單,且設置的仿真參數(shù)可以視具體情況更改,得到的不同仿真結果對比分析起來更加準確。首先定義細胞基類,用來管理各種不同細胞的共同屬性和共同方法。屬性即為所有細胞的共性的集合;方法即為所有細胞共同具備的一系列方法,比如自我生長,自我修復,碰撞檢測,碰撞處理等方法。然后在細胞基類的基礎上,派生出不同的細胞(目前是三種細胞,后續(xù)可以擴充完善),如T細胞,Ag細胞,APC細胞。并豐富其各自的特有屬性和方法,或者重寫父類的方法。定義Draw類,該類主要負責管理細胞,以及將細胞顯示在屏幕上。管理細胞包括添加細胞、刪除細胞、更新細胞狀態(tài)、細胞碰撞檢測(主要用于細胞相互之間的作用)。程序開始界面中可以通過輸入框設置各個細胞的參數(shù)和全局設置,進入到第二個模擬activity中,可以通過菜單鍵來顯示包括細胞數(shù)量曲線圖,來反映細胞的數(shù)量特性。在論文文中,我們通過系統(tǒng)的學習,對免疫系統(tǒng)的整體流程進行了解,然后運用形式化B方法對其進行建模分析,而后進行詳細分析;使用免疫算法進行程序優(yōu)化,最后運用Android平臺進行模擬仿真。模擬運行后得到細胞碰撞圖和相應的數(shù)據(jù),最后在特定的平臺條件下對圖及數(shù)據(jù)進行詳細對比分析,可以發(fā)現(xiàn)本文模擬結果與免疫系統(tǒng)的應答機制結果是一致的,并且所仿真出來的感冒病毒數(shù)據(jù)曲線同樣符合免疫系統(tǒng)之作用規(guī)律。
[Abstract]:At present, immune system is a difficult and hot spot in the field of life science research. Immune system is the protection system of our life. If the human body does not exist, we will suffer from foreign bodies, even pay the cost of life. The following participants: antigen Ag (antigen), T cell (T cell) and antigen presenting cell (APC). They are important working cells in the cellular immune process of the immune system. UUML defines use case diagrams, class diagrams, object diagrams, state diagrams, activity diagrams, sequence diagrams, collaboration diagrams, component diagrams, deployment diagrams, etc. Immune system is described by graph. At last, the system model described by each angle is analyzed and fused to form the UML model of the system. UML is loved by the people concerned in the field of software development because it has the characteristics of graphical description. At the same time, it makes use of UML to do the right thing. It is difficult to analyze and design the requirement of the project completely normalized and standardized, and the development of UML is also restricted by this. Combining the advantages of UML and formalized B method, this paper transforms the use case diagram, state diagram and class diagram of immune system from UML to B method, and expresses the modeling with B language. It not only ensures the accuracy of project requirement analysis and design, but also avoids the disadvantage of ambiguity, incompleteness and inconsistency in UML to a certain extent. After the automatic model checking of ProB, we can get the accurate specification, and find that some current tools can not be found or can not be lightened. At present, hardware can not decide the future of intelligent devices. Android has the advantages of openness, cross-platform, parallel operation mode, non-monopoly and interesting. It is very simple to use Android to simulate, and the simulation parameters can be changed according to the specific situation. The different simulation results are more comparatively analyzed. Precision. First, we define cell-based classes to manage the common attributes and common methods of different cells. Attributes are a collection of common attributes of all cells; methods are a series of methods common to all cells, such as self-growth, self-repair, collision detection, collision processing, etc. Then, we derive from the cell-based classes. Define the Draw class, which is responsible for managing cells and displaying cells on the screen. Management cells include adding cells, deleting cells, and updating. Cell state, cell collision detection (mainly for the interaction between cells). Program start interface can set the parameters of each cell and global settings through the input box, enter the second simulation activity, through the menu key to display including cell number curve, to reflect the number of cells characteristics. Through the study of the system, we understand the whole process of the immune system, then use the formal B method to model and analyze it, and then do a detailed analysis; use the immune algorithm to optimize the program, and finally use the Android platform to simulate. After the simulation run, we get the cell collision diagram and the corresponding data, and finally in the special case. By comparing and analyzing the graph and data in detail under the given platform conditions, it is found that the simulation results are consistent with the response mechanism of the immune system, and the simulated cold virus data curve also conforms to the immune system's action law.
【學位授予單位】：揚州大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：Q81;TP316

【相似文獻】

相關期刊論文 前10條

1 張浩;陳盛云;;基于Android平臺手機防盜追蹤功能的實現(xiàn)[J];江西科學;2011年05期

2 奚洋;劉迪;吳陽;;Android程序開發(fā)學習平臺的設計[J];黑龍江科技信息;2013年16期

3 唐笑林;孫街亭;戴潔;劉治群;;基于Android手機的智能電耗分析系統(tǒng)[J];阜陽師范學院學報(自然科學版);2012年01期

4 楊順;;基于Android平臺的移動開發(fā)人員培養(yǎng)體系的探討[J];科技資訊;2013年08期

5 朱雷;;基于Android的易購便簽項目的設計[J];遼寧師專學報(自然科學版);2013年01期

6 王一姝;;基于Android系統(tǒng)的氣象災情手機直報平臺的設計開發(fā)[J];安徽農(nóng)業(yè)科學;2013年20期

7 思睿;;Android Wear:打響與蘋果穿戴設備的第一槍[J];世界博覽;2014年07期

8 李艷國;;基于Android的移動終端在智能圖書館中的應用[J];科技情報開發(fā)與經(jīng)濟;2012年15期

9 黎林;宋娟;張磊;;基于Android平臺的森林防火助手的研究與設計[J];合肥學院學報(自然科學版);2013年01期

10 李洋;殷云鵬;趙勇;;基于Android的網(wǎng)絡數(shù)據(jù)存儲與訪問[J];中國科技信息;2013年08期

相關會議論文 前10條

1 萬曉燕;徐國慶;;一種Android系統(tǒng)多待機方案設計[A];2011年全國電子信息技術與應用學術會議論文集[C];2011年

2 鮑軒;章堅武;;基于Android的音視頻監(jiān)控軟件的設計[A];浙江省信號處理學會2012學術年會論文集[C];2012年

3 Di Jiaqi;Wang Jianhua;Zhang Long;;The Research in Mobile Learning Based on Android Smartphone Platform Application[A];2012年計算機應用與系統(tǒng)建模國際會議論文集[C];2012年

4 Xin Li;Yumei Zhai;Xiong Li;;Research and Implementation of Face Detection System on Android Smart Phone[A];2013年中國智能自動化學術會議論文集（第二分冊）[C];2013年

5 符易陽;周丹平;;Android安全機制分析[A];第26次全國計算機安全學術交流會論文集[C];2011年

6 金潔;張琳;;基于Android平臺的校園街景的研究和實現(xiàn)[A];2010年通信理論與信號處理學術年會論文集[C];2010年

7 張立;韓銀和;袁小龍;;Android系統(tǒng)網(wǎng)絡模塊功耗的評估和分析[A];第十四屆全國容錯計算學術會議(CFTC'2011)論文集[C];2011年

8 Cheng Chen;Li Liu;Jianguo Chen;Cheng Zhang;;Extracting Language Strings from XML Based on Android[A];Proceedings of 2011 International Conference on Computer Science and Information Technology(ICCSIT 2011)[C];2011年

9 Zhe Chen;Pei-Luen Patrick Rau;Dennis Schumacher;Osama Khan;Poom Laupattarakasem;Cherry Yu;Nam Wahrenberg;;Development of an Android Mobile Application for International Students[A];第八屆和諧人機環(huán)境聯(lián)合學術會議（HHME2012)論文集CHCI[C];2012年

10 魏寧;王金海;;基于Android平臺的多生理參數(shù)檢測系統(tǒng)研究與設計[A];天津市生物醫(yī)學工程學會第三十四屆學術年會論文集[C];2014年

相關重要報紙文章 前10條

1 ;Strategy Analytics:明年Android操作系統(tǒng)將占智能手機2%份額[N];電子資訊時報;2007年

2 技術在線;高通明確表示“將增強對Android的支持”[N];中國電子報;2008年

3 李睿;高通：將增強對Android的支持[N];電子資訊時報;2008年

4 ;今年Android手機銷量將增長9倍[N];計算機世界;2009年

5 中國電子信息產(chǎn)業(yè)發(fā)展研究院培訓中心 潘藩;Android撬動通信市場的新支點[N];通信產(chǎn)業(yè)報;2009年

6 本報記者 連曉東;Android機遇無窮 兩岸攜手1+1>2[N];中國電子報;2010年

7 本報記者 林劍;國內(nèi)廠商角逐Android平臺優(yōu)勢與挑戰(zhàn)并存[N];通信信息報;2010年

8 本報記者 李敬;“安卓”Android之亂[N];計算機世界;2010年

9 韓勖;Android變身“大眾機”[N];計算機世界;2010年

10 ;Android手機今年出貨量預計突破5500萬部[N];計算機世界;2010年

相關博士學位論文 前3條

1 楊歡;協(xié)議漏洞挖掘及Android平臺惡意應用檢測技術研究[D];西安電子科技大學;2014年

2 尹國偉;基于Android的農(nóng)技推廣數(shù)據(jù)可靠采集系統(tǒng)研究[D];中國農(nóng)業(yè)科學院;2014年

3 曾述可;基于靜態(tài)分析的Android操作系統(tǒng)隱私保護機制評估方法研究[D];中國科學技術大學;2014年

相關碩士學位論文 前10條

1 翟宇;基于Android系統(tǒng)下的校園三維地圖的開發(fā)和研究[D];山西農(nóng)業(yè)大學;2015年

2 劉斌;基于Android平臺的個人記賬理財設計與實現(xiàn)[D];華南理工大學;2015年

3 文霞;Android應用程序測試方法研究[D];華南理工大學;2015年

4 曹龍海;基于Android的人物照片分類軟件的設計與實現(xiàn)[D];華南理工大學;2015年

5 陳鵬;基于Android應用的性能監(jiān)控系統(tǒng)的研究與實現(xiàn)[D];華南理工大學;2015年

6 劉暢;基于Android系統(tǒng)的移動監(jiān)測平臺的設計與實現(xiàn)[D];西安石油大學;2015年

7 王宇寧;基于Android的長輸管道巡線系統(tǒng)的研發(fā)[D];西安石油大學;2015年

8 鄒吉軒;基于Android的移動學習系統(tǒng)的設計與實現(xiàn)[D];內(nèi)蒙古大學;2015年

9 董文軒;基于Android平臺攜程結伴LBS的研究與實現(xiàn)[D];長春工業(yè)大學;2015年

10 趙美丹;基于Android的PKM系統(tǒng)的設計與實現(xiàn)[D];內(nèi)蒙古大學;2015年

，

本文編號：2186631