Abstract
Introduces two kinds of cytokine network model that already exist, and describes some of problems in the two models. This paper presents a new model system: IMMUNE-B, This model is created using B method. B method is one of the most popular international practical formal method currently, people use it to write software system specification, system design and description, It has many advantages. And the model uses computer program to simulate the process of cytokine network of the immune system. The simulation results are basically consistent with the prediction, it illustrate the model have it’s real research value. It provides a new way for research of the cytokine network.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Qiu, Z.: Translation, B method. Electronics Industry Press (June 2004)
Lano, K.: The B Language and Method: A Guide to Practice Formal Development. Springer, Heidelberg (1996)
Liu, Z.-Q., Ding, Y.-S., Zhang, X.-F.: Gio-entity inspired from immuneTSTS model for distributed intrusion detection system. Dy—nBxnics of Continuous, Discrete and Impulsive Systems-Series B: Applications & Algorithms 13(8), 46–50 (2009)
Lu, D. (ed.): Modern Immunology. Shanghai Science and Technology Press (December 1995)
Patti, J.M., Mia, K., Hon, S.I.: Virology 391(1), 64 (2009)
Chavez, L., Bais, A.S., Vingron, M., Lehrach, H., Adjaye, J., Herwig, R.: In silico identification of a core regulatory network of OCT4 in human embryonic stem cells using an integrated approach. BMC Genetics (2009)
Zou, S., Teng, T., Yang, X.-p.: Based on the B method of authentication technology. Modern Electronic Technology (October 2007)
Welch, D.R., Genoni, T.C., Cohen, S.A., Glasser, A.H.: Particle-in-Cell Modeling of Field Reversed Configuration Formation by Odd-parity Rotating Magnetic Fields. Journal of Fusion Energy 29(6) (2010)
Zou, S.: Formally Specifying T Cell Cytokine Networks with B Method. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol. 3314, pp. 385–390. Springer, Heidelberg (2004)
Zou, S.R.: Formally Specifying T Cell Cytokine Networks with B Method. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol. 3314, pp. 385–390. Springer, Heidelberg (2004)
Yun, H., Zhao, Y., Wang, J.: Modeling and simulation of fuel cell hybrid vehicles. International Journal of Automotive Technology 11(2) (2010)
Zou, S.: Modeling T cell Activation with B Mothod. In: SCBA Internation Symposium, p. 369 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheng, X., Chen, B. (2011). The Simulation System of Cytokine Network Based IMMUNE-B. In: Liu, B., Chai, C. (eds) Information Computing and Applications. ICICA 2011. Lecture Notes in Computer Science, vol 7030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25255-6_53
Download citation
DOI: https://doi.org/10.1007/978-3-642-25255-6_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25254-9
Online ISBN: 978-3-642-25255-6
eBook Packages: Computer ScienceComputer Science (R0)