Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance ...
详细信息
ISBN:
(纸本)0780365429
Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixed-signal integrated systems. In mixed-signal application the analog functionality can be affected by this digital switching noise and therefore resolution is degraded. the Current Steering logic (CSL) is one of the well-known techniques capable of decreasing the switching noise [1,2]. Despite its static power consumption, the CSL is considered as a promising approach to achieve a good functionality in some mixed-signal application. In this paper a new automated design tool for deep submicron CSL library design is presented. this tool uses an iterative algorithm where EKV-MOSFET model [:3] is implemented to provide a good trade-off between power and speed.
In this paper we demonstrate how a default theory, expressed through a set of conditional defaults that the agent possesses, can be traduced into extended logic programs. Additionally, the proposed trans-lation allows...
详细信息
the proceedings contain 50 papers. the special focus in this conference is on Knowledge Engineering, Case Based reasoning, Planning, Scheduling and Multi-agent Systems. the topics include: Decision-rule solutions for ...
ISBN:
(纸本)354041276X
the proceedings contain 50 papers. the special focus in this conference is on Knowledge Engineering, Case Based reasoning, Planning, Scheduling and Multi-agent Systems. the topics include: Decision-rule solutions for data mining with missing values;getting computer systems to function as team players;case-based management of software engineering experience ware;handling cases and the coverage in a limited quantity of memory for case-based planning systems;integrating rules and cases in learning via case explanation and paradigm shift;the java embedded object production system;global and local search for scheduling job shop with parallel machines;knowledge-based interactive scheduling of multiproduct batch plants;using and evaluating adaptive agents for electronic commerce negotiation;dependence based coalitions and contract net;scheduling meetings through multi-agent negotiation;agents working on the integration of heterogeneous information sources in distributed healthcare environments;solving conflicting beliefs with a distributed belief revision approach;an organizational model for multi-agent systems;evolving populations of agents with personalities in the minority game;using meta-cognitive conflicts to provoke strategic changes;sharing resource-sensitive knowledge using combinator logics;compiling default theory into extended logicprogramming;representing belief revision through default theories;representing operational knowledge by contextual graphs;a new distributed reinforcement learning algorithm for multiple objective optimization problems and cognitive multi-agent systems for integrated information retrieval and extraction over the web.
In this paper we present a class of paraconsistent temporal system Δ*τ which may constitute, for instance, a framework for paracon- sistent temporal reasoning. We establish the completeness of Δ*τ using the Kripke...
详细信息
the Recursive Path Ordering (rpo) is a syntactic ordering on terms that has been widely used for proving termination of term-rewriting systems [7,20]. How to combine term-rewriting with ordered resolution and paramodu...
详细信息
ISBN:
(数字)9783540449577
ISBN:
(纸本)3540677976
the Recursive Path Ordering (rpo) is a syntactic ordering on terms that has been widely used for proving termination of term-rewriting systems [7,20]. How to combine term-rewriting with ordered resolution and paramodulation is now well-understood and it has been successfully applied in many theorem-proving systems [11, 16, 21]. In this setting an ordering such as rpo is used both to orient rewrite rules and to select, maximal literals to perform inferences on. In order to further prune the search space the ordering requirements on conditional inferences are better handled when they are treated as constraints [12, 18]. Typically a non-orientable equation s = t will be split as two constrained rewrite rules: s --> t\ s > t and t --> s\ t > s. Such constrained rules are useless when the constraint is unsatisfiable. therefore it is important for the efficiency of automatedreasoning systems to investigate decision procedures for the theory of terms with ordering predicates. Other types of constraints can be introduced too such as disunification constraints [1]. It is often the case that they can be expressed with ordering constraints (although this might be inefficient). We prove that the first-order theory of the recursive path ordering is decidable in the case of unary signatures with total precedence. this solves a problem that was mentioned as open in [6]. the result has to be contrasted withthe undecidability results of the lexicographic path ordering [6] for the case of symbols with arity greater than or equal to 2 and total precedence and for the case of unary signatures with partial precedence. We recall that lexicographic path ordering (lpo) and the recursive path ordering and many other orderings such as [13, 10] coincide in the unary case. Among the positive results it is known that the existential theory of total lpo is decidable [3, 17]. the same result holds for the case of total rpo [8, 15]. the proof technique we use for our decidability result might be
the proceedings contain 29 papers. the special focus in this conference is on Agent theories, Agent Development Tools and Platforms. the topics include: Optimistic and disjunctive agent design problems;updating mental...
ISBN:
(纸本)3540424229
the proceedings contain 29 papers. the special focus in this conference is on Agent theories, Agent Development Tools and Platforms. the topics include: Optimistic and disjunctive agent design problems;updating mental states from communication;sensing actions, time, and concurrency in the situation calculus;developing multiagent systems with agenttool;architectures and idioms;developing multi-agent systems with JADE;high-level robot control through logic;determining the envelope of emergent agent behaviour via architectural transformation;delegation and responsibility;agent theory for team formation by dialogue;task coordination paradigms for information agents;plan analysis for autonomous sociological agents;multiagent bidding mechanisms for robot qualitative navigation;performance of coordinating concurrent hierarchical planning agents using summary information;agent programming with declarative goals;modeling multiagent systems with CASL;generalised object-oriented concepts for inter-agent communication;specification of heterogeneous agent architectures;improving choice mechanisms within the BVG architecture;planning-task transformations for soft deadlines;an architectural framework for integrated multiagent planning, reacting, and learning;agent development tools;autonomy as decision-making control;theory, dimensions, and regulation;situated autonomy and a nice idea in theory.
An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to traditional differential calculus is indicated; it is applied to the analysis of circuits with feedback; and it yie...
详细信息
ISBN:
(纸本)0780365429
An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to traditional differential calculus is indicated; it is applied to the analysis of circuits with feedback; and it yields algorithms for detection of transients and hazards. Finally, a small case study of a positive-edge-triggered register is presented. Emphasis is on the use of laws which draw on the intuition gained from traditional differential calculus.
Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance ...
详细信息
ISBN:
(纸本)0780365429
Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixed-signal integrated systems. In mixed-signal application the analog functionality can be affected by this digital switching noise and therefore resolution is degraded. the Current Steering logic (CSL) is one of the well-known techniques capable of decreasing the switching noise. Despite its static power consumption, the CSL is considered as a promising approach to achieve a good functionality in some mixed-signal application. In this paper a new automated design tool for deep submicron CSL library design is presented. this tool uses an iterative algorithm where EKV-MOSFET model (1995) is implemented to provide a good trade-off between power and speed.
the purpose of this paper is to present the use of fuzzy inference methodologies in the performance testing of refrigerators, as an efficient alternative to the classical time-consuming and relatively complex techniqu...
详细信息
ISBN:
(纸本)0780365429
the purpose of this paper is to present the use of fuzzy inference methodologies in the performance testing of refrigerators, as an efficient alternative to the classical time-consuming and relatively complex techniques. the basic elements that are used to optimize the performance of a refrigerator are fuzzified and then used in fuzzy inference models to represent the intelligent behavior of a human tester. these models are simulated and the results are compared withthe ones obtained by classical algorithms. Further, conclusive comments are provided regarding the effectiveness of the introduced models and the avenues that need to be explored in order to make them increasingly efficient and fully automated.
暂无评论