模拟验证

摘要： 对一种铝基合金材料进行了水解实验研究,并进行了多组不同温度和铝水比例的正交实验,实验结果表明铝水比例在1∶30的条件下,反应温度60°C效果最佳。通过多组实验数据计算得出反应动力学参数,其中活化能E a为38.452 kJ/mol,指前因子A为1.78×10^(8),并借助化工过程模拟软件Aspen Plus对铝/水制氢工艺进行模拟验证,结果可知该模拟所得模型能较好地描述铝基合金水解反应历程。

摘要： 基于Yan Meng风场模型,使用中国近海浮标观测资料,对影响风场模拟的台风最大风速半径Rmax、压力分布常数B、粗糙度z03个参数进行估算试验,结果表明:台风中心最大风速V_(max)和台风所处纬度的组合方案对估算Rmax更合理;海面(浮标站)在z0=0.005 m,B=1.0时风速模拟效果较好。选取登陆闽北浙江、北上东海、西进南海、穿台湾岛进入台湾海峡的共19个台风过程进行模拟效果检验发现:当中央气象台发布的V_(max)<40 m·s^(-1)时,B=1.0,z0=0.005 m模拟的V_(max)接近发布的V_(max),非最强风速区的模拟风速与浮标站观测风速拟合较好,发布的V_(max)≥40 m·s^(-1)时,B=1.4,z0=0.005 m模拟的V_(max)接近发布的V_(max),非最强风速区的模拟风速在B=1.0,z0=0.005 m时更合理。基于该风场模型和参数估算方案,可重建西北太平洋历史台风风场。

摘要： 介绍了昆山某精密机床加工车间增设空调系统改造设计,提出了非分层空调的气流组织方案。采用CFD模拟软件对该改造设计进行了模拟。改造后对厂房内的温度场进行了现场测试,实测数据验证了CFD模拟数据的有效性,同时2种数据均表明厂房内空调区域温度能达到设计要求。

摘要： 伴随城市群发展,各区域以核心城市为中心,不断联合周边城市共同承担区域科技创新风险,从而实现科技系统稳定可持续发展目标。结合几何推导对城市群科技脆弱性波动规律进行分析,运用VHSD-EM法计算城市群及群内城市科技脆弱性,同时,利用ArcGIS10.2进行空间趋势面分析以及分级后的空间格局演化分析,进而对城市群科技风险联合防控需求进行实证分析,最后运用Matlab进行波浪收敛曲线拟合。结果表明:中国城市群科技脆弱性呈波浪性收敛特征并存在联合防控门槛限制,同时,各城市群科技脆弱性收敛曲线相似性较大、模拟效果较好。

摘要： 本文介绍了基于AT89C51和Matlab的电机远程监控系统设计,该系统包括电机信号采集、状态显示、运行控制等,可实现对电机的远程监控。此外,本文还通过建立虚拟串口的方式,对方案进行了软件模拟验证。

摘要： 本文介绍了基于AT89C51和Matlab的电机远程监控系统设计,该系统包括电机信号采集、状态显示、运行控制等,可实现对电机的远程监控.此外,本文还通过建立虚拟串口的方式,对方案进行了软件模拟验证.

摘要： 驾驶员精神不集中、后视镜盲区等问题,是引发交通事故的重要原因.拟提出一种将触觉反馈设备设置在方向盘上,并使用驾驶员拇指按压接触的方式进行行车预警的方式.通过在车身周围设置单点障碍区域和多点障碍区域进行模拟验证实验,实验结果表明,参与者可以通过触感迅速估计出潜在危险的区域.在单点障碍区域中,其判断准确率为81.5％,多点障碍区域中其识别准确率为84.5％,也证明了提出的触觉预警方案对用户有较强的可接受性和作用效果.

摘要： 针对目前特种车辆装配参数优化手段少导致工艺指导性需要进一步提升的现状,以特种车辆复杂传动系统为对象,应用SimulationX软件开展建模仿真分析工作,建立了典型传动产品的系统模型,包括变速器模型、液压系统模型、控制系统模型等,在此基础上,将软件自带的故障模型添加至建立的系统模型中,基于建立的系统模型及故障模型进行传动系统可靠性分析,并针对试验过程进行了模拟仿真.通过研究表明了利用SimulationX软件构建系统模型具有可行性,通过建立系统模型进行仿真可以实现传动产品性能的预测,说明在在一定程度上可以通过虚拟试验代替物理试验进行装配关键参数的优化,这将大大的节省装配参数优化的时间.

摘要： 以山东建筑大学文苑食堂三楼为例,通过声学参数测量分析其现存声学问题,根据声环境现状和相关规范要求提出建筑声学改造方案.运用Odeon软件进行音质模拟,预测改造效果.研究结果表明,在尽可能保留现有视觉效果的前提下,改造后食堂的声环境显著改善.

摘要： 通过AVL软件中的TD及BOOST模块实现了发动机凸轮型线的设计优化、运动学和动力学计算验证,以及最终的发动机性能结果验证,展示了一种高效快捷的发动机优化设计方法,为发动机设计工作提供了有效依据.

摘要： 浮点部件是微处理器的核心部件之一,其正确性验证非常重要,然而由于逻辑的复杂性,浮点部件的验证是处理器正确性验证的一大挑战.本文设计了基于双参考模型的模拟验证和基于算法模型和工具的形式验证两种方法,其中模拟验证中,利用SoftFloat和x86浮点运算作为混合双参考模型,提高了参考模型的正确性,同时还设计了浮点加扰激励,以增强对边角情形的测试力度;形式验证用于验证浮点加减、比较和转换运算的正确性.两种方法的结合能够提高验证效率,同时能更好地保证验证的完整性.根据本文提出的方法,在某浮点部件的验证中,发现逻辑错误5个,并发现了与x86处理器浮点运算的一些细微差别,确保了芯片的成功流片.

摘要： 目的：为无菌原料药企业进行无菌验证过程提供参考。方法：根据国内外期刊文献及企业培训资料，探讨无菌原料药生产工艺的验证过程。结果与结论：总结了无菌原料药工艺模拟验证的内容和方法。包括工艺模拟验证的原则，工艺模拟验证方法，模拟介质的选择，模拟介质的评估，工艺模拟验证验收标准，结果调查与再验证，环境监测，无菌工艺验证的其他关键因素。但由于无菌工艺本身的多样性和复杂性，本文很难对其中的每个细节面面俱到，仅对无菌生产工艺验证中常见的共性问题作了初步阐述，以期能提高我国药企对无菌生产工艺验证的重视，并为其提供参考依据。

摘要： 为了充分检验某高性能DSP的CPU内核在65nm工艺下是否达到既定设计目标,对CPU内核进行了一次试流片,本文对测试芯片的设计与验证工作进行了总结.在测试芯片内设计了专门的测试逻辑,可以通过普通和ET两种方式控制CPU内核的执行.对测试芯片进行了模拟验证和FPGA仿真验证,验证工作表明测试芯片的各项功能正确.采用层次式方法完成了该测试芯片的物理设计,在IT情况下最高运行频率可达1GHz.

摘要： 本文通过理论分析与模拟验证设计和制作了一款采用双侧边光式WLED作为背光源的26"液晶电视。选用的WLED结构简单，性能优良。在实际制作中利用高效的驱动电路对WLED单元进行驱动。模拟结果表明：此结构的WLED背光源液晶电视亮度均匀性能够达到91％，色度均匀性达到85％，完全满足设计应用要求。

摘要： 某航空公司班机於某机场落地後，靠空桥旅客下机时，客舱地板发生冒烟情形，客舱组员请其余旅客尽速下机，由地面机务人员关闭辅助发电机电源後灭火，所幸机载人员均安。初步调查之事实资料显示冒烟系後货舱辅助发电机电缆线支架断落，电缆线与邻近螺栓长期摩擦，以致绝缘外皮破损产生电线短路，产生之火花引燃下方隔热毯造成货舱与客舱通风口之烟雾。本研究试图探究电缆线支架破坏的肇因，以避免类似事件再度发生。因为缺乏电缆线支架之实际图面尺寸，为找出电缆线支架断裂原因，本研究沿用逆向工程的概念，利用3D光学扫描仪器量测支架备品及断裂支架之几何轮廓，透过逆向工程软体将高密度点资料自动转换为三角网格，加以编辑修改後，建构成曲面模型；透过模型叠合，可以辅助比较研判断裂支架之变形情形、断裂位置及破坏程度，并作为有限元素分析模型的建构依据；透过巨观观察及照相、化学成份分析、金相分析、硬度试验、扫描式电子显微镜观察破断面等材料测试，以研判材料破坏机制；另一方面，利用有限元素分析，模拟各种可能的安装不良，构件缺陷以及受力条件，提供电缆线支架失效之各种可能状况与发展过程；同时本研究设计破坏试验，以模拟验证不同受力条件下电缆线支架的破坏实况。最後，透过综合破损分析观察、有限元素分析与模拟实验结果，综合研判电缆线支架断裂的肇因。

摘要： 介绍了一种开放式、易于扩展的干燥库的开发,用于研究黏土砖在箱式干燥机中的干燥行为.所提出的建模方法和相应的数学公式在建模语言Modelica中得到了实现,并以在实验室容器中进行的干燥试验的实测数据作为具体应用,进行了验证.所有关键性能和工艺都得到了充分的再现.通过将干燥库的元素与其他用户定义的库或标准库结合起来,可以轻松完成多领域模拟,例如与工厂管理或性能研究相关的优化任务.

摘要： 介绍了一种开放式、易于扩展的干燥库的开发,用于研究黏土砖在箱式干燥机中的干燥行为.所提出的建模方法和相应的数学公式在建模语言Modelica中得到了实现,并以在实验室容器中进行的干燥试验的实测数据作为具体应用,进行了验证.所有关键性能和工艺都得到了充分的再现.通过将干燥库的元素与其他用户定义的库或标准库结合起来,可以轻松完成多领域模拟,例如与工厂管理或性能研究相关的优化任务.

摘要： 介绍了一种开放式、易于扩展的干燥库的开发,用于研究黏土砖在箱式干燥机中的干燥行为.所提出的建模方法和相应的数学公式在建模语言Modelica中得到了实现,并以在实验室容器中进行的干燥试验的实测数据作为具体应用,进行了验证.所有关键性能和工艺都得到了充分的再现.通过将干燥库的元素与其他用户定义的库或标准库结合起来,可以轻松完成多领域模拟,例如与工厂管理或性能研究相关的优化任务.

摘要： 介绍了一种开放式、易于扩展的干燥库的开发,用于研究黏土砖在箱式干燥机中的干燥行为.所提出的建模方法和相应的数学公式在建模语言Modelica中得到了实现,并以在实验室容器中进行的干燥试验的实测数据作为具体应用,进行了验证.所有关键性能和工艺都得到了充分的再现.通过将干燥库的元素与其他用户定义的库或标准库结合起来,可以轻松完成多领域模拟,例如与工厂管理或性能研究相关的优化任务.

摘要： 介绍了一种开放式、易于扩展的干燥库的开发,用于研究黏土砖在箱式干燥机中的干燥行为.所提出的建模方法和相应的数学公式在建模语言Modelica中得到了实现,并以在实验室容器中进行的干燥试验的实测数据作为具体应用,进行了验证.所有关键性能和工艺都得到了充分的再现.通过将干燥库的元素与其他用户定义的库或标准库结合起来,可以轻松完成多领域模拟,例如与工厂管理或性能研究相关的优化任务.

摘要： 一种模拟-验证个人计算机，包括控制装置仿真模拟器个人计算机以及设备模型模拟器个人计算机。控制装置仿真模拟器个人计算机装入了集成到控制装置的控制逻辑。设备模型模拟器个人计算机装入了设备模型逻辑。在接收到操作命令信号后，控制逻辑将用于控制设备运行的控制命令信号发送到设备模型逻辑。在接收到控制命令信号后，设备模型逻辑执行显示设备操作状态的模拟操作，并输出显示操作状态的运行状态信号。控制逻辑和设备模型逻辑都使用Linux作为OS，因此可以同时在个人计算机上运行。

摘要： 本发明提供一种基于指定验证者的签名、签名验证及副本模拟方法和系统，其签名方法包括步骤：设定哈希函数H：{0，1}

摘要： 一种模拟－验证个人计算机，包括控制装置仿真模拟器个人计算机以及设备模型模拟器个人计算机。控制装置仿真模拟器个人计算机装入了集成到控制装置的控制逻辑。设备模型模拟器个人计算机装入了设备模型逻辑。在接收到操作命令信号后，控制逻辑将用于控制设备运行的控制命令信号发送到设备模型逻辑。在接收到控制命令信号后，设备模型逻辑执行显示设备操作状态的模拟操作，并输出显示操作状态的运行状态信号。控制逻辑和设备模型逻辑都使用Linux作为OS，因此可以同时在个人计算机上运行。

摘要： 本申请涉及一种具有模拟太阳光学验证设备，包括：轨道支架，用于固定弧形模拟导轨；弧形导轨，设置在轨道支架上，其具有模拟太阳光移动的弧形轨迹；安装在所述弧形导轨上的可变光照强度的灯光设备，用于模拟日光；电机驱动控制系统，用于驱动所述灯光设备在弧形轨道上移动模拟太阳光运动；旋转平台，与所述可在弧形轨道灯光设备配合模拟汽车行驶过程中车辆与阳光相对角度变化。这种光学验证设备可以模拟晴天、阴天、早上、中午、傍晚等灯光日照强度；配合旋转平台研究对汽车行驶过程中汽车玻璃各种角度进光反光模拟；本申请有效研究并解决车内反光问题，通过此车辆内部炫目及反光量化测试平台，增加了车辆驾驶员的出行安全。

摘要： 本发明公开了一种机动车轮毂跳动试验机验证用模拟轮毂及验证方法，所述机动车轮毂跳动试验机验证用模拟轮毂包括相互固定的外圆环、端板和装夹部，所述端板位于所述外圆环的一端，所述装夹部通过可拆卸的方式固定于所述端板；所述装夹部包括至少一个定位及装夹的第一定位孔，所述第一定位孔为圆柱孔，所述第一定位孔的圆柱度小于预设值；所述外圆环的外圆周包括有两圈预设轴向长度，且母线平行于所述第一定位孔的轴线的测量圆柱面，所述测量圆柱面的圆跳动检测值均为预设的二次谐波跳动量。本发明的机动车轮毂跳动试验机验证用模拟轮毂及验证方法，能准确验证跳动试验机，而且使用寿命长，不会和普通机动车轮毂混淆。

摘要： 本发明涉及一种宽带目标模拟器验证平台及验证方法。包括：信号发生模块，用于根据雷达信号参数生成并行输出的发射信号、本振信号、帧同步信号，其中所述本振信号由DSS单元通过根据信号参数计算出的频率控制字以查表的方式生成；数据采集模块，用于将通过AD输入的信号经DDRIISDRAM缓存至FLASH阵列中，再经PCIE接口由上位机读取；数据分析模块，用于对数据采集模块所采集到的波形数据进行处理，验证模拟器产生的模拟回波效果。该平台及方法可以满足不通体制雷达目标模拟器的验证需求，其信号生成模块可产生多种雷达信号波形，数据分析模块具备多种雷达回波信号的处理算法，具有普遍适用性，为模拟器性能验证工作节约了大量资源和时间成本。

摘要： 本发明公开了一种模拟验证电机转子护环强度的验证装置及验证方法，解决了如何验证无纬带绕制转子护环的强度是否能达到设计要求的问题；在拖动电机（7）的输出轴（11）上固定连接有转盘（8），在模拟护环（1）的外圆上，设置有弧形通风缝（2）；在转盘（8）上，等间隔弧度地设置有扇形片连接螺栓（9），在扇形片连接螺栓（9）上，连接有扇形片（3），扇形片（3）的径向断面为L形，各扇形片（3）拼接后，在转盘（8）的外圆上组成一个环形片，在该环形片的外圆上，套接有模拟护环（1），在扇形片（3）的环形立板（5）上，设置有径向长条通孔（6），扇形片连接螺栓（9）活动设置在径向长条通孔中；本发明结构简单，加工方便。

摘要： 本发明涉及逻辑模拟验证系统、方法及程序。在短时间对每个逻辑模拟器提供相同的逻辑模拟结果。逻辑模拟验证系统对于成为信号的变化的基准信号验证在库、电路描述以及测试平台中描述的信号的变化，具备：变化定时指定部，指定基准信号和基准信号的变化信息；变化可能性时间计算部，求出存在向变量代入的第一信号发生变化的可能性的第一时刻；参照可能性时间计算部，求出变量被参照的第二信号存在被参照的可能性的第二时刻；变化可能性时间判定部，将不同的电路间的第一信号相同的第一时刻比较来判断第一时刻是否一致；以及变化及参照可能性时间判定部，判断是否不同的电路间的一方的第一信号与另一方的第二信号相同且第一时刻与第二时刻一致。

摘要： 本发明公开了一种模拟验证电机转子护环强度的验证装置及验证方法，解决了如何验证无纬带绕制转子护环的强度是否能达到设计要求的问题；在拖动电机（7）的输出轴（11）上固定连接有转盘（8），在模拟护环（1）的外圆上，设置有弧形通风缝（2）；在转盘（8）上，等间隔弧度地设置有扇形片连接螺栓（9），在扇形片连接螺栓（9）上，连接有扇形片（3），扇形片（3）的径向断面为L形，各扇形片（3）拼接后，在转盘（8）的外圆上组成一个环形片，在该环形片的外圆上，套接有模拟护环（1），在扇形片（3）的环形立板（5）上，设置有径向长条通孔（6），扇形片连接螺栓（9）活动设置在径向长条通孔中；本发明结构简单，加工方便。

摘要： 本发明公开了一种多核处理器Cache一致性模拟验证方法及验证装置，该验证方法为：配置验证环境和验证激励，在验证环境下进行激励测试；在完成激励测试之后进行覆盖率收集与性能统计，通过全局协议正确性检查来判定系统是否按照协议要求进行状态的正确迁移。该验证装置是基于上述验证方法来构建的。本发明具有原理简单、操作简便、验证效果好等优点。