按网络所连接地区的大小和距离可以把网络分为()。

A、局域网络

B、广域网络

C、微型机网络

D、大型机网络

阅读下列案例材料，然后回答问题。
被告人张某，因犯盗窃罪被某县人民法院判处有期徒刑12年。被告人张某不服，以一审严重违反诉讼程序和量刑过重为由提起上诉。县人民检察院也认为量刑畸重，但未提起抗诉。第二审法院经过审理，认为一审的确严重违反诉讼程序，但是考虑到原判决量刑恰当，故裁定驳回上诉，维持原判。二审裁定生效后，被告人张某仍然不服，继续向人民检察院申诉，该县人民检察院受理审查后，认为申诉有理，遂向原一审人民法院提起抗诉。
[问题]
本案诉讼程序是否有违法情形若有，请指出并简要说明理由。