李晅松

作品数：4被引量：4H指数：1
导出分析报告
供职机构：南京理工大学计算机科学与技术学院更多>>
发文主题：普适计算规约形式规约上下文感知语义更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机与数字工程》《软件学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向物联网设备移动与通信行为的建模及验证
《软件学报》2024年第11期4993-5015,共23页刘靖宇 李晅松 陈芝菲 叶海波 宋巍 
国家自然科学基金(61702263,61761136003);CCF-华为创新研究计划(CCF-HuaweiFM2021004)。
物联网设备的使用范围正在不断扩张.模型检测是提升这类设备可靠性和安全性的有效手段,但常用的模型检测方法不能很好地刻画这类设备常见的跨空间移动和通信行为.为此,提出一种面向物联网设备移动与通信行为的建模及验证方法,以实现对...
关键词：模型检测 物联网 形式化验证 建模语言 
并发感知的业务过程事件序列编辑距离
《计算机与数字工程》2020年第5期1131-1136,共6页常震 戴汪洋 宋巍 李晅松 
国家自然科学基金项目(编号:61761136003)资助。
业务过程事件序列编辑距离计算在日志修复与过程合规性检查方面具有重要作用。针对业务过程的并发性以及事件序列可能产生的噪音类型,给出了业务过程事件序列编辑距离的定义,并采用动态规划提出了业务过程事件序列编辑距离的求解算法。...
关键词：并发感知 业务过程事件序列 编辑距离 动态规划 
普适计算应用时空性质的运行时验证被引量：1
《软件学报》2018年第6期1622-1634,共13页李晅松 陶先平 宋巍 
国家重点研发计划(2017YFB1001801); 国家自然科学基金(61702263,61373011); 江苏省自然科学基金(BK2017 1427); 中央高校基本科研业务费专项资金(30917011322)
运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时的验证带来了特有挑战:一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic...
关键词：普适计算 三值语义 运行时验证 
面向动作的上下文感知应用的规约与运行时验证被引量：3
《软件学报》2017年第5期1167-1182,共16页李晅松 陶先平 吕建 宋巍 
国家自然科学基金(61373011;61202003;61502225)~~
面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信...
关键词：普适计算 上下文感知 形式规约 运行时验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部