Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re...Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.展开更多
Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this app...Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.展开更多
In this paper,we propose a novel improved region energy based image fusion rule.The original images are firstly decomposed by using the lifting scheme of wavelet transform into four sub-bands:LL,LH,HL,HH,by studying p...In this paper,we propose a novel improved region energy based image fusion rule.The original images are firstly decomposed by using the lifting scheme of wavelet transform into four sub-bands:LL,LH,HL,HH,by studying principles and characteristics of the wavelet subbands,and we put emphasis on the high frequency subbands.Thus HH,HL,LH sub-bands,which represent three direction of high frequency details,are weighted by different size of three direction Gaussian kernel,then the energy based image fusion rule is applied with a optional size of window,thus the activity level of high frequency subbands are obtained,followed by a local region matching degree in the corresponding direction and resolution,an activity level of low frequency subband is calculated,then perform consistency verification on the selected wavelet coefficients,by doing the inverse wavelet transform the fused image is obtained.The performance of the proposed novel image fusion scheme is conducted and compared with a few existing image fusion algorithm,the experimental results show that the proposed method is an effective multi-focus image fusion algorithm.展开更多
基金the Yunnan Provincial Department of Education Research Fund Key Project(No.2011z025)General Project(No.2011y214)
文摘Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.
文摘Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.
基金Sponsored by the National Natural Science Foundation of China(Grant No.61077079)the Ph.D.Programs Foundation of Ministry of Education of China(Grant No.20102304110013)+1 种基金the Key Program of Heilongjiang Natural Science Foundation(Grant No.ZD201216)the Program ExcellentAcademic Leaders of Harbin(Grant No.RC2013XK009003)
文摘In this paper,we propose a novel improved region energy based image fusion rule.The original images are firstly decomposed by using the lifting scheme of wavelet transform into four sub-bands:LL,LH,HL,HH,by studying principles and characteristics of the wavelet subbands,and we put emphasis on the high frequency subbands.Thus HH,HL,LH sub-bands,which represent three direction of high frequency details,are weighted by different size of three direction Gaussian kernel,then the energy based image fusion rule is applied with a optional size of window,thus the activity level of high frequency subbands are obtained,followed by a local region matching degree in the corresponding direction and resolution,an activity level of low frequency subband is calculated,then perform consistency verification on the selected wavelet coefficients,by doing the inverse wavelet transform the fused image is obtained.The performance of the proposed novel image fusion scheme is conducted and compared with a few existing image fusion algorithm,the experimental results show that the proposed method is an effective multi-focus image fusion algorithm.
