Research  Academic Activities  Publications  Teaching  Grad Student Supervision  Recent Books  TESERC   HOME 

 

RESEARCH 

 

 

Current Research Interest

   

My current research interests are in cognitive informatics, cognitive computing, software science, theoretical software engineering, abstract intelligence, denotational mathematics, formal methods, computational intelligence, soft computing, fuzzy inferences, cognitive computers, cognitive agent systems, autonomous machine learning, and web-based distributed and real-time systems.

 

[Selected PDF copies of recent papers may be found below or at:

-         DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

-         Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

 

Specific Research Areas and Initiatives

   

The following research fields and topic areas are initiated by my lab with international collaborations in recent years:

 

· Cognitive Informatics (CI) [IJCINI] [IEEE TSMC(B)] [IEEE TSMC(C)] [JB&M] [FI]

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

    - Natural intelligence [IEEE TSMC(B)] [IEEE TSMC(C)]

    - Neuroinformatics [IEEE ICCI'09]

    - The layered reference model of the brain (LRMB) [IEEE TSMC(C)]

    - The object-attribute-relation (OAR) mode of internal knowledge representation [IJCINI]   

    - The mathematical model of consciousness

    - Autonomous machine learning based on concept algebra [ACM TAAS]

    - Simulations of cognitive processes of the brain [to appear]

    - Memory capacity of human brains [JB&M]

    - Contemporary cybernetics [IEEE TSMC(B)]    

    - CI foundations of visual information processing [IJCINI]

    - CI foundations of creativity [IJCINI]

 

· Cognitive Computing (CC) [[IEEE ICCI'02] [ICCI'07] [IEEE TSMC(B)] [IJSSCI] [ACM TAAS] [TCS]

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

    - Cognitive computing [IJSSCI] [IJCINI]

    - Cognitive computers that think and feel [IEEE TSMC(B)] 

          - Level 1: Imperative computing

          - Level 2: Autonomic computing

          - Level 3: Cognitive (autonomous) computing     

    - Denotational mathematical means for cognitive computing [TCS]  

    - A unified reference model of autonomous agent systems (AAS's) [IJCINI]

    - Semantic computing [IJSC] [FI]

    - Cognitive process of decision making [IJCINI]

    - Cognitive process of problem solving [JCogSys] 

    - Cognitive process of memorization [TCS] 

    - Cognitive process of creations [IJCINI]

 

· Denotational Mathematics  [TCS]

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

    - Concept algebra [IJCINI]

    - System algebra [IJCINI]

    - Real-time process algebra (RTPA) [IJCINI]

    - Visual semantic algebra (VSA) [IJSSCI]

    - Granular algebra [IEEE TSMC(A)]

    - System algebra for GrC [IJCINI]

    - Fuzzy qualification and quantification [to appear]

    - Fuzzy causality analyses [to appear]

 

· Abstract Intelligence (aI) [IJSSCI]

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

    - Mathematical model of aI [IJSSCI]

    - The generic abstract intelligent model (GAIM) [IEEE TSMC(B)] 

          - Level 1: Imperative intelligence

          - Level 2: Autonomic intelligence

          - Level 3: Cognitive (autonomous) intelligence     

    - Studies on paradigms of aI (e.g. natural, artificial, machinable, computational intelligence)

    - Machinable thought [IEEE ICCI'09]

    - A unified reference model of autonomous agent systems (AAS's) [IJCINI]

    - Hybrid intelligence [IJSSCI]

    - Machine perceptions (emotions/motivations/attitudes/actions) in computational intelligence [IJCINI]

    - Abstract knowledge system [TCS]

 

· Software Science [SEF]

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

    - Theoretical software engineering [SEF]

          - Mathematical laws of software engineering [TCS]

    - The generic mathematical model of programs [IJSSCI]

          - The unified data model (UDM or CLM) for modeling system architectures [IJSSCI]

          - The unified process model (UPM) of system behaviors (RTPA) [IJCINI]

    - Formal semantics of software [DS]

          - Deductive semantics  [IJCINI]  

          - The big-R notation [IJCINI] 

          - Operational semantics [IJSSCI]

          - Denotational semantics [IJSSCI]

          - Deductive grammar for NLP [FI 90(4)]

    - Formal principles of software engineering [TCS]

          - The coordinative work organization theory for software project organization [IJCINI]

          - The formal economic model of software engineering costs (FEMSEC) [IJSSCI]

          - The formal framework of software engineering measurement system (SEMS) [IJSSCI]

    - Cognitive foundations of software engineering [IJSSCI]

          - Cognitive complexity of software [IJSSCI]  

    - Autonomic software code generation (Auto-CG) [IJSSCI]

    - Built-in tests (BITs) [ACM CS]

    - Formal design models/frameworks of software (real-time/embedded) systems [SEF]

          - The Telephone Switching System (TSS) [IJSSCI] 

          - The Lift Dispatching System (LDS) [IJSSCI] 

          - The Automatic Teller Machine (ATM) [IJSSCI] 

          - The Real-Time Operating System (RTOS+) [IJSSCI] 

          - The Air Traffic Control System (ATCS)  [to appear]

          - The Railway Dispatching System (RDS) [to appear]

          - The Intelligent Traffic Lights Control System (ITLCS) [to appear]

    - The software engineering process reference model (SEPRM) [CRC]     

 

· System Science

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

     - Abstract system theories [SEF]

     - System algebra [IJCINI]

     - System algebra for GrC [IJCINI]

 

· Knowledge Science and Autonomous Learning Systems

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

     - The formal knowledge system [TCS]

     - Autonomous machine learning based on concept algebra [ACM TAAS]

     - The AutoLearner [ ]

     - The Cognitive Learning Engine (CLE) [ ]

   

· Other Topics

     * Find in DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

      * Find in Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

     - The long-life span system theory for global warming [ ]

     - Basic laws of management science [IJCINI]

     - The formal model of abstract games [ ]