基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

大学生羞怯与手机成瘾倾向:孤独感的中介作用

为探讨大学生羞怯与手机成瘾倾向的关系,考察孤独感在大学生羞怯与手机成瘾倾向之间的中介作用。采用羞怯量表、UCLA孤独量表得分第三版和大学生手机成瘾倾向量表对在贵州省8所高校抽取的1 147名大学生进行调查。结果显示:大学生羞怯量表得分、孤独感量表与手机成瘾倾向量表得分显著正相关(r=0.27,r=0.29,均P<0.001),羞怯量表得分和孤独感量表得分显著正相关(r=0.49,均P<0.001);羞怯和孤独感均可显著正向预测大学生手机成瘾倾向(均P<0.001),孤独感在大学生羞怯与手机成瘾倾向之间的部分中介作用成立。     

网络:校园思想政治工作的新空间与新挑战

介绍了在计算机、互联网为代表的第三次产业革命冲击下 ,网络带给校园思想政治工作的机遇与挑战 ,提出了在网络环境下从事该项工作的策略及建议     

基于ASP+SQL的远程MIS系统安全特性分析与研究

为构建基于ASP+SQL体系结构的铁路电务管理信息系统,结合网络安全模型和基于角色的访问控制(RBAC)模型分别设计了实际的网络系统和应用系统,并对其安全特性进行了分析.     

基于网络和数据库技术的远程服务

通过网络和数据库的应用研究,建立故障库,解决远程设备故障,并介绍了远程维修服务的应用实例.     

从科学走向艺术--浅论21世纪中国手机造型设计

文章对手机、造型及其造型设计等相关概念作了一个初步的阐释 ,着重就中国手机及其造型设计所面临的机遇和挑战进行了剖析 ;阐述了中国手机造型要实现艺术化设计的观点 ,即从科学走向艺术。     

过程控制中的TCP/IP网络

提出TCP/IP在过程控制中的应用. 评价TCP/IP控制系统性能,通过传统控制系统与TCP/IP控制系统的比较,指出采用TCP/IP 控制系统的优缺点. 说明过程控制技术中,采用TCP/IP是一种更好的选择.     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

信息技术和教学方式的改革

主要阐述了信息技术给教学方式带来的深远影响，以及21世纪教师掌握和应用信息技术以辅助教学的必要性。     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.