A modeling method based on the procedural nature of production rules was proposed to build a system model.The definition of the conditional transition system(CTS) was given by the concept of conditional transitions.Small fix point computing was introduced to build the conditional transition system.The system model represented by the conditional transition system was built by solving the small fix point of the constructing function of the states set,and the correctness and termination of this method was proven.The proposed dynamic modeling method improves the efficiency of the production knowledge base modeling process.The time complexity reduced one order of magnitude compared with the static modeling method.The conditional transition system built by this method contains all information about the state transition process,and solves the information loss problem of the transition system constructed by the static modeling method,increasing the efficiency of error diagnosis.

Click here for full paper!

集合划分算法的Java源码，能够在计算给定数组所有可能的划分情况的同时列出所有可能的划分！点击下面下载链接直接下载Eclipse项目源码。