针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析...针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.关键词:描述逻辑推理;可满足性;析取范式;SHOIN(D);展开更多
Device to device(D2 D) multi-hop communication in multicast networks solves the contradiction between high speed requirements and limited bandwidth in regional data sharing communication services. However, most networ...Device to device(D2 D) multi-hop communication in multicast networks solves the contradiction between high speed requirements and limited bandwidth in regional data sharing communication services. However, most networking models demand a large control overhead in eNodeB. Moreover, the topology should be calculated again due to the mobility of terminals, which causes the long delay. In this work, we model multicast network construction in D2 D communication through a fuzzy mathematics and game theory based algorithm. In resource allocation, we assume that user equipment(UE) can detect the available frequency and the fuzzy mathematics is introduced to describe an uncertain relationship between the resource and UE distributedly, which diminishes the time delay. For forming structure, a distributed myopic best response dynamics formation algorithm derived from a novel concept from the coalitional game theory is proposed, in which every UE can self-organize into stable structure without the control from eNodeB to improve its utilities in terms of rate and bit error rate(BER) while accounting for a link maintenance cost, and adapt this topology to environmental changes such as mobility while converging to a Nash equilibrium fast. Simulation results show that the proposed architecture converges to a tree network quickly and presents significant gains in terms of average rate utility reaching up to 50% compared to the star topology where all of the UE is directly connected to eNodeB.展开更多
The selection of proper materials for a structural component is critical in engineering design. Existing design procedures may currently be sufficient, especially where experience exists, but fierce industrial competi...The selection of proper materials for a structural component is critical in engineering design. Existing design procedures may currently be sufficient, especially where experience exists, but fierce industrial competition is spurring the search for improved methods and tools. The main drivers are quality, life-cycle cost, and time-to-market. Improved design efficiency and accuracy may have an enormous impact on the economic viability of the final product. The use of computer-aided systems can assist the designer in selecting the ap- propriate material these may potentially reduce product cost and time-to-market while assisting the concur- rent engineering activities, thereby resolving problems related to materials presented during the initial phase of design. This paper focuses on specific issues such as material selection at early design stage. In this paper material selection algorithm is developed using fuzzy logic technique for selection of proper material from database as per design engineers’ criteria. The information obtained from the selection algorithm is ex- changed through a properly secured web page through pure internet communication to different users in the enterprise so that it can create concurrent engineering environment throughout the product life cycle.展开更多
A new image thresholding method is introduced, which is based on 2-D histgram and minimizing the measures of fuzziness of an input image. A new definition of fuzzy membership function is proposed, it denotes the chara...A new image thresholding method is introduced, which is based on 2-D histgram and minimizing the measures of fuzziness of an input image. A new definition of fuzzy membership function is proposed, it denotes the characteristic relationship between the gray level of each pixel and the average value of its neighborhood. When the threshold is not located at the obvious and deep valley of the histgram, genetic algorithm is devoted to the problem of selecting the appropriate threshold value. The experimental results indicate that the proposed method has good performance.展开更多
This paper is concerned with the problem of stabilization of the Roesser type discrete-time nonlinear 2-D system that plays an important role in many practical applications. First, a discrete-time 2-D T-S fuzzy model ...This paper is concerned with the problem of stabilization of the Roesser type discrete-time nonlinear 2-D system that plays an important role in many practical applications. First, a discrete-time 2-D T-S fuzzy model is proposed to represent the underlying nonlinear 2-D system. Second, new quadratic stabilization conditions are proposed by applying relaxed quadratic stabilization technique for 2-D case. Third, for sake of further reducing conservatism, new non-quadratic stabilization conditions are also proposed by applying a new parameter-dependent Lyapunov function, matrix transformation technique, and relaxed technique for the underlying discrete-time 2-D T-S fuzzy system. Finally, a numerical example is provided to illustrate the effectiveness of the proposed results.展开更多
Image segmentation denotes a process for partitioning an image into distinct regions, it plays an important role in interpretation and decision making. A large variety of segmentation methods has been developed;among ...Image segmentation denotes a process for partitioning an image into distinct regions, it plays an important role in interpretation and decision making. A large variety of segmentation methods has been developed;among them, multidimensional histogram methods have been investigated but their implementation stays difficult due to the big size of histograms. We present an original method for segmenting n-D (where n is the number of components in image) images or multidimensional images in an unsupervised way using a fuzzy neighbourhood model. It is based on the hierarchical analysis of full n-D compact histograms integrating a fuzzy connected components labelling algorithm that we have realized in this work. Each peak of the histo- gram constitutes a class kernel, as soon as it encloses a number of pixels greater than or equal to a secondary arbitrary threshold knowing that a first threshold was set to define the degree of binary fuzzy similarity be- tween pixels. The use of a lossless compact n-D histogram allows a drastic reduction of the memory space necessary for coding it. As a consequence, the segmentation can be achieved without reducing the colors population of images in the classification step. It is shown that using n-D compact histograms, instead of 1-D and 2-D ones, leads to better segmentation results. Various images were segmented;the evaluation of the quality of segmentation in supervised and unsupervised of segmentation method proposed compare to the classification method k-means gives better results. It thus highlights the relevance of our approach, which can be used for solving many problems of segmentation.展开更多
文摘针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.关键词:描述逻辑推理;可满足性;析取范式;SHOIN(D);
基金supported by the National Science and Technology Major Project of China(2013ZX03005007-004)the National Natural Science Foundation of China(6120101361671179)
文摘Device to device(D2 D) multi-hop communication in multicast networks solves the contradiction between high speed requirements and limited bandwidth in regional data sharing communication services. However, most networking models demand a large control overhead in eNodeB. Moreover, the topology should be calculated again due to the mobility of terminals, which causes the long delay. In this work, we model multicast network construction in D2 D communication through a fuzzy mathematics and game theory based algorithm. In resource allocation, we assume that user equipment(UE) can detect the available frequency and the fuzzy mathematics is introduced to describe an uncertain relationship between the resource and UE distributedly, which diminishes the time delay. For forming structure, a distributed myopic best response dynamics formation algorithm derived from a novel concept from the coalitional game theory is proposed, in which every UE can self-organize into stable structure without the control from eNodeB to improve its utilities in terms of rate and bit error rate(BER) while accounting for a link maintenance cost, and adapt this topology to environmental changes such as mobility while converging to a Nash equilibrium fast. Simulation results show that the proposed architecture converges to a tree network quickly and presents significant gains in terms of average rate utility reaching up to 50% compared to the star topology where all of the UE is directly connected to eNodeB.
文摘The selection of proper materials for a structural component is critical in engineering design. Existing design procedures may currently be sufficient, especially where experience exists, but fierce industrial competition is spurring the search for improved methods and tools. The main drivers are quality, life-cycle cost, and time-to-market. Improved design efficiency and accuracy may have an enormous impact on the economic viability of the final product. The use of computer-aided systems can assist the designer in selecting the ap- propriate material these may potentially reduce product cost and time-to-market while assisting the concur- rent engineering activities, thereby resolving problems related to materials presented during the initial phase of design. This paper focuses on specific issues such as material selection at early design stage. In this paper material selection algorithm is developed using fuzzy logic technique for selection of proper material from database as per design engineers’ criteria. The information obtained from the selection algorithm is ex- changed through a properly secured web page through pure internet communication to different users in the enterprise so that it can create concurrent engineering environment throughout the product life cycle.
基金This project was supported by Science and Technology Research Emphasis Fund of Ministry of Education(204010) .
文摘A new image thresholding method is introduced, which is based on 2-D histgram and minimizing the measures of fuzziness of an input image. A new definition of fuzzy membership function is proposed, it denotes the characteristic relationship between the gray level of each pixel and the average value of its neighborhood. When the threshold is not located at the obvious and deep valley of the histgram, genetic algorithm is devoted to the problem of selecting the appropriate threshold value. The experimental results indicate that the proposed method has good performance.
基金Supported by National Natural Science Foundation of China (50977008, 60904017, 60774048, 60728307), the Funds for Creative Research Groups of China (60521003), the Program for Cheung Kong Scholars and Innovative Research Team in University (IRT0421), and the 111 Project (B08015), National High Technology Research and Development Program of China (863 Program) (2006AA04Z183)
文摘This paper is concerned with the problem of stabilization of the Roesser type discrete-time nonlinear 2-D system that plays an important role in many practical applications. First, a discrete-time 2-D T-S fuzzy model is proposed to represent the underlying nonlinear 2-D system. Second, new quadratic stabilization conditions are proposed by applying relaxed quadratic stabilization technique for 2-D case. Third, for sake of further reducing conservatism, new non-quadratic stabilization conditions are also proposed by applying a new parameter-dependent Lyapunov function, matrix transformation technique, and relaxed technique for the underlying discrete-time 2-D T-S fuzzy system. Finally, a numerical example is provided to illustrate the effectiveness of the proposed results.
文摘Image segmentation denotes a process for partitioning an image into distinct regions, it plays an important role in interpretation and decision making. A large variety of segmentation methods has been developed;among them, multidimensional histogram methods have been investigated but their implementation stays difficult due to the big size of histograms. We present an original method for segmenting n-D (where n is the number of components in image) images or multidimensional images in an unsupervised way using a fuzzy neighbourhood model. It is based on the hierarchical analysis of full n-D compact histograms integrating a fuzzy connected components labelling algorithm that we have realized in this work. Each peak of the histo- gram constitutes a class kernel, as soon as it encloses a number of pixels greater than or equal to a secondary arbitrary threshold knowing that a first threshold was set to define the degree of binary fuzzy similarity be- tween pixels. The use of a lossless compact n-D histogram allows a drastic reduction of the memory space necessary for coding it. As a consequence, the segmentation can be achieved without reducing the colors population of images in the classification step. It is shown that using n-D compact histograms, instead of 1-D and 2-D ones, leads to better segmentation results. Various images were segmented;the evaluation of the quality of segmentation in supervised and unsupervised of segmentation method proposed compare to the classification method k-means gives better results. It thus highlights the relevance of our approach, which can be used for solving many problems of segmentation.