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

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

基于DIS数字信息化系统对透光物质透光性能的研究

采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

现代教学媒体及其应用的探讨

教学媒体是现代教育技术的重要组成部分，它是人类社会发展的成果之一，文章对各类现代教学媒体进行了探讨。     

论家庭教育中儿童人格的塑造与培养

父母及家庭环境对儿童人格形成与发展具有十分重要的影响。父母要以身示范,营造和睦、健康、向上的家庭氛围。在儿童人格塑造和培养中,要十分重视智力因素的培养,特别注意早期智力与创造力的开发,重视社会适应能力的培养,包括融入集体生活的能力、人际适应能力和环境适应能力等。     

关于在实验课中培养大学生创新素质的思考

素质教育是高等教育的一个重要课题，创新素质则是素质教育的重点，如何在高校的实验课中培养大学生的创新素质值得思考，应该转变学生与教师的教育教学观念，构建适应时代发展要求的具有相对独立的实验教学体系，通过积极主动的学习，提高学生创新能力。     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

与时俱进,提升高校党委的工作水平

面对新时期新形势新任务，要与时俱进做好工作．高校党委必须提高认识水平、协调水平、管理水平和创新水平，最终体现为发展水平。     

优化教学过程培养创新意识

培养具有创新精神和实践能力的高级专门人才是时代赋予高等教育的历史重任，而教学过程是实现这一目标的重要途径，文章就优化教学过程，在良好的教学过程中培养学生的创新意识作了一些探索。提出了相关的观点。     

《老水手行》中的鸟与蛇意象

柯尔律治的诗歌以神秘、怪诞著称。本文通过分析《老水手行》中鸟和蛇的意象来解读《老水手行》，在宗教寓意之外发现柯尔律治在诗中隐含的另一个主题，敬畏自然、关爱生命。