Abstract It is a worldwide engineering challenge to develop large-scale complex information systems such as Smart Court. The nationwide construction, application and promotion of the Court system-of-systems project China guarantee upgrade reshaping judicial operation pattern Chinese people’s courts. has gained remarkable achievements brought leading position in informatization world. In this ch...

In this study we utilize the notion of learner-generated examples, suggesting that examples generated by students mirror their understanding of particular mathematical concepts. In particular, we explore examples generated by a group of prospective secondary school teachers for a definition of a square. Our framework for analysis includes the categories of accessibility and correctness, richnes...

Abstract Air Traffic Control System (ATCS) is a large-scale information system that spreads all over the world and widely used (Zhang et al., Modern Management (in Chinese). Beijing University of Aeronautics Astronautics Press, Beijing, 2005). Although it cannot represent entire system, its structure, functional composition application methods can already reflect many basic characteristics toda...

This paper presents an approach to handle with elements from GF(2), in hardware implementation with minimum costs of area. The method is described by exemplifying with minimum costs of area. The method is described by exemplifying the practical implementation of the BCH(n,k,t) scheme over GF(2), where n is large (n > 6), on reconfigurable FPGA hardware with minimum costs of area. There are many...