How to think a unique and determinative turn in analytic philosophy of mind?To answer this question this article first presents an attempt to render clear that analytic phenomenology,by contrast with conceptions of ph...How to think a unique and determinative turn in analytic philosophy of mind?To answer this question this article first presents an attempt to render clear that analytic phenomenology,by contrast with conceptions of phenomenology of the XXth century,beneficially dispenses with several methodological and conceptual assumptions that were assumed to be compulsory,as phenomenological reduction,a notion of synthesis,and a philosophical notion of the a priori.It then presents some eventual difficulties to the achievement of a phenomenological turn within analytic philosophy,which are,the neglect of historicity,abstractionism,the acknowledgement of the place of language in our lives,and solipsism.It finally presents several demands that concern the felicity of contemporary analytic phenomenologies,namely,anti-abstractionism,fallibilism,attention to polyadic relations,and the integration of ecological and decolonial concerns of our cultures.展开更多
Differences in the structure and semantics of knowledge that is created and maintained by the various actors on the World Wide Web make its exchange and utilization a problematic task. This is an important issue facin...Differences in the structure and semantics of knowledge that is created and maintained by the various actors on the World Wide Web make its exchange and utilization a problematic task. This is an important issue facing organizations undertaking knowledge management initiatives. An XML-based and ontology-supported knowledge description language (KDL) is presented, which has three-tier structure (core KDL, extended KDL and complex KDL), and takes advantages of strong point of ontology, XML, description logics, frame-based systems. And then, the framework and XML based syntax of KDL are introduced, and the methods of translating KDL into first order logic (FOL) are presented. At last, the implementation of KDL on the Web is described, and the reasoning ability of KDL proved by experiment is illustrated in detail.展开更多
A test flow description language is designed for the description of test flow.The design concept,composition,program structure and syntax structure of statement are presented.The development and impletementation proce...A test flow description language is designed for the description of test flow.The design concept,composition,program structure and syntax structure of statement are presented.The development and impletementation processes of the language are also described.This language is independent of hardware,which can be used for different platforms,and can be extended.The language is used to describe the test flow easily.It simplifies the development process of test software and reduces the difficulty of software maintenance greatly.展开更多
With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been develo...With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been developed. There’re grammar-trans-lation method, direct method, audio-lingual method, communicative method, etc. In this paper I in-展开更多
Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and te...Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpose requirements description model BRM synthesizing the concepts of viewpoint and scenario. BRM is good for modeling large and complex system due to its structure is very clear. In addition, the modeling process is demonstrated through the case study On-Line Campus Management System. By lightweight formal style, BDL & BRM can effectively bridge the gap between practicability and rigorousness of formal requirements modeling language and technique.展开更多
Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this p...Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.展开更多
A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.( Hardware Description Language ), and the validity of the system has been proved by logi...A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.( Hardware Description Language ), and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS (Real-Time Operating System), SoC(System on Chip), VIA (Virtual Interface Architecture) and hardware logic task is also discussed in the paper.展开更多
The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type descriptio...The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type description to the relational semantic recording XML data relations, and using an XML data mining language, the XML data mining system presents a strategy to mine information on XML.展开更多
文摘How to think a unique and determinative turn in analytic philosophy of mind?To answer this question this article first presents an attempt to render clear that analytic phenomenology,by contrast with conceptions of phenomenology of the XXth century,beneficially dispenses with several methodological and conceptual assumptions that were assumed to be compulsory,as phenomenological reduction,a notion of synthesis,and a philosophical notion of the a priori.It then presents some eventual difficulties to the achievement of a phenomenological turn within analytic philosophy,which are,the neglect of historicity,abstractionism,the acknowledgement of the place of language in our lives,and solipsism.It finally presents several demands that concern the felicity of contemporary analytic phenomenologies,namely,anti-abstractionism,fallibilism,attention to polyadic relations,and the integration of ecological and decolonial concerns of our cultures.
文摘Differences in the structure and semantics of knowledge that is created and maintained by the various actors on the World Wide Web make its exchange and utilization a problematic task. This is an important issue facing organizations undertaking knowledge management initiatives. An XML-based and ontology-supported knowledge description language (KDL) is presented, which has three-tier structure (core KDL, extended KDL and complex KDL), and takes advantages of strong point of ontology, XML, description logics, frame-based systems. And then, the framework and XML based syntax of KDL are introduced, and the methods of translating KDL into first order logic (FOL) are presented. At last, the implementation of KDL on the Web is described, and the reasoning ability of KDL proved by experiment is illustrated in detail.
文摘A test flow description language is designed for the description of test flow.The design concept,composition,program structure and syntax structure of statement are presented.The development and impletementation processes of the language are also described.This language is independent of hardware,which can be used for different platforms,and can be extended.The language is used to describe the test flow easily.It simplifies the development process of test software and reduces the difficulty of software maintenance greatly.
文摘With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been developed. There’re grammar-trans-lation method, direct method, audio-lingual method, communicative method, etc. In this paper I in-
文摘Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpose requirements description model BRM synthesizing the concepts of viewpoint and scenario. BRM is good for modeling large and complex system due to its structure is very clear. In addition, the modeling process is demonstrated through the case study On-Line Campus Management System. By lightweight formal style, BDL & BRM can effectively bridge the gap between practicability and rigorousness of formal requirements modeling language and technique.
基金This work was supported by the National Natural Science Foundation of China(No.60173053&No.60274063)the Excellent Young Scientist Foundation of Shandong Province of China(No.02BS069).
文摘Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.
基金Supported bythe National Basic Research Programof China (973 Program2004CB318201) the National Natural Sci-ence Foundation of China (60273074)
文摘A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.( Hardware Description Language ), and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS (Real-Time Operating System), SoC(System on Chip), VIA (Virtual Interface Architecture) and hardware logic task is also discussed in the paper.
文摘The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type description to the relational semantic recording XML data relations, and using an XML data mining language, the XML data mining system presents a strategy to mine information on XML.