仿真验证

摘要： 文中基于自主设计研发的半实物虚拟仿真平台,即无线通信系统综合实验平台,开展DBPSK二次开发实验。DBPSK调制采用键控法产生调制信号,解调采用差分相干解调恢复原始信号。二次开发时,首先建立调制解调的系统模型,验证所设计系统的功能;然后根据所使用的模块及其之间的连接关系,利用硬件描述语言编写代码,仿真验证后综合代码,加载到无线通信系统综合实验平台上进行实际测试,调用系统所带的虚拟示波器观察调制和解调过程中的实际电信号波形。结果表明,基于半实物虚拟仿真的DBPSK二次开发实验功能正确,过程中的所有数据与真实信号一致。

摘要： 核电厂应急柴油发电机电子调速器在研发过程中,须对电子调速器功能进行仿真验证,以节省开发时间成本,同时可降低调速器样机与柴油发电机进行配机联调时出现重大技术问题的风险。以国内核电主流应急柴油发电机12PC2-6B为目标机型,建立了柴油发电机组的仿真模型。柴油发电机仿真模型包含气缸、进排气阀门、进排气管、涡轮增压器及曲轴等关键的核心部件,可以全面而具体的反映发动机的瞬态性能。基于调速器样机的实际控制算法,建立了电子调速器的仿真模型。在配机试验之前,将电子调速器仿真模型与柴油发电机组仿真模型进行仿真联调,模拟在起动、加载、卸载、超速保护等工况下的柴油发电机组的转速响应,对电子调速器控制算法进行了仿真验证。

摘要： 借助SolidWorks完善的二次开发功能,结合六自由度机械手臂的运动学逆解求解的理论研究,开发一种适用于大多数六自由度的机械手臂的逆解求解和运动仿真软件。首先运用基于三轴相交于一点的Pieper's solution解法来对机械手臂的运动学逆解进行求解,对于求解需要的矩阵则通过SolidWorks API中的矩阵相关函数来获取、计算;然后将求得的结果赋值给机械手臂模型中对应的角度来完成验证,对于一条连续的路径,则通过对路径上的每一点的计算、赋值,来验证规划所求得的路径的合理性。

摘要： 针对高速多体船在航行中纵摇和升沉运动幅度过大,以及减摇附体有严格的输入约束问题,提出一种有限时间观测器和单步预测控制相结合的纵向减摇方法.首先,建立由T型水翼和压浪板作为减摇附体的高速多体船控制模型,分析升沉运动和纵摇运动的耦合性,将控制模型分解为降维的单入单出模型和耦合量2项.其次,设计有限时间扩张观测器在线快速估计纵摇和升沉运动的时变耦合项,实时前馈补偿.在此基础上,针对补偿后的纵摇及升沉的运动模型,提出局部单步预测控制以提高系统的减摇性能,保证减摇附体满足约束.最后,将反馈预测控制量和补偿耦合量进行综合,通过减摇附体制分配矩阵得到T型水翼和压浪板的攻角.通过仿真验证该算法的有效性,结果表明升沉减少40%~50%,纵摇减少50%~65%.

摘要： 为研究某型双轴涡扇航空发动机的调速问题,文中利用航空发动机自身的无源特性和燃油输入与转速输出的稳态对应关系设计无超调调速控制器,在不利用发动机解析模型的情况下,完成控制器的设计和系统分析。鉴于在设定值跟踪过程中,积分的作用是根据历史误差最终积累出目标转速对应的稳态油量,文中采用发动机的输入油量与转速之间的稳态对应关系取代积分作用与比例作用共同完成调速。加速过程中油量超过目标稳态油的幅度由比例控制强度决定,调整比例控制系数即可调整系统跟踪速度。由于转速误差趋于0的过程中供油量同步回归目标供油量,因此能够避免积分滞后作用的弊端,从而避免速度超调。在高压转子动态足够快且只考虑低压转子一阶动态的情况下,通过仿真对无超调的调速效果进行验证。结果表明,文中控制结构用于双轴涡扇发动机超调极小,极小的超调是由被忽略的高压转子动态造成的。为减小高压转子动态的影响并进一步改善调速效果,文中提出一种基于航空发动机静态特性的串级调速结构。实验结果表明,串级结构能够有效消除超调。

摘要： 以那智工业机器人为研究对象,基于工业仿真软件,利用C#在Visual Studio平台上开发了一个机器人在线控制与运动仿真系统。针对市面上工业软件的离线编程以及示教编程的局限性,通过TCP/IP协议以及Socket通信实现上位机对机器人的在线控制,通过工业仿真软件以及编程语言,利用RRT算法实现了机器人的智能路径规划。

摘要： 针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。

摘要： 为了实现复杂工况下并联混合动力汽车发动机和电机转矩的最优分配,提出一种基于粒子群算法优化的模糊转矩分配策略。首先以整车需求转矩和蓄电池组SOC为输入,发动机输出转矩为输出,设计了转矩分配模糊控制器;其次针对传统模糊转矩分配策略无法实现发动机和电机转矩最优分配的问题,以整个循环工况总的燃油消耗量、蓄电池组SOC变化量和尾气排放量作为约束条件,采用粒子群算法优化模糊控制器的隶属度函数参数和模糊控制规则权值,设计了粒子群优化模糊转矩分配策略;最后利用ADVISOR软件在多种循环工况下仿真验证。仿真结果对比分析表明:粒子群算法优化后的模糊转矩分配策略在保证蓄电池组SOC稳定的前提下,有效地提高了发动机平均工作效率,减少了并联混合动力汽车的燃油消耗和尾气排放。

摘要： 针对在实际泊车过程中,车辆初始停车状态总会与停车位有一个较小偏角的问题,提出了一种多段式平行车位泊车路径规划方法.该算法可以在实际泊车过程中存在较小初始泊车角度时进行平行泊车,并确保无碰撞且泊车入位.首先,依据阿克曼转向原理,建立了车辆的运动学模型;其次,分析了自动泊车过程中大概率会发生的碰撞问题,确定了最小安全车位大小,并划分了平行车位的泊车起始区域;最后,以无碰撞、泊车入位为目标求解多段式泊车路径.在MATLAB平台上对该平行泊车路径进行仿真验证,仿真结果表明,采用这种方法,在车辆初始偏角大于等于-30°且小于等于30°的情况下,所规划的多段式泊车路径均能使车辆准确无误地停到目标车位.

摘要： 针对实际系统中连续因素导致的故障传播问题,文中提出一种基于系统变量运行数据,将经验模式分解算法和能量因子相结合的故障传播概率评估方法。该方法首先采集系统不同位置、组件的输入和输出变量数据;其次,应用经验模式分解算法对系统变量数据进行特征分解,得到分解残量。该残量反映信号中去除任务调整、噪声等因素对数据影响后的无波动趋势量,通过这种方式可消除系统变量正常波动对于故障传播评估的影响。分解后的无波动趋势量隐含了系统组件受连续因素影响而形成的趋势性变化,因此采用能量因子进行表征,并根据正常工况及异常工况下的变量能量变化率计算故障传播概率,实现故障传播的概率评估。最后,通过仿真验证所提方法的可行性和有效性。

摘要： EHA系统将电动机、液压泵、油箱、液压阀组、作动器、检测元件和控制器集成化、小型化,使得该新型集成一体化作动系统体积小并质轻高效.本文从整个EHA系统的结构组成和回路设计,利用Matlab进行仿真实验,重点分析系统静态和动态特性分析各关键部件对系统性能的影响.通过上述仿真验证分析,电液作动器可提高飞机制动系统的性能,尤其是可充分发挥电子与液压两方面的优点,能产生较大的制动力矩,显著改善刹车力矩的控制精度和防滑性能.

摘要： 为确保月面巡视器遥操作控制安全性,在控制实施前需要对规划结果进行快速实时仿真验证.提出了数值仿真与基于三维场景的人在回路验证相结合的遥操作实时仿真验证方法,给出了方法流程及验证指标.为实现自动化数值仿真验证,提出了从规划结果到仿真序列的自动映射方法及仿真调度算法.针对月面巡视器移动、机构运动、就位探测和能耗各方面的验证需求,给出了仿真评估模型.应用结果表明,该方法可快速有效地对巡视器遥操作规划结果进行实时仿真验证.

摘要： 本文介绍了利用Rhapsody和STK(Satellite Tool Kit)在场景建模和仿真验证中的实现原理.针对Rhapsody和STK各自的特点,将STK在场景建模方面的优势和Rhapsody在系统行为建模方面的优势进行结合,利用STK动画演示作为外部数据激励,用以驱动Rhapsody模型的动态可执行视图,实现了两种模型的互连、互通、互操作,通过两种模型的动态连接互相验证,有效提高了仿真模型的合理性和准确性.

摘要： 设计了一款0.6英寸分辨率为1024×768的彩色硅基OLED驱动芯片.芯片采用24bit RGB数字视频信号接口,在接收到24bit RGB信号后,对视频信号进行GAMMA校正,并保持3路各10bit RGB信号输出.DAC模块将这数字信号转成模拟信号,内置计数器和数字比较器用来完成视频信号的传输.亚像素单元大小为12μm×4μm,采用了改进的电压型驱动方式,能够在较宽的OLED公共阴极电压范围内维持很大的电流比率.芯片采用0.18μm1P6M混合信号工艺完成了电路设计和仿真验证,仿真结果表明,芯片在65M时钟频率下能够实现256级灰度,输出OLED像素电流范围为4pA～1.05nA,可以满足高分辨率OLED阵列高亮度和高对比度的要求.

摘要： "互联网+"时代实现了乘客与出租车司机之间的信息互通.本文通过建立合理的数学模型,对出租车资源配置问题进行了分析.首先,通过确立里程利用率和供求比率两个指标,建立了供求匹配模型.从供给角度和需求角度出发求得里程利用率和供求比率的理想值,并将这两个指标抽象为二维空间中的坐标,通过实际点与平衡点之间的距离来判断综合不匹配程度.其次,通过确定意愿半径和打车软件使用人数比例这两个指标,建立了缓解程度判断模型.对未使用打车软件及使用打车软件两种情况进行了对比分析,分别得出两种情况下的人均出租车占有率,以此判断补贴方案对于"打车难"的缓解程度.最后,综合考虑了空间和时间因素,制定了分区域动态实时补贴方案.将西安市划分为9个区域,得出分区域动态实时补贴方案,结果显示补偿金额在2至10元之间,高峰时段补贴金额要高于常规时段,人多车少区域的补贴金额要高于人少车多区域,并通过计算机仿真验证了方案合理性.

摘要： 前桥是汽车关键零部件之一,其刚度、强度和疲劳耐久性能对汽车行驶安全有重要作用.本文以某型汽车前桥为研究对象,运用OptiStruct和nCode分析软件联合仿真,对该前桥进行了模态、刚度、强度和疲劳寿命分析,并将仿真分析结果与台架试验(刚度、疲劳)结果进行了对比.分析结果表明:模态、刚度、强度和疲劳寿命仿真分析结果均满足设计要求,同时刚度和疲劳寿命仿真结果与台架试验结果数值吻合较好,仿真误差可接受.此分析方法对汽车前桥的结构设计具有实际的工程价值,对企业缩短开发时间,降低开发成本具有重要的意义.

摘要： 前桥是汽车关键零部件之一,其刚度、强度和疲劳耐久性能对汽车行驶安全有重要作用.本文以某型汽车前桥为研究对象,运用OptiStruct和nCode分析软件联合仿真,对该前桥进行了模态、刚度、强度和疲劳寿命分析,并将仿真分析结果与台架试验(刚度、疲劳)结果进行了对比.分析结果表明:模态、刚度、强度和疲劳寿命仿真分析结果均满足设计要求,同时刚度和疲劳寿命仿真结果与台架试验结果数值吻合较好,仿真误差可接受.此分析方法对汽车前桥的结构设计具有实际的工程价值,对企业缩短开发时间,降低开发成本具有重要的意义.

摘要： 前桥是汽车关键零部件之一,其刚度、强度和疲劳耐久性能对汽车行驶安全有重要作用.本文以某型汽车前桥为研究对象,运用OptiStruct和nCode分析软件联合仿真,对该前桥进行了模态、刚度、强度和疲劳寿命分析,并将仿真分析结果与台架试验(刚度、疲劳)结果进行了对比.分析结果表明:模态、刚度、强度和疲劳寿命仿真分析结果均满足设计要求,同时刚度和疲劳寿命仿真结果与台架试验结果数值吻合较好,仿真误差可接受.此分析方法对汽车前桥的结构设计具有实际的工程价值,对企业缩短开发时间,降低开发成本具有重要的意义.

摘要： 前桥是汽车关键零部件之一,其刚度、强度和疲劳耐久性能对汽车行驶安全有重要作用.本文以某型汽车前桥为研究对象,运用OptiStruct和nCode分析软件联合仿真,对该前桥进行了模态、刚度、强度和疲劳寿命分析,并将仿真分析结果与台架试验(刚度、疲劳)结果进行了对比.分析结果表明:模态、刚度、强度和疲劳寿命仿真分析结果均满足设计要求,同时刚度和疲劳寿命仿真结果与台架试验结果数值吻合较好,仿真误差可接受.此分析方法对汽车前桥的结构设计具有实际的工程价值,对企业缩短开发时间,降低开发成本具有重要的意义.

摘要： 随着飞机机载设备复杂度的不断提高,飞机故障率显著增加,传统的以预防维护为主的飞机故障诊断方法已不能适应需要,引入PHM故障诊断与预测技术,通过将飞机子系统状态数据在多小波分解和数据预处理,结合故障数据特征数据库和智能数据预测算法分析评估当前飞机子系统的故障状态,在提升故障处理机制的科学性上具有重要意义.

摘要： 本发明涉及一种可重用的仿真验证平台及仿真验证方法，属于FPGA产品功能仿真验证技术领域，解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件，验证组件包括参数配置模块、测试用例模块、外存储代理器、通道代理器和MPU功能模型，参数配置模块用于配置其他验证组件的参数；测试用例模块用于接收参数配置模块发送的环境参数，并统一调度外存储代理器、通道代理器、MPU功能模型的激励序列；外存储代理器用于存储DUT内部的寄存器配置数据；通道代理器用于模拟DUT的外部通道；MPU功能模型用于根据测试用例模型的测试需求与DUT进行交互。本发明设计的仿真验证平台具有可重用、易扩展等特点。

摘要： 本发明实施例公开了一种计时器的仿真验证装置及仿真验证方法。其中，该计时器的仿真验证装置包括：寄存器配置组件和断言验证组件；寄存器配置组件用于生成配置计时器模块的第一寄存器和/或第二寄存器的配置数据；断言验证组件包括寄存器检查模块，寄存器检查模块包括与第一寄存器和/或第二寄存器一一对应的寄存器验证单元，任一寄存器验证单元用于对比寄存器数据与对应的第一寄存器或第二寄存器的数据，通过对比结果，检查第一寄存器或第二寄存器配置的正确性。本发明实施例的技术方案可实现对计时器模块内部中间环节产生的数据的正确性进行检查。

摘要： 本发明实施例提供对随机存取存储器RAM进行仿真验证的方法和仿真验证系统，用以解决现有技术中存在对RAM的仿真验证的效率较低的技术问题。其中，所述仿真验证系统包括验证模块、至少两个接口模块和至少两种不同类型的被验证RAM模块，方法包括所述验证模块获得对应第一序列号的第一激励信号；所述验证模块基于所述第一激励信号从所述至少两个接口模块中确定出与所述第一序列号对应的第一接口模块；所述验证模块通过所述第一接口模块与所述被验证RAM模块建立连接，并向所述第一序列号对应的第一类型被验证RAM模块中的至少一个第一类型RAM程序模块发送所述第一激励信号，以对所述至少一个第一类型RAM程序模块进行验证。

摘要： 本发明实施例公开了一种SOC仿真验证及SOC的仿真验证设备验证环境搭建方法，其中，SOC仿真验证方法包括：装载引导启动程序；其中，引导启动程序移植了仿真验证设备中SOC的最小系统设备模块的驱动；装载操作系统；其中，操作系统中移植了仿真验证设备中SOC的最小系统设备模块的驱动；当通过引导启动程序启动操作系统时，通过操作系统远程连接网络文件系统；当接收到对除最小系统设备模块之外的SOC其他设备模块的至少一个验证指令时，从网络文件系统中加载与验证指令匹配的验证程序文件，并运行验证程序文件以对SOC其他设备模块的验证测试，可以缩短验证程序文件加载的时间，可以支持多用户并行验证，提高验证测试效率，可以支持系统级的组合验证。

摘要： 本发明实施例提供一种仿真验证平台构建方法、仿真验证方法、装置及设备，所述仿真验证平台构建方法包括：确定多个待测子系统之间的冲突信息；将所述多个待测子系统中，与所述冲突信息对应的模块分别编译，并配置至不同的编译库，以使同一待测子系统中的模块对应配置至同一编译库；构建联合仿真环境，所述联合仿真环境包括顶层仿真环境，以及，包含在所述顶层仿真环境下的多个实例子系统，所述多个实例子系统基于所述多个待测子系统实例化得到；其中，对应一待测子系统的编译库仅由与该待测子系统对应的实例子系统调用，从而可以避免多个待测子系统进行仿真验证时出现错误调用，实现对多个子系统芯片进行系统级的联合验证。

摘要： 本公开实施例涉及仿真技术领域，特别涉及一种仿真验证系统以及仿真验证方法，仿真验证系统包括：处理器，与第一内存颗粒的接口连接，被配置为：经由接口与第一内存颗粒进行信号交互，第一内存颗粒为成品；采集模块，被配置为：在信号交互期间，采集接口传输的至少一个命令序列，并基于命令序列生成与命令序列相对应的激励数据；仿真模块，仿真模块用于对待验证内存设计进行仿真运算，且仿真模块还用于接收激励数据，以对仿真运算进行仿真验证。本公开实施例有利于提高对待验证内存设计进行仿真验证的真实性。

摘要： 本申请涉及汽车空调除霜性能的仿真验证方法及仿真验证系统，包括如下步骤：建立仿真模型，进行网格划分；对仿真模型进行稳态流场仿真计算，获取前风挡玻璃A区、A’区和B区各自的风速以及该风速所占面积百分比；判断在A区中，风速大于第一风速的区域面积是否占A区面积的第一比例以上，在A’区中，风速大于第二风速的区域面积是否占A’区面积的第二比例以上，在B区中，风速大于第三风速的区域面积是否占B区面积的第三比例以上，若均为是，则对仿真模型进行带温度场的瞬态流场除霜仿真验证，以确认是否满足法规要求；否则，重新建立仿真模型。本申请能够解决相关技术中存在仿真验证及优化设计费时费力、空调系统设计开发周期较长的问题。

摘要： 本发明涉及一种仿真验证平台和仿真验证方法，所述仿真验证平台包括：姿轨控仿真计算机，用于进行姿轨控控制算法的运行；仿真控制台，用于对姿轨控计算机的故障进行模拟和测试；协同仿真控制软件，用于控制所述姿轨控仿真计算机的时序；显示设备，用于显示仿真数据和/或仿真结果。本发明的仿真验证平台基于模拟ERC32/ADA的姿轨控计算机仿真运行环境来实现模拟切机故障维护的快速仿真，该平台能够验证姿轨控计算机软件的故障诊断，模拟EDAC（错误检测与纠正）故障与中断，并提供姿轨控计算机双机切换以及数据备份的测试环境，实现姿轨控计算机切机故障维护的快速仿真验证。

摘要： 本申请实施例提供了一种用于导航算法的仿真验证方法和仿真验证平台，该方法的步骤包括：对预先规划的轨迹过程进行求解，获得标准飞行轨迹数据和惯性器件输出参数；根据卫星在轨位置和速度，筛选可见可用的GPS卫星，并确定最优GPS导航星以及GPS数据信息；所述GPS数据信息包括GPS伪距、伪距率、位置和速度；利用内置算法库的导航结果作为参考，以所述惯性器件参数和GPS数据信息作为预先编写的导航算法的输入，将算法解算的航迹结果和所述标准飞行轨迹数据进行比对和误差分析，获得验证结果。本申请所述技术方案能够为导航算法的研究者提供一个验证平台，为分析与优化导航算法提供便捷方式。

摘要： 本发明涉及一种可重用的仿真验证平台及仿真验证方法，属于FPGA产品功能仿真验证技术领域，解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件，验证组件包括参数配置模块、测试用例模块、外存储代理器、通道代理器和MPU功能模型，参数配置模块用于配置其他验证组件的参数；测试用例模块用于接收参数配置模块发送的环境参数，并统一调度外存储代理器、通道代理器、MPU功能模型的激励序列；外存储代理器用于存储DUT内部的寄存器配置数据；通道代理器用于模拟DUT的外部通道；MPU功能模型用于根据测试用例模型的测试需求与DUT进行交互。本发明设计的仿真验证平台具有可重用、易扩展等特点。