Yucong Duan | Università degli Studi di Milano-Bicocca (original) (raw)

Papers by Yucong Duan

Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using sem... more Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of ...

ktokai-u.ac.jp

This study investigated the method of integrating positive integer number types while keeping the... more This study investigated the method of integrating positive integer number types while keeping the amounts of them being traced. It distinguishes from most current adopted definitions and researches which deal with the two aspects independently. An integrated evolutional cognition model of integer numbers is depicted in the manner of a number version "cosmos explosion" (NCE). By providing a tunnel to repeat a formation/creation process of numbers, NCE allows not only a new systematic view on semantics/definitions of {numbers, number types, relationships among them}, but also opportunities to retrospect on some of the fundamental/historical issues related to the understanding of numbers. To illustrate the number classification and locating functionalities of NCE, some examples are shown related to locating prime numbers, and deduction on amount and composition relationships among number types, etc. NCE is promising to be extended to number theory, semantics, computation, modeling, etc.

Research Challenges in Information Science, 2008. …, Jan 1, 2008

I. INTRODUCTION MODEL transformations ~. [1] are g.enerally viewed as the core of the popularIZat... more I. INTRODUCTION MODEL transformations ~. [1] are g.enerally viewed as the core of the popularIZatIon and Implementation of most prevailing model driven engineering (MOE) [2],[5] approaches. Various MTs are quickly gaining strength and attentions with excellent application records. Many ...

… on Systems and International Conference on …, Jan 1, 2006

Many model driven software development (MDSD) processes take the form of the integration of sever... more Many model driven software development (MDSD) processes take the form of the integration of several development techniques or approaches. However comparing, selecting, and composing of them usually go implicitly lacking systemic guidelines. In this paper a conceptual approach for MDSD process frameworks modeling is proposed. Taking three inter-discipline concepts, abstraction, generality, and behaviorism that are fundamental to mathematics, philosophy as well as computer science as comparison dimensions, development techniques are compared in both static and dynamic facets of MDSD processes. An experimental method for composing them into development process frameworks is also given. This work potentially will be beneficial to meet nonfunctional software performance requirements on MDSD processes such as improving efficiency, traceability, and ensuring consistency etc.

Computer Modeling and Simulation, 2010. ICCMS' …, Jan 1, 2010

Abstract—this work is motivated by the hypothesis that ideas of the Four Color Problem (FCP) coul... more Abstract—this work is motivated by the hypothesis that ideas of the Four Color Problem (FCP) could contain important implications on semantics identification in terms of the necessary and sufficient amounts of elements and contents inside a paradigm and among ...

Software Engineering Research, …, Jan 1, 2010

Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using sem... more Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of ...

Computer Modeling and Simulation, 2010. ICCMS' …, Jan 1, 2010

I. INTRODUCTION Various rules based systems have been successfully proposed for either gaining ne... more I. INTRODUCTION Various rules based systems have been successfully proposed for either gaining new knowledge or implementation of artificial intelligence since a long time ago [1]. In previous work[2], we have revealed the semantics related to some main logic connectives ...

Software Engineering Artificial …, Jan 1, 2010

This paper presents an ongoing research which aims at combining geometrical analysis of point clo... more This paper presents an ongoing research which aims at combining geometrical analysis of point clouds and semantic rules to detect 3D building objects. Firstly by applying a previous semantic formalization investigation, we propose a classification of related knowledge as definition, partial knowledge and ambiguous knowledge to facilitate the understanding and design. Secondly an empirical implementation is conducted on a simplified building prototype complying with the IFC standard. The generation of empirical knowledge rules is revealed and semantic scopes are addressed both in the bottom up manner along the line of geometry  topology  semantic, and a vice versa top down manner. Concrete implementation is on the platform of protégé with Semantic Web Rule Language (SWRL).

Innovative Computing Information and Control, 2008 …, Jan 1, 2008

A Systemic Approach towards Recreating a Unified Semantics of Numbers ... By providing a tunnel t... more A Systemic Approach towards Recreating a Unified Semantics of Numbers ... By providing a tunnel to repeat a formation/creation process of numbers, NCE allows not only a new systemic view on semantics/definitions of {numbers, number types, relationships among them}, but ...

… of Computer Based …, Jan 1, 2006

Manual portion and automatable aspects are often not explicitly differentiated and defined in mos... more Manual portion and automatable aspects are often not explicitly differentiated and defined in most model driven software development (MDSD). This may hinder the advancement of the automation level of MDSD with problems such as defining the boundaries of automation tasks, and measuring the workload for model transformations (MT), etc. In common senses, the two parts are not distinguishable because they belong to irrespective subjective and objective conceptual areas respectively. By discussing this issue specifically for MDSD, a conceptual exclusion approach for differentiation based on an extended Entity Relationship (ER) model is proposed. A conceptual framework called MIB/CSD (manual work, inheritance, behaviorism / cardinality, static, dynamic) to implement the differentiation approach is designed. Feasibility of the differentiation work with regard to UML is discussed in both the theoretical aspect with the extended ER model and the practical aspect with some existing evidences.

2011 First ACIS International Symposium on Software …, Jan 1, 2011

Abstract—Multiple semantics may be bundled with a concept (CPT) or an expression composed of conc... more Abstract—Multiple semantics may be bundled with a concept (CPT) or an expression composed of concepts. We extend an investigation on fundamental semantics from concepts of type (TYPE) and instance (INS) to reveal relationships of expressions and semantics on ...

Focusing on phenomena of the existence of multiple semantics for a single concept or expression, ... more Focusing on phenomena of the existence of multiple semantics for a single concept or expression, we investigated fundamental semantics bundled to concepts of type (TYPE) and instance (INS) to reveal relationships among semantics of problem expressions and expected answers. Semantics of concepts of unlimited and completeness are identified as fundamental classification characteristics for clarifying/formalizing semantics of expressions towards bridging semantics between problems and answers. An approach of semantic computation from problem solving perspectives is proposed with demonstrative cases on previously confusing or misleading issues.

… Technology and Development, 2009. ICCTD'09. …, Jan 1, 2009

Abstract—after an investigation on existing ontology for three dimensional (3D) reconstructions o... more Abstract—after an investigation on existing ontology for three dimensional (3D) reconstructions of architectural objects from a cloud points achieved through 3D scanning, importance and imperativeness of completeness related issues is highlighted with the absence of logic connective ...

2011 First ACIS International Symposium on Software …, Jan 1, 2011

Abstract—the era of service\ cloud computing brings unprecedented request for quality evaluation.... more Abstract—the era of service\ cloud computing brings unprecedented request for quality evaluation. Existing quality evaluation usually relies on a set of organized quality properties. The organization of quality properties partially determines the quality of a quality model ...

Studies in Computational Intelligence, Springer, Jan 1, 2009

ICSCT 2010, Jan 1, 2010

Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information... more Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information processing of either explicit design formalization or implicit natural language(NL) communication of projects' implementation. We summarized our past experience of solutions for semantic knowledge management projects. An adopted hypothesis is that among the tremendous and rapid increasing information, there is a relative stable core which can map/relate to every specific piece of information uniformly starting from the discussion on existence and conceptualization. The mapping will result in an expansion formalization based on open world assumption (OWA) and closed world assumption (CWA). This formalization can be widely applied for guiding semantic formalization and validation. We show initial applications on transformations from SUBJ to OBJ, etc.

Software Engineering Research, Management and …, Jan 1, 2009

Summary. Archi3D is a successful practice well proved by engineering implementations. In this pap... more Summary. Archi3D is a successful practice well proved by engineering implementations. In this paper, both static class diagrams and dynamic constraint rules related to existing systems are investigated, optimization initiations are proposed with a semantics formalization ...

… Science and Its Applications-ICCSA 2006, Jan 1, 2006

Ontologies are increasingly adopted to facilitate the model driven software development (MDSD). T... more Ontologies are increasingly adopted to facilitate the model driven software development (MDSD). The issue of intertransformations among various ontologies is quickly growing prominent. Some explain that variation of ontology definition should be accepted as a must. We would agree with the point that the definition of ontology for the MDSD should be further standardized with tools. In this paper, the ontology definition for the MDSD is systematically analyzed from the philosophical and human cognitional views. Based on a few metaconcepts, ontology creation and evaluation modes are proposed. By providing general precise and consistent semantics for development elements, this framework will considerably improve the development of models of automation oriented development MDSD processes. Experimental applications on intertransformations and unifications of semantics of existing modeling languages are very encouraging.

… , Management and Applications, 2009. SERA'09. 7th …, Jan 1, 2009

Archi3D project is a successful practice well proved by engineering practices. In this paper, we ... more Archi3D project is a successful practice well proved by engineering practices. In this paper, we propose to reconstruct semantics for the purpose of reconstruct 3D architecture in Archi3D fundamentally. The formalization approach starts from several hypotheses on semantics which include: there is a core mechanism of semantics which is not limited to conceptual expression level; and a complete expression of semantics necessaries the -implicitexplicit‖ transition of human side knowledge, etc. The necessity and feasibility concerning applying the proposed method and technology to the practice of Archi3D is discussed systemically by way of semantics revelations on some cases related to natural language and logic expressions, etc.

Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using sem... more Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of ...

ktokai-u.ac.jp

This study investigated the method of integrating positive integer number types while keeping the... more This study investigated the method of integrating positive integer number types while keeping the amounts of them being traced. It distinguishes from most current adopted definitions and researches which deal with the two aspects independently. An integrated evolutional cognition model of integer numbers is depicted in the manner of a number version "cosmos explosion" (NCE). By providing a tunnel to repeat a formation/creation process of numbers, NCE allows not only a new systematic view on semantics/definitions of {numbers, number types, relationships among them}, but also opportunities to retrospect on some of the fundamental/historical issues related to the understanding of numbers. To illustrate the number classification and locating functionalities of NCE, some examples are shown related to locating prime numbers, and deduction on amount and composition relationships among number types, etc. NCE is promising to be extended to number theory, semantics, computation, modeling, etc.

Research Challenges in Information Science, 2008. …, Jan 1, 2008

I. INTRODUCTION MODEL transformations ~. [1] are g.enerally viewed as the core of the popularIZat... more I. INTRODUCTION MODEL transformations ~. [1] are g.enerally viewed as the core of the popularIZatIon and Implementation of most prevailing model driven engineering (MOE) [2],[5] approaches. Various MTs are quickly gaining strength and attentions with excellent application records. Many ...

… on Systems and International Conference on …, Jan 1, 2006

Many model driven software development (MDSD) processes take the form of the integration of sever... more Many model driven software development (MDSD) processes take the form of the integration of several development techniques or approaches. However comparing, selecting, and composing of them usually go implicitly lacking systemic guidelines. In this paper a conceptual approach for MDSD process frameworks modeling is proposed. Taking three inter-discipline concepts, abstraction, generality, and behaviorism that are fundamental to mathematics, philosophy as well as computer science as comparison dimensions, development techniques are compared in both static and dynamic facets of MDSD processes. An experimental method for composing them into development process frameworks is also given. This work potentially will be beneficial to meet nonfunctional software performance requirements on MDSD processes such as improving efficiency, traceability, and ensuring consistency etc.

Computer Modeling and Simulation, 2010. ICCMS' …, Jan 1, 2010

Abstract—this work is motivated by the hypothesis that ideas of the Four Color Problem (FCP) coul... more Abstract—this work is motivated by the hypothesis that ideas of the Four Color Problem (FCP) could contain important implications on semantics identification in terms of the necessary and sufficient amounts of elements and contents inside a paradigm and among ...

Software Engineering Research, …, Jan 1, 2010

Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using sem... more Abstract—this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of ...

Computer Modeling and Simulation, 2010. ICCMS' …, Jan 1, 2010

I. INTRODUCTION Various rules based systems have been successfully proposed for either gaining ne... more I. INTRODUCTION Various rules based systems have been successfully proposed for either gaining new knowledge or implementation of artificial intelligence since a long time ago [1]. In previous work[2], we have revealed the semantics related to some main logic connectives ...

Software Engineering Artificial …, Jan 1, 2010

This paper presents an ongoing research which aims at combining geometrical analysis of point clo... more This paper presents an ongoing research which aims at combining geometrical analysis of point clouds and semantic rules to detect 3D building objects. Firstly by applying a previous semantic formalization investigation, we propose a classification of related knowledge as definition, partial knowledge and ambiguous knowledge to facilitate the understanding and design. Secondly an empirical implementation is conducted on a simplified building prototype complying with the IFC standard. The generation of empirical knowledge rules is revealed and semantic scopes are addressed both in the bottom up manner along the line of geometry  topology  semantic, and a vice versa top down manner. Concrete implementation is on the platform of protégé with Semantic Web Rule Language (SWRL).

Innovative Computing Information and Control, 2008 …, Jan 1, 2008

A Systemic Approach towards Recreating a Unified Semantics of Numbers ... By providing a tunnel t... more A Systemic Approach towards Recreating a Unified Semantics of Numbers ... By providing a tunnel to repeat a formation/creation process of numbers, NCE allows not only a new systemic view on semantics/definitions of {numbers, number types, relationships among them}, but ...

… of Computer Based …, Jan 1, 2006

Manual portion and automatable aspects are often not explicitly differentiated and defined in mos... more Manual portion and automatable aspects are often not explicitly differentiated and defined in most model driven software development (MDSD). This may hinder the advancement of the automation level of MDSD with problems such as defining the boundaries of automation tasks, and measuring the workload for model transformations (MT), etc. In common senses, the two parts are not distinguishable because they belong to irrespective subjective and objective conceptual areas respectively. By discussing this issue specifically for MDSD, a conceptual exclusion approach for differentiation based on an extended Entity Relationship (ER) model is proposed. A conceptual framework called MIB/CSD (manual work, inheritance, behaviorism / cardinality, static, dynamic) to implement the differentiation approach is designed. Feasibility of the differentiation work with regard to UML is discussed in both the theoretical aspect with the extended ER model and the practical aspect with some existing evidences.

2011 First ACIS International Symposium on Software …, Jan 1, 2011

Abstract—Multiple semantics may be bundled with a concept (CPT) or an expression composed of conc... more Abstract—Multiple semantics may be bundled with a concept (CPT) or an expression composed of concepts. We extend an investigation on fundamental semantics from concepts of type (TYPE) and instance (INS) to reveal relationships of expressions and semantics on ...

Focusing on phenomena of the existence of multiple semantics for a single concept or expression, ... more Focusing on phenomena of the existence of multiple semantics for a single concept or expression, we investigated fundamental semantics bundled to concepts of type (TYPE) and instance (INS) to reveal relationships among semantics of problem expressions and expected answers. Semantics of concepts of unlimited and completeness are identified as fundamental classification characteristics for clarifying/formalizing semantics of expressions towards bridging semantics between problems and answers. An approach of semantic computation from problem solving perspectives is proposed with demonstrative cases on previously confusing or misleading issues.

… Technology and Development, 2009. ICCTD'09. …, Jan 1, 2009

Abstract—after an investigation on existing ontology for three dimensional (3D) reconstructions o... more Abstract—after an investigation on existing ontology for three dimensional (3D) reconstructions of architectural objects from a cloud points achieved through 3D scanning, importance and imperativeness of completeness related issues is highlighted with the absence of logic connective ...

2011 First ACIS International Symposium on Software …, Jan 1, 2011

Abstract—the era of service\ cloud computing brings unprecedented request for quality evaluation.... more Abstract—the era of service\ cloud computing brings unprecedented request for quality evaluation. Existing quality evaluation usually relies on a set of organized quality properties. The organization of quality properties partially determines the quality of a quality model ...

Studies in Computational Intelligence, Springer, Jan 1, 2009

ICSCT 2010, Jan 1, 2010

Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information... more Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information processing of either explicit design formalization or implicit natural language(NL) communication of projects' implementation. We summarized our past experience of solutions for semantic knowledge management projects. An adopted hypothesis is that among the tremendous and rapid increasing information, there is a relative stable core which can map/relate to every specific piece of information uniformly starting from the discussion on existence and conceptualization. The mapping will result in an expansion formalization based on open world assumption (OWA) and closed world assumption (CWA). This formalization can be widely applied for guiding semantic formalization and validation. We show initial applications on transformations from SUBJ to OBJ, etc.

Software Engineering Research, Management and …, Jan 1, 2009

Summary. Archi3D is a successful practice well proved by engineering implementations. In this pap... more Summary. Archi3D is a successful practice well proved by engineering implementations. In this paper, both static class diagrams and dynamic constraint rules related to existing systems are investigated, optimization initiations are proposed with a semantics formalization ...

… Science and Its Applications-ICCSA 2006, Jan 1, 2006

Ontologies are increasingly adopted to facilitate the model driven software development (MDSD). T... more Ontologies are increasingly adopted to facilitate the model driven software development (MDSD). The issue of intertransformations among various ontologies is quickly growing prominent. Some explain that variation of ontology definition should be accepted as a must. We would agree with the point that the definition of ontology for the MDSD should be further standardized with tools. In this paper, the ontology definition for the MDSD is systematically analyzed from the philosophical and human cognitional views. Based on a few metaconcepts, ontology creation and evaluation modes are proposed. By providing general precise and consistent semantics for development elements, this framework will considerably improve the development of models of automation oriented development MDSD processes. Experimental applications on intertransformations and unifications of semantics of existing modeling languages are very encouraging.

… , Management and Applications, 2009. SERA'09. 7th …, Jan 1, 2009

Archi3D project is a successful practice well proved by engineering practices. In this paper, we ... more Archi3D project is a successful practice well proved by engineering practices. In this paper, we propose to reconstruct semantics for the purpose of reconstruct 3D architecture in Archi3D fundamentally. The formalization approach starts from several hypotheses on semantics which include: there is a core mechanism of semantics which is not limited to conceptual expression level; and a complete expression of semantics necessaries the -implicitexplicit‖ transition of human side knowledge, etc. The necessity and feasibility concerning applying the proposed method and technology to the practice of Archi3D is discussed systemically by way of semantics revelations on some cases related to natural language and logic expressions, etc.