随着广义二型模糊集的α-平面表达理论被提出,广义二型模糊逻辑系统在近年成为学术界热点研究问题。本文比较了离散Karnik-Mendel(KM)算法与连续版本的KM(continuous version of KM,CKM)算法中的运算,通过数值积分中牛顿-柯斯特求积公式...随着广义二型模糊集的α-平面表达理论被提出,广义二型模糊逻辑系统在近年成为学术界热点研究问题。本文比较了离散Karnik-Mendel(KM)算法与连续版本的KM(continuous version of KM,CKM)算法中的运算,通过数值积分中牛顿-柯斯特求积公式把KM算法扩展成三种不同形式的加权KM(weighted KM,WKM)算法,而KM算法只是WKM算法在取特殊权重值下的一种例子。两个计算机仿真例子用来阐述和分析WKM算法的表现。总体来说,WKM算法在计算广义二型模糊逻辑系统质心解模糊化值时可取得比KM算法更小的绝对误差和更快的收敛速度,这给二型模糊逻辑系统的设计和应用提供了潜在的价值。展开更多
Service Oriented Architecture(SOA)and Service Oriented Computing(SOC)are prevailing technologies for sharing and reusing resources.Service composition is an envisioned methodology used in SOA and SOC to build value-ad...Service Oriented Architecture(SOA)and Service Oriented Computing(SOC)are prevailing technologies for sharing and reusing resources.Service composition is an envisioned methodology used in SOA and SOC to build value-added services.The existed service composition models are mostly information technology expert-oriented and there is few considering the requirement from the point of view of end-users.Different with the IT experts,who can express their requirements using precise and well-formed formal language and understand the formal description of web service,the end-users are unnecessarily to be sophisticated on the complicated knowledge of computer science and are prone to consider the service composition in fuzzy and rough fashions.There's seldom work carried on considering the contradiction between the vague and uncertain requirements of end-user and the precise and deterministic process of service composition.Granular computing is a kind of promising methodology for solving the fuzzy and rough problems in artificial intelligence,interval theory,rough set theory and cluster analysis,etc.The basic idea of granular computing is problem solving with different granularities,which can be used in service composition to solve the aforementioned contradiction intuitively,that is,it can be used to create a multi-grain model for service composition and make users and service composition agent work in different information granule level separately.A multi-grain formal model for service composition is proposed in this paper.This model considers the requirement of customers in service composition in the end-user view and we give a formal specification on mapping the web service description to the generalized decision logic language(GDL)for construction of multi-grain service composition view.GDL is a formal logic language proposed in granular computing research community as an expecting specification for definition of granular models.The proposed model is expected to provide a more understandable view for an end-user than traditional service composition model and conforms to the human cognition mode.展开更多
文摘随着广义二型模糊集的α-平面表达理论被提出,广义二型模糊逻辑系统在近年成为学术界热点研究问题。本文比较了离散Karnik-Mendel(KM)算法与连续版本的KM(continuous version of KM,CKM)算法中的运算,通过数值积分中牛顿-柯斯特求积公式把KM算法扩展成三种不同形式的加权KM(weighted KM,WKM)算法,而KM算法只是WKM算法在取特殊权重值下的一种例子。两个计算机仿真例子用来阐述和分析WKM算法的表现。总体来说,WKM算法在计算广义二型模糊逻辑系统质心解模糊化值时可取得比KM算法更小的绝对误差和更快的收敛速度,这给二型模糊逻辑系统的设计和应用提供了潜在的价值。
基金Supported by the National High-Tech Research & Development Program of China(863 Program)under Grant No.2006AA01Z101IBM SUR Project+1 种基金the Sci & Tech Research & Development Program of Shaanxi Province under Grnat No.2008KW-02the Sci & Tech Key Project of Shaanxi Province under Grant No.2006K04-G23
文摘Service Oriented Architecture(SOA)and Service Oriented Computing(SOC)are prevailing technologies for sharing and reusing resources.Service composition is an envisioned methodology used in SOA and SOC to build value-added services.The existed service composition models are mostly information technology expert-oriented and there is few considering the requirement from the point of view of end-users.Different with the IT experts,who can express their requirements using precise and well-formed formal language and understand the formal description of web service,the end-users are unnecessarily to be sophisticated on the complicated knowledge of computer science and are prone to consider the service composition in fuzzy and rough fashions.There's seldom work carried on considering the contradiction between the vague and uncertain requirements of end-user and the precise and deterministic process of service composition.Granular computing is a kind of promising methodology for solving the fuzzy and rough problems in artificial intelligence,interval theory,rough set theory and cluster analysis,etc.The basic idea of granular computing is problem solving with different granularities,which can be used in service composition to solve the aforementioned contradiction intuitively,that is,it can be used to create a multi-grain model for service composition and make users and service composition agent work in different information granule level separately.A multi-grain formal model for service composition is proposed in this paper.This model considers the requirement of customers in service composition in the end-user view and we give a formal specification on mapping the web service description to the generalized decision logic language(GDL)for construction of multi-grain service composition view.GDL is a formal logic language proposed in granular computing research community as an expecting specification for definition of granular models.The proposed model is expected to provide a more understandable view for an end-user than traditional service composition model and conforms to the human cognition mode.
