串空间模型及其认证测试方法的一种扩展与应用

认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。     

基于拍卖机制的网格在线信誉系统模型

在现有的网格经济模型和在线信誉系统的基础上,提出了基于拍卖机制的网格在线信誉系统模型.该模型侧重于保护资源提供者,为资源提供者提供了贡献与共享资源的动机,吸引更多更好的资源加入网格,实现资源优化分配.保证交易双方均获取最大利益,有利于网格资源的市场管理及供需均衡.并以市场为平台,构建一种新的网格信任模型,由交易事件和衰减函数共同驱动信任度的在线更新,并引入激励机制,尽可能增强信任模型的合理性和可操作性.     

基于细胞自动机的城市用地仿真研究

随着城市规模日益增大,功能日益复杂,城市问题的广度和深度是人类社会前所未遇的,其中土地利用是城市问题的重要方面。从城市交通与土地利用互馈关系入手,应用细胞自动机模型对城市土地利用发展情况进行分析研究、预测和模拟演示,以期能对土地管理提供较为科学的决策依据。     

高等院校计算机基础教育分层教学构想

为提高高校非计算机专业计算机基础教育教学水平,使高校非计算机专业计算机基础教学能适应社会的发展,文章从目前高校非计算机专业计算机基础教育的地位、现状入手,分析了大学计算机基础课程教学中存在的问题和不足,提出了高校计算机基础课程实施分层教学的改革措施。     

指纹图像的识别与分类

指纹作为人体重要的生物特征,其在身份识别领域应用越来越广泛,如何正确识别匹配一组指纹已成为全社会关注的焦点。本文首先建立基于Shi-Tomasi角点检测的指纹特征点提取模型,提取出指纹图像的特征点,基于此,建立基于最短路径角度向量和层次聚类的指纹分类模型,找到每张图像中每个特征顶点相邻最近的两个点,计算三点构成的顶角角度的大小,依此计算每张指纹图像所有特征点的最短路径角度,并构成对应的最短路径角度向量。最后提出采用层析聚类对不同指纹图像的最短路径角度向量进行分类,以此来体现不同指纹间的异同及相似程度。     

小学低年级识字教学策略研究

有效教学就是在符合时代和个体积极价值建构的前提下其效率在一定时空内不低于平均水准的教学。指的是能高效实现课堂目标的教学。实现总教学时间最小化,有效教学时间最大化是有效教学的目标。有效教学可以优化教师、学生、教学内容等教学要素,促进了学生的学习,特别对于促进学生的进步和发展是有效益的。     

中立位踝关节生物力学有限元仿真

为了研究踝关节处于中立位时的生物力学特性,基于中立位踝关节的核磁图像,利用Mimics、Geomagic studio分别建立了不含韧带和含韧带踝关节的三维几何实体模型,利用有限元方法仿真踝关节处于中立位时的受力分布情况,对比分析了不含韧带和含韧带踝关节的力学特性。仿真结果表明:踝关节处于中立位状态时,最大位移位于距骨前侧,最大应变位于软骨,应力较高部位主要集中在胫骨及腓骨上端、胫骨软骨与距骨软骨接触处、距骨颈、距下关节、距骨后突等部位;含韧带踝关节与不含韧带踝关节相比,踝关节的位移、应变、应力的峰值都有所减小,且从其整体趋势看前者的分布更为均匀。     

赖氨酸生理功能的研究进展

赖氨酸具有促进机体生长发育、参与能量代谢、促进矿物质吸收和骨骼生长、增强免疫功能、治疗单纯疱疹病毒感染、减轻焦虑等功能,综述与赖氨酸生理功能有关的研究进展表明：赖氨酸不仅可作为营养强化剂促进身体健康,而且可作为某些药物的替代品用于疾病的预防和治疗,以减少药物的副作用。     

8位CPU总线采样记录仪的设计

设计了一种8位CPU总线采样记录仪,对51单片机总线进行采样,从中提取如下4种信息并存储：片外程序代码和地址、片外数据存储器的数据和地址。它基于Altera公司提供的DE0开发板,外接AT89S52单片机最小系统,带触摸LCD和SD卡,在FPGA内实现总线采集模块,共同构建了一个SOPC系统,通过在Nios II中运行的软件对数据进行存储、处理。测试结果表明,采集的数据可使用TXT文件的格式存放在SD卡上,同时可在液晶屏上显示和查找。