国家自然科学基金(71271038)
- 作品数:5 被引量:5H指数:1
- 相关作者:卢涛魏伟赵鑫赵卓曹冬雪更多>>
- 相关机构:大连理工大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于时间自动机的ECA规则交互问题研究被引量:1
- 2017年
- Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。
- 赵鑫卢涛
- 关键词:ECA规则时间自动机UPPAAL
- 基于离散事件仿真门诊检查路径选择策略被引量:4
- 2017年
- 针对门诊病人检查排队时间长的问题,在医疗资源有限的情况下,研究门诊检查路径选择策略,减少排队时间。基于离散事件仿真,构建智慧医疗环境下门诊检查路径选择策略仿真模型,利用AnyLogic仿真软件予以实现。采用病人平均逗留时间、平均排队时间及平均服务系数为评价指标,比较不同病人到达率下各种路径选择策略的效果。仿真结果表明,通过对检查项目的顺序进行调整,能够有效地减少病人平均排队时间,其中综合考虑检查科室及病人实时状态的路径选择策略效果最优。
- 魏伟卢涛
- 关键词:离散事件仿真门诊检查
- 基于情境和事件的生产异常表示和监测方法
- 2017年
- 随着传感器技术、通信技术的高速发展,实时监测工业生产中加工状况成为可能。为了实时监测生产车间中的异常,根据生产现场感知到情境信息的特点,提出异常信息表示方法。分别构建情境模型和事件模型,结合两者的特点,提出Event-Context异常信息表示方法;根据事件的不同类型将异常归结为七种模式,并转换为复杂事件形式,应用复杂事件处理引擎Esper进行异常识别;对事件流进行预处理解决了因同源事件的干扰而未能识别出全部异常和正常识别为异常的问题。实验结果表明,该方法能够更准确识别出生产中异常情况。
- 查欣欣曹冬雪卢涛
- 关键词:情境
- 普适计算环境下基于情境的提醒服务自协调策略研究
- 2015年
- 由于老年人生理机能减退,针对老年人的提醒服务应用十分广泛。该类服务应考虑到老人的活动特征和环境特征才能提高服务效果,减少不必要的干扰。情境感知技术的发展为提醒服务的改进提供了契机,将情境引入到提醒服务的设计中,采用OWL本体方法构建领域内情境与服务知识的语义模型,以提醒服务平台的方式集成领域内提醒相关的设备与服务,并结合本体模型采用SWRL规则设计提醒服务的自协调策略,从而提高平台上不同提醒服务的自适应能力。通过模拟若干情境,采用Protégé和Pellet推理机验证了本体模型的正确性和协调规则的有效性。
- 赵卓卢涛
- 关键词:提醒服务情境OWL本体SWRL规则
- 基于概率时间自动机的智能医疗环境处理流程分析
- 2018年
- 近年来,物联网技术在医疗方面的应用引起了广泛关注。将智能设备应用于医疗,一般需要对医疗处理流程进行相应的调整,以确保流程的有效性和提高效率。仿真分析方法是一种常用的方法。提出了按照角色行为建模的方法,用消息事务和活动事务描述角色的行为模式,并将其转换为概率时间自动机,通过角色行为模式之间的交互表示流程。模型可以模拟在集成智能医疗设备后医疗环境中流程的执行,以此分析流程的有效性和效率。案例分析通过中央监护系统对方法进行进一步的说明和验证。
- 卢涛霍辛叶赵丹