Android平台上的免疫系统模拟
[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平台手机防盗追踪功能的实现[J];江西科学;2011年05期
2 奚洋;刘迪;吴阳;;Android程序开发学习平台的设计[J];黑龙江科技信息;2013年16期
3 唐笑林;孙街亭;戴洁;刘治群;;基于Android手机的智能电耗分析系统[J];阜阳师范学院学报(自然科学版);2012年01期
4 杨顺;;基于Android平台的移动开发人员培养体系的探讨[J];科技资讯;2013年08期
5 朱雷;;基于Android的易购便签项目的设计[J];辽宁师专学报(自然科学版);2013年01期
6 王一姝;;基于Android系统的气象灾情手机直报平台的设计开发[J];安徽农业科学;2013年20期
7 思睿;;Android Wear:打响与苹果穿戴设备的第一枪[J];世界博览;2014年07期
8 李艳国;;基于Android的移动终端在智能图书馆中的应用[J];科技情报开发与经济;2012年15期
9 黎林;宋娟;张磊;;基于Android平台的森林防火助手的研究与设计[J];合肥学院学报(自然科学版);2013年01期
10 李洋;殷云鹏;赵勇;;基于Android的网络数据存储与访问[J];中国科技信息;2013年08期
相关会议论文 前10条
1 万晓燕;徐国庆;;一种Android系统多待机方案设计[A];2011年全国电子信息技术与应用学术会议论文集[C];2011年
2 鲍轩;章坚武;;基于Android的音视频监控软件的设计[A];浙江省信号处理学会2012学术年会论文集[C];2012年
3 Di Jiaqi;Wang Jianhua;Zhang Long;;The Research in Mobile Learning Based on Android Smartphone Platform Application[A];2012年计算机应用与系统建模国际会议论文集[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平台的校园街景的研究和实现[A];2010年通信理论与信号处理学术年会论文集[C];2010年
7 张立;韩银和;袁小龙;;Android系统网络模块功耗的评估和分析[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];第八届和谐人机环境联合学术会议(HHME2012)论文集CHCI[C];2012年
10 魏宁;王金海;;基于Android平台的多生理参数检测系统研究与设计[A];天津市生物医学工程学会第三十四届学术年会论文集[C];2014年
相关重要报纸文章 前10条
1 ;Strategy Analytics:明年Android操作系统将占智能手机2%份额[N];电子资讯时报;2007年
2 技术在线;高通明确表示“将增强对Android的支持”[N];中国电子报;2008年
3 李睿;高通:将增强对Android的支持[N];电子资讯时报;2008年
4 ;今年Android手机销量将增长9倍[N];计算机世界;2009年
5 中国电子信息产业发展研究院培训中心 潘藩;Android撬动通信市场的新支点[N];通信产业报;2009年
6 本报记者 连晓东;Android机遇无穷 两岸携手1+1>2[N];中国电子报;2010年
7 本报记者 林剑;国内厂商角逐Android平台优势与挑战并存[N];通信信息报;2010年
8 本报记者 李敬;“安卓”Android之乱[N];计算机世界;2010年
9 韩勖;Android变身“大众机”[N];计算机世界;2010年
10 ;Android手机今年出货量预计突破5500万部[N];计算机世界;2010年
相关博士学位论文 前3条
1 杨欢;协议漏洞挖掘及Android平台恶意应用检测技术研究[D];西安电子科技大学;2014年
2 尹国伟;基于Android的农技推广数据可靠采集系统研究[D];中国农业科学院;2014年
3 曾述可;基于静态分析的Android操作系统隐私保护机制评估方法研究[D];中国科学技术大学;2014年
相关硕士学位论文 前10条
1 翟宇;基于Android系统下的校园三维地图的开发和研究[D];山西农业大学;2015年
2 刘斌;基于Android平台的个人记账理财设计与实现[D];华南理工大学;2015年
3 文霞;Android应用程序测试方法研究[D];华南理工大学;2015年
4 曹龙海;基于Android的人物照片分类软件的设计与实现[D];华南理工大学;2015年
5 陈鹏;基于Android应用的性能监控系统的研究与实现[D];华南理工大学;2015年
6 刘畅;基于Android系统的移动监测平台的设计与实现[D];西安石油大学;2015年
7 王宇宁;基于Android的长输管道巡线系统的研发[D];西安石油大学;2015年
8 邹吉轩;基于Android的移动学习系统的设计与实现[D];内蒙古大学;2015年
9 董文轩;基于Android平台携程结伴LBS的研究与实现[D];长春工业大学;2015年
10 赵美丹;基于Android的PKM系统的设计与实现[D];内蒙古大学;2015年
,本文编号:2186631
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2186631.html