Category:
Research Group (CAPES/CNPq).
Development Sector:
Electroeletronics and Electronic Instrumentation.
Objectives:
Structure Calculation Logic for the institution of a formal logic applied to the Nanoscience and Nanotechnology (in general) and Nanomachines (in particular) focused on the generation Deductive Inferential Analysis of Products, Services or dependent processes of fundamental determinants and corresponding structures that will ensure Completeness, Consistency and Correctness Logic. The main motivation for the development of the project in reference is the possibility of building a corresponding formal calculation that will logically and formally evaluate the corresponding arguments which may be developed in Nanoscience.
Benefits:
Faster and more intense will be generated real-world applications. Building nanomáquimas will be heavily favored. Dissipation of previous redundancies and increase efficiency. Promoting greater competitiveness. Prior development of methods and techniques consistent to ensure space-saving and energy, and increased productivity.
Responsible/Coordinator Researcher:
Carlos Magno Corrêa Dias.
In “Catálogo de inovação (Innovation catalog) - Universidade Tecnológica Federal do Paraná”. Curitiba: Ed. UTFPR, 2011. ISSN impresso 2178-4000. ISSN CD ROM 2237-4000. Catálogo de Inovação - UTFPR.
16/09/2015