A comprehensive safety evaluation system taking the most influential factors into account has been developed to evaluate the reliability of hydraulic metal structures. Applying the techniques of AI and DB, the idea of...A comprehensive safety evaluation system taking the most influential factors into account has been developed to evaluate the reliability of hydraulic metal structures. Applying the techniques of AI and DB, the idea of a one-machine and three-base system is proposed. The framework of the three-base system has been designed and the structural framework constructed in turn. A practical example is given to illustrate the process of using this system and it can be used for comparison and analysis purposes. The key technology of the system is its ability to reorganize and improve the expert system's knowledge base by establishing the expert system. This system utilizes the computer technology inference process, making safety evaluation conclusions more reasonable and applicable to the actual situation. The system is not only advanced, but also feasible, reliable, artificially intelligent, and has the capacity to constantly grow.展开更多
To support and serve engineering design, creative design based on knowledge management is proposed. The key knowledge factors of creative design are analyzed and discussed, and knowledge extraction tools are utilized ...To support and serve engineering design, creative design based on knowledge management is proposed. The key knowledge factors of creative design are analyzed and discussed, and knowledge extraction tools are utilized to distill the important knowledge to serve for knowledge resource of creative design. The implementation of creative design mode is described and executed, which can promote the intelligent asset of the enterprise and shorten the period of creative design. With this study, design afflatus and conceptual design can be achieved expediently and effectively.展开更多
With the deep research of knowledge engineering and the widespread applications of CAD technology, the joining of knowledge engineering with CAD is the focus of advanced manufacturing. An intelligent approach is prese...With the deep research of knowledge engineering and the widespread applications of CAD technology, the joining of knowledge engineering with CAD is the focus of advanced manufacturing. An intelligent approach is presented for configurating the typical structural components of radar. Case based reasoning, rule based reasoning, geometric, constraint solving and domain ontology are merged into a compound knowledge model. The main frame and workflow of radar typical structural component design system are illustrated. Experiments show this approach is efficient and effective.展开更多
With the development of automatic design and artificial intelligence techniques, intelligence already have been applied in maintainability design and analysis of military /commercial equipment. Expert system has been ...With the development of automatic design and artificial intelligence techniques, intelligence already have been applied in maintainability design and analysis of military /commercial equipment. Expert system has been used in diagnosis, design analysis, testability design, etc. In this paper, we will discuss about knowledge engineering application in two types. One is integrated knowledge base system for maintainability, it's the baseline of concurrent, intelligence design and it's also suitable for the present situation in China that there is lack of maintainability engineers. The other application is expert system for formulating maintainability design criteria and it can take full advantage of experts' experiences and past cases. Under development trend of intelligence design, these two systems will have good effects on maintainability design and analysis.展开更多
This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background k...This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background knowledge plays an important role in enhancing the ability of a learning system. An explanation based learning system with domain theory in primary knowledge base and background knowledge in secondary knowledge base is introduced as an example. It shows how background knowledge can be used to solve some of the problems caused by incomplete domain theory in an explanation based learning system. The system can accomplish knowledge level learning through purely deductive approach. At last the acquisition of background knowledge is briefly discussed.展开更多
As expert systems technology has matured and migrated into mainstream computing, there arestill areas which are overlooked in education prospective knowledge engineers. This paper addresses this issue, and provides a ...As expert systems technology has matured and migrated into mainstream computing, there arestill areas which are overlooked in education prospective knowledge engineers. This paper addresses this issue, and provides a message to educators that expert and knowledge-based systems should be an importantstrategic science and technology for many organizations.展开更多
The paper presents a cognitive science framework for the analysis of knowledge-based systems,including people, media. simulation and expert systems, resulting in a practical model for the procedures ofknowledge engine...The paper presents a cognitive science framework for the analysis of knowledge-based systems,including people, media. simulation and expert systems, resulting in a practical model for the procedures ofknowledge engineering. Starting with the construct of a social organization model driven by anticipationand thed differentiating this into pesonal scientists with diverse relations to people and their internal andexternal communication, it provides powerful and general model of society. people, and the roles of peoplein society. This model extends naturally ic the role of conventional media in the knowledge processes ofsociety and the new roles of computer-based simulation and expert systems. In particular it provides amodel of knowledge transfer that enables the processes of knowledge engineering to be analyzed andautomated.展开更多
A prodouct modeling and a process planning that are two essential basses of realizing concurrent engineering are investigated , a logical modeling technique , grammar representation scheme of technology knowledge and...A prodouct modeling and a process planning that are two essential basses of realizing concurrent engineering are investigated , a logical modeling technique , grammar representation scheme of technology knowledge and architecture of expert system for process planning within con- current engineering environment are proposed. They have been utilized in a real reaserch project.展开更多
This paper tentatively discusses the necessity and the requirements to better educate joint UB1-HIT master students from an engineering and engineer's perspective.The author argues that the students should have a ...This paper tentatively discusses the necessity and the requirements to better educate joint UB1-HIT master students from an engineering and engineer's perspective.The author argues that the students should have a broader engineering culture.After having given the context and basic definitions,the paper presents the author's view on how to better develop the engineering capabilities from a knowledge acquisition and learning point of view.Requirements for engineering education are addressed,based,among others,on the professional experience the first author built up while serving as senior manager in information technology and business transformation,at Capgemini Consulting(Belgium).A series of conclusions are given at the end of the paper.展开更多
Knowledge engineering stems from E. A. Figenbaum's proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to s...Knowledge engineering stems from E. A. Figenbaum's proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to show possibility of separating knowledge development from intelligent software development. We call it the ICAX mode of intelligent application software generation. The key of this mode is to generate knowledge base, which is the source of intelligence of ICAX software, independently and parallel to intelligent software development. That gives birth to a new and more general concept "knowware". Knowware is a commercialized knowledge module with documentation and intellectual property, which is computer operable, but free of any built-in control mechanism, meeting some industrial standards and embeddable in software/hardware. The process of development, application and management of knowware is called knowware engineering. Two different knowware life cycle models are discussed: the furnace model and the crystallization model. Knowledge middleware is a class of software functioning in all aspects of knowware life cycle models. Finally, this paper also presents some examples of building knowware in the domain of information system engineering.展开更多
To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acq...To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acquisition, knowledge representation and reasoning used in CNC programming were researched. The CNC programming system functional architecture of impeller parts based on knowledge based engineering(KBE) was constructed. The structural model of the general knowledge-based system(KBS) was also constructed. The KBS of CNC programming system was established through synthesizing database technology and knowledge base theory. And in the context of corporate needs, based on the knowledge-driven manufacturing platform(i.e. UG CAD/CAM), VC++6.0 and UG/Open, the KBS and UG CAD/CAM were integrated seamlessly and the intelligent CNC programming KBE system for the impeller parts was developed by integrating KBE and UG CAD/CAM system. A method to establish standard process templates was proposed, so as to develop the intelligent CNC programming system in which CNC machining process and process parameters were standardized by using this KBE system. For the impeller parts processing, the method applied in the development of the prototype system is proven to be viable, feasible and practical.展开更多
The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge ...The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge as well as software knowledge. That is featured by separating the development of domain knowledge from the development of software. But in PROMIS, we did not find an appropriate representation for the domain knowledge. Fortunately, in our recent work, we found such a carrier for knowledge modules, i.e. knowware. Knowware is a commercialized form of domain knowledge. This paper briefly introduces the basic definitions of knowware, knowledge middleware and knowware engineering. Three life circle models of knowware engineering and the design of corresponding knowware implementations are given. Finally we discuss application system automatic generation and domain knowledge modeling on the J2EE platform, which combines the techniques of PROMIS, knowware and J2EE, and the development and deployment framework, i.e. PROMIS/KW**.展开更多
In this paper, the authors propose a method that incorporates mechanisms for handling ambiguity in speech and the ability of humans to create associations, and for formulating conversations based on rule base knowledg...In this paper, the authors propose a method that incorporates mechanisms for handling ambiguity in speech and the ability of humans to create associations, and for formulating conversations based on rule base knowledge and common knowledge. Go beyond the level that can be achieved, using only conventional natural language processing and vast repositories of sample patterns. In this paper, the authors propose a method for computer conversation sentences generated using newspaper headlines as an example of how the common knowledge and associative ability are applied.展开更多
The manufacturing of composite structures is a highly complex task with inevitable risks, particularly associated with aleatoric and epistemic uncertainty of both the materials and processes, as well as the need for &...The manufacturing of composite structures is a highly complex task with inevitable risks, particularly associated with aleatoric and epistemic uncertainty of both the materials and processes, as well as the need for <i>in-situ</i> decision-making to mitigate defects during manufacturing. In the context of aerospace composites production in particular, there is a heightened impetus to address and reduce this risk. Current qualification and substantiation frameworks within the aerospace industry define tractable methods for risk reduction. In parallel, Industry 4.0 is an emerging set of technologies and tools that can enable better decision-making towards risk reduction, supported by data-driven models. It offers new paradigms for manufacturers, by virtue of enabling <i>in-situ</i> decisions for optimizing the process as a dynamic system. However, the static nature of current (pre-Industry 4.0) best-practice frameworks may be viewed as at odds with this emerging novel approach. In addition, many of the predictive tools leveraged in an Industry 4.0 system are black-box in nature, which presents other concerns of tractability, interpretability and ultimately risk. This article presents a perspective on the current state-of-the-art in the aerospace composites industry focusing on risk reduction in the autoclave processing, as an example system, while reviewing current trends and needs towards a Composites 4.0 future.展开更多
Design knowledge and experience are the bases to carry out aircraft conceptual design tasks due to the high complexity and integration of the tasks during this phase. When carrying out the same task, different designe...Design knowledge and experience are the bases to carry out aircraft conceptual design tasks due to the high complexity and integration of the tasks during this phase. When carrying out the same task, different designers may need individual strategies to fulfill their own demands. A knowledge-based and extensible method in building aircraft conceptual design systems is studied considering the above requirements. Based on the theory, a knowledge-based aircraft conceptual design environment, called knowledge-based and extensible aircraft conceptual design environment (KEACDE) with open architecture, is built as to enable designers to wrap add-on extensions and make their own aircraft conceptual design systems. The architecture, characteristics and other design and development aspects of KEACDE are discussed. A civil airplane conceptual design system (CACDS) is achieved using KEACDE. Finally, a civil airplane design case is presented to demonstrate the usability and effectiveness of this v environment.展开更多
This paper proposes a knowledge-based specification technique(KST)for protocol development. This technique semi-automatically translates a protocol described in an informal description(natural languages or graphs)into...This paper proposes a knowledge-based specification technique(KST)for protocol development. This technique semi-automatically translates a protocol described in an informal description(natural languages or graphs)into one described in formal specifications(Estelle and SDL).The translation processes are supported by knowledge stored in the knowledge base.This paper discusses the concept, the specification control mechanism of KST and the rules and algorithms for production of FSM's which is the basis of Estelle and SDL.展开更多
The concept of individual knowledge system(IKS)is defined from the perspective of system science.To begin with,the present paper elaborates the characteristics of IKS.Then a six-space pattern of information and knowle...The concept of individual knowledge system(IKS)is defined from the perspective of system science.To begin with,the present paper elaborates the characteristics of IKS.Then a six-space pattern of information and knowledge for IKS is created to describe and organize knowledge,providing a computation model to analyse things.Finally,an example of stability analysis in industrial economic system is used to illustrate the feasibility and validity of IKS.展开更多
The authors use a web crawler to retrieve all periodical articles from CNKI between the 1950 s and 2016 and then parse the abstracts of 293368 articles about grassland deterioration by word segmentation, location matc...The authors use a web crawler to retrieve all periodical articles from CNKI between the 1950 s and 2016 and then parse the abstracts of 293368 articles about grassland deterioration by word segmentation, location matching and other methods. The authors also construct a research hot regions extraction model of grassland deterioration in China based on a comprehensive research hot regions index of toponyms and then analyze the spatial pattern and dynamic change in research hot regions of grassland deterioration in China. The research shows the following:(1) The spatial heterogeneity of grassland deterioration in China can be effectively described by a model of grassland deterioration based on the comprehensive research hot regions index.(2) The research hot regions of grassland deterioration are mainly distributed in most regions of Inner Mongolia, Xinjiang, Qinghai, Tibet, Gansu and other provinces. The northeastern region of Inner Mongolia(such as Hulunbeier) and the eastern region of Inner Mongolia(such as Xilin Gol, Chifeng and Wulanchabu) are significant hot regions in the study of grassland deterioration.(3) The number of high research hot regions increases from 81 in the 1950 s to 99 in the 2000s; the area increases from 1.038 million km2 to 1.146 million km2. The degree of hot for grassland deterioration research in 197 counties showed an upward trend. This paper also discusses the relationship between the region of research hot regions and the region of grassland deterioration and then indicates the differences between them in time matching, space matching and concept matching.展开更多
The problem of matching schemas or ontologies consists of providing corresponding entities in two or more knowledge models that belong to a same domain but have been developed separately. Nowadays there are a lot of t...The problem of matching schemas or ontologies consists of providing corresponding entities in two or more knowledge models that belong to a same domain but have been developed separately. Nowadays there are a lot of techniques and tools for addressing this problem, however, the complex nature of the matching problem make existing solutions for real situations not fully satisfactory. The Google Similarity Distance has appeared recently. Its purpose is to mine knowledge from the Web using the Google search engine in order to semantically compare text expressions. Our work consists of developing a software application for validating results discovered by schema and ontolog2/ matching tools using the philosophy behind this distance. Moreover, we are interested in using not only Google, but other popular search engines with this similarity distance. The results reveal three main facts. Firstly, some web search engines can help us to validate semantic correspondences satisfactorily. Secondly there are significant differences among the web search engines. And thirdly the best results are obtained when using combinations of the web search engines that we have studied.展开更多
基金supported by the National Natural Science Foundation of China (Grant No. 50539010)
文摘A comprehensive safety evaluation system taking the most influential factors into account has been developed to evaluate the reliability of hydraulic metal structures. Applying the techniques of AI and DB, the idea of a one-machine and three-base system is proposed. The framework of the three-base system has been designed and the structural framework constructed in turn. A practical example is given to illustrate the process of using this system and it can be used for comparison and analysis purposes. The key technology of the system is its ability to reorganize and improve the expert system's knowledge base by establishing the expert system. This system utilizes the computer technology inference process, making safety evaluation conclusions more reasonable and applicable to the actual situation. The system is not only advanced, but also feasible, reliable, artificially intelligent, and has the capacity to constantly grow.
基金This project is supported by National Basic Research Program of China(973Program,No.2003CB317005)Shuguang Program of Shanghai City Educational Conunittee China(No.05SG15).
文摘To support and serve engineering design, creative design based on knowledge management is proposed. The key knowledge factors of creative design are analyzed and discussed, and knowledge extraction tools are utilized to distill the important knowledge to serve for knowledge resource of creative design. The implementation of creative design mode is described and executed, which can promote the intelligent asset of the enterprise and shorten the period of creative design. With this study, design afflatus and conceptual design can be achieved expediently and effectively.
基金Supported by China Hi-tech Program (863) (2007AA04Z125)
文摘With the deep research of knowledge engineering and the widespread applications of CAD technology, the joining of knowledge engineering with CAD is the focus of advanced manufacturing. An intelligent approach is presented for configurating the typical structural components of radar. Case based reasoning, rule based reasoning, geometric, constraint solving and domain ontology are merged into a compound knowledge model. The main frame and workflow of radar typical structural component design system are illustrated. Experiments show this approach is efficient and effective.
文摘With the development of automatic design and artificial intelligence techniques, intelligence already have been applied in maintainability design and analysis of military /commercial equipment. Expert system has been used in diagnosis, design analysis, testability design, etc. In this paper, we will discuss about knowledge engineering application in two types. One is integrated knowledge base system for maintainability, it's the baseline of concurrent, intelligence design and it's also suitable for the present situation in China that there is lack of maintainability engineers. The other application is expert system for formulating maintainability design criteria and it can take full advantage of experts' experiences and past cases. Under development trend of intelligence design, these two systems will have good effects on maintainability design and analysis.
文摘This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background knowledge plays an important role in enhancing the ability of a learning system. An explanation based learning system with domain theory in primary knowledge base and background knowledge in secondary knowledge base is introduced as an example. It shows how background knowledge can be used to solve some of the problems caused by incomplete domain theory in an explanation based learning system. The system can accomplish knowledge level learning through purely deductive approach. At last the acquisition of background knowledge is briefly discussed.
文摘As expert systems technology has matured and migrated into mainstream computing, there arestill areas which are overlooked in education prospective knowledge engineers. This paper addresses this issue, and provides a message to educators that expert and knowledge-based systems should be an importantstrategic science and technology for many organizations.
文摘The paper presents a cognitive science framework for the analysis of knowledge-based systems,including people, media. simulation and expert systems, resulting in a practical model for the procedures ofknowledge engineering. Starting with the construct of a social organization model driven by anticipationand thed differentiating this into pesonal scientists with diverse relations to people and their internal andexternal communication, it provides powerful and general model of society. people, and the roles of peoplein society. This model extends naturally ic the role of conventional media in the knowledge processes ofsociety and the new roles of computer-based simulation and expert systems. In particular it provides amodel of knowledge transfer that enables the processes of knowledge engineering to be analyzed andautomated.
文摘A prodouct modeling and a process planning that are two essential basses of realizing concurrent engineering are investigated , a logical modeling technique , grammar representation scheme of technology knowledge and architecture of expert system for process planning within con- current engineering environment are proposed. They have been utilized in a real reaserch project.
文摘This paper tentatively discusses the necessity and the requirements to better educate joint UB1-HIT master students from an engineering and engineer's perspective.The author argues that the students should have a broader engineering culture.After having given the context and basic definitions,the paper presents the author's view on how to better develop the engineering capabilities from a knowledge acquisition and learning point of view.Requirements for engineering education are addressed,based,among others,on the professional experience the first author built up while serving as senior manager in information technology and business transformation,at Capgemini Consulting(Belgium).A series of conclusions are given at the end of the paper.
基金Partly supported by the National Natural Science Foundation of China (Grant Nos. 69733020, 69983010, 60233010 and 60496324), the National Grand Fundamental Research 973 Program of China (Grant No. 2002CB312004), the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS of the Chinese Academy of Sciences. Acknowledgements The authors are very thankful to Profs. Fei-Yue Wang, Hong Mei, Jian Lii, XiaoGuang Yang and Dr. Lin Liu for their fruitful discussions on knowware. The authors also thank the anonymous referees for their valuable comments, which have helped to improve the manuscript.
文摘Knowledge engineering stems from E. A. Figenbaum's proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to show possibility of separating knowledge development from intelligent software development. We call it the ICAX mode of intelligent application software generation. The key of this mode is to generate knowledge base, which is the source of intelligence of ICAX software, independently and parallel to intelligent software development. That gives birth to a new and more general concept "knowware". Knowware is a commercialized knowledge module with documentation and intellectual property, which is computer operable, but free of any built-in control mechanism, meeting some industrial standards and embeddable in software/hardware. The process of development, application and management of knowware is called knowware engineering. Two different knowware life cycle models are discussed: the furnace model and the crystallization model. Knowledge middleware is a class of software functioning in all aspects of knowware life cycle models. Finally, this paper also presents some examples of building knowware in the domain of information system engineering.
基金Project(12ZT14)supported by the Natural Science Foundation of Shanghai Municipal Education Commission,China
文摘To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acquisition, knowledge representation and reasoning used in CNC programming were researched. The CNC programming system functional architecture of impeller parts based on knowledge based engineering(KBE) was constructed. The structural model of the general knowledge-based system(KBS) was also constructed. The KBS of CNC programming system was established through synthesizing database technology and knowledge base theory. And in the context of corporate needs, based on the knowledge-driven manufacturing platform(i.e. UG CAD/CAM), VC++6.0 and UG/Open, the KBS and UG CAD/CAM were integrated seamlessly and the intelligent CNC programming KBE system for the impeller parts was developed by integrating KBE and UG CAD/CAM system. A method to establish standard process templates was proposed, so as to develop the intelligent CNC programming system in which CNC machining process and process parameters were standardized by using this KBE system. For the impeller parts processing, the method applied in the development of the prototype system is proven to be viable, feasible and practical.
基金the National Natural Science Foundation of China for Distinguished Young Scholars (Grant No. 60625204)the Key Project of National Natural Science Foundation of China (Grant Nos. 60736011, 60496324 and 60603002)
文摘The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge as well as software knowledge. That is featured by separating the development of domain knowledge from the development of software. But in PROMIS, we did not find an appropriate representation for the domain knowledge. Fortunately, in our recent work, we found such a carrier for knowledge modules, i.e. knowware. Knowware is a commercialized form of domain knowledge. This paper briefly introduces the basic definitions of knowware, knowledge middleware and knowware engineering. Three life circle models of knowware engineering and the design of corresponding knowware implementations are given. Finally we discuss application system automatic generation and domain knowledge modeling on the J2EE platform, which combines the techniques of PROMIS, knowware and J2EE, and the development and deployment framework, i.e. PROMIS/KW**.
文摘In this paper, the authors propose a method that incorporates mechanisms for handling ambiguity in speech and the ability of humans to create associations, and for formulating conversations based on rule base knowledge and common knowledge. Go beyond the level that can be achieved, using only conventional natural language processing and vast repositories of sample patterns. In this paper, the authors propose a method for computer conversation sentences generated using newspaper headlines as an example of how the common knowledge and associative ability are applied.
文摘The manufacturing of composite structures is a highly complex task with inevitable risks, particularly associated with aleatoric and epistemic uncertainty of both the materials and processes, as well as the need for <i>in-situ</i> decision-making to mitigate defects during manufacturing. In the context of aerospace composites production in particular, there is a heightened impetus to address and reduce this risk. Current qualification and substantiation frameworks within the aerospace industry define tractable methods for risk reduction. In parallel, Industry 4.0 is an emerging set of technologies and tools that can enable better decision-making towards risk reduction, supported by data-driven models. It offers new paradigms for manufacturers, by virtue of enabling <i>in-situ</i> decisions for optimizing the process as a dynamic system. However, the static nature of current (pre-Industry 4.0) best-practice frameworks may be viewed as at odds with this emerging novel approach. In addition, many of the predictive tools leveraged in an Industry 4.0 system are black-box in nature, which presents other concerns of tractability, interpretability and ultimately risk. This article presents a perspective on the current state-of-the-art in the aerospace composites industry focusing on risk reduction in the autoclave processing, as an example system, while reviewing current trends and needs towards a Composites 4.0 future.
文摘Design knowledge and experience are the bases to carry out aircraft conceptual design tasks due to the high complexity and integration of the tasks during this phase. When carrying out the same task, different designers may need individual strategies to fulfill their own demands. A knowledge-based and extensible method in building aircraft conceptual design systems is studied considering the above requirements. Based on the theory, a knowledge-based aircraft conceptual design environment, called knowledge-based and extensible aircraft conceptual design environment (KEACDE) with open architecture, is built as to enable designers to wrap add-on extensions and make their own aircraft conceptual design systems. The architecture, characteristics and other design and development aspects of KEACDE are discussed. A civil airplane conceptual design system (CACDS) is achieved using KEACDE. Finally, a civil airplane design case is presented to demonstrate the usability and effectiveness of this v environment.
基金This work was supported by the National Natural Science Foundation of China(No.69173306).
文摘This paper proposes a knowledge-based specification technique(KST)for protocol development. This technique semi-automatically translates a protocol described in an informal description(natural languages or graphs)into one described in formal specifications(Estelle and SDL).The translation processes are supported by knowledge stored in the knowledge base.This paper discusses the concept, the specification control mechanism of KST and the rules and algorithms for production of FSM's which is the basis of Estelle and SDL.
基金We would like to thank the anonymous referees for their detailed and constructive comments and suggestions and for giving us the opportunity to improve the quality of this paper.The research is supported by National Natural Science Funds of China under Grant Nos.71533001 and 71874020.
文摘The concept of individual knowledge system(IKS)is defined from the perspective of system science.To begin with,the present paper elaborates the characteristics of IKS.Then a six-space pattern of information and knowledge for IKS is created to describe and organize knowledge,providing a computation model to analyse things.Finally,an example of stability analysis in industrial economic system is used to illustrate the feasibility and validity of IKS.
基金National Key Research and Development Plan Program(2016YFC0503701,2016YFB0501502)Key Project of High Resolution Earth Observation System(00-Y30B14-9001-14/16)
文摘The authors use a web crawler to retrieve all periodical articles from CNKI between the 1950 s and 2016 and then parse the abstracts of 293368 articles about grassland deterioration by word segmentation, location matching and other methods. The authors also construct a research hot regions extraction model of grassland deterioration in China based on a comprehensive research hot regions index of toponyms and then analyze the spatial pattern and dynamic change in research hot regions of grassland deterioration in China. The research shows the following:(1) The spatial heterogeneity of grassland deterioration in China can be effectively described by a model of grassland deterioration based on the comprehensive research hot regions index.(2) The research hot regions of grassland deterioration are mainly distributed in most regions of Inner Mongolia, Xinjiang, Qinghai, Tibet, Gansu and other provinces. The northeastern region of Inner Mongolia(such as Hulunbeier) and the eastern region of Inner Mongolia(such as Xilin Gol, Chifeng and Wulanchabu) are significant hot regions in the study of grassland deterioration.(3) The number of high research hot regions increases from 81 in the 1950 s to 99 in the 2000s; the area increases from 1.038 million km2 to 1.146 million km2. The degree of hot for grassland deterioration research in 197 counties showed an upward trend. This paper also discusses the relationship between the region of research hot regions and the region of grassland deterioration and then indicates the differences between them in time matching, space matching and concept matching.
基金supported by Spanish Ministry of Innovation and Science through REALIDAD:Gestion,Analisis y Explotacion Eficiente de Datos Vinculados under Grant No.TIN2011-25840
文摘The problem of matching schemas or ontologies consists of providing corresponding entities in two or more knowledge models that belong to a same domain but have been developed separately. Nowadays there are a lot of techniques and tools for addressing this problem, however, the complex nature of the matching problem make existing solutions for real situations not fully satisfactory. The Google Similarity Distance has appeared recently. Its purpose is to mine knowledge from the Web using the Google search engine in order to semantically compare text expressions. Our work consists of developing a software application for validating results discovered by schema and ontolog2/ matching tools using the philosophy behind this distance. Moreover, we are interested in using not only Google, but other popular search engines with this similarity distance. The results reveal three main facts. Firstly, some web search engines can help us to validate semantic correspondences satisfactorily. Secondly there are significant differences among the web search engines. And thirdly the best results are obtained when using combinations of the web search engines that we have studied.