公路飞机跑道净空要求分析探讨

为了保证飞行安全,基于我军现有作战飞机的使用条件,分析现行公路飞机跑道净空规定存在的问题,从公路飞机跑道净空影响因素、净空要求出发,参照现行有关标准、规范的净空规定,提出了公路飞机跑道净空区组成和要求,进行了指标来源分析,为公路飞机跑道的建设和净空保护提供了技术依据.     

社区卫生服务系统形式化规格说明

通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明。     

对公路建设贯彻国防要求有关问题的探讨

在论述公路建设贯彻国防要求的必要性和重要性的基础上,分析了贯彻国防要求的范围、重点,从战场建设、部队机动、紧急抢运、工程技术防护及抢修需要出发,界定贯彻国防要求的内容要素,提出了制定贯彻国防要求的公路技术标准的基本思路和内容,并对建立和完善其工作机制提出了对策、措施。