Optimization Models and Methods for Equilibrium Traffic Assignment / Krylatov, Alexander  

Público ISBD Ningún comentario para este registro. Título : Optimization Models and Methods for Equilibrium Traffic Assignment Tipo de documento: documento electrónico Autores: Krylatov, Alexander, Autor ; Zakharov, Victor, Autor ; Tuovinen, Tero, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 228 p. 29 ilustraciones, 22 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-34102-2 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 Transporte  Ingeniería de tráfico  Optimización matemática  Teoría de juego  Tecnología del Transporte e Ingeniería de Tráfico  Mejoramiento Índice Dewey: 629.04 Resumen: Este libro se centra en la discusión del problema de asignación de tráfico, el significado matemático y práctico de variables, funciones y principios básicos. Este trabajo brinda información sobre nuevos enfoques, métodos y algoritmos basados ​​en técnicas metodológicas originales, desarrollados por los autores en sus publicaciones durante los últimos años, así como las correspondientes implementaciones prospectivas. El libro puede ser de interés para una amplia gama de lectores, como estudiantes de ingeniería civil, ingenieros de tráfico, desarrolladores de algoritmos de asignación de tráfico, etc. Los resultados obtenidos aquí se utilizarán tanto en la práctica como en la teoría. Este libro está dedicado al problema de asignación de tráfico, formulado en forma de programa de optimización no lineal. Los algoritmos de solución más eficientes relacionados con el problema se basan en sus características estructurales y significado práctico en lugar de técnicas o enfoques de optimización no lineal estándar. Los autores han considerado cuidadosamente el significado del problema de asignación de tráfico para el desarrollo de algoritmos eficientes. . Nota de contenido: Introduction -- Optimization traffic assignment models -- Optimization traffic assignment methods -- Optimization models and methods for network design -- Networking issues. 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 Optimization Models and Methods for Equilibrium Traffic Assignment [documento electrónico] / Krylatov, Alexander, Autor ; Zakharov, Victor, Autor ; Tuovinen, Tero, Autor  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XI, 228 p. 29 ilustraciones, 22 ilustraciones en color. ISBN : 978-3-030-34102-2 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 Transporte  Ingeniería de tráfico  Optimización matemática  Teoría de juego  Tecnología del Transporte e Ingeniería de Tráfico  Mejoramiento Índice Dewey: 629.04 Resumen: Este libro se centra en la discusión del problema de asignación de tráfico, el significado matemático y práctico de variables, funciones y principios básicos. Este trabajo brinda información sobre nuevos enfoques, métodos y algoritmos basados ​​en técnicas metodológicas originales, desarrollados por los autores en sus publicaciones durante los últimos años, así como las correspondientes implementaciones prospectivas. El libro puede ser de interés para una amplia gama de lectores, como estudiantes de ingeniería civil, ingenieros de tráfico, desarrolladores de algoritmos de asignación de tráfico, etc. Los resultados obtenidos aquí se utilizarán tanto en la práctica como en la teoría. Este libro está dedicado al problema de asignación de tráfico, formulado en forma de programa de optimización no lineal. Los algoritmos de solución más eficientes relacionados con el problema se basan en sus características estructurales y significado práctico en lugar de técnicas o enfoques de optimización no lineal estándar. Los autores han considerado cuidadosamente el significado del problema de asignación de tráfico para el desarrollo de algoritmos eficientes. . Nota de contenido: Introduction -- Optimization traffic assignment models -- Optimization traffic assignment methods -- Optimization models and methods for network design -- Networking issues. 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

Tools and Methods of Program Analysis / Itsykson, Vladimir ; Scedrov, Andre ; Zakharov, Victor  

Público ISBD Ningún comentario para este registro. Título : Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Itsykson, Vladimir, ; Scedrov, Andre, ; Zakharov, Victor, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVIII, 209 p. 71 ilustraciones ISBN/ISSN/DL: 978-3-319-71734-0 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  Computadoras digitales electrónicas  Simulación por ordenador  Sistemas operativos (computadoras)  Inteligencia artificial  Compiladores (programas informáticos)  Rendimiento y evaluación del sistema  Modelado por computadora  Sistemas operativos  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Herramientas y Métodos para el Análisis de Programas, TMPA 2017, Moscú, Rusia, 3 y 4 de marzo de 2017. Los 12 artículos completos revisados ​​y los 5 artículos breves revisados ​​se presentan junto con tres resúmenes de las ponencias principales. Las charlas fueron cuidadosamente revisadas y seleccionadas entre 51 presentaciones. Los artículos tratan temas como la automatización de pruebas de software, análisis estático de programas, verificación, métodos dinámicos de análisis de programas, pruebas y análisis de sistemas paralelos y distribuidos, pruebas y análisis de sistemas de alta carga y alta disponibilidad, análisis y verificación de hardware. y sistemas de software, métodos para construir software de calidad, herramientas para análisis, pruebas y verificación de software. . Nota de contenido: Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification. 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 Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers [documento electrónico] / Itsykson, Vladimir, ; Scedrov, Andre, ; Zakharov, Victor,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XVIII, 209 p. 71 ilustraciones. ISBN : 978-3-319-71734-0 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  Computadoras digitales electrónicas  Simulación por ordenador  Sistemas operativos (computadoras)  Inteligencia artificial  Compiladores (programas informáticos)  Rendimiento y evaluación del sistema  Modelado por computadora  Sistemas operativos  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Herramientas y Métodos para el Análisis de Programas, TMPA 2017, Moscú, Rusia, 3 y 4 de marzo de 2017. Los 12 artículos completos revisados ​​y los 5 artículos breves revisados ​​se presentan junto con tres resúmenes de las ponencias principales. Las charlas fueron cuidadosamente revisadas y seleccionadas entre 51 presentaciones. Los artículos tratan temas como la automatización de pruebas de software, análisis estático de programas, verificación, métodos dinámicos de análisis de programas, pruebas y análisis de sistemas paralelos y distribuidos, pruebas y análisis de sistemas de alta carga y alta disponibilidad, análisis y verificación de hardware. y sistemas de software, métodos para construir software de calidad, herramientas para análisis, pruebas y verificación de software. . Nota de contenido: Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification. 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