987 resultados para Formal logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Parody may be understood as the absorption of a revolutionary impulse into the everyday production of meaning as continuous variation and soft subversion. Considered in this way, parody is transformative because it operates on the components within a system of meaning and/or the context, logic or spatial perspective that grounds the possibility of meaning. It is the conditions under which shared meaning, sense and sensation depend that I aim to unpack in order to suggest the ways in which parody can alter a person’s relationship to the world. By approaching parody as a mode of lived abstraction and as an embodied approach to affective self-organisation, body-environment co-construction and a challenge to identity, it becomes possible to move from formal concerns that have characterised parody to a set of transformative practices. Thus parody indicates where the anchors of embodied, embedded, extended, enacted and affective are dug in and hold identity and the ground of meaning in a steady state. This paper will examine how parody moves from the impulse to overthrow and invert — ‘Beneath the street, The beach’—to a collective impulse that moves the ground of meaning into a reconfigurative process that is allows totalised systems of meaning to collide and intersect. What is left is not the rubble and ruins of meaning but revitalised fragments, stems cells of meaning ready-to-be-remade.A lineage of parodic works will be paraded and discussed that directly address the tacit relation of ground, horizon, orientation and position. This parody parade will form the basis of a critique and the analysis of the ontological orientations that for example, opposing systems of perspective insert as the very ground of meaning. The implication of this line of inquiry leads to the assertion that all descriptions of the world, universe and the cosmos are parodies in search of an origin. Totalised or unified images of the ground of meaning are already parodies of a/the set of conditions by which meaning operates that also produce a trajectory that as a lived-abstraction directs or hijacks subsequent productions of meaning

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abstract—Nowadays, classical washout filters are extensively used in commercial motion simulators. Even though there are several advantages for classical washout filters, such as short processing time, simplicity and ease of adjustment, they have several shortcomings. The main disadvantage is the fixed scheme and parameters of the classical washout filter cause inflexibility of the structure and thus the resulting simulator fails to suit all circumstances. Moreover, it is a conservative approach and the platform cannot be fully exploited. The aim of this research is to present a fuzzy logic approach and take the human perception error into account in the classical motion cueing algorithm, in order to improve both the physical limits of restitution and realistic human sensations. The fuzzy compensator signal is applied to adjust the filtered signals on the longitudinal and rotational channels online, as well as the tilt coordination to minimize the vestibular sensation error below the human perception threshold. The results indicate that the proposed fuzzy logic controllers significantly minimize the drawbacks of having fixed parameters and conservativeness in the classical washout filter. In addition, the performance of motion cueing algorithm and human perception for most occasions is improved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new multi-output interval type-2 fuzzy logic system (MOIT2FLS) is introduced for protein secondary structure prediction in this paper. Three outputs of the MOIT2FLS correspond to three structure classes including helix, strand (sheet) and coil. Quantitative properties of amino acids are employed to characterize twenty amino acids rather than the widely used computationally expensive binary encoding scheme. Three clustering tasks are performed using the adaptive vector quantization method to construct an equal number of initial rules for each type of secondary structure. Genetic algorithm is applied to optimally adjust parameters of the MOIT2FLS. The genetic fitness function is designed based on the Q3 measure. Experimental results demonstrate the dominance of the proposed approach against the traditional methods that are Chou-Fasman method, Garnier-Osguthorpe-Robson method, and artificial neural network models.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, a five-level cascaded H-bridge multilevel inverters topology is applied on induction motor control known as direct torque control (DTC) strategy. More inverter states can be generated by a five-level inverter which improves voltage selection capability. This paper also introduces two different control methods to select the appropriate output voltage vector for reducing the torque and flux error to zero. The first is based on the conventional DTC scheme using a pair of hysteresis comparators and look up table to select the output voltage vector for controlling the torque and flux. The second is based on a new fuzzy logic controller using Sugeno as the inference method to select the output voltage vector by replacing the hysteresis comparators and lookup table in the conventional DTC, to which the results show more reduction in torque ripple and feasibility of smooth stator current. By using Matlab/Simulink, it is verified that using five-level inverter in DTC drive can reduce the torque ripple in comparison with conventional DTC, and further torque ripple reduction is obtained by applying fuzzy logic controller. The simulation results have also verified that using a fuzzy controller instead of a hysteresis controller has resulted in reduction in the flux ripples significantly as well as reduces the total harmonic distortion of the stator current to below 4 %.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this study, simulation and hardware implementation of Fuzzy Logic (FL) Maximum Power Point Tracking (MPPT) used in photovoltaic system with a direct control method are presented. In this control system, no proportional or integral control loop exists and an adaptive FL controller generates the control signals. The designed and integrated system is a contribution of different aspects which includes simulation, design and programming and experimental setup. The resultant system is capable and satisfactory in terms of fastness and dynamic performance. The results also indicate that the control system works without steady-state error and has the ability of tracking MPPs rapid and accurate which is useful for the sudden changes in the atmospheric condition. MATLAB/Simulink software is utilized for simulation and also programming the TMS320F2812 Digital Signal Processor (DSP). The whole system designed and implemented to hardware was tested successfully on a laboratory PV array. The obtained experimental results show the functionality and feasibility of the proposed controller.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we presented an optimized fuzzy logic controller using particle swarm optimization for DC motor speed control. The controller model is simulated using MATLAB software and also experimentally tested on a laboratory DC motor. A comparison of the performance of different controllers such as PID controller, fuzzy logic controller and optimized fuzzy logic controller is presented as well. With reference to the results of digital simulations and experiment, the designed FLC-PSO speed controller obtains much better dynamic behavior compared to PID and the normal FLC designed. Moreover, it can acquire superior performance of the DC motor, and also perfect speed tracking with no overshoot. The optimized membership functions (MFs) are obviously proved to be able to provide a better performance and higher robustness in comparison with a regular fuzzy model, when the MFs were heuristically defined. Besides, experimental results verify the ability of proposed FLC under sudden change of the load torque which leads to speed variances.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

While comparative law has become a key discipline, its instrumentalist use has turned out to be a powerful weapon: it is the ‘pen’ by which the identity of and differences in law’s geopolitics are continually written and rewritten. Given its attractive functionalist essence, comparative law is gaining increasing international credit as a way of developing newer theories of sovereignty and governance in a framework in which law is conceived of less as a set of rules and more as a symbolic vestimentum of global soft power. The present contribution critically investigates the relationship between distortive views of comparative law’s geopolitics and the intimate essence of the doctrine aimed at creating the ‘aspatial’, unbounded, illimitable (and hence intangible) liberal global order whose governance appears to transcend the idea and form(s) of law through which the ‘politicization’ and ‘juridification’ of modernity have been achieved in the last century. In doing so, it also addresses why such an alliance has made it easier to ‘discover’ and ‘sell’ the smooth and rectilinear land of the figuratively unspoken and unwritten as the terra incognita that lies over what is created by the constructivist political intervention(s) of the modern nation-state

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a novel design of interval type-2 fuzzy logic systems (IT2FLS) by utilizing the theory of extreme learning machine (ELM) for electricity load demand forecasting. ELM has become a popular learning algorithm for single hidden layer feed-forward neural networks (SLFN). From the functional equivalence between the SLFN and fuzzy inference system, a hybrid of fuzzy-ELM has gained attention of the researchers. This paper extends the concept of fuzzy-ELM to an IT2FLS based on ELM (IT2FELM). In the proposed design the antecedent membership function parameters of the IT2FLS are generated randomly, whereas the consequent part parameters are determined analytically by the Moore-Penrose pseudo inverse. The ELM strategy ensures fast learning of the IT2FLS as well as optimality of the parameters. Effectiveness of the proposed design of IT2FLS is demonstrated with the application of forecasting nonlinear and chaotic data sets. Nonlinear data of electricity load from the Australian National Electricity Market for the Victoria region and from the Ontario Electricity Market are considered here. The proposed model is also applied to forecast Mackey-glass chaotic time series data. Comparative analysis of the proposed model is conducted with some traditional models such as neural networks (NN) and adaptive neuro fuzzy inference system (ANFIS). In order to verify the structure of the proposed design of IT2FLS an alternate design of IT2FLS based on Kalman filter (KF) is also utilized for the comparison purposes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.