Novos PIs Ampliando Possibilidades.

Terminado o primeiro semestre civil de 2013, contabilizo o recebimento de mais três Registros de Propriedade Intelectual (PI), o que vem contribuir, mais uma vez, para o cumprimento de parte de minhas prerrogativas científicas e sociais.

Os dois últimos PIs que recebi são referentes aos meus artigos político-filosóficos “Simbiose Mantida para o Desenvolvimento da Ciência” e “Lógica Analítica Inferencial”. O outro PI, do conjunto referenciado, é devido ao meu livro “Conjecturas em Imagens”, editado em 2010, publicado recentemente e com Depósito Legal na Biblioteca Nacional.

Conforme faço observar no prefácio de “Conjecturas em Imagens” apresento nesta obra alguns de meus trabalhos plásticos desenvolvidos até o ano de 2004, inclusivamente. Na exposição não é apresentado um resumo intelectual de meus trabalhos na área, “mas apenas algumas poucas obras previamente escolhidas que pretendem dar a dimensão daquilo que se pode supor ao deparar-se com o título da correspondente exposição”.

“Hipóteses, suposições, conjecturas que não dependem de conceitos, de regras, de instruções, mas sim do olhar de quem observa e sente. Idealizações sem normas regimentais que pretendem ser fiéis à liberdade de criar para impor na alma impressões da existência.” Assim é “Conjecturas em Imagens”.

Quanto aos artigos, no primeiro, trato das necessárias e imprescindíveis contribuições de Anício Mânlio Torquato Severino Boécio (c. 480 - 525/26) para a continuidade das Ciências, enfatizando que sem as quais, a despeito de quaisquer apologias, não seria possível aproveitar os momentos de desenvolvimento que atingimos desde então. Já no segundo artigo político-filosófico em referência, considero, na forma de prolegômenos, os pressupostos analíticos necessários para, em Lógica Formal, avaliar e corrigir argumentos dedutivos sentenciais.

Ressalto, a propósito dos artigos em referência, que os mesmos foram tornados públicos, estando disponíveis para consulta na WWW.

Carlos Magno Correa Dias
05/07/2013

Engenharia Lógica Conversa com a Indústria.

Objetivando promover a aproximação e consequente interação entre a Indústria do Setor Metal Mecânico e a Universidade Tecnológica Federal do Paraná (UTFPR), foi realizado no último dia 02 de julho de 2013, no Campus Curitiba da UTFPR, a Primeira Rodada Tecnológica do Setor Metal Mecânico, a qual foi promovida pela Federação das Indústrias do Paraná (FIEP), por meio dos Observatórios SESI/SENAI/IEL e da UTFPR.

Alavancando oportunidades tanto de negócios quanto de pesquisas o evento constituiu importante momento quando nós, professores e pesquisadores da UTFPR e representantes das Indústrias, tivemos a oportunidade de considerar nossos estudos e pesquisas para atender eventuais demandas das Indústrias do Estado do Paraná. Presente ao evento, como um dos trinta e oito pesquisadores da UTFPR que aceitaram o convite de participação, tive a oportunidade de apresentar, de acordo com a agenda previamente definida pelos organizadores, parte de meus estudos e pesquisas na área de conhecimento que tenho chamado de “Engenharia Lógica”.

Independentemente das possibilidades de negócios gerados, das consultorias firmadas, das pesquisas contratadas, ou de quaisquer outros aspectos possíveis a considerar, vejo o encontro como uma iniciativa muito importante na tentativa de uma aproximação efetiva entre a Indústria e a Academia, justaposição esta que venho defendendo há algum tempo. Somente quando Indústria e Academia se unirem para a solução de problemas comuns é que conseguiremos promover a necessária relação entre Ciência e Tecnologia para atingirmos o desenvolvimento adequado para a nossa Nação.

Considerando apenas alguns métodos e técnicas formais de avaliação e de correção de processos ou de serviços decorrentes dos estudos e pesquisas que tenho desenvolvido em Engenharia Lógica, campo no qual desenvolvo metodologias formais para a aquisição de conhecimento logicamente estruturado, fiz observar as vantagens decorrentes de tais técnicas e métodos quando aplicadas em quaisquer setores da Indústria que objetivam, de um lado, a otimização dos processos e serviços e, de outro, que obrigam evidenciar as possíveis situações contraválidas ou contradições existentes nos distintos setores das Instituições para a imediata correção quando se venha pretender a necessária otimização do sistema avaliado como um todo.

O procedimento que apresentei consiste, em linhas muitos gerais, basicamente, em um primeiro momento, na decodificação dos processos e serviços desenvolvidos na Indústria para transformação dos mesmos em estruturas formais independentes da materialidade das estruturas manipuladas nos distintos setores da Indústria estudada (segundo uma analítica própria que estruturei). As rotinas ou atividades dos distintos setores são transformadas em códigos os quais agrupados em sentenças analíticas passam a constituir informações bivalentes e dicotômicas de uma linguagem artificial estrita e determinante (representativa da realidade da empresa) que sofrerá a ação de uma álgebra (de um cálculo, segundo operações e relações formais) segundo propriedades lógicas e matemáticas específicas que criei para se avaliar a consistência e a validade dos modelos analíticos construídos.

Em uma segunda fase, as sentenças formais geradas são avaliadas segundo as restrições do modelo formal gerado objetivando a consistência, a unicidade, a correção e a completude total para obtenção da otimização, eliminando todos os agentes que, eventualmente, não venham garantir a correção final do sistema como um todo. São assim, a partir do mapeamento da Indústria em estudo, estruturados diversos argumentos dedutivos (finitos) que são postos em análise para eliminar qualquer procedimento que venha gerar contradição (erro) no sistema como um todo. 

Depurado o modelo, retirado tudo aquilo que é desnecessário, constrói-se uma “máquina” formal (dissociada da materialidade ou da realidade) que permitirá ser gerenciada sob a ótica da consistência para garantir resultados ótimos, modelo este que, também, permitirá garantir escolhas dependendo dos rumos que se objetive seguir. A empresa é, então, transformada em um conjunto de fórmulas proposicionais que se relacionam para manter a lógica e a consistência pretendida.
 
Em uma terceira fase é construído um mapa de decisão formal (tomando-se por bases as fontes construídas na fase anterior) centrado na concepção dedutiva que identificado estritamente o conjunto finito de informações (não prolixas, mas imprescindíveis), ditas premissas da realidade da empresa, seja, sempre possível ao gestor gerar novas conclusões (ou resultados) ou prever futuras consequências as quais, por sua vez, passarão a integrar o conjunto inicial de informações formando um novo núcleo mais potente que obrigará, na sequência do desenvolvimento, novas consequências; num processo sucessivo de detalhamento e evolução contínua da empresa.
 
O modelo proposto foi considerado com entusiasmo pelos participantes com os quais tive a oportunidade de conversar e foram perspectivadas futuras ações no entorno do mesmo, atingindo, em consequência, neste caso em particular, o propósito daquela primeira Rodada Tecnológica que foi pensada no sentido de aproximar a demanda por pesquisas da Indústria e a oferta de pesquisas da Universidade.
 
A Engenharia Lógica que estou estruturando possui outros dispositivos e alcances e estão relacionados com estudos e pesquisas que venho desenvolvendo nos últimos anos. 

Atualmente conduzo três projetos de pesquisa associados à minha Engenharia Lógica. Dois deste projetos são intitulados como “Lógica Sentencial” e “Cálculo Lógico Inferencial” os quais se transformarão em livros que devo editar e publicar até o final deste ano de 2013 ou, mais tardar, no primeiro semestre de 2014. Em tais estudos objetivo o tratamento formal dos cálculos lógicos para a estruturação de uma analítica forte mais estrita para o tratamento lógico da legitimidade de argumentos dedutivos sentenciais decodificados.
 
Já no projeto Engenharia Lógica, propriamente, tenho objetivado o desenvolvimento de métodos e técnicas específicos para a avaliação e correção formal de raciocínios dedutivos estruturados a partir da codificação e decodificação de proposições utilizadas na fundamentação de teorias das ciências (em geral) e das ciências exatas (em particular) em conformidade com as lógicas formais e com a filosofia analítica com vistas à aplicação na resolução de problemas do mundo real.
 
Carlos Magno Corrêa Dias
04/07/2013

Nanomáquinas Promovem Nova Revolução Industrial.

A Nanociência, a despeito de suas inúmeras possibilidades, passa a ser, simplesmente, a mais fascinante e promissora dentre as áreas do conhecimento, talvez, por ser aquela área do conhecimento que nos fornecerá, apenas, a chave para o entendimento sobre a organização de todos os sistemas vivos presentes na natureza. Se em tempos atrás não era possível pensar em uma nova Revolução Industrial, hoje temos na emergente Nanotecnologia, que é uma das aplicações da Nanociência, uma Revolução que transformará a Indústria de uma forma nunca antes imaginada. Na possibilidade do entendimento e manipulação da matéria estruturada no nível nanométrico para a geração de de equipamentos e produtos temos a real condição de revolucionarmos o mundo macrométrico acelerando ainda mais o desenvolvimento para garantir o bem da humanidade.

No campo da Nanorobótica são consideradas máquinas (ou robôs) em escala nanométrica que passam a solicitar, mais intensamente, associações estreitas e diversificadas entre as Engenharias, a Química, a Física, a Matemática, a Biologia, a Computação dentre outras áreas do saber, para a produção de conhecimento ainda não apreendido mas essencial para a existência destas nanomáquinas. Cabe salientar, entretanto, que, por vezes, a Nanorobótica está associada, também, à construção de robôs que, embora macrométricos, possibilitam atuar com precisão sobre objetos dimensionados em escala nanométrica ou são de tal forma concebidos que podem manipular com desejada definição em semelhante escala. Nesta última classe de máquinas há uma forte participação, também, das tecnologias de sistemas embarcados.

A primeira geração de nanomáquinas surge em 2005 e, quatro anos mais tarde, evoluem para nanomáquinas de segunda geração mais avançadas, porém com aplicação limitada. Em 2011, entretanto, foi possível produzir nanomáquinas de terceira geração ainda mais complexas, cuja utilização é ampliada sobremaneira. Hoje as nanomáquinas, tal qual, as máquinas macroscópicas comumente conhecidas e concebidas invadem nosso cotidiano, sendo diferenciadas, basicamente, pelas suas dimensões da ordem do bilionésimo de metro. Entenda-se “máquina”, contudo, como um “dispositivo ou aparelho” que executa uma tarefa ao ser fornecida a ele energia. Embora a nanorobótica venha assumindo importância nos campos da Informática e da Eletrônica, são verificados (atualmente) maiores impactos nas áreas da Biologia e da Saúde.

De forma, categórica, o termo nanomáquina pode ser empregado para distinguir uma máquina cujo tamanho é da ordem de um nanômetro (um milionésimo de um milímetro). Como exemplo de nanomáquina tem-se um agregado de proteínas usando biomoléculas como DNA, proteínas e resinas. Assim sendo, uma nanomáquina pode ser entendida como uma “máquina molecular” que executa determinada função ao receber um estímulo externo que pode ser elétrico, luminoso, químico ou térmico, conceito algo análogo às máquinas macroscópicas (dispositivos que recebendo energia atingem objetivos pré-determinados).

Cabe salientar, entretanto, que as nanomáquinas podem ser naturais ou artificiais. As principais nanomáquinas naturais são máquinas moleculares cujo funcionamento garante os processos vitais do nosso organismo. Dentre as nanomáquinas naturais em estudo destacam-se a Proteína Miosina e a Enzima F0F1-ATP sintase.

As Proteínas Miosinas (ou Proteínas Motoras) constituem uma ATPase, isto é, formam uma família de enzimas que catalisam a hidrólise do ATP (ou trifosfato de adenosina, ou adenosina trifosfato) para originar ADP (adenosina difosfato) e fosfato inorgânico, com libertação de energia, que energiza o processo da contração muscular. Trata-se de uma enzima mecanoquímica, pois converte a energia química em mecânica (trabalho). Assim, observe que na contração e extensão muscular considera-se a Miosina como o motor (um motor linear protéico) e o ATP como o combustível.

Já Enzima ATP sintase, considerado o menor motor giratório do mundo, é um pequeno complexo de proteínas do qual a vida depende. Tal complexo de proteínas produz o ATP (adenosina trifosfato) um composto rico em energia. Cada uma das 14 trilhões de células do corpo humano conduz esta reação cerca de um milhão de vezes por minuto, sendo que mais da metade do peso corporal do ATP é feito e consumido em um mesmo dia. A ATP gera energia para a maquinaria celular. Enzima ATP sintase é reconhecidamente uma das máquinas moleculares naturais mais eficientes conhecidas dado que tem a capacidade de converter a energia oriunda da molécula ATP em movimento rotacional com quase cem por cento de eficiência. Aponha-se, em contraposição, que semelhante percentual é apenas impossível de ser atingido pela mais eficiente máquina macroscópica já construída.

Contudo, o assunto aqui referenciado sobre as nanomáquinas já deixou de ser novidade há várias décadas, tanto que existem diversos trabalhos que dão conta da produção de nanomáquinas artificiais (de laboratório) inspirados por motores proteicos naturais a partir da década de 70. A Engenharia do Mundo Molecular ou a Arquitetura do Mundo Molecular já teve a sua fundação (embora pareça novidade em dados contextos ou, mesmo, tomada como impossível em realidades pouco atualizadas).

Richard Philips Feynman (1918 - 1988) é considerado o Pai da Nanotecnologia. Norte-americano, Feynman foi o Nobel de Física de 1964 e já em 1959 profetizava uma Nanotecnologia para a produção de nanomáquinas artificiais. Mas, é por volta de 1979, que uma equipe de pesquisadores do Departamento de Química e Biologia da Universidade de Kyushu, no Japão, vem construir aquele que seria o primeiro protótipo de nanomáquina artificial. Tratava-se de uma molécula que funcionava como uma chave liga-desliga acionada pela luz.

É iniciada, então, a partir deste primeiro protótipo, uma caminhada sem fim objetivando a construção de nanomáquinas artificiais eficientes para a execução de tarefas das mais variadas e complexas onde as macromáquinas são, simplemsnete, incapazes de atuar a despeito das tecnologias existentes no mundo usual. Tais nanomáquinas são pretendidas para a execução de tarefas tais como a fabricação de nanosensores, nanofios ou nanocircuitos para o aumento de velocidade e intensidade da transmissão da informação, a inserção de nanomáquinas para avaliação clínica de doenças existentes em pontos internos do organismo humano que não podem ser acessados de forma macro sem cirurgias invasivas, a criação de nanotransmissores para a destruição de nanopartículas tóxicas presentes no ar e na água, a criação de nanomateriais para a produção de utensílios de uso diário mais duráveis e com menor risco de contaminação, dentre outros.

Atualmente, porém, são diversas as nanomáquinas já produzidas e em funcionamento que são movidas por combustíveis de natureza eletroquímica, química, térmica, fotoquímica, dentre outros. A partir daquele primeiro protótipo de 1979 já foram desenvolvidas nanomáquinas artificiais capazes de simular movimentos semelhantes aos dos músculos naturais (são os músculos moleculares artificiais), por exemplo. Outros casos são os caminhões moleculares e os nanoelevadores para transporte de medicamentos no interior do organismo humano; rotores moleculares e nanoválvulas para controle e liberação de conteúdos entre células.

Mas as possibilidades são ilimitadas e tal como os motores micrométricos, desenvolvidos no passado, já foram iniciados estudos para a aplicação da Nanotecnologia no desenvolvimento de sensores inerciais, acelerômetros, transmissores, turbinas, bombas de fluidos, sensores de pressão e de vazão, dentre outros.

Recentemente, físicos da Universidade de Viena, na Áustria, afirmam ter conseguido criar as primeiras proteínas sintéticas (proteínas biônicas) capazes de executar as principais atividades das proteínas biológicas. Realizando uma engenharia reversa concentrada nos elementos essenciais que fornecem às proteínas a capacidade de executar o programa escrito em seu código genético, tais pesquisadores afirmam ter conseguido gerar um mapa detalhado inteiramente artificial que é capaz de imitar as proteínas. O próximo passo agora será gerar, em laboratório, a partir do roteiro descoberto, as primeiras proteínas biônicas.

A Nanotecnologia, como de todo a Nanociência, constituem os caminhos que principiaram a nova Revolução Industrial que transcenderá à Era da Informação, transformando a forma de fazer Ciência e gerar Tecnologia, bem como, a concepção atualmente vigente de Inovação e suas extensões; ainda mais quando sabemos que uma Picociência já se tenha instalado há algum tempo.

Cabe salientar, todavia, que as considerações apresentadas neste artigo constituem uma compilação de palestra que proferi na última segunda-feira, quando tratei da Nanotecnologia com título idêntico ao deste artigo. Uma segunda palestra envolvendo correspondente assunto esta programada para fins de agosto de 2013 quando abordarei, em específico, centrada na Engenharia Lógica que estou desenvolvendo, as relações entre “Potência Lógica e Eficiência das Nanomáquinas”.

Carlos Magno Corrêa Dias
03/07/2013