基于扩展同步序列的Java多线程程序可达性测试方法

为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.

基于专利分析角度的云计算技术分类

近年来,随着市场对专利信息需求的日益增长,特定技术领域的专利预警分析成为研究热点,而在对相关技术领域的专利信息进行分析过程中,技术分类成为必不可少的环节。为此,本文选取了当前的热点技术—云计算技术,从专利角度对云计算技术进行了技术分类,并以此为例,介绍了专利预警分析过程中技术分类的一般原则和具体过程。

射频识别技术中国专利申请状况分析

本文以CPRS文摘数据库(CPRSABS)公开的射频识别技术相关文献为基础,从专利申请量、发明人、申请人、IPC分类以及专利类型分布等几个方面对射频识别技术相关中国专利申请进行了深入分析。

专利审查中如何应对算法“泛滥”

高校/研究所的发明专利申请中常常涉及到较多算法,且此类申请的权利要求存在两个主要的特点:(1)权利要求中涉及到多个算法的叠加;(2)权利要求超长且涉及详细算法步骤。这两个特点给审查员的检索带来较大的困难,本文针对高校/研究所申请中的这两个特点,给出了对应有效的检索策略,从而提高审查员对算法类申请的检索效率。

钢构厂房中的钢筋桁架楼承板施工

钢筋桁架板属于组合模板范畴之内,其主要通过将钢板当中的钢筋进行加工,令其成为钢桁架,同时将桁架咋镀锌钢型材料上焊接,其加固搁板住又有加固半木结构部件与型钢结构两部分构成,在桁架板当中,加强框架能够为板坯施工刚性提供保障,令其在使用过程中能够更换加载钢筋,调整钢筋直径以及桁架高度。基于此,本文将主要针对如何在钢结构厂房当中如何有效开展钢筋桁架楼承板施工展开探讨。