There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary con...There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary conditions of the independence and statistical independenceof multiple-valued logical functions on their variables are given. Some conditions of algebraicindependence of multiple-valued logical functions on some of their variables and the way to de-generate a function to the greatest extent are proposed, and some applications of these resultsare indicated. All the results are studied by using Chrestenson spectral techniques.展开更多
This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine func...This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions.展开更多
The concept of value of information(VOI)has been widely used in the oil industry when making decisions on the acquisition of new data sets for the development and operation of oil fields.The classical approach to VOI ...The concept of value of information(VOI)has been widely used in the oil industry when making decisions on the acquisition of new data sets for the development and operation of oil fields.The classical approach to VOI assumes that the outcome of the data acquisition process produces crisp values,which are uniquely mapped onto one of the deterministic reservoir models representing the subsurface variability.However,subsurface reservoir data are not always crisp;it can also be fuzzy and may correspond to various reservoir models to different degrees.The classical approach to VOI may not,therefore,lead to the best decision with regard to the need to acquire new data.Fuzzy logic,introduced in the 1960 s as an alternative to the classical logic,is able to manage the uncertainty associated with the fuzziness of the data.In this paper,both classical and fuzzy theoretical formulations for VOI are developed and contrasted using inherently vague data.A case study,which is consistent with the future development of an oil reservoir,is used to compare the application of both approaches to the estimation of VOI.The results of the VOI process show that when the fuzzy nature of the data is included in the assessment,the value of the data decreases.In this case study,the results of the assessment using crisp data and fuzzy data change the decision from"acquire"the additional data(in the former)to"do not acquire"the additional data(in the latter).In general,different decisions are reached,depending on whether the fuzzy nature of the data is considered during the evaluation.The implications of these results are significant in a domain such as the oil and gas industry(where investments are huge).This work strongly suggests the need to define the data as crisp or fuzzy for use in VOI,prior to implementing the assessment to select and define the right approach.展开更多
In this paper, two kinds of fuzzy logic named “fuzzy intervalvalue logic” and “uzzy distributedvalue logic”with truth values in fuzzy intervals and probabilistic distribution functions are presented, respectively...In this paper, two kinds of fuzzy logic named “fuzzy intervalvalue logic” and “uzzy distributedvalue logic”with truth values in fuzzy intervals and probabilistic distribution functions are presented, respectively, and the syllogism (modus ponens) is given for each logic. It has been pointed out that they will have various applications in knowledgebased systems and other artificial intelligence fields.展开更多
As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice impl...As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.展开更多
Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership de...Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.展开更多
The green development of socialism with Chinese characteristics is a scientific and rational choice based on the development theory of Marxism,reflecting on historical practice and practicing the value pursuit of Comm...The green development of socialism with Chinese characteristics is a scientific and rational choice based on the development theory of Marxism,reflecting on historical practice and practicing the value pursuit of Communists.Comprehensive understanding and mastering the internal logic and value pursuit of the green development of socialism with Chinese characteristics for a new era is in favor of upholding and improving the system of socialism with Chinese characteristics in the new situation,implementing the strictest ecological and environmental protection system,and unswervingly taking the path of innovation,coordination,green development,openness and sharing,and providing ideological powers and operational guidance for the construction of a Beautiful China and the modernization of harmonious coexistence between mankind and nature.展开更多
Residue Number System (RNS) has proved shaping the Digital Signal Processing (DSP) units into highly parallel, faster and secured entities. The computational complexity of the multiplication process for a RNS based de...Residue Number System (RNS) has proved shaping the Digital Signal Processing (DSP) units into highly parallel, faster and secured entities. The computational complexity of the multiplication process for a RNS based design can be reduced by indulging Logarithmic Number System (LNS). The combination of these unusual number systems forms Residue Logarithmic Number System (RLNS) that provides simple internal architectures. Till date RLNS based processing units are designed for binary logic based circuits. In order to reduce the number of input output signals in a system, the concept of Multiple Valued Logic (MVL) is introduced in literature. In that course of research, this paper uses Tri Valued Logic (TVL) in RLNS technique proposed, to further reduce the chip area and delay value. Thus in this research work three different concepts are proposed, it includes the design of multiplier for RLNS based application for number of bits 8, 16 and 32. Next is the utilization of TVL in the proposed multiplication structure for RLNS based system along with the error correction circuits for the ternary logarithmic and antilogarithmic conversion process. Finally the comparison of the two multiplication schemes with the existing research of multiplier design for RNS based system using booth encoding concepts. It can be found that the proposed technique using TVL saves on an average of about 63% of area occupied and 97% of delay value respectively than the existing technique.展开更多
Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because th...Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.展开更多
The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-latt...The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.展开更多
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut...Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.展开更多
This paper introduces the base-X notation and discusses the conversion between numbers of different bases. It also introduces the tri-value logic that is associated with the base-3 system.
To illustrate how firms and customers co-create value in business to business （B2B） e-commerce, an integrated value co-creation model is proposed based on information systems （IS） application capabilities from the...To illustrate how firms and customers co-create value in business to business （B2B） e-commerce, an integrated value co-creation model is proposed based on information systems （IS） application capabilities from the relational view. IS application capabilities, relational assets, customer agility and relational value are constructed and tested by empirical analysis. The empirical research tests and verifies the mediating effect of customer agility, and the interactions of IS application capabilities and relational assets, as well as their effect on relational value. This model expands the research framework of value co-creation in service dominant logic, and reveals the mechanism of how f＇n＇ms and customers co-create value in B2B e-commerce based on IS application capabilities, which provides the basis for further theory development and a practice guide.展开更多
This paper aims to present a comprehensive proposal for project scheduling and control by applying fuzzy earned value.It goes a step further than the existing literature:in the formulation of the fuzzy earned value we...This paper aims to present a comprehensive proposal for project scheduling and control by applying fuzzy earned value.It goes a step further than the existing literature:in the formulation of the fuzzy earned value we consider not only its duration,but also cost and production,and alternatives in the scheduling between the earliest and latest times.The mathematical model is implemented in a prototypical construction project with all the estimated values taken as fuzzy numbers.Our findings suggest that different possible schedules and the fuzzy arithmetic provide more objective results in uncertain environments than the traditional methodology.The proposed model allows for controlling the vagueness of the environment through the adjustment of the α-cut,adapting it to the specific circumstances of the project.展开更多
1 Introduction A discrete dynamical system can be expressed as xn+1 ?f(xn), n = 0,1,2,... where X is a metric space and f : X →X is a continuous map. The study of it tells us how the points in the base space X moved....1 Introduction A discrete dynamical system can be expressed as xn+1 ?f(xn), n = 0,1,2,... where X is a metric space and f : X →X is a continuous map. The study of it tells us how the points in the base space X moved. Nevertheless, this is not enough for the researches of biological species, demography, numerical simulation and attractors (see [1], [2]). It is necessary to know how the subsets of X moved. In this direction, we consider the set-valued discrete system associated to f, An+1 = (f|-)(An), n = 0,1,2,... where (f|-) is the natural extension of f to K(X) (the class of all compact subsets of X).展开更多
Service dominant logic is one brand new economy model and it consider all the participators to be the potential resource integrators. The enterprise should put forward the value proposition with open attitude to achie...Service dominant logic is one brand new economy model and it consider all the participators to be the potential resource integrators. The enterprise should put forward the value proposition with open attitude to achieve the enterprise synergy innovation. This paper analyses the value proposition on the stakeholders in the enterprise synergy innovation and expand the one way value proposition theory to the different stakeholder groups inside and outside of the enterprise. The theoretical significance of this paper is to provide the theoretical reference for the enterprise synergy innovation to establish sustainable and stable stakeholders＇ relationship.展开更多
This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realiza...This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).展开更多
In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Repres...In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Representation theorem of interval-valued （ε, ε v q）-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued （ε, εv q）-fuzzy LI-ideals in a lattice implication algebra, under the partial order , forms a complete distributive lattice.展开更多
In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
文摘There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary conditions of the independence and statistical independenceof multiple-valued logical functions on their variables are given. Some conditions of algebraicindependence of multiple-valued logical functions on some of their variables and the way to de-generate a function to the greatest extent are proposed, and some applications of these resultsare indicated. All the results are studied by using Chrestenson spectral techniques.
基金Supported by the Opening Research Foundation of the State Key Laboratory of Information Security (2005-01-02)
文摘This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions.
文摘The concept of value of information(VOI)has been widely used in the oil industry when making decisions on the acquisition of new data sets for the development and operation of oil fields.The classical approach to VOI assumes that the outcome of the data acquisition process produces crisp values,which are uniquely mapped onto one of the deterministic reservoir models representing the subsurface variability.However,subsurface reservoir data are not always crisp;it can also be fuzzy and may correspond to various reservoir models to different degrees.The classical approach to VOI may not,therefore,lead to the best decision with regard to the need to acquire new data.Fuzzy logic,introduced in the 1960 s as an alternative to the classical logic,is able to manage the uncertainty associated with the fuzziness of the data.In this paper,both classical and fuzzy theoretical formulations for VOI are developed and contrasted using inherently vague data.A case study,which is consistent with the future development of an oil reservoir,is used to compare the application of both approaches to the estimation of VOI.The results of the VOI process show that when the fuzzy nature of the data is included in the assessment,the value of the data decreases.In this case study,the results of the assessment using crisp data and fuzzy data change the decision from"acquire"the additional data(in the former)to"do not acquire"the additional data(in the latter).In general,different decisions are reached,depending on whether the fuzzy nature of the data is considered during the evaluation.The implications of these results are significant in a domain such as the oil and gas industry(where investments are huge).This work strongly suggests the need to define the data as crisp or fuzzy for use in VOI,prior to implementing the assessment to select and define the right approach.
文摘In this paper, two kinds of fuzzy logic named “fuzzy intervalvalue logic” and “uzzy distributedvalue logic”with truth values in fuzzy intervals and probabilistic distribution functions are presented, respectively, and the syllogism (modus ponens) is given for each logic. It has been pointed out that they will have various applications in knowledgebased systems and other artificial intelligence fields.
基金the National Natural Science Foundation of China(No.61175055)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.
文摘Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.
文摘The green development of socialism with Chinese characteristics is a scientific and rational choice based on the development theory of Marxism,reflecting on historical practice and practicing the value pursuit of Communists.Comprehensive understanding and mastering the internal logic and value pursuit of the green development of socialism with Chinese characteristics for a new era is in favor of upholding and improving the system of socialism with Chinese characteristics in the new situation,implementing the strictest ecological and environmental protection system,and unswervingly taking the path of innovation,coordination,green development,openness and sharing,and providing ideological powers and operational guidance for the construction of a Beautiful China and the modernization of harmonious coexistence between mankind and nature.
文摘Residue Number System (RNS) has proved shaping the Digital Signal Processing (DSP) units into highly parallel, faster and secured entities. The computational complexity of the multiplication process for a RNS based design can be reduced by indulging Logarithmic Number System (LNS). The combination of these unusual number systems forms Residue Logarithmic Number System (RLNS) that provides simple internal architectures. Till date RLNS based processing units are designed for binary logic based circuits. In order to reduce the number of input output signals in a system, the concept of Multiple Valued Logic (MVL) is introduced in literature. In that course of research, this paper uses Tri Valued Logic (TVL) in RLNS technique proposed, to further reduce the chip area and delay value. Thus in this research work three different concepts are proposed, it includes the design of multiplier for RLNS based application for number of bits 8, 16 and 32. Next is the utilization of TVL in the proposed multiplication structure for RLNS based system along with the error correction circuits for the ternary logarithmic and antilogarithmic conversion process. Finally the comparison of the two multiplication schemes with the existing research of multiplier design for RNS based system using booth encoding concepts. It can be found that the proposed technique using TVL saves on an average of about 63% of area occupied and 97% of delay value respectively than the existing technique.
基金National Natural Science Foundation of China(No.61164009)the Science and Technology Research Project,Department of Education of Jiangxi Province,China(No.GJJ14420)Natural Science Foundation of Jiangxi Province,China(No.20132BAB206026)
文摘Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.
基金the National Natural Science Foundation of China(No.61175055)the Scientific Research Fund of Sichuan Provincial Education Department(11ZB023)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.
文摘Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
文摘This paper introduces the base-X notation and discusses the conversion between numbers of different bases. It also introduces the tri-value logic that is associated with the base-3 system.
基金The National Science&Technology Pillar Program of China(No.2012BAH29F01)the Innovation Project for Postgraduate Education of Jiangsu Province(No.3214003911)
文摘To illustrate how firms and customers co-create value in business to business （B2B） e-commerce, an integrated value co-creation model is proposed based on information systems （IS） application capabilities from the relational view. IS application capabilities, relational assets, customer agility and relational value are constructed and tested by empirical analysis. The empirical research tests and verifies the mediating effect of customer agility, and the interactions of IS application capabilities and relational assets, as well as their effect on relational value. This model expands the research framework of value co-creation in service dominant logic, and reveals the mechanism of how f＇n＇ms and customers co-create value in B2B e-commerce based on IS application capabilities, which provides the basis for further theory development and a practice guide.
基金Project partially supported by the Spanish Ministry of Science and Innovation (No.BIA2011-23602)the European Community with the European Regional Development Fund (FEDER),Spain
文摘This paper aims to present a comprehensive proposal for project scheduling and control by applying fuzzy earned value.It goes a step further than the existing literature:in the formulation of the fuzzy earned value we consider not only its duration,but also cost and production,and alternatives in the scheduling between the earliest and latest times.The mathematical model is implemented in a prototypical construction project with all the estimated values taken as fuzzy numbers.Our findings suggest that different possible schedules and the fuzzy arithmetic provide more objective results in uncertain environments than the traditional methodology.The proposed model allows for controlling the vagueness of the environment through the adjustment of the α-cut,adapting it to the specific circumstances of the project.
文摘1 Introduction A discrete dynamical system can be expressed as xn+1 ?f(xn), n = 0,1,2,... where X is a metric space and f : X →X is a continuous map. The study of it tells us how the points in the base space X moved. Nevertheless, this is not enough for the researches of biological species, demography, numerical simulation and attractors (see [1], [2]). It is necessary to know how the subsets of X moved. In this direction, we consider the set-valued discrete system associated to f, An+1 = (f|-)(An), n = 0,1,2,... where (f|-) is the natural extension of f to K(X) (the class of all compact subsets of X).
文摘Service dominant logic is one brand new economy model and it consider all the participators to be the potential resource integrators. The enterprise should put forward the value proposition with open attitude to achieve the enterprise synergy innovation. This paper analyses the value proposition on the stakeholders in the enterprise synergy innovation and expand the one way value proposition theory to the different stakeholder groups inside and outside of the enterprise. The theoretical significance of this paper is to provide the theoretical reference for the enterprise synergy innovation to establish sustainable and stable stakeholders＇ relationship.
基金Supported by the National Natural Science Foundation of China
文摘This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).
基金Supported by the National Natural Science Foundation of China(Grant No.60774073)the Higher School Research Foundation of Inner Mongolia(Grant No.NJSY14283)
文摘In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Representation theorem of interval-valued （ε, ε v q）-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued （ε, εv q）-fuzzy LI-ideals in a lattice implication algebra, under the partial order , forms a complete distributive lattice.
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
