SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。     

西宁警备区组织专武干部集训

近日，青海省西宁警备区依托市民兵培训中心，组织全市乡镇（街道）基层武装部和有关企（事）业单位的专武干部、各区（县）人武部主官和军事科长开展了为期3天的专武干部业务集训。集训采取“理论辅导、经验交流、解疑释惑、竞赛考核”等方法，系统学习了省军区系统调整转隶后新体制新职能，民兵整组、兵役登记和征兵工作基本程序、方法步骤等。通过集训，专武干部对强军改革重大战略决策的深远意义有了进一步了解和掌握，对“专司主营、主业主抓”国防动员工作要求有了更加清醒认识，为推动全市基层武装工作有序开展奠定了良好基础。     

建立军人退役养老保险制度势在必行

军人退役养老保险是军人保险制度的重要组成部分。建立适合我国国情与军情的军人退役养老保险制度,既是完善国家社会保障体系的需要,也是维护军人合法权益和军队建设发展的需要。我国传统的军人养老保障制度建立于高度集中的计划经济体制