there are two ways to calculate synaptic weights for neurons in logicprogramming. there are by using Hebbian learning or by Wan Abdullah's method Hebbian learning for governing events corresponding to some respec...
详细信息
ISBN:
(纸本)9780769533599
there are two ways to calculate synaptic weights for neurons in logicprogramming. there are by using Hebbian learning or by Wan Abdullah's method Hebbian learning for governing events corresponding to some respective program clauses is equivalent with learning using Wan Abdullah's method for the same respective program clauses. We will evaluate experimentally the logical equivalent between these two types of learning (Wan Abdullah's method and Hebbian learning)for the same respective clauses (same underlying logical rules) in this paper. the computer simulation that had been carried out support this theory.
this paper presents the development of an intelligent network performance analysis tool (INPAT) that complements an existing network simulator toolkit. INPAT has the capability of doing network performance evaluation ...
详细信息
ISBN:
(纸本)9780889867345
this paper presents the development of an intelligent network performance analysis tool (INPAT) that complements an existing network simulator toolkit. INPAT has the capability of doing network performance evaluation using a fuzzy logic decision making scheme. INPAT can be beneficial to many people inclusive of students, who are interested in network performance analysis. It provides a technique for further advancement in the network management area. MATLAB's Fuzzy logic Toolbox is used to develop the fuzzy logic engine for data analysis. TCL/TK programming language is used to embed the fuzzy logic engine and data processing program within a single GUI for easy use. Potentially this project will realize the idea of network performance analysis by just a click of a mouse.
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithm...
详细信息
ISBN:
(纸本)9783540877295
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithms for 'reducing' a given formula to a semantically equivalent formula in normal form. Normal forms are used in a variety of contexts including proofs of completeness, automated theorem proving, logicprogramming etc. In this paper, we develop a normal form for unitary Euler diagrams with shading. We give an algorithm for reducing a given Euler diagram to a semantically equivalent diagram in normal form and hence a decision procedure for determining whether two Euler diagrams are semantically equivalent. Potential applications of the normal form include clutter reduction and automated theorem proving in systems based on Euler diagrams.
An active security system assures that interacting robots don't collide or that a robot operating independently doesn't hit any obstacle that is encountered in the robots workspace. In this paper, an active se...
详细信息
ISBN:
(纸本)9789898111319
An active security system assures that interacting robots don't collide or that a robot operating independently doesn't hit any obstacle that is encountered in the robots workspace. In this paper, an active security system for a FANUC industrial robot is introduced. the active security problem where one robot needs to avoid a moving obstacle in its workspace is considered. An obstacle detection and localization mechanism based on stereoscopic vision methods was successfully developed. To connect the vision system, an operator's pc and the robot environment a real-time communication is set up over Ethernet using socket messaging. We used fuzzy logic for intelligent trajectory planning. A multitask oriented robot application in the KAREL programming language of FANUC Robotics was implemented and tested.
In this paper, we propose a Web service composition framework that uses Integer Linear programming with non-functional objectives and constraints, in addition to the syntactic matching of Web services features. We env...
详细信息
LePUS3 [1] (***) is a logic, visual, object-oriented Design Description Language: a formal specification language designed to capture and convey the building-blocks of object-oriented design. LePUS3 minimal vocabulary...
详细信息
In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute th...
详细信息
ISBN:
(纸本)9783540878803
In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API;(b) the DR-Prolog Web application;and (c) the DR-Prolog desktop application. DR-Prolog Supports reasoning with Defeasible logictheories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.
Security has been widely recognized as one of the main obstacles to the adoption of Internet banking and it is considered an important aspect in the debate over challenges facing internet banking. the performance eval...
详细信息
ISBN:
(纸本)9780769530994
Security has been widely recognized as one of the main obstacles to the adoption of Internet banking and it is considered an important aspect in the debate over challenges facing internet banking. the performance evaluation of e-banking websites requires a model that enables us to analyze the various imperative factors and criteria related to the quality and performance of e-banking websites. E-banking site evaluation is a complex and dynamic problem involving many factors, and because of the subjective considerations and the ambiguities involved in the assessment, Fuzzy logic (FL) model can be an effective tool in assessing and evaluating of e-banking security performance and quality. In this paper, we propose an intelligent performance assessment model for evaluating e-banking security websites. the proposed model is based on FL operators and produces four measures of security risk attack dimensions: direct internal attack, communication tampering attack, code programming attack and denial of service attack with a hierarchical ring layer structure. Our experimental results show that direct internal attack risk has a large impact on e-banking security performance. the results also confirm that the risk of direct internal attack for e-banking dynamic websites is doubled that of all other attacks.
As assistive tools that are applied in varied circumstances such as forecasting situations, managing problems, analyzing data or information, Decision Support Systems support and improve individual and group decision ...
详细信息
As assistive tools that are applied in varied circumstances such as forecasting situations, managing problems, analyzing data or information, Decision Support Systems support and improve individual and group decision making within organizations. the applications and benefits of decision support systems have expanded withthe integration of web-based technologies, making it a valuable organizational tool. this paper proposes a conceptual framework that incorporates fuzzy multiple objective linear programming for individual decision making and fuzzy analytic hierarchy process for group decision making. It outlines the key features of adopting a web-based decision support system integrated with fuzzy analytic hierarchy process for supporting group decision making to deal with imprecise decision making problems.
Control unit is the most important portion of CPU. the control unit design must include logic for sequencing through micro-operations, for executing micro-operations, for interpreting opcodes and making decisions base...
详细信息
Control unit is the most important portion of CPU. the control unit design must include logic for sequencing through micro-operations, for executing micro-operations, for interpreting opcodes and making decisions based on ALU flags. the implementation of control unit has been used with a wide variety of techniques such as; hardwired implementation and microprogrammed implementation. In hardwired control, it is very time consuming and hard to design. the use of microprogramming simplifies the design of the control unit, but it will be slower in speed than a hardwired unit. Hardwired control is difficult to change or extend the design if it wishes to debug or add a new machine instruction. So this paper will find an easy way to design by microprogram and to be translated it to hardwired one on later. To translate the microprogram into actual hardware, it is needed to specify how each field translates into control signals. A microprogram can be implemented with finite state control or a microcode implementation with an explicit sequencer. the finite state machines are usually represented graphically. In this paper, Verilog software is used to translate microprogram to hardware.
暂无评论