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

SNCT 2015 Convida à PARTICIPAÇÃO.

  

No período de 19 a 25 de outubro de 2015 será realizada a XII Semana Nacional de Ciência e Tecnologia (SNCT), com o tema: LUZ, CIÊNCIA E VIDA. 

A SNCT constitui o principal evento de popularização e difusão da Ciência e da Tecnologia no Brasil. Somos todos convidados a participar criando e provendo eventos relacionados com Ciência e Tecnologia. 

A SNCT constitui, também, uma excelente oportunidade para promover as necessárias aproximações entre a Indústria e a Universidade, para o estabelecimento das exigidas interações entre a Academia e o Mundo do Trabalho, para conseguirmos o efetivo relacionamento entre Ciência e Tecnologia.

Carlos Magno Corrêa Dias
08/09/2015

Perspectivas Póstumas Implicam Prospectivas Indevidas.

  
Agir em função das visões de futuro é deixar-se escravizar pela utopia do talvez.

Carlos Magno Corrêa Dias
26/08/2015

Mágicos Transformando o Mundo.

  
Mesmo que não exista qualquer fama os ARTISTAS são aqueles seres mágicos que tornam o mundo um lugar mais suportável. No dia 24 de agosto celebra-se o DIA DOS ARTISTAS. Para todos os ARTISTAS: os aplausos e as felicitações.

Carlos Magno Corrêa Dias
24/08/2015

Dilema da Aprendizagem Retroativa.

    
O transcorrer da vida nos proporciona a aquisição de novos significados na medida em que nos permitimos a melhor apreciação e interpretação das situações que já vivenciamos.

Carlos Magno Corrêa Dias
19/08/2015

De uma fusão anunciada para a possível transcendência.

  
Em 15 de agosto de 1946 entrava em operação o ENIAC (Electronic Numerical Integrator Analyzer and Computer), o qual é considerado como o primeiro computador digital eletrônico programável de grande escala; não sendo, entretanto, o primeiro computador, haja vista já existirem antes os computadores eletromecânicos tal qual o MARK I.

Abrindo as fronteiras ilimitadas para a criação dos computadores digitais (programáveis) o ENIAC foi construído entre os anos de 1943 e 1945, durante a Segunda Guerra Mundial; tendo sido concebido com o objetivo principal de realizar cálculos balísticos.

Composto por 17.468 (dezessete mil, quatrocentas e sessenta e oito) válvulas termiônicas (de 160 kW de potência), de 1.500 (mil e quinhentos) relés e uma quantidade enorme de capacitores, resistores, dentre outros componentes, sua capacidade de processamento era de 5.000 (CINCO MIL) operações por segundo (capacidade impensável antes de sua criação, mas facilmente superada pelas calculadoras científicas criadas a partir da década de 70).

O ENIAC era programado por uma equipe de 80 (oitenta) mulheres cuja função constituía em resolver “manualmente” as equações necessárias para os cálculos de balística (o que era conseguido mediante a manipulação de milhares de interruptores que assumiam o valor 0 ou 1 conforme estivessem desligados ou ligados).

Para testar o ENIAC foram escolhidas, dentre cerca duzentas candidatas, seis mulheres (cinco delas matemáticas de formação) para criar um algoritmo e realizar a implementação do mesmo no ENIAC.

Atualmente reconhecemos estas profissionais como as primeiras PROGRAMDORAS (COMPUTADORAS ELETRÔNICAS) da história da INFORMÁTICA; quais sejam: Kathleen "Kay" McNulty Mauchly Antonelli (1921-2006), Betty Jean Jennings (nascida Jean Bartik, 1924-2011), Frances Elizabeth "Betty" Holberton (nascida Frances Elizabeth Snyder, 1917-2001), Marlyn Meltzer (nascida Marlyn Wescoff, 1922-2008), Frances Spence (nascida Frances Bilas, 1922-2012) e Ruth Lichterman Teitelbaum (1924-1986).

“Informatik” (1956), “Informatique” (1962), “Informatika” (1966), INFORMÁTICA. Independentemente do vocábulo originalmente adotado atualmente, no dia 15 de agosto celebramos o DIA DA INFORMÁTICA e alvitramos desenvolvimentos cada vez mais intensificados na correspondente área do saber.

A Informática, de forma muito geral, pode ser definida como a ciência que estuda o processamento automático de informações por intermédio do computador; não sendo lícito confundir Informática com computador haja vista que a Informática existe em decorrência da existência do computador.

Todavia, a Informática é, por muitas vezes, tomada como o conjunto das ciências relacionadas ao armazenamento, transmissão e processamento de informações em meios digitais; ou como o processo de tratamento da informação por meio de máquinas eletrônicas; ou como a ciência que estuda o conjunto de informações e conhecimentos por meios digitais; ou, ainda, como a ciência que estuda o processamento automático de informações por meio do computador (o qual, em particular, ou em última análise, é apenas uma máquina (no sentido estrito do termo)).

Mas, a Informática é entendida, também, como a ciência que funde, em dada medida e em particular grau de complexidade, os conceitos de Matemática e Informação, áreas estas incompletas, incompletáveis e de infindas possibilidades (no sentido de constituírem campos abertos em ampla expansão).

Na associação intrínseca estabelecida entre Matemática, Informação e Máquina Programável estabelecemos, entretanto, os caminhos da “transcendência” nos mais diversos e distintos sentidos os quais o homem vem trilhando incansavelmente.

Que a INFORMÁTICA sempre avance para a melhoria de vida dos humanos.

Carlos Magno Corrêa Dias
15/08/2015

IBM 5150, um Privilégio na História.

  
O revolucionário (fantástico) IBM Personal Computer (PC) 5150 [Sistema Operacional: IBM BASIC / PC DOS 1.0, CP/M-86, UCSD p-System; CPU com processador INTEL 8088 de 4,77 MHz (versão econômica do processador 8086); Memória: 64 KB RAM e 40 KB ROM; duas unidades de disquetes de 5,25 polegadas (com capacidade de 160 KB); sem disco rígido] foi colocado no mercado no dia 12 de agosto de 1981. 

Em novembro de 1981 adquiri um destes (Foto: Wikipédia). Quem teve um IBM PC 5150 nunca esquece a satisfação ímpar experimentada. Fomos privilegiados.

Carlos Magno Corrêa Dias
12/08/2015

Sobrepujando Limites Inexistentes.

Numa perspectiva holística escondem-se mistérios ontológicos de provas impossíveis.

Carlos Magno Corrêa Dias
11/08/2015

Antinomias Paradoxais Condicionais.

No mundo das contingências enunciam-se sentenças tautológicas que escondem evidências contraválidas.

Carlos Magno Corrêa Dias

22/07/2015