基于LEGO Mindstorms的大学计算机课程创新实践

为了提高高校的工程教育水平,提出利用大学计算机课程培养学生的创新实践能力,基于LEGO Mindstorms机器人系统的实践教学方法——以图灵机的教学为例,阐述如何让大学生通过实践过程的互动学习编写基本的计算机程序,控制组合好的并具有动力装置的LEGO组件,最终组建一台可以实际运行的图灵机.     

基于体积最优的调度绞车多级传动系统优化设计及性能分析

对调度绞车"锥齿轮—NGW行星轮系—圆柱齿轮"传动系统进行多约束优化设计。以传动系统的整体体积最小作为目标函数,构建综合齿数条件、模数条件、传动比、重合度、接触强度、弯曲强度、轴径条件和结构条件的多约束条件;利用MATLAB中的Fmincon函数进行多约束优化求解,得到设计变量的优化结果和各级传动系统的优化参数,优化后传动系统体积减小32. 59%;基于此,建立传动系统的三维模型和有限元分析模型,通过优化后传动系统的模态分析,验证了优化结果能够同时满足体积最优和稳定性准则。研究结果可为调度绞车传动系统的优化设计提供一定参考。     

无需随机预言模型的基于身份门限解密方案(英文)

采用双线性对原理,提出无需随机预言模型下可证明安全的基于身份门限的解密方案,解决了当前基于身份门限解密方案需要依赖随机预言模型,才能证明其安全性或其安全性归约松散性的问题.给出一个新的密钥提取算法,模拟者可成功应答敌手的私钥提取查询,使方案的选择密文安全性证明具有紧致的安全归约.与现有的基于身份的门限解密方案相比,该方案在不依赖随机预言模型下也能满足紧致安全性归约.     

基于遗传算法的超静定液压支架顶梁优化设计

利用Matlab遗传算法工具箱对ZM2560型超静定液压支架顶梁进行了优化设计,建立了顶梁优化设计的数学模型。在保证顶梁强度的条件下,减小了顶梁截面面积,减轻了顶梁重量。此方法同样适用于超静定液压支架其它部件的优化设计,为液压支架整体优化设计提供参考。     

一种基于不可否认数字签名的用户认证方案

给出一种新的基于ＥＩＧａｍａｌ数字签名加密形式的不可否认数字认证方案,使得能在不暴露用户安全信息的前提下实现其身份认证,,因而该方案具有很高的安全性。