总体来看，三家公司的国内专利申请数量在2023年出现萎缩。