冗余方程对基于Minisat的代数攻击影响

分析基于Minisat软件的代数攻击方法,发现由该代数攻击方法对某些密码算法所建立的方程组中存在冗余方程,研究去除所有冗余方程的预处理方法,基于该方法提出先去除冗余方程,再利用Minisat软件求解无冗余方程组的代数攻击方法。实验结果表明,对CTC算法,新的攻击方法的攻击时间平均缩短了1/2,冗余方程的存在降低了基于Minisat软件的代数攻击的效率。     

弧面凸轮分度机构设计及建模方法研究

利用D-H坐标系建立弧面凸轮的轮廓方程和共轭接触线方程。充分利用球形滚子的几何特征,先绘制中心轨迹线,然后通过Pro/E软件建立弧面凸轮的三维实体模型,从而为实现弧面凸轮的数控加工、该机构的动力学分析和运动仿真等奠定了基础。     

分数阶非线性方程精确解的新方法

将分数阶复变换方法和[(G/G)]方法相结合得到了一种辅助方程方法,用来求解分数阶非线性微分方程。利用该方法并借助于软件Mathematica的符号计算功能求解了分数阶Calogero KDV方程,得到了该方程新的精确解。     

同伦扰动法求解分数阶非线性扩散方程近似解

将Caputo分数阶微分算子引入到带有初值条件的扩散方程中,建立了时空分数阶方程。利用同伦扰动法并借助于Mathematica软件的符号计算功能,求解了分数阶非线性扩散方程的近似解,整数阶方程的结果作为特例被包含。     

航电处理机相关性建模与故障方程生成方法

航电产品的相关性建模方法为验证故障检测/隔离能力、提高产品的测试性提供了实用方法,由相关性模型生成的故障方程能够有效地进行故障诊断.针对工程实际需求,介绍了一阶相关性模型的数据获取及模型建立方法.利用测试性建模软件建立了某型航电处理机的一阶相关性模型,并获得了相应的测试性参数及系统D矩阵.同时,探讨了由一阶相关性模型生成系统故障方程的方法,包括D矩阵压缩方法和故障方程逻辑合成两个步骤.     

一个机器人动力学高效建模软件

本文介绍了一个机器人动力学高效建模软件的设计方法，理论基础及其软件性能。使用这种软件技术能迅速地建立机器人动力学方程，并且所得方程已经得到充分化简，方程的计算性能达到实时控制之水平。     

CAD/CAM 外部数据库系统的研究与应用

CAD/CAM 软件的二次开发越来越受人们的重视,而建立自己的数据库与 CAD/CAM 软件集成是重中之重。本 文在著名的 CAD/CAM 软件 PRO/E 的基础上,结合 VC.NET,用 ADO 技术对外部数据库的连接方法进行了研究,并根 据实际需求建立了一套属于自己的刀具数据库系统。     

基于Adams的伞-弹系统动态特性仿真

在末敏弹系统稳定优化设计问题的研究中,伞-弹系统稳态扫描阶段对作战效能的影响至关重要.针对系统复杂的动力学特性,主要研究了此阶段动态特性,采用拉格朗日方程方法建立了伞-弹系统的7自由度多刚体体动力学模型,利用PRO/E软件建立伞弹系统几何模型,然后导入Adams软件建立动力学模型,并对其动态特性进行了动力学仿真,分析了伞弹系统稳态扫描阶段的弹道特性,得到了伞弹系统开伞后的运动规律和敏感器扫描的规律,为末敏弹总体优化设计提供一定的理论依据.     

基于Saber的异步电机无速度传感器调速系统研究

异步电机无速度传感器技术克服了安装速度传感器带来的诸多不便与缺点,降低了成本,具有广阔的应用前景.本文着重研究电机方程直接计算法,介绍利用电机方程推导转子速度的方法.并使用saber软件建立异步电机无速传感器调速系统仿真模型.以此为基础,对比估算值与实际值的差异,验证电机方程直接计算法的可行性.     

一类分数阶非线性振子方程的特性研究

将分数阶微分算子引入到黏弹性介质中的阻尼振动中建立分数阶非线性振动方程。利用Adomian分解方法借助Mathematica软件的符号计算功能求解了该类分数阶阻尼振动方程的近似解,研究了振子运动与方程中分数阶导数的关系。     

柔性悬臂梁非线性非平面运动的多脉冲轨道分析

首先建立了柔性悬臂梁非线性非平面运动的偏微分方程;然后运用Galerkin和多尺度方法得到平均方程．并利用规范形理论进一步将方程化简;最后用能量相位法求出多脉冲跳跃的能量函数序列．Dynamics软件数值计算表明：在系统中确实存在着由多脉冲跳跃而导致的Smale马蹄型混沌．     

基于Adams与Matlab的四旋翼飞行器控制仿真

为了避免推导四旋翼飞行器动力学方程的繁琐过程,提高其机械系统与控制系统的设计效率,在三维绘图软件Solidworks中建立四旋翼飞行器的实体模型,然后通过动力学仿真软件Adams的接口模块Adams/control与Matlab进行数据交换,利用Matlab/Simulink搭建了四旋翼飞行器控制系统的仿真平台,最终实现基于Matlab与Adams的四旋翼飞行器的联合动态仿真。同时验证了该系统具有良好的响应特性与跟踪特性,体现了Adams与Matlab联合仿真的可行性与优越性。     

鱼雷6自由度空间运动的矢量化模型与仿真

鱼雷是一个复杂的强耦合、非线性对象。以往的鱼雷运动方程由12个微分方程和3个几何方程组成,不便于在仿真中应用。该文根据动量定理和动量矩定理及运动学方程建立了鱼雷的矢量化6自由度空间运动模型,为仿真计算提供了方便。在此基础上利用MATLAB仿真软件建立了计算机仿真模型,其特点是按鱼雷运动方程的不同部分分别设计独立的模块,可读性高并易于修改。将该仿真模型与控制系统模型组成闭环仿真系统,结果表明该鱼雷仿真模型准确、高效,能够为鱼雷控制系统的设计、分析提供了良好的仿真条件。     

基于时钟漂移率的时钟同步客户端系统

采用客户/服务器时钟同步工作模式获得来自于参考时钟服务器的时间戳信息,并建立了连续时间戳通信模型以获得更准确的时钟运行精度差。在此基础上,利用线性拟合方法建立时钟漂移率数学模型,以获得本地节点的时钟漂移率。最后详细分析了传统时钟调整策略,并针对其缺陷自主开发了基于时钟漂移率的时钟同步客户端软件。该软件不仅可以动态显示网络延迟、偏差趋势曲线和方程,而且可以采用拟合偏差策略进行时间调整,有效提高了客户端时钟同步的稳定性及时钟的运行精度。     

应用有限元研究稀土电解槽温度场

运用傅立叶方程建立了氟化体系稀土电解槽的温度场的有限元模型,采用VC6.0编程制作了相应的软件,并对导热系数、密度、比热等相关参数进行了运行计算研究。结果表明,建立的数学模型和编制的软件对稳态温度场的数学模拟计算结果与实际测试的结果基本吻合。可为新一代稀土电解槽体的开发设计提供参考。     

阻抗控制在挖掘机器人中的应用与研究

针对挖掘机器人工作装置的力/位控制这一热点课题,本文建立了挖掘机器人工作装置的运动学方程和动力学方程。在此基础上,推导出力约束空间的阻抗控制律,并把阻抗控制用于挖掘机器人工作装置的力/位控制。     

平行多连杆样品抓取机构的动力学仿真研究

样品抓取与转移过程是深空探测的关键环节及必须的技术手段.本文研究了平行多连杆样品抓取机构捕获样品采集器并将其转移到指定位置的动力学过程,建立了动力学方程,并通过adams软件建立了计算模型,对整个动力学过程进行了详细的分析,对后续工作的研究和设计提供了支撑.     

高速列车通过声屏障的流固耦合振动响应分析

基于三维、非定常、不可压缩Navier-Stokes方程以及k-ε两方程湍流模型,利用计算流体软件FLUENT,对列车通过时路堤声屏障气动力特性进行数值仿真,研究了声屏障上脉动力的变化.建立了高速列车通过路堤声屏障的数值计算模型,采用FLUENT中的滑移网格技术,对声屏障时产生的气动力进行数值模拟,列车速度分别为200km/h、250km/h、300km/h、350km/h.通过计算得到不同列车速度下声屏障上气动力的大小和变化情况,分析了气动力沿声屏障垂向和声屏障纵向的变化规律,并拟合了声屏障压力波幅值与列车速度的关系式.在ANSYS Workbench软件中建立了声屏障的结构计算模型,将声屏障上的气动力作为外部荷载加到声屏障上,对其进行了模态分析和瞬态动力学分析.     

微型直接甲醇燃料电池的三维数值模拟研究

运用计算流体力学软件COMSOLTM建立了微型直接甲醇燃料电池(μDMFC)三维数值模型,并用MEMS工艺制作电池进行实验验证.模型耦合了连续性方程、电化学反应方程和动量方程等.通过对模型求解,输出了平均电流密度和电压等参数.分析了扩散层和催化层结构参数对电池性能的影响,结果表明:过厚的催化层对电池性能提升并无太大帮助,在增大电催化剂Pt担量前提下应尽量减小催化层厚度.     

基于虚拟样机技术的动力换档离合器动力学仿真

该文针对目前自动变速（AT）车辆普遍采用的动力换档离合器,应用大型CAD软件Pro/E和机械系统动力学仿真分析软件ADAMS建立了其虚拟样机模型.并且对离合器在工作过程中的受力状况进行了较详细地描述,得出了其动力学方程.通过对其接合与分离等工况进行动力学分析,最后得到了与实际情况相吻合的仿真结果,并总结出了一套动力换档离合器在ADAMS中设计的简化方法.此外,这个离合器模型还可以作为一个子系统,在今后用于整体动力传动虚拟样机系统的分析与设计.