Design of Maximal-Period Sequences with Prescribed Auto-Correlation Properties Based on One-Dimensional Maps with Finite Bits