“李晅松”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果6个，建议您升级VIP下载更多相关专利

[发明专利]基于用户行为描述智能家居环境需求的方法-CN201911150085.0有效
发明人： 李晅松;宋巍 -专利权人：南京理工大学
申请日： 2019-11-21 - 公布日： 2023-07-18 - 主分类号： G05B15/02 文献下载
摘要：本发明公开了一种基于用户行为描述智能家居环境需求的方法，首先定义智能家居需求相关的环境概念以及环境信息持有者的信息，然后基于不同用户的不同行为，定义行为的公共需求和某个用户的特有需求；在此基础上，部署感知行为、环境的设备以及智能家居相关应用设备并投入运行；运行时，系统根据环境数据、用户行为、基于用户行为的需求对于智能家居设备进行控制。本发明能够提高智能家居软件开发和维护的灵活性，方便定义行为相关、个性化的需求。
基于用户行为描述智能家居环境需求方法

[发明专利]考虑并发的业务过程事件序列间编辑距离的求解方法-CN201810966487.7有效
发明人：宋巍;戴汪洋;常震;尚庆民;李晅松 -专利权人：南京理工大学
申请日： 2018-08-23 - 公布日： 2023-05-26 - 主分类号： G06F17/16 文献下载
摘要：本发明公开了一种考虑并发的业务过程事件序列间编辑距离的求解方法，本发明以XES格式描述的业务过程事件日志和待求的两条事件序列为输入，以这两条事件序列间的编辑距离为输出；为了计算事件序列间的编辑距离，首先通过解析XES日志文件获得所有事件序列集合；然后从所得到的事件序列集合中挖掘出所有事件之间的并发关系集合；最后根据所有事件之间的并发关系集合，计算出待求的两条事件序列间的编辑距离。相较于传统的编辑距离计算方法，本发明可以处理含有并发的业务过程事件序列间编辑距离计算。
考虑并发业务过程事件序列编辑距离求解方法

[发明专利]一种基于量化时序约束的智能家居运行时验证方法-CN202210023752.4在审
发明人： 李晅松;张智慧 -专利权人：南京理工大学
申请日： 2022-01-10 - 公布日： 2022-06-28 - 主分类号： G06F11/22 文献下载
摘要：本发明公开了一种基于量化时序约束的智能家居运行时验证方法，基于量化时序约束，定义用户执行自主活动时的环境需求；基于度量时序逻辑，将定义的环境需求转化为时序逻辑公式，并进行性质规约，生成属性监控器；通过传感器，获取智能家居系统中环境属性的属性值，并进行预处理，得到运行时状态数据；基于S‑Taliro工具中的验证算法，结合智能家居系统的运行时状态数据以及属性监控器，验证智能家居系统的运行时状态是否满足需求；根据验证结果，触发智能家居设备执行不同操作，如果满足需求，则智能家居系统维持当前状态，否则根据预定义的策略，改变智能家居设备的运行状态。
一种基于量化时序约束智能家居运行验证方法

[发明专利]一种面向可移动物联网应用的形式化验证方法及系统-CN202210216887.2在审
发明人： 李晅松;刘靖宇 -专利权人：南京理工大学
申请日： 2022-03-06 - 公布日： 2022-06-10 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种面向可移动物联网应用的形式化验证方法及系统，利用界程演算描述实体的包含关系和行动规则，得到可移动物联网应用运行场景的模型；利用界程逻辑描述运行场景需要满足的性质，得到运行场景性质的界程逻辑公式集合；依次判断可移动物联网应用运行场景的模型是否满足界程逻辑公式集合中的每条界程逻辑公式；若可移动物联网应用运行场景的模型满足界程逻辑公式集合中的所有界程逻辑公式，则不需要对运行场景做出任何调整，否则调整设备的部署位置和/或行动规则，并重新验证。本发明用界程演算精确构建可移动物联网应用运行场景的模型，用界程逻辑严格描述可移动物联网应用运行场景的性质，有效提高了形式化验证的可靠性。
一种面向移动联网应用形式化验证方法系统

[发明专利]列车控制系统软件仿真测试方法-CN202011066369.4在审
发明人： 李晅松;杜鹏飞;宋巍 -专利权人：南京理工大学
申请日： 2020-09-30 - 公布日： 2021-01-08 - 主分类号： G05B23/02 文献下载
摘要：本发明公开了一种列控系统软件仿真测试方法，该方法通过对给定的列控系统中的硬件功能和业务逻辑进行仿真，实现对该列控系统下列车运行过程的软件模拟，并生成测试用例完成对仿真系统的测试；首先，解析选定的列控系统，得出功能硬件列表和业务逻辑信息；然后，设计软件仿真系统模拟硬件功能和业务逻辑信息；最后，设计测试系统，生成一组用于测试软件仿真系统的列车运行数据，得到最终的列控系统软件仿真测试系统。本发明可以通过更深层次的二次开发和不同测试序列生成方法，达到对可成长的智能化网构软件进行实例验证的目的。
列车控制系统软件仿真测试方法

[发明专利]一种显式地进行计算环境描述的方法-CN201310497985.9有效
发明人：吕建;李晅松;陶先平 -专利权人：南京大学
申请日： 2013-10-22 - 公布日： 2014-01-01 - 主分类号： G06F9/45 文献下载
摘要：本发明公开了一种显式地进行计算环境描述的方法。本发明在运行时基于用户的动作组织环境数据作为上下文的方法，为此，首先部署能对环境要素进行感知和影响的基础设施，以及感知用户动作的服务，之后将上下文生成器部署进系统并投入运行，当动作变化时，上下文会被重新组织。并在此基础上提出了将上下文作为主动性软件实体的软件方法。这样的软件实体可以主动地更新环境数据、判断需求是否满足、提供环境服务。本发明能够降低开发难度、提高软件的灵活性和可复用性、提高运行效率。
一种进行计算环境描述方法