安装通用型锁具防盗安全门破拆技术研究

为解决应急救援行动中快速破门进入受阻的问题,针对防盗门破拆技术难点,通过文献查询、专家咨询、实地调研、实操验证等方法,剖析通用型锁具防盗门的内部结构和运作方式,调查此类防盗门的普及程度,对比几种常见防盗门破拆方法,总结提炼出通用型锁具防盗门的破拆实施流程及操作方法,并命名为防盗门精准破拆法。研究表明:通用型锁具防盗门内部结构高度一致,普及程度超过70%;精准破拆法以其内部结构为基础,能够有效解决此类防盗门破拆难题。

一种基于Petri网验证的数据竞争检测方法

数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法与模型检查相结合的方法,充分利用模型检查的高准确性的特点,逐个验证Lockset算法报出的潜在数据竞争.在模型选择上,本文选择使用Petri网,并且提出了Petri网验证数据竞争的算法.此外,还介绍了我们基于此方法实现的检测工具Peser X,通过对SPLASH2测试集进行测试,我们发现提出的方法能够有效地降低数据竞争检测的误报率,使得数据竞争检测进一步走向实用.

基于未来锁集的死锁规避

针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低，而动态竞争检测精度高但因插桩有额外运行开销，在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法．结合锁集和发生序关系，依次对即时编译的每个方法进行一次方法内分析，收集独立于上下文的方法摘要，并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析，增量计算并及时输出潜在的竞争信息．实验表明，算法对应用程序无插桩且不受程序规模限制，具有与O’Callahan等人的动态竞争检测算法类似的精度，检测时间仅占总编译时间的2%～4％．

从一起入室抢劫强奸案的侦破看锁痕检验的重要作用

锁具是人们日常生活常用的工具,犯罪分子对锁具开启和破坏以达到实施犯罪的目的。因此,开展锁痕检验对侦破撬门案件具有重要意义。本文从锁痕检验在一例入室抢劫强奸案件侦破中的应用,阐述了在入室犯罪案件中正确运用锁痕检验结论在侦破此类案件时发挥的重要作用。

基于锁集合算法的增强型数据竞争检测方法

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.

一种基于发生序和锁集的BPEL数据竞争静态检测方法

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

基于SUIF2的静态死锁检测方法研究

死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。

智能变电站过程层智能锁具的研究

分析了智能变电站防误闭锁系统的体系结构及功能,进而在此基础上对智能变电站过程层智能锁具进行了研究,包括常规变电站锁具存在的问题、智能锁具的技术要求、设计原则及其建模方法。