Application of Fuzzy Variables for Systems of Management Decision Support

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

Sentido evolutivo do controle de constitucionalidade no Brasil

Consabido que para uma sociedade organizada se desenvolver política e juridicamente, indispensável se faz a existência de um documento formal, dotado de observância obrigatória, capaz de definir as competências públicas e delimitar os poderes do Estado, resguardando os direitos fundamentais de eventuais abusos dos entes políticos. Este documento é a Constituição, que, em todos os momentos da história, sempre se fez presente nos Estados, mas, inicialmente, não de forma escrita, o que fez com que surgisse, então, o constitucionalismo, movimento que defendia a necessidade de elaboração de constituições escritas, munidas de normatividade e supremacia em relação às demais espécies normativas, que visassem organizar a separação dos poderes estatais e declarar os direitos e as liberdades individuais. Porém, de nada adiantaria a edição de uma Lei Maior sem que houvesse mecanismos de defesa, no intuito de afastar qualquer ameaça à segurança jurídica e à estabilidade social, por conta de alguma lei ou ato normativo contrário aos preceitos estabelecidos na Constituição. O controle de constitucionalidade, pilar do Estado de Direito, consiste em verificar a compatibilidade entre uma lei ou qualquer ato normativo infraconstitucional e a Lei Excelsa e, em havendo contraste, a lei ou o ato viciado deverá ser expurgado do ordenamento jurídico, para que a unidade constitucional seja restabelecida. No Brasil, o controle de constitucionalidade foi instituído sob forte influência do modelo norte-americano e obteve diversos tratamentos ao longo das constituições brasileiras, porém, o sistema de fiscalização de constitucionalidade teve seu ápice com o advento da atual Constituição Federal, promulgada em 05.10.88, com a criação de instrumentos processuais inovadores destinados à verificação da constitucionalidade das leis e atos normativos. Além disso, a Carta da República de 1988, ao contrário das anteriores, fortaleceu a figura do Poder Judiciário no contexto político, conferindo, assim, maior autonomia aos magistrados na solução de casos de grande repercussão nacional, redundando em um protagonismo judicial atual. Nesse contexto, o Supremo Tribunal Federal, órgão de cúpula do Judiciário nacional e guardião da Constituição, tem se destacado no cenário nacional, em especial na defesa dos direitos e garantias fundamentais insculpidos na Lei Fundamental, fazendo-se necessária, desta forma, uma análise na jurisprudência da Corte, no sentido de verificar se, de fato, tem havido evolução no controle de constitucionalidade no Brasil ao longo dos últimos anos e, em caso afirmativo, em que circunstâncias isso tem se dado.

新刻全像批評西遊記Xin ke quan xiang pi ping xi you ji.Le Xi you ji, nouvelle édition illustrée.

Livre 18 seulement (hui 86 à 91).

新鐫批評秘本玉支磯小傳Xin juan pi ping bi ben yu zhi ji xiao zhuan.Histoire du rocher aux veines de jade.

Par Yin shui shan ren et par l'homme du Tian hua zang. Édition du pavillon Zui hua.20 hui.

新鐫批評繡像賽紅絲小說Xin juan pi ping xiu xiang sai hong si xiao shuo.Histoire de l'offrande du fil rouge, édition illustrée.

Préface du maître du Tian hua zang. Ancienne impression.16 hui.

新鐫古本批評三世報. 隔簾花影Xin juan gu ben pi ping san shi bao. — Ge lian hua ying.Rétribution pendant trois générations : l'ombre des fleurs à travers la jalousie ; nouvelle édition.

A la fin des Song. Préface non datée.48 hui.

新鐫繡像西廂琵琶合刻Xin juan xiu xiang xi xiang pi pa he ke.Histoire du pavillon occidental et Histoire du luth, nouvelle édition collective illustrée.

Contient : I園林午夢Yuan lin wu meng.Songe de midi dans le bosquet ; II圍棋馬局Wei qi ma ju.L'échiquier ; III西廂摘句骰譜Xi xiang zhe ju tou pu.Tableaux explicatifs des parties de dés du Xi xiang ji ; IV錢塘夢Qian tang meng.Songe de Qian tang ; V會眞記Hui zhen ji.Histoire du portrait ; VI李卓吾先生（alias 卓老）批㸃西廂記眞本Li zhuo wu xian sheng (alias tcho lao) pi dian xi xiang ji zhen ben.Le Xi xiang ji (Histoire du pavillon occidental), ponctué par Li Zhuo wu ; VII新校琵琶記始末Xin jiao pi pa ji shi mo.Le Pi pa ji (Histoire du luth), édition revue

取譬訓蒙Qu pi xun meng.

Contient : I教要總說Jiao yao zong shuo ; IIQu pi xun meng

闢妄條駁合刻Pi wang tiao bo he ke.Le Pi wang et le Tiao bo.

Contient : I闢釋氏諸妄Pi shi shi zhu wang ; II闢畧說條駁Pi lüe shuo tiao bai

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

L-Fuzzy Structured Query Language

Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.