排序方式: 共有18条查询结果,搜索用时 15 毫秒
1.
2.
3.
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。 相似文献
4.
5.
个别教育在大学生思想政治教育中的作用 总被引:2,自引:0,他引:2
个别思想政治教育是与集体教育相对而言的,是教育者根据大学生的特点,有针对性地、个别地对学生进行教育的一种方式,这种方式的特点是范围小,教育者比较容易了解学生的心理活动,针对性强,又有较大的灵活性。 相似文献
6.
对当前我国新农村建设的思考--以武汉市江夏区“家园建设行动计划”为例 总被引:1,自引:0,他引:1
新农村建设是一项复杂而系统的工程,该文以武汉市江夏区“家园建设行动计划”为例,从新农村规划、建设管理、村民意愿、政策体制等几个方面分析当前存在的一些问题,并提出改进的措施和建议,以期对今后的新农村建设有一定的启示。 相似文献
7.
结合工程概况,根据设计进出水水质,通过调研及实验室小试后进行处理工艺的优化组合,确定了以“UASB+生物接触氧化+混凝沉淀法”的处理工艺,并详细对其处理工艺进行了介绍,指出该工艺具有操作简单、管理方便、投资省等优点,可在同类丝绸废水处理中推广使用。 相似文献
8.
为提高光学显微成像及微粒控制的效率,提出一种通过双环形旋涡相位板对入射光为拉盖尔高斯柱矢量光束进行波前相位调制的多焦点产生方法。通过Debye矢量衍射理论分析了该相位板对焦点区域光强分布的影响。分析表明,经调节内外环旋涡相位拓扑数及内环的半径,可以对焦点区域光强分布进行整形,在焦平面上产生多焦点,而且通过改变入射柱矢量光束的偏振态,可以进一步得到光场由轴向分量为主的多焦点及由横向分量组成的多焦点。通过改变旋涡相位板的拓扑数及光束的参数,可以达到对光斑的数量的控制。这对于捕捉折射率高于周围环境折射率的微粒具有重要的应用价值。 相似文献
9.
从引水线路走廊带基本地质条件入手,分析了引水线路经过小江断裂带、软质岩段、中硬岩段、坚硬岩段及富水构造带可能出现的工程地质问题及围岩变形破坏形式,并提出建议,以期为工程的施工处理措施提供参考。 相似文献
10.