Used in multimedia personal computers, Texas Instruments' TVP4020 (Permedia 2) is a complete graphics solution. this chip is one of the first graphics processor to deliver 3D, 2D, AGP, PCI and RAMDAC on the same f...
详细信息
Used in multimedia personal computers, Texas Instruments' TVP4020 (Permedia 2) is a complete graphics solution. this chip is one of the first graphics processor to deliver 3D, 2D, AGP, PCI and RAMDAC on the same fully integrated device. the key to the successful implementation of any device lies in its design methodology. the growing levels of abstraction increase the front-end designer's productivity greatly, but because the back-end design remains a geometric function of the number of the gates to be placed in the design, the change in design styles increase the difficulty for the physical designers. As a result, physical designers will need to increase and improve their skills, and the CAD tools will need to become more flexible and more capable. the successful implementation of TVP4020 (Permedia 2) on a 0.35 /spl mu/m technology is a good example of how great an impact a good design methodology can have on the overall development of a device.
In this work a purpose of the ANN and Fuzzy logic for integrated logic control of disturbances in mechatronics system has been considered. the main task of this study was to investigate whether electronic logic design...
详细信息
the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for alge...
ISBN:
(纸本)3540631720
the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for algebraic type systems;bounded-variable fixpoint queries are PSPACE-complete;graph rewriting semantics for functional programming languages;an extension of models of axiomatic domain theory to models of synthetic domain theory;relative undecidability in term rewriting;extending models of second order predicate logic to models of second order dependent type theory;cut-free display calculi for relation algebras;computational aspects of arity hierarchies;weak semantics based on lighted button pressing experiments;monadic NP and built-in trees;optimization problems with approximation schemes;computational representations of herbrand models using grammars;social confluence in client-server systems;a type-free resource-aware a-calculus;inductive definitions with decidable atomic formulas;new intuitionistic logical constants and undecidability of the conservativeness problem.
As known, the studies on power factor correction have been carried out for many years. But in these studies, generally, phase powers received from supply are assumed to be balanced. In the paper, power systems having ...
详细信息
the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming o...
ISBN:
(纸本)3540617353
the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming on negation as instantiation;independence in dynamically scheduled logic languages;heterogeneous constraint solving;a hierarchy of semantics for normal constraint logic programs;order-sorted termination;unravelings and ultra-properties;standardization theorem revisited;discrete normalization and standardization in deterministic residual structures;a language for the logical specification of processes and relations;a process algebra for synchronous concurrent constraint programming;an algebraic approach to mixins and modularity;a strict border for the decidability of e-unification for recursive functions;prime factorizations of abstract domains using first order logic;abstractions of uniform proofs;complementing logic program semantics;meaningless terms in rewriting;unique normal form property of higher-order rewriting systems;algebraic semantics for functional logicprogramming with polymorphic order-sorted types;specifying type systems and the semantic treatment of polymorphic specification languages.
A procedure is proposed leading to an optimal detailed design of reinforced concrete members. the general scheme followed is that of a multi-criterion design optimization. the method synthesizes the information from t...
详细信息
A procedure is proposed leading to an optimal detailed design of reinforced concrete members. the general scheme followed is that of a multi-criterion design optimization. the method synthesizes the information from the cross-sectional level, to the member level and finally, to a group of members where the detailed design of the whole group is decided. At the cross-sectional level, the required reinforcement in cm(2) is converted into reinforcing bars of all possible diameters. At the member and/or group of members level, a number of lists that contain different design scenarios are generated. the method of objective weighting is applied to a multi-criterion objective function, which represents a compromise of the 'minimum weight', 'maximum uniformity' and 'minimum number of reinforcing bars' criteria. By varying the weighting factors, it is possible to generate the Pareto optimal set of the problem. the performance of the system is illustrated with a number of examples. the same building is designed using different weighting factors in the multi-criterion objective. the variation of the detailed designs is discussed and certain values for the weighting factors are recommended. Copyright (C) 1996 Civil-Comp Limited and Elsevier Science Limited.
In this paper, the co-ordinated system of fuzzy logic and evolutionary programming (FCEP), is presented. the main idea behind the FCEP is that a fuzzy mutation controller is implemented to adaptively update the mutati...
详细信息
ISBN:
(纸本)0780336461
In this paper, the co-ordinated system of fuzzy logic and evolutionary programming (FCEP), is presented. the main idea behind the FCEP is that a fuzzy mutation controller is implemented to adaptively update the mutation rate during the evolutionary process. the major advantage of the FCEP lies in its potential to quickly find the global optimal solution or the near optimal solutions under a series of constraints.
Object-oriented programming has been widely adopted as a powerful programming paradigm, enabling software engineers to design systems using structures which map naturally onto the problem domain. Using ideas from logi...
详细信息
ISBN:
(纸本)0780336461
Object-oriented programming has been widely adopted as a powerful programming paradigm, enabling software engineers to design systems using structures which map naturally onto the problem domain. Using ideas from logicprogramming, a class definition can be treated as a logictheory, making it amenable to formal reasoning. Each class corresponds to a set of objects in the problem domain. We extend this idea, so that an object may have a degree of membership in more than one class, i.e. each class represents a fuzzy set of objects in the problem domain. Uncertainty is also allowed in data values and computational methods associated with objects. the problem of multiple inheritance is addressed by including methods for resolving conflict in class definitions. A system is being implemented in Fril, to allow development of fuzzy object oriented knowledge-based applications. this system is known as Fril++. the ideas are also applicable to other logicprogramming systems, assuming a method can be programmed at the object or meta-level to deal with uncertainty in terms, relations, and inference.
Fuzzy logic allows effective decision making in the presence of uncertainty. Identifying spoken words, even in an ideal environment by a trained speaker, is a complex task filled with uncertainty. the speech waveform ...
详细信息
ISBN:
(纸本)0780336461
Fuzzy logic allows effective decision making in the presence of uncertainty. Identifying spoken words, even in an ideal environment by a trained speaker, is a complex task filled with uncertainty. the speech waveform is nonlinear and variant, removing the possibility of simple analysis. Dynamic programming is a time normalization technique that allows static templates to be used to identify spoken words. Fuzzy logic enhancements enable the technique to handle noise and quantization errors better and improves classification accuracy. An important consequence of using a fuzzy based system is that the system's confidence in its identification can be used to accept the identification or to request further information.
暂无评论