基于有限自动机的多层次构件行为匹配模型

针对目前基于行为规约匹配的构件获取方面的不足,提出了一种基于有限自动机的多层次的构件行为匹配模型.该模型采用有限自动机对构件的行为进行建模,借鉴图论中图匹配的思想,提出了6种行为匹配关系:等价行为匹配、扩展行为匹配、相容行为匹配、包含行为匹配、弱包含行为匹配和弱相容行为匹配.分析了这些行为匹配关系之间的蕴涵关系,并给出...     

应用于冷却系统的多孔介质电渗泵研究

对多孔介质电渗泵性能进行研究,分析电渗泵的流率和压力,为多孔介质电渗泵制作提供参考.依据电渗流控制方程,利用Debye-Huckel近似得到单根圆形管电渗流的近似解析模型,采用MEMS数值仿真软件CoventorWare对电渗泵模型进行求解分析,得到电渗泵流场的分布.基于电渗流的近似解析模型,采用截断高斯分布对多孔介质...     

基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

可靠性模型中故障检测率研究述评

故障检测率FDR（Fault Detection Rate）是可靠性研究的关键要素,对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用,对于提高系统可靠性与确定发布时间具有重要现实意义.首先,对基于NHPP（Non-Homogeneous Poisson Process,非齐次泊松过程）类的软件可靠性增长模型SRGM（Software Reliability Growth Mode）进行概述,给出了建模本质、功用与流程.基于此,引出可靠性建模与研究中的关键参数——FDR,给出定义,对测试环境描述能力进行分析,展示不同模型的差异.着重剖析了FDR与失效强度、冒险率（风险率）的区别,得出三者之间的关联性表述.全面梳理了FDR的大类模型,分别从测试覆盖函数视角、直接设定角度、测试工作量函数参与构成方式三个方面进行剖析,继而提出统一的FDR相关的可靠性模型.考虑到对真实测试环境描述能力需要,建立不完美排错框架模型,衍生出不完美排错下多个不同FDR参与的可靠性增长模型.进一步,在12个真实描述应用场景与公开发表的失效数据集上进行实验,验证不同FDR模型相关的可靠性模型效用,对差异性进行分析与讨论.结果表明,FDR模型自身的性能可以支撑可靠性模型性能的提升.最后,指出了未来研究趋势和需要解决的问题.     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

多孔介质电渗泵的数值仿真与性能分析

电渗驱动微泵是一种新型的电动力式微泵,其输出压强高,流量可调范围宽,可用于微通道冷却系统中。建立了多孔介质电渗泵电渗流的数学模型,并对其性能进行了分析。根据双电层模型与电渗泵的控制方程,得出电渗流的近似解析模型,求出最大流率与压力。利用MEMS数值仿真软件CoventorWare对电渗泵模型进行求解分析,得到电渗泵流场和压力场的分布;对其特性进行分析,研究电场强度、溶液浓度和微流道孔径及其流道长度对电渗泵性能的影响。结果表明,在电渗驱动下,微流道中的流体流动速度与电场强度及微流道表面静电势成正比;流体速度与微通道长度成反比,与孔径无关。     

人造板甲醛释放量检测方法的分析

人造板材中甲醛的释放严重影响着人体健康,因此研究板材甲醛释放的检测方法可以减少室内污染、保障人体健康。系统地介绍了人造板甲醛释放量检测的几种常用方法,分析了影响检测结果的主要因素,对规范实验室实验操作、提升检测水平具有指导作用。     

挥发性物质释放量试验中气候箱关键技术因素探讨

气候箱具有密封、清洁、稳定的内部空间,能够模拟材料/产品实际使用环境设定实验条件,被广泛应用于日用消费品、电子电器产品、建筑装饰装修材料等多种类型产品的检测中,是确保检测结果科学、准确、符合实际情况的关键检测设备。但现阶段不同标准对气候箱性能的要求存在一定差异,影响了检测结果的准确性。本文综述了现行国家标准、行业标准中有关气候箱性能的有关规定,分析了可能对检测结果产生影响的设备制造、维护和使用中的关键技术因素,以期为检验人员和设备生产企业提供参考。     

港珠澳大桥设计理念及桥梁创新技术

介绍了港珠澳大桥的工程概况、建设目标和总体设计方案,重点阐述了以"大型化、工厂化、标准化、装配化"的设计理念和总体原则指导下,设计采用的新材料、新技术、新工艺、新设备。创新技术的应用,为提高工程品质、确保设计使用寿命提供了坚实基础和有利保障。     

误操作引起3/2主接线开关跳闸的事故分析

3/2主接线方式二次回路接线复杂,存在"和回路",容易引起误操作事故.介绍了一起误封电流互感器二次回路引起3/2主接线开关跳闸的事故.阐述了事故发生时的误操作过程,计算分析了误操作产生的零序电流,得出零序电流大于零序保护Ⅳ段定值的结论,并提出了先划开连片,再封CT的防范措施.