摘要：为了实现多电平逆变器的控制,研制了一种基于同相载波层叠技术的多路正弦脉宽调制（SPWM）波形发生器。设计的波形发生器通过数字信号处理（DSP）的外部接口向现场可编程门阵列（FPGA）发送调制波数据,在FPGA内将调制波与多路载波进行比较产生多路SPWM信号。同时为了验证多路SPWM波形发生器设计的正确性,提出了一种新颖的离线半实物仿真验证方法,该方法通过逻辑分析仪获取波形发生器输出的多路SPWM信号,并作为多电平逆变器仿真模型的控制信号,并将半实物仿真结果与仿真结果进行比较分析以此验证设计的正确性。仿真和实验证明了设计和验证方法的正确性,并且该验证方法具有有效、实用、快速等优点。

摘要：堆芯功率分布可用径向功率分布和轴向功率分布分别描述,功率分布对堆芯偏离泡核沸腾(DNB)具有较高的重要性。核电厂在运行过程及事故过程中可能出现的功率分布各不相同,为有效简化热工水力设计及事故分析所需的功率形状,根据事故过程中功率分布的变化程度以及核电厂保护系统特性,将事故分析所需的极限功率形状分类包络。根据华龙一号的保护系统设置,以堆芯功率能力分析方法为基础,介绍了华龙一号工况Ⅰ包络功率形状和参考功率形状的验证方法。计算结果表明,工况Ⅰ包络功率形状和参考功率形状分别为各自适用场景下的包络功率形状。结果不仅有助于工程设计人员快速理解包络功率形状的验证方法,也有利于包络功率形状在后续事故分析中合理使用。

摘要：针对无人机(UAV)机载设备和软件在不具备真实飞行环境下的对地攻击流程验证问题,提出了一种基于观察-判断-决策-行动(OODA)循环的对地攻击流程半实物仿真验证方法。首先,采用OODA环思想对无人机对地攻击流程进行分析,设计了一套基于OODA环的半实物仿真验证系统。然后,将无人机对地攻击流程精度模型分为感知、判断和攻击3种,建立了半实物仿真验证系统主要的精度模型。最后,运用该验证方法对某无人机的3个机载软件进行了试验,验证了该方法的有效性。该方法可以验证无人机对地攻击流程的设计效果,在飞机设计阶段为攻击流程的工程设计提供参考。

摘要：为了解决固态激光雷达外参标定繁琐与验证其标定结果较为困难的问题,提出了一种面向固态激光雷达的简易标定与验证方法.该方法设计了一种简易的标定场和标志物,随后利用标志物完成激光雷达的角度标定,再通过测绘方法完成激光雷达的距离标定,以此来减少角度外参与距离外参的相关性,并保证标定结果的精度.最后通过比较计算得出外参误差,验证激光雷达标定结果.实验结果表明该方法合理有效,且大幅减少了激光雷达标定和验证结果所需要的设备准备时间和成本,具有一定的应用价值.

摘要：针对导弹六自由度数学仿真中的弹体弹性模型,开展弹性振动抑制的验证方法研究。介绍了用于导弹弹性振动抑制的陷波滤波器,分析了导弹飞行主动段和被动段中滤波器设计的验证思路,指出了目前在数学仿真验证中存在的问题。基于调频现象提出了一种频率补偿的陷波滤波器在线验证方法,通过对频率补偿函数进行理论推导可发现,该函数可适用于任何阶次的弹性频率验证。通过构建弹体弹性频率补偿函数实现了对所设计陷波滤波器的验证,不仅验证了弹性频率的陷波深度与理论设计值一致,还可以模拟不同弹性频率的基本特性。

摘要：目的 :探讨验证问卷备择答案等距离性的方法。方法 :计算去除某条目后 ,同领域其他条目得分的合计值 ,然后观察选择该条目不同备择答案的人群 ,其合计值间是否等距离。测试量表采用 3 6条目简明量表 ,调查样本 2 2 5 0人 ,纳入分析样本 2 2 46例。结果 :使用该法能够发现问卷中的异常条目 ,等距离性验证结果与原量表设计基本吻合 ,但是测试条目必须具有较好的结构效度。结论 :同领域条目相互验证可能是验证备择答案的等距离性的一种简易方法 ,对此尚需数理学论证。

摘要：研究了装备在设计阶段只有数字样机的情况下维修时间的验证方法,通过对装备维修活动逐级分解优化,在虚拟维修仿真环境下调用维修时间模型和维修动素对应的标准维修工时,实现对装备维修时间的验证工作,为装备研制过程中并行开展维修性设计提供了方法。

摘要：目前,医养结合"重机构而轻社区"的模式与现实养老需求无法契合。老年人除疾病治疗以外的健康维护和健康促进需求迅速增长,单纯以疾病治疗为中心的医养结合已无法有效满足老年人不断增长的、多样化的健康服务需求。服务供给碎片化也削弱了养老服务体系的保障功能及社会整体福利水平。这势必制约老年人养老获得感水平的提升。顺应健康老龄化和健康中国战略,社区医养结合被赋予了"以健康维护和健康促进为中心,依托社区,培育老年人健康养老意识、树立健康养老理念、提高健康养老质量,达成老年人生理、心理、社会适应三方面机能完好并协调促进目标"的新内涵。以老年人养老获得感提升为目标审视当前社区医养结合服务存在的主要问题,构建社区医养结合服务影响老年人养老获得感的理论机制,设计验证理论机制的方法,为探寻老年人养老获得感提升的关键策略提供路径。

摘要：航天用FPGA设计复杂度越来越高,其表现之一就是设计中存在多个时钟域,当信号从一个时钟域进入另一个时钟域,即不同时钟域之间发生数据交互时,就会带来信号跨时钟域产生的亚稳态问题(CDC问题)。亚稳态问题虽普遍存在,但依靠传统的验证手段即功能仿真或者时序仿真是很难定位的,提出一种分层次、多模式的跨时钟域验证方法,为跨时钟域问题分析确认提供强有力的参考。

摘要：随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。