一种改进的K值最近邻自动分类方法

K值最近邻法是常用的一种自动分类算法。当待分类文本与样本集中多个决策样本的距离相等的时候,固定的K值取法不能充分利用样本集,给分类结果带来一定的随机性,影响了自动分类的准确性。本文通过对K值最近邻算法的原理进行深入分析,提出了一种K值动态选取的方案,使得K值最近邻算法的分类准确性有了显著的提高。     

安全监测与监控系统在锦绣川水库中的应用

介绍了济南市锦绣川水库安全监测和监控系统的功能,阐述了实时监测水库各项运行数据,为水库供水、防汛提供科学管理手段的意义。     

树脂去除压裂返排液中残余硼的实验研究

硼交联剂在压裂液体系中具有重要作用,残余硼对压裂返排液的再次回用具有强制约性,会直接影响配液性能。针对压裂返排液除硼这一技术难题,以硼去除率为考察指标,采用硼螯合树脂从吸附时间、温度、pH值、转速、树脂用量、树脂再生次数等方面考察树脂对硼的吸附效果,并分析离子强度对吸附性能的影响,确定吸附动力学模型和吸附机理。结果表明:最佳树脂除硼工艺为吸附时间1 h、温度25℃、pH值9、转速200 r/min、树脂用量2.5 g,此时硼的平均去除率为94.85%,满足重新配液要求;不同二价离子强度对树脂吸附的影响作用有限;树脂吸附过程符合准二级动力学模型和Freundlich等温吸附模型,以单分子层化学吸附为主;分别采用清水和处理后的压裂返排液配置压裂液,两者的挑挂性能无差别。此研究结果可为提高压裂返排液的回用效果提供技术支撑。     

3t／h水玻璃砂旧砂再生生产线

３ｔ／ｈ水玻璃砂旧砂再生生产线李伟（铜陵有色金属公司机械总厂安徽铜陵市：２４４０２２）主题词：水玻璃砂，旧砂再生有机酯水玻璃自硬砂（简称ＥＣＳ法）应用至今已有２０多年的历史了，因其具有独特的优点，至今仍被广泛采用。该工艺的水玻璃加入量较其它水玻璃砂加...     

基于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协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

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

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