基于状态约简的顺序图和状态图一致性检测

为了解决系统设计过程中模型一致性问题,提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行符号化描述,为一致性检测提供理论基础;提出状态约简规则和状态约简算法,能够减少冗余状态和迁移,证明了状态约简不影响一致性检测;提出改进的UML模型到PROMELA的转换方法并使用SPIN进行验证。实验表明上述方法能够有效地检测顺序图和状态图的一致性,在验证过程中减少冗余状态和迁移,转换后的代码结构简单、执行效率高。     

基于流激振荡现象的流体动能收集技术研究

针对偏远地区及特殊场景下的低功耗无线传感节点电源维护不易的问题,该文对一种基于流激振荡现象的流体动能收集技术进行了研究,结合压电技术可实现流体动能转换至电能的过程。通过对流激振荡现象进行数值模拟及实验研究,分析了空腔结构中的流场及声场分布特性,探究了流体速度对声振荡频率及幅值的影响规律。利用COMSOL软件对声电转换过程进行仿真,实现了完整的流体动能-电能的转换过程。研究结果表明,在一定的速度条件下存在频率稳定的声振荡区间,可驱动压电换能装置输出频率稳定的电压,当气体流速为30.5 m/s时(相当于高压输气管道的流速范围),声场压力振幅可达6.12 kPa,对应的输出开路电压为2.62 V。当外接15 kΩ电阻时,最高输出功率可达0.29 mW。     

基于剩余模态力和模态应变能理论的网架结构损伤识别

针对网架结构特点,引入敏感模态的概念,提出了一种识别敏感模态的算法;基于剩余模态力理论,利用敏感模态进行损伤位置识别,并建立了基于模态应变能理论的损伤程度评估算法,采用非负最小二乘法求解超静定方程组,实现定量评估损伤程度。以某实际结构为仿真对象,分析了上述算法在网架结构损伤识别中联合应用的可行性,同时将评估结果与基于最小秩摄动理论的损伤程度评估结果进行了比较研究,并考虑测试噪声影响。结果表明,二者联合工作效果较好,不仅可以识别结构单处损伤,还可以识别结构多处损伤,且损伤程度评估结果同基于最小秩摄动理论损伤程度评估结果比,更可信,将其应用于网架结构的健康诊断是可行的。     

微膨胀聚丙烯纤维混凝土对机场道面力学性能及耐久性的综合改良

通过实验验证了聚丙烯纤维和微量膨胀剂的复合掺加对机场道面水泥混凝土的力学性能及耐久性存在优化改良作用，就实验结果对纤维和微量膨胀剂对道面混凝土的性能改良效应作了具体分析阐述，并由此提出了微膨胀纤维混凝土在机场道面施工方面的若干注意事项。     

用于电池储能系统的单相隔离型并网变流器控制策略

正对基于锂电池的家庭用5 kW等级单相储能系统进行了设计,建立了基于隔离型双向DC/DC全桥变换器和有功无功解耦控制的DC/AC变流器的功率转换系统。通过控制电压源之间的幅值与相位差来改变双向DC/DC变换器的功率大小和流向。基于虚拟移相技术的有功无功解耦控制算法,实现了电网侧的四象限运行。仿真结果表明该控制系统除对锂电池充放电之外,还可以提供无功补偿。     

铁矿石定价机制与价格波动研究——与其它大宗商品价格波动比较

对于铁矿石合理的价格以及合理的定价机制,媒体和业界都有着大量的争论,更多的是单纯地站在买方和卖方的观点对事实进行评价和判断,而从经济学角度则合理的价格只存在于不受非市场因素干扰的供需关系中.实际的结果可能与经验和常识相反,不断上涨的铁矿石长协价格似乎并没有业界所感受的那样强烈,对于这种看法,或许可以从铁矿石与其它大宗商品的比较中得到支持.     

无透镜片上显微成像系统及超分辨率算法研究

空间环境是开展生命科学研究的重要平台.显微镜是生命科学的重要研究工具,也是空间实验平台不可或缺的工具.传统光学显微技术无法兼顾高分辨率与大视场成像,在面临大视场观测需求时往往需要基于机械扫描结构实现.由于空间运输成本昂贵和实验平台空间的有限,同时,机电部件在持续扫描过程中还会产生可能的振动等原因,因而传统的大视场显微镜...     

一种多目标的覆盖优化策略在WSNs中的应用

针对目前无线传感器网络（WSNs）能量均衡覆盖策略大都基于节点静态感知能耗的不足,提出一种基于节点的动态能耗和网络覆盖率的多目标覆盖优化策略.该优化覆盖策略将动态路由协议引入到覆盖控制优化中,计算覆盖区域在不同节点分布下的动态通信能耗和网络的剩余能量,再结合区域覆盖率构成对覆盖和能量综合指数评价的优化函数.最后利用改进差分进化算法和差分进化算法对优化函数进行仿真,并利用覆盖结果验证策略的有效性.仿真结果表明：提出的覆盖优化策略既能使网络达到较高覆盖率,同时又能保证网络的能耗动态均衡,并将改进差分进化算法与常规差分进化算法比较,结果表明：前者克服了早熟现象,覆盖和能量的综合优化函数值更高,达到了6.184.     

铁矿石定价机制与价格波动研究——与其它大宗商品价格波动比较

对于铁矿石合理的价格以及合理的定价机制，媒体和业界都有着大量的争论，更多的是单纯地站在买方和卖方的观点对事实进行评价和判断，而从经济学角度则合理的价格只存在于不受非市场因素干扰的供需关系中。实际的结果可能与经验和常识相反，不断上涨的铁矿石长协价格似乎并没有业界所感受的那样强烈，对于这种看法，或许可以从铁矿石与其它大宗商品的比较中得到支持。     

机组运行中中压调门位移传感器故障处理

介绍了汽轮机纯电调控制系统DEH的组成及控制原理,DEH系统中VC伺服卡的工作原理,调门位移传感器的组成及工作原理。并对机组运行过程中汽机中压调门单支位移传感器LVDT故障进行分析并提出了解决办法,通过此方法成功对故障LVDT位移传感器进行了更换,保证了机组的正常安全运行。