电磁连铸对镁合金凝固和偏析的影响

对电磁连铸AZ31镁合金的宏观组织,以及溶质元素在铸锭截面上的分布规律进行了工业化(生产)规模的实验研究.结果表明:合适与匹配的连铸工艺和电磁场处理可使镁铸坯晶粒组织细化.在拉速8 cm/min和表观直流电流40 A的电磁场条件下,φ162 mm圆坯的AZ31镁合金宏观凝固组织细化为均匀的等轴晶组织.同时,铸坯中溶质元素的偏析明显改善.以Zn,Mn元素为例,其平均偏析度分别比普通连铸下降73%和67%.     

基于FPGA的仿人假手控制系统设计

为了满足生机电一体化仿人假手的控制需求,提出了基于FPGA的仿人假手电气控制系统设计方案。采用模块化设计思想,由FPGA构成的主控芯片模块便于功能拓展与二次开发;由DSP构成的手指运动控制模块、肌电信号采集模块、电刺激模块、USG接口模块和电池管理模块均可独立工作,与主控芯片模块间通过通用接口连接。系统集成度高,可完全放置于假手内部。应用该控制系统在HIT V代手上进行多指抓取实验,实验结果证明其工作效果良好。     

基于B/S架构的电子表格数据上报系统设计与实现

数据上报是日常工作中的一项经常性、基础性工作.各部门分布在不同地域,日常工作中各部门员工多用网盘、邮件上报表格数据,再由数据采集人员逐份处理表格,对上报数据进行汇总、存档.不仅过程繁琐,还存在数据传输过程保密性差、数据汇总费时费力、数据查询仅靠人工操作、数据存档不安全等问题.为提高表格数据上报的便捷性和安全性,开发了基于B/S架构的电子表格数据上报系统.     

汽车电器开关的人机工程设计

通过对汽车电器开关布置区域和位置、汽车电器开关档位设置与操控方向的逻辑关系、汽车电器开关人机工程尺寸设计、汽车电器开关操作力设计、汽车电器开关安装力和拆卸力设计这些汽车电器开关人机工程的因素的论述得出结论 :在汽车电器开关设计过程中,通过对汽车电器开关人机工程的因素的控制,可以使汽车电器开关的人机工程设计更合理,可以有效防止驾乘人员对汽车电器开关的误操作,可以达到提升汽车电器开关操控舒适性的目的。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于信息化高等教育评价指标体系的探索

针对高等教育信息化评价指标体系不够全面和完善,缺乏统一等问题,结合我国高校教育信息化的特点与现状,借鉴国内外高校信息化发展过程中的成果,运用多学科理论构建高等教育信息化评价体系。     

P2P网络中的局域搜索免疫

针对P2P网络的特性,本文提出了一种局域搜索免疫。实验使用SIS病毒传播模型征BA无标度网络和实际网络中测试了局域搜索免疫策略,结果表明与其它免疫策略相比,该策略可以通过免疫相等或较少的节点来消灭病毒。     

大庆市开发利用浅层地下水探讨

黑龙江省大庆市与河北省衡水市同属半湿润半干旱气候,有许多类似的自然与社会条件,地下浅含水层皆为洪积湖积形成,多细砂与沙泥互层,开采条件较差,浅层地下水得不到开发利用,而长期超采深层承压地下水,目前已出现地下水埋深50m左右深层地下水漏斗。     

长江之旱

罕见的干旱5月21日至23日早晨,长江中下游地区落下了久违的雨水。尽管这一轮降雨对改善土壤墒情有一定作用,但水库、湖泊的蓄水量仍没有明显增加。根据国家气象局的监测,今年1月1日至5月23日,长江中下游大部降水量较常年同期偏少三至八成,安徽、江苏、湖北、湖南、江西、浙江、上海平均降水量为1954年以来同期最少。长江中下游区域的干旱仍在继续。这场干旱从今年初开始,已经持续