公开(公告)号：CN103313382B

公开(公告)日：2016-05-04

申请号：CN201310167847.4

申请日：2013-05-08

Applicant: 南京大学

Inventor： 陈志 ,  李梦泽 ,  李宣东 ,  王林章 ,  迟文东

IPC: H04W64/00 ,  H04W84/18

Abstract: 本发明给出一种移动无线传感器网络分布式目标跟踪方法，该方法解决传统无线传感器网络目标跟踪中的跟踪精确度低的问题，使用分布式算法预测目标在下一个跟踪周期中的位置，考虑移动无线传感器网络中静态节点与动态节点的协作配合，各个移动节点根据此信息向目标位置移动并获取更精确的目标信息。本发明能够有效提高移动传感器网络目标跟踪精确度，保障网络的动态连通性，提高目标跟踪效率，缩短目标跟踪周期，加快目标跟踪执行过程。

公开(公告)号：CN103645987B

公开(公告)日：2016-01-20

申请号：CN201310711611.2

申请日：2013-12-20

Applicant: 南京大学

Inventor： 王林章 ,  李永超 ,  赵建华 ,  李宣东 ,  陈志

IPC: G06F11/36

Abstract: 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理，然后将受测试的XACML策略转换为语义等价的C代码表示形式；再通过符号执行工具生成C代码的测试输入，将生成的测试输入翻译为XACML请求；最后以生成的XACML请求作为策略评估器的输入，发送到XACML策略进行评估，得到授权结果。本发明方法利用符号执行测试技术，能够高效地生成充分覆盖XACML策略的测试请求，有利于发现XACML策略中的错误。

公开(公告)号：CN104090798A

公开(公告)日：2014-10-08

申请号：CN201410324303.9

申请日：2014-07-08

Applicant: 南京大学

Inventor： 王林章 ,  陈园军 ,  陈志 ,  李宣东

IPC: G06F9/445

Abstract: 本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜在的数据竞争序列，通过对静态分析的结果进行动态执行，验证潜在竞争的真实性，并根据潜在竞争的严重性进行排序，得到测试结果报告。通过本发明实现的工具对中断驱动程序的测试，可以有效地检测出真实的中断相关的竞争关系，并根据严重性提供一系列的潜在竞争关系作为指导，能够极大地促进测试人员的工作效率，突破解决了中断驱动的数据竞争检测问题，保障嵌入式系统的安全和稳定，可以为航天、医疗等高稳定性嵌入式程序需求的关键性安全领域提供可靠性保证。