公开(公告)号：CN104461566B

公开(公告)日：2017-10-20

申请号：CN201410820282.X

申请日：2014-12-25

申请人： 南京大学

发明人： 吕建 ,  徐锋 ,  蒋建亮

IPC分类号： G06F9/44

摘要： 本发明公开了一种基于对象实例的行为变体的JCOP扩展实现方法。上下文敏感软件中引入多线程编程使得上下文触发的跨线程行为变化成为常态，其中常见的是同一个类型的多个实例在应对相同上下文时，需要作出不同的行为变化。而现有面向上下文编程语言仅支持以类为单位的行为变体定义，难以满足此类应用场景的需求。发明专利申请提出了一个基于对象的行为变体模型，以此为基础，在JCOP语言中引入相应的语法设施，实现了一个扩展的JCOP语言，在编程模型和编程语言上解决了上述问题。

公开(公告)号：CN107168875A

公开(公告)日：2017-09-15

申请号：CN201710338109.X

申请日：2017-05-15

申请人： 南京大学

发明人： 马骏 ,  陶先平 ,  吕建

IPC分类号： G06F11/36

摘要： 本发明提供了一种基于安卓应用多入口特性来快速检测安卓应用潜在的Activity构件泄露的方法。其特征在于，包括以下步骤：步骤1、利用安卓应用多入口特性，逐个启动应用所包含的各个Activity；步骤2、获取应用堆栈内存；步骤3、分析应用堆栈内存，鉴别泄露的Activity构件。本发明的能准确的检测安卓应用潜在的Activity构件泄露风险，具有全自动、效率高、可重现等特征。

公开(公告)号：CN103412757B

公开(公告)日：2017-08-01

申请号：CN201310360607.6

申请日：2013-08-19

申请人： 南京大学

发明人： 吕建 ,  徐锋 ,  张栋栋

IPC分类号： G06F9/44

摘要： 本发明提供一种移动应用个性化集成框架的实现方法，该框架由客户端和服务器端构成，包括以下步骤：1）开发者在进行移动应用序列化集成时，首先描述动作序列；2）得到动作序列后，海量存在的移动应用使得每个动作都有多个候选应用可以选择，移动应用运行平台提供了类库获取这些候选应用集合；3）在候选应用集合的基础上，利用服务器端中的应用序列推荐模块并基于用户兴趣相似度和应用序列偏好度预测算法为用户推荐理想的应用执行序列。本方法方便开发者进行移动应用的个性化集成设计，进行最优的应用序列推荐，而且通过移动应用序列偏好度预测算法解决移动应用执行序列的个性化推荐问题，提高用户体验。

公开(公告)号：CN106970793A

公开(公告)日：2017-07-21

申请号：CN201710177127.4

申请日：2017-03-23

申请人： 南京大学

发明人： 许畅 ,  马晓星 ,  吕建 ,  李晓帆

IPC分类号： G06F9/44 ,  H04M1/725

摘要： 本说明书公开了一种上下文一致性检测与修复系统及检验方法与平台。平台布设有传感器，并通过控制物理设备在其中测试。平台能够利用传感器实时不间断地采集环境上下文信息，通过一致性检测与修复系统来消除上下文的不一致性，然后触发各类事件，上层应用监听特定事件，及时地对物理设备进行调度，在真实环境中做出反馈，从而有效验证一致性检测与修复的正确性。本发明的平台包括设备连接与控制模块，状态转移模块，事件监听模块，自适应调度模块和应用模块。对上下文的采集、检测与修复，上层应用的反馈，设备的连接均是自动进行的。用户可自由选择运行场景，改变检测与修复模式，以更明显地体现一致性检测与修复方法的作用。

公开(公告)号：CN103500084B

公开(公告)日：2017-03-29

申请号：CN201310290619.6

申请日：2013-07-11

申请人： 南京大学

发明人： 吕建 ,  马晓星 ,  曹春

IPC分类号： G06F9/44

摘要： 本发明公开了一种支持软件动态更新的服务构件架构方法。本发明通过扩展现有的服务构件架构SCA(Service ComponentArchitecture)规范，增加了支持动态更新的事务模型、构件生命周期模型，最终在SCA的一个开源实现Apache Tuscany上实现支持动态更新的Conup平台，使其能一致、高效地支持构件动态更新。

公开(公告)号：CN104123469B

公开(公告)日：2017-02-15

申请号：CN201410358442.3

申请日：2014-07-25

申请人： 南京大学

发明人： 许畅 ,  马晓星 ,  吕建 ,  奚旺

IPC分类号： G06F19/00

摘要： 本说明书公开了一种新的面向普适计算环境中上下文一致性错误的检测调度方法。这种方法能够从一致性检测的历史数据中自动学习出可能引发错报的上下文变化模式，进而在检测过程中通过对实时上下文变化的自动分析，重新调度检测的执行，从而提高一致性检测的准确度。本方法主要分成两个部分，一个模式识别模块和一个检测调度模块。模式识别模块使用数据挖掘领域的分类算法，自动识别出容易引发误报的上下文变化模式；检测调度模块通过模式识别模块针对实时上下文变化的分类结果，实时调整一致性错误检测的执行。本技术的模式识别过程和检(56)对比文件David Lo等.Classification of SoftwareBehaviors for Failure Detection: Adiscriminative Pattern Mining Approach.《Proceedings of the 15th ACM SIGKDDInternational Conference on KnowledgeDiscovery and Data Mining》.2009,第557-566页.Chang Xu等.partial constraintchecking for context consistency inpervasive computing《.ACM Transactions onsoftware Engineering and Methodology》.2010,第19卷(第3期),第495-507页.

公开(公告)号：CN103793537B

公开(公告)日：2017-01-25

申请号：CN201410077177.1

申请日：2014-03-04

申请人： 南京大学

发明人： 吕建 ,  徐锋 ,  王守涛

IPC分类号： G06F17/30

摘要： 本发明涉及一种基于多维时间序列分析的个性化音乐推荐系统及实现方法。其包括系统交互界面、候选歌曲数据库、用户行为数据库以及时序推荐引擎。本发明充分考虑了歌曲分类标准的多样性以及用户听歌行为的时序性，在将歌曲建模为若干隐含主题概率分布的基础上将用户的收听行为建模为多维时间序列，进而通过多维时间序列分析的方法挖掘用户的行为习惯，并最终从候选歌曲数据库中为用户推荐合适的歌曲，提高了推荐的准确性。

公开(公告)号：CN103778519B

公开(公告)日：2017-01-25

申请号：CN201410076015.6

申请日：2014-03-04

申请人： 南京大学

发明人： 胡昊 ,  曹春 ,  余萍 ,  吕建 ,  陈栋 ,  张浩

IPC分类号： G06Q10/06

摘要： 本发明的基于安全状态的工作流实例可迁移性判定方法，步骤一，分别找出实例中在目标模型中的节点集合和不在目标模型中的节点集合；步骤二，对实例中仍在目标模型中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态；步骤三，根据实例中仍在目标模型中的节点的状态和它的下一个节点的类型进行可迁移性判定；步骤四，对实例中不在目标模型中的节点集合中的每一个节点，根据该节点和实例已经执行节点的输出变量集作出可迁移性判定；步骤五，对实例中仍在目标模型且不处于安全状态的节点，根据该节点与插入它之前的节点集的输出与输入变量集作出可迁移性判定；步骤六，若判定可迁移性为真则进行实例迁移，否则恢复

公开(公告)号：CN106137130A

公开(公告)日：2016-11-23

申请号：CN201610490156.1

申请日：2016-06-28

申请人： 南京大学

发明人： 姚恒志 ,  汪亮 ,  陶先平 ,  吕建

IPC分类号： A61B5/00

CPC分类号： A61B5/4812

摘要： 本发明公开了一种基于音频处理的睡眠期识别方法。该方法利用具有音频采集和处理功能的智能设备，包括智能手机和智能手表，利用其中的音频模块作为音频采集装置；对采集到的音频进行数字特征提取，通过模式识别的方法对睡眠当中出现的睡眠相关事件(打鼾、躯干运动、咳嗽、磨牙)进行识别，以REM和N‑REM睡眠期人的外部表现差异为切入点，结合医学REM、N‑REM睡眠期人的外部表现差异，对人的睡眠进行睡眠期的识别。该方法具有设备简单易获取、不需要设备间以及服务器间通信、非侵入式等优点，能够广泛应用于日常睡眠监测、睡眠质量评估、生活习惯评估等诸多应用领域。

公开(公告)号：CN106056061A

公开(公告)日：2016-10-26

申请号：CN201610356958.3

申请日：2016-05-26

申请人： 南京大学

发明人： 崔金琦 ,  汪亮 ,  陶先平 ,  吕建

IPC分类号： G06K9/00 ,  G06F3/01

CPC分类号： G06K9/00543 ,  G06F3/011

摘要： 本发明公开了一种基于可穿戴设备的日常抽烟行为检测方法。该方法利用可穿戴设备，包括智能手机和可穿戴式蓝牙音频设备作为音频收发装置。以抽烟时用户一系列必要的抽烟动作为切入点，结合模式识别的方法来判断打火机声音、抽烟时深呼吸动作，以及用户抽烟时手臂挥动造成的多普勒效应为基本原理，以此来完成对抽烟行为的判断。该方法具有设备获取简单，实时判断抽烟行为，判断速度快，正确率高等特点，能够供抽烟检测，人体健康评测，人体心理状况评测等诸多应用领域使用。