The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs / Liu, Dehua  

Público ISBD Ningún comentario para este registro. Título : The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs Tipo de documento: documento electrónico Autores: Liu, Dehua, Autor ; Sun, Jing, Autor Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 384 p. 263 ilustraciones ISBN/ISSN/DL: 978-3-662-53287-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Geología  Cogeneración de energía eléctrica y calor  Combustibles fósiles  Ingeniería Industrial  Ingeniería de Producción  Combustible fósil  Ingeniería Industrial y de Producción Índice Dewey: 551 Geología. hidrología. meteorología Resumen: El libro se centra principalmente en las características y métodos determinantes de la orientación del yacimiento, el concepto de patrón de pozo vectorial y las correspondientes técnicas realistas de implementación del patrón de pozo, los principios de control del patrón de pozo, el diseño óptimo del patrón de pozo basado en las características de dirección del yacimiento y los esquemas de Regulación de densidad de espaciamiento de pozos en diferentes etapas de desarrollo. Se han proporcionado los procedimientos para mejorar la eficiencia de la inundación de agua. Este libro es adecuado para gerentes de ingeniería de yacimientos, ingenieros de yacimientos y estudiantes de ingeniería petrolera. Nota de contenido: Geological foundation of well network optimization -- Reservoir direction characteristics and permeability distribution law -- Theory of Injection and production well network optimization control -- Principles and methods of vector well network -- Well network pattern on different reservoir characteristics -- Analysis of the application of vector well network -- Complex well network optimal design -- Determination of reasonable well network density. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs [documento electrónico] / Liu, Dehua, Autor ; Sun, Jing, Autor  . -  1 ed.  . - Berlin [Alemania] : Springer, 2017 . - XIV, 384 p. 263 ilustraciones. ISBN : 978-3-662-53287-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Geología  Cogeneración de energía eléctrica y calor  Combustibles fósiles  Ingeniería Industrial  Ingeniería de Producción  Combustible fósil  Ingeniería Industrial y de Producción Índice Dewey: 551 Geología. hidrología. meteorología Resumen: El libro se centra principalmente en las características y métodos determinantes de la orientación del yacimiento, el concepto de patrón de pozo vectorial y las correspondientes técnicas realistas de implementación del patrón de pozo, los principios de control del patrón de pozo, el diseño óptimo del patrón de pozo basado en las características de dirección del yacimiento y los esquemas de Regulación de densidad de espaciamiento de pozos en diferentes etapas de desarrollo. Se han proporcionado los procedimientos para mejorar la eficiencia de la inundación de agua. Este libro es adecuado para gerentes de ingeniería de yacimientos, ingenieros de yacimientos y estudiantes de ingeniería petrolera. Nota de contenido: Geological foundation of well network optimization -- Reservoir direction characteristics and permeability distribution law -- Theory of Injection and production well network optimization control -- Principles and methods of vector well network -- Well network pattern on different reservoir characteristics -- Analysis of the application of vector well network -- Complex well network optimal design -- Determination of reasonable well network density. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Formal Methods and Software Engineering / Sun, Jing ; Sun, Meng  

Público ISBD Ningún comentario para este registro. Título : Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Tipo de documento: documento electrónico Autores: Sun, Jing, ; Sun, Meng, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXII, 474 p. 115 ilustraciones ISBN/ISSN/DL: 978-3-030-02450-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Ciencias de la Computación  Computadoras digitales electrónicas  Ordenadores  Profesiones  Teoría de las máquinas  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  La profesión informática  Lenguajes formales y teoría de los autómatas  Sistemas de propósito especial y basados ​​en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2018, celebrada en Gold Coast, QLD, Australia, en noviembre de 2018. Los 22 artículos completos revisados ​​presentados junto con 14 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 66 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos formales de ingeniería, como la verificación; sistemas de red; teoría de tipos; demostración de teoremas; lógica y semántica; sistemas de refinamiento y transición; y aplicaciones emergentes de métodos formales. Nota de contenido: Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings [documento electrónico] / Sun, Jing, ; Sun, Meng,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XXII, 474 p. 115 ilustraciones. ISBN : 978-3-030-02450-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Ciencias de la Computación  Computadoras digitales electrónicas  Ordenadores  Profesiones  Teoría de las máquinas  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  La profesión informática  Lenguajes formales y teoría de los autómatas  Sistemas de propósito especial y basados ​​en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2018, celebrada en Gold Coast, QLD, Australia, en noviembre de 2018. Los 22 artículos completos revisados ​​presentados junto con 14 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 66 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos formales de ingeniería, como la verificación; sistemas de red; teoría de tipos; demostración de teoremas; lógica y semántica; sistemas de refinamiento y transición; y aplicaciones emergentes de métodos formales. Nota de contenido: Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 2 / 2) Par page : 25 50 100 200