27410689
On cognitive informatics
Information is the third essence in modeling the natural world. This paper attempts to explore an emerging discipline know as cognitive informatics. Cognitive Informatics is a profound interdisciplinary research area that tackles the common root problems of modern informatics, computation, software engineering, artificial intelligence (AI), neural psychology, and cognitive science. Cognitive informatics studies the internal information processing mechanisms and natural intelligence of the brain. This paper describes historical development of informatics from the classical information theory, contemporary informatics, to cognitive informatics. The domain of cognitive informatics and its interdisciplinary nature are explored. Foundations of cognitive informatics, particularly the brain vs. the mind, the acquired life functions vs. the inherited ones, and generic relationships between information, matter and energy are investigated. The potential engineering applications of cognitive informatics and perspectives on future research are discussed. It is expected that the investigation into cognitive informatics will result in fundamental findings towards the development of next generation IT and software technologies, such as neural computers, bioinformatics, quantum information processing, new software development approaches, and new architectures of information systems.
21455681
A layered reference model of the brain
Based on the advances of research in cognitive informatics and related fields, this paper attempts to develop a layered reference model of the brain that explains the functional mechanisms and cognitive processes of the natural intelligence. A variety of life functions and cognitive processes have been identified in cognitive informatics, cognitive science, neuropsychology, and neurophilosophy. In order to formally and rigorously describe a comprehensive and coherent set of mental processes and their relationships, an integrated reference model of the brain is established, which encompasses 37 cognitive processes at six layers known as the sensation, memory, perception, action, meta and higher cognitive layers from bottom up. The reference model of the brain may be applied to explain a wide range of physiological, psychological, and cognitive phenomena in cognitive informatics, particularly relationships between the inherited and the acquired life functions, as well as the subconscious and conscious cognitive processes.
29450095
Cognitive models of the brain
The human brain is the most complicated organ in the universe and a new frontier yet to be explored in an interdisciplinary approach. Investigation of the brain is a unique problem that requires recursive mental power to explore the brain using the brain. This paper attempts to develop functional and cognitive models of the brain by using cognitive informatics and formal methodologies. This paper adopts a memory-based approach to explore the brain, and to demonstrate that memory is the foundation for any natural intelligence. Structures of memories are explored and cognitive models of the natural intelligence are proposed. Cognitive mechanisms of the brain, including hypotheses and theories on the thinking engine of the brain, long-term memory establishment, and roles of sleep in long-term memory development, are investigated. The models and theories are applied to explain a number of fundamental physiological and psychological phenomena.
21184887
The cognitive processes of abstraction and formal inferences
Theoretical research is predominately an inductive process; while applied research is mainly a deductive process. Both inference processes are based on the cognitive process and means of abstraction. This paper describes the cognitive processes of abstraction and formal inferences such as deduction, induction, abduction, and analogy. The hierarchy of abstraction and the descriptivity of abstract means at different levels are analyzed. A set of mathematical models of formal inference methodologies are developed. Formal descriptions of the five cognitive processes of abstraction and inferences are presented using real-time process algebra (RTPA). Applications of abstraction and formal inferences in dealing with complicated problems in large-scale software system development in software engineering are discussed.
40360434
Measurement of the cognitive functional complexity of software
One of the central problems in software engineering is its inherited complexity. It is recognized that cognitive informatics plays an important role in understanding the fundamental characteristics of software. This paper models the cognitive weights of basic control structures of software, and develops a new concept of cognitive functional size for measuring software complexity. Comparative case studies between the cognitive functional size and physical sizes of 20 programs are conducted. It is found that for a given design, although the physical sizes of software may vary in a wide range, the cognitive functional sizes are much stable and independent from implementation technologies and programming languages. Therefore, the cognitive functional size provides a novel, stable and practical software complexity measurement and is helpful to explain the fundamental nature of software complexity in the phase of design, implementation, or maintenance in software engineering.
16244688
Formal Description of Time Management in Real-Time Operating Systems
This paper describes the formal specification of the time management subsystem of a real-time operating system. Real-time process algebra (RTPA) is adopted to formally specify the system. The architecture, static behaviors, and dynamic behaviors of a CPU time manager are systematically specified that form an abstract model of the system. The formal specifications are implemented in C, on which the system performance can be tested and verified
14953442
Estimating the Selectivity of XML Path Expression with Predicates by Histograms
Selectivity estimation of path expressions in querying XML data plays an important role in query optimization. A path expression may contain multiple branches with predicates, each of which having its impact on the selectivity of the entire query. In this paper, we propose a novel method based on 2-dimensional value histograms to estimate the selectivity of path expressions embedded with predicates. The value histograms capture the correlation between the structures and the values in the XML data. We define a set of operations on the value histograms as well as on the traditional histograms that capture nodes positional distribution. We then construct a cost tree based on such operations. The selectivity of any node (or branch) in a path expression can be estimated by executing the cost tree. Compared with previous methods (which ignore value distribution) our method offers much better estimation accuracy.
447865
Middleware support for embedded software with multiple QoS properties for ubiquitous computing environments
Ubiquitous application software usually has multiple QoS requirements, such as situation-awareness, real-time, and security, which make the application software development complicated. In this paper, an approach to supporting multiple QoS properties in application software using middleware is presented. Our reconfigurable context-sensitive middleware (RCSM), which provides situation-awareness support to the application software, is expanded to support more QoS by using aspect-oriented software development techniques. In the expanded RCSM, each QoS is processed through a set of aspect components. The application developers specify the QoS requirements in a specification file, which is in turn compiled to configure the corresponding aspect components. Being associated with certain application objects, the QoS aspect components enforce the QoS requirements according to the specification during run-time. In this paper, security, in addition to situation-awareness, is used as an example to illustrate our approach.
1917143
Wireless Sensing, Actuation and Control - With Applications to Civil Structures
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of installation cost and time from wireless communication and embedded computing. The hardware and software requirements pose an interesting, interdisciplinary research challenge. This paper describes a low-cost wireless sensing system that is judiciously designed for large-scale applications in civil structures. Laboratory and field tests have been conducted to validate the performance of the prototype system for measuring vibration responses. By incorporating an actuation signal generation interface, the wireless sensing system has the capabilities to perform structural actuation and support structural control applications. Structural control tests have been performed to validate the wireless sensing and actuation system.
5135938
Privacy preserving database application testing
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sample data and hence cannot simulate satisfactorily a live environment, especially in terms of performance and scalability testing. On the other hand, the idea of testing applications over live production databases is increasingly problematic in most situations primarily due to the fact that such use of live production databases has the potential to expose sensitive data to an unauthorized tester and to incorrectly update information in the underlying database. In this paper, we investigate techniques to generate mock databases for application software testing without revealing any confidential information from the live production databases. Specifically, we will design mechanisms to create the deterministic rule set R, non-deterministic rule set N R, and statistic data set S for a live production database. We will then build a security Analyzer which will process the triplet <R',N R',S'> together with security requirements (security policy) and output a new triplet <R',N R',S'> The security Analyzer will guarantee that no confidential information could be inferred from the new triplet <R',N R',S'> The mock database generated from this new triplet can simulate the live environment for testing purpose, while maintaining the privacy of data in the original database.
1436962
Predicting query times
We outline the need for search engines to provide user feedback on the expected time for a query, describe a scheme for learning a model of query time by observing sample queries, and discuss the results obtained for a set of actual user queries on a document collection using the MG search engine.