您的位置： 专家智库 > >

卢涛

作品数：10 被引量：15H指数：2
供职机构：大连理工大学管理科学与工程学院系统工程研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇中文期刊文章

领域

  • 10篇自动化与计算...

主题

  • 4篇普适计算
  • 3篇情境感知
  • 3篇感知
  • 3篇ECA规则
  • 2篇情境
  • 2篇仿真
  • 2篇PETRI网
  • 1篇信息化
  • 1篇信息化推广
  • 1篇时间自动机
  • 1篇提醒服务
  • 1篇普适计算环境
  • 1篇情景
  • 1篇情景分析
  • 1篇自动机
  • 1篇系统建模与仿...
  • 1篇校园门户
  • 1篇离散事件仿真
  • 1篇门诊检查
  • 1篇计算环境

机构

  • 10篇大连理工大学

作者

  • 10篇卢涛
  • 2篇刘晓伶
  • 1篇胡志芳
  • 1篇魏伟
  • 1篇田丽
  • 1篇包杰
  • 1篇郭晓明
  • 1篇刘晓刚
  • 1篇赵卓
  • 1篇赵鑫

传媒

  • 2篇计算机应用研...
  • 2篇计算机工程与...
  • 2篇哈尔滨工程大...
  • 1篇工业工程与管...
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇中国教育信息...

年份

  • 1篇2018
  • 2篇2017
  • 1篇2015
  • 1篇2014
  • 2篇2013
  • 3篇2012
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
关于校园门户推广的探索与实践
2012年
高校校园门户的建设呈现出蓬勃发展的态势,但在校园门户的成果推广上却面临许多问题,本文阐述了大连理工大学在校园门户推广方面进行的尝试,介绍了大连理工大学校园门户的推广思路和个性化服务的应用实践。
田丽郭晓明卢涛
关键词：校园门户信息化推广
普适服务冲突检测方法研究被引量：2
2013年
针对普适计算环境中,由于普适服务主动性和情境驱动特征而引发的多服务之间的冲突问题,研究了普适服务冲突检测的方法.使用ECA规则描述普适服务逻辑,采用SWRL构建资源消耗和资源状态转换的规则,通过资源消耗和资源状态转换规则对服务行为进行语义分析,可以识别会产生冲突的服务行为,在此基础上发现和检测ECA规则的逻辑冲突,得到会发生冲突的ECA规则集.实例研究表明该方法能够发现多普适服务环境中部分服务逻辑的冲突,部分解决普适服务的冲突检测问题.
卢涛刘晓伶
关键词：普适计算ECA规则SWRL
基于时间自动机的ECA规则交互问题研究被引量：1
2017年
Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。
赵鑫卢涛
关键词：ECA规则时间自动机UPPAAL
基于离散事件仿真门诊检查路径选择策略被引量：4
2017年
针对门诊病人检查排队时间长的问题,在医疗资源有限的情况下,研究门诊检查路径选择策略,减少排队时间。基于离散事件仿真,构建智慧医疗环境下门诊检查路径选择策略仿真模型,利用AnyLogic仿真软件予以实现。采用病人平均逗留时间、平均排队时间及平均服务系数为评价指标,比较不同病人到达率下各种路径选择策略的效果。仿真结果表明,通过对检查项目的顺序进行调整,能够有效地减少病人平均排队时间,其中综合考虑检查科室及病人实时状态的路径选择策略效果最优。
魏伟卢涛
关键词：离散事件仿真门诊检查
基于情景分析的ECA规则提取方法研究被引量：2
2012年
事件条件动作(ECA)规则的提取方法难以规范化,导致其生成过程过于复杂。为此,提出一种基于情景分析的ECA规则提取方法。定义ECA规则中事件、条件和动作的模板规范以及ECA规则的语法结构,采用情景分析法进行研究分析,并做一致性检测。实例分析结果表明,该方法能规范ECA规则的提取过程,保证ECA规则的准确性。
刘晓伶卢涛
关键词：情景情景分析ECA规则
基于情境时序建模的活动异常监控方法被引量：2
2013年
结合普适计算的相关研究,提出了基于情境时序建模的活动异常监控方法。考虑到活动中情境间的时序特征,对情境进行时序建模;根据活动在正常发生时有关情境的时序约束,归纳了活动中出现异常时,情境不满足时序约束的情况,并给出了由当前及历史情境来发现活动异常的相关算法。通过金相组织分析实验对方法进行了应用。
刘晓刚卢涛
关键词：普适计算情境感知
基于概率时间自动机的智能医疗环境处理流程分析
2018年
近年来,物联网技术在医疗方面的应用引起了广泛关注。将智能设备应用于医疗,一般需要对医疗处理流程进行相应的调整,以确保流程的有效性和提高效率。仿真分析方法是一种常用的方法。提出了按照角色行为建模的方法,用消息事务和活动事务描述角色的行为模式,并将其转换为概率时间自动机,通过角色行为模式之间的交互表示流程。模型可以模拟在集成智能医疗设备后医疗环境中流程的执行,以此分析流程的有效性和效率。案例分析通过中央监护系统对方法进行进一步的说明和验证。
卢涛霍辛叶赵丹
基于Petri网的情境感知系统建模与仿真被引量：4
2012年
情境感知系统对情境信息的利用程度在不断提高,对服务的多样性提出了更高要求,但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展,提出了情境感知系统的赋时着色Petri网模型;并结合仿真工具CPN Tools对模型进行模拟和验证,进而发现系统设计中存在的潜在不足,对其优化改进。以痴呆老人智能辅助系统为例,证明了该方法的有效性。
包杰卢涛
关键词：普适计算情境感知PETRI网
基于Petri网的情境感知服务建模及干扰发现
2014年
为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。
胡志芳卢涛
关键词：情境感知赋时着色PETRI网
普适计算环境下基于情境的提醒服务自协调策略研究
2015年
由于老年人生理机能减退,针对老年人的提醒服务应用十分广泛。该类服务应考虑到老人的活动特征和环境特征才能提高服务效果,减少不必要的干扰。情境感知技术的发展为提醒服务的改进提供了契机,将情境引入到提醒服务的设计中,采用OWL本体方法构建领域内情境与服务知识的语义模型,以提醒服务平台的方式集成领域内提醒相关的设备与服务,并结合本体模型采用SWRL规则设计提醒服务的自协调策略,从而提高平台上不同提醒服务的自适应能力。通过模拟若干情境,采用Protégé和Pellet推理机验证了本体模型的正确性和协调规则的有效性。
赵卓卢涛
关键词：提醒服务情境OWL本体SWRL规则
全选 清除 导出
共1页<1>
聚类工具0