Project: Logic Engineering.

       

Category:
Research Group (CAPES/CNPq).

Sector:
Technology management.

Objectives:
Develop Analytical Technology Optimized Decision focused on formal logic (in Calculation Logic and Algebra of Logic), in Argumentation Theory and Deductive Inferential Analysis for Utterance, Assessment and Trou­bleshooting, Processes and Services Real World (in general) and Industry (in particular), establishing their me­thods and techniques. Enable the establishment of effective approaches between Industry and Academia, between Science and Te­chnology.Only when the Industry and Academia come together to solve real-world problems will be allowed to promote the generation of useful knowledge and necessary for the proper development of our nation and for the betterment of the People.

Benefits:
Optimization. Process consistency directors. Prevention of occurrences of logical errors (contradictions). Pro­duce required results. New possibilities of action or directions. Possibilities of the company following dynamic differentiated and more efficient. The reality of business is equated consistently and logically.

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.

Carlos Magno Corrêa Dias 
17/09/2015

Project: Logic Applied to Nanoscience.

      

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 Pro­ducts, 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 correspon­ding 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 fa­vored. 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 produc­tivity.

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