To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized ope...To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.展开更多
Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. ...Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. In the formalization engine, malformed packets are formalized by a packet verification engine layer according to protocol standards. In order to eliminate the fragment semantic ambiguity, OS classes of end hosts were collected by an OS detector, each fragment was reassembled according to its OS class. According to the reassembly algorithm of different OS, the pre-forward fields of the cached data were counted with the application of the pre-forward policies and were transmitted to save system resource. Applying the BSD-Linux pre-forward policy, the BSD-right pre-forward policy and the First pre-forward policy, the packet loss rate is dropped and system performance improved. The experiments show that the identification precision can be maintained about 90% in heavy processing load.展开更多
Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an o...Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.展开更多
Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has be...Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has been applied to the study of nucleic acids recovered from natural microbial assemblages (NMA) by the use of bulk extraction. Six pools of bulk-extractable nucleic acids (BENA) are suggested to be present in a NMA: (pool 1) inactive microbes (abiotic-limited);(pool 2) inactive microbes (abiotic permissive, biotic-limited);(pool 3) dormant microbes (abiotic permissive, biotic-limited, but can become biotic permissive);(pool 4) in situ active microbes (the microbial community);(pool 5) viruses (virocells/virions/cryptic viral genomes);and (pool 6) extracellular nucleic acids including extracellular DNA (eDNA). Definitions for cells, the microbial community (in situ active cells), the rare biosphere, dormant cells (the microbial seed bank), viruses (virocells/virions/cryptic viral genomic), and diversity are presented, together with methodology suggested to allow their study. The word diversity will require at least 4 definitions, each involving a different methodology. These suggested definitions and methodologies should make it possible to make further advances in bulk extraction-based molecular microbial ecology.展开更多
The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and...The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and gives formalization about it.展开更多
In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We wil...In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We will first analyse the BRST and the anti-BRST symmetries of the Chern-imons theory on this deformed superspace. Then we will analyse the extended BRST and the extended anti-BRST symmetries of this theory in the Batalin-Vilkovisky （BV） formalism. Finally, we will express these extended BRST and extended anti-BRST symmetries in extended superspace formalism by introducing new Grassmann coordinates.展开更多
Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on C...Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on China＇s economy under certain conditions, i.e. it is conducive to achieving the equilibrium of high wage, high consumption and formalization. The result shows that the elasticity of income growth from raising the minimum wage standard is greater for formal sector employees than for informal sector employees and is characterized by a U-shaped pattern in terms of quantiles. Thus, minimum wage hikes have widened wage gaps between and within sectors. Rising minimum wage standards greatly stimulate consumption with each 10% increase expected to bring about an additional urban household consumption of about 1.167 billion yuan in the surveyed four provinces. With local minimum wage hikes, the formal sector of wholesale and retail, hotel and catering services expands and the informal sector contracts, while the real estate sector experiences a ＂reverse formalization＂ trend. Based on the ＂big push theory＂, this paper concludes that against the backdrop of extensive, frequent and substantial minimum wage hikes, demand and sector TFP growth are the major causes of sector heterogeneity.展开更多
The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also know...The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also knowledge base which determines a clinical presentation of the disease. The dependences on courses of the disease and process localization are taken into account during knowledge formalizing. The base of knowledge for the disease has the structure that is conventional for contemporary medicine. These knowledge will be used for building a medical intellectual system of for consulting and diagnostics.展开更多
In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust ...In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.展开更多
Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global ap...Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications.展开更多
There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,...There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,the relative position of a place for the place,the resident for the place,the legend for the place,and the function of a place for the place.In the six formalization models,environment in a place for the place was the most in number,forging 47 names.Besides,the wish of the nomenclator for the place and the relative position of a place for the place came the second,taking 20 names respectively.The cognitive operation participating in the formalization was primarily single metonymy with only a few complex metonymies.Metaphtonymy could be only noted in the model of the wish of the nomenclator for the place.It was notable that single metaphor was missing in the cognitive operations.展开更多
Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form o...Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form of China＇s economy. With the increased competition after accession to the WTO, economic globalization requires private enterprises pay more attention to the speed and efficiency of discovery the market, distribution methods, the new generation of products, liquidity. ＂Information＂ is the most effective means to achieve speed and efficiency. Currently, private enterprise information technology has become the focus content of our enterprise information.展开更多
基金National Key Basic Research Program of China (973 program) (No. 2007CB310801)Fundamental Research Fund for the Central Universities,China (No. 201121102020004)
文摘To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.
文摘Malformed packets and overlapping fragments are harmful to Intranet end hosts. A formalization engine was introduced to formalize transit packets and reassemble fragments to eliminate the fragment semantic ambiguity. In the formalization engine, malformed packets are formalized by a packet verification engine layer according to protocol standards. In order to eliminate the fragment semantic ambiguity, OS classes of end hosts were collected by an OS detector, each fragment was reassembled according to its OS class. According to the reassembly algorithm of different OS, the pre-forward fields of the cached data were counted with the application of the pre-forward policies and were transmitted to save system resource. Applying the BSD-Linux pre-forward policy, the BSD-right pre-forward policy and the First pre-forward policy, the packet loss rate is dropped and system performance improved. The experiments show that the identification precision can be maintained about 90% in heavy processing load.
基金Supported by the High Technology Research and Development Programme of China.
文摘Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.
文摘Partial formalization, which involves the development of deductive connections among statements, can be used to examine assumptions, definitions and related methodologies that are used in science. This approach has been applied to the study of nucleic acids recovered from natural microbial assemblages (NMA) by the use of bulk extraction. Six pools of bulk-extractable nucleic acids (BENA) are suggested to be present in a NMA: (pool 1) inactive microbes (abiotic-limited);(pool 2) inactive microbes (abiotic permissive, biotic-limited);(pool 3) dormant microbes (abiotic permissive, biotic-limited, but can become biotic permissive);(pool 4) in situ active microbes (the microbial community);(pool 5) viruses (virocells/virions/cryptic viral genomes);and (pool 6) extracellular nucleic acids including extracellular DNA (eDNA). Definitions for cells, the microbial community (in situ active cells), the rare biosphere, dormant cells (the microbial seed bank), viruses (virocells/virions/cryptic viral genomic), and diversity are presented, together with methodology suggested to allow their study. The word diversity will require at least 4 definitions, each involving a different methodology. These suggested definitions and methodologies should make it possible to make further advances in bulk extraction-based molecular microbial ecology.
文摘The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and gives formalization about it.
文摘In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We will first analyse the BRST and the anti-BRST symmetries of the Chern-imons theory on this deformed superspace. Then we will analyse the extended BRST and the extended anti-BRST symmetries of this theory in the Batalin-Vilkovisky （BV） formalism. Finally, we will express these extended BRST and extended anti-BRST symmetries in extended superspace formalism by introducing new Grassmann coordinates.
基金Major project of National Social Sciences Foundation"Characteristics and Policy Orientation Research on the New Normal of China's Economic Growth"(Grant No.15ZDA008)Major project of National Natural Sciences Foundation"Research on the Mechanism and Policy of Promoting Industrial Upgrade in Economic Developed Regions"(Grant No.71333002)
文摘Despite the intention of minimum wage policy to maintain the living standards of low-income groups in the formal sector, this paper has found that the actual result of this policy produces the ＂big push＂ impact on China＇s economy under certain conditions, i.e. it is conducive to achieving the equilibrium of high wage, high consumption and formalization. The result shows that the elasticity of income growth from raising the minimum wage standard is greater for formal sector employees than for informal sector employees and is characterized by a U-shaped pattern in terms of quantiles. Thus, minimum wage hikes have widened wage gaps between and within sectors. Rising minimum wage standards greatly stimulate consumption with each 10% increase expected to bring about an additional urban household consumption of about 1.167 billion yuan in the surveyed four provinces. With local minimum wage hikes, the formal sector of wholesale and retail, hotel and catering services expands and the informal sector contracts, while the real estate sector experiences a ＂reverse formalization＂ trend. Based on the ＂big push theory＂, this paper concludes that against the backdrop of extensive, frequent and substantial minimum wage hikes, demand and sector TFP growth are the major causes of sector heterogeneity.
文摘The article defines knowledge about pelforated stomach ulcer that is formalized on the basis of an ontology model of medical diagnostics domain. The paper describes a base of observations for the disease and also knowledge base which determines a clinical presentation of the disease. The dependences on courses of the disease and process localization are taken into account during knowledge formalizing. The base of knowledge for the disease has the structure that is conventional for contemporary medicine. These knowledge will be used for building a medical intellectual system of for consulting and diagnostics.
文摘In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.
文摘Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications.
文摘There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,the relative position of a place for the place,the resident for the place,the legend for the place,and the function of a place for the place.In the six formalization models,environment in a place for the place was the most in number,forging 47 names.Besides,the wish of the nomenclator for the place and the relative position of a place for the place came the second,taking 20 names respectively.The cognitive operation participating in the formalization was primarily single metonymy with only a few complex metonymies.Metaphtonymy could be only noted in the model of the wish of the nomenclator for the place.It was notable that single metaphor was missing in the cognitive operations.
文摘Performance of private enterprises in the social and economic activities are increasingly active, now they go into the heart from the economic, social fringes, and become the most dynamic and promising economic form of China＇s economy. With the increased competition after accession to the WTO, economic globalization requires private enterprises pay more attention to the speed and efficiency of discovery the market, distribution methods, the new generation of products, liquidity. ＂Information＂ is the most effective means to achieve speed and efficiency. Currently, private enterprise information technology has become the focus content of our enterprise information.
