宋晓敏
- 作品数：11 被引量：2H指数：1
- 供职机构：青岛科技大学更多>>
- 发文基金：山东省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术化学工程更多>>
- 用于环己烷脱水的液液两相分离器设计及数值研究
- 在异丙醇钾生产工艺中,环己烷脱水处理是工艺中至关重要的一个环节,脱水效率的好坏会对异丙醇钾的反应过程以及整个生产周期的长短产生很大的影响。基于此,本文设计了一种新型的液液两相分离器用于异丙醇钾生产过程中的环己烷脱水,采用...
- 宋晓敏
- 关键词：数值模拟
- 文献传递
- 一种卧式油水分相器
- 本发明公布一种卧式油水分离设备，包括入口、分相器本体、出口，以及位于分相器本体内的稳流部件、聚结部件和重力沉降区域，出口包括油相和水相出口，稳流部件包括进料构件、水包与防旋挡板，进料构件位于罐体头部竖直位置，包括进口管和...
- 段振亚杜德平仲广民胡林波韩磊张俊梅宋晓敏张玲许恩乐
- 文献传递
- 复合式餐饮业油烟净化装置
- 本实用新型公开了复合式餐饮业油烟净化装置。复合式餐饮业油烟净化装置主要包括集烟罩、输入管道、筒体，集烟罩是圆台型空心壳体，有利于收集空气中的油烟气；油烟气是在筒体内进行净化的，筒体内从下往上依次包含过滤网、喷头、除雾器以...
- 段振亚宋晓敏许恩乐蓝竹君李元魁
- 文献传递
- 一种卧式油水分相器
- 本实用新型公布一种卧式油水分相器，包括入口、分相器本体、出口，以及位于分相器本体内的稳流部件、聚结部件和重力沉降区域，出口包括油相和水相出口，稳流部件包括进料构件、水包与防旋挡板，进料构件位于罐体头部竖直位置，包括进口管...
- 段振亚杜德平仲广民胡林波韩磊张俊梅宋晓敏张玲许恩乐
- 文献传递
- 实时系统的测试方法研究与应用
- 随着计算机与互联网的迅速普及，实时系统在各个领域都得到了广泛的应用，该类系统诸多动作的实现与时间息息相关，都需要满足一定的时间约束。因此，对这类系统的可靠性与安全性的问题得到了研究人员的广泛关注。基于模型的检测方法是一种...
- 宋晓敏
- 关键词：计算机技术时间自动机实时系统
- 文献传递
- 一种智能化排水管道垃圾处理装置
- 本发明公开了一种智能化排水管道垃圾处理装置，该装置采用单片机控制，包括箱体，所述箱体的右上端装有进口管，所述进口管的内壁装有压力传感器；所述箱体内有箱板、输送装置、垃圾压缩装置、电机，箱板将箱体分为两部分；所述箱体底板开...
- 段振亚蓝竹军张俊梅马志伟宋晓敏
- 文献传递
- 湿法微米级颗粒物捕集空气净化装置
- 本实用新型公开了一种湿法微米级颗粒物捕集空气净化装置，包括一级净化装置和二次喷淋装置，所述一级净化装置和二次喷淋装置底部分别设有净化水槽和喷淋水槽，所述净化水槽和喷淋水槽上方设有连通一级净化装置和二次喷淋装置的气体通道，...
- 段振亚宋晓敏仲理科戚倩李宁李元奎
- 文献传递
- 一种卧式油水分相器
- 本发明公布一种卧式油水分离设备，包括入口、分相器本体、出口，以及位于分相器本体内的稳流部件、聚结部件和重力沉降区域，出口包括油相和水相出口，稳流部件包括进料构件、水包与防旋挡板，进料构件位于罐体头部竖直位置，包括进口管和...
- 段振亚杜德平仲广民胡林波韩磊张俊梅宋晓敏张玲许恩乐
- 文献传递
- 复合式餐饮业油烟净化装置
- 本发明公开了复合式餐饮业油烟净化装置。复合式餐饮业油烟净化装置主要包括集烟罩、输入管道、筒体，集烟罩是圆台型空心壳体，有利于收集空气中的油烟气；油烟气是在筒体内进行净化的，筒体内从下往上依次包含过滤网、喷头、除雾器以及吸...
- 许恩乐李元魁宋晓敏蓝竹君段振亚
- 文献传递
- 一种基于区域分解的实时测试用例生成技术研究
- 2015年
- 实时系统是指与运行环境的交互行为存在时间约束的系统。由于时间约束的无穷状态空间问题,增加了实时系统测试难度。本文基于时间自动机,利用时间区域分解的方法,将无穷状态空间的时钟区域在时钟数量对应的坐标图中等价划分为各个类,在生成的测试路径中取到相应的点坐标,简化取点的个数,有效减少测试用例的生成数量,进而相对减少状态空间爆炸的可能性,为实时系统功能、安全性验证提供理论基础。
- 宋晓敏杜军威
- 关键词：实时系统时间自动机测试用例
