减轻震灾的工程性措施包括（）。