并联电抗器铁心振动的模型实验与仿真研究

并联电抗器作为无功补偿设备,补偿电力系统的无功容量。为了保持并联电抗器的电抗值具有良好的线性度,其铁心通常采用多气隙结构,这使得并联电抗器在正常工况下振动幅度较大。为了研究并联电抗器铁心振动的影响因素,本文设计制作了一台并联电抗器试验模型,建立了并联电抗器铁心振动分析的电磁-机械耦合模型。计算得到了不同工况下并联电抗器铁心磁场、麦克斯韦力、振动位移和加速度的空间分布,并将计算结果与实验数据进行了对比。分析了麦克斯韦力和铁心磁致伸缩效应对并联电抗器铁心振动的影响。     

芯片开发功能验证的形式化方法

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率...     

基于事件确定有限自动机的UML2.0 序列图描述与验证

为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.     

浅谈儿童玩具与绿色设计的融合

随着人们物质水平的提高,儿童玩具市场已经日益受到重视,越来越多良莠不齐的玩具充斥着市场,而在如今提倡节能环保以及资源有效利用的大环境下,绿色设计也越来越成为一个热门话题。本文通过将两者融合进行考虑,并结合实例阐述了如何使儿童玩具设计安全人机化,耐用化并且绿色化等问题。     

NuTL2PFG:νTL公式的可满足性检查

线性μ演算(linear time μ-calculus,简称νTL)语法简单,表达能力强,可用于验证并发程序的多种性质.然而,不动点操作符的嵌套使得其判定问题难以有效解决.针对这一问题,本文开发了工具NuTL2PFG,用以判定νTL公式的可满足性.利用νTL公式的当前-未来范式(Present Future form,简称PF式),该工具能够为一个给定公式构造其当前-未来范式图(Present Future form Graph,简称PFG),用以描述满足该公式的模型.通过在所得PFG中寻找一条ν-路径,即不涉及最小不动点公式的无穷展开的路径,该工具便可判断出给定公式的可满足性.实验结果证明NuTL2PFG的执行效率优于已有工具.     

基于污染变量关系图的Android应用污点分析工具

污点分析技术是检测Android智能手机隐私数据泄露的有效方法,目前主流的Android应用污点分析工具主要关注分析的精度,常常忽略运行效率的提升.在分析一些复杂应用时,过大的开销可能造成超时或程序崩溃等问题,影响工具的广泛使用.为了减少分析时间、提高效率,提出一种基于污染变量关系图的污点分析方法.该方法定义了污染变量...     

基于运行时验证的边缘服务器DoS攻击检测方法

针对边缘计算系统中边缘服务器面临的拒绝服务(DoS)攻击问题,提出了一种基于并行运行时验证的DoS攻击检测方法.首先,使用命题投影时序逻辑(PPTL)公式形式化描述边缘服务器预期行为和DoS攻击特征;进而,针对待验证PPTL公式,采用并行运行时验证框架,充分利用边缘服务器的计算与存储资源,对程序运行状态进行异常检测和误...     

BCA法检测组分百日咳疫苗中间品蛋白含量的可行性评价

目的评价BCA法检测组分百日咳疫苗中间品蛋白含量的可行性,并进行验证。方法以《中国药典》三部(2015版)Lowry法2的检测结果为对照,对干扰BCA法测定组分百日咳疫苗中间品蛋白质含量的物质进行分析,明确干扰物质的限度;对BCA法的专属性、线性范围、重复性、准确性进行验证,并与Lowry法2的检测结果进行比较。结果 30%硫酸铵对Lowry法2和BCA法测定蛋白质含量有明显干扰,其他缓冲体系均无影响;硫酸铵浓度≤25%时,对Lowry法2检测结果无干扰,低于5%的硫酸铵可通过1 mol/L的盐酸消除,不影响BCA法的测定;凯氏定氮法测定结果显示,组分百日咳疫苗中间品中硫酸铵浓度<5%。BCA法的专属性、线性范围、重复性、准确性均符合验证要求;Lowry法2与BCA法检测结果差异无统计学意义(P> 0.05)。结论 BCA法操作简便、快速、准确、高通量,可用于检测组分百日咳疫苗中间品的蛋白含量。     

降低某型号电磁继电器PIND淘汰率的改进措施

本文针对某型号电磁继电器PIND淘汰率较高的问题进行了深入的分析,并提出了几种有效的改进措施,以降低该型号电磁继电器的PIND筛选淘汰率。