An important factor for health is the possibility to be active and mobile. To make this possible various kinds of support are needed. Integrating geographical information systems technology and user experiences is imp...
详细信息
Knowledge is acquired information in forms of data, behavior, experience, and skills retained in memory through learning. This paper presents the nature of human knowledge, its mathematical model, and its manipulation...
详细信息
Knowledge is acquired information in forms of data, behavior, experience, and skills retained in memory through learning. This paper presents the nature of human knowledge, its mathematical model, and its manipulation by concept algebra. The taxonomy of knowledge and its hierarchical abstraction model of knowledge are investigated. Mathematical models of knowledge and its manipulation by concept algebra are developed. The theory of knowledge acquisition and the cognitive model of knowledge spaces are formally described covering the effort and complexity models of knowledge creation and acquisition. The framework of formalized knowledge systems is developed based on the analyses of formal and empirical knowledge.
Intelligence is a driving force or an ability to acquire and use knowledge and skills, or to inference in problem solving. This keynote lecture describes the taxonomy and nature of intelligence. It analyzes roles of i...
详细信息
Intelligence is a driving force or an ability to acquire and use knowledge and skills, or to inference in problem solving. This keynote lecture describes the taxonomy and nature of intelligence. It analyzes roles of information in the evolution of human intelligence, and the needs for logical abstraction in modeling the brain and natural intelligence. A formal model of intelligence is developed known as the generic intelligence mode (GIM), which provides a foundation to explain the mechanisms of advanced natural intelligence such as thinking, learning, and inferences. A measurement framework of intelligent capability of humans and systems is presented in the forms of intelligent quotient, intelligent equivalence, and intelligent metrics. On the basis of GIM model and theories, the compatibility of nature and machine intelligence is revealed, which forms a theoretical foundation for rigorous study in machine intelligence, AI, and intelligent systems.
On the basis of the basic research in cognitive informatics, particularly the development of concept algebra, real-time process algebra (RTPA), the layered reference model of the brain (LRMB), and the object-attribute...
详细信息
On the basis of the basic research in cognitive informatics, particularly the development of concept algebra, real-time process algebra (RTPA), the layered reference model of the brain (LRMB), and the object-attribute-relation (OAR) model for internal knowledge representation, the revilement of the cognitive process of learning and formal knowledge manipulation are enabled. This paper presents an autonomic learning system known as the AutoLearner. Mimics of knowledge organization, updating, and navigation inside the brain are formally modeled according to the OAR model using concept algebra and RTPA. A machine learning system and a cognitive simulator are developed to visualize interactions between thinking, learning, and the internal knowledge representation. A case study is presented to demonstrate the design and implementation of the AutoLearner system.
Learning is a fundamental cognitive process of human intelligence. According to cognitive informatics, learning as a collective term can be classified into the categories of transitive, objective, and complex learning...
详细信息
Learning is a fundamental cognitive process of human intelligence. According to cognitive informatics, learning as a collective term can be classified into the categories of transitive, objective, and complex learning. This paper presents a theoretical framework of learning and explains its cognitive processes. The neural informatics foundations of learning, particularly the hierarchical neural cluster (HNC) model and the object-attribute-relation (OAR) model, are explored. The taxonomy and theory of learning are described based on concept algebra. The mathematical models of learning are systematically established for the categories of the transitive, objective, and complex learning. On the basis of the fundamental theories of learning, the cognitive processes of learning are formally described using real-time process algebra (RTPA). The theoretical framework established in this work can be applied to both human and machine learning systems.
A set of fundamental cognitive processes of the brain is formally described in this paper. The cognitive processes defined at the meta cognitive level of the layered reference mode of the brain (LRMB) encompass those ...
详细信息
A set of fundamental cognitive processes of the brain is formally described in this paper. The cognitive processes defined at the meta cognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, concept establishment, categorization, comparison, qualification, quantification, selection, and search . Real-time process algebra (RTPA) is adopted as the denotational mathematical means for rigorous modeling and describing the meta cognitive processes. The mathematical model of each meta process is created and modeled in RTPA. All cognitive models and processes are explained on the basis of the object- attribute-relation (OAR) model for internal information and knowledge representation and manipulation.
In this paper, a novel online technique for estimating the parameters of a DC/DC Buck converter through a continuous time model is proposed. Standard least mean squares algorithm is applied among other formulations, t...
详细信息
ISBN:
(纸本)9075815115
In this paper, a novel online technique for estimating the parameters of a DC/DC Buck converter through a continuous time model is proposed. Standard least mean squares algorithm is applied among other formulations, taking into account only the non conduction state during a single switching cycle. The problem of derivative calculation of the needed voltage and current signals is solved by polynomial interpolation.
In this paper, simplified regression models useful for parameter extraction are obtained from the hybrid models of Buck and Boost DC/DC converters. These models are used in the ESR estimation of output filter capacito...
详细信息
In this paper, simplified regression models useful for parameter extraction are obtained from the hybrid models of Buck and Boost DC/DC converters. These models are used in the ESR estimation of output filter capacitors present in the same circuits for diagnostic purposes. Advantages obtained through the simplified models are outlined regarding the original complete regression models obtained from the respective hybrid models. The simplified and the original parameter estimation methods are both applied and compared between them regarding accuracy, data processing time and reliability of the implemented algorithms. Results obtained from simulations and experimental results are presented.
In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamically scheduled on heterogeneous systems. Usi...
详细信息
In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamically scheduled on heterogeneous systems. Using this model we determine the synchronization frequency that minimizes the estimated parallel time. The accuracy of our method is validated through experiments on a heterogeneous cluster. The results show that the synchronization frequency minimizing the parallel time determined by our method, is very close to the synchronization frequency found experimentally.
In this paper, a novel online technique for estimating the parameters of a DC/DC buck converter through a continuous time model is proposed. Standard least mean squares algorithm is applied among other formulations, t...
详细信息
ISBN:
(纸本)9789075815115
In this paper, a novel online technique for estimating the parameters of a DC/DC buck converter through a continuous time model is proposed. Standard least mean squares algorithm is applied among other formulations, taking into account only the non conduction state during a single switching cycle. The problem of derivative calculation of the needed voltage and current signals is solved by polynomial interpolation.
暂无评论