000			04281nam a2200397za04500
001			16191
008			050703s2011 xxk eng d
020			_a9780857290977 99780857290977
082			_a519 _b223
100			_aCheng, Daizhan. _eauthor. _933822
245			_aAnalysis and Control of Boolean Networks _h[electronic resource]: _bA Semi-tensor Product Approach / _cby Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
260			_aReino Unido:
300			_aXVI, 472 p. _bonline resource.
490			_aCommunications and Control Engineering
490			_x-0178-5354
505			_aPropositional Logic -- Semi-tensor Product of Matrices -- Matrix Expression of Logic -- Logical Equation -- Topological Structure of Boolean Networks -- Input-state Approach of Boolean Control Networks -- Controllability and Observability of BCN -- Realization of BCN -- Stability and Stabilization -- Disturbance Decoupling -- k-valued Network -- Input - Output Decomposition -- Random Boolean Network -- Appendix: Numerical Algorithms.
520			_aLa red booleana se ha convertido en una herramienta poderosa para la descripción y la simulación de redes celulares en los que los elementos se comportan de un modo de encendido y apagado . Análisis y Control de Redes Booleanas presenta un nuevo enfoque sistemático para la investigación de las redes de control de Boole . La herramienta fundamental de este enfoque es un producto matriz novela llamada el producto semi - tensor (STP ) . Uso de la STP , una función lógica puede ser expresado como un sistema lineal de tiempo discreto convencional . A la luz de esta expresión lineal , algunas cuestiones importantes relativas a la topologÍa de red Boolean - puntos fijos , ciclos , tiempos transitorios y las cuencas de los atractores - pueden ser fácilmente revelada por un conjunto de fórmulas . Esta estructura hace que el enfoque de espacio de estado de sistemas dinámicos de control aplicables a las redes de control de Boole . La representación bilineal - sistémica de una red de control booleano hace que sea posible para investigar los problemas de control básicas, incluyendo controlabilidad , observabilidad , estabilización , desacoplamiento perturbación , la identificación , el control óptimo , etcEl libro es en sÍ misma, que sólo requiere conocimientos de álgebra lineal y los conceptos básicos de la teorÍa de control de sistemas lineales . Se comienza con una breve introducción a la lógica proposicional y de los conceptos y propiedades de la STP y progresando a través de la expresión ( bi ) lineales de las redes booleanas ( control) a la disociación alteración y descomposición de los sistemas de control de Boole . Finalmente la lógica de varios valores se considera como una forma más precisa de describir las redes reales y las redes booleanas estocásticos se tocan . Cálculos numéricos relevantes se explican en un apéndice y una caja de herramientas de MATLAB ® para los algoritmos en el libro se puede descargar desde http://lsc.amss.ac.cn _adcheng ~ _a.Análisis y control de las redes booleanas serán una referencia fundamental para los investigadores en la biologÍa de sistemas , control, ciencia de los sistemas y de la fÍsica . El libro fue desarrollado para un curso corto para estudiantes de posgrado y es adecuado para tal fin. CientÍficos y lógicos informáticos también pueden encontrar este libro sea de interés.
650			_aMODELOS BIOLOGICOS _933824
650			_923197 _aMATHEMATICS
650			_aControl. _924383
650			_933829 _aMATHEMATICAL LOGIC AND FORMAL LANGUAGES
650			_933828 _aSYSTEMS BIOLOGY
650			_933826 _aMATHEMATICAL AND COMPUTATIONAL BIOLOGY
650			_933827 _aBIOLOGICAL NETWORKS, SYSTEMAS BIOLOGY
650			_93378 _aMATEMÁTICAS _6HISTORIA, GECIA
650			_933972 _aSYSTEMS THEORY
650			_9604 _aTEORÍA DE SISTEMAS
650			_923205 _aCIENCIA DE LA COMPUTACIÓN
700			_aQi, Hongsheng. _933830
700			_eauthor. _933831
700			_aLi, Zhiqiang. _933832
700			_eauthor. _933831
710			_aSpringerLink (Online service) _9111
856			_uhttp://springer.escuelaing.metaproxy.org/book/10.1007/978-0-85729-097-7 _yir a documento _qURL
942			_2ddc _cCF
999			_c13760 _d13760