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

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

t—正则环与t—v环

本文把可换正则环类恰为可换 v-环类的结果推向广义的情形.定义了 t-正则环的概念,并在可换情形下研究它与文献[1]中提出的 t-v 环的关系.     

满足互补原理的半单复合模型

本文系统分析了SU(N)×SO(M)半单超色群的手征三前子模型.我们发现:SU(3)×SO(5)模型满足互补原理要求;由′tHooft方程及Bars条件可以给出三代夸克、轻子谱;超色群G_(MC)和规范色味子群G_(CF)都是渐近自由的,因此可以构造出具有低的超色禁闭标度A_(MC)的现实模型.我们还发现,本模型中存在二个超色标度.在这两个标度之间,模型类似于费米——玻色模型,这可以简化前子的动力学.     

无界绝对正则序列强律的收敛速度

本文进一步讨论了无界绝对正则序列(未必平稳)的Marcinkiewicz-Zygmund强律的收敛速度。在对随机变量的矩与相对系数给出一定的限制后,得到了与[2]中主要结果相应的结论。     

强幂零根与半素模类

本文就Szasz在[1]中提出的第20个公开问题作了一些讨论,得到了强幂零根的若干结果,并利用半素模类对强幂零根作了刻划。     

反抛物线渐变传输线及其在准宽带匹配中的应用

本文将黑田等效原理推广到集总参数和分布参数混合电路中,精确地给出了反抛物线渐变传输线(RPTL)的等效电路。论述了利用 RPTL 实现源电阻 Rg 与并联 RL 负载之间的无变压器准宽带匹配的设计方法。     

含对称非零元的奇数阶本原矩阵的指标集

本文证明了:当n为奇数时,含对称非零元的n阶本原矩阵类B的指标集E_B的上确界为3n-4;并且E_B={1, 2, …, 3n-4},不存在缺数段;又设N(A)是A中含正元的个数,则A是含最少正元的n阶本原矩阵的充要条件是A同构于定理6中的A.     

求解对流扩散方程的两个半显差分格式

本文给出求解对流扩散方程的两个半显差分格式,对于初边值问题,它们是显式的。本文讨论了它们的相容性和稳定性,并给出了数值例子。     

图与补图断裂度的关系

在这篇文章中,作者解决了图与补图断裂度关系的问题.主要结果:1、若n(≥4)阶图G与(?)都连通,则(1)-(n-5)≤B(G)_B(G)≤n-2:(2)对[-(n-5),n-2]中任一整数r,都存在G,使B(G)+B(?)=r.2、若n(≥5)阶图H与(?)都是Hamilton图,则(1)-(n-5)≤B(H)+B(?)≤0;(2)对[-(n-5),0]中任一整数r,都存在互补的Hamilton图H和(?)使B(H)+B(?)=r.