安全协议分析的界——综合模型检查与Strand Spaces(英文)

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.     

英国日本教学过程比较与我国的发展策略研究

传统教学过程与现代教学过程在教学思想、教学信息以及师生关系等方面存在区别,但本质都是知识的内化与智力的内化过程.教学过程制约着教学效率.巴班斯基对教学过程进行深入分析后提出了教学过程最优化理论.比较发现,日英与中国的教学过程几乎是相反的,日英的教学是开放的、师生平等的、没有教材的、探究式的、选课式的、学生主动的教学过程,而我国则是相对封闭的、注重教师权威的、有统一教材的、填鸭式的、严格界定学习内容的、学生被动的教学过程.不同的教学过程会塑造不同的后备人才,我国的传统教育模式缺乏竞争优势.我国教育模式的转型必须参照发达国家的教学过程提出相应发展策略.     

WVPDN客户接入方式探讨

随着中国电信为企业提供移动办公业务,WVPDN应运而生,它实现了利用中国电信CDMA网络的无线接入功能,移动用户接入企业专网,访问企业内部资源.     

Orbal氧化沟污泥浓度控制

结合承德太平庄污水处理厂的工程实际,研究了orbal氧化沟运行中污泥浓度如何控制。活性污泥法处理污水是一个复杂的过程,污泥浓度的控制要综合考虑有机物有稳定的去除率、脱氮除磷效果、低温运行时污泥活性、能耗以及整个系统的抗冲击负荷能力等各因素。最终确定太平庄污水处理厂污泥浓度,夏季保持在4000mg/L左右,冬季4500mg／L左右。     

VPN技术在电大远程教学平台的研究

现行电大远程教育平台接入方式仍然采用传统的接入方式,复杂、数据安全性能得不到保障、新的用户添加到网络手段比较复杂、无法随时随地远程链接到平台.本文采用流行且成熟的远程接入方案VPN技术,对电大远程教育平台接入方式提出了相应的解决方案,以降低运营成本提供全球网络、提供安全身份认证机制、设计良好VPN网络解决数据安全性、以及随时随地的高速宽带连接.     

主位推进模式与翻译

翻译时采用何种主位推进模式由英语和汉语语篇的主位特征和主位推进模式的相同性和差异性决定。英译时,汉语话题主位应转变为译入语的主语,形成SV提挈主轴。英汉语在句子基本主干的表意逻辑和语序上的相同性决定在没有语言差异或者能够予以克服的前提下保留原语主位推进模式的原则。而语言和民族认知过程的差异决定在更多情况下需要结构重组,重新选择主位推进模式。翻译说明文（概念说明、叙述和描写）类别的语篇单位时应该主要选择连续型的模式;议论文翻译宜用延续型、派生型和框架型模式。     

基于西门子S7-200的PLC实验系统设计

论文依托高校PLC实验室建设项目,设计与实现了一套满足教学与科研需求的PLC实验系统。该系统较好地融合和运用了软-硬件结合的被控对象仿真技术、单片机应用技术、USB通讯技术和OPC技术,为教学和科研奠定了良好的软件和硬件基础,具有重要的现实意义。论文着重研究和讨论了实验系统硬件和软件部分的设计思想及具体实现。     

关于<中图法>第四版“TP3计算技术、计算机技术”的几个问题

本文分析了<中图法>第四版“TP3计算技术、计算机技术”在类目设置上忽略的问题和类目类目之间处理不当的地方，提出了自己的建议。     

安全协议分析的界--综合模型检查与Strand Spaces

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.     

利用L2TP技术构建VPN虚拟网

分析了L2TP技术的原理及使用L2TP技术构建家庭办公虚拟网的优点.提出了使用L2TP技术构建VPN虚拟网的解决方案.