CRM系統(tǒng)：基于表格法的CRM 型對稱函數(shù)檢測

基于表格法的CRM 型對稱函數(shù)檢測 應(yīng)時彥1 , 肖林榮2 ,3 , 陳偕雄2 (1. 浙江工業(yè)大學(xué)信息工程學(xué)院, 浙江杭州310014 ; 2. 浙江大學(xué)信息與電子工程學(xué)系, 浙江杭州310028 ; 3. 嘉興學(xué)院電氣工程系, 浙江嘉興314001) 摘　要:分析了函數(shù)的CRM 展開式中和式項所含的部分變量取反引起的變化, 在此基礎(chǔ)上提出了直接檢測CRM 型全對稱函數(shù)以及部分變量取反的CRM 型對稱函數(shù)的新方法,并以實例加以說明. 與傳統(tǒng)方法相比,該法使基于 邏輯函數(shù)對稱性的邏輯設(shè)計更簡單、更有效. 關(guān)　鍵　詞:對稱函數(shù); 對稱性檢測; 或2符合代數(shù)系統(tǒng); CRM 展開式 中圖分類號: TP331 　　　　文獻標(biāo)識碼:A 　　　文章編號:1008 - 9497 (2007) 03 - 311 - 04 YIN G Shi2yan1 , XIAO Lin2rong2 ,3 , CHEN Xie2xiong2 (1. Col lege of Inf ormation Engineering , Zhej iang Uni ver2 si t y of Technology , Hangz hou 310014 , China; 2. Department of Inf ormation and Elect ronic Engineering , Zhe2 j iang Uni versi t y , Hangz hou 310028 , China; 3. Department of Elect rical Engineering , J iax ing Uni versi t y , J iax ing 314001 , China) New method of detecting symmetry of CRM type symmetric function in OR2coincidence algebraic system based on tabu2 lar method. Journal of Zhejiang University (Science Edition) , 2007 ,34 (3) :311～314 Abstract : Symmet ry is a significant property of a logic function. However , the conventional methods of detecting symmet ry of a logic function are too complicated if the function is expanded to CRM in OR2COINCIDENCE algebraic system. Firstly , the change caused by negation of partial variables in sum terms of CRM expansion of a function was analyzed. Secondary , based upon tabular method a new analysis method for detecting CRM type totally symmet ric function and CRM type symmet ric function with partial negated variables was presented , and some examples were also given. The logic design based on the symmet ry of logic function is simpler and more effective as compared with conventional design. Key words : symmet ric function ; detection of symmet ry ; OR2COINCIDENCE algebraic system; CRM expansion 　對稱函數(shù)是邏輯函數(shù)中一種重要的特殊函數(shù). 由于其具有更規(guī)則、更簡單的電路實現(xiàn)以及任意函 數(shù)均可轉(zhuǎn)換成變量加權(quán)的對稱函數(shù)等特點,關(guān)于對 稱函數(shù)的研究受到國內(nèi)外的關(guān)注[1～6 ] . 但迄今為止, 檢測邏輯函數(shù)對稱性的方法大多是基于邏輯函數(shù)在 與2或2非代數(shù)系統(tǒng)中的最小項展開式以及在與2異或 代數(shù)系統(tǒng)中規(guī)范RM 展開式的. 而邏輯函數(shù)在或2符 合代數(shù)系統(tǒng)中的規(guī)范展開式為CRM 展開式[7 ,8 ] : f ( x1 ～ xn ) = ( d0 + x1 + ⋯ + xn- 1 + xn ) ⊙( d1 + x1 ⋯+ xn- 1 ) ⊙⋯⋯⊙( d2 n- 2 + x1 ) ⊙d2 n- 1 , (1) 式中,展開系數(shù)dj 的腳標(biāo)j 與最大項的編碼方式一 致. 顯而易見,當(dāng)邏輯函數(shù)以這種形式出現(xiàn)時, 用傳 統(tǒng)方法檢測其對稱性就很不方便. 鑒于此,本文將研 究從邏輯函數(shù)的規(guī)范CRM 展開式出發(fā)直接檢測其 對稱性的方法. 1 　部分變量取反的CRM 型展開式的 求法 　　由規(guī)范CRM 展開式獲得部分變量取反的 CRM 型展開式的方法有代數(shù)法、圖形法( dj 圖法) 以及表格法. 本文討論用表格法檢測CRM 型對稱 函數(shù),因此僅介紹表格法. 文獻[5 ] 給出了由規(guī)范 RM 展開式獲得各種不同極性的RM 展開式的表格 方法,在此基礎(chǔ)上可以得到由規(guī)范CRM 展開式獲 得變量xi 取反的CRM 展開式的表格方法如下: (1) 列出基于CRM 展開的對稱函數(shù)表:表中第 1 列列出dj 為0 的系數(shù)編號;第2 列為該系數(shù)對應(yīng)的 和式項;第3 列為和式項中包含的變量數(shù)(即編碼中 標(biāo)0 數(shù)) ;第4 列為和式項編碼(若和式項中含xi 則 x i 列處標(biāo)0 ,若不含則標(biāo)以“1”) . (2) 對xi 位作0 →1 變換,其余位保持不變. 列 出產(chǎn)生的新項. 與原和式項比較并刪去重復(fù)項. 強力推薦： 天柏客戶關(guān)系管理系統(tǒng) 天柏客戶關(guān)系管理系統(tǒng)（CRM）是一款集專業(yè)性、實用性、易用性為一體的純B/S架構(gòu)的CRM系統(tǒng)，它基于以客戶為中心的協(xié)同管理思想和營銷理念，圍繞客戶生命周期的整個過程，針對不同價值的客戶實施以客戶滿意為目標(biāo)的營銷策略，通過企業(yè)級協(xié)同，有效的“發(fā)現(xiàn)、保持和留住客戶”，從而達到留住客戶、提高銷售，實現(xiàn)企業(yè)利潤最大化的目的。通過對客戶進行7P的深入分析，即客戶概況分析(Profiling)、客戶忠誠度分析(Persistency)、客戶利潤分析(Profitability)、客戶性能分析(Performance)、客戶未來分析(Prospecting)、客戶產(chǎn)品分析(Product)、客戶促銷分析(Promotion)以及改善與管理企業(yè)銷售、營銷、客戶服務(wù)和支持等與客戶關(guān)系有關(guān)的業(yè)務(wù)流程并提高各個環(huán)節(jié)的自動化程度，從而幫助企業(yè)達到縮短銷售周期、降低銷售成本、擴大銷售量、增加收入與盈利、搶占更多市場份額、尋求新的市場機會和銷售渠道，最終從根本上提升企業(yè)的核心競爭力，使得企業(yè)在當(dāng)前激烈的競爭環(huán)境中立于不敗之地。 關(guān)鍵詞：CRM,CRM系統(tǒng),CRM軟件,客戶關(guān)系管理,客戶管理軟件,客戶管理系統(tǒng),客戶關(guān)系管理軟件,客戶關(guān)系管理系統(tǒng)