Información del autor
Autor Sun, Jing |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs / Liu, Dehua
TÃtulo : The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs Tipo de documento: documento electrónico Autores: Liu, Dehua, ; Sun, Jing, 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. Idioma : Inglés (eng) 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 Clasificación: 551 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. Tipo de medio : Computadora Summary : The book is focused primarily on characteristics and determinative methods of reservoir orientation, the concept of vector well pattern and corresponding realistic techniques of well pattern deployment, well pattern control principles, Optimum design of well pattern based on the reservoir direction characteristics, and the schemes of well spacing density regulation at different stages of development. The procedures for improving water flooding efficiency have been provided. This book is suitable for reservoir engineering managers, reservoir engineers, and students of petroleum engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs [documento electrónico] / Liu, Dehua, ; Sun, Jing, . - 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.
Idioma : Inglés (eng)
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 Clasificación: 551 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. Tipo de medio : Computadora Summary : The book is focused primarily on characteristics and determinative methods of reservoir orientation, the concept of vector well pattern and corresponding realistic techniques of well pattern deployment, well pattern control principles, Optimum design of well pattern based on the reservoir direction characteristics, and the schemes of well spacing density regulation at different stages of development. The procedures for improving water flooding efficiency have been provided. This book is suitable for reservoir engineering managers, reservoir engineers, and students of petroleum engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
