-
公开(公告)号：CN103347086B
公开(公告)日：2016-06-29
申请号：CN201310292264.4
申请日：2013-07-11
申请人： 南京大学
IPC分类号： H04L29/08
摘要： 本发明公开了一种基于分布式协商算法的协同内核构建技术。协同内核是构建数据中心应用的一个关键元素，它部署于数据中心内的多个服务节点上。客户节点将请求发送给主服务节点：若请求属于读请求，主服务节点本地处理读请求；若请求属于写请求，主服务节点将该请求作为一条记录写入称为“副本日志”的数据结构中。副本日志基于滑动窗口技术，并通过分布式协商算法维护全局相同的日志记录。数据中心的计算设备是不可靠的，从服务节点基于副本日志检测主服务节点是否失效，并基于副本日志通过分布式协商算法选出新的主服务节点。本发明中的技术能够有效地构建协同内核，并且在典型的数据中心的环境中，能够保证很高的可用性。
-
公开(公告)号：CN103365690B
公开(公告)日：2016-02-03
申请号：CN201310291411.6
申请日：2013-07-11
申请人： 南京大学
IPC分类号： G06F9/445
摘要： 本发明涉及OSGi中应用资源加载委派反转机制的模块间资源加载方法，当移植到OSGi框架中的类库模块需要使用线程上下文类加载器加载位于应用模块中的资源时，在同步机制下，先获取当前线程运行堆栈中的类，并由类获取它们的类加载器，对取得的类加载器，只保留模块类加载器，并且重复的模块类加载器仅保留一个,然后根据预设的标志来确定资源所在的模块，最后将加载请求委派给资源所在模块的类加载器，由此，本发明解决了一些涉及应用运行上下文的类库移植到OSGi中不能正确加载资源的问题。
-
公开(公告)号：CN104820588A
公开(公告)日：2015-08-05
申请号：CN201510197953.6
申请日：2015-04-23
申请人： 南京大学
IPC分类号： G06F9/44
摘要： 本发明公开了一种面向上下文编程中避免行为层组合时行为变体重复编织的处理方法。例如，JCOP声明式行为层组合，虽然支持对程序中多个方法编织行为层激活语句，但现有的编织方法通常采用向每个指定的方法调用处插入激活语句来实现此能力。如果两个方法在运行时刻存在调用关系，则会造成激活语句的重复编织，从而有可能导致程序不能正常运行，甚至发生不可预期的错误。本发明首先基于抽象语法树构造源程序的调用关系图，并在此基础上提供了一个调用关系检测方法，用于判断两个行为变体对应的方法之间是否存在调用关系，通过在有调用关系的行为变体相应语句中插入监控语句，来有效地避免行为变体重复编织的问题。
-
公开(公告)号：CN102938038B
公开(公告)日：2015-04-08
申请号：CN201210405414.3
申请日：2012-10-23
申请人： 南京大学
IPC分类号： G06F21/54
摘要： 本发明所述的一种基于COP的增强软件安全性的方法，首先定义应用程序中每个类需要的上下文信息所相关的层；采用一个规约描述语言解析器，自动生成符合COP方法的有安全规约验证的新代码，动态插入原先的代码中；在应用程序运行过程，上下文信息收集线程按一定频率采集传感器数据及函数的调用情况，并发送到事件处理器；如果满足定义的安全触发条件则激活对原有程序流程的反馈控制，暂停或改变原有程序的执行；如果条件状态由满足变为不满足则恢复原有程序的执行。本发明提供了一个以上下文保存为核心的运行支撑机制，提高了程序运行的安全性。
-
公开(公告)号：CN104461566A
公开(公告)日：2015-03-25
申请号：CN201410820282.X
申请日：2014-12-25
申请人： 南京大学
IPC分类号： G06F9/44
摘要： 本发明公开了一种基于对象实例的行为变体的JCOP扩展实现方法。上下文敏感软件中引入多线程编程使得上下文触发的跨线程行为变化成为常态，其中常见的是同一个类型的多个实例在应对相同上下文时，需要作出不同的行为变化。而现有面向上下文编程语言仅支持以类为单位的行为变体定义，难以满足此类应用场景的需求。发明专利申请提出了一个基于对象的行为变体模型，以此为基础，在JCOP语言中引入相应的语法设施，实现了一个扩展的JCOP语言，在编程模型和编程语言上解决了上述问题。
-
公开(公告)号：CN104123469A
公开(公告)日：2014-10-29
申请号：CN201410358442.3
申请日：2014-07-25
申请人： 南京大学
IPC分类号： G06F19/00
摘要： 本说明书公开了一种新的面向普适计算环境中上下文一致性错误的检测调度方法。这种方法能够从一致性检测的历史数据中自动学习出可能引发错报的上下文变化模式，进而在检测过程中通过对实时上下文变化的自动分析，重新调度检测的执行，从而提高一致性检测的准确度。本方法主要分成两个部分，一个模式识别模块和一个检测调度模块。模式识别模块使用数据挖掘领域的分类算法，自动识别出容易引发误报的上下文变化模式；检测调度模块通过模式识别模块针对实时上下文变化的分类结果，实时调整一致性错误检测的执行。本技术的模式识别过程和检测调度过程都可以自动化，只需要极少的配置就可以大大提升一致性检测过程的准确率。
-
-
公开(公告)号：CN103281672A
公开(公告)日：2013-09-04
申请号：CN201310225913.9
申请日：2013-06-08
申请人： 南京大学
摘要： 本发明公开了一种移动终端位置隐私保护的方法，该方法通过移动终端预测一段时间内终端持有者的移动轨迹，并且依据本地地图对移动轨迹进行细化和修正；对于彼此靠近的终端持有者，每个移动终端以其持有者目前所处的位置为起点，其余持有者预测的位置为终点，利用地图导航服务生成假路径和真实路径互相混淆，并组合生成完全两分路径图。每个终端持有者在完全两分图的端点处进行假名更换，可以使得这些持有者彼此不可分辨，从而实现了隐私保护。本发明在保护移动用户位置隐私的同时，无需降低发布位置信息精度，从而保证了移动用户基于此位置信息访问LBS服务的功能性。
-
公开(公告)号：CN102053864B
公开(公告)日：2013-02-27
申请号：CN201110000934.1
申请日：2011-01-05
申请人： 南京大学
IPC分类号： G06F9/46
摘要： 本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发送给服务器上的中间件处理进程，该进程将收集到的局部状态组合成全局快照，并用抽象格结构建模整个普适计算环境的变化过程，通过谓词检测来确定普适计算环境是否满足应用程序提出的特性，从而实现对异步普适计算环境的感知。由于普适计算环境的异步性，传感器设备收集到的局部环境信息是异步的，这些局部环境信息可以组成不同的全局快照，全局快照和它们之间的时序关系形成全局快照格，全面描述了异步普适计算环境的变化过程。
-
公开(公告)号：CN101741620B
公开(公告)日：2012-11-28
申请号：CN200910263397.2
申请日：2009-12-18
申请人： 南京大学
摘要： 本发明公开了一种基于本体规则描述的服务质量等级验证方法，其过程是：首先是通过OWL和SWRL对实体、角色和规则进行建模，找出它们之间的关系，并通过一定的语法规则来使得SWRL满足信任管理中角色分配的授权形式，然后在各种参与者中根据其功能定义不同的授权，通过授权来管理它们所掌握的资源，最后借助本体推理机进行信任链的发现，验证目标服务与某质量等级是否存在关系，从而实现质量等级的验证过程。采用基于本体的owl语言可以方便、灵活的描述各种客体及其关系，将语义网规则语言SWRL和推理引擎JESS结合起来，通过建立规则和进行逻辑推理，能够有效发现本体之间隐含的语义关联。
-
-
-
-
-
-
-
-
-
搜索结果
176 条记录 (耗时 0.031 秒)
