基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

当代诗歌叙述中的时间性问题初探

时间性是诗歌叙述学中的一个十分重要的话题,它既是叙述的潜在结构又是特殊的意义载体,研究当代诗歌中时间的静态叙述和动态叙述及其两者交融的模式和性质,可以为研究当代诗歌提供一个新的角度。     

基于能量原理的等效静态载荷法及其在活塞动态优化中的应用

针对位移等效静态载荷法在求解结构动态优化时遇到的等效关键时间点不合理、等效结果误差大等问题,提出一种基于能量原理的等效静态载荷法.该方法通过将结构动态响应解空间进行谱元离散,识别出结构的关键时间点,并在该时间点构建了基于能量等效的动态载荷静态转化数学模型.应用优化算法搜索得到了等效静态载荷集的最优解,从而将结构动态优化问题转化为静态优化问题求解.最后,通过在某柴油机活塞油腔结构的动态优化设计中的有效应用,验证了能量等效静态载荷法的有效性和工程实用性,拓展了等效静态载荷法的理论范畴,同时为复杂结构动态响应优化设计提供了一种新的思路.     

面向异步机制的自动重构方法研究

为了解决并行处理中同步阻塞会浪费系统资源和影响程序性能的问题,提出了一种基于CompletableFuture异步机制的自动重构方法。首先,使用WALA静态程序分析工具进行访问者模式分析、逃逸分析、别名分析以及数据流分析等静态程序分析技术,确定共享变量数据的操作方式;然后,基于CompletableFuture机制设置4种异步重构模式;最后,根据不同模式实现异步机制的自动重构。基于此方法,在Eclipse平台下开发了自动重构工具AsynRef,并对HSQLDB,Jenkins, JGroups和SPECjbb2005等4个大型实际应用程序进行自动重构,从重构个数、改变的代码行数、准确性和重构后程序性能等方面对AsynRef进行评估,对4个程序所包含的919个同步方法共完成387个异步机制转换。结果显示,使用AsynRef进行异步机制重构后,程序执行性能有8%到39%的不同程度的提升。AsynRef可以有效完成代码异步化自动重构,与传统手动重构相比,有效提升了异步化的重构效率。     

求解半向量双层规划问题的精确罚函数法

研究半向量双层规划问题的求解方法. 利用Benson’s方法及线性规划问题的对偶理论,将半向量双层规划问题转化为一个单层优化问题,同时提出了转化问题的偏静态条件定义. 基于此定义,构造了半向量双层规划的精确罚问题,得到了此类双层规划问题的最优性条件,并给出相应的求解方法. 最后通过一个数值例子表明了求解方法的可行性.     

论图书发行中的静态环境美

图书的独特观赏性和图书营销决定了静态环境美在图书发行中的重要作用。图书发行静态环境美的建构应创造优雅的、文化气息浓郁的氛围环境 ,提供舒适的、购书方便的条件环境 ,构筑宽松的、水乳交融的情感环境     

共射放大电路实验的仿真研究

通过对共射放大电路的仿真分析,介绍了Multisim仿真技术在电子技术实验教学中的应用。实践证明,仿真技术不但可以拓展实验教学内容的广度和深度,还是对传统教学方法的有益补充,有利于学生素质和能力的培养。     

晶体管低频放大器的小信号条件

在模拟电子技术中，常遇到低频小信号放大器，但各种有关书籍都未给出小信号的具体量值，造成学生在做有关实验时，盲目地给放大器输入信号而导致得出错误的结论。因此，本文将从工程的观点出发定量地推导出放大器的小信号条件。     

静态阻垢法在阻垢剂研究中的改进

对普遍采用的评定阻垢剂效果的方法，静态阻垢法进行了研究，比较了不同的实验药品及操作方法对阻垢率测定的影响，提出了一个重现性好、可信度高的方法。