Ópio dos fracassados.

   

A alienação é um sedativo para aqueles que já cansaram de lutar.

Carlos Magno Corrêa Dias

27/09/2015

25 de setembro de 2015 transforma-se em marco histórico ao oficializar a Agenda 2030 para o Desenvolvimento Sustentável do Mundo.

   
Na continuidade dos ODM (Objetivos de Desenvolvimento do Milênio) a Assembleia Geral da ONU adotou formalmente, na data de hoje, 25/09/2015, os ODS (Objetivos de Desenvolvimento Sustentável). 

Desafios mais complexos e agora globais nos chamam à responsabilidade nos próximos quinze anos. 

Conheça os 17 (dezessete) ODS e iniciemos os necessários trabalhos (http://nacoesunidas.org/conheca-os-novos-17-objetivos-de-d…/).

Carlos Magno Corrêa Dias
25/09/2015

A evolução é própria apenas para aqueles suscetíveis de evoluir.

   
Dia haverá de existir no qual os "computadores" comerão "maçãs" mesmo que estas ainda sejam próprias para o consumo dos homens.

Carlos Magno Corrêa Dias
24/09/2015

Tecnologia e Humanismo em Festa.

   
É amanhã, dia 23 de setembro de 2015, que completamos 106 (cento e seis) anos de existência.

Falta pouco para comemorarmos, também, os nossos dez anos como Universidade Tecnológica.

Da ESCOLA DE APRENDIZES ARTÍFICES ao lema TECNOLOGIA E HUMANISMO comemoramos, sempre, com júbilo, a TECNOLÓGICA.

Carlos Magno Corrêa Dias
22/09/2015

TECNOLÓGICA Disseminando Software Livre.

  
O Fórum de Tecnologia em Software Livre (FTSL) é o maior e mais importante evento de Software Livre de Curitiba e Região.

Disseminar novas Tecnologias centradas em Software Livre e possibilitar a troca de experiências com Especialistas, Universidades e o Setor Empresarial são os principais objetivos do evento que está sendo desenvolvido no Câmpus Curitiba da UTFPR.

Mais uma vez a TECNOLÓGICA faz a diferença.

Carlos Magno Corrêa Dias
17/09/2015

Porque é Necessário Avaliar Logicamente as Razões Suficientes a Análise Lógica é Solicitada.

Voltado para instituir Graduandos dos Cursos de Ciências Exatas e de Tecnologia de técnicas formais para a avaliação de Raciocínios Dedutivos quaisquer, tomando-se por base a Álgebra da Lógica e a Teoria da Argumentação em Lógica Analítica de Primeira Ordem, inicia-se no Câmpus Curitiba da TECNOLÓGICA (UTFPR), o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA.

Carlos Magno Corrêa Dias
14/09/2015

День программиста.

  
01000100 01110101 01100011 01100101 01101110 01110100 11101001 01110011 01101001 01101101 01101111 00100000 01110001 01110101 01101001 01101110 01110001 01110101 01100001 01100111 11101001 01110011 01101001 01101101 01101111 00100000 01110011 01100101 01111000 01110100 01101111 00100000 01100100 01101001 01100001 00100000 01100100 01101111 00100000 01100001 01101110 01101111 00100000 00111101 00100000 01000100 01101001 01100001 00100000 01100100 01101111 00100000 01010000 01110010 01101111 01100111 01110010 01100001 01101101 01100001 01100100 01101111 01110010 00101110

Ducentésimo quinquagésimo sexto dia do ano = Dia do Programador.

Carlos Magno Corrêa Dias
13/09/2015

LOGIC APPLIED TO NANOSCIENCE.

   

    

Categoria:
Grupo de Pesquisa (CAPES/CNPq).

Título da categoria:
LÓGICA APLICADA À NANOCIÊNCIA.

Setor:
Eletro Eletrônica (Embarcada) e Instrumentação Eletrônica, Empreendedorismo e Inovação, Tecnologias e De­senvolvimento de Produtos (de Consumo).

Palavras-chave:
Cálculo Lógico. Nanotecnologia. Nanomáquinas.

Objetivos:
Estruturar o Cálculo Lógico para a instituição de uma Lógica Formal Aplicada à Nanociência e às Nanotecno­logias (em geral) e à Nanomáquinas (em particular) voltada para a Análise Inferencial Dedutiva na geração de Produtos, Serviços ou Processos dependentes das correspondentes estruturas fundamentais determinantes e que venha garantir Completude, Corretude e Consistência Lógica.

Motivação:
A principal motivação para o desenvolvimento do projeto em referência é a possibilidade da edificação de um correspondente Cálculo Formal que permitirá avaliar lógica e formalmente os correspondentes argumentos que possam ser elaborados em Nanociência.

Benefícios:
Mais rápida e intensamente poderão ser geradas aplicações no mundo real. A construção de nanomáquimas passará a ser fortemente favorecida. Dissipação prévia de redundâncias e ampliação da eficiência. Promoção de maior competitividade. Desenvolvimento prévio de Métodos e Técnicas consistentes para garantir econo­mia de espaço e de energia, e maior produtividade.

Pesquisador/Coordenador Responsável:
Carlos Magno Corrêa Dias.

Câmpus:
Curitiba.

Category:

Research Group (CAPES/CNPq).

Category Title:

LOGIC APPLIED TO NANOSCIENCE.

Sector:

Electroeletronics and Electronic Instrumentation.

Key words:

Logical Calculus. Nanotechnology. Nanomachines.

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.

Motivation:

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.

Campus:

Curitiba.

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.

Carlos Magno Corrêa Dias
12/09/2015

Projetos de Eficiência Energética na Indústria Paranaense serão Favorecidos.

  
Na data de ontem, dia 10 de setembro de 2015, participei do Seminário sobre REDUÇÃO DO CUSTO DE ENERGIA - ALTERNATIVAS PARA O SETOR INDUSTRIAL, o qual objetivou por em imediata discussão a necessidade de se investir em fontes alternativas de energia e avaliar as possíveis soluções para as dificuldades enfrentadas no campo da energia de forma a promover a redução de custos e a obtenção de novas tecnologias que permitam, em particular, a Eficiência Energética na Indústria Paranaense.

Promovido pelo Sistema Federação das Indústrias do Estado do Paraná (FIEP) e realizado no Câmpus da Indústria da FIEP, em Curitiba-PR, o Seminário em referência chamou a atenção, também, para o fato de existir um grande atraso em nosso país, em relação a outros países e inclusive do Paraná em relação a outros Estados de nossa Federação, quanto aos temas relacionados à Eficiência Energética e ao desenvolvimento de formas alternativas de produção de Energia.

Na atual Sociedade nossas atividades exigem cada vez mais a utilização de distintas formas de energia. Todavia, a utilização das formas de energia existentes envolve, necessariamente, transformações que levam à perda de parte destas energias gerando, inevitavelmente, desperdícios e elevados custos. Assim, estudos sobre a Eficiência Energética são solicitados constantemente. Uma lâmpada, por exemplo, transforma a eletricidade em luz e calor. Se o objetivo da lâmpada é iluminar, uma medida da sua Eficiência Energética é obtida dividindo a energia da luz pela energia elétrica usada pela lâmpada. Com base no parâmetro inicial estabelecido é possível, então, realizar estudos e pesquisas que objetivem a otimização da correspondente energia para “fazer mais com menos”.

Não havendo, entretanto, estudos sobre a Eficiência Energética, os desperdícios de energia vão se multiplicando à medida que a energia vai migrando por todos os setores da economia. A ampliação da Eficiência Energética pretendida pode tanto estar voltada para a redução nos custos quanto para a diminuição no consumo de energia. De outro lado, há de se ponderar, ainda, que a economia de energia, em um mundo em constante evolução, passa a constituir prerrogativa de gestão competente e assume um significativo diferencial no campo da competitividade.

Diante das complexidades e dificuldades do quadro atual relacionados à energia, a FIEP, de forma proativa, se antecipa e passa a identificar parceiros para o desenvolvimento de soluções para a redução de custos e a obtenção de novas tecnologias que visem a Eficiência Energética no Setor Industrial do Paraná.

Como uma primeira ação efetiva das parcerias pretendidas, a FIEP e o BRDE (Banco Regional de Desenvolvimento do Extremo Sul) assinaram, durante o Seminário, um termo de Cooperação Técnica para fomentar Projetos de Eficiência Energética no setor Industrial do Paraná.

Segundo o correspondente Termo de Cooperação Técnica caberá ao Sistema FIEP orientar os empresários interessados sobre as condições de financiamento previstas no Programa BRDE ENERGIA, bem como sobre a documentação necessária para a instituição do correspondente processo. O Sistema FIEP indicará, também, Serviços Técnicos associados à Eficiência Energética para compor os correspondentes protocolos dos projetos junto ao BRDE.

Durante o Seminário, além da apresentação de temas associados à Eficiência Energética, foram consideradas, também, algumas tecnologias e soluções práticas e de curto e médio prazo já conhecidas para reduzir os custos com o suprimento de energia nas atividades industriais enfocando temas tais como: Fornecimento de Energia Elétrica para a Indústria, Energias Renováveis e Linhas de Financiamento.

Quanto às Linhas de Fomento ressaltou-se, em particular, o citado Programa BRDE ENERGIA que oferece crédito tanto para o desenvolvimento de Projetos de Eficiência Energética quanto para a pesquisa de Energias Renováveis. O objetivo do Programa BRDE ENERGIA é contribuir com ações em prol da redução do desperdício e da racionalização do uso de energia em ambientes produtivos ou comerciais, além de patrocinar projetos de geração de energia que utilizem fontes renováveis, tais como a eólica e a solar.

Seguindo os passos da FIEP, que se propõe trabalhar para desenvolver soluções e identificar alternativas para minimizar os fortes impactos decorrentes dos desperdícios de energia e dos constantes aumentos de energia em nosso Estado, bem como perspectivar formas alternativas mais adequadas de produção de energia, somos conclamados, também, a unir nossas forças e compartilhar nossos conhecimentos.

Carlos Magno Corrêa Dias
11/09/2015

LOGIC ENGINEERING - TECHNOLOGY MANAGEMENT.

   
Não basta realizar pesquisas. É necessário DESENVOLVER e INOVAR. 
  

Carlos Magno Corrêa Dias
10/09/2015

LOGIC AS NECESSARY COMPONENT IN ACADEMIC.

          

  

Categoria:
Grupo de Pesquisa (CAPES/CNPq).

Título da categoria:
LÓGICA COMO COMPONENTE NECESSÁRIA NA FORMAÇÃO ACADÊMICA.

Setor:
Empreendedorismo e Inovação, Tecnologias e Desenvolvimento de Produtos (de Consumo), Tecnologia Edu­cacional.

Palavras-Chave:
Raciocínio Dedutivo, Inferências, Cálculos Lógicos.

Objetivos: Desenvolver Tecnologia Educacional Inovadora centrada na Lógica Formal para ampliação das potencialidades de aplicação e entendimento dos conteúdos desenvolvidos na formação dos futuros profissionais das Áreas de Ciências Exatas e Tecnologias.

Motivação:
A realização de diversos Cursos de Extensão Universitária no campo da Lógica Formal Dedutiva e de Primeira Ordem que evidenciaram a força dedutiva e analítica dos Cálculos Lógicos e da Análise Inferencial Lógica como poderoso agente transformador na formação profissional dos acadêmicos permitindo a ampliação da capaci­dade de avaliar e decidir logicamente.

Benefícios:
Melhoria do rendimento acadêmico dos alunos nos Cursos de Graduação das Ciências Exatas que detém conhecimentos mais aprofundados dos métodos e técnicas dos Cálculos Lógicos, em Lógica Matemática de Pri­meira Ordem. Maior compreensão sistêmica dos conteúdos por parte dos acadêmicos. A real possibilidade dos acadêmicos e dos egressos de inferir aplicações corretas e consistentes mais amplas e intensificadas.

Projetos/Parcerias já realizadas:
Análise de Argumentos Dedutivos em Lógica Matemática. Lógica Matemática Proposicional e Predicativa. Matemática Computacional. Lógica Matemática Dedutiva Aplicada. Axiomatização da Lógica Matemática de Primeira Ordem. Métodos Matemáticos e Computacionais Aplicados. Lógica Matemática Inferencial Dedutiva. Silogística.

Pesquisador/Coordenador Responsável:
Carlos Magno Corrêa Dias.

Câmpus:
Curitiba.

Category:
Research Group (CAPES/CNPq).

Category Title:
LOGIC AS NECESSARY COMPONENT IN ACADEMIC.

Sector:
Technology and product development (consumer).

Key words:
Deductive Reasoning. Inferences. Calculations Logical.

Objectives:
Developing Innovative Educational Technology focused on formal logic to augment the capabilities of the ap­plication and understanding of the content developed in training future professionals Areas of Exact Sciences and Technologies.

Motivation:
The completion of several courses of University Extension in the field of Formal Deductive Logic and First Order showed that the strength of deductive and analytical calculations and Logical Analysis of Inferential Logic as a powerful agent of change in the training of academic allowing the expansion of capacity to assess and decide logically.

Benefits:
Improvement academic performance of students in undergraduate courses of Exact Sciences who has deeper knowledge of the methods and techniques of calculations Logic in Mathematical Logic First Order. Greater sys­temic understanding of content by academics. The real possibility of academics and graduates to infer correct and consistent application wider and intensified.

Projects/Partnerships Made:
Review of Deductive Arguments in Mathematical Logic. Mathematical Logic Propositional and predicate. Com­putational Mathematics. Deductive Logic Applied Mathematics. Axiomatization of Mathematical Logic First Order. Mathematical Methods and Applied Computing. Mathematical Logic Inference Dedutiva. Syllogistic.

Responsible/CoordinatorResearcher:
Carlos Magno Corrêa Dias.

Campus:
Curitiba.

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.

Carlos Magno Corrêa Dias
09/09/2015

ENGENHARIA LÓGICA (LOGIC ENGINEERING): um Projeto de Inovação.

  

Categoria: 
Grupo de Pesquisa (CAPES/CNPq).

Título da categoria: 
ENGENHARIA LÓGICA.

Setor:
Empreendedorismo e Inovação, Tecnologias e Desenvolvimento de Produtos (de Consumo), Tecnologia de Gestão.

Palavras-Chave:
Cálculos Lógicos. Análise Inferencial. Métodos e Técnicas Inferenciais.

Objetivos:
Desenvolver Tecnologia Analítica de Decisão Otimizada centrada na Lógica Formal (nos Cálculos Lógicos e na Álgebra da Lógica), na Teoria da Argumentação Dedutiva e na Análise Inferencial para a Enunciação, Avaliação e Resolução de Problemas, Processos ou Serviços do Mundo Real (em geral) e da Indústria (em particular), estabelecendo os respectivos Métodos e Técnicas.

Motivação:
Possibilitar o estabelecimento de aproximações efetivas entre a Indústria e a Academia, entre a Ciência e a Tecnologia. Somente quando a Indústria e a Academia se unirem para a solução de problemas do mundo real será possibilitado promover a geração de conhecimento útil e necessário para o desenvolvimento adequado de nossa Nação e para a melhoria de vida das Pessoas.

Benefícios:
Otimização. Consistência dos processos diretivos. Impedimento de ocorrências de erros lógicos (de contradi­ções). Produção de resultados necessários. Novas possibilidades de ação ou direcionamentos. Possibilidades da empresa seguir dinâmicas diferenciadas e mais eficientes. A realidade da empresa é equacionada de forma consistente e lógica.

Projetos/Parcerias já realizadas:
Cálculo Lógico e Análise Lógica de Funções Enunciativas. Análise de Argumentos Dedutivos em Lógica Mate­mática. Lógica Matemática Proposicional e Predicativa. Matemática Computacional. Lógica do Conhecimento Científico. Métodos Matemáticos e Computacionais Aplicados. Lógica Matemática Aplicada à Teoria da Argu­mentação Dedutiva.

Pesquisador/Coordenador Responsável:
Carlos Magno Corrêa Dias.

Câmpus:
Curitiba.

Category: 
Research Group (CAPES/CNPq).

Category Title: 
LOGIC ENGINEERING.

Sector: 
Technology management.

Key words:
Logical Calculations. Inferential Analysis. Methods and Techniques Inferences.

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.

Motivation:
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.

Projects/Partnerships Made:
Calculation and Analysis Logic Logic Functions enunciation. Review of Deductive Arguments in Mathematical Logic. Mathematical Logic Propositional and predicate. Computational Mathematics. Logic of Scientific Know­ledge. Mathematical Methods and Applied Computing. Mathematical Logic Applied to Deductive Argumenta­tion Theory.

Responsible/CoordinatorResearcher:
Carlos Magno Corrêa Dias.

Câmpus: 
Curitiba.

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.


Carlos Magno Corrêa Dias
08/09/2015

SNCT 2015 Convida para Difusão e Popularização da CTI.

  
O conhecimento em nossa Nação, por intermédio da Ciência e da Tecnologia, é chamado a participar da Décima Segunda SNCT (Semana Nacional de Ciência e Tecnologia) que ocorrerá no período de 19 a 25 de outubro de 2015, com o tema LUZ, CIÊNCIA E VIDA.

O Ministério da Ciência, Tecnologia e Inovação (MCTI), por meio da Secretaria de Ciência e Tecnologia para Inclusão Social (SECIS), nos convida a participarmos da SNCT 2015 criando e promovendo Eventos Científicos ou Tecnológicos em nossas Instituições para divulgarmos para a População nossos estudos e pesquisas. A SNCT constitui o principal Evento de popularização e difusão da Ciência e da Tecnologia em nosso país.

Instituída em 2004, por decreto presidencial, a SNCT objetiva a mobilização das pessoas em torno de temas e atividades relacionadas à CTI (Ciência, Tecnologia e Inovação). Chamar a atenção para a importância da CTI para a vida de cada um é outro dos importantes propósitos da SNCT.

Participe. Crie o seu evento e vamos divulgar a CTI na SNTC 2015.

Carlos Magno Corrêa Dias
07/09/2015

A Independência ou a Escravidão do Pensar esta no “Gatilho” entre Alma e Corpo.

  
Pensar é Tanto COMPULSIVO quanto COMPULSÓRIO. Tudo depende do “intelecto”.

Carlos Magno Corrêa Dias
06/09/2015

CMCD PC 9596.

   
Em 22/08/1995 o CMCD PC 9596, o primeiro PC, dos nove que já montei, era concluído.

Foi um PENTIUM (i586) com arquitetura x86 da INTEL [SO WIN 95; CPU133 MHz (FSB 66 MHz x Mút. 2.0); Barramento PCI; 128 MB de RAM; Placa de Video TRIDENT 1Mb; Drive de 3,5 polegadas de 1,44 MB; Drive de 5,25 polegadas de 1,2 MB; Unidade ZipDrive acoplada de 3,5 polegadas de 100 MB; Unidade de CD-ROM QUAD/SPEED CREATIVE 52x; Gravador de CD HP 4020i; VGA ATI Graphics Pro Turbo; Sound Blaster 16; Modem US-Robotics 56K ISA; 3 HDs MaxTor D540-X instalados; Gabinete Tipo Torre adaptado].

Hoje em desuso, mas funcionando. E lá se foram mais de vinte anos desde o seu engendrar. A primeira máquina montada não se esquece jamais.

Carlos Magno Corrêa Dias
05/09/2015