Vladimir Shpakov

Especificação lógico-dinâmica e implementação de processos híbridos

por computador

• Broschiertes Buch

Produktbeschreibung

A tendência de desenvolvimento de ferramentas de simulação de computador é excluir o trabalho dos programadores na criação e modificação de modelos. O uso de programadores envolve a troca de conhecimentos entre eles e especialistas em áreas temáticas e problemáticas. Esta troca é bastante trabalhosa. A tarefa é fornecer aos especialistas ferramentas que lhes permitam criar especificações de processos executáveis. O livro é dedicado à descrição e estudo experimental da abordagem lógico-dinâmica transitiva da especificação e implementação de processos por computador. A especificação é a base das regras de transformação que determinam a relação da sequência entre o estado actual do processo e o seu estado após um determinado período de tempo. Os exemplos mostram as capacidades da abordagem para implementar os processos especificados pelos modelos físicos e matemáticos dos sistemas, e os esquemas estruturais dos processos elementares. O livro pode ser de interesse para pesquisadores de sistemas dinâmicos, professores e estudantes.

Produktdetails

• Verlag: Novas Edicioes Academicas
• Seitenzahl: 184
• Erscheinungstermin: 1. April 2020
• Portugiesisch
• Abmessung: 220mm x 150mm x 12mm
• Gewicht: 292g
• ISBN-13: 9786200797650
• ISBN-10: 620079765X
• Artikelnr.: 59046733

Autorenporträt

Shpakov Vladimir, Ph.D., senior onderzoeker van het St. Petersburg Instituut voor Informatica en Automatisering van de Russische Academie van Wetenschappen. Wetenschappelijke belangen hebben betrekking op de specificatie en de computerimplementatie van gestructureerde sets van op elkaar inwerkende discrete-continue processen.