轮式工程机械轮边减速器优化模型与方法

论述了重构轮式工程机械轮边减速器优化设计数学模型的必要性,给出了精确化的目标函数,全面化和准确化的设计变量、基于并行设计的约束条件;介绍了对优化解适用性评价的方法和手段。巧妙地解决了优化解中离散变量的圆整问题,提供了基于MATLAB的求解反渐开线函数的M文件。     

差分扩频技术在移动水声通信中的应用

提出了基于差分相干解调法的DS/BDPSK水声通信技术,在接收端采用差分相干解调的方法,解决了在水声通信中载波估计较难的问题,可克服传输过程中由于载波漂移产生的频率和相位误差.通过计算机仿真研究、湖试试验,验证了该系统在复杂的水声信道中具有较强的抗多径能力、抗多普勒能力,能实现低误码率通信,具有较好的有效性和鲁棒性.     

关于“军队院校教学工作评价管理系统”的质量控制

结合"军队院校教学工作评价管理系统"开发,从质量控制的角度出发,在指标体系构建、评价项目设置、评价数据提取、评价时限要求四个方面采取了一些控制措施,针对每一方面的特点和实际需要,就具体做法进行了介绍。     

清洁镀铬用紫色硫酸铬

紫色硫酸铬是一种新型清洁镀铬（Cr^3 镀铬）的原料，在镀铬中显示了优良的性能，特别是镀液无需预电解处理亦能得到满意镀层这一实验结论，使清洁镀铬工艺实现工业生产又向前迈进了一步，介绍了它的制法，技术要求，物相分析及使用效果。     

一种基于TL494芯片的电动车电机控制器

他励直流电动机驱动系统结构简单、性能可靠、成本低,适合在小型电动车上运行,有效的降低了电动汽车的价格,有利于电动汽车的普及。本文在分析电动车用他励直流电机工作原理的基础上,论述电机驱动系统的整体方案,并设计3KW/36V他励有刷直流电机控制器。该控制器主要通过TL494控制,包括36V铅酸蓄电池欠压保护,控制器的过热保护等功能。经实验证实该控制器达到设计指标,工作稳定可靠,满足电动车的各种运行情况,保护功能完善并具有能量回馈等功能。     

悬挂式重力补偿系统精密跟踪方法

介绍了一种用于研究空间机器人微重力条件下的工作特性的悬挂系统——悬挂式重力补偿系统,并给出了悬挂模块的动力学模型.通过数值求解与仿真,运用非线性规化求出了一定条件下的最优控制参数;用正交试验寻优、基于时间最优控制的试凑法证明了优化模型的解正确性.该研究为空间机器人地面试验系统模拟微重力环境下精密跟踪运动提供了最优控制方法.     

网络融合边界的电信DoS攻击检测*

为了检测网络融合边界的电信拒绝服务攻击,首先针对攻击的类型分别提出了基于呼叫统计或流量信号分析的检测方法,并采用分步骤的策略设计了检测系统,将两种检测算法分别应用于粗检测步骤,再通过精检测步骤确认攻击并找出攻击源.模拟实验结果表明,该方案能够有效地检测出典型的攻击,并能够实时在线检测,具有良好的实用价值,为应对网络融合所带来的新安全问题提供了一种解决方案.     

托管C++在SQL Server 2008 R2平台下的销售管理系统开发

针对沿海批发商品到全国各省会进行小量批发和零售的商户而言,统计货物每月每年销售情况、利润利率以指导进货的种类、数量和进货月份非常重要。设计一款基于SQL Server 2008R2数据库和VS2010平台下的托管C++编码的枕套经营管理软件。在满足以上需求的情况下,替代现有的记账方式,通过简单的操作选取参数结合软件内部提供的SQL查询语句或者向数据库请求执行的存储过程以提供丰富的查询功能,并把结果导出到Excel表格进行更直观的观察,该软件经过一年半的调试和使用之后显示出了对进货商和批发商双方良好的进货、销售指导作用。     

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

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