The Design and Realization of CAT with Cognitive Diagnosis based on Formal Concept Analysis | IEEE Conference Publication | IEEE Xplore