Informatica《信息》（季刊）. The quarterly journal INFORMATICA provides an international forum for high-quality original research and publishes papers on mathematical simulation and optimization, recognition and control, programming theory and systems, automation systems and elements.