排序方式: 共有205条查询结果,搜索用时 15 毫秒
71.
72.
74.
何新华 《装甲兵工程学院学报》1995,(2)
一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效. 相似文献
75.
76.
农四师是一个少数民族边境师,由于多种原因,职工生产生活条件相对滞后。为进一步促进经济社会协调发展,农四师党委从解决职工群众最关心、最直接、最现实的问题出发,集中财力、物力,每年为基层群众办10件实事。今年初,农四师党委在办好办实去年10件实事的基础上,决定实施经济社会"双十主体工程",使广大职工群众共享改革发展的成果。 相似文献
77.
针对卫星网络组密钥管理的重要性,提出了一个可认证的基于门限秘密共享的组密钥管理方案.结合卫星网络的动态拓扑结构特点,将地面站作为组成员的身份注册中心,以实现对组成员的身份认证,确保节点的合法性.为了提高组密钥的生成效率,选取≠一1颗可见时间长的卫星构建组密钥份额分发中心,降低了组密钥联合生成过程中的通信量.组密钥协商无需安全信道,节省了系统资源.安全性及性能分析表明,该方案不仅具有较强的安全性,而且还具有计算和通信量小的优点.参数分析表明,门限值k与组密钥更新周期T是影响方案安全性的2个重要因子. 相似文献
78.
党的十八大报告强调:“坚持走中国特色军民融合式发展路子,坚持富国和强军相统一,加强军民融合式发展战略规划、体制机制建设、法规建设。”军分区系统具有军地双重领导的独特优势,推进军民融合式发展必须按照“军地联动、共建共享、互兼互容、互利共赢”的思路,不断健全组织领导、完善制度机制、丰富融合内容,努力走开具有区域特点的军民融合式发展路子。 相似文献
79.
专业保障队伍是战时应战、急时应急的重要力量。区域规划作为新时期国家优化配置各类资源的重要手段,对推进国防动员建设起着重要作用。构建专业保障队伍共建共用机制,应以专业为主线,对口编组;以行业为纽带,模块配置;以产业为支撑,联片布局区域专业保障队伍。通过军地联接、联训、联盟等多种形式,实现专业保障队伍的军地信息资源共享、开放式培养和柔性流动。 相似文献
80.
新疆克拉玛依,这座当年由中国人民解放军石油师官兵建成的“油城”,有着双拥共建的优良传统。如今,石油报国、兴武强军的国防情怀仍然流淌在石油师后辈人的血液里。 相似文献