23798301
The cognitive process of comprehension
Comprehension is the action or capability of understanding. Comprehension is a higher cognitive process of the brain that searches relations between a given object or attribute and other objects, attributes, and relations in the long-term memory, and establishes a representational model for the object or attribute by connecting it to appropriate clusters of memory. It is recognized that although knowledge and information are powerful, before any information can be possessed and processed, it should be comprehended properly. This paper intends to model one of the cognitive life functions, comprehension, in cognitive informatics. The mechanism and process of comprehension are described based on the cognitive model of the brain developed by Wang. Then, real-time process algebra (RTPA) is used to formally describe the comprehension process.
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
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.
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.
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.
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.
509991
Brain Surface Conformal Parameterization with Algebraic Functions
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registration and signal processing. Here we introduce a parameterization method based on algebraic functions. By solving the Yamabe equation with the Ricci flow method, we can conformally map a brain surface to a multi-hole disk. The resulting parameterizations do not have any singularities and are intrinsic and stable. To illustrate the technique, we computed parameterizations of several types of anatomical surfaces in MRI scans of the brain, including the hippocampi and the cerebral cortices with various landmark curves labeled. For the cerebral cortical surfaces, we show the parameterization results are consistent with selected landmark curves and can be matched to each other using constrained harmonic maps. Unlike previous planar conformal parameterization methods, our algorithm does not introduce any singularity points. It also offers a method to explicitly match landmark curves between anatomical surfaces such as the cortex, and to compute conformal invariants for statistical comparisons of anatomy.
7477567
Design formalism for collaborative assembly design
Abstract Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, repair, and portability. Collaborative product design is emerging as a viable alternative to the traditional design process. The collaborative assembly design (AsD) methodologies are needed for distributed product development. Existing AsD methodologies have limitations in capturing the non-geometric aspects of designer's intent on joining and are not efficient for a collaborative design environment. This paper introduces an AsD formalism and associated AsD tools to capture joining relations and spatial relationship implications. This AsD formalism allows the joining relations to be modeled symbolically for computer interpretation, and the model can be used for inferring mathematical and physical implications. An AsD model generated from the AsD formalism is used to exchange AsD information transparently in a collaborative AsD environment. An assembly relation model and a generic assembly relationship diagram are to capture assembly and joining information concisely and persistently. As a demonstration, the developed AsD formalism and AsD tools are applied on a connector assembly with arc weld and rivet joints.
793367
3D Brain surface matching based on geodesics and local geometry
The non-rigid registration of surfaces is a complex and difficult task for which there are many important applications, such as comparing shape between deformable objects and comparing associated function. This paper presents a new approach for brain surface matching by determining the correspondence of 3D point sets between pairs of surfaces. The algorithm is based on shape using a combination of geodesic distance and surface curvature. There are two major procedures involved. An initial sparse set of corresponding points is first generated by matching local geometrical features. Geodesic distance interpolation is then employed hierarchically in order to capture the complex surface. By this scheme, surface correspondence and triangulation are computed simultaneously. Experiments applied to human cerebral cortical surfaces are shown to evaluate the approach. It is shown that the proposed method performs well for both surface matching and surface shape recovery.
14524485
Boundary finding with correspondence using statistical shape models
We propose an approach for boundary finding where the correspondence of a subset of boundary points to a model is simultaneously determined. Global shape parameters derived from the statistical variation of object boundary points in a training set are used to model the object. A Bayesian formulation, based on this prior knowledge and the edge information of the input image, is employed to find the object boundary with its subset points in correspondence with boundaries in the training set or the mean boundary. We compared the use of a generic smoothness prior and a uniform independent prior with the training set prior in order to demonstrate the power of this statistical information. A number of experiments were performed on both synthetic and real medical images of the brain and heart to evaluate the approach, including the validation of the dependence of the method on image quality, different initialization and prior information.
34251654
Near-Linear Time Approximation Algorithms for Curve Simplification
We consider the problem of approximating a polygonal curve P under a given error criterion by another polygonal curve P? whose vertices are a subset of the vertices of P. The goal is to minimize the number of vertices of P? while ensuring that the error between P? and P is below a certain threshold. We consider two fundamentally different error measures -- Hausdorff and Frechet error measures. For both error criteria, we present near-linear time approximation algorithms that, given a parameter ? > 0, compute a simplified polygonal curve P? whose error is less than ? and size at most the size of an optimal simplified polygonal curve with error ?/2. We consider monotone curves in the case of Hausdorff error measure and arbitrary curves for the Frechet error measure. We present experimental results demonstrating that our algorithms are simple and fast, and produce close to optimal simplifications in practice.